- 2015
- Published
Certified symbolic management of financial multi-party contracts
Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Characterizing software activity: the influence of software to ecosystem health
Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
ClouDiA: a deployment advisor for public clouds
Zou, T., Le Bras, R., Vaz Salles, M. A., Demers, A. & Gehrke, J., 2015, In: V L D B Journal. 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Comparison of several computational pipelines for atrophy computation in longitudinal Alzheimers studies
Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L. E. B. L., Sporring, Jon & Nielsen, Mads, 2015. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Compiling APL to accelerate through a typed array intermediate language
Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 13-18 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational complexity of linear large margin classification with ramp loss
Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (eds.). p. 259-267 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 38).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Conflict IT: Technologies and collaborative practices in conflict areas
Boulus-Rødje, N., Bjorn, Pernille, Randall, D., Wulf, V. & Ghazawneh, A., 2015. 7 p.Research output: Contribution to conference › Paper › Research
- Published
Connection forms for beating the heart
Mensch, A., Piuze, E., Lehnert, L., Backermans, A. J., Sporring, Jon, Strijkers, G. J. & Siddiqi, K., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer, p. 83-92 10 p. (Lecture notes in computer science, Vol. 8896).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Construction and impromptu repair of an MST in a distributed network with o(m) communication
King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 71-80 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Defining decision making strategies in software ecosystem governance
Manikas, K., Wnuk, K. & Shollo, A., 2015, 01 ed. Department of Computer Science, University of Copenhagen. 6 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport, Vol. 2015/01).Research output: Book/Report › Report › Research
Most downloads
-
6960
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6280
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5792
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Good Days, Bad Days: Understanding the Trajectories of Technology Use During Chronic Fatigue Syndrome
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Activation Compression of Graph Neural Networks Using Block-Wise Quantization with Improved Variance Minimization
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Students’ dynamic communication while transforming mathematical representations in a dynamic geometry environment
Research output: Contribution to journal › Journal article › Research › peer-review