- 2013
- Published
Strength of the reversible, garbage-free 2k ± 1 multiplier
Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sustainability through computation
Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Texture side information generation for distributed video coding of video-plus-depth
Salmistraro, M., Rakêt, L. L., Zamarin, M., Ukhanova, A. & Forchhammer, S., 2013, 2013 20th IEEE International Conference on Image Processing (ICIP). IEEE, p. 1699-1703 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)
Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 253-254 2 p. (Lecture notes in computer science, Vol. 7759).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
- Published
The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013
Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.Research output: Book/Report › Book › Research › peer-review
- Published
The effect of inspiration on airway dimensions measured in CT images from the Danish Lung Cancer Screening Trial
Petersen, Jens, Wille, M., Thomsen, L., Feragen, A., Dirksen, A. & de Bruijne, Marleen, 2013, In: Insights into Imaging. 4, Supplement 1, p. 183 1 p., B-0163.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The effect of target precuing on pointing with mouse and touchpad
Hertzum, M. & Hornbæk, Kasper, 2013, In: International Journal of Human-Computer Interaction. 29, 5, p. 338-350 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The flip-the-state transition operator for restricted Boltzmann machines
Brügge, K., Fischer, A. & Igel, Christian, 2013, In: Machine Learning. 93, 1, p. 53-69 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The history of bronchiectasis on CT in cystic fibrosis
Tepper, L. A., de Bruijne, Marleen, Caudri, D., Perez-Rovira, A. & Tiddens, H., 2013, In: Pediatric Pulmonology. 48, S36, p. 354 1 p., 408.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
Most downloads
-
6961
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6286
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5795
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
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › 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