Programming Languages and Theory of Computing

Read more
11 - 20 out of 262Page size: 10
  1. 2024
  2. Published

    Multi-Head Adapter Routing for Cross-Task Generalization

    Caccia, L., Ponti, E., Su, Z., Pereira, M., Le Roux, N. & Sordoni, A., 2024. 2 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  3. Published

    Partial Evaluation of Reversible Flowchart Programs

    Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

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

  4. Published

    Preface

    Mogensen, Torben Ægidius & Mikulski, Ł., 2024, Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings. Springer, Vol. 14680 LNCS. p. 3-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

  5. Published

    Towards Clean Reversible Lossless Compression

    Lyngby, Therese, Nylandsted, R. R., Glück, Robert & Yokoyama, T., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 94-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

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

  6. 2023
  7. Published

    Read/write factorizable programs

    Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.

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

  8. Published

    Sentiment Classification of Historical Danish and Norwegian Literary Texts

    Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, Alexander, Pedersen, Bolette Sandford, Bjerring-Hansen, Jens & Hershcovich, Daniel, May 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics (ACL), p. 324–334

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

  9. Published

    A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference

    Rønning, Ola, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

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

  10. Published

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

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

  11. Published

    Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction

    Thygesen, Christian Bahne, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.

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

  12. Published

    Branching execution symmetry in Jeopardy by available implicit arguments analysis

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14

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

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