- Published
Maintaining center and median in dynamic trees
Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing light spanners deterministically in near-linear time
Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 Mar 2022, In: Theoretical Computer Science. 907, p. 82-112Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Finding cores of limited length
Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Near-optimal labeling schemes for nearest common ancestors
Alstrup, Stephen, Halvorsen, E. B. & Larsen, K. G., 2014, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms . Chekuri, C. (ed.). Society for Industrial and Applied Mathematics, p. 972-982 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Danish cross-disciplinary consortium with a focus on utilizing IT in schools: results and future directions
Alstrup, Stephen, 2014. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Sublinear distance labeling
Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Union-find with constant time deletions
Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Adjacency labeling schemes and induced-universal graphs
Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
800.000 gode grunde til datalogi i skolen
Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 Apr 2016, In: Berlingske Tidende. p. 31 1 p.Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication
- Published
Distance labeling schemes for trees
Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing light spanners deterministically in near-linear time
Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Direct Routing on Trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Word encoding tree connectivity works
Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minimizing diameters of dynamic trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Optimal induced universal graphs and adjacency labeling for trees
Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Optimal induced universal graphs and adjacency labeling for trees
Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 1311-1326 16 p. (Symposium on Foundations of Computer Science. Annual Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simpler, faster and shorter labels for distances in graphs
Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs
Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, p. 295–305Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quantification and visualization of variation in anatomical trees
Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Compositional specification of commercial contracts
Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Domain-specific languages for enterprise systems
Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries
Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions
Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Opfølgning af børn født med medfødt toxoplasmose
Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 Nov 2001, In: Ugeskrift for Laeger. 163, 45, p. 6292Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Bringing content understanding into usability testing in complex application domains—a case study in eHealth
Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients
Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Understanding patient experience: a deployment study in cardiac remote monitoring
Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designantropologiske undersøgelser af Patient 2.0
Andersen, Tariq Osman, 2014, In: Tidsskrift for forskning i sygdom og samfund. 2014, 21, p. 77-107 31 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
From research prototypes to a marketable eHealth system
Andersen, Tariq Osman, Kensing, Finn, Kjellberg, L. & Moll, J., 2015, Context sensitive health informatics: many places, many users, many contexts, many uses. Borycki, E. M. (ed.). IOS Press, p. 9-14 6 p. (Studies in Health Technology and Informatics, Vol. 218).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Alignment of concerns: a design rationale for patient participation in eHealth
Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2014, 2014 47th Hawaii International Conference on System Sciences (HICSS). IEEE, p. 2587-2596 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Alignment of concerns: a design rationale for patient participation in e-health
Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2013. 4 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
From prototype to product: making participatory design of mHealth commercially viable
Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn & Moll, J., 2017, Participatory design and health information technology. Kanstrup, A. M., Bygholm, A., Bertelsen, P. & Nøhr, C. (eds.). IOS Press, p. 95-112 18 p. (Studies in Health Technology and Informatics, Vol. 233).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Markov random fields on triangle meshes
Andersen, V., Aanæs, H., Bærentzen, J. A. & Nielsen, Mads, 2010, WSCG 2010: communication papers proceedings . Skala, V. (ed.). Vaclav Skala - Union Agency, p. 265-270 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A financial benchmark for GPGPU compilation
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.Research output: Book/Report › Report › Research
- Published
FinPar: a parallel financial benchmark
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Foreword to the Special Section on VRIPHYS 2018
Andrews, S., Erleben, Kenny, Jaillet, F. & Zachmann, G., 2018, In: Computers and Graphics (Pergamon). 76, p. A3-A4Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Constraint reordering for iterative multi-body simulation with contact
Andrews, S., Erleben, Kenny & Teichmann, M., 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Alzheimer's disease diagnostic performance of a multi-atlas hippocampal segmentation method using the harmonized hippocampal protocol
Anker, C., Sørensen, L., Pai, A. S. U., Lyksborg, M., Lillholm, Martin, Conradsen, K., Larsen, R. & Nielsen, Mads, 2014. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol
Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P33 1 p., IC-P-058.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol
Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P415-P416 2 p., P1-288.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- 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 › Research
- 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 › Research › 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 › Research › 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
- 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
-
6951
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6267
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5782
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review