- Published
Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory
Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Identifying Partial Mouse Brain Microscopy Images from the Allen Reference Atlas Using a Contrastively Learned Semantic Space
Antanavicius, J., Leiras, Roberto & Selvan, Raghav, 2022, Biomedical Image Registration - 10th International Workshop, WBIR 2022, Proceedings. Hering, A., Schnabel, J., Zhang, M., Ferrante, E., Heinrich, M. & Rueckert, D. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 166-176 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13386 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models
Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Sparse incomplete LU-decomposition for wave farm designs under realistic conditions
Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RAM-efficient external memory sorting
Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RAM-efficient external memory sorting
Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts
Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 3, p. 901-911 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
A stochastic large deformation model for computational anatomy
Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 571-582 12 p. (Lecture notes in computer science, Vol. 10265).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Probing Pre-Trained Language Models for Cross-Cultural Differences in Values
Arora, Arnav, Kaffee, L. F. & Augenstein, Isabelle, 2022, arxiv.org, 11 p.Research output: Working paper › Preprint › Research
- Published
Probing Pre-Trained Language Models for Cross-Cultural Differences in Values
Arora, Arnav, Kaffee, L. & Augenstein, Isabelle, 2023, Proceedings of the First Workshop on Cross-Cultural Considerations in NLP (C3NLP). Association for Computational Linguistics (ACL), p. 114-130Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6939
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › peer-review
Published -
6250
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › peer-review
Published -
5770
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › peer-review
Doorways Do Not Always Cause Forgetting: Studying the Effect of Locomotion Technique and Doorway Visualization in Virtual Reality
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Interactive visual facets to support fluid exploratory search
Research output: Contribution to journal › Journal article › peer-review