- 2018
- Published
Formal proof of polynomial-time complexity with quasi-interpretations
Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Better tradeoffs for exact distance oracles in planar graphs
Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A categorical foundation for structured reversible flowchart languages
Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144Research output: Contribution to journal › Editorial › Research
- Published
State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation
Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, In: International Affairs. 95, 5, p. 975-994Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)
Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Stateful load balancing for parallel stream processing
Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ARRIVAL: Next stop in CLS
Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Veros v0.1-a fast and versatile ocean simulator in pure Python
Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 Aug 2018, In: Geoscientific Model Development. 11, 8, p. 3299-3312Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Generating graphs packed with paths: Estimation of linear approximations and differentials
Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of Brains and Rocks from Tomographic Reconstructions
Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl
Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Modular Acceleration: Tricky Cases of Functional High-performance Computing
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dynamic bridge-finding in Õ(log2 n) amortized time
Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Local Models for Data Driven Inverse Kinematics of Soft Robots
Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (ed.). The Eurographics Association, 1 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Commentary: Usability and Theory Building
Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, 2, p. 186-189Research output: Contribution to journal › Comment/debate › Research
- Published
Pre-intervention test-retest reliability of EEG and ERP over four recording intervals
Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L. B., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Knudsen, Gitte Moos & Christensen, S. R., 1 Dec 2018, In: International Journal of Psychophysiology. 134, p. 30-43Research output: Contribution to journal › Journal article › Research › peer-review
- Published
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Interactive Instruction in Bayesian Inference
Khan, A., Breslav, S. & Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, p. 207–233Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings
Klein, S. (ed.), Staring, M. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2018, Springer. 127 p. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 10883).Research output: Book/Report › Anthology › Research › peer-review
- Published
The Dream is Collapsing: The Experience of Exiting VR
Knibbe, J., Schjerlund, J., Petraeus, M. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 483Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The entropy of backwards analysis
Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 867-880 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Robust Active Label Correction
Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6949
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6261
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
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
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review