- 2019
- Published
CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks
Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Cerebral serotonin transporter measurements with [11C]DASB: A review on acquisition and preprocessing across 21 PET centres
Nørgaard, M., Ganz, Melanie, Svarer, C., Feng, L., Ichise, M., Lanzenberger, R., Lubberink, M., Parsey, R. V., Politis, M., Rabiner, E. A., Slifstein, M., Sossi, V., Suhara, T., Talbot, P. S., Turkheimer, F., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, 2, p. 210-222 13 p.Research output: Contribution to journal › Review › Research › peer-review
- Published
Change in mammographic density across birth cohorts of Dutch breast cancer screening participants
Napolitano, George, Lynge, Elsebeth, Lillholm, Martin, Vejborg, I. M. M., van Gils, C. H., Nielsen, Mads & Karssemeijer, N., 2019, In: International Journal of Cancer. 145, 11, p. 2954-2962 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Charting Subtle Interaction in the HCI Literature
Pohl, H., Muresan, A. & Hornbæk, Kasper, 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 15 p. 418Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Chats with Bots: Balancing Imitation and Engagement
Muresan, A. & Pohl, H., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 6 p. LBW0252Research 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
Deterministic Group Tractography with Local Uncertainty Quantification
Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Differential geometry and stochastic dynamics with deep learning numerics
Kühnel, L., Sommer, Stefan Horst & Arnaudon, A., 2019, In: Applied Mathematics and Computation. 356, p. 411-437 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Effectiveness of CRT-D Versus ICD on Prevention of Electrical Storm: Big Data from the USA
Shakibfar, Saeed, Yazdchi, M. & Aliakbaryhosseinabadi, S., 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019. Institute of Electrical and Electronics Engineers Inc., p. 302-304 3 p. 8857530Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faster k-SAT algorithms using biased-PPSZ
Hansen, T. D., Kaplan, H., Zamir, O. & Zwick, U., 2019, STOC: ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 578-589Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6964
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6309
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5800
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
A generic type system for higher-order Ψ-calculi
Research output: Contribution to journal › Journal article › 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