Programming Languages and Theory of Computing

Read more
76 - 100 out of 272Page size: 25
Sort by: Title
  1. Published

    Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.

    Lee, S., Lerner, A., Bonnet, Philippe & Cudré-Mauroux, P., 2024, CIDR.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Debat | Forskere: Derfor har Danmark forudsæt­nin­gerne for at blive førende indenfor krypto­ak­tiver

    Andhov, Alexandra, Blemus, S., Ross, Omry & Jensen, J. R., 5 Apr 2022, In: Børsen. 5. april 2022, 1 p.

    Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

  4. Published

    Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology

    von Wachter, Carl Victor, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.

    Research output: Book/Report › Ph.D. thesis › Research

  5. Published

    Deep Probabilistic Programming Applied Protein Superposition: Protein Structure Prediction and Ancestral Sequence Resurrection

    Sanz Moreta, Lys, 2022, Department of Computer Science, Faculty of Science, University of Copenhagen. 138 p.

    Research output: Book/Report › Ph.D. thesis › Research

  6. Published

    Delilah: eBPF-offload on Computational Storage

    Hedam, N., Clausen, M. T., Bonnet, P., Lee, S. & Larsen, Ken Friis, 2023, Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023. Association for Computing Machinery, Inc., p. 70-76 7 p. (Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Delivering Rules-Based Workflows for Science

    Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Published

    Designing with Awareness: Building an Agenda for Worker and Patient Well-being

    Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    Diagnostics-Guided Explanation Generation

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10445-10453.

    Research output: Contribution to journal › Conference article › Research

  10. Published

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.

    Research output: Contribution to journal › Journal article › Research › peer-review

  11. Published

    Diversity and Inclusion Activities in Database Conferences: A 2021 Report.

    Amer-Yahia, S., Amsterdamer, Y., Bhowmick, S. S., Bonifati, A., Bonnet, P., Borovica-Gajic, R., Catania, B., Cerquitelli, T., Chiusano, S., Chrysanthis, P. K., Curino, C., Darmont, J., Abbadi, A. E., Floratou, A., Freire, J., Jindal, A., Kalogeraki, V., Koutrika, G., Kumar, A., Maiyya, S. & 13 others, Meliou, A., Mohanty, M., Naumann, F., Noack, N. S., Özcan, F., Peterfreund, L., Rahayu, W., Tan, W., Tian, Y., Tözün, P., Vargas-Solar, G., Yadwadkar, N. J. & Zhang, M., 2022, In: SIGMOD Record. 51, 2, p. 69-73 5 p., 2.

    Research output: Contribution to journal › Journal article › Research › peer-review

  12. Published

    EDITOR Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016

    Elsman, Martin (ed.), Grelck, C. (ed.), Klöckner, A. (ed.) & Padua, D. A. (ed.), 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. Association for Computing Machinery, Inc., 69 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  13. Published

    ENCODING WORD ORDER IN COMPLEX EMBEDDINGS

    Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, p. 1-15.

    Research output: Contribution to conference › Paper › Research

  14. Published

    Effect of the leukotriene LTD4/LTE4 antagonist, SR 2640, in ulcerative colitis: an open clinical study

    Nielsen, Ole Haagen, Ahnfelt-Rønne, I., Thomsen, Michael Kirkedal, Kissmeyer, A. M. & Langholz, Ebbe, Mar 1991, In: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, p. 181-4 4 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  15. Published

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  16. Published

    Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model

    Thygesen, Christian Bahne, Al-Sibahi, A. S., Steenmanns, C. S., Sanz Moreta, Lys, Sørensen, A. B. & Hamelryck, Thomas Wim, 2021, International Conference on Machine Learning, 18-24 July 2021, Virtual. PMLR, p. 10258-10267 (Proceedings of Machine Learning Research, Vol. 139).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  17. Published

    En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

    Kaarsgaard, R. & Veltri, N., 2019, Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Springer VS, p. 366-384 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11825 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  18. Published

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

    Research output: Contribution to journal › Journal article › Research › peer-review

  19. Published

    Events as a Basis for Workflow Scheduling

    Marchant, David Gray, 2022, Proceedings of WORKS 2022: 17th Workshop on Workflows in Support of Large-Scale Science, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, p. 52-59 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  20. Published

    Explicit Effects and Effect Constraints in ReML

    Elsman, Martin, 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 25 p., 79.

    Research output: Contribution to journal › Journal article › Research › peer-review

  21. Published

    Fact Check-Worthiness Detection with Contrastive Ranking

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2020, Experimental IR Meets Multilinguality, Multimodality, and Interaction - 11th International Conference of the CLEF Association, CLEF 2020, Proceedings. Arampatzis, A., Kanoulas, E., Tsikrika, T., Vrochidis, S., Joho, H., Lioma, C., Eickhoff, C., Névéol, A., Névéol, A., Cappellato, L. & Ferro, N. (eds.). Springer, p. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12260 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  22. Published

    Fact Checking with Insufficient Evidence

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Transactions of the Association for Computational Linguistics. 10, p. 746-763

    Research output: Contribution to journal › Journal article › Research › peer-review

  23. Published

    Factuality Checking in News Headlines with Eye Tracking

    Hansen, C., Hansen, C., Simonsen, Jakob Grue, Larsen, B., Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 2013-2016 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  24. Published

    Faithfulness Tests for Natural Language Explanations

    Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  25. Published

    Far-and-Near: Co-Designed Storage Reliability Between Database and SSDs.

    Jeong, J., Park, K., Lee, S., Bonnet, Philippe, Lerner, A. & Cudré-Mauroux, P., 2023, CIDR.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next