Department of Computer Science

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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

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

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

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

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 proceeding › Article in proceedings › Research › peer-review

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

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

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

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

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

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

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

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

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 proceeding › Article in proceedings › Research › peer-review

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

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

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

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

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

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

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

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

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

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

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 proceeding › Book chapter › Research › peer-review

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

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 proceeding › Article in proceedings › Research › peer-review

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

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

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

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 proceeding › Book chapter › Research › peer-review

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

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

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 proceeding › Article in proceedings › Research

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

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

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

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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

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

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

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

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

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

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

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

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

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

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

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

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 proceeding › Book chapter › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

Roll: A Language for Specifying Die-Rolls

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research

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 proceeding › Book chapter › Research

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

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

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 proceeding › Book chapter › Research

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 proceeding › Book chapter › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research

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 proceeding › Report chapter › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Article in proceedings › Research

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 proceeding › Article in proceedings › Research

Exemplar Based Recognition of Visual Shapes

Olsen, Søren Ingvor, 2005, Image Analysis. <Forlag uden navn>, p. 852-861 (Lecture notes in computer science, Vol. 3540/2005).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research

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 proceeding › Article in proceedings › Research › peer-review

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 proceeding › Book chapter › Research

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 proceeding › Book chapter › Research

Digital Billedbehandling

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

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Thistle detection

Olsen, Søren Ingvor, Nielsen, J. & Rasmussen, Jesper, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part II. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part II. p. 413-425 13 p. (Lecture notes in computer science, Vol. 10270).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Block Truncation and Planar Image Coding

Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Concurrent solution of the stereo correspondence problem and the surface reconstruction problem

Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, p. 1038-1040 3 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Using Priors for Improving Generalization in Non-Rigid Structure-from-Motion

Olsen, Søren Ingvor & Bartoli, A., 2007, British Machine Vision Conference 2007: Proceedings. Rajpoot, N. & Bhalerao, A. (eds.). BMVA, Vol. 1-2. p. 1050-1059

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Block Truncation and planar image coding, Vol.21, no.13-14

Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148

Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

Implicit Non-Rigid Shape from Motion

Olsen, Søren Ingvor, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 92-99

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Block Truncation and Planar Image Coding

Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575

Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

Multi-domain adaptation in brain MRI through paired consistency and adversarial learning

Orbes-Arteaga, M., Varsavsky, T., Sudre, C. H., Eaton-Rosen, Z., Haddow, L. J., Sørensen, L., Nielsen, Mads, Pai, A., Ourselin, S., Modat, M., Nachev, P. & Cardoso, M. J., 2019, Domain Adaptation and Representation Transfer and Medical Image Learning with Less Labels and Imperfect Data First MICCAI Workshop, DART 2019 and First International Workshop, MIL3ID 2019 Shenzhen, Held in Conjunction with MICCAI 2019 Shenzhen, 2019 Proceedings. Wang, Q., Milletari, F., Rieke, N., Nguyen, H. V., Roysam, B., Albarqouni, S., Cardoso, M. J., Xu, Z., Kamnitsas, K., Patel, V., Jiang, S., Zhou, K., Luu, K. & Le, N. (eds.). Springer VS, p. 54-62 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11795 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Knowledge Distillation for Semi-supervised Domain Adaptation

Orbes-Arteaga, M., Cardoso, J., Sørensen, L., Igel, Christian, Ourselin, S., Modat, M., Nielsen, Mads & Pai, A., 1 Jan 2019, OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging - 2nd International Workshop, OR 2.0 2019, and 2nd International Workshop, MLCN 2019, Held in Conjunction with MICCAI 2019, Proceedings. Zhou, L., Sarikaya, D., Kia, S. M., Speidel, S., Malpani, A., Hashimoto, D., Habes, M., Löfstedt, T., Ritter, K. & Wang, H. (eds.). Springer VS, p. 68-76 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11796 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Multi-Hop Fact Checking of Political Claims

Ostrowski, W., Arora, Arnav, Atanasova, Pepa Kostadinova & Augenstein, Isabelle, 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. CoRR 2020. p. 3892-3898 (arXiv.org).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

HCI research as problem-solving

Oulasvirta, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4956-4967 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Hardness of bichromatic closest pair with Jaccard similarity

Pagh, R., Stausholm, N. M. & Thorup, Mikkel, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 74. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Image registration using stationary velocity fields parameterized by norm-minimizing Wendland kernel

Pai, A. S. U., Sommer, Stefan Horst, Sørensen, L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, Medical Imaging 2015: Image Processing. SPIE - International Society for Optical Engineering, 7 p. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9413).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Diffeomorphic image registration with automatic time-step adjustment

Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1085-1088 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Characterization of errors in deep learning-based brain MRI segmentation

Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (eds.). Academic Press, p. 223–242 20 p.

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Stepwise inverse consistent Euler’s scheme for diffeomorphic image registration

Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, p. 223-230 8 p. (Lecture notes in computer science, Vol. 8545).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Cube propagation for focal brain atrophy estimation

Pai, A. S. U., Sørensen, L., Darkner, Sune, Mysling, P., Jørgensen, D. R., Dam, E. B., Lillholm, Martin, Oh, J., Chen, G., Suhy, J., Sporring, Jon & Nielsen, Mads, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging. IEEE, p. 402-405 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 151-159 9 p. (Lecture notes in computer science, Vol. 10081).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Adaptive time-stepping in diffeomorphic image registration with bounded inverse consistency error

Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Sørensen, L. E. B. L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, The 18th International Conference on Medical Image Computing and Computer Assisted Intervention: proceedings. Technische Universität München , p. 35-47 13 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

A New Paradigm for General Architecture Routing

Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, p. 202-207

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Protein Decoy Generation Using Branch and Bound with Efficient Bounding

Paluszewski, M. & Winter, Pawel, 2008, Algorithms in Bioinformatics: 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings. Crandall, K. A. & Lagergren, J. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science : Lecture Notes in Bioinformatics; No. 5251).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Object classification and detection with context kernel descriptors

Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2014, Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014. Proceedings. Bayro-Corrochano, E. & Hancock, E. (eds.). p. 827-835 9 p. (Lecture notes in computer science, Vol. 8827).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review