- Published
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (eds.). Springer, p. 228-241 14 p. (Lecture notes in computer science; No. 5204).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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
- Published
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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-14Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Compositional deep learning in Futhark
Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
On Position Embeddings in BERT
Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, p. 1-21.Research output: Contribution to conference › Paper › Research
- Published
Contextual compositionality detection with external knowledge bases and word embeddings
Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 317-323 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-head Self-attention with Role-Guided Masks
Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4554
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4110
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2509
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