- 2024
- 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
- Published
AI Implementation and Capability Development in Manufacturing: An Action Research Case
Eklöf, Jon, Snis, U. L., Hamelryck, Thomas Wim, Grima, A. & Rønning, Ola, 2024, Proceedings of the 57th Hawaii International Conference on System Sciences - HICSS 2024. Hawaii International Conference on System Sciences, 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
AI transformation in the manufacturing industry
Eklöf, Jon, 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis › Research
- Accepted/In press
Abstraction, mimesis and the evolution of deep learning
Eklöf, Jon, Hamelryck, Thomas Wim, Last, C., Grima, A. & Snis, U. L., 2024, (Accepted/In press) In: AI and Society. 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- E-pub ahead of print
Kickstarting blockchain: designing blockchain-based tokens for equity crowdfunding
Guggenberger, T., Schellinger, B., von Wachter, Carl Victor & Urbach, N., 2024, (E-pub ahead of print) In: Electronic Commerce Research.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- Published
Foundations and practice of binary process discovery
Slaats, Tijs, Debois, S., Back, C.O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.Research output: Contribution to journal › Journal article › Research › peer-review
- 2023
- Published
Sentiment Classification of Historical Danish and Norwegian Literary Texts
Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, A., 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–334Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
Can AI Moderate Online Communities?
Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.Research output: Working paper › Preprint › Research
- Published
Comparing Trace Similarity Metrics Across Logs and Evaluation Measures
Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). Springer, p. 226-242 17 p. (Lecture Notes in Computer Science, Vol. 13901)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Shape-Constrained Array Programming with Size-Dependent Types
Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- Published
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Parallelism in a Region Inference Context
Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Implicit Representation of Relations
Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).Research output: Book/Report › Anthology › Research
- Published
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spatial Mapping of Soil Salinity Using Machine Learning and Remote Sensing in Kot Addu, Pakistan
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali & Alsabban, W. H., 2023, In: Sustainability. 15, 17, 19 p., 12943.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
Most downloads
-
4506
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review