Department of Computer Science

Read more
501 - 1000 out of 1,702Page size: 500
Sort by: 1st author
  1. Published

    Characterizing RNA ensembles from NMR data with kinematic models

    Fonseca, R., Pachov, D. V., Bernauer, J. & van den Bedem, H., 2014, In: Nucleic Acids Research. 42, 15, p. 9562-9572 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  2. 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/Report › Report › Research

  3. 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 journal › Conference abstract in journal › Research

  4. 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 journal › Journal article › Research › peer-review

  5. Published

    KGSrna: efficient 3D kinematics-based sampling for nucleic acids

    Fonseca, R., van den Bedem, H. & Bernauer, J., 2015, Research in Computational Molecular Biology: 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings. Przytycka, T. (ed.). Springer, p. 80-95 16 p. (Lecture Notes in Bioinformatics).

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

  6. Published

    On the origins of OR and its institutions

    Fores, S. & Krarup, J., 2013, In: Central European Journal of Operations Research. 21, 2, p. 265-275 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

    Generic algorithm for 0/1-sorting

    Franceschini, G. & Katajainen, J., 2006, 16 p.

    Research output: Book/Report › Report › Research

  8. Published

    Generic algorithm for 0-1 sorting

    Franceschini, G. & Katajainen, J., 2006.

    Research output: Working paper › Research

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

  10. Published

    Designing eTextiles for the Body: Shape, Volume Motion

    Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731

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

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

  12. 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 journal › Journal article › Research › peer-review

  13. Published

    Classical realizability in the CPS target language

    Frey, J., 2016, In: Electronic Notes in Theoretical Computer Science. 325, p. 111-126 16 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

  14. Published

    Realizability toposes from specifications

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

    Research output: Contribution to journal › Conference article › Research › peer-review

  15. 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 journal › Journal article › Research › peer-review

  16. Published

    Photon differential splatting for rendering caustics

    Frisvad, J. R., Schjøth, L., Erleben, Kenny & Sporring, Jon, 2014, In: Computer Graphics Forum. 33, 6, p. 252-263 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  19. Published

    Improving web search transparency by using a Venn diagram interface

    Frøkjær, Erik & Langer, L., 2008, NordCHI 2008: Building Bridges, Proceedings of the 5th Nordic Conference on Human-Computer Interaction, Lund, Sweden, 20-22 October, 2008. Gulz, A., Magnusson, C., Malmborg, L., Eftring, H., Jönsson, B. & Tollmar, K. (eds.). Association for Computing Machinery, p. 249-256 (ACM International Conference Proceedings; No. 358).

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

  20. Published

    Metaphors of Human Thinking for Usability Evaluation and Design

    Frøkjær, Erik & Hornbæk, Kasper, 2008, In: ACM Transactions on Computer Human Interaction. 14, 4, p. Article 20 33 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  21. Published

    Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, p. 781-784

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

  22. Published

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10

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

  23. Published

    Prediction of Usability: Comparing Method Combinations

    Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, p. 248-257

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

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

  25. 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/Report › Report › Research

  26. Published

    Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning

    Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, p. 23-24

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

  27. Published

    Evaluating User Interfaces with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544

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

  28. Published

    Evaluating User Interface with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 ed. Berlin, Heidelberg: Springer, p. 22

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

  29. Published

    Fagfolks dokumentationsarbejde og informationshåndtering

    Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, p. 15-19

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

  30. Published

    Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, p. 10

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

  31. Published

    Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions

    Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386

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

  32. 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 journal › Review › Research

  33. Published

    Fabrication & HCI: hobbyist making, industrial production, and beyond

    Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Bardzell, S., Bardzell, J., Reiter, A. & Bjorn, Pernille, 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3550-3557 8 p.

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

  34. 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 journal › Journal article › Research › peer-review

  35. Published

    Formal proof of polynomial-time complexity with quasi-interpretations

    Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157

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

  36. 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 journal › Journal article › Research › peer-review

  37. Published

    Predicting Protein Content in Grain Using Hyperspectral Deep Learning

    Engstrøm, Ole-Christian Galbo, Dreier, E. S. & Steenstrup Pedersen, Kim, 2021, Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) . IEEE, p. 1372-1380

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

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

  39. Published

    Algoritmer kopierer lægers fordomme om race og køn

    Ganz, Melanie, Holm, Sune Hannibal & Feragen, A., 4 Jun 2020, In: Dagbladet Politiken. p. 9 (sektion 2) 1 p.

    Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

  40. Published

    Dense Iterative Contextual Pixel Classification using Kriging

    Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.

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

  41. 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/Report › Report › Research

  42. Published

    BMD PREDICTION OF DEATH IS ENCAPSULATED BY THE MORPHOLOGICAL ATHEROSCLEROSIS CALCIFICATION DISTRIBUTION (MACD) INDEX

    Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2009, In: Bone. suppl. 2, p. S265 1 p.

    Research output: Contribution to journal › Conference abstract in journal › Research

  43. Published

    An improved optimization method for the relevance voxel machine

    Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).

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

  44. Published

    A foresight analysis of pervasive healthcare technologies

    Gauthier, T. & Wac, Katarzyna, 2015, In: Journal of Futures Studies. 20, 1, p. 69-81 13 p.

    Research output: Contribution to journal › Journal article › Research

  45. Published

    Better tradeoffs for exact distance oracles in planar graphs

    Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529

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

  46. Published

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181

    Research output: Contribution to journal › Journal article › Research › peer-review

  47. 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 journal › Editorial › Research › peer-review

  48. Published

    Editorial

    Gherardi, S., Østerlund, C. & Kensing, Finn, 2014, In: Information Technology and People. 27, 4

    Research output: Contribution to journal › Editorial › Research › peer-review

  49. Published

    Relational algebra by way of adjunctions

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

    Research output: Contribution to conference › Conference abstract for conference › Research

  50. Published

    Massively-parallel best subset selection for ordinary least-squares regression

    Gieseke, F., Polsterer, K. L., Mahabal, A., Igel, Christian & Heskes, T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.

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

  51. Published

    Convolutional neural networks for transient candidate vetting in large-scale surveys

    Gieseke, F., Bloemen, S., van den Bogaard, C., Heskes, T., Kindler, J., Scalzo, R. A., Ribeiro, V. A. R. M., van Roestel, J., Groot, P. J., Yuan, F., Möller, A. & Tucker, B. E., Dec 2017, In: Monthly Notices of the Royal Astronomical Society. 472, 3, p. 3101-3114 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  52. Published

    Bigger buffer k-d trees on multi-many-core systems

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).

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

  53. 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 journal › Journal article › Research

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

  55. Published

    Buffer k-d trees: processing massive nearest neighbor queries on GPUs

    Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).

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

  56. Published

    Polynomial runtime bounds for fixed-rank unsupervised least-squares classification

    Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).

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

  57. Published

    Asymmetry quantization and application to human mandibles

    Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).

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

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

  59. Published

    Nonlinear configurations for superlinear speedup by supercompilation

    Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.

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

  60. Published

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

    Research output: Contribution to journal › Journal article › Research › peer-review

  61. Published

    Introduction to Valentin Turchin’s cybernetic foundation of mathematics

    Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31

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

  62. 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 journal › Editorial › Research

  63. Published

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

    Research output: Contribution to journal › Journal article › Research › peer-review

  64. 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 journal › Journal article › Research › peer-review

  65. 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 journal › Journal article › Research › peer-review

  66. 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/Report › Ph.D. thesis › Research

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

  68. Published

    Incremental exact min-cut in poly-logarithmic amortized update time

    Goranci, G., Henzinger, M. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 46. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  69. Published

    Mass Preserving Registration for lung CT

    Gorbunova, V., Lo, P. C. P., Loeve, M., Tiddens, H., Sporring, Jon, Nielsen, Mads & de Bruijne, Marleen, 2009, Proceedings of the SPIE: Medical Imaging 2009: Image Processing. Vol. 7259. 10 p. (Proceedings of the SPIE, Vol. 7259).

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

  70. Published

    I3T: Intensity Interferometry Imaging Telescope

    Gori, P. M., Vakili, F., Rivet, J. P., Guerin, W., Hugbart, M., Chiavassa, A., Vakili, Adrien, Kaiser, R. & Labeyrie, G., 2021, In: Monthly Notices of the Royal Astronomical Society. 505, 2, p. 2328-2335

    Research output: Contribution to journal › Journal article › Research › peer-review

  71. Published

    Feature-space clustering for fMRI meta-analysis: Human Brain Mapping

    Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, In: Human Brain Mapping. 13, 3, p. 165-183 19 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  72. Published

    Finite element modeling of the vocal folds with deformable interface tracking

    Granados, A., Brunskog, J., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014, Forum Acusticum. European Acoustics Association, 9 p.

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

  73. Published

    A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision

    Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, In: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 p., e02793.

    Research output: Contribution to journal › Journal article › Research › peer-review

  74. Published

    Optimally streaming greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).

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

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

  76. Published

    Parsing with Regular Expressions & Extensions to Kleene Algebra

    Grathwohl, N. B. B., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 197 p.

    Research output: Book/Report › Ph.D. thesis › Research

  77. Published

    KAT + B!

    Grathwohl, N. B. B., Kozen, D. & Mamouras, K., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery, 10 p. 44

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

  78. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).

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

  79. Published

    Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

    Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 284-297 14 p.

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

  80. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  81. Published

    Open Design at the Intersection of Making and Manufacturing

    Green, D., Fuchsberger, V., Kirk , D., Taylor, N., Chatting, D., Meissner, J., Murer, M., Tscheligi, M., Lindtner, S., Bjorn, Pernille & Reiter, A., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 542-549 8 p.

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

  82. Published

    Dark patterns in proxemic interactions: a critical perspective

    Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.

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

  83. Published

    Position paper on COVID-19 imaging and AI: From the clinical needs and technological challenges to initial AI solutions at the lab and national level towards a new era for AI in healthcare

    Greenspan, H., Estepar, R. S. J., Niessen, W. J., Siegel, E. & Nielsen, Mads, 2020, In: Medical Image Analysis. 66, 11 p., 101800.

    Research output: Contribution to journal › Journal article › Research › peer-review

  84. 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 journal › Journal article › Research › peer-review

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

  86. Published

    Editorial, SEA 2014 Special Issue

    Gudmundsson, J. & Katajainen, J., 5 Apr 2016, In: Journal of Experimental Algorithmics. 21, 1 p., 1.1.

    Research output: Contribution to journal › Editorial › Research

  87. Published

    Compressing spatio-temporal trajectories

    Gudmundsson, J., Katajainen, J., Merrick, D., Ong, C. & Wolle, T., 2009, In: Computational Geometry. 42, 9, p. 825-841 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  88. Published

    Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, Proceedings

    Gudmundsson, J. (ed.) & Katajainen, J. (ed.), 2014, Springer. 466 p. (Lecture notes in computer science, Vol. 8504).

    Research output: Book/Report › Book › Research › peer-review

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

  90. Published

    A SVD Based Image Complexity Measure

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.

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

  91. Published

    Geometric and Texture Inpainting by Gibbs Sampling

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Proceedings SSBA 2007: Symposium on inage analysis, Linköping, March 14-14, 2007. Borga, M., Brun, A. & Felsberg, M. (eds.). Linköpings Universitet, 4 p. (Institutionen för medicinsk teknik, Universitetet i Linköping; No. LiU-IMT-R-0047).

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

  92. Published

    Image Inpainting by Cooling and Heating

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Springer, p. 591-600 10 p. (Lecture notes in computer science; No. 4522).

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

  93. Published

    Multi-Scale Natural Images: A database and some statistics

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, Proceedings of 16'th Danish Conference on Pattern Recognition and Image Analysis (DSAGM) 2008. Olsen, S. I. (ed.). Department of Computer Science, University of Copenhagen, 2 p. (DIKU Technical Report; No. 08-10).

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

  94. Published

    On the Rate of Structural Change in Scale Spaces

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim, Lauze, Francois Bernard & Nielsen, Mads, 2009, Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM) 09. Springer, Vol. 5567. p. 832-843 11 p. (Lecture notes in computer science, Vol. 5567/209).

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

  95. Published

    Differences in smartphone usage: validating, evaluating, and predicting mobile user intimacy

    Gustarini, M., Scipioni, M. P., Fanourakis, M. & Wac, Katarzyna, 2016, In: Pervasive and Mobile Computing. 33, p. 50-72 23 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  96. 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 journal › Journal article › Research › peer-review

  97. Published

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

  98. Published

    Heuristic methods for single link shared backup path protection

    Haahr, J. T., Stidsen, T. & Zachariasen, M., 2014, In: Journal of Heuristics. 20, 5, p. 539-560 22 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  99. 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 journal › Journal article › Research › peer-review

  100. Published

    Generating graphs packed with paths: Estimation of linear approximations and differentials

    Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  101. Published

    A standard-driven implementaion of WS-BPEL 2.0

    Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.

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

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

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

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

  105. Published

    Local mean multiphase segmentation with HMMF models

    Hansen, J. D. K. & Lauze, Francois Bernard, 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. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).

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

  106. 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/Report › Ph.D. thesis › Research

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

  108. Published

    (Automated) software modularization using community detection

    Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).

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

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

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

  111. Published

    On the impact of medical device regulations on software architecture

    Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.

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

  112. Published

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  113. Published

    Lyngby 2.0 - A Modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  114. 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/Report › Ph.D. thesis › Research

  115. Published

    Ensemble learned vaccination uptake prediction using web search queries

    Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.

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

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

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

  118. 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 journal › Journal article › Research › peer-review

  119. Published

    Faster k-SAT algorithms using biased-PPSZ

    Hansen, T. D., Kaplan, H., Zamir, O. & Zwick, U., 2019, STOC: ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 578-589

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

  120. Published

    Learning Language-Independent Representations of Verbs and Adjectives from Multimodal Retrieval

    Hansen, V. P. B. & Søgaard, Anders, 2019, Proceedings - 14th International Conference on Signal-Image Technology and Internet Based Systems, SITIS. IEEE, p. 427-434 8 p.

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

  121. Published

    Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl

    Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434

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

  122. Published

    Knot detection in X-ray images of wood planks using dictionary learning

    Hansson, N. M., Enescu, A. & Brandt, S. S., 2015, Proceedings of the 14th IAPR International Conference on Machine Vision Applications (MVA). IEEE, p. 497-500 4 p. 7153239

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

  123. 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 journal › Journal article › Research › peer-review

  124. Published

    Few-Shot Cross-Lingual Stance Detection with Sentiment-Based Pre-Training

    Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10729-10737.

    Research output: Contribution to journal › Conference article › Research › peer-review

  125. Published

    Cross-Domain Label-Adaptive Stance Detection

    Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 9011-9028

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

  126. Published

    Computational biology: a programming perspective

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).

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

  127. 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 journal › Journal article › Research › peer-review

  128. Published

    Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)

    Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 p.

    Research output: Contribution to conference › Paper › Research

  129. 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 journal › Conference article › Research › peer-review

  130. Published

    Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

    Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

    Research output: Book/Report › Anthology › Research › peer-review

  131. 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 journal › Journal article › Research › peer-review

  132. Published

    Natural metrics and least-committed priors for articulated tracking

    Hauberg, S., Sommer, Stefan Horst & Steenstrup Pedersen, Kim, 2012, In: Image and Vision Computing. 30, 6-7, p. 453-461 9 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  133. Published

    A random Riemannian metric for probabilistic shortest-path tractography

    Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 597-604 8 p. (Lecture notes in computer science, Vol. 9349).

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

  134. Published

    A physically natural metric for human motion and the associated Brownian motion model

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011.

    Research output: Contribution to conference › Conference abstract for conference › Research

  135. 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 journal › Journal article › Research › peer-review

  136. Published

    Dense marker-less three dimensional motion capture

    Hauberg, S., Jensen, B. R., Engell-Nørregård, M. P., Erleben, Kenny & Steenstrup Pedersen, Kim, 2010. 4 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  137. Published

    HUMIM software for articulated tracking

    Hauberg, S. & Steenstrup Pedersen, Kim, 2012, Datalogisk Institut, Københavns Universitet: Faculty of Science, University of Copenhagen. 7 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport).

    Research output: Book/Report › Report › Research

  138. Published

    Grassmann averages for scalable robust PCA

    Hauberg, S., Feragen, A. & Black, M. J., 2014, Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition: CVPR 2014. IEEE, p. 3810-3817 8 p. (I E E E Conference on Computer Vision and Pattern Recognition. Proceedings, Vol. 2014).

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

  139. Published

    Predicting articulated human motion from spatial processes

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011, In: International Journal of Computer Vision. 94, 3, p. 317-334 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  140. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

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

  141. Published

    Comparing modalities and feedback for peripheral interaction

    Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.

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

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

  143. Published

    Interactive visual facets to support fluid exploratory search

    He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, T. & Jacucci, G., 2023, In: Journal of Visualization. 26, p. 211–230

    Research output: Contribution to journal › Journal article › Research › peer-review

  144. Published

    Interactive Visual Facets to Support Fluid Exploratory Search

    He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, Tuukka & Jacucci, G., 2021, 14th International Symposium on Visual Information Communication and Interaction, VINCI 2021. Association for Computing Machinery, p. 1-10 3481565. (ACM International Conference Proceeding Series).

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

  145. Published

    Usability and User Experience Information in Reviews

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

    Research output: Book/Report › Ph.D. thesis › Research

  146. Published

    Lost in translation: Authorship attribution using frame semantics

    Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).

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

  147. Published

    Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation

    Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.

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

  148. Published

    Extracting usability and user experience information from online user reviews

    Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.

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

  149. Published

    Many-core architectures boost the pricing of basket options on adaptive sparse grids

    Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1

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

  150. Published

    On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy

    Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).

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

  151. Published

    Deep learning and computer vision techniques for microcirculation analysis: A review

    Helmy, M., Truong, T. T., Jul, Eric & Ferreira, P., 2023, In: Patterns. 4, 1, 100641.

    Research output: Contribution to journal › Review › Research › peer-review

  152. 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 proceeding › Comment › Communication

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

  154. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  155. Published

    Modal intersection types, two-level languages, and staged synthesis

    Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).

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

  156. 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 journal › Editorial › Research

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

  158. Published

    POETS: Process-oriented Enterprise Transaction Systems

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  159. Published

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

    Research output: Book/Report › Report › Communication

  160. Published

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

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

  161. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/Report › Report › Research

  162. 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/Report › Report › Research

  163. Published

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

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

  164. Published

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  165. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  166. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

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

  168. Published

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186

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

  169. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paper › Research

  170. 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 journal › Conference article › Research › peer-review

  171. 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 journal › Comment/debate › Research › peer-review

  172. Published

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

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

  173. Published

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

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

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

  175. Published

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  176. Published

    Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

    Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102

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

  177. Published

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627

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

  178. Published

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 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. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  179. Published

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

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

    Research output: Working paper › Research

  180. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journal › Comment/debate › Research

  181. 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 journal › Journal article › Research › peer-review

  182. Published

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 p.

    Research output: Contribution to conference › Paper › Research

  183. Published

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.

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

  184. Published

    Investigating pointing tasks across angularly coupled display areas

    Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 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. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).

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

  185. Published

    NyS 29: Nydanske studier & almen kommunikationsteori

    Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, København: Dansklærerforeningen. 133 p.

    Research output: Book/Report › Book › Research

  186. Published

    NyS 30 : Nydanske studier: Korpuslingvistik

    Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, Akademisk Forlag. 128 p.

    Research output: Book/Report › Book › Research

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

  188. Published

    Inverse Kinematics using Quaternions: Graduate project, 7.5 ECTS, Supervisor: Kenny Erleben

    Henriksen, Knud, Erleben, Kenny & Engell-Nørregård, M., 2008, Department of Computer Science: Museum Tusculanum. 22 p.

    Research output: Book/Report › Report › Research

  189. 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 journal › Journal article › Research › peer-review

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

  191. Published

    Design and Implementation of the Futhark Programming Language

    Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  192. Published

    Design and GPGPU performance of Futhark's redomap construct

    Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.

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

  193. Published

    Compiling generalized histograms for GPU

    Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

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

  194. Published

    Bounds checking: an instance of hybrid analysis

    Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.

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

  195. Published

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

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

  196. Published

    Modular Acceleration: Tricky Cases of Functional High-performance Computing

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.

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

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

  198. Published

    APL on GPUs: a TAIL from the Past, scribbled in Futhark

    Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

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

  199. Published

    Designing information visualizations for elite soccer children's different levels of comprehension

    Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13

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

  200. Published

    Køpsala: Transition-Based Graph Parsing via Efficient Training and Effective Encoding

    Hershcovich, Daniel, De Lhoneux, M., Kulmizev, A., Pejhan, E. & Nivre, J., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. Association for Computational Linguistics, p. 236-244

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

  201. Published

    Computer support for documentation work

    Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.

    Research output: Book/Report › Report › Research › peer-review

  202. Published

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, In: ACM Transactions on Computer Human Interaction. 3, 2, p. 136-161 26 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  203. Published

    Information Retrieval in a Work Setting: A Case Study of the Documentation Part of Chemists’ Work

    Hertzum, M., 1993, Proceedings of the 16th IRIS Information Systems Research Seminar in Scandinavia. University of Copenhagen, p. 786-798 13 p.

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

  204. 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 journal › Journal article › Research › peer-review

  205. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

    Research output: Contribution to conference › Paper › Research › peer-review

  206. Published

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, In: Information Infrastructure and Policy. 4, 2, p. 107-129 23 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  207. Published

    Hardness of deriving invertible sequences from finite state machines

    Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).

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

  208. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  209. Published

    Algorithms and AI in Education

    Hjuler, N. O. D., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

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

  211. Published

    Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa

    Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., Aug 1993, In: Acta Tropica. 54, 2, p. 105-15 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  212. Published

    Immune responses to band 3 neoantigens on Plasmodium falciparum-infected erythrocytes in subjects living in an area of intense malaria transmission are associated with low parasite density and high hematocrit value

    Høgh, Birthe, Petersen, E., Crandall, I., Gottschau, A. & Sherman, I. W., Oct 1994, In: Infection and Immunity. 62, 10, p. 4362-6 5 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  213. Published

    Deterministic Group Tractography with Local Uncertainty Quantification

    Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).

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

  214. Published

    Contracting a planar graph efficiently

    Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

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

  215. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., Nov 2017, In: Theory of Computing Systems. 61, 4, p. 1054-1083 30 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  216. Published

    Planar reachability in linear space and constant time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 370-389 20 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  217. Published

    Faster fully-dynamic minimum spanning forest

    Holm, J., Rotenberg, E. & Wulff-Nilsen, Christian, 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 742-753 12 p. (Lecture notes in computer science, Vol. 9294).

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

  218. Published

    Dynamic bridge-finding in Õ(log2 n) amortized time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.

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

  219. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, J. & Rotenberg, E., 2015, 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (eds.). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 434-446 13 p.

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

  220. Published

    Local Models for Data Driven Inverse Kinematics of Soft Robots

    Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (ed.). The Eurographics Association, 1 p.

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

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

  222. Published

    Commentary: Usability and Theory Building

    Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, 2, p. 186-189

    Research output: Contribution to journal › Comment/debate › Research

  223. 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 journal › Journal article › Research

  224. 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 journal › Journal article › Research

  225. Published

    Flexible displays, rigid designs?

    Hornbæk, Kasper, 2015, In: Computer. 48, 3, p. 92-96 5 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  227. 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 journal › Journal article › Research › peer-review

  228. 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 journal › Journal article › Research › peer-review

  229. Published

    Do Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99

    Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, p. 179-186

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

  230. Published

    Is once enough? on the extent and content of replications in human-computer interaction

    Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.

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

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

  232. 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 journal › Journal article › Research › peer-review

  233. Published

    Input from usability evaluation in the form of problems and redesigns: result from inerviews with developers

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Workshop on Improving the Interplay between Usability Evaluation. and User Interface design, NordiCHI 2004, p. ?

    Research output: Contribution to journal › Journal article › Research › peer-review

  234. 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 journal › Journal article › Research › peer-review

  235. 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 journal › Journal article › Research › peer-review

  236. 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 journal › Journal article › Research › peer-review

  237. 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/Report › Report › Communication

  238. Published

    Comparing usability problems and redesign proposal as input to practical systems development

    Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400

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

  239. 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 journal › Journal article › Research › peer-review

  240. 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 journal › Journal article › Research › peer-review

  241. Published

    Comparison of Techniques for Matching of Usability-Problem Descriptions

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Interacting with Computers. 20, 6, p. 505-514

    Research output: Contribution to journal › Journal article › Research › peer-review

  242. Published

    Making use of business goals in usability evaluation: an experiment with novice evaluators

    Hornbæk, Kasper & Frøkjær, Erik, 2008, CHI 2008: 26th Annual SIGCHI Conference on Human Factors in Computing Systems, April 5-10, 2008, Florence, Italy, Conference Proceedings. Burnett, M., Constabile, M. F., Catarci, T., Ruyter, B. D., Tan, D., Czerwinski, M. & Lund, A. (eds.). Association for Computing Machinery, Vol. 1. p. 903-912 9 p.

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

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

  244. Published

    A Study of the Evaluator Effect in Usability Testing

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Human-Computer Interaction. 23, 3, p. 251-277 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  245. Published

    Detection of traffic signs in real-world images: the German traffic sign detection benchmark

    Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.

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

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

  247. Published

    Constructing visual representations: investigating the use of tangible tokens

    Huron, S., Jansen, Y. & Carpendale, S., 2014, In: I E E E Transactions on Visualization and Computer Graphics. 20, 12, p. 2102-2111 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  248. Published

    Bounding component sizes of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, In: Information Processing Letters. 104, 5, p. 159-163

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  250. Published

    Editorial: project reports

    Igel, Christian, Mar 2017, In: KI - Künstliche Intelligenz. 31, 1, p. 1-1 1 p.

    Research output: Contribution to journal › Editorial › Research

  251. Published

    No free lunch theorems: limitations and perspectives of metaheuristics

    Igel, Christian, 2014, Theory and principled methods for the design of metaheuristics. Borenstein, Y. & Moraglio, A. (eds.). Springer, p. 1-23 23 p. (Natural Computing Series).

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

  252. Published

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, In: I E E E Transactions on Evolutionary Computation. 17, 3, p. 345-352 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  253. Published

    Evolutionary kernel learning

    Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.

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

  254. 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 proceeding › Book chapter › Communication

  255. Published

    Nettjournalisten

    Indahl, N. G., 2002, 1 ed. Kristiansand: IJ-forlaget. 107 p.

    Research output: Book/Report › Book › Education

  256. Published

    Nettjournalisten

    Indahl, N. G., 2007, 2 ed. Kristiansand: IJ-forlaget. 151 p.

    Research output: Book/Report › Book › Education

  257. Published

    Pretreatment qEEG biomarkers for predicting pharmacological treatment outcome in major depressive disorder: Independent validation from the NeuroPharm study

    Ip, C. T., Olbrich, S., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Köhler-Forsberg, K., Dam, V. H., Beniczky, S., Jørgensen, Martin Balslev, Frøkjær, Vibe Gedsø, Søgaard, B., Christensen, S. R. & Knudsen, Gitte Moos, Aug 2021, In: European Neuropsychopharmacology. 49, p. 101-112 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  258. Published

    Pre-intervention test-retest reliability of EEG and ERP over four recording intervals

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L. B., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Knudsen, Gitte Moos & Christensen, S. R., 1 Dec 2018, In: International Journal of Psychophysiology. 134, p. 30-43

    Research output: Contribution to journal › Journal article › Research › peer-review

  259. Published

    BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, p. S59. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  260. 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 journal › Journal article › Research › peer-review

  261. Published

    Growing the Blockchain information infrastructure

    Jabbar, K. & Bjorn, Pernille, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6487-6498 12 p.

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

  262. Published

    Fast output-sensitive matrix multiplication

    Jacob, R. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 766-778 13 p. (Lecture notes in computer science, Vol. 9294).

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

  263. Published

    Higher-order spatial accuracy in diffeomorphic image registration

    Jacobs, H. O. & Sommer, Stefan Horst, 2014, In: Geometry, Imaging and Computing. 1, 4, p. 447-484 38 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  264. Published

    Functional benefits and patient satisfaction with upper blepharoplasty - evaluated by objective and subjective outcome measures

    Jacobsen, A. G., Brost, B., Vorum, H. & Hargitai, J., Dec 2017, In: Acta Ophthalmologica. 95, 8, p. 820-825 6 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  267. Published

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).

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

  268. Published

    Proxemics for information visualization on wall-sized displays

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

    Research output: Contribution to conference › Paper › Research

  269. Published

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

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

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

  270. Published

    Information visualization and proxemics: design opportunities and empirical findings

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  272. Published

    Is moving improving? Some effects of locomotion in wall-display interaction

    Jakobsen, M. R. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4169-4178 10 p.

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

  273. Published

    Interactive visualizations on large and small displays: the interrelation of display size, information space, and scale

    Jakobsen, M. R. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2336-2345 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  274. 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 journal › Journal article › Research › peer-review

  275. Published

    A psychophysical investigation of size as a physical variable

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  277. Published

    Opportunities and challenges for data physicalization

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

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

  278. Published

    Les représentations physiques de données

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

    Research output: Contribution to journal › Journal article › Research

  279. Published

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

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

    Research output: Contribution to conference › Paper › Research › peer-review

  280. Published

    Experimental evaluation of local heaps

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

    Research output: Working paper › Research

  281. Published

    An experimental evaluation of navigation piles

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

    Research output: Working paper › Research

  282. Published

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

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

    Research output: Book/Report › Ph.D. thesis › Research

  283. Published

    An extended truth about heaps

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

    Research output: Working paper › Research

  284. Published

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

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

    Research output: Book/Report › Report › Research

  285. 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 journal › Journal article › Research › peer-review

  286. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  287. Published

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

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

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  288. Published

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

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

    Research output: Contribution to conference › Paper › Research

  289. Published

    Locally orderless registration for diffusion weighted images

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

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

  290. 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 journal › Journal article › Research › peer-review

  291. 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 journal › Journal article › Research › peer-review

  292. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  293. 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 journal › Journal article › Research › peer-review

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

  295. Published

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

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

    Research output: Book/Report › Report › Research

  296. Published

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

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

    Research output: Book/Report › Report › Research

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

  298. Published

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

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

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

  299. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  301. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  302. Published

    Improving coordination of care centers for the elderly through IT support

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

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

  303. Published

    A swiss pocket knife for computability

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

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

  304. Published

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

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

    Research output: Contribution to journal › Letter › Research › peer-review

  305. 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 journal › Letter › Research › peer-review

  306. 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 conference › Paper › Research › peer-review

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

  308. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  309. Published

    MULTIFIN: A Dataset for Multilingual Financial NLP

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

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

  310. Published

    Join inverse categories and reversible recursion

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  311. Published

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

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

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  312. Published

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

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

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

  313. Published

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

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

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

  314. 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 journal › Journal article › Research › peer-review

  315. Published

    Learning density independent texture features

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

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

  316. Published

    Railway Asset Detection and Geolocation

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

    Research output: Book/Report › Ph.D. thesis › Research

  317. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  318. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  319. 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 proceeding › Conference abstract in proceedings › Research › peer-review

  320. 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 journal › Journal article › Research › peer-review

  321. Published

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

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

    Research output: Contribution to conference › Conference abstract for conference › Research

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

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

  324. Published

    Finding significantly connected voxels based on histograms of connection strengths

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

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

  325. Published

    Making operations on standard-library containers strongly exception safe

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

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

  326. Published

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

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

    Research output: Working paper › Research

  327. Published

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

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

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

  328. Published

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

    Katajainen, J., 2007, 39 p.

    Research output: Working paper › Research

  329. Published

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

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

    Research output: Working paper › Research

  330. Published

    Essays on C++ concepts

    Katajainen, J., 2008, 14 p.

    Research output: Working paper › Research

  331. 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/Report › Report › Research › peer-review

  332. Published

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

    Katajainen, J., 2005, 9 p.

    Research output: Working paper › Research

  333. Published

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

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

    Research output: Book/Report › Report › Research

  334. Published

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

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

    Research output: Book/Report › Anthology › Research › peer-review

  335. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  336. Published

    Dynamic-array kernels

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

    Research output: Book/Report › Report › Research

  337. 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 paper › Research

  338. Published

    All-in-one implementation framework for binary heaps

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  339. Published

    Stronger guarantees for standard-library containers

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

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

  340. Published

    Vector framework: Electronic appendix

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

    Research output: Working paper › Research

  341. Published

    On the power of structural violations in priority queues

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

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

  342. Published

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

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

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

  343. Published

    All-in-one implementation framework for binary heaps

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

    Research output: Book/Report › Report › Research

  344. Published

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

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

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

  345. Published

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

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

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

  346. Published

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

    Katajainen, J., 2005, 37 p.

    Research output: Working paper › Research

  347. 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/Report › Report › Research

  348. Published

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

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

    Research output: Book/Report › Report › Research

  349. Published

    Priority-queue framework: Programs

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

    Research output: Working paper › Research

  350. Published

    Mini-project: Safe standard-library containers

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

    Research output: Working paper › Research

  351. Published

    Research proposal: Practical data structures and algorithm

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

    Research output: Book/Report › Report › Research

  352. Published

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

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

    Research output: Book/Report › Report › Research

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

  354. 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 paper › Research

  355. Published

    Proceedings of the 6th STL Workshop

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

    Research output: Book/Report › Book › Research

  356. Published

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

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

    Research output: Working paper › Research

  357. 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 paper › Research

  358. Published

    Project performance engineering: final report

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

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

  359. Published

    Project practical data structures and algorithms: Final report

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

    Research output: Book/Report › Book › Research

  360. Published

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

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

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

  361. Published

    Assessing the implications of cellular network performance on mobile content access

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  362. Published

    More compact oracles for approximate distances in undirected planar graphs

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

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

  363. Published

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

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

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

  364. Published

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

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

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

  365. Published

    Declarative cartography: in-database map generalization of geospatial datasets

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

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

  366. Published

    Faster worst case deterministic dynamic connectivity

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

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

  367. Published

    Area and Volume Restoration in Elastically Deformable Solids

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  368. Published

    Area and volume restoration in elastically deformable solids

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

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

  369. Published

    Computer-supported patient involvement in heart rehabilitation

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

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

  370. Published

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

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

    Research output: Contribution to conference › Paper › Research › peer-review

  371. Published

    Heritage: having a say

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

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

  372. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  373. Published

    Characterizing languages by normalization and termination in string rewriting

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

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

  374. Published

    Interactive Instruction in Bayesian Inference

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  375. Published

    Benefits of visualization in the mammography problem

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  377. 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/Report › Ph.D. thesis › Research

  378. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  379. Published

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

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

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

  380. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  381. Published

    Abaris: Evaluating automated capture applied to structured autism interventions

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

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

  382. Published

    Applications of health information exchange information to public health practice

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

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

  383. Published

    Information retrieval pathways for health information exchange in multiple care settings

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  384. Published

    Governance structures impact on eHealth

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  385. 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/Report › Ph.D. thesis › Research

  386. Published

    E-prescription across Europe

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  387. Published

    Interoperability after deployment: persistent challenges and regional strategies in Denmark

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  388. Published

    eHealth in Denmark: a case study

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  389. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  390. Published

    Mapping telemedicine efforts: surveying regional initiatives in Denmark

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  391. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  392. Published

    Construction and impromptu repair of an MST in a distributed network with o(m) communication

    King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 71-80 10 p.

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

  393. Published

    High-Entropy Oxides in the Mullite-Type Structure

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  394. Published

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

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

    Research output: Book/Report › Book › Research › peer-review

  395. Published

    Preface

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

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

  396. Published

    Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings

    Klein, S. (ed.), Staring, M. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2018, Springer. 127 p. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 10883).

    Research output: Book/Report › Anthology › Research › peer-review

  397. Published

    Automatic Calibration of High Density Electric Muscle Stimulation

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

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

  402. Published

    Linear hashing is awesome

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  403. Published

    New Results on Hashing, Labeling Schemes and Algorithms

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

    Research output: Book/Report › Ph.D. thesis › Research

  404. Published

    Linear hashing is awesome

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

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

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

  406. Published

    Additive spanners: a simple construction

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

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

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

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

  409. 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 journal › Journal article › Research › peer-review

  410. 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 journal › Journal article › Research › peer-review

  411. Published

    Mobile health care: Towards a commercialization of research results

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

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

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

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

  414. Published

    Complexity hierarchies and higher-order cons-free term rewriting

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  415. Published

    Complexity of conditional term rewriting

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  416. Published

    Complexity hierarchies and higher-order cons-free rewriting

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

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

  417. Published

    Mandatory voluntarism: negotiating technology in Denmark

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

    Research output: Contribution to journal › Journal article › Research

  418. 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 journal › Journal article › Research

  419. Published

    Context Matters in Disorder Based Protein Communication

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

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  420. Published

    A framework for data mining in wind power time series

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

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

  421. Published

    On the intriguing number 1001

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  422. Published

    Maurice F. Shutler (1931-2015) obituary

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

    Research output: Contribution to journal › Comment/debate › Research

  423. Published

    A CMA-ES with multiplicative covariance matrix updates

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

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

  424. Published

    CMA-ES with optimal covariance update and storage complexity

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

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

  425. Published

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

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

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

  426. Published

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

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

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

  427. Published

    Distribution Learning in Evolutionary Strategies and Restricted Boltzmann Machines

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

    Research output: Book/Report › Ph.D. thesis › Research

  428. Published

    Multi-objective optimization with unbounded solution sets

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

    Research output: Contribution to conference › Paper › Research › peer-review

  429. Published

    Population Monte Carlo meets contrastive divergence learning

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

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

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

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

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

  433. Published

    Active and Adaptive Learning from Biased Data with Applications in Astronomy

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

    Research output: Book/Report › Ph.D. thesis › Research

  434. 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 proceeding › Conference abstract in proceedings › Research

  435. Published

    Active learning with support vector machines

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

    Research output: Contribution to journal › Review › Research › peer-review

  436. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  437. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  438. Published

    Fusion of parallel array operations

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

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

  439. Published

    Battling memory requirements of array programming through streaming

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

    Research output: Contribution to journal › Conference article › Research › peer-review

  440. Published

    Classification of Alzheimer and MCI phenotypes on MRI data using SVM

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

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

  441. Published

    Most Likely Separation of Intensity and Warping Effects in Image Registration

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  442. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  443. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  444. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  445. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  447. Published

    Predicting Treatment Outcome in Major Depressive Disorder Using Serotonin 4 Receptor PET Brain Imaging, Functional MRI, Cognitive-, EEG-Based, and Peripheral Biomarkers: A NeuroPharm Open Label Clinical Trial Protocol

    Köhler-Forsberg, K., Jørgensen, Anders, Dam, V. H., Stenbæk, Dea Siggaard, Fisher, P. M., Ip, C. T., Ganz, Melanie, Poulsen, Henrik Enghusen, Giraldi, Annamaria Giovanna Elena, Ozenne, Brice Maxime Hugues, Jørgensen, Martin Balslev, Knudsen, Gitte Moos & Frøkjær, Vibe Gedsø, 2020, In: Frontiers in Psychiatry. 11, 15 p., 641.

    Research output: Contribution to journal › Journal article › Research › peer-review

  448. Published

    Differential geometry and stochastic dynamics with deep learning numerics

    Kühnel, L., Sommer, Stefan Horst & Arnaudon, A., 2019, In: Applied Mathematics and Computation. 356, p. 411-437 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  450. Published

    Stochastic Modelling on Manifolds

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

    Research output: Book/Report › Ph.D. thesis › Research

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

  452. 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 journal › Journal article › Research

  453. Published

    Computational anatomy in Theano

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

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

  454. Published

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

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

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  455. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  456. Published

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

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

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

  457. Published

    Automatic correction of dental artifacts in PET/MRI

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  458. Published

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

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

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

  459. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  460. Published

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

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

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

  461. Published

    Infrastructures for healthcare: from synergy to reverse synergy

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

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  463. Published

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

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

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

  464. Published

    Heavy hitters via cluster-preserving clustering

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

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

  465. Published

    Kunsten at vejlede et konstruktionsprojekt

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  466. Published

    A MuDDy Experience-ML Bindings to a BDD Library

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

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

  467. Published

    Growth analysis of individual abdominal atherosclerotic calcified deposits

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

    Research output: Contribution to conference › Conference abstract for conference › Research

  468. Published

    Growth Pattern of Atherosclerotic Calcifications

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

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

  469. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  470. Published

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

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

    Research output: Book/Report › Anthology › Research

  471. Published

    Preface

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

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

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

  473. 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 journal › Journal article › Research › peer-review

  474. 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 journal › Journal article › Research › peer-review

  475. Published

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

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

    Research output: Contribution to journal › Review › Research › peer-review

  476. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  477. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  478. 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 journal › Journal article › Research › peer-review

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

  480. Published

    Preface

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

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

  481. Published

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

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

    Research output: Contribution to conference › Paper › Research › peer-review

  482. Published

    OneSpace: shared depth-corrected video interaction

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

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

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

  484. 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 journal › Journal article › Research › peer-review

  485. Published

    Multiple-instance learning as a classifier combining problem

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  486. Published

    Field report for Platform mBox: Designing an Open MMLA Platform

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

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

  487. 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 journal › Journal article › Communication

  488. Published

    Augmented reality views for occluded interaction

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

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

  489. Published

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

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

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  490. 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 journal › Journal article › Research › peer-review

  491. Published

    Perceptions of presence: discursive and embodied experiences in global collaboration

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

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

  492. 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 journal › Journal article › Research › peer-review

  493. Published

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

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

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

  494. Published

    Non-compositional term dependence for information retrieval

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

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

  495. Published

    Evaluation measures for relevance and credibility in ranked lists

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

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

  496. Published

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

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

    Research output: Contribution to conference › Paper › Research › peer-review

  497. Published

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

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

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

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

  499. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  500. Published

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

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

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

Previous 1 2 3 4 Next