Department of Computer Science

  1. Published

    Éalonnage de sources lumineuses de type LED

    Durix, B., Quéau, Y., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 p.

    Research output: Contribution to conferencePaperResearch

  2. Published

     Optimizing relational algebra operations using discrimination-based joins and lazy products

    Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.

    Research output: Working paperResearch

  3. Published

    zPatch: Hybrid Resistive/Capacitive eTextile Input

    Strohmeier, P., Knibbe, J., Boring, S. & Hornbæk, Kasper, 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 188-198

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

  4. Published

    mQoL smart lab: quality of life living lab for interdisciplinary experiments

    De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 635-640 6 p.

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

  5. Published

    iSenseStress: assessing stress through human-smartphone interaction analysis

    Ciman, M., Wac, Katarzyna & Gaggi, O., 2015, 2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth). IEEE, p. 84-91 8 p.

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

  6. Published

    eHealth in Denmark: a case study

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 Mar 2017, In: Knowledge-Based Systems. 120, p. 1-3 3 p.

    Research output: Contribution to journalJournal articleResearch

  8. Published

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

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

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

  9. Published

    You move, you move me: exploring lifelikeness in deformable interfaces

    Pedersen, E. W. & Hornbæk, Kasper, 2012. 4 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  10. Published

    X-WikiRE: A Large, Multilingual Resource for Relation Extraction as Machine Comprehension

    Abdou, M., Sas, C., Aralikatte, R., Augenstein, Isabelle & Søgaard, Anders, 2019, Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Association for Computational Linguistics, p. 265-274

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

  11. Published

    Worst-case-efficient dynamic arrays in practice

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

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

  12. Published

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

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

  13. Published

    Within-Network Classification in Temporal Graphs

    Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236

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

  14. Published

    Wireless body area networks for healthcare: The mobihealth project

    Van Halteren, A., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Widya, I., Konstantas, D., Jones, V. & Herzog, R., 1 Jan 2005, In: Studies in Health Technology and Informatics. 108, p. 181-193 13 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  15. Published

    WikiBank: Using wikidata to improve multilingual frame-semantic parsing

    Sas, C., Beloucif, M. & Søgaard, Anders, 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 4183-4189

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

  16. Published

    Why does synthesized data improve multi-sequence classification?

    van Tulder, G. & de Bruijne, Marleen, 2015, Medical image computing and computer assisted interventions - MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 531-538 8 p. (Lecture notes in computer science, Vol. 9349).

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

  17. Published

    White matter hypointensity growth rate correlates with rate of brain atrophy

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P414 1 p., P1-285.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  18. Published

    White matter hypointensity growth rate correlates with rate of brain atrophy

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P75-P76 2 p., IC-P-131.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  19. Published

    White dots do matter: rewriting reversible logic circuits

    Soeken, M. & Thomsen, Michael Kirkedal, 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. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).

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

  20. Published

    Which elements are involved in reversible and irreversible cartilage degradation in osteoarthritis?

    Bay-Jensen, A., Hoegh-Madsen, S., Dam, Erik Bjørnager, Henriksen, K., Sondergaard, B. C., Pastoureau, P., Qvist, P. & Karsdal, M. A., Feb 2010, In: Rheumatology International. 30, 4, p. 435-42 8 p.

    Research output: Contribution to journalReviewResearchpeer-review

  21. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  22. Published

    What to study in HCI?

    Hornbæk, Kasper, Oulasvirta, A., Reeves, S. & Bødker, S., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2385-2388 4 p.

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

  23. Published

    What kind of usability-problem description are useful for developers

    Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527

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

  24. Published

    What is a Sorting Function?

    Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  25. Published

    What is a Sort Function?

    Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  26. Published

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

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

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

  27. Published

    What can doodles on the arm teach us about on-body interaction?

    Strohmeier, P., Carrascal, J. P. & Hornbæk, Kasper, 2016, Extended abstracts - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2726-2735 10 p.

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

  28. Published

    What Is Interaction?

    Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052

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

  29. Published

    Weld pool visual tracking using active contours driven by baysian classifiers

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

    Research output: Contribution to conferencePosterResearchpeer-review

  30. Published

    Weighting training images by maximizing distribution similarity for supervised segmentation across scanners

    van Opbroek, A., Vernooij, M. W., Ikram, M. A. & de Bruijne, Marleen, 2015, In: Medical Image Analysis. 24, 1, p. 245-254 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  31. Published

    Web Data Mining for Public Health Purposes

    Hansen, N. D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  32. Published

    Weak-heap and weak-queue frameworks: source code

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 81 p. (CPH STL Report; No. 2011-2).

    Research output: Book/ReportReportResearch

  33. Published

    Weak heaps engineered

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2013, In: Journal of Discrete Algorithms. 23, p. 83-97 15 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  34. Published

    Weak heaps and friends: recent developments

    Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).

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

  35. Published

    We must be more wrong in HCI research

    Hornbæk, Kasper, 2015, In: interactions. 22, 6, p. 20-21 2 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  36. Published

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

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

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

  37. Published

    Wanding Through Space: Interactive Calibration for Electric Muscle Stimulation

    Pohl, H., Hornbæk, Kasper & Knibbe, J., 2018, Proceedings of the 9th Augmented Human International Conference, AH 2018. Association for Computing Machinery, 5 p. a19

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

  38. Published

    WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary

    Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 Feb 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 825-826 2 p.

    Research output: Chapter in Book/Report/Conference proceedingCommentResearch

  39. Published

    Voxel Classification Based Vessel-guided Airway Segmentation

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

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

  40. Published

    Volumetric shells using path tracing

    Erleben, Kenny, 2008. 8 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  41. Published

    Visualization of Tooth Eruption in CT-Scans

    Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40

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

  42. Published

    Visual assessment of early emphysema and interstitial abnormalities on CT is useful in lung cancer risk analysis

    Wille, M. M. W., Thomsen, L. H., Petersen, Jens, de Bruijne, Marleen, Dirksen, A., Pedersen, J. H. & Shaker, S. B., 2016, In: European Radiology. 26, 2, p. 487-494 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  43. Published

    Virtual reality studies outside the laboratory

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

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

  44. Published

    Virtual Trackballs Revisited

    Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 2, p. 206-216

    Research output: Contribution to journalJournal articleResearchpeer-review

  45. Published

    Virtual Trackballs Revisited

    Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126

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

  46. Published

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

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

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

  47. Published

    Vessel-guided airway segmentation based on voxel classification

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

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

  48. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  49. Published

    Veros v0.1-a fast and versatile ocean simulator in pure Python

    Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 Aug 2018, In: Geoscientific Model Development. 11, 8, p. 3299-3312

    Research output: Contribution to journalJournal articleResearchpeer-review

  50. Published

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.

    Research output: Contribution to journalJournal articleResearchpeer-review

  51. Published

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  52. Published

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.

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

  53. Published

    Vector framework: Electronic appendix

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

    Research output: Working paperResearch

  54. Published

    Validiteten af et infektionsregistreringssystem.

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  55. Published

    Validation of tractography: comparison with manganese tracing

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  56. Published

    Validation of hippocampal texture for early Alzheimer’s disease detection: generalization to independent cohorts and extrapolation to very early signs of dementia

    Sørensen, L., Igel, Christian, Hansen, N. L., Lauritzen, Martin, Osler, Merete, Rostrup, Egill & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P133 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  57. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/ReportAnthologyResearch

  58. Published

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.

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

  59. Published

    Using gaze to predict text readability

    Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443

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

  60. Published

    Using concrete and realistic data in evaluating initial visualization designs

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

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

  61. Published

    Using SOC in development of context-aware systems: Domain model approach

    Wac, Katarzyna, Pawar, P., Broens, T., van Beijnum, B. J. & van Halteren, A., 1 Jan 2010, Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press, p. 171-210 40 p.

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

  62. Published

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

  63. Published

    Using Kinect for 2D and 3D pointing tasks: performance evaluation

    Pino, A., Tzemis, E., Ioannou, N. & Kouroupetroglou, G., 2013, Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Kurosu, M. (ed.). Springer, p. 358-367 10 p. (Lecture notes in computer science, Vol. 8007).

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

  64. Published

    Using Implicit Skeleton Shape Representations for Volumetric Shell Meshing

    Erleben, Kenny, 2007, København: Museum Tusculanum. 34 p. (Rapport. Datalogisk Institut, Københavns Universitet; No. 07/04).

    Research output: Book/ReportReportResearch

  65. Published

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

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

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

  66. Published

    User-defined gestures for elastic, deformable displays

    Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 1-8 8 p.

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

  67. Published

    User generated content search

    Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).

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

  68. Published

    User Defined Geo-referenced Information

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  69. Published

    Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates

    Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  70. Published

    Use and misuse of mobile health information technologies for health self-management

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, In: Annals of Behavioral Medicine. 50, Supplement 1, p. 314 1 p., D106.

    Research output: Contribution to journalConference abstract in journalResearch

  71. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  72. Published

    Usability and User Experience Information in Reviews

    Hedegaard, S., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  73. Published

    Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374

    Research output: Contribution to journalJournal articleResearchpeer-review

  74. Published

    Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

    Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

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

  75. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

    Research output: Contribution to conferencePaperResearchpeer-review

  76. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  77. Published

    Unsupervised behaviour-specific dictionary learning for abnormal event detection

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2015, Proceedings of the British Machine Vision Conference 2015. Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA, p. 28.1-28.13 13 p.

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

  78. Published

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.

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

  79. Published

    Unsupervised Evaluation for Question Answering with Transformers

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

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

  80. Published

    Unscented Kalman filtering on Riemannian manifolds

    Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  81. Published

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

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

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

  82. Published

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

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

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

  83. Published

    Universets big data

    Stensbo-Smidt, K., 2015, Naturen i computeren. Det Natur- og Biovidenskabelige Fakultet, Københavns Universitet, p. 14-15 2 p. (Temahæfte, Vol. 2015).

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

  84. Published

    Union-find with constant time deletions

    Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.

    Research output: Contribution to journalJournal articleResearchpeer-review

  85. Published

    Understanding patient experience: a deployment study in cardiac remote monitoring

    Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.

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

  86. Published

    Understanding behaviors in videos through behavior-specific dictionaries

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2020, Researchgate.net, 58 p.

    Research output: Working paperPreprintResearch

  87. Published

    Understanding affordance, system state, and feedback in shape-changing buttons

    Tiab, J. S. S. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2752-2763 12 p.

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

  88. Published

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

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

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

  89. Published

    Unary resolution: characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).

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

  90. Published

    UNSUPERVISED MACHINE LEARNING ON BASELINE BRAIN MRI IDENTIFIES MCI SUBGROUP WITH A FASTER DECLINE OVER TWO YEARS COMPARED TO CLASSICAL HIPPOCAMPAL SPARING AD SUBTYPE

    Sørensen, L., Pai, A., Nielsen, Mads, Leverenz, J. B. & Pillai, J. A., 2019, In: Alzheimer's & Dementia. 15, 7, p. P1420 1 p., P4-326.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  91. Published

    U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging

    Perslev, Mathias, Hejselbak Jensen, M., Darkner, Sune, Jørgen Jennum, P. & Igel, Christian, 1 Oct 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). NIPS Proceedings, Vol. 32. p. 4415-4426

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

  92. Published

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

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

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

  93. Published

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

  94. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/ReportReportResearch

  95. Published

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  96. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  97. Published

    Two-tier relaxed heaps: Lecture Notes in Computer Science

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).

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

  98. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.

    Research output: Working paperResearch

  99. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

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

  100. Published

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

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

  101. Published

    Two-connected Steiner networks: structural properties

    Winter, Pawel & Zachariasen, M., 2005, In: Operations Research Letters. 33, p. 395-402

    Research output: Contribution to journalJournal articleResearchpeer-review

  102. Published

    Two-Connected Steiner Networks: Structual Properties

    Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Insitute of Computer Science: DIKU.

    Research output: Book/ReportReportResearch

  103. Published

    Two psychology-based Usability Inspection Techniques Studies in a diary Experiment

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: 3rd Nordic Conference on Human-computer Interaction (NordiCHI 2004). p. 3-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  104. Published

    Two new methods for transforming priority queues into double-ended priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-14.

    Research output: Working paperResearch

  105. Published

    Two new methods for constructing double-ended priority queues from priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2008, In: Computing. 83, 4, p. 193-204 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  106. Published

    Two dimensional shape representation manipulation method for improving general procrustes alignment process, involves relating probable relative depth of landmark in three dimensional shape of body part

    Chernoff, K., Nielsen, Mads & Lillholm, Martin, 2010, IPC No. G06T-007/00, Patent No. WO2010142595-A1, 16 Dec 2010, Priority date 11 Jun 2009, Priority No. US268370

    Research output: Patent

  107. Published

    Twisted tabulation hashing

    Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 209-228 20 p.

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

  108. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

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

  109. Published

    Truncation error for simplex propagation

    Sporring, Jon, 2013, Datalogisk Institut. 8 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 01/2013).

    Research output: Book/ReportReportResearch

  110. Published

    Troll, a Language for specifying Dice-rolls

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

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

  111. Published

    Triposes, q-toposes and toposes

    Frey, J., 2015, In: Annals of Pure and Applied Logic. 166, 2, p. 232-259 28 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  112. Published

    Tribute Workshop for Peter Johansen

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

    Research output: Book/ReportAnthologyResearch

  113. Published

    Tree-space statistics and approximations for large-scale analysis of anatomical trees

    Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 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. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).

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

  114. Published

    Transforming perceptions of presence: reporting from an action research project

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  115. Published

    Transfer learning improves supervised image segmentation across imaging protocols

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 5, p. 1018-1030 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  116. Published

    Transfer learning for multicenter classification of chronic obstructive pulmonary disease

    Cheplygina, V., Peña, I. P., Pedersen, J. J. H., Lynch, D. A., Sørensen, L. & de Bruijne, Marleen, Sep 2018, In: IEEE Journal of Biomedical and Health Informatics. 22, 5, p. 1486 - 1496

    Research output: Contribution to journalJournal articleResearchpeer-review

  117. Published

    Transfer Learning for Unsupervised Influenza-like Illness Models from Online Search Data

    Zou, B., Lampos, V. & Cox, Ingemar Johansson, 2019, WWW '19: The World Wide Web Conference. Association for Computing Machinery, p. 2505-2516

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

  118. Published

    Training shortest-path tractography: automatic learning of spatial priors

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  119. Published

    Training restricted Boltzmann machines: an introduction

    Fischer, A. & Igel, Christian, 2014, In: Pattern Recognition. 47, 1, p. 25-39 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  120. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  121. Published

    Training Restricted Boltzmann Machines

    Fischer, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 212 p.

    Research output: Book/ReportPh.D. thesisResearch

  122. Published

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, In: New Technology, Work and Employment. 4, 2, p. 92-99 8 p.

    Research output: Contribution to journalJournal articleResearch

  123. Published

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

    Research output: Contribution to journalJournal articleResearchpeer-review

  124. Published

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

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

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

  125. Published

    Tracking Typological Traits of Uralic Languages in Distributed Language Representations

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88

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

  126. Published

    Tracking Target and Spiral Waves

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  127. Published

    Towards ultimate binary heaps

    Elmasry, A. & Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 13 p. (CPH STL Report, Vol. 2013-1).

    Research output: Book/ReportReportResearch

  128. Published

    Towards structure-based quality awareness in software ecosystem use

    Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).

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

  129. Published

    Towards standard-based healthcare ecosystems of systems

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

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

  130. Published

    Towards stabilizing parametric active contours

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

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

  131. Published

    Towards reference architectures as an enabler for software ecosystems

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

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

  132. Published

    Towards optimal Takacs–Fiksel estimation

    Coeurjolly, J. F., Guan, Y., Khanmohammadi, M. & Waagepetersen, R., 2016, In: Spatial Statistics. 18, Part B, p. 396-411 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  133. Published

    Towards location based QoS-aware network selection mechanism for the nomadic mobile services

    Pawar, P., Van Beijnum, B. J., Wac, Katarzyna, Hermens, H. & Konstantas, D., 9 Apr 2009, 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009. 4784928. (2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009).

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

  134. Published

    Towards identifying programming expertise with the use of physiological measures

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

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

  135. Published

    Towards characterizing and reducing artifacts caused by varying projection truncation

    Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 Feb 2017, Department of Computer Science, University of Copenhagen. 42 p. (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 1, Vol. 2017).

    Research output: Book/ReportReportResearch

  136. Published

    Towards certified management of financial contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  137. Published

    Towards a Dereversibilizer: Fewer Asserts, Statically

    Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

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

  138. Published

    Towards an augmented domain decomposition method for nonsmooth contact dynamics models

    Visseq, V., Alart, P. & Dureisseix, D., 2014, In: Computational Particle Mechanics. 1, 1, p. 15-26 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  139. Published

    Towards an application framework for context-aware m-health applications

    Broens, T., van Halteren, A., van Sinderen, M. & Wac, Katarzyna, 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 109-116 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  140. Published

    Towards a typification of software ecosystems

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

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

  141. Published

    Towards a streaming model for nested data parallelism

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

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

  142. Published

    Towards a standard testbed for optical music recognition: definitions, metrics, and page images

    Byrd, D. & Simonsen, Jakob Grue, 2015, In: Journal of New Music Research. 44, 3, p. 169-195 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  143. Published

    Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems

    Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).

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

  144. Published

    Towards a domain-specific language for reversible assembly sequences

    Schultz, U. P., Laursen, J. S., Ellekilde, L. & Axelsen, H. B., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 111-126 16 p. (Lecture notes in computer science, Vol. 9138).

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

  145. Published

    Towards a comprehensive theory of monadic effects

    Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

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

  146. Published

    Towards QoS-awareness of context-aware mobile applications and services

    Wac, Katarzyna, 1 Dec 2005, On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated Int. Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Proceedings. p. 751-760 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3762 LNCS).

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

  147. Published

    Towards Human-Centered Natural Language Processing

    Gonzalez, Ana Valeria, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 219 p.

    Research output: Book/ReportPh.D. thesisResearch

  148. Published

    Toward integrated automated analysis of articular cartilage and trabecular bone in osteoarthritis

    Dam, Erik Bjørnager, Dec 2008, In: Academic Radiology. 15, 12, p. 1479-81 3 p.

    Research output: Contribution to journalJournal articleResearch

  149. Published

    Toward a theory of statistical tree-shape analysis

    Feragen, A., Lo, P. C. P., de Bruijne, Marleen, Nielsen, Mads & Lauze, Francois Bernard, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 8, p. 2008-2021 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  150. Published

    Touch to play - Exploring touch-based mobile interaction with public displays

    Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12

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

  151. Published

    Tolerance analysis for 0-1 knapsack problems

    Pisinger, D. & Saidi, A., 1 May 2017, In: European Journal of Operational Research. 258, 3, p. 866-876 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  152. Published

    Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries

    Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774

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

  153. Published

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  154. Published

    TiltStacks: Composing shape-changing interfaces using tilting and stacking of modules

    Tiab, J., Boring, S., Strohmeier, P., Markussen, A., Alexander, J. & Hornbæk, Kasper, 29 May 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Catarci, T., Marrella, A., Leotta, F. & Mecella, M. (eds.). Association for Computing Machinery, a44

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

  155. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

    Aamand, Anders, Abrahamsen, Mikkel, Ahle, T. & Rasmussen, Peter Michael Reichstein, 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 224).

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

  156. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

    Aamand, A., Abrahamsen, Mikkel, Rasmussen, Peter Michael Reichstein & Ahle, T. D., 2023, In: ACM Transactions on Algorithms. 19, 3, p. 1-28 30.

    Research output: Contribution to journalJournal articleResearchpeer-review

  157. Published

    Three-dimensional scan data analysis method for diagnosis of joint pathology, involves determining measure of three-dimensional local curvature within load bearing area of cartilage, at scale arranged to result in specific measure

    Dam, E. B., Folkesson, J. M., Pettersen, P., Olsen, O. F., Nielsen, Mads & Christiansen, C., 2007, IPC No. G06T-007/00, Patent No. WO2007048463-A1, 3 May 2007, Priority date 24 Oct 2005, Priority No. GB021640

    Research output: Patent

  158. Published

    Three-dimensional carotid ultrasound plaque texture predicts vascular events

    van Engelen, A., Wannarong, T., Parraga, G., Niessen, W. J., Fenster, A., Spence, J. D. & de Bruijne, Marleen, 2014, In: Stroke. 45, p. 2695-2701 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  159. Published

    Three dimensional image data analysis method for diagnosis and prognosis of e.g. osteoarthritis, involves comparing measured value representative of homogeneity of medial area with previously obtained values of healthy joints

    Dam, E. B., Qazi, A. A., Karsdal, M., Petterson, P. C., Nielsen, Mads & Christiansen, C., 2008, IPC No. G06T-007/00, Patent No. WO2008034845-A2 , 27 Mar 2008, Priority date 19 Sep 2006, Priority No. GB018417

    Research output: Patent

  160. Published

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

  161. Published

    Theory transfers? : social theory & CSCW research

    Wagenknecht, S., Erickson, I., Østerlund, C., Mazmanian, M. & Bjorn, Pernille, 2017, Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 371-376 6 p.

    Research output: Chapter in Book/Report/Conference proceedingCommentResearch

  162. Published

    Thematic series on software engineering from a social network perspective

    Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.

    Research output: Contribution to journalEditorialResearchpeer-review

  163. Published

    The uniform orientation Steiner tree problem is NP-hard

    Brazil, M. & Zachariasen, M., 2014, In: International Journal of Computational Geometry and Applications. 24, 2, p. 87-105 19 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  164. Published

    The unadorned desk: exploiting the physical space around a display as an input canvas

    Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).

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

  165. Published

    The structure of the serotonin system: a PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, p. 614-615 2 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  166. Published

    The structure of the serotonin system: A PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2020, In: NeuroImage. 205, 116240.

    Research output: Contribution to journalJournal articleResearchpeer-review

  167. Published

    The structure and flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11

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

  168. Published

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

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

  169. Published

    The power of two choices with simple tabulation

    Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.

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

  170. Published

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

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

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

  171. Published

    The positioning cards: on affect, public design, and the common

    Teli, M., De Angeli, A. & Menendez-Blanco, M., 2018, In: AI & Society. 33, 1, p. 125-132

    Research output: Contribution to journalJournal articleResearchpeer-review

  172. Published

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, In: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. p. 145-153 9 p.

    Research output: Contribution to journalJournal articleResearch

  173. Published

    The multiple intersecting sites of design in CSCW research

    Bjorn, Pernille & Boulus-Rødje, N., 2015, In: Computer Supported Cooperative Work. 24, 4, p. 319-351 33 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  174. Published

    The longest link node deployment problem in cloud computing: a heuristic approach

    Ataíde, M. S., Souza, C. C. D., Rezende, P. J. D. & Vaz Salles, M. A., 2016, Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, CLAIO 2016. Maturana, S. (ed.). Instituto Chileno de Investigacion Operativa, p. 69-76 8 p.

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

  175. Published

    The improved relevance voxel machine

    Ganz, Melanie, Sabuncu, M. & Leemput, K. V., 2013, Technical University of Denmark. 19 p. (DTU Compute Technical Report, Vol. 2013-10).

    Research output: Book/ReportReportResearch

  176. Published

    The impact of using combinatorial optimisation for static caching of posting lists

    Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (eds.). Springer, p. 420-425 6 p. (Lecture notes in computer science, Vol. 9460).

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

  177. Published

    The history of bronchiectasis on CT in cystic fibrosis

    Tepper, L. A., de Bruijne, Marleen, Caudri, D., Perez-Rovira, A. & Tiddens, H., 2013, In: Pediatric Pulmonology. 48, S36, p. 354 1 p., 408.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  178. Published

    The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons

    Goertzel, B., Goertzel, T. & Goertzel, Z. A., Jan 2017, In: Technological Forecasting and Social Change. 114, p. 65-73 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  179. Published

    The flip-the-state transition operator for restricted Boltzmann machines

    Brügge, K., Fischer, A. & Igel, Christian, 2013, In: Machine Learning. 93, 1, p. 53-69 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  180. Published

    The evaluator effect in usability studies: Problem detection and severity judgments

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.

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

  181. Published

    The entropy of backwards analysis

    Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 867-880 14 p.

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

  182. Published

    The efficiency of artificial intelligence methods for finding radiographic features in different endodontic treatments - a systematic review

    bzd222, bzd222, Dascalu, Tudor-Laurentiu, Bakhshandeh, Azam, Ibragimov, Bulat, Kvist, T., EndoReCo, E. & Bjørndal, Lars, 2023, In: Acta Odontologica Scandinavica. 81, 6, p. 422-435 14 p.

    Research output: Contribution to journalReviewResearchpeer-review

  183. Published

    The effect of target precuing on pointing with mouse and touchpad

    Hertzum, M. & Hornbæk, Kasper, 2013, In: International Journal of Human-Computer Interaction. 29, 5, p. 338-350 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  184. Published

    The effect of splenectomy on immunity to Plasmodium malariae and P. falciparum in a malaria immune donor

    Petersen, E., Høgh, Birthe, Marbiah, N. T. & Hanson, A. P., Mar 1992, In: Tropical Medicine and Parasitology. 43, 1, p. 68-9 2 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  185. Published

    The effect of prophylaxis with chloroquine and proguanil on delayed-type hypersensitivity and antibody production following vaccination with diphtheria, tetanus, polio, and pneumococcal vaccines

    Gyhrs, A., Pedersen, B. K., Bygbjerg, Ib Christian, Henrichsen, J., Heron, I., Petersen, I. & Skinhoj, P., 1991, In: American Journal of Tropical Medicine and Hygiene. 45, 5, p. 613-8 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  186. Published

    The effect of inspiration on airway dimensions measured in CT images from the Danish Lung Cancer Screening Trial

    Petersen, Jens, Wille, M., Thomsen, L., Feragen, A., Dirksen, A. & de Bruijne, Marleen, 2013, In: Insights into Imaging. 4, Supplement 1, p. 183 1 p., B-0163.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  187. Published

    The effect of fusidic acid on Tanzanian patients with AIDS

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

    Research output: Contribution to journalLetterResearchpeer-review

  188. Published

    The disease modifying osteoarthritis drug (DMOAD): Is it in the horizon?

    Qvist, P., Bay-Jensen, A., Christiansen, C., Dam, Erik Bjørnager, Pastoureau, P. & Karsdal, M. A., Jul 2008, In: Pharmacological Research. 58, 1, p. 1-7 7 p.

    Research output: Contribution to journalReviewResearchpeer-review

  189. Published

    The development of bronchiectasis on chest computed tomography in children with cystic fibrosis: can pre-stages be identified?

    Tepper, L. A., Caudri, D., Rovira, A. P., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: European Radiology. 26, 12, p. 4563-4569 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  190. Published

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

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

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

  191. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., Aug 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 503-522 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  192. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 15-26 12 p. (Lecture notes in computer science, Vol. 9705).

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

  193. Published

    The dark patterns of proxemic sensing

    Boring, S., Greenberg, S., Vermeulen, J., Dostal, J. & Marquardt, N., 2014, In: Computer. 47, 8, p. 56-60 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  194. Published

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

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

    Research output: Book/ReportPh.D. thesisResearch

  195. Published

    The collective resource approach: The Scandinavian experience

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

    Research output: Contribution to journalJournal articleResearch

  196. Published

    The bane of low-dimensionality clustering

    Cohen-Addad, V., De Mesmay, A., Rotenberg, E. & Roytman, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 441-456

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

  197. Published

    The art gallery problem is ∃ ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2018, STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 65-73

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

  198. Published

    The affordances of broken affordances

    Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).

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

  199. Published

    The Young-with-Diabetes App-Study: A 12-month Randomized Controlled Trial

    Castens�e-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contributionResearch

  200. Published

    The Visible Ear: A Digital Image Library of the Temporal Bone

    Sørensen, M. S., Dobrzeniecki, A. B., Larsen, P., Frisch, T., Sporring, Jon & Darvann, T. A., 2002, In: Journal of Oto-Rhino-Laryngology and its related Specialities. 64(6), p. 378-381

    Research output: Contribution to journalJournal articleResearchpeer-review

  201. Published

    The Turn - Integration of Information Seeking and Retrieval in Context

    Frøkjær, Erik, 2006, In: Dansk Biblioteksforskning. årgang 1 nr 3, p. 45-48

    Research output: Contribution to journalReviewResearch

  202. Published

    The PCNA interaction motifs revisited: thinking outside the PIP-box

    Prestel, Andreas, Wichmann, N., Martins, J. M., Marabini, R., Kassem, N., Broendum, S. S., Otterlei, M., Nielsen, Olaf, Willemoës, Martin, Ploug, Michael, Boomsma, Wouter & Kragelund, Birthe Brandt, 2019, In: Cellular and Molecular Life Sciences. 76, 24, p. 4923-4943

    Research output: Contribution to journalJournal articleResearchpeer-review

  203. Published

    The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4

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

  204. Published

    The Managerial Challenges in the Transformation of the Danish Geodata Sector

    Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305

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

  205. Published

    The Influence of Hand Size on Touch Accuracy

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

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

  206. Published

    The Hausdorff Dimension and Scale-Space Normalization of 'Natural Images'

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  207. Published

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

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

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

  208. Published

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

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

    Research output: Contribution to conferencePaperResearchpeer-review

  209. Published

    The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013

    Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.

    Research output: Book/ReportBookResearchpeer-review

  210. Published

    The Evaluator Effect in Usability Tests

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.

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

  211. Published

    The Dream is Collapsing: The Experience of Exiting VR

    Knibbe, J., Schjerlund, J., Petraeus, M. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 483

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

  212. Published

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

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

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  213. Published

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

  214. Published

    The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab

    Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 10 p. 98. (CEUR Workshop Proceedings, Vol. 2125).

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

  215. Published

    The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).

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

  216. Published

    The Complexity of Subtype Entailment for Simple Types

    Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361

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

  217. Published

    The Art Gallery Problem is ∃ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 28 Feb 2022, In: Journal of the ACM. 69, 1, p. 1-70 4.

    Research output: Contribution to journalJournal articleResearchpeer-review

  218. Published

    The Adaptive Thin Shell Tetrahedral Mesh

    Erleben, Kenny, Dohlmann, H. & Sporring, Jon, 2005, In: Journal of W S C G. 13, 1, p. 17-24

    Research output: Contribution to journalJournal articleResearchpeer-review

  219. Published

    The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)

    Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 253-254 2 p. (Lecture notes in computer science, Vol. 7759).

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

  220. Published

    Texture side information generation for distributed video coding of video-plus-depth

    Salmistraro, M., Rakêt, L. L., Zamarin, M., Ukhanova, A. & Forchhammer, S., 2013, 2013 20th IEEE International Conference on Image Processing (ICIP). IEEE, p. 1699-1703 5 p.

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

  221. Published

    Tetrahedral Mesh Improvement Using Multi-face Retriangulation

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

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

  222. Published
  223. Published

    Temporal context for authorship attribution: a study of Danish secondary schools

    Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).

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

  224. Published

    Template-Guided Ionic Self-Assembled Molecular Materials and Thin Films with Nanoscopic Order

    Santella, M., Amini, F., Andreasen, K. B., Aswad, D. S., Ausar, H., Austin, L. M., Bora, I., Boye, I. M. I., Brinkenfeldt, N. K., Boe, M. F., Cakmak, E., Catovic, A., Christensen, J. M., Dalgaard, J. H., Danielsen, H. M. D., El Bouyahyaoui, A. H., El Dib, S. E. H., El Khaiyat, B., Farooq, I., Fjellerup, F. K. & 43 others, Frederiksen, G. W., Frederiksen, Henriette Reventlow S, Gleerup, D., Gold, M., Gruber, M. F., Gylling, M., Heidari, V., Herzberg, M., Holgaard, U. L. D., Hundahl, A. C., Hviid, R., Hohling, J. S., Abd Issa, F. Z., Jakobsen, N. R., Jakobsen, R. K., Jensen, B. L., Jensen, P. W. K., Juelsholt, M., Liao, Z., Le, C. L., Mayanja, I. F., Moustafa, H., Moller, C. B. B., Nielsen, C. L., Nielsen, M. R. J. E. H., Nielsen, S. S. -., Olsen, M. J., Paludan, B. D., Prestholm, I., Qoqaj, I., Riel, C. B., Rostgaard, T. V., Saleh, N., Schultz, H. M., Standland, M., Svenningsen, J. S., Sorensen, R. T., Visby, J., Wolff-Sneedorff, E. L., Zachariassen, M. H., Ziari, E. A., Sorensen, H. O. & Sørensen, Thomas Just, 2015, In: ChemNanoMat. 1, 4, p. 253-258 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  225. Published

    TempEL: Linking Dynamically Evolving and Newly Emerging Entities

    Zaporojets, K., Kaffee, L. F., Deleu, J., Demeester, T., Develder, C. & Augenstein, Isabelle, 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). NeurIPS Proceedings, 17 p. (Advances in Neural Information Processing Systems, Vol. 35).

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

  226. Published

    Technology Acceptance and User Experience: A Review of the Experiential Component in HCI

    Hornbæk, Kasper & Hertzum, M., 2017, In: A C M Transactions on Computer - Human Interaction. 24, 5, 30 p., 33.

    Research output: Contribution to journalJournal articleResearchpeer-review

  227. Published

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.

    Research output: Contribution to journalComment/debateResearchpeer-review

  228. Published

    Tangible data, explorations in data physicalization

    Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.

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

  229. Published

    Taking action in a changing world: research and community

    Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.

    Research output: Chapter in Book/Report/Conference proceedingCommentResearch

  230. Published

    TableHop: an actuated fabric display using transparent electrodes

    Sahoo, D. R., Hornbæk, Kasper & Subramanian, S., 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3767-3780 14 p.

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

  231. Published

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.

    Research output: Contribution to journalContribution to newspaper - Feature articleCommunication

  232. Published

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Research output: Book/ReportBookResearch

  233. Published

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, In: Studentlitteratur, Lund.

    Research output: Contribution to journalJournal articleResearch

  234. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Research output: Book/ReportBookResearch

  235. Published

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, In: Scandinavian Journal of Information Systems. 1, 1, p. 1 1 p.

    Research output: Contribution to journalJournal articleResearch

  236. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, In: Information Technology and People. 4, 2, p. 117-133 17 p.

    Research output: Contribution to journalJournal articleResearch

  237. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

    Research output: Book/ReportBookResearch

  238. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paperResearch

  239. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  240. Published

    Sustainability through computation

    Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.

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

  241. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  242. Published

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

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

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

  243. Published

    Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11

    Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 p.

    Research output: Working paperResearch

  244. Published

    Support vector machines for active learning

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

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

  245. Published

    Support of closed walks and second eigenvalue multiplicity of graphs

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

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

  246. Published

    Supervised scale-regularized linear convolutionary filters

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

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

  247. Published

    Supervised hub-detection for brain connectivity

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

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

  248. Published

    Superior assessment of CVD death by MACD index compared with the framingham score is highly associated with predisposition to diabetes

    Soltyskinska, E., Barascuk, N., Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2008. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  249. Published

    Supercompilation for datatypes

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

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

  250. Published

    Submodular unsplittable flow on trees

    Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).

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

  251. Published

    Sublinear distance labeling

    Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  252. Published

    Subclinical depressive symptoms during late midlife and structural brain alterations: A longitudinal study of Danish men born in 1953

    Osler, Merete, Sørensen, L., Rozing, M., Calvo, O. P., Nielsen, Mads & Rostrup, E., Apr 2018, In: Human Brain Mapping. 39, 4, p. 1789-1795

    Research output: Contribution to journalJournal articleResearchpeer-review

  253. Published

    Studying usability evaluation to improve its practical utility

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?

    Research output: Contribution to journalJournal articleResearch

  254. Published

    Studying the Utility of Metaphors of Human Thinking in HCI

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21

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

  255. Published

    Studying the Utility of Mataphors of Human Thinking in HCI

    Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 p.

    Research output: Book/ReportReportCommunication

  256. Published

    Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies

    Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).

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

  257. Published

    Structure of casein micelles studied by small-angle neutron scattering

    Hansen, S., Bauer, R., Lomholt, S., Quist, K., Pedersen, Johan & Mortensen, Kell, 1 Feb 1996, In: European Biophysics Journal. 24, 3, p. 143-147

    Research output: Contribution to journalJournal articleResearchpeer-review

  258. Published

    Structural parcellation of the thalamus using shortest-path tractography

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

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

  259. Published

    Structural logical relations with case analysis and equality reasoning

    Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

  260. Published

    Structural connectivity analysis using finsler geometry

    Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C. F., 2019, In: SIAM Journal on Imaging Sciences. 12, 1, p. 551-575 25 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  261. Published

    Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering

    Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522A

    Research output: Contribution to journalJournal articleResearchpeer-review

  262. Published

    Strengthened lazy heaps: surpassing the lower bounds for binary heaps

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2014, In: arXiv.org: Computer science. arXiv:1407.3377, 14 p.

    Research output: Contribution to journalJournal articleResearch

  263. Published

    Strength of the reversible, garbage-free 2k ± 1 multiplier

    Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 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. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).

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

  264. Published

    Streamlets for visualisation and data exploration

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

    Research output: Contribution to conferencePosterResearchpeer-review

  265. Published

    Streamlet Tractography

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

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  266. Published

    Streaming nested data parallelism on multicores

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

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

  267. Published

    Streaming for Functional Data-Parallel Languages

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

    Research output: Book/ReportPh.D. thesisResearch

  268. Published

    Stream Processing Using Grammars and Regular Expressions

    Rasmussen, U. T., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  269. Published

    Strategies for regular segmented reductions on GPU

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

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

  270. Published

    Stochastic development regression using method of moments

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

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

  271. Published

    Stochastic development regression on non-linear manifolds

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

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

  272. Published

    Stochastic Modelling on Manifolds

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

    Research output: Book/ReportPh.D. thesisResearch

  273. Published

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

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

    Research output: Book/ReportPh.D. thesisResearch

  274. Published

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

  275. Published

    Steiner tree heuristics in Euclidean d-space

    E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 p.

    Research output: Contribution to conferencePaperResearch

  276. Published

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

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

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

  277. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  278. Published

    Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA

    Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, In: Medical Image Analysis. 17, 6, p. 698-709 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  279. Published

    Statistical Modelling of Synaptic Vesicles Distribution and Analysing their Physical Characteristics

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

    Research output: Book/ReportPh.D. thesisResearch

  280. Published

    Stateful load balancing for parallel stream processing

    Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).

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

  281. Published

    State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation

    Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, In: International Affairs. 95, 5, p. 975-994

    Research output: Contribution to journalJournal articleResearchpeer-review

  282. Published

    Standardized evaluation of algorithms for computer-aided diagnosis of dementia based on structural MRI: The CADDementia challenge

    Bron, E. E., Smits, M., van der Flier, W. M., Vrenken, H., Barkhof, F., Scheltens, P., Papma, J. M., Steketee, R. M. E., Méndez Orellana, C., Meijboom, R., Pinto, M., Meireles, J. R., Garrett, C., Bastos-Leite, A. J., Abdulkadir, A., Ronneberger, O., Amoroso, N., Bellotti, R., Cárdenas-Peña, D., Álvarez-Meza, A. M. & 30 others, Dolph, C. V., Iftekharuddin, K. M., Eskildsen, S. F., Coupé, P., Fonov, V. S., Franke, K., Gaser, C., Ledig, C., Guerrero, R., Tong, T., Gray, K. R., Moradi, E., Tohka, J., Routier, A., Durrleman, S., Sarica, A., Di Fatta, G., Sensi, F., Chincarini, A., Smith, G. M., Stoyanov, Z. V., Sørensen, L. E. B. L., Nielsen, Mads, Tangaro, S., Inglese, P., Wachinger, C., Reuter, M., van Swieten, J. C., Niessen, W. J. & Klein, S., 2015, In: NeuroImage. 111, p. 562-579 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  283. Published

    Standardization of a chest-CT protocol for multi-center trial in cystic fibrosis (CF) infants

    Ciet, P., Graniel, K. G., Stick, S., de Bruijne, Marleen, Tiddens, H. & van Straten, M., 2012, In: Journal of Thoracic Imaging. 27, 5, p. W127 1 p., O47.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  284. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

    Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).

    Research output: Book/ReportPh.D. thesisResearch

  285. Published

    Spirometer-controlled cine magnetic resonance imaging to diagnose tracheobronchomalacia in pediatric patients

    Ciet, P., Wielopolski, P., Manniesing, R., Lever, S., de Bruijne, Marleen, Morana, G., Muzzio, P. C., Lequin, M. H. & Tiddens, H. A. W. M., 2014, In: European Respiratory Journal. 43, 1, p. 115-124 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  286. Published

    Spiral toolpaths for high-speed machining of 2d pockets with or without islands

    Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255

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

  287. Published

    Spinal image processing method, involves segmenting image of two vertebrae to obtain data representative of shape and size of vertebrae, and comparing shape and size with predicted unfractured shape and size of vertebrae

    de Bruijne, Marleen, Lund, M., Nielsen, Mads & Pettersen, P., 2006, IPC No. G06T-007/00, Patent No. WO2006087190-A1, 24 Aug 2006, Priority date 16 Feb 2005, Priority No. GB003236

    Research output: Patent

  288. Published

    Spikes as Regularizers

    Søgaard, Anders, 2017, ESANN 2017 - Proceedings: 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN , p. 371-376 6 p. (arXiv.org).

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

  289. Published

    Spherical convolutions and their application in molecular modelling

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

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

  290. Published

    Speedy greedy feature selection: better redshift estimation via massive parallelism

    Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.

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

  291. Published

    Speeding up many-objective optimization by Monte Carlo approximations

    Bringmann, K., Friedrich, T., Igel, Christian & Voß., T., 2013, In: Artificial Intelligence. 204, p. 22-29 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  292. Published

    Specialised tools are needed when searching the web for rare disease diagnoses

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, I., Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: Rare Diseases. 1, 1, 4 p., e25001.

    Research output: Contribution to journalJournal articleResearchpeer-review

  293. Published

    Special section on 19th Scandinavian conference on image analysis (SCIA 2015)

    Steenstrup Pedersen, Kim & R. Paulsen, R., 2016, In: Pattern Recognition Letters. 80, p. 238 1 p.

    Research output: Contribution to journalEditorialResearch

  294. Published

    Special issue on information infrastructures for healthcare: The global and local relation

    Bjorn, Pernille & Kensing, Finn, May 2013, In: International Journal of Medical Informatics. 82, 5, p. 281-282

    Research output: Contribution to journalEditorialResearchpeer-review

  295. Published

    Special Topic: Taking Action in a Changing World

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

    Research output: Contribution to journalJournal articleCommunication

  296. Published

    Special Issue on Tribute Workshop for Peter Johansen

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

    Research output: Contribution to journalEditorialResearch

  297. Published

    Special Issue on Partial Differential Equations Methods in Graphics and Vision

    Sporring, Jon (ed.), 2007, Barcelona: Universitat Autonoma de Barcelona. 66 p. (Electronic Letters on Computer Vision and Image Analysis; No. 6(2)).

    Research output: Book/ReportAnthologyResearch

  298. Published

    Spatial and Temporal Ray Differentials

    Sporring, Jon, Schjøth, L. & Erleben, Kenny, 2009, Department of Computer Science: Department of Computer Science, University of Copenhagen. 14 p. (Technical Report; No. 04, Vol. 2009).

    Research output: Book/ReportReportResearch

  299. Published

    Sparse multi-scale diffeomorphic registration: the kernel bundle framework

    Sommer, Stefan Horst, Lauze, Francois Bernard, Nielsen, Mads & Pennec, X., 2013, In: Journal of Mathematical Imaging and Vision. 46, 3, p. 292-308 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  300. Published

    Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

    Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).

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

  301. Published

    SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces

    Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.

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

  302. Published

    Space-efficient planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2004, In: Theoretical Computer Science. 321, 1, p. 25-40

    Research output: Contribution to journalJournal articleResearchpeer-review

  303. Published

    Space-efficient path-reporting approximate distance oracles

    Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  304. Published

    Sorting programs executing fewer branches

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

    Research output: Book/ReportReportResearchpeer-review

  305. Published

    Sorting and searching by distribution: from generic discrimination to generic tries

    Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).

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

  306. Published

    Some whys and hows of experiments in human–computer interaction

    Hornbæk, Kasper, 2013, In: Foundations and Trends in Human-Computer Interaction. 5, 4, p. 299-373 75 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  307. Published

    Some structural and geometric properties of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007:  Proceedings of the Thirteenth  Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

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

  308. Published

    Some remarks on real numbers induced by first-order spectra

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  309. Published

    Solving uncalibrated photometric stereo using total variation

    Quéau, Y., Lauze, Francois Bernard & Durou, J., 2015, In: Journal of Mathematical Imaging and Vision. 52, 1, p. 87-107 21 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  310. Published

    Solving the uncalibrated photometric stereo problem using total variation

    Quéau, Y., Lauze, Francois Bernard & Durou, J., 2013, Scale Space and Variational Methods in Computer Vision: 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings. Kuijper, A., Bredies, K., Pock, T. & Bischof, H. (eds.). Springer, p. 270-281 12 p. (Lecture notes in computer science, Vol. 7893).

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

  311. Published

    Solving inverse kinematics using exact Hessian matrices

    Erleben, Kenny & Andrews, S., Feb 2019, In: Computers & Graphics. 78, p. 1-11

    Research output: Contribution to journalJournal articleResearchpeer-review

  312. Published

    Software ecosystems – a systematic literature review

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

    Research output: Contribution to journalReviewResearchpeer-review

  313. Published

    Software defined health

    Wac, Katarzyna & Hausheer, D., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 600-601 2 p.

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

  314. Published

    Socio-technical congruence in the Ruby ecosystem

    Syeed, M. M. M., Hansen, K. M., Hammouda, I. & Manikas, K., 2014, OpenSym '14. Proceedings of The International Symposium on Open Collaboration. Association for Computing Machinery, p. 2:1-2:9 9 p.

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

  315. Published

    Social design feedback: evaluations with users in online ad-hoc groups

    Følstad, A., Hornbæk, Kasper & Ulleberg, P., 2013, In: Human-centric Computing and Information Sciences. 3, 27 p., 18.

    Research output: Contribution to journalJournal articleResearchpeer-review

  316. Published

    Smoothing images creates corners

    Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, In: Image and Vision Computing. 18, 3, p. 261-266

    Research output: Contribution to journalJournal articleResearchpeer-review

  317. Published

    Smoke simulation for fire engineering using a multigrid method on graphics hardware

    Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20

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

  318. Published

    Smartphone users mobile networks quality provision and VoLTE intend: six-months field study

    Wac, Katarzyna, Pinar, G., Gustarini, M. & Marchanoff, J., 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a . IEEE, p. 1-9 9 p.

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

  319. Published

    Smart city analytics: ensemble-learned prediction of citizen home care

    Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.

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

  320. Published

    Small steps in physics simulation

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

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

  321. Published

    Sluice resolution without hand-crafted features over brittle syntax trees

    Rønning, Ola, Hardt, D. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 236–241

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

  322. Published

    SkyView: a user evaluation of the skyline operator

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

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

  323. Published

    Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances

    Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2740-2751 12 p.

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

  324. Published

    Size slicing: a hybrid approach to size inference in futhark

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

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

  325. Published

    Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs

    Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, Mads & Pai, A. S. U., 2018. 8 p.

    Research output: Contribution to conferencePaperResearch

  326. Published

    Simultaneous registration and bilateral differential bias correction in brain MRI

    Zou, B., Pai, A. S. U., Sørensen, L. & Nielsen, Mads, 2014, Intelligent Imaging: Linking MR Acquisition and Processing.

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

  327. Published

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

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

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

  328. Published

    Simpler, faster and shorter labels for distances in graphs

    Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.

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

  329. Published

    Simple tabulation, fast expanders, double tabulation, and high independence

    Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 90-99 10 p.

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

  330. Published

    Similarity-Based pattern recognition

    Feragen, A. (ed.), Pelillo, M. (ed.) & Loog, M. (ed.), 2015, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9370).

    Research output: Book/ReportBookResearchpeer-review

  331. Published

    Significant subgraph mining with multiple testing correction

    Sugiyama, M., López, F. L., Kasenburg, N. & Borgwardt, K. M., 2015, Proceedings of the 2015 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, p. 37-45 9 p.

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

  332. Published

    Sideways Stepping

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

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

  333. Published

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

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

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

  334. Published

    Short Trees in Polygons, DIKU-rapport 00/02

    Winter, Pawel & Zachariasen, M., 2000, Datalogisk Institut, Københavns Universitet. 13 p.

    Research output: Book/ReportReportResearch

  335. Published

    Short Trees in Polygons

    Winter, Pawel, Zachariasen, M. & Nielsen, J., 2002, In: Discrete Applied Mathematics. vol. 118, p. 55-72

    Research output: Contribution to journalJournal articleResearchpeer-review

  336. Published

    Sharing perspectives on the design of shape-changing interfaces

    Strohmeier, P., Gomes, A., Troiano, G. M., Mottelson, A., Merritt, T. & Alexander, J., 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3492-3499 8 p.

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

  337. Published

    Shapes related to longitudinal studies of disease

    Erleben, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 90 p.

    Research output: Book/ReportPh.D. thesisResearch

  338. Published

    Shape index descriptors applied to texture-based galaxy analysis

    Steenstrup Pedersen, Kim, Stensbo-Smidt, K., Zirm, A. W. & Igel, Christian, 2013, 2013 IEEE International Conference on Computer Vision (ICCV). IEEE, p. 2440-2447 8 p.

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

  339. Published

    Session types for rust

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

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

  340. Published

    Service Oriented Architecture for Inter-vehicle Applications

    Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).

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

  341. Published

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

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

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  342. Published

    Separating timing, movement conditions and individual differences in the analysis of human movement

    Raket, L. L., Grimme, B., Schöner, G., Igel, Christian & Markussen, Bo, 2016, In: PLoS Computational Biology. 12, 9, p. e1005092 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  343. Published

    Separating shape and intensity variation in images

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

    Research output: Contribution to journalJournal articleResearch

  344. Published

    Sensitivity of screening mammography by density and texture: a cohort study from a population-based screening program in Denmark

    von Euler-Chelpin, My Catarina, Lillholm, Martin, Vejborg, I., Nielsen, Mads & Lynge, Elsebeth, 2019, In: Breast Cancer Research. 21, 1

    Research output: Contribution to journalJournal articleResearchpeer-review

  345. Published

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

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

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

  346. Published

    Semi-Inversion of Guarded Equations

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

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

  347. Published

    Semi-Inversion of Functional Parameters

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

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

  348. Published

    Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints

    Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.

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

  349. Published

    Semantic Representation and Inference for NLP

    Wang, D., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen. 118 p.

    Research output: Book/ReportPh.D. thesisResearch

  350. Published

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

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

  351. Published

    Selection-based mid-air text entry on large displays

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

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

  352. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).

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

  353. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2014, In: Theoretical Computer Science. 554, p. 64-73 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  354. Published

    Segmenting articular cartilage automatically using a voxel classification approach

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Pettersen, P. C. & Christiansen, C., Jan 2007, In: IEEE Transactions on Medical Imaging. 26, 1, p. 106-15 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  355. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  356. Published

    Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks

    Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (eds.). Springer, p. 356-364 9 p. (Lecture notes in computer science, Vol. 10435).

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

  357. Published

    Segmentation of Brains and Rocks from Tomographic Reconstructions

    Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

    Research output: Book/ReportPh.D. thesisResearch

  358. Published

    Segmentation of B-mode cardiac ultrasound data by Bayesian Probability Maps

    Hansson, N. M., Brandt, S. S., Lindström, J., Gudmundsson, P., Jujić, A., Malmgren, A. & Cheng, Y., 2014, In: Medical Image Analysis. 18, 7, p. 1184-1199 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  359. Published

    Segmentation of 2D and 3D Objects with Intrinsically Similarity Invariant Shape Regularisers

    Hansen, J. D. K. & Lauze, Francois Bernard, 2019, Scale Space and Variational Methods in Computer Vision - 7th International Conference, SSVM 2019, Proceedings. Lellmann, J., Modersitzki, J. & Burger, M. (eds.). Springer, p. 369-380 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11603 LNCS).

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

  360. Published

    Seeking for the best priority queue: lessons learnt

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

    Research output: Book/ReportReportResearch

  361. Published

    Second order structure of scale-space measurements

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  362. Published

    Second Skin: an exploration of eTextile stretch circuits on the body

    Freire, R., Honnet, C. & Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 653-658 6 p.

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

  363. Published

    Seawater-regulated genes for two-component systems and outer membrane proteins in myxococcus

    Pan, H. W., Liu, H., Liu, T., Li, C. Y., Li, Z. F., Cai, K., Zhang, C. Y., ZHANG, YONG, Hu, W., Wu, Z. H. & Li, Y. Z., Apr 2009, In: Journal of Bacteriology. 191, 7, p. 2102-2111 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  364. Published

    Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation

    Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200

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

  365. Published

    Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

    Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).

    Research output: Book/ReportReportResearch

  366. Published

    Scan Conversion of Signed Distance Fields

    Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91

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

  367. Published

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

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

    Research output: Book/ReportBookResearchpeer-review

  368. Published

    Scalable robust principal component analysis using Grassmann averages

    Hauberg, S., Feragen, A., Enficiaud, R. & Black, M. J., 2016, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 38, 11, p. 2298-2311 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  369. Published

    Scalable kernels for graphs with continuous attributes

    Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).

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

  370. Published

    Scalable conditional induction variables (CIV) analysis

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

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

  371. Published

    Sample(x)=(a*x< =t) is a distinguisher with probability 1/8

    Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  372. Published

    Salient Point and Scale Detection by Minimum Likelihood

    Steenstrup Pedersen, Kim, Loog, M. & van Dorst, P., 2007, Gaussian processes in practice. Microtome Publishing, p. 59-72 14 p. (JMLR: Workshop and Conference Proceedings; No. 1).

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

  373. Published

    Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)

    Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  374. Published

    Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

    Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.

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

  375. Published

    Sacrificing information for the greater good: how to select photometric bands for optimal accuracy

    Stensbo-Smidt, K., Gieseke, Fabian Cristian, Igel, Christian, Zirm, A. W. & Steenstrup Pedersen, Kim, 2017, In: Monthly Notices of the Royal Astronomical Society. 464, 3, p. 2577-2596 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  376. Published

    SMEIL: A domain-specific language for synchronous message exchange networks

    Asheim, T., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 389-414 (Concurrent Systems Engineering Series, Vol. 70).

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

  377. Published

    SIMS 2004

    Elmegaard, B., Sporring, Jon, Erleben, Kenny & Sørensen, K., Nov 2006, In: Simulation Modelling Practice and Theory. 14, 8, p. 1057-1058 2 p.

    Research output: Contribution to journalEditorialResearchpeer-review

  378. Published

    SIGTYP 2020 Shared Task: Prediction of Typological Features

    Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, Isabelle, 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Association for Computational Linguistics, p. 1-11

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

  379. Published

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1

    Research output: Contribution to journalEditorialResearch

  380. Published

    SIGCHI outstanding dissertation award: Shaping material experiences

    Strohmeier, P., 2020, CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 3386152

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

  381. Published

    SCI-FI: shape-changing interfaces, future interactions

    Troiano, G. M., Tiab, J. & Lim, Y. K., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 45

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

  382. Published

    SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients

    Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.

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

  383. Published

    Rove-Tree-11: The not-so-Wild Rover. A hierarchically structured image dataset for deep metric learning research

    Hunt, Roberta Eleanor & Steenstrup Pedersen, Kim, 2023, Computer Vision – ACCV 2022: 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part I. Springer, p. 2967-2983 (Lecture Notes in Computer Science, Vol. 13841).

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

  384. Published

    Rotationally optimal spanning and Steiner trees in uniform orientation metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2004, In: Computational Geometry: Theory and Applications. 29, p. 251-263

    Research output: Contribution to journalJournal articleResearchpeer-review

  385. Published

    Rotationally invariant clustering of diffusion MRI data using spherical harmonics

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

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

  386. Published

    Rotationally Optimal Spanning and Steiner Trees in Uniform Orientation Metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2003, København: Department of Computer Science, University of Copenhagen.

    Research output: Book/ReportReportResearch

  387. Published

    RootPainter3D: Interactive-machine-learning enables rapid and accurate contouring for radiotherapy

    Smith, Abraham George, Petersen, Jens, Terrones-Campos, C., Berthelsen, A. K., Forbes, N. J., Darkner, Sune, Specht, Lena & Vogelius, I. R., 2022, In: Medical Physics. 49, 1, p. 461-473

    Research output: Contribution to journalJournal articleResearchpeer-review

  388. Published

    Roll: A Language for Specifying Die-Rolls

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

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

  389. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

    Research output: Chapter in Book/Report/Conference proceedingCommentCommunication

  390. Published

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

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

    Research output: Contribution to conferencePaperResearch

  391. Published

    Robust parametric modeling of Alzheimer's disease progression

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  392. Published

    Robust Active Label Correction

    Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).

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

  393. Published

    Risk stratification of women with false-positive test results in mammography screening based on mammographic morphology and density: a case control study

    Winkel, R. R., von Euler-Chelpin, My Catarina, Lynge, Elsebeth, Diao, P., Lillholm, Martin, Kallenberg, M., Forman, Julie Lyng, Nielsen, Michael Bachmann, Uldall, W. Y., Nielsen, Mads & Vejborg, I. M. M., Aug 2017, In: Cancer Epidemiology. 49, p. 53-60 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  394. Published

    Risk factors for infection with highly pathogenic influenza A virus (H5N I) in commercial chickens in Bangladesh

    Biswas, P. K., Christensen, Jens Peter, Ahmed, S. S. U., Barua, H., Das, A., Rahman, M. H., Giasuddin, M., Hannan, A. S. M. A., Habib, A. M. & Debnath, N. C., 13 Jun 2009, In: Veterinary Record. 164, 24, p. 743-746 4 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  395. Published

    Risikoscore ved operation for medfødt hjertesygdom--sekundaerpublikation

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  396. Published

    Rigid body contact problems using proximal operators

    Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13

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

  397. Published

    Rigid Bodies in Contact: and Everything in Between

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

    Research output: Book/ReportPh.D. thesisResearch

  398. Published

    Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics

    Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).

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

  399. Published

    Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

    Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.

    Research output: Book/ReportDoctoral thesisResearch

  400. Published

    Revisiting software ecosystems research: a longitudinal literature study

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  401. Published

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

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

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

  402. Published

    Reversible shrinking two-pushdown automata

    Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 579-591 13 p.

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

  403. Published

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

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

  404. Published

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144

    Research output: Contribution to journalEditorialResearch

  405. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  406. Published

    Return of the features: efficient feature selection and interpretation for photometric redshifts

    D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.

    Research output: Contribution to journalJournal articleResearchpeer-review

  407. Published

    Respiratory muscle movement in Pompe disease using cine Magnetic Resonance Imaging

    Ciet, P., Wens, S., Perez-Rovira, A., Logie, K., Wielopolski, P., de Bruijne, Marleen, Ploeg, A. V. D., Doorn, P. V. & Tiddens, H., 2013.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  408. Published

    Resource Control Graphs

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  409. Published

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

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

    Research output: Working paperResearch

  410. Published

    Research proposal: Practical data structures and algorithm

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

    Research output: Book/ReportReportResearch

  411. Published

    Research Alert for Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Interactions. January + February Vol. XI. 1, p. 11-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  412. Published

    Requirements for Logical Models for Value-Added Tax Legislation

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

    Research output: Contribution to conferencePaperResearch

  413. Published

    Representation learning for cross-modality classification

    Tulder, G. V. & de Bruijne, Marleen, 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. 126-136 11 p. (Lecture notes in computer science, Vol. 10081).

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

  414. Published

    Report on an Implementation of a Semi-Inverter

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

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

  415. Published

    Report on an Implementation of a Semi-Inverter

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

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

  416. Published

    Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable

    Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.

    Research output: Contribution to journalJournal articleResearch

  417. Published

    Reordering buffer management with advice

    Adamaszek, A. M., Renault, M. P., Rosén, A. & van Stee, R., Oct 2017, In: Journal of Scheduling. 20, 5, p. 423-442 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  418. Published

    Removal of vesicle structures from transmission electron microscope images

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  419. Published

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

    Yamagchii, K., Lassen, Anders & Ring, P., 17 Sep 1998.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  420. Published

    Relevance sampling

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

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

  421. Published

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

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

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

  422. Published

    Relaxed weak queues: An alternative to run-relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 23 p.

    Research output: Working paperResearch

  423. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  424. Published

    Relation between wall shear stress and carotid artery wall thickening MRI versus CFD

    Cibis, M., Potters, W. V., Selwaness, M., Gijsen, F. J., Franco, O. H., Arias Lorza, A. M., de Bruijne, Marleen, Hofman, A., van der Lugt, A., Nederveen, A. J. & Wentzel, J. J., 2016, In: Journal of Biomechanics. 49, 5, p. 735-741 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  425. Published

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  426. Published

    Regional activation of the human medial temporal lobe during intentional encoding of objects and positions: NeuroImage

    Ramsøy, T. Z., Liptrot, M. G., Skimminge, A., Lund, T. E., Sidaros, K., Christensen, M. S., Baaré, W., Paulson, Olaf B. & Jernigan, T. L., 2009, In: NeuroImage. 47, 4, p. 1863-1872

    Research output: Contribution to journalJournal articleResearchpeer-review

  427. Published

    Reference counting for reversible languages

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

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

  428. Published

    Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183

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

  429. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen, International Edition

    Curry, C. D. & Katajainen, J., 2006, Søborg, Danmark: Jyrki Katajainen and Company. 224 p.

    Research output: Book/ReportBookResearch

  430. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2006, International ed. Jyrki Katajainen and Company.

    Research output: Book/ReportBookResearch

  431. Published
  432. Published

    Reduction of variable-truncation artifacts from beam occlusion during in situ x-ray tomography

    Borg, L., Jørgensen, J. S., Frikel, J. & Sporring, Jon, Dec 2017, In: Measurement Science and Technology. 28, 12, 19 p., 124004.

    Research output: Contribution to journalJournal articleResearchpeer-review

  433. Published

    Reduction by Lie Group symmetries in diffeomorphic image registration and deformation modelling

    Sommer, Stefan Horst & Jacobs, H. O., 2015, In: Symmetry. 7, 2, p. 599-624 26 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  434. Published

    Reducing artifacts from varying projection truncations

    Borg, L., Jørgensen, J. S., Frikel, J., Quinto, E. T. & Sporring, Jon, 2017. 2 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  435. Published

    Recycling on a Cosmic Scale: Extracting New Information from Old Data Sets

    Stensbo-Smidt, K., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  436. Published

    Rectilinear Trees under Rotation

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

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

  437. Published

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

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

    Research output: Contribution to conferencePaperResearch

  438. Published

    Reconstruction of Optical Thickness

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

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

  439. Published

    Reconstructing teeth with bite information

    Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).

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

  440. Published

    Reconstructing protein structure from solvent exposure using tabu search

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006, In: Algorithms for Molecular Biology. 1, p. 14

    Research output: Contribution to journalJournal articleResearchpeer-review

  441. Published

    Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti

    Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  442. Published

    Realizability toposes from specifications

    Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  443. Published

    Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300

    Research output: Contribution to journalJournal articleResearchpeer-review

  444. Published

    Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301

    Research output: Contribution to journalJournal articleResearchpeer-review

  445. Published

    Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Research Alert for the TOCHI-paper: The Journal Interactions. 11(1), p. 11-12

    Research output: Contribution to journalJournal articleResearch

  446. Published

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274

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

  447. Published

    ReNLoc: an anchor-free localization algorithm for indirect ranging

    Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.

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

  448. Published

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

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

  449. Published

    ReFlex: a flexible smartphone with active haptic feedback for bend input

    Strohmeier, P., Burstyn, J., Carrascal, J. P., Levesque, V. & Vertegaal, R., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 185-192 8 p.

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

  450. Published

    Re-estimation of motion and reconstruction for distributed video coding

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  451. Published

    Rapid development of scalable scientific software using a process oriented approach

    Friborg, R. M. & Vinter, B., 2011, In: Journal of Computational Science. 2, 3, p. 304-313 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  452. Published

    Ranking beta sheet topologies with applications to protein structure prediction

    Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  453. Published

    Range-clustering queries

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 5. (Leibniz International Proceedings in Informatics, Vol. 77).

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

  454. Published

    Random walk term weighting for information retrieval

    Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

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

  455. Published

    Railway Asset Detection and Geolocation

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

    Research output: Book/ReportPh.D. thesisResearch

  456. Published

    RSSA: a reversible SSA form

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

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

  457. Published

    RPI-MATLAB-simulator: a tool for efficient research and practical teaching in multibody dynamics

    Williams, J., Lu, Y., Niebe, S., Andersen, Martin, Erleben, Kenny & Trinkle, J. C., 2013, VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations. Bender, J., Dequidt, J., Duriez, C. & Zachmann, G. (eds.). Eurographics Association, p. 71-80 10 p. (VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations).

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

  458. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).

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

  459. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  460. Published

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

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

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

  461. Published

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 p. (DIKU teknisk rapport; No. 5, Vol. 98).

    Research output: Working paperResearch

  462. Published

    Quasi-interpretations and small space bounds

    Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164

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

  463. Published

    Quantitative analysis of pulmonary emphysema using local binary patterns

    Sørensen, L. E. B. L., Shaker, S. B. & de Bruijne, Marleen, 2010, In: IEEE Transactions on Medical Imaging. 29, 2, p. 559-569 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  464. Published

    Quantitative airway analysis in longitudinal studies using groupwise registration and 4D optimal surfaces

    Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, 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, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).

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

  465. Published

    Quantifying emphysema extent from weakly labeled CT scans of the lungs using label proportions learning

    Ørting, S. N., Petersen, Jens, Wille, M., Thomsen, L. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & S. R. (eds.). CreateSpace Independent Publishing Platform , p. 31-42 11 p.

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

  466. Published

    Quantification of smoothing requirement for 3D optic flow calculation of volumetric images

    Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, In: IEEE Transactions on Image Processing. 22, 6, p. 2128-2137 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  467. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  468. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

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

  469. Published

    Quality-of-life technologies

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., Mar 2017, In: Computer. 50, 3, p. 15-19 5 p.

    Research output: Contribution to journalEditorialResearch

  470. Published

    Quality of life technologies: experiences from the field and key challenges

    Wac, Katarzyna, Fiordelli, M., Gustarini, M. & Rivas, H., 2015, In: I E E E Internet Computing. 19, 4, p. 28-35 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  471. Published

    Quality of Life Technologies (definition)

    Wac, Katarzyna, 2020, Encyclopedia of Behavioral Medicine. Gellman, M. (ed.). 2 ed. Springer, 2 p.

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

  472. Published

    Qualitative and quantitative assessment of step size adaptation rules

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

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

  473. Published

    QoS-predictions service: Infrastructural support for proactive QoS- and context-a ware mobile services (position paper)

    Wac, Katarzyna, Van Halteren, A. & Konstantas, D., 1 Jan 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerS. Springer Verlag, p. 1924-1933 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4278 LNCS - II).

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

  474. Published

    Putting your data structure on a diet (Abstract)

    Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3

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

  475. Published

    Putting your data structure on a diet

    Brönnimann, H., Katajainen, J. & Morin, P., 2007.

    Research output: Working paperResearch

  476. Published

    Publishing E-RDF linked data for many agents by single third-party server

    Wang, D., Zhang, Y., Wang, Z. & Chen, T., 2017, Semantic Technology: 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Wang, Z., Turhan, A-Y., Wang, K. & Zhang, X. (eds.). Springer, p. 151-163 13 p. (Lecture notes in computer science, Vol. 10675).

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

  477. Published

    Proxemics for information visualization on wall-sized displays

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

    Research output: Contribution to conferencePaperResearch

  478. Published

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

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

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

  479. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

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

  480. Published

    Protein structure prediction using tabu search and half-sphere exposure measure

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006.

    Research output: Contribution to conferencePosterResearch

  481. Published

    Protein structure prediction using bee colony optimization heuristic

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, Datalogisk Institut, Københavns Universitet. 11 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 12, Vol. 08).

    Research output: Book/ReportReportResearch

  482. Published

    Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.

    Research output: Contribution to journalConference abstract in journalResearch

  483. Published

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

  484. Published

    Promoting active participation in computer science lectures

    Sommer, Stefan Horst, 2014, Improving university science teaching and learning: pedagogical projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 209-222 14 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  485. Published

    ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors

    Weigel, M., Boring, S., Steimle, J., Marquardt, N., Greenberg, S. & Tang, A., 2013, MobileHCI '13: Proceedings of the 15th international conference on Human-Computer Interaction with Mobile devices and services. Association for Computing Machinery, p. 247-250 4 p.

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

  486. Published

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

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

    Research output: Working paperResearch

  487. Published

    Project practical data structures and algorithms: Final report

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

    Research output: Book/ReportBookResearch

  488. Published

    Project performance engineering: final report

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

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

  489. Published

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

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

    Research output: Working paperResearch

  490. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

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

  491. Published

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.

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

  492. Published

    Programming in biomolecular computation

    Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  493. Published

    Programming in biomolecular computation: programs, self-interpretation and visualisation

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  494. Published

    Processing method for mammogram image of breast involves deriving parameter that changes alongside changes in breast density based on aggregate pixel membership scores of classes

    Raundahl, J., Loog, M., Nielsen, Mads, Brandt, S. S. & Karemore, G., 2007, IPC No. G06K-009/52, Patent No. WO2007090892-A1, 16 Aug 2007, Priority date 10 Feb 2006, Priority No. GB002739

    Research output: Patent

  495. Published

    Proceedings of the fifth international workshop on Mathematical Foundations of Computational Anatomy (MFCA 2015)

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2015, INRIA. 173 p.

    Research output: Book/ReportAnthologyResearch

  496. Published

    Proceedings of the Fourth International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Biological Shape Variability Modeling (MFCA 2013), Nagoya, Japan

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2013, INRIA. 134 p.

    Research output: Book/ReportBookResearchpeer-review

  497. Published

    Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computation (GECCO 2013)

    Blum, C. (ed.) & Igel, Christian (ed.), 2013, Association for Computing Machinery. 1766 p.

    Research output: Book/ReportBookResearchpeer-review

  498. Published

    Proceedings of the 6th STL Workshop

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

    Research output: Book/ReportBookResearch

  499. Published

    Proceedings of the 2nd Danish HCI Symposium

    Frøkjær, Erik (ed.) & Hornbæk, Kasper (ed.), 2002, København: DIKU. 47 p.

    Research output: Book/ReportReportResearch

  500. Published
Previous 1 2 3 4 Next