- Published
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.Research output: Book/Report › Book › Education
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
Glossary for Partial Evaluation and Related Topics
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368Research output: Contribution to journal › Journal article › Research › peer-review
- 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-36Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-12Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 journal › Journal article › Research › peer-review
- 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/Report › Book › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research
- 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 journal › Journal article › Research › peer-review
- 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 journal › Conference abstract in journal › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Conference abstract in journal › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- Published
Connection forms for beating the heart
Mensch, A., Piuze, E., Lehnert, L., Backermans, A. J., Sporring, Jon, Strijkers, G. J. & Siddiqi, K., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer, p. 83-92 10 p. (Lecture notes in computer science, Vol. 8896).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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 proceeding › Article in proceedings › Research › peer-review
- 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, , 2015, In: Computational Intelligence and Neuroscience. 2015, 16 p., 813696.Research output: Contribution to journal › Journal article › Research › peer-review
- 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, , Feb 2018, In: ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.Research output: Contribution to journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 conference › Paper › Research
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-46Research output: Contribution to journal › Journal article › Research › peer-review
- 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-407Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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–721Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis › Research
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report › Research
- Published
Forms are declarative processes!
Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.Research output: Contribution to conference › Paper › Research
- 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-80Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis › Research
- 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-42Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
Characterizing software activity: the influence of software to ecosystem health
Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Defining decision making strategies in software ecosystem governance
Manikas, K., Wnuk, K. & Shollo, A., 2015, 01 ed. Department of Computer Science, University of Copenhagen. 6 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport, Vol. 2015/01).Research output: Book/Report › Report › Research
- 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/Report › Ph.D. thesis › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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. 10Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Review › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
Computational complexity of linear large margin classification with ramp loss
Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (eds.). p. 259-267 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 38).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 conference › Paper › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
Streaming for Functional Data-Parallel Languages
Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- 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-7Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Book chapter › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Conference abstract in journal › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-122Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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-1654Research output: Contribution to journal › Journal article › Research › peer-review
- 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-S007Research output: Contribution to journal › Conference abstract in journal › Research
- 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 conference › Paper › Research › peer-review
- 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-5955Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 conference › Paper › Research › peer-review
- 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 conference › Poster › Research › peer-review
- 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 conference › Conference abstract for conference › Research › peer-review
- Published
Assessment of rotationally-invariant clustering using streamlet tractography
Liptrot, M. G. & Lauze, Francois Bernard, 2016.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Streamlet Tractography
Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Most downloads
-
6947
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6258
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review