Department of Computer Science

  1. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

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

    Research output: Book/ReportBookEducation

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 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

  27. 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

  28. 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

  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 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

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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

  41. Published

    Forms are declarative processes!

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

    Research output: Contribution to conferencePaperResearch

  42. 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

  43. 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

  44. 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

  45. 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

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

  47. 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

  48. 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

  49. 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

  50. 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

  51. 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

  52. 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

  53. 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

  54. 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

  55. 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

  56. 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

  57. 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

  58. 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

  59. 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

  60. 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

  61. 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

  62. 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

  63. 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

  64. 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

  65. 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

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

  67. 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

  68. 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

  69. 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

  70. 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

  71. 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

  72. 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

  73. 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

  74. 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

  75. 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

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. 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

  83. 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

  84. 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

  85. 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

  86. 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

  87. 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

  88. 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

  89. 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

  90. 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

  91. 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

  92. 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

  93. 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

  94. 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

  95. 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

  96. 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

  97. 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

  98. 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

  99. 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

  100. Published

    Streamlet Tractography

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

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...18 Next