Department of Computer Science

  1. Published

    Proceeding fra den 11. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 2002/15

    Olsen, Søren Ingvor (ed.), 2002, Datalogisk Institut, Københavns Universitet. 144 p.

    Research output: Book/ReportReportResearch

  2. Published

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  3. Published

    Proceedings fra den 13. Danske Konference i Mønstergenkendelse og Billedanalyse

    Olsen, Søren Ingvor (ed.), 2004, 04/10 ed. Danmark: Museum Tusculanum. 117 p.

    Research output: Book/ReportBookResearch

  4. Published

    Proceedings fra den 10. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 01/04

    Olsen, Søren Ingvor (ed.), 2001, Datalogisk Institut, Københavns Universitet. 166 p.

    Research output: Book/ReportReportResearch

  5. Published

    End-Stop Exemplar Based Recognition

    Olsen, Søren Ingvor, 2003, Image Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 – July 2, 2003 Proceedings. p. 257-266 (Lecture notes in computer science, Vol. 2749/2003).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1996, Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse. Københavns Universitet: Museum Tusculanum, p. 161-169

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  7. Published

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1997, Proceedings of the 10th Scandinavian Conference on Image Analysis. Lappeenranta, Finland: Pattern Recognition Society of Finland, p. 65-70

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  8. Published

    Digital Billedbehandling

    Olsen, Søren Ingvor, 1995, Den Store Danske Encyklopædi. København: Gyldendal

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  9. Published

    Exemplar Based Recognition of Visual Shapes

    Olsen, Søren Ingvor, 2005, Proceedings fra den 14. Danske Konference i Mønstergenkendelse og Billedanalyse. 05/06 ed. Museum Tusculanum, p. 93-102

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  10. Published

    Reconstruction of Optical Thickness

    Olsen, N. H., Sporring, Jon & Nielsen, Mads, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. Department of Computer Science, University of Copenhagen, p. 114-126

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  11. Published

    Opportunities for odor: experiences with smell and implications for technology

    Obrist, M., Tuch, A. N. & Hornbæk, Kasper, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2843-2852 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Challenges of participatory design for social innovation: a case study in aging society

    Obata, A., Ohori, K., Kobayashi, N., Hochreuter, H. L. & Kensing, Finn, 2012, Proceedings of the 12th Participatory Design Conference: exploratory papers, workshop descriptions, industry cases - volume 2. Association for Computing Machinery, Vol. 2. p. 9-12 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  13. Published

    Scalable conditional induction variables (CIV) analysis

    Oancea, Cosmin Eugen & Rauchwerger, L., 2015, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'15). IEEE Computer Society Press, p. 213-224 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  14. Published

    Patient expectations and experiences from a clinical study in psychiatric care using a self-monitoring system

    Nørregaard, L. B., Løventoft, P. K., Frøkjær, Erik, Lauritsen, L., Olsson, E. C., Andersen, L., Rauff, S. & Martiny, Klaus, 2014, NordiCHI '14: Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 991-994 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  15. 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 journalReviewResearchpeer-review

  16. Published

    Preprocessing, Prediction and Significance: Framework and Application to Brain Imaging

    Nørgaard, M., Ozenne, Brice Maxime Hugues, Svarer, C., Frokjaer, V. G., Schain, M., Strother, S. C. & Ganz, Melanie, 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C. & Zhou, S. (eds.). Springer, Vol. 11764. p. 196-204 9 p. (Lecture Notes in Computer Science, Vol. 11767).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  17. Published

    Optimization of preprocessing strategies in Positron Emission Tomography (PET) neuroimaging: A [11C]DASB PET study

    Nørgaard, M., Ganz, Melanie, Svarer, C., Frokjaer, V. G., Greve, D. N., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: NeuroImage. 199, p. 466-479 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  18. Published

    Data Management in Microservices: State of the Practice, Challenges, and Research Directions

    Nunes Laigner, Rodrigo, Zhou, Yongluan, Vaz Salles, M. A., Liu, Yijian & Kalinowski, M., 2021, In: Proceedings of the VLDB Endowment. 14, 13, p. 3348–3361

    Research output: Contribution to journalConference articleResearchpeer-review

  19. Published

    Partial Evaluation of Reversible Flowchart Programs

    Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  20. Published

    Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

    Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  21. Published

    FunSETL–Functional Reporting for ERP Systems

    Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  22. Published

    Automatic Motility Analysis of Human Sperm

    Nissen, M. S., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  23. Published

    Convolutional neural networks for segmentation and object detection of human semen

    Nissen, M. S., Krause, Oswin, Almstrup, Kristian, Kjærulff, S., Nielsen, T. T. & Nielsen, Mads, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part I. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part 1. p. 397-406 10 p. (Lecture notes in computer science, Vol. 10269).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  24. Published

    From Thesaurus to Framenet

    Nimb, S., Braasch, Anna, Olsen, Sussi, Pedersen, Bolette Sandford & Søgaard, Anders, 2017, Electronic Lexicography in the 21st Century : Proceedings of eLex 2017 conference. Kosem, I., Tiberius, C., Jakubíček, M., Kallas, J., Krek, S. & Baisa, V. (eds.). Lexical Computing CZ, p. 1-22 23 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  25. Published

    Learning from graphs with structural variation

    Nielsen, R. K., Holm, Andreas Nugaard & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 5 p. (Advances in Neural Information Processing Systems, Vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  26. Published

    Requirements for Logical Models for Value-Added Tax Legislation

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

    Research output: Contribution to conferencePaperResearch

  27. Published

    Hippocampal texture predicts ad conversion in amyloid positive mild cognitively impaired subjects

    Nielsen, Mads, Igel, Christian & Sørensen, L., 2015, In: Neurodegenerative Diseases. 15, Suppl. 1, p. 262 1 p., ADPD5-0947.

    Research output: Contribution to journalConference abstract in journalResearch

  28. Published

    Scale Space Theories in Computer Vision: Second International Conference, Scale Space'99, Corfu, Greece, September 1999; Proceedings

    Nielsen, Mads, 2000, Springer Science+Business Media.

    Research output: Book/ReportBookResearchpeer-review

  29. Published

    Tribute Workshop for Peter Johansen

    Nielsen, Mads (ed.), de Bruijne, Marleen (ed.), Jørgensen, Camilla Holm (ed.), Olsen, Søren Ingvor (ed.), Steenstrup Pedersen, Kim (ed.) & Sporring, Jon (ed.), 2008, Berlin: Springer. 151 p. (Journal of Mathematical Imaging and Vision; No. 31(2-3)p.119-269).

    Research output: Book/ReportAnthologyResearch

  30. Published

    Special Issue on Tribute Workshop for Peter Johansen

    Nielsen, Mads, de Bruijne, Marleen, Jørgensen, Camilla Holm, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Sporring, Jon, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 119-120

    Research output: Contribution to journalEditorialResearch

  31. Published
  32. Published

    Hippocampus MRI T1 texture's relation to established Alzheimer's disease biomarkers and prediction of progression

    Nielsen, Mads, Sørensen, L., Pai, A. S. U., Igel, Christian & Lillholm, Martin, 2015. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  33. Published

    Binocular dense depth reconstruction using isotropy constraint

    Nielsen, Mads & Deriche, R., 1995, In: Theory and Applications of Image Processing IIG. Borgefors, Ed. p. 127-140 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  34. Published

    Distribution, size, and shape of abdominal aortic calcified deposits and their relationship to mortality in postmenopausal women

    Nielsen, Mads, Ganz, Melanie, de Bruijne, Marleen, Dam , E., Karsdal , M. & Christiansen , C., 2011. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  35. Published

    Mammographic texture resemblance generalizes as an independent risk factor for breast cancer

    Nielsen, Mads, Vachon, C. M., Scott, C. G., Chernoff, K., Karemore, G., Karssemeijer, N., Lillholm, Martin & Karsdal, M., 2014, In: Breast Cancer Research (Online Edition). 16, 2, 8 p., R37.

    Research output: Contribution to journalJournal articleResearchpeer-review

  36. Published

    Medical Image Computing and Computer-Assisted Intervention -MICCAI 2006 Part I: 9th international conference , Copenhagen, Denmark, October 1-6, 2006, proceedings, Part I

    Nielsen, Mads (ed.), Sporring, Jon (ed.) & Larsen, R. (ed.), 2006, Springer. 949 p. (Lecture notes in computer science; No. 4190).

    Research output: Book/ReportAnthologyResearch

  37. Published

    Relevance sampling

    Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  38. Published

    Involving patients with E-health: the dialogic dynamics of information filtration work

    Nielsen, K. D., 2015, In: Science and Technology Studies. 28, 2, p. 29-52 24 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  39. Published

    Caring for Participation in STS: from empowered patients to Ghostbusters

    Nielsen, K. D., 2015, In: EASST Review. 34, 2

    Research output: Contribution to journalJournal articleCommunication

  40. Published

    An experimental investigation of the normality of irrational algebraic numbers

    Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  41. Published

    Deferred path heuristic for phylogenetic trees revisited

    Nielsen, B. K., Lindgren, S., Winter, Pawel & Zachariasen, M., 2005, Proceedings Of CompBioNets05: Algorithms and Computional Methods for Biochemical and Evolutionary Networks. King's College Publications, p. 75-92 18 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  42. Published

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002.

    Research output: Contribution to conferencePaperResearch

  43. Published

    An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Vol. 2461. p. 760-771

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  44. Published

    On the location of Steiner points in uniformly-oriented Steiner trees

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, In: Information Processing Letters. vol. 83, p. 237-241

    Research output: Contribution to journalJournal articleResearchpeer-review

  45. Published

    Rectilinear Trees under Rotation

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proc. of 12-th Int. Sym. on Combinatorial Optimization, CO´02. Paris, France, p. 101-101

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  46. Published

    Rigid Bodies in Contact: and Everything in Between

    Niebe, S. M., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  47. Published
  48. Published

    Synchrotron radiation μCT and histology evaluation of bone-to-implant contact

    Neldam, C. A., Sporring, Jon, Rack, A., Lauridsen, T., Hauge, E. M., Jørgensen, H. L., Jørgensen, Niklas Rye, Feidenhans'l, Robert Krarup & Pinholt, E. M., Sep 2017, In: Journal of Cranio-Maxillofacial Surgery. 45, 9, p. 1448-1457 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  49. Published

    Philosophical Locutions in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2005, An anatomy of human mental life. Gentofte, Danmark: naur.com publishing, p. -

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  50. Published

    Philosophical Locations in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2000, København, http://www.nam.com.

    Research output: Book/ReportBookResearch

  51. 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 journalJournal articleResearchpeer-review

  52. Published

    Dynamic Minimum Spanning Forest with Subpolynomial Worst-case Update Time

    Nanongkai, D., Saranurak, T. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 950-961

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  53. Published

    On the computational meaning of axioms

    Naibo, A., Petrolo, M. & Seiller, T., 2016, Epistemology, knowledge and the impact of interaction. Redmond, J., Pombo Martins, O. & Nepomuceno Fernández, Á. (eds.). Springer, p. 141-184 44 p. (Logic, Epistemology, and the Unity of Science, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  54. Published

    Infrastructures for healthcare: disconnection

    Mørck, P., Amstrup, M. H., Langhoff, T. O. & Bjorn, Pernille, 2015. 4 p.

    Research output: Contribution to conferencePaperResearch

  55. Published

    Medical emplotment: Designing IT for distributed healthcare

    Mønsted, T. S., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 100 p.

    Research output: Book/ReportPh.D. thesisResearch

  56. Published

    Balancing priorities: a field study of coordination in distributed elder care

    Mønsted, T., Johansen, A. K., Lauridsen, F. V. B., Manea, V. & Slavin-Borovskij, K., 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE, p. 970-978 9 p. 7427301

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  57. Published

    Data tracking in search of workflows

    Møller, Naja Holten, Bjorn, Pernille, C. Villumsen, J., Hancock, T. C. H., Aritake, T. & Tani, S., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2153-2165 13 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  58. Published

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  59. Published

    Making sense of medical records in a non-medical practice

    Møller, Naja Holten & Jensen, Klaus Bruhn, 2016. 7 p.

    Research output: Contribution to conferencePaperResearch

  60. Published

    In due time: decision-making in architectural design of hospitals

    Møller, Naja Holten & Bjorn, Pernille, 2016, COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, Vol. 1. p. 191-206 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  61. Published

    MRI diagnosis of fracture of the scaphoid bone: Impact of a new practice where the images are read by radiographers

    Møller, J. M., Larsen, L., Bovin, J., Lausten, G. S., Hasselqvist, M., Jensen, C. M., Ropke, I. & Thomsen, Henrik S., 1 Jul 2004, In: Academic Radiology. 11, 7, p. 724-728 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  62. Published

    Klimafesten: A case study of a municipality's intervention to engage citizens in environmentally sustainable actions

    Møllenbach, E. & Hornbæk, Kasper, 2015, Community governance and citizen-driven initiatives in climate change mitigation. Hoff, J. & Gausset, Q. (eds.). Taylor & Francis, p. 215-233 19 p. (Routledge Advances in Climate Change Research).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  63. Published

    Pre-vaccination care-seeking in females reporting severe adverse reactions to HPV vaccine. A registry based case-control study

    Mølbak, K., Hansen, N. D. & Valentiner-Branth, P., 2016, In: P L o S One. 11, 9, 12 p., e0162520.

    Research output: Contribution to journalJournal articleResearchpeer-review

  64. Published

    Automatic measurement of wrist synovitis from contrast-enhanced MRI: a registration-centered approach

    Mysling, P., Darkner, Sune, Sporring, Jon, Dam, E. & Lillholm, Martin, 2013, Medical Imaging 2013: Image Processing. Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 86692U. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  65. Published

    Unsupervised Evaluation for Question Answering with Transformers

    Muttenthaler, L., Augenstein, Isabelle & Bjerva, J., 2020, Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP. Association for Computational Linguistics, p. 83-90

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  66. 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. LBW0252

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  67. Published

    Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  68. Published

    Next Steps for Human-Computer Integration

    Mueller, F. F., Lopes, P., Strohmeier, P., Ju, W., Seim, C., Weigel, M., Nanayakkara, S., Obrist, M., Li, Z., Delfa, J., Nishida, J., Gerber, E. M., Svanaes, D., Grudin, J., Greuter, S., Kunze, K., Erickson, T., Greenspan, S., Inami, M., Marshall, J. & 6 others, Reiterer, H., Wolf, K., Meyer, J., Schiphorst, T., Wang, D. & Maes, P., 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 15 p. 337624

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  69. Published

    Loop quasi-invariant chunk detection

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (eds.). Springer, p. 91-108 18 p. (Lecture notes in computer science, Vol. 10482).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  70. Published

    Computability in the lattice of equivalence relations

    Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  71. Published

    Resource Control Graphs

    Moyen, J., Aug 2009, In: A C M Transactions on Computational Logic. 10, 4

    Research output: Contribution to journalJournal articleResearchpeer-review

  72. Published

    Loop quasi-invariant chunk motion by peeling with statement composition

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 47-59 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  73. Published

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 411-423 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  74. Published

    An affect detection technique using mobile commodity sensors in the wild

    Mottelson, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 781-792 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  75. Published

    Virtual reality studies outside the laboratory

    Mottelson, A. & Hornbæk, Kasper, Nov 2017, Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology. Association for Computing Machinery, 10 p. 9

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  76. Published

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  77. Published

    Invisiboard: maximizing display and input space with a full screen text entry method for smartwatches

    Mottelson, A., Larsen, C. W., Larsen, M. O. L., Strohmeier, P. & Knibbe, J. M., 2016, Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 53-59 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  78. Published

    Partial evaluation Concepts and Applications

    Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  79. Published

    Semi-Inversion of Functional Parameters

    Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  80. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  81. Published

    Garbage-free reversible constant multipliers for arbitrary integers

    Mogensen, Torben Ægidius, 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. 70-83 14 p. (Lecture notes in computer science, Vol. 7948).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  82. Published

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  83. Published

    Roll: A Language for Specifying Die-Rolls

    Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  84. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  85. Published

    Supercompilation for datatypes

    Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  86. Published

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.

    Research output: Book/ReportBookResearch

  87. Published

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  88. Published

    Introduction to compiler design

    Mogensen, Torben Ægidius, 2011, Springer. 204 p.

    Research output: Book/ReportBookEducation

  89. Published

    Reference counting for reversible languages

    Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  90. Published

    Troll, a Language for specifying Dice-rolls

    Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  91. Published

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  92. Published

    Garbage-free reversible multipliers for arbitrary constants

    Mogensen, Torben Ægidius, 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 p., 12.

    Research output: Contribution to journalJournal articleResearchpeer-review

  93. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

    Research output: Contribution to journalJournal articleResearchpeer-review

  94. Published

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  95. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  96. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  97. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  98. Published

    Semi-Inversion of Guarded Equations

    Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  99. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

    Research output: Book/ReportBookEducation

  100. Published

    Basics of Compiler Design

    Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.

    Research output: Book/ReportBookEducation

  101. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

    Research output: Book/ReportBookEducation

  102. Published

    Garbage collection for reversible functional languages

    Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  103. Published

    RSSA: a reversible SSA form

    Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  104. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

    Research output: Contribution to journalJournal articleResearchpeer-review

  105. Published

    Normalization for a Subset of Scheme using Type Predicates (Summary)

    Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  106. Published

    Inherited Limits

    Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  107. Published

    Quantification of diaphragm mechanics in Pompe disease using dynamic 3D MRI

    Mogalle, K., Perez-Rovira, A., Ciet, P., Wens, S. C. A., van Doorn, P. A., Tiddens, H. A. W. M., van der Ploeg, A. T. & de Bruijne, Marleen, 2016, In: P L o S One. 11, 7, 24 p., e0158912.

    Research output: Contribution to journalJournal articleResearchpeer-review

  108. Published

    Proceedings of Math on the rocks: shape analysis workshop in Grundsund

    Modin, K. (ed.) & Sommer, Stefan Horst (ed.), 2015, Chalmers tekniska högskola. 42 p.

    Research output: Book/ReportBookResearchpeer-review

  109. Published

    Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes

    Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., Jul 2012, EUROSCA'12 Proceedings of the 11th ACM SIGGRAPH / Eurographics conference on Computer Animation. ACM, p. 97 106 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  110. Published

    Tetrahedral Mesh Improvement Using Multi-face Retriangulation

    Misztal, M. K., Bærentzen, J. A., Anton, F. & Erleben, Kenny, 2009, Proceedings of the 18th International Meshing Roundtable. Springer, p. 539-555 17 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  111. Published

    Multiphase flow of immiscible fluids on unstructured moving meshes

    Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., 2014, In: I E E E Transactions on Visualization and Computer Graphics. 20, 1, p. 4-16 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  112. Published

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  113. Published

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  114. Published

    Architecture-based regulatory compliance argumentation

    Mihaylov, B., Onea, L. & Hansen, K. M., 2016, In: The Journal of Systems and Software. 119, p. 1-30 30 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  115. Published

    Serum AMH levels are lower in healthy boys who develop pubertal gynaecomastia

    Mieritz, M. G., Hagen, C. P., Almstrup, Kristian, Petersen, Jørgen Holm, Raket, L. L., Sommer, Stefan Horst & Juul, A., 2015, In: Hormone Research in Paediatrics. 84, Supplement 1, p. 290-291 2 p., P2-526.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  116. Published

    A longitudinal study of growth, sex steroids and IGF-1 in boys with physiological gynaecomastia

    Mieritz, M. G., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N. & Juul, Anders, 2015, In: Journal of Clinical Endocrinology and Metabolism. 100, 10, p. 3752-3759 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  117. Published

    The Development of Pubertal Gynaecomastia and the Association to Endogenous Hormones, Growth, and Body Composition

    Mieritz, M. G., Juul, A., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N., Sørensen, K., Aksglaede, L., Mouritsen, Annette Korsholm, Hilsted, L. & Andersson, A. M., 2017, In: Birth Defects Research. 109, 9, p. 637 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  118. Published

    Instance-Specific Augmentation of Brain MRIs with Variational Autoencoders

    Middleton, Jon Anthony, Bauer, Marko, Johansen, Jacob, Nielsen, Mads, Sommer, Stefan Horst & Pai, A. S. U., 2023, Medical Applications with Disentanglements : First MICCAI Workshop, MAD 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings. Springer, p. 49-58 (Lecture Notes in Computer Science, Vol. 13823).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  119. Published

    Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI

    Middleton, Jon Anthony, Bauer, Marko, Johansen, Jacob, Perslev, Mathias, Sheng, K., Ingala, S., Nielsen, Mads & Pai, A., 2024, Proceedings of the 5th Northern Lights Deep Learning Conference ({NLDL}). PMLR, p. 158-164 (Proceedings of Machine Learning Research, Vol. 233).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  120. Published

    Combining the boundary shift integral and tensor-based morphometry for brain atrophy estimation

    Michalkiewicz, M. D., Pai, A. S. U., Leung, K. K., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2016, Medical imaging 2016: Image processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 6 p. 978406. (Progress in Biomedical Optics and Imaging).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  121. Published

    An exploration of the relation between expectations and user experience

    Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Interaction. 31, 9, p. 603-617 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  122. 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 proceedingArticle in proceedingsResearchpeer-review

  123. Published

    Fostering cooperative activism through critical design

    Menendez Blanco, M., Bjorn, Pernille & De Angeli, A., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 618-629 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  124. Published

    MRBrainS challenge: online evaluation framework for brain image segmentation in 3T MRI scans

    Mendrik, A. M., Vincken, K. L., Kuijf, H. J., Breeuwer, M., Bouvy, W., de Bresser, J., Alansary, A., de Bruijne, M., Carass, A., El-Baz, A., Jog, A., Katyal, R., Khan, A. R., van der Lijn, F., Mahmood, Q., Mukherjee, R., van Opbroek, A., Paneri, S., Pereira, S., Persson, M. & 9 others, Sarikaya, M. R. A. D., Smedby, Ö., Silva, C. A., Vrooman, H. A., Vyas, S., Wang, C., Zhao, L., Biessels, G. J. & Viergever, M. A., 2015, In: Computational Intelligence and Neuroscience. 2015, 16 p., 813696.

    Research output: Contribution to journalJournal articleResearchpeer-review

  125. Published

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 others, Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, Tijs, Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., Feb 2018, In: ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.

    Research output: Contribution to journalJournal articleResearchpeer-review

  126. Published

    Momentary pleasure or lasting meaning? distinguishing eudaimonic and hedonic user experiences

    Mekler, E. D. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4509-4520 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  127. Published

    Do points, levels and leaderboards harm intrinsic motivation? An empirical analysis of common gamification elements

    Mekler, E. D., Brühlmann, F., Opwis, K. & Tuch, A. N., 2013, Gamification '13: Proceedings of the First International Conference on Gameful Design, Research, and Applications. Association for Computing Machinery, p. 66-73 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  128. Published

    Robust training of recurrent neural networks to handle missing data for disease progression modeling

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 p.

    Research output: Contribution to conferencePaperResearch

  129. Published

    Robust parametric modeling of Alzheimer's disease progression

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A., Modat, M., Jorge Cardoso, M., Ourselin, S. & Sørensen, L., 2021, In: NeuroImage. 225, 12 p., 117460.

    Research output: Contribution to journalJournal articleResearchpeer-review

  130. Published

    On the initialization of long short-term memory networks

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A., Modat, M., Cardoso, M. J., Ourselin, S. & Sørensen, L., 2019, Neural Information Processing - 26th International Conference, ICONIP 2019, Proceedings. Gedeon, T., Wong, K. W. & Lee, M. (eds.). Springer VS, p. 275-286 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11953 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  131. Published

    Training recurrent neural networks robust to incomplete data: application to Alzheimer’s disease progression modeling

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2019, In: Medical Image Analysis. 53, p. 39-46

    Research output: Contribution to journalJournal articleResearchpeer-review

  132. Published

    Support of closed walks and second eigenvalue multiplicity of graphs

    McKenzie, T., Rasmussen, Peter Michael Reichstein & Srivastava, N., 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, Inc., p. 396-407

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  133. Published

    Iteratively Adapting Avatars using Task-Integrated Optimisation

    McIntosh, J., Zajac, Hubert Dariusz, Stefan, A., Bergström, Joanna & Hornbæk, Kasper, 1 Oct 2020, Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. 1 ed. https://dl.acm.org/doi/abs/10.1145/3379337.3415832: Association for Computing Machinery, p. 709–721

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  134. Published

    Stereotyping in Globally distributed Collaboration: A CSCW Thesis on Global Software Development.

    Matthiesen, S., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  135. Published

    When Distribution of Tasks and Skills Are Fundamentally Problematic: A Failure Story from Global Software Outsourcing

    Matthiesen, S. & Bjorn, Pernille, Nov 2017, In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI). 1, CSCW, 16 p., 74.

    Research output: Contribution to journalJournal articleResearchpeer-review

  136. Published

    Let’s look outside the office: analytical lens unpacking collaborative relationships in global work

    Matthiesen, S. & Bjorn, Pernille, 2016, COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, Vol. 1. p. 107-122 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  137. Published

    Global software development: exploring multiplicity and asymmetric dynamics in collaborative work

    Matthiesen, S., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 163-166 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  138. Published

    Best-of-Both-Worlds Learning in Bandits with Delayed Feedback

    Masoudian, S., 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 166 p.

    Research output: Book/ReportPh.D. thesisResearch

  139. Published

    Parsing Universal Dependencies without training

    Martinez Alonso, H., Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 230-240 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  140. Published

    EBBA: Efficient Branch and Bound Algorithm for Protein Decoy Generation

    Martin, P. & Winter, Pawel, 2008, Dept. of Computer Science, Univ. of Copenhagen. 24 p.

    Research output: Book/ReportReportResearch

  141. Published

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.

    Research output: Contribution to conferencePaperResearch

  142. Published

    Sideways Stepping

    Markussen, B., Sporring, Jon & Erleben, Kenny, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 80-80

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  143. Published

    Guessing tangents in normal flows

    Markussen, Bo, Sporring, Jon & Erleben, Kenny, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 195-205 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  144. Published

    Second order structure of scale-space measurements

    Markussen, Bo, Steenstrup Pedersen, Kim & Loog, M., 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 207-220 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  145. Published

    Selection-based mid-air text entry on large displays

    Markussen, A., Jakobsen, M. R. & Hornbæk, Kasper, 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, Vol. 2. p. 401-418 18 p. (Lecture notes in computer science, Vol. 8117).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  146. Published

    Off-limits: interacting beyond the boundaries of large displays

    Markussen, A., Boring, S., Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5862-5873 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  147. Published

    Interacting on and around Large Displays: Towards Improved Mid-Air Text Entry, Improved Understanding of Input Modalities, and Extended Boundaries of Interaction

    Markussen, A., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 98 p.

    Research output: Book/ReportPh.D. thesisResearch

  148. Published

    Efficient first order functional program interpreter with time bound certifications

    Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Vol. 1955. p. 25-42

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  149. Published

    Delivering Rules-Based Workflows for Science

    Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  150. Published

    Towards standard-based healthcare ecosystems of systems

    Manikas, K., 2015, Proceedings of the 1 st Scandinavian Workshop on the Engineering of Systems - of - Systems (SWESoS 2015). Axelsson, J. (ed.). Swedish ICT, p. 31-33 3 p. (SICS Technical Report, Vol. T2015:04).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  151. Published

    Designing, developing, and implementing software ecosystems: towards a step-wise guide

    Manikas, K., Hämäläinen, M. & Tyrväinen, P., 2017, Proceedings of the 8th Workshop on Software Ecosystems. Jansen, S., Alves, C. & Bosch, J. (eds.). CEUR-WS.org, p. 70-79 10 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  152. 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. 46

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  153. 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/ReportReportResearch

  154. Published

    Analyzing, Modelling, and Designing Software Ecosystems: Towards the Danish Telemedicine Software Ecosystem

    Manikas, K., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 160 p.

    Research output: Book/ReportPh.D. thesisResearch

  155. Published

    Supporting the evolution of research in software ecosystems: reviewing the empirical literature.

    Manikas, K., 2016, Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings. Maglyas, A. & Lamprecht, A-L. (eds.). Springer, p. 63-78 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  156. Published

    Governance mechanisms for healthcare apps

    Manikas, K., Hansen, K. M. & Kyng, M., 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops. Association for Computing Machinery, p. 10:1-10:6 6 p. 10

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  157. Published

    Revisiting software ecosystems research: a longitudinal literature study

    Manikas, K., 2016, In: The Journal of Systems and Software. 117, p. 84-103 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  158. Published

    Reviewing the health of software ecosystems – a conceptual framework proposal.

    Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  159. Published

    Characterizing the Danish telemedicine ecosystem: making sense of actor relationships

    Manikas, K. & Hansen, K. M., 2013, Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems: MEDES '13. Association for Computing Machinery, p. 211-218 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  160. Published

    Software ecosystems – a systematic literature review

    Manikas, K. & Hansen, K. M., 2013, In: Journal of Systems and Software. 86, 5, p. 1294–1306 13 p.

    Research output: Contribution to journalReviewResearchpeer-review

  161. Published

    Learning models of activities involving interacting objects

    Manfredotti, C., Steenstrup Pedersen, Kim, Hamilton, H. J. & Zilles, S., 2013, Advances in Intelligent Data Analysis XII: 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings. Tucker, A., Höppner, F., Siebes, A. & Swift, S. (eds.). Springer, p. 285-297 13 p. (Lecture notes in computer science, Vol. 8207).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  162. Published

    Learning from uncertain curves: The 2-Wasserstein metric for Gaussian processes

    Mallasto, A. & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  163. 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 proceedingArticle in proceedingsResearchpeer-review

  164. Published

    Deep-learnt classification of light curves

    Mahabal, A., Gieseke, F., Pai, A. S. U., Djorgovski, S. G., Drake, A. J., Graham, M. J. & CSS/CRTS/PTF Teams, C. T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  165. Published

    SkyView: a user evaluation of the skyline operator

    Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  166. Published

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 p.

    Research output: Contribution to conferencePaperResearch

  167. Published

    Towards a streaming model for nested data parallelism

    Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  168. Published

    Streaming nested data parallelism on multicores

    Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  169. Published

    Functional array streams

    Madsen, F. M., Clifton-Everest, R., Chakravarty, M. M. T. & Keller, G., 2015, Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. Rompf, T. & Mainland, G. (eds.). Association for Computing Machinery, p. 23-34 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  170. Published

    Streaming for Functional Data-Parallel Languages

    Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  171. Published

    Small steps in physics simulation

    Macklin, M., Storey, K., Lu, M., Terdiman, P., Chentanez, N., Jeschke, S. & Müller, M., 2019, SCA '19: Proceedings of the 18th annual ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM Association for Computing Machinery, p. 1-7

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  172. Published

    University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming

    Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  173. Published

    Depth from zooming

    Ma, J. & Olsen, Søren Ingvor, 1990, In: Journal of the Optical Society of America A. 7, 10, p. 1883-1890 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  174. Published

    Airway distensibility in chronic obstructive pulmonary disease – evaluation by CT airway segmentation and lung density measurement based on the Danish lung cancer screening trial

    M. W. Wille, M., Petersen, Jens, Dirksen, A., Pedersen, J. J. H. & de Bruijne, Marleen, 2013, In: American Journal of Respiratory and Critical Care Medicine. 187, p. A2871 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  175. Published

    Detecting users handedness for ergonomic adaptation of mobile user interfaces

    Löchtefeld, M., Schardt, P., Krüger, A. & Boring, S., 2015, MUM '15 Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, p. 245-249 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  176. Published

    Re-estimation of motion and reconstruction for distributed video coding

    Luong, H. V., Raket, L. L. & Forchhammer, S., 2014, In: I E E E Transactions on Image Processing. 23, 7, p. 2804-2819 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  177. Published

    The Hackerspace manifested as a DIY-IoT Entity: shaping and protecting the identity of the community

    Lundbjerg Hansen, E., Pflug von der Osten, J., Kanto , R. & Bjorn, Pernille, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work - exploratory papers. European Society for Socially Embedded Technologies, p. 205-221 17 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  178. Published

    Carotid artery lumen segmentation in 3D free-hand ultrasound images using surface graph cuts

    Lorza, A. M. A., Carvalho, D. D. B., Petersen, Jens, Dijk, A. C. V., Lugt, A. V. D., Niessen, W. J., Klein, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 542-549 8 p. (Lecture notes in computer science, Vol. 8150).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  179. Published

    Learning from Educational Data: Improving Methods and Theoretical Guarantees for Data Mining

    Lorenzen, S. S., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  180. Published

    On predicting student performance using low-rank matrix factorization techniques

    Lorenzen, S. S., Pham, D. N. & Alstrup, Stephen, Oct 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 326-334 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  181. Published

    Steiner tree heuristic in the Euclidean d-space using bottleneck distances

    Lorenzen, S. S. & Winter, Pawel, 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 217-230 14 p. (Lecture notes in computer science, Vol. 9685).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  182. Published

    Supervised scale-regularized linear convolutionary filters

    Loog, M. & Lauze, Francois Bernard, Jul 2017, Proceedings of BMVC 2017. British Machine Vision Conference, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  183. Published

    Diffeomorphic spectral matching of cortical surfaces

    Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 376-389 14 p. (Lecture notes in computer science, Vol. 7917).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  184. Published

    Chest computed tomography: a validated surrogate endpoint of cystic fibrosis lung disease?

    Loeve, M., Krestin, G. P., Rosenfeld, M., de Bruijne, Marleen, Stick, S. M. & Tiddens, H. A., 2013, In: European Respiratory Journal. 42, 3, p. 844-857 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  185. Published

    Reversibility of trapped air on chest computed tomography in cystic fibrosis patients

    Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  186. Published

    Voxel Classification Based Vessel-guided Airway Segmentation

    Lo, P. C. P., Sporring, Jon, Ashraf, H., Pedersen, J. H. J. & de Bruijne, Marleen, 2008, Proceedings of the Danish Conference on Pattern Recognition and Image Analysis: Organised by Danish Society for Automatic Pattern Recognition (Dansk Selskab for automatisk genkendelse af mønstre), Departmen of Computer Science, University of Copenhagen, Thursday 21 August 2008. Olsen, S. I. (ed.). Museum Tusculanum, p. 8-9 (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 08-10).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  187. Published

    Multiscale Vessel-guided Airway Tree Segmentation

    Lo, P. C. P., Sporring, Jon & de Bruijne, Marleen, 2009, Proceedings of Second International Workshop on Pulmonary Image Analysis. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., McClelland, J. R., Mori, K., Reeves, A. & Reinhardt, J. M. (eds.). CreateSpace, p. 323-332 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  188. Published

    Vessel-guided airway segmentation based on voxel classification

    Lo, P. C. P., Sporring, Jon, Ashraf, H., Holst Pedersen, J. J. & de Bruijne, Marleen, 2008, The first International Workshop on Pulmonary Image Analysis: New York, September 6, 2008. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., Mori, K. & Reinhardt, J. (eds.). Lulu.com, p. 113-122

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  189. Published

    High accuracy in classifying endoscopic severity in ulcerative colitis using convolutional neural network

    Lo, B., Liu, Z., Bendtsen, Flemming, Igel, Christian, Vind, Ida & Burisch, J., 2022, In: The American Journal of Gastroenterology. 117, 10, p. 1648-1654

    Research output: Contribution to journalJournal articleResearchpeer-review

  190. Published

    Artificial intelligence surpasses gastrointestinal experts in the classification of endoscopic severity among Ulcerative Colitis

    The Presager Project, T. P. P., 2021, In: Journal of Crohn's & colitis. 15, Suppl. 1, p. S007-S007

    Research output: Contribution to journalConference abstract in journalResearch

  191. Published

    A camera-based sensor system for precise seam tracking and closed-loop weld pool control in arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011.

    Research output: Contribution to conferencePaperResearchpeer-review

  192. Published

    Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  193. Published

    Towards stabilizing parametric active contours

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Kristensen, J., 2014, 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE, p. 198-203 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  194. Published

    Boosting active contours for weld pool visual tracking in automatic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., Apr 2017, In: IEEE Transactions on Automation Science and Engineering. 14, 2, p. 1096-1108 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  195. Published

    A real-time passive vision system for robotic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE). IEEE, p. 389-394 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  196. Published

    Camera-based seam tracking and nearly-closed-loop control of arc welding

    Liu, J., Christensen, K. H., Fan, Z., Olsen, Søren Ingvor & Kristensen, J. K., 2009. 13 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  197. Published

    Weld pool visual tracking using active contours driven by baysian classifiers

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011. 2 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  198. Published

    A model-free unsupervised method to cluster brain tissue directly From DWI volumes

    Liptrot, M. G. & Lauze, Francois Bernard, 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  199. Published

    Streamlets for visualisation and data exploration

    Liptrot, M. G., 14 Sep 2016. 1 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  200. Published

    Rotationally invariant clustering of diffusion MRI data using spherical harmonics

    Liptrot, M. G. & Lauze, Francois Bernard, 2016, Medical Imaging 2016: Image Processing. SPIE - International Society for Optical Engineering, Vol. 1. 7 p. 97843C. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  201. Published

    Addressing the path-length-dependency confound in white matter tract segmentation

    Liptrot, M. G., Sidaros, K. & Dyrby, T. B., 2014, In: PLoS ONE. 9, 5, 11 p., e96247.

    Research output: Contribution to journalJournal articleResearchpeer-review

  202. Published

    Assessment of rotationally-invariant clustering using streamlet tractography

    Liptrot, M. G. & Lauze, Francois Bernard, 2016.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  203. Published

    Streamlet Tractography

    Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  204. Published

    Exploiting the bipartite structure of entity grids for document coherence and retrieval

    Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  205. Published

    Non-compositional term dependence for information retrieval

    Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 595-604 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  206. Published

    Evaluation measures for relevance and credibility in ranked lists

    Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, p. 91-98 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  207. Published

    Deep learning relevance: creating relevant information (as opposed to retrieving it)

    Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  208. Published

    A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?

    Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, p. 107-117 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  209. Published

    University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier

    Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  210. Published

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., Aug 2017, In: Cognitive Systems Research. 44, p. 40-49 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  211. Published

    Perceptions of presence: discursive and embodied experiences in global collaboration

    Lindekilde, R. & Bjorn, Pernille, 2015, ECIS 2015 Proceedings. 17 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  212. Published

    Transforming perceptions of presence: reporting from an action research project

    Lindekilde, R. & Bjorn, Pernille, 2016, In: International Journal of Systems and Society. 3, 1, 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  213. Published

    Evaluation of WBAA with registration-based cube propagation for brain atrophy quantification

    Lillholm, Martin, Pai, A. S. U., Sørensen, L., Nielsen, Mads, Sporring, Jon, Darkner, Sune & Dam, E., 2013. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  214. Published

    Vertebral fracture risk (VFR) score for fracture prediction in postmenopausal Women

    Lillholm, Martin, Ghosh, A., Pettersen, P. C., de Bruijne, Marleen, Dam, E. B., Karsdal, M. A., Christiansen, C., Genant, H. K. & Nielsen, Mads, 2011, In: Osteoporosis International. 22, 7, p. 2119-2128 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  215. Published

    Augmented reality views for occluded interaction

    Lilija, K., Pohl, H., Boring, S. & Hornbæk, Kasper, 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 446

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  216. Published

    Special Topic: Taking Action in a Changing World

    Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, In: interactions. 25, 1, p. 34-45 12 p.

    Research output: Contribution to journalJournal articleCommunication

  217. Published

    Field report for Platform mBox: Designing an Open MMLA Platform

    Li, Zaibei, Jensen, Martin Thoft, Nolte, A. & Spikol, Daniel, 2024, LAK24 Conference Proceedings: Learning Analytics in the Age of Artificial Intelligence. Association for Computing Machinery, p. 785-791 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  218. Published

    Multiple-instance learning as a classifier combining problem

    Li, Y., Tax, D. M. J., Duin, R. P. W. & Loog, M., 2013, In: Pattern Recognition. 46, 3, p. 865-874 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  219. Published

    Segmentation of tumors in magnetic resonance brain images using an interactive multiscale watershed algorithm

    Letteboer, M. M. J., Olsen, O. F., Dam, Erik Bjørnager, Willems, P. W. A., Viergever, M. A. & Niessen, W. J., Oct 2004, In: Academic Radiology. 11, 10, p. 1125-38 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  220. Published

    OneSpace: shared depth-corrected video interaction

    Ledo, D., Aseniero, B. A., Greenberg, S., Boring, S. & Tang, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 997-1002 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  221. Published

    Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies

    Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  222. Published

    VC Set Systems in Minor-free (Di)Graphs and Applications

    Le, H. & Wulff-Nilsen, Christian, 2024, p. 5332-5360. 29 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  223. Published

    Preface

    Lauze, Francois Bernard, Dong, Y. & Dahl, A. B., 2017, 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, Kolding, 4 June 2017 - 8 June 2017. Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10302 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  224. Published

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

    Lauze, Francois Bernard, Quéau, Y. & Plenge, E., Jun 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  225. Published

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, Apr 2017, In: Journal of Medical Internet Research. 19, 4, 12 p., e123.

    Research output: Contribution to journalJournal articleResearchpeer-review

  226. Published

    Neuro-SPECT:On the development and function of brain emission tomography in the Copenhagen area

    Lassen, Anders, Stokely, E., Vorstrup, S., Goldman, T. & Henriksen, J. H., 2021, In: Clinical Physiology and Functional Imaging. 41, 1, p. 10-24 15 p.

    Research output: Contribution to journalReviewResearchpeer-review

  227. Published

    Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL

    Lassen, Anders, 18 May 2018, In: Journal of Information Technology and Software Engineering. 8, 3, 5 p., 237.

    Research output: Contribution to journalJournal articleResearchpeer-review

  228. Published

    Color coding ER-diagrams, one approach to modeling semistructured data. Entity-Relationship diagrams used for aggregate oriented databases.

    Lassen, Anders & Ejstrup, C., Jun 2020, In: International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET). 6, 6, p. 14-22

    Research output: Contribution to journalJournal articleResearchpeer-review

  229. Published

    Survival and morbidity following congenital heart surgery in a population-based cohort of children--up to 12 years of follow-up

    Larsen, S. H., Emmertsen, K., Johnsen, S. P., Pedersen, J., Hjortholm, K. & Hjortdal, Vibeke Elisabeth, 23 Mar 2011, In: Congenital Heart Disease. 6, 4, p. 322-9 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  230. Published

    Risikoscore ved operation for medfødt hjertesygdom--sekundaerpublikation

    Larsen, S. H., Pedersen, J., Jacobsen, J., Johnsen, S. P., Hansen, Ole, Sørensen, K. E. & Hjortdal, Vibeke Elisabeth, 6 Feb 2006, In: Ugeskrift for Laeger. 168, 6, p. 584-6 3 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  231. Published

    Strategies for regular segmented reductions on GPU

    Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  232. Published

    Medical Image Computing and Computer-Assisted Intervention -MICCAI 2006 Part II: 9th international conference , Copenhagen, Denmark, October 1-6, 2006, proceedings, Part I

    Larsen, R. (ed.), Nielsen, Mads (ed.) & Sporring, Jon (ed.), 2006, Springer. (Lecture notes in computer science, Vol. 4191).

    Research output: Book/ReportAnthologyResearch

  233. Published

    Preface

    Larsen, R., Nielsen, Mads & Sporring, Jon, 2006, 9th International Conference of Medical Image Computing and Computer-Assisted Intervention (MICCAI). p. V-VI

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  234. Published

    Cellular 3D-reconstruction and analysis in the human cerebral cortex using automatic serial sections

    Larsen, N. Y., Li, X., Tan, X., Ji, G., Lin, J., Rajkowska, G., Møller, J., Vihrs, N., Sporring, Jon, Sun, F. & Nyengaard, J. R., Dec 2021, In: Communications Biology . 4, 1, 15 p., 1030.

    Research output: Contribution to journalJournal articleResearchpeer-review

  235. Published

    Growth analysis of individual abdominal atherosclerotic calcified deposits

    Larsen, L. L., Ganz, Melanie & Nielsen, Mads, 2009. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  236. Published

    Growth Pattern of Atherosclerotic Calcifications

    Larsen, L. L., Ganz, Melanie, Dam, E., Dandu, N. & Nielsen, Mads, 2008, CVII '08: Second International Workshop on Computer vision for intracardiac and intravascular imaging, held in New York, USA, September 10, 2008 in conjunction with the 11th MICCAI conference. Sabancí Üniversítesí. 34956 Tuzla, Istanbul, p. 63-70

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  237. Published

    Kunsten at vejlede et konstruktionsprojekt

    Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

    Research output: Contribution to journalJournal articleResearchpeer-review

  238. Published

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  239. Published

    Heavy hitters via cluster-preserving clustering

    Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, Mikkel, 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science. IEEE, p. 61-70 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  240. Published

    On the need for and provision of an 'IDEAL' scholarly information retrieval test collection

    Larsen, B. & Lioma, Christina, 2016, Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval (BIR 2016), Padova, Italy, March 20, 2016. Mayr, P., Frommholz, I. & Cabanac, G. (eds.). CEUR-WS.org, p. 73-81 9 p. (CEUR Workshop Proceedings, Vol. 1567).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  241. Published

    The Influence of Hand Size on Touch Accuracy

    Larsen, J. N., Jacobsen, T. H., Boring, S., Bergström, Joanna & Pohl, H., 2019, Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 11 p. 4

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  242. Published

    Infrastructures for healthcare: from synergy to reverse synergy

    Langhoff, T. O., Amstrup, M. H., Mørck, P. & Bjorn, Pernille, 2018, In: Health Informatics Journal. 24, 1, p. 43-53

    Research output: Contribution to journalJournal articleResearchpeer-review

  243. Published

    Gazeprojector: accurate gaze estimation and seamless gaze interaction across multiple displays

    Lander, C., Gehring, S., Krüger, A., Boring, S. & Bulling, A., 2015, UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 395-404 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  244. Published

    Inferring the socioeconomic status of social media users based on behaviour and language

    Lampos, V., Aletras, N., Geyti, J. K., Zou, B. & Cox, Ingemar Johansson, 2016, Advances in Information Retrieval: 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20–23, 2016. Proceedings. Ferro, N., Crestani, F., Moens, M-F., Mothe, J., Silvestri, F., Di Nunzio, G. M., Hauff, C. & Silvello, G. (eds.). Springer, p. 689-695 7 p. (Lecture notes in computer science, Vol. 9626).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  245. Published

    Assessing the impact of a health intervention via user-generated Internet content

    Lampos, V., Yom-Tov, E., Pebody, R. & Cox, Ingemar Johansson, 2015, In: Data Mining and Knowledge Discovery. 29, 5, p. 1434-1457 24 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  246. Published

    Dental artifacts in the head and neck region: implications for Dixon-based attenuation correction in PET/MR

    Ladefoged, C. N., Hansen, A. E., Keller, S., Fischer, Barbara Malene Bjerregaard, Rasmussen, J. H., Law, I., Kjær, A., Højgaard, Liselotte, Lauze, Francois Bernard, Beyer, T. & Andersen, F. L., 2015, In: European Journal of Nuclear Medicine and Molecular Imaging. 2, 15 p., 8.

    Research output: Contribution to journalJournal articleResearchpeer-review

  247. Published

    Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors

    Ladefoged, C. N., Andersen, F. L., Keller, S. H., Beyer, T., Højgaard, Liselotte & Lauze, Francois Bernard, 2014, Proceedings of SPIE Medical Imaging 2014: Image processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 7 p. 90341M. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9034). (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  248. Published

    Automatic correction of dental artifacts in PET/MRI

    Ladefoged, C. N., Andersen, F. L., Keller, S., Beyer, T., Law, I., Højgaard, Liselotte, Darkner, Sune & Lauze, Francois Bernard, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024009.

    Research output: Contribution to journalJournal articleResearchpeer-review

  249. Published

    PET/MR imaging of head/neck in the presence of dental implants: reducing image artifacts and increasing accuracy through inpainting

    Ladefoged, C., Beyer, T., Keller, S., Law, I., Højgaard, L., Kjær, A., Lauze, Francois Bernard & Andersen, F., 2013, In: European Journal of Nuclear Medicine and Molecular Imaging. 40, Supplement 2, p. S140 1 p., OP601.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  250. 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 journalJournal articleResearchpeer-review

  251. Published

    Stochastic development regression using method of moments

    Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  252. Published

    Stochastic Modelling on Manifolds

    Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  253. Published

    Stochastic development regression on non-linear manifolds

    Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  254. Published

    Separating shape and intensity variation in images

    Kühnel, L., Sommer, Stefan Horst, Pai, A. S. U. & Raket, L. L., 2017, In: SIAM News. 50, 8, p. 12 1 p.

    Research output: Contribution to journalJournal articleResearch

  255. Published

    Computational anatomy in Theano

    Kühnel, L. & Sommer, Stefan Horst, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 164-176 13 p. (Lecture notes in computer science, Vol. 10551).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  256. Published
  257. Published

    The design space of shape-changing interfaces: a repertory grid study

    Kwak, M., Hornbæk, Kasper, Markopoulos, P. & Alonso, M. B., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 181-190 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  258. Published

    Driving Structural Transitions in Molecular Simulations Using the Nonequilibrium Candidate Monte Carlo

    Kurut, A., Fonseca, R. & Boomsma, Wouter, 25 Jan 2018, In: Journal of Physical Chemistry Part B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical. 122, 3, p. 1195-1204

    Research output: Contribution to journalJournal articleResearchpeer-review

  259. Published

    Diagnosis of bronchiectasis and airway wall thickening in children with cystic fibrosis: objective airway-artery quantification

    Kuo, W., de Bruijne, Marleen, Petersen, Jens, Nasserinejad, K., Ozturk, H., Chen, Y., Perez-Rovira, A. & Tiddens, H. A. W. M., Nov 2017, In: European Radiology. 27, 11, p. 4680-4689 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  260. Published

    Objective airway artery dimensions compared to CT scoring methods assessing structural cystic fibrosis lung disease

    Kuo, W., Andrinopoulou, E., Perez-Rovira, A., Ozturk, H., de Bruijne, Marleen & Tiddens, H. A. W. M., Jan 2017, In: Journal of Cystic Fibrosis. 16, 1, p. 116–123 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  261. Published

    Multicentre chest computed tomography standardisation in children and adolescents with cystic fibrosis: the way forward

    Kuo, W., Kemner-van de Corput, M. P. C., Perez-Rovira, A., de Bruijne, Marleen, Fajac, I., Tiddens, H. A. W. M. & van Straten, M., 2016, In: The European Respiratory Journal. 47, 6, p. 1706-1717 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  262. Published

    Most Likely Separation of Intensity and Warping Effects in Image Registration

    Kuhnel, L., Sommer, Stefan Horst, Pai, A. & Raket, L. L., 2017, In: S I A M Journal on Imaging Sciences. 10, 2, p. 578-601

    Research output: Contribution to journalJournal articleResearchpeer-review

  263. Published

    Classification of Alzheimer and MCI phenotypes on MRI data using SVM

    Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  264. Published

    Fusion of parallel array operations

    Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, James Emil, 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, p. 71-85 15 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  265. Published

    Battling memory requirements of array programming through streaming

    Kristensen, M. R. B., Avery, James Emil, Blum, T., Lund, S. A. F. & Vinter, B., 2016, In: Lecture notes in computer science. 2016, p. 451-469 19 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  266. 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 proceedingArticle in proceedingsResearchpeer-review

  267. Published

    Active and Adaptive Learning from Biased Data with Applications in Astronomy

    Kremer, J., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen. 91 p.

    Research output: Book/ReportPh.D. thesisResearch

  268. Published

    Support vector machines for active learning

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, Second European Conference on Data Analysis: program & abstracts . p. 38 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

  269. Published

    Active learning with support vector machines

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, In: Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery. 4, 4, p. 313-326 14 p.

    Research output: Contribution to journalReviewResearchpeer-review

  270. Published

    Big universe, big data: machine learning and image analysis for astronomy

    Kremer, J., Stensbo-Smidt, K., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2017, In: IEEE Intelligent Systems. 32, 2, p. 16-22 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  271. Published

    Nearest neighbor density ratio estimation for large-scale applications in astronomy

    Kremer, J., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2015, In: Astronomy and Computing. 12, p. 67-72 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  272. Published

    A CMA-ES with multiplicative covariance matrix updates

    Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  273. Published

    CMA-ES with optimal covariance update and storage complexity

    Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  274. Published

    A more efficient rank-one covariance matrix update for evolution strategies

    Krause, Oswin & Igel, Christian, 2015, Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery, p. 129-136 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  275. Published

    Approximation properties of DBNs with binary hidden units and real-valued visible units

    Krause, Oswin, Fischer, A., Glasmachers, T. & Igel, Christian, 2013, Proceedings of the 30th International Conference on Machine Learning. Dasgupta, S. & McAllester, D. (eds.). p. 419-426 8 p. (JMLR: Workshop and Conference Proceedings, Vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  276. Published

    Distribution Learning in Evolutionary Strategies and Restricted Boltzmann Machines

    Krause, Oswin, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 121 p.

    Research output: Book/ReportPh.D. thesisResearch

  277. Published

    Multi-objective optimization with unbounded solution sets

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2016. 6 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  278. Published

    Population Monte Carlo meets contrastive divergence learning

    Krause, Oswin, Fischer, A. & Igel, Christian, 2015, Machine learning reports: Workshop New Challenges in Neural Computation 2015. Hammer, B., Martinetz, M. & Villmann, T. (eds.). p. 93-94 2 p.

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearchpeer-review

  279. Published

    Unbounded population MO-CMA-ES for the bi-objective BBOB test suite

    Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  280. Published

    Qualitative and quantitative assessment of step size adaptation rules

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  281. Published

    On the intriguing number 1001

    Krarup, J., 2016, In: Central European Journal of Operations Research. 24, 3, p. 787-795 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  282. Published

    Maurice F. Shutler (1931-2015) obituary

    Krarup, J. & Rand, G. K., 1 Aug 2016, In: European Journal of Operational Research. 252, 3, p. 699-700 2 p.

    Research output: Contribution to journalComment/debateResearch

  283. Published

    A framework for data mining in wind power time series

    Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (eds.). Springer, p. 97-107 (Lecture notes in computer science, Vol. 8817).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  284. Published

    Context Matters in Disorder Based Protein Communication

    Kragelund, Birthe Brandt, Prestel, Andreas, Wickmann, N., Martins, J., Boomsma, Wouter, Staby, L., Hendus-Altenburger, R. & Skriver, Karen, 2020, In: Biophysical Journal. 118, 3, suppl. 1, p. 491A 2407-Plat.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  285. Published

    Mandatory voluntarism: negotiating technology in Denmark

    Kraft, P. & Bansler, Jørgen P., 1993, In: Industrial Relations. 32, 3, p. 329-342 14 p.

    Research output: Contribution to journalJournal articleResearch

  286. Published

    The collective resource approach: The Scandinavian experience

    Kraft, P. & Bansler, Jørgen P., 1994, In: Scandinavian Journal of Information Systems. 6, p. 71-71 1 p.

    Research output: Contribution to journalJournal articleResearch

  287. Published

    The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

    Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  288. Published

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.

    Research output: Contribution to journalJournal articleResearchpeer-review

  289. Published

    Complexity of conditional term rewriting

    Kop, C. L. M., Middeldorp, A. & Sternagel, T., 2017, In: Logical Methods in Computer Science. 13, 1, 56 p., 6.

    Research output: Contribution to journalJournal articleResearchpeer-review

  290. Published

    Complexity hierarchies and higher-order cons-free rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  291. Published

    Towards identifying programming expertise with the use of physiological measures

    Kontogiorgos, D. & Manikas, K., 2015, Eye movements in programming: models to data: proceedings of the third international workshop. University of Eastern Finland, p. 10-11 2 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  292. Published

    User Defined Geo-referenced Information

    Konstantas, D., Villalba, A., di Marzo Serugendo, G. & Wac, Katarzyna, 2009, In: Software and Data Technologies, Communications in Computer and Information Science, Volume 47. ISBN 978-3-642-05200-2. Springer-Verlag Berlin Heidelberg, 2009, p. 1. p. 1

    Research output: Contribution to journalJournal articleResearchpeer-review

  293. Published

    Mobile health care: Towards a commercialization of research results

    Konstantas, D., Bults, R., Van Halteren, A., Wac, Katarzyna, Jones, V., Widya, I., Herzog, R. & Streimelweger, B., 1 Dec 2006, European Conference on eHealth 2006, Proceedings of the ECEH 2006. p. 155-166 12 p. (European Conference on eHealth 2006, Proceedings of the ECEH 2006).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  294. Published

    Validation of tractography: comparison with manganese tracing

    Knösche, T. R., Anwander, A., Liptrot, M. G. & Dyrby, T. B., 2015, In: Human Brain Mapping. 36, 10, p. 4116-4134 19 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  295. Published

    View relations: an exploratory study on between-view meta-visualizations

    Knudsen, S. & Carpendale, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 15

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  296. Published

    Using concrete and realistic data in evaluating initial visualization designs

    Knudsen, S., Pedersen, J. G., Herdal, T. & Larsen, J. E., 2016, Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization. Association for Computing Machinery, p. 27-35 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  297. Published

    Quicksort, largest bucket, and min-wise hashing with limited independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  298. Published

    Linear hashing is awesome

    Knudsen, M. B. T., 2019, In: SIAM Journal on Computing. 48, 2, p. 736-741 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  299. Published

    New Results on Hashing, Labeling Schemes and Algorithms

    Knudsen, M. B. T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 349 p.

    Research output: Book/ReportPh.D. thesisResearch

  300. Published

    Linear hashing is awesome

    Knudsen, M. B. T., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 345-352 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  301. 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 proceedingArticle in proceedingsResearchpeer-review

  302. Published

    Additive spanners: a simple construction

    Knudsen, M. B. T., 2014, Algorithm theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  303. Published

    Towards a typification of software ecosystems

    Knodel, J. & Manikas, K., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (eds.). Springer, p. 60-65 6 p. (Lecture Notes in Business Information Processing, Vol. 210).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  304. Published

    Towards reference architectures as an enabler for software ecosystems

    Knodel, J. & Manikas, K., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Association for Computing Machinery, 4 p. 26

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  305. Published

    Automatic Calibration of High Density Electric Muscle Stimulation

    Knibbe, J., Strohmeier, P., Boring, S. & Hornbæk, Kasper, 2017, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 3, 17 p., 68.

    Research output: Contribution to journalJournal articleResearchpeer-review

  306. 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 483

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  307. 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/ReportAnthologyResearchpeer-review

  308. Published

    Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007

    Kjær Ersbøll, B. (ed.) & Steenstrup Pedersen, Kim (ed.), 2007, Berlin / Heidelberg: Springer. 1005 p. (Lecture notes in computer science; No. 4522).

    Research output: Book/ReportBookResearchpeer-review

  309. Published

    Preface

    Kjær Ersbøll, B. & Steenstrup Pedersen, Kim, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Berlin / Heidelberg: Springer, 1 p. (Lecture notes in computer science; No. 4522).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  310. Published

    High-Entropy Oxides in the Mullite-Type Structure

    Kirsch, Andrea, Bøjesen, E. D., Lefeld, N., Larsen, R., Mathiesen, J. K., Skjærvø, S. L., Pittkowski, Rebecca Katharina, Sheptyakov, D. & Jensen, Kirsten Marie Ørnsbjerg, 2023, In: Chemistry of Materials. 35, 20, p. 8664−8674 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  311. 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 proceedingArticle in proceedingsResearchpeer-review

  312. Published

    Danger to public health: medical devices, toxicity, virus and fraud

    Kierkegaard, S. & Kierkegaard, P., 2013, In: Computer Law & Security Review. 29, 1, p. 13-27 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  313. Published

    Applications of health information exchange information to public health practice

    Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, AMIA Annual symposium proceedings. American Medical Informatics Association, p. 795-804 10 p. (AMIA Annual Symposium Proceedings, Vol. 2014).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  314. Published

    Information retrieval pathways for health information exchange in multiple care settings

    Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, In: American Journal of Managed Care. 20, 11 Spec No. 17, p. SP494-SP501 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  315. Published

    Governance structures impact on eHealth

    Kierkegaard, P., 2015, In: Health Policy and Technology. 4, 1, p. 39-46 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  316. Published

    The coordination of care across borders: exchanging patient information across international, national and institutional boundaries

    Kierkegaard, P., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 208 p.

    Research output: Book/ReportPh.D. thesisResearch

  317. Published

    E-prescription across Europe

    Kierkegaard, P., 2013, In: Health and Technology. 3, 3, p. 205-219 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  318. Published

    Interoperability after deployment: persistent challenges and regional strategies in Denmark

    Kierkegaard, P., 2015, In: International Journal for Quality in Health Care. 27, 2, p. 147-153 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  319. Published

    eHealth in Denmark: a case study

    Kierkegaard, P., 2013, In: Journal of Medical Systems. 37, 10 p., 9991.

    Research output: Contribution to journalJournal articleResearchpeer-review

  320. Published

    How could health information exchange better meet the needs of care practitioners?

    Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, In: A C I. 5, 4, p. 861-877 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  321. Published

    Mapping telemedicine efforts: surveying regional initiatives in Denmark

    Kierkegaard, P., 2015, In: Telemedicine and e-Health. 21, 5, p. 1-9 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  322. Published

    Abaris: Evaluating automated capture applied to structured autism interventions

    Kientz, J. A., Boring, S., Abowd, G. D. & Hayes, G. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 323-339 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  323. Published

    Statistical Modelling of Synaptic Vesicles Distribution and Analysing their Physical Characteristics

    Khanmohammadi, M., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

    Research output: Book/ReportPh.D. thesisResearch

  324. Published

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 1 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  325. Published

    Analysing the distribution of synaptic vesicles using a spatial point process model

    Khanmohammadi, M., Waagepetersen, R., Nava, N., Nyengaard, J. & Sporring, Jon, 2014, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 73-78 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  326. Published

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  327. Published

    Interactive Instruction in Bayesian Inference

    Khan, A., Breslav, S. & Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, p. 207–233

    Research output: Contribution to journalJournal articleResearchpeer-review

  328. Published

    Benefits of visualization in the mammography problem

    Khan, A., Breslav, S., Glueck, M. & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Studies. 83, p. 94-113 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  329. 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 proceedingBook chapterResearchpeer-review

  330. Published

    Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus

    Ketema, J. & Simonsen, Jakob Grue, 2013, In: A C M Transactions on Computational Logic. 14, 4, 28 p., 31.

    Research output: Contribution to journalJournal articleResearchpeer-review

  331. Published

    Characterizing languages by normalization and termination in string rewriting

    Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  332. Published

    Computer-supported patient involvement in heart rehabilitation

    Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, p. 177-186 10 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  333. Published

    Evolving relations between the practices of nurses and patients and a new patient portal

    Kensing, Finn, Lomborg, Stine & Moring, Camilla, 2017.

    Research output: Contribution to conferencePaperResearchpeer-review

  334. Published

    Heritage: having a say

    Kensing, Finn & Greenbaum, J., 2013, Routledge international handbook of participatory design. Simonsen, J. & Robertson, T. (eds.). Routledge, p. 21-36 16 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  335. Published

    Area and Volume Restoration in Elastically Deformable Solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 2005, In: Electronic Letters on Compuer Vision and Image Analysis (ELCVIA). 5, 3, p. 32-43

    Research output: Contribution to journalJournal articleResearchpeer-review

  336. Published

    Area and volume restoration in elastically deformable solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 1 Jan 2009, Progress In Computer Vision And Image Analysis. World Scientific Publishing Co., p. 381-400 20 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  337. Published

    Faster worst case deterministic dynamic connectivity

    Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53:1-53:15 15 p. 53. (Leibniz International Proceedings in Informatics, Vol. 57).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  338. Published

    Declarative cartography: in-database map generalization of geospatial datasets

    Kefaloukos, P. K. B., Vaz Salles, M. A. & Zachariasen, M., 2014, Proceedings of the 2014 IEEE 30th International Conference on Data Engineering: ICDE 2014. IEEE, p. 1024-1035 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  339. Published

    More compact oracles for approximate distances in undirected planar graphs

    Kawarabayashi, K., Sommer, C. & Thorup, Mikkel, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 550-563 14 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  340. Published

    Deterministic global minimum cut of a simple graph in near-linear time

    Kawarabayashi, K. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 665-674 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  341. Published

    Coloring 3-colorable graphs with o(n 1/5) colors

    Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 458-469 12 p. (Leibniz International Proceedings in Informatics, Vol. 25).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  342. Published

    Assessing the implications of cellular network performance on mobile content access

    Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2016, In: IEEE Transactions on Network and Service Management. 13, 2, p. 168-180 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  343. Published

    Behind the NAT??? A measurement based evaluation of cellular service quality

    Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2015, Network and Service Management (CNSM), 2015 11th International Conference on. IEEE, p. 228-236 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  344. Published

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  345. Published

    A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13

    Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 p.

    Research output: Working paperResearch

  346. Published

    Performance tuning an algorithm for compressing relational tables: Lecture Notes in Computer Science, Vol. 2368

    Katajainen, J. & Madsen, J. N., 2002, Proceedings of the 9th Scandinavian workshop on algorithm theory. Springer, p. 398-407

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  347. Published

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 p.

    Research output: Working paperResearch

  348. Published

    Instructions to use DIKU style files, CPH STL Report 2001-1

    Katajainen, J. & Raatikainen, K. E. E., 2001, http://www.cphstl.dk, 7 p.

    Research output: Working paperResearch

  349. Published

    Essays on C++ concepts

    Katajainen, J., 2008, 14 p.

    Research output: Working paperResearch

  350. Published

    Sorting programs executing fewer branches

    Katajainen, J., 2014, Department of Computer Science, University of Copenhagen. 37 p. (CPH STL Report, Vol. 2014-1).

    Research output: Book/ReportReportResearchpeer-review

  351. Published

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 p.

    Research output: Working paperResearch

  352. Published

    Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes

    Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 p. (CPH STL Report; No. 2012-3).

    Research output: Book/ReportReportResearch

  353. Published

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 p.

    Research output: Book/ReportAnthologyResearchpeer-review

  354. Published

    Navigation piles with applications to sorting, priority queues, and priority deques

    Katajainen, J. & Vitale, F., 2003, In: Nordic Journal of Computing. Volume 10, p. 238-262

    Research output: Contribution to journalJournal articleResearchpeer-review

  355. Published

    Dynamic-array kernels

    Katajainen, J., 28 Mar 2016, Department of Computer Science, University of Copenhagen. 100 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/ReportReportResearch

  356. Published

    Project proposal: The Copenhagen STL, CPH STL Report 2000-1

    Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 p.

    Research output: Working paperResearch

  357. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2017, In: Software: Practice and Experience. 47, 4, p. 523-558 36 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  358. Published

    Stronger guarantees for standard-library containers

    Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  359. Published

    Vector framework: Electronic appendix

    Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 p.

    Research output: Working paperResearch

  360. Published

    On the power of structural violations in priority queues

    Katajainen, J., Elmasry, A. & Jensen, C., 2007, CATS 2007: Proceedings of the 13th Australasian Symposium on Theory of Computing, Ballarat, Victoria, Australia, January 30 - February 2, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, p. 45-53 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  361. Published

    Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141

    Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, p. 39-50

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  362. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2015, Department of Computer Science, University of Copenhagen. 50 p. (CPH STL Report; No. 2015-1).

    Research output: Book/ReportReportResearch

  363. Published

    Adaptable component frameworks: Using vector from the C++ standard library as an example

    Katajainen, J. & Simonsen, B., 2009, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 13-24 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  364. Published

    A randomized in-place algorith for positioning the k\'th element in a multiset

    Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  365. Published

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 p.

    Research output: Working paperResearch

  366. Published

    Seeking for the best priority queue: lessons learnt

    Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 10 p. (CPH STL Report, Vol. 2013-3).

    Research output: Book/ReportReportResearch

  367. Published

    All-in-one implementation framework for binary heaps: electronic appendix

    Katajainen, J., 2015, Department of Computer Science, University of Copenhagen. 111 p. (CPH STL Report; No. 2015-2).

    Research output: Book/ReportReportResearch

  368. Published

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 ed., København, 122 p.

    Research output: Working paperResearch

  369. Published

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 ed., 6 p.

    Research output: Working paperResearch

  370. Published

    Research proposal: Practical data structures and algorithm

    Katajainen, J. (ed.), 2002, Copenhagen. 6 p.

    Research output: Book/ReportReportResearch

  371. Published

    Navigation piles with applications to sorting, queues, and priority degues

    Katajainen, J. & Vitale, F., 2002, Copenhagen. 22 p.

    Research output: Book/ReportReportResearch

  372. Published

    Worst-case-efficient dynamic arrays in practice

    Katajainen, J., 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 167-183 17 p. (Lecture notes in computer science, Vol. 9685).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  373. Published

    Project description: Foundations and tools for building well-behaved systems

    Katajainen, J., Elmasry, A., Elverkilde, J. D., Jensen, C., Rasmussen, J., Simonsen, B., Yde, L., Artho, C., Francechini, G. & Schupp, S., 2008, København: Department of Computer Science, University of Copenhagen, p. 1-7, 7 p.

    Research output: Working paperResearch

  374. Published

    Proceedings of the 6th STL Workshop

    Katajainen, J. (ed.), 2006, 56 p.

    Research output: Book/ReportBookResearch

  375. Published

    Experiences with the design and implementation of space-efficient deques, CPH STL Report 2001-7

    Katajainen, J. & Mortensen, B. B., 2001, http://www.cphstl.dk, 47 p.

    Research output: Working paperResearch

  376. Published

    Research proposal: Software tools for program library development, CPH STL Report 2001-15

    Katajainen, J., 2001, http://www.cphstl.dk, 7 p.

    Research output: Working paperResearch

  377. Published

    Project performance engineering: final report

    Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  378. Published

    Project practical data structures and algorithms: Final report

    Katajainen, J. (ed.), 2006, 9 p.

    Research output: Book/ReportBookResearch

  379. Published

    Training shortest-path tractography: automatic learning of spatial priors

    Kasenburg, N., Liptrot, M. G., Reislev, N. L., Ørting, S. N., Nielsen, Mads, Garde, E. & Feragen, A., 2016, In: NeuroImage. 130, p. 63-76 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  380. Published

    Graph-based fibre tractography computing shortest paths between regions of interest

    Kasenburg, N., Liptrot, M. G., Borgwardt, K., Ørting, S. N., Nielsen, Mads & Feragen, A., 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  381. Published

    Supervised hub-detection for brain connectivity

    Kasenburg, N., Liptrot, M. G., Reislev, N. L., Garde, Ellen, Nielsen, Mads & Feragen, A., 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 9 p. 978409. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  382. Published

    Structural parcellation of the thalamus using shortest-path tractography

    Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  383. Published

    Finding significantly connected voxels based on histograms of connection strengths

    Kasenburg, N., Pedersen, M. V. & Darkner, Sune, 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 7 p. 978431. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  384. Published

    A method to determine the mammographic regions that show early changes due to the development of breast cancer

    Karemore, G., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 22, p. 6759-6773 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  385. Published

    Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification

    Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

  386. Published

    A Graphical User-Interface and an Image Processing Toolkit for Perl

    Karasik, D., Berezin, A., Belman, V. & Sporring, Jon, 2005, In: Software -- Practice and Experience. 35, p. 467-490

    Research output: Contribution to journalJournal articleResearchpeer-review

  387. Published

    Railway Asset Detection and Geolocation

    Karagiannis, G., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  388. Published

    Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring

    Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  389. Published

    Learning density independent texture features

    Kallenberg, M. G. J., Nielsen, Mads, Holland, K., Karssemeijer, N., Igel, Christian & Lillholm, Martin, 2016, Breast Imaging: 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. Tingberg, A., Lång, K. & Timberg, P. (eds.). Springer, p. 299-306 8 p. (Lecture notes in computer science, Vol. 9699).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  390. Published

    Automated texture scoring for assessing breast cancer masking risk in full field digital mammography

    Kallenberg, M. G. J., Petersen, P. K., Lillholm, Martin, Jørgensen, D. R., Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, In: Insights into Imaging. 6, 1, Supplement, 1 p., B-0212.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  391. Published

    Assessing breast cancer masking risk in full field digital mammography with automated texture analysis

    Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, 7th International Workshop on Breast Densitometry and Cancer Risk Assessment (Non-CME). University of California, p. 109 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

  392. Published

    Assessing breast cancer masking risk with automated texture analysis in full field digital mammography

    Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Petersen, K., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, Breast Imaging and Interventional. Radiological Society of North America, Inc, p. 218 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

  393. Published

    Join inverse categories and reversible recursion

    Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  394. Published

    MULTIFIN: A Dataset for Multilingual Financial NLP

    Jørgensen, R. K., Brandt, O., Hartmann, M., Dai, X., Igel, Christian & Elliott, Desmond, 2023, EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2023. Association for Computational Linguistics (ACL), p. 864-879

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  395. Published

    Meiotic drive in chronic lymphocytic leukemia compared with other malignant blood disorders

    Jønsson, V., Awan, H., Jones, N. D., Johannesen, T. B., Thøgersen, K., Steig, B., Andorsdottir, G. & Tjønnfjord, G. E., 2022, In: Scientific Reports. 12, 1, p. 1-11 6138.

    Research output: Contribution to journalJournal articleResearchpeer-review

  396. Published

    Waving to a touch interface: descriptive field study of a multipurpose multimodal public display

    Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  397. Published

    The GeoSteiner software package for computing Steiner trees in the plane: an updated computational study

    Juhl, D., Warme, D. M., Winter, Pawel & Zachariasen, M., 2014. 30 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  398. Published

    Beta2-microglobulin as a prognostic marker for patients with AIDS in Dar es Salaam, Tanzania

    Jorgensen, A. F., Jensen, V. G., Shao, J. F., Maselle, S., Mbaga, I. M., Mwakyusa, D. H., Gotzsche, P. C., Richter, C., Pallangyo, K., Cegielsky, P., Lallinger, G., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Dec 1990, In: AIDS. 4, 11, p. 1168-1169 2 p.

    Research output: Contribution to journalLetterResearchpeer-review

  399. Published

    The effect of fusidic acid on Tanzanian patients with AIDS

    Jorgensen, A. F., Mwakyusa, D., Cegielski, P., Gotzsche, P., Hording, M., Lallinger, G., Mbaga, I., Pallangyo, K., Richter, C., Shao, J., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Jan 1990, In: AIDS. 4, 10, p. 1037-1038 2 p.

    Research output: Contribution to journalLetterResearchpeer-review

  400. Published

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  401. Published

    Improving coordination of care centers for the elderly through IT support

    Johansen, A. K., Lauridsen, F. V. B., Manea, V., Slavin-Borovskij, K. & Mønsted, T., 2015, CSCW'15 Companion Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, p. 211-214 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  402. Published

    Must evaluation methods be about usability? Devising and assessing the utility inspection method

    Johannessen, G. H. J. & Hornbæk, Kasper, 2014, In: Behaviour and Information Technology. 33, 2, p. 195-206 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  403. Published

    Tracko: ad-hoc mobile 3D tracking using bluetooth low energy and inaudible signals for cross-device interaction

    Jin, H., Holz, C. & Hornbæk, Kasper, 2015, Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 147-156 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  404. Published

    Developing and validating COVID-19 adverse outcome risk prediction models from a bi-national European cohort of 5594 patients

    Jimenez-Solem, E., Petersen, T. S., Hansen, C., Hansen, C., Lioma, C., Igel, C., Boomsma, W., Krause, O., Lorenzen, S., Selvan, R., Petersen, J., Nyeland, M. E., Ankarfeldt, M. Z., Virenfeldt, G. M., Winther-Jensen, M., Linneberg, A., Ghazi, M. M., Detlefsen, N., Lauritzen, A. D., Smith, A. G. & 15 others, de Bruijne, Marleen, Ibragimov, Bulat, Petersen, Jens, Lillholm, Martin, Middleton, Jon Anthony, Mogensen, S. H., Thorsen-Meyer, H., Perner, Anders, Helleberg, M., Kaas-Hansen, Benjamin Skov, Bonde, M., Bonde, A., Pai, A., Nielsen, Mads & Sillesen, Martin Hylleholt, 2021, In: Scientific Reports. 11, 1, 12 p., 3246.

    Research output: Contribution to journalJournal articleResearchpeer-review

  405. Published

    A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

    Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  406. Published

    Session types for rust

    Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  407. Published

    A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-01).

    Research output: Book/ReportReportResearch

  408. Published

    A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08/02).

    Research output: Book/ReportReportResearch

  409. Published

    Semi-automatic tool to ease the creation and optimization of GPU programs

    Jepsen, J., 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops: ICPPW 2014. IEEE, p. 196-205 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  410. Published

    Patienttilfredshed--en undersøgelse af patienters vurdering af behandlingen på en ortopaedkirurgisk afdeling.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 20 Dec 1993, In: Ugeskrift for Laeger. 155, 51, p. 4162-4165 4 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  411. Published

    Validiteten af et infektionsregistreringssystem.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 Feb 1994, In: Ugeskrift for Laeger. 156, 9, p. 1273-1275 3 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  412. Published

    Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins

    Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  413. Published

    Removal of vesicle structures from transmission electron microscope images

    Jensen, K. H., Sigworth, F. J. & Brandt, S. S., 2016, In: IEEE Transactions on Image Processing. 25, 2, p. 540-552 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  414. Published

    Density-based non-rigid registration of diffusion-weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, Apr 2017.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  415. Published

    Multimodal brain extraction from structural MRI using co-registered FDG-PET

    Jensen, H. G., Federspiel, F. V. K., Ptito, Maurice, Nielsen, Mads, Gjedde, Albert, Keller, S. H., Law, Ian, Kupers, Ron & Darkner, Sune, 2015. 12 p.

    Research output: Contribution to conferencePaperResearch

  416. Published

    Locally orderless registration for diffusion weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part II. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 305-312 8 p. (Lecture notes in computer science, Vol. 9350).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  417. Published

    Information-Theoretic Registration with Explicit Reorientation of Diffusion-Weighted Images

    Jensen, H. G., Lauze, Francois Bernard & Darkner, Sune, 2022, In: Journal of Mathematical Imaging and Vision. 64, p. 1-16

    Research output: Contribution to journalJournal articleResearchpeer-review

  418. Published

    Analysing the dynamics of target and spiral waves by image processing techniques

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, Preben Graae, 1998, (Technical Report; No. 16, Vol. 98).

    Research output: Book/ReportReportResearch

  419. Published

    Tracking Target and Spiral Waves

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, P. G., 2002, In: Chaos: An Interdisciplinary Journal of Nonlinear Science. 12, 1, p. 16-26

    Research output: Contribution to journalJournal articleResearchpeer-review

  420. Published

    Experimental evaluation of local heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2006, Department of Computer Science, University of Copenhagen, 25 p.

    Research output: Working paperResearch

  421. Published

    An experimental evaluation of navigation piles

    Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  422. Published

    Improving the efficiency of priority-queue structures. Using data-structural transformations and number systems

    Jensen, C., 2012, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  423. Published

    An extended truth about heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2003, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  424. Published

    ∇Sim: DIFFERENTIABLE SIMULATION FOR SYSTEM IDENTIFICATION AND VISUOMOTOR CONTROL https://gradsim.github.io

    Jatavallabhula, K. M., Macklin, M., Golemo, F., Voleti, V., Petrini, L., Weiss, M., Considine, B., Parent-Lévesque, J., Xie, K., Erleben, Kenny, Paull, L., Shkurti, F., Nowrouzezahrai, D. & Fidler, S., 2021.

    Research output: Contribution to conferencePaperResearchpeer-review

  425. Published

    A psychophysical investigation of size as a physical variable

    Jansen, Y. & Hornbæk, Kasper, 2016, In: I E E E Transactions on Visualization and Computer Graphics. 22, 1, p. 479-488 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  426. Published

    What did authors value in the CHI'16 reviews they received?

    Jansen, Y., Hornbæk, Kasper & Dragicevic, P., 2016, Proceedings of the 2016 CHI Conference - extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 596-606 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  427. Published

    Opportunities and challenges for data physicalization

    Jansen, Y., Dragicevic, P., Isenberg, P., Alexander, J., Karnik, A., Kildal, J., Subramanian, S. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3227-3236 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  428. Published

    Les représentations physiques de données

    Jansen, Y. & Dragicevic, P., 2015, In: Information, données & documents. 52, 2, 88 p.

    Research output: Contribution to journalJournal articleResearch

  429. Published

    Some remarks on real numbers induced by first-order spectra

    Jakobsen, S. & Simonsen, Jakob Grue, 2016, In: Notre Dame Journal of Formal Logic. 57, 3, p. 355-368 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  430. Published

    Proxemics for information visualization on wall-sized displays

    Jakobsen, M. R. & Hornbæk, Kasper, 2012. 5 p.

    Research output: Contribution to conferencePaperResearch

  431. Published

    Negotiating for space? collaborative work using a wall display with mouse and touch input

    Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2050-2061 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  432. Published

    Information visualization and proxemics: design opportunities and empirical findings

    Jakobsen, M. R., Haile, Y. S., Knudsen, S. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2386-2395 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  433. Published

    Should I stay or should I go? Selecting between touch and mid-air gestures for large-display interaction

    Jakobsen, M. R., Jansen, Y., Boring, S. & Hornbæk, Kasper, 2015, Human-computer interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 455-473 19 p. (Lecture notes in computer science, Vol. 9298).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  434. Published

    Is moving improving? Some effects of locomotion in wall-display interaction

    Jakobsen, M. R. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4169-4178 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  435. Published

    Interactive visualizations on large and small displays: the interrelation of display size, information space, and scale

    Jakobsen, M. R. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2336-2345 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  436. 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 proceedingArticle in proceedingsResearchpeer-review

  437. Published

    The evaluator effect in usability studies: Problem detection and severity judgments

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  438. Published

    The Evaluator Effect in Usability Tests

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  439. Published

    Functional benefits and patient satisfaction with upper blepharoplasty - evaluated by objective and subjective outcome measures

    Jacobsen, A. G., Brost, B., Vorum, H. & Hargitai, J., Dec 2017, In: Acta Ophthalmologica. 95, 8, p. 820-825 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  440. Published

    Higher-order spatial accuracy in diffeomorphic image registration

    Jacobs, H. O. & Sommer, Stefan Horst, 2014, In: Geometry, Imaging and Computing. 1, 4, p. 447-484 38 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  441. Published

    Fast output-sensitive matrix multiplication

    Jacob, R. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 766-778 13 p. (Lecture notes in computer science, Vol. 9294).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  442. Published

    Growing the Blockchain information infrastructure

    Jabbar, K. & Bjorn, Pernille, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6487-6498 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  443. Published

    Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering

    Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522A

    Research output: Contribution to journalJournal articleResearchpeer-review

  444. Published

    BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, p. S59. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  445. 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-43

    Research output: Contribution to journalJournal articleResearchpeer-review

  446. Published

    Pretreatment qEEG biomarkers for predicting pharmacological treatment outcome in major depressive disorder: Independent validation from the NeuroPharm study

    Ip, C. T., Olbrich, S., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Köhler-Forsberg, K., Dam, V. H., Beniczky, S., Jørgensen, Martin Balslev, Frøkjær, Vibe Gedsø, Søgaard, B., Christensen, S. R. & Knudsen, Gitte Moos, Aug 2021, In: European Neuropsychopharmacology. 49, p. 101-112 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  447. Published

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

  448. Published

    Nettjournalisten

    Indahl, N. G., 2002, 1 ed. Kristiansand: IJ-forlaget. 107 p.

    Research output: Book/ReportBookEducation

  449. Published

    Nettjournalisten

    Indahl, N. G., 2007, 2 ed. Kristiansand: IJ-forlaget. 151 p.

    Research output: Book/ReportBookEducation

  450. Published

    Editorial: project reports

    Igel, Christian, Mar 2017, In: KI - Künstliche Intelligenz. 31, 1, p. 1-1 1 p.

    Research output: Contribution to journalEditorialResearch

  451. Published

    No free lunch theorems: limitations and perspectives of metaheuristics

    Igel, Christian, 2014, Theory and principled methods for the design of metaheuristics. Borenstein, Y. & Moraglio, A. (eds.). Springer, p. 1-23 23 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  452. Published

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, In: I E E E Transactions on Evolutionary Computation. 17, 3, p. 345-352 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  453. Published

    Evolutionary kernel learning

    Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

  454. Published

    Bounding component sizes of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, In: Information Processing Letters. 104, 5, p. 159-163

    Research output: Contribution to journalJournal articleResearchpeer-review

  455. Published

    Some structural and geometric properties of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007:  Proceedings of the Thirteenth  Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  456. Published

    Constructing visual representations: investigating the use of tangible tokens

    Huron, S., Jansen, Y. & Carpendale, S., 2014, In: I E E E Transactions on Visualization and Computer Graphics. 20, 12, p. 2102-2111 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  457. Published

    Rove-Tree-11: The not-so-Wild Rover. A hierarchically structured image dataset for deep metric learning research

    Hunt, Roberta Eleanor & Steenstrup Pedersen, Kim, 2023, Computer Vision – ACCV 2022: 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part I. Springer, p. 2967-2983 (Lecture Notes in Computer Science, Vol. 13841).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  458. Published

    Detection of traffic signs in real-world images: the German traffic sign detection benchmark

    Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  459. Published

    Comparison of Techniques for Matching of Usability-Problem Descriptions

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Interacting with Computers. 20, 6, p. 505-514

    Research output: Contribution to journalJournal articleResearchpeer-review

  460. Published

    Making use of business goals in usability evaluation: an experiment with novice evaluators

    Hornbæk, Kasper & Frøkjær, Erik, 2008, CHI 2008: 26th Annual SIGCHI Conference on Human Factors in Computing Systems, April 5-10, 2008, Florence, Italy, Conference Proceedings. Burnett, M., Constabile, M. F., Catarci, T., Ruyter, B. D., Tan, D., Czerwinski, M. & Lund, A. (eds.). Association for Computing Machinery, Vol. 1. p. 903-912 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  461. Published

    What kind of usability-problem description are useful for developers

    Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  462. Published

    A Study of the Evaluator Effect in Usability Testing

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Human-Computer Interaction. 23, 3, p. 251-277 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  463. Published

    Studying usability evaluation to improve its practical utility

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?

    Research output: Contribution to journalJournal articleResearch

  464. Published

    Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Research Alert for the TOCHI-paper: The Journal Interactions. 11(1), p. 11-12

    Research output: Contribution to journalJournal articleResearch

  465. Published

    Flexible displays, rigid designs?

    Hornbæk, Kasper, 2015, In: Computer. 48, 3, p. 92-96 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  466. Published

    What to study in HCI?

    Hornbæk, Kasper, Oulasvirta, A., Reeves, S. & Bødker, S., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2385-2388 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  467. Published

    Two psychology-based Usability Inspection Techniques Studies in a diary Experiment

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: 3rd Nordic Conference on Human-computer Interaction (NordiCHI 2004). p. 3-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  468. Published

    Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300

    Research output: Contribution to journalJournal articleResearchpeer-review

  469. Published

    Do Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99

    Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, p. 179-186

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  470. Published

    Is once enough? on the extent and content of replications in human-computer interaction

    Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  471. Published

    What Is Interaction?

    Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  472. Published

    Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374

    Research output: Contribution to journalJournal articleResearchpeer-review

  473. Published

    Input from usability evaluation in the form of problems and redesigns: result from inerviews with developers

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Workshop on Improving the Interplay between Usability Evaluation. and User Interface design, NordiCHI 2004, p. ?

    Research output: Contribution to journalJournal articleResearchpeer-review

  474. Published

    We must be more wrong in HCI research

    Hornbæk, Kasper, 2015, In: interactions. 22, 6, p. 20-21 2 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  475. Published

    Research Alert for Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Interactions. January + February Vol. XI. 1, p. 11-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  476. Published

    Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301

    Research output: Contribution to journalJournal articleResearchpeer-review

  477. Published

    Studying the Utility of Mataphors of Human Thinking in HCI

    Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 p.

    Research output: Book/ReportReportCommunication

  478. Published

    Comparing usability problems and redesign proposal as input to practical systems development

    Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  479. Published

    Technology Acceptance and User Experience: A Review of the Experiential Component in HCI

    Hornbæk, Kasper & Hertzum, M., 2017, In: A C M Transactions on Computer - Human Interaction. 24, 5, 30 p., 33.

    Research output: Contribution to journalJournal articleResearchpeer-review

  480. Published

    Some whys and hows of experiments in human–computer interaction

    Hornbæk, Kasper, 2013, In: Foundations and Trends in Human-Computer Interaction. 5, 4, p. 299-373 75 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  481. Published

    Commentary: Usability and Theory Building

    Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, 2, p. 186-189

    Research output: Contribution to journalComment/debateResearch

  482. Published

    Reconstructing teeth with bite information

    Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  483. 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 proceedingArticle in proceedingsResearchpeer-review

  484. Published

    Contracting a planar graph efficiently

    Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  485. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., Nov 2017, In: Theory of Computing Systems. 61, 4, p. 1054-1083 30 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  486. Published

    Planar reachability in linear space and constant time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 370-389 20 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  487. Published

    Faster fully-dynamic minimum spanning forest

    Holm, J., Rotenberg, E. & Wulff-Nilsen, Christian, 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 742-753 12 p. (Lecture notes in computer science, Vol. 9294).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  488. 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 proceedingArticle in proceedingsResearchpeer-review

  489. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, J. & Rotenberg, E., 2015, 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (eds.). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 434-446 13 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  490. 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 proceedingArticle in proceedingsResearchpeer-review

  491. Published

    Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa

    Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., Aug 1993, In: Acta Tropica. 54, 2, p. 105-15 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  492. Published

    Immune responses to band 3 neoantigens on Plasmodium falciparum-infected erythrocytes in subjects living in an area of intense malaria transmission are associated with low parasite density and high hematocrit value

    Høgh, Birthe, Petersen, E., Crandall, I., Gottschau, A. & Sherman, I. W., Oct 1994, In: Infection and Immunity. 62, 10, p. 4362-6 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  493. Published

    Tangible data, explorations in data physicalization

    Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  494. Published

    Algorithms and AI in Education

    Hjuler, N. O. D., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  495. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  496. Published

    Hardness of deriving invertible sequences from finite state machines

    Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  497. Published

    Computer support for documentation work

    Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.

    Research output: Book/ReportReportResearchpeer-review

  498. 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 journalJournal articleResearchpeer-review

  499. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

    Research output: Contribution to conferencePaperResearchpeer-review

  500. Published

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, In: Information Infrastructure and Policy. 4, 2, p. 107-129 23 p.

    Research output: Contribution to journalJournal articleResearchpeer-review