Department of Computer Science

  1. 2018
  2. 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 proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 p.

    Research output: Contribution to conferencePaperResearch

  4. Published

    Collocation for diffeomorphic deformations in medical image registration

    Darkner, Sune, Pai, A. S. U., Liptrot, M. G. & Sporring, Jon, 2018, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 40, 7, p. 1570-1583

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Commentary: Usability and Theory Building

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

    Research output: Contribution to journalComment/debateResearch

  6. Published

    Comparing fully automated state-of-the-art cerebellum parcellation from magnetic resonance images

    Carass, A., Cuzzocreo, J. L., Han, S., Hernandez-Castillo, C. R., Rasser, P. E., Ganz, M., Beliveau, V., Dolz, J., Ben Ayed, I., Desrosiers, C., Thyreau, B., Romero, J. E., Coupé, P., Manjón, J. V., Fonov, V. S., Collins, D. L., Ying, S. H., Onyike, C. U., Crocetti, D., Landman, B. A. & 3 others, Mostofsky, S. H., Thompson, P. M. & Prince, J. L., 2018, In: NeuroImage. 183, p. 150-172 23 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  8. Published

    Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

    Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (eds.). Frederiksberg: Samfundslitteratur, p. 121-143 23 p. (Medier, Kommunikation, Journalistik).

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

  9. Published

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

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

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

  11. Published

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

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

  12. Published

    Deep Learning from Label Proportions for Emphysema Quantification

    Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

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

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

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

  15. Published

    Eight Aspects of Actions in Improvement Plans

    Carstensen, Peter & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 147-158 (Communications in Computer and Information Science, Vol. 896).

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

  16. Published

    Encryption and reversible computations: Work-in-progress paper

    Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 331-338 (Lecture notes in computer science, Vol. 11106).

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

  17. Published

    Ensemble support vector machine classification of dementia using structural MRI and mini-mental state examination

    Sørensen, L. & Nielsen, Mads, 2018, In: Journal of Neuroscience Methods. 302, SI, p. 66-74

    Research output: Contribution to journalJournal articleResearchpeer-review

  18. Published

    Fast fencing

    Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 564-573

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

  19. Published

    Foreword to the Special Section on VRIPHYS 2018

    Andrews, S., Erleben, Kenny, Jaillet, F. & Zachmann, G., 2018, In: Computers and Graphics (Pergamon). 76, p. A3-A4

    Research output: Contribution to journalJournal articleResearchpeer-review

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

  21. Published

    From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.

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

  22. Published

    From Quantified Self to Quality of Life

    Wac, Katarzyna, 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (eds.). Springer, p. 83-108 (Health Informatics Series).

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

  23. Published

    From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

    Rasmussen, Jesper, Nielsen, J., Olsen, Søren Ingvor, Steenstrup Pedersen, Kim, Jensen, J. E. & Horfarter, R., 2018, 18th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, p. 75 1 p.

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

  24. 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 journalJournal articleResearchpeer-review

  25. Published

    I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

    Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378

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

  26. Published

    Improving the Choice of Organizational Change Strategy

    Pries-Heje, J., Carstensen, Peter, Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 83-94 (Communications in Computer and Information Science, Vol. 896).

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

  27. 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 journalJournal articleResearchpeer-review

  28. 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 journalJournal articleResearchpeer-review

  29. Published

    LED-based Photometric Stereo: Modeling, Calibration and Numerical Solutions

    Quéau, Y., Durix, B., Wu, T., Cremers, D., Lauze, Francois Bernard & Durou, J., 2018, In: Journal of Mathematical Imaging and Vision. 60, 3, p. 313-340

    Research output: Contribution to journalJournal articleResearchpeer-review

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

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

  32. Published

    Mean Field Network Based Graph Refinement with Application to Airway Tree Extraction

    Selvan, Raghav, Welling, M., Pedersen, J. J. H., Petersen, Jens & de Bruijne, Marleen, 2018, Medical Image Computingand Computer AssistedIntervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16–20, 2018, Proceedings, Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 750-758 (Lecture notes in computer science, Vol. 11071).

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

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

  34. Published

    Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

    Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.

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

  35. Published

    Multitask and Multilingual Modelling for Lexical Analysis

    Bjerva, J., 2018, In: KI - Künstliche Intelligenz. 32, 4, p. 287-290

    Research output: Contribution to journalJournal articleResearchpeer-review

  36. Published

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274

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

  37. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  38. Published

    Reversible computing: foundations and software: Preface of Special Issue

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

    Research output: Contribution to journalEditorialResearch

  39. Published

    Robust Active Label Correction

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

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

  40. Published

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

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

    Research output: Contribution to conferencePaperResearch

  41. Published

    Segmentation of Brains and Rocks from Tomographic Reconstructions

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

    Research output: Book/ReportPh.D. thesisResearch

  42. Published

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

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

    Research output: Contribution to conferencePaperResearch

  43. Published

    Sluice resolution without hand-crafted features over brittle syntax trees

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

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

  44. Published

    Special Topic: Taking Action in a Changing World

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

    Research output: Contribution to journalJournal articleCommunication

  45. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  46. Published

    Stochastic Modelling on Manifolds

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

    Research output: Book/ReportPh.D. thesisResearch

  47. Published

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

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

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

  48. Published

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

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

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

  49. Published

    The Dream is Collapsing: The Experience of Exiting VR

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

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

  50. Published

    The art gallery problem is ∃ ℝ-complete

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

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

  51. Published

    The bane of low-dimensionality clustering

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

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

  52. Published

    The entropy of backwards analysis

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

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

  53. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  54. Published

    Tracking Typological Traits of Uralic Languages in Distributed Language Representations

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

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

  55. Published

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

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

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

  56. Published

    Wanding Through Space: Interactive Calibration for Electric Muscle Stimulation

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

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

  57. Published

    Within-Network Classification in Temporal Graphs

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

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

  58. Published

    zPatch: Hybrid Resistive/Capacitive eTextile Input

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

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

  59. 2017
  60. Published

    Estimating the population impact of a new pediatric influenza vaccination program in England using social media content

    Wagner, M., Lampos, V., Yom-Tov, E., Pebody, R. & Cox, Ingemar Johansson, 21 Dec 2017, In: Journal of Medical Internet Research. 19, 12, 12 p., e416.

    Research output: Contribution to journalJournal articleResearchpeer-review

  61. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  62. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  63. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  64. 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 journalJournal articleResearchpeer-review

  65. 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 journalJournal articleResearchpeer-review

  66. Published

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 411-423 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  67. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  68. Published
  69. Published

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

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

    Research output: Other contributionResearch

  70. 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 journalJournal articleResearchpeer-review

  71. 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 journalJournal articleResearchpeer-review

  72. Published

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., Nov 2017, In: IEEE Computer Graphics and Applications. 37, 6, p. 26-27 2 p.

    Research output: Contribution to journalEditorialResearch

  73. Published

    Virtual reality studies outside the laboratory

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

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

  74. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  75. Published

    Coding as a social and tangible activity

    Tabel, O. L., Jensen, J., Dybdal, M. & Bjorn, Pernille, 25 Oct 2017, In: interactions. 24, 6, p. 70-73 4 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  76. Published

    Neuroanatomical correlates of perceived usability

    Vi, C. T., Hornbæk, Kasper & Subramanian, S., 20 Oct 2017, UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 519-532 14 p.

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

  77. Published

    Isolated thoughts and feelings and unsolved concerns: adolescents' and parents' perspectives on living with type 1 diabetes - a qualitative study using visual storytelling

    Carstensøe-Seidenfaden, P., Teilmann, Grete Katrine, Kensing, Finn, Hommel, E., Olsen, B. S. & Husted, G. R., Oct 2017, In: Journal of Clinical Nursing. 26, 19-20, p. 3018-3030 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  78. Published

    On predicting student performance using low-rank matrix factorization techniques

    Lorenzen, S. S., Pham, D. N. & Alstrup, Stephen, Oct 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 326-334 9 p.

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

  79. Published

    On-Skin Interaction Using Body Landmarks

    Steimle, J., Bergström, Joanna, Weigel, M., Nittala, A. S., Boring, S., Olwal, A. & Hornbæk, Kasper, Oct 2017, In: Computer. 50, 10, p. 19-27

    Research output: Contribution to journalJournal articleResearchpeer-review

  80. Published

    Reordering buffer management with advice

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  81. Published

    Confluence of an extension of combinatory logic by Boolean constants

    Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).

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

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

  83. Published

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., Sep 2017, In: Annals of Operations Research. 256, 1, p. 21-40 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  84. Published

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., Sep 2017, In: ACM Transactions on Computation Theory. 9, 3, 7 p., 14.

    Research output: Contribution to journalJournal articleResearchpeer-review

  85. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.

    Research output: Contribution to journalJournal articleResearchpeer-review

  86. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  87. Published

    Så lyt dog til kritikken af Sundhedsplatformen

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

    Research output: Contribution to journalContribution to newspaper - Feature articleCommunication

  88. 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 journalJournal articleResearchpeer-review

  89. Published

    I/O-Efficient Similarity Join

    Pagh, R., Pham, N., Silvestri, F. & Stöckel, M., 1 Aug 2017, In: Algorithmica. 78, 4, p. 1263-1283

    Research output: Contribution to journalJournal articleResearchpeer-review

  90. 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 journalJournal articleResearchpeer-review

  91. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  92. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  93. Published

    The degree of irreversibility in deterministic finite automata

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  94. Published

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 Jul 2017, In: Monthly Notices of the Royal Astronomical Society. 468, 4, p. 4323-4339 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  95. Published

    A non-convex variational approach to photometric stereo under inaccurate lighting

    Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., Jul 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 350-359 10 p.

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

  96. Published

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  97. Published

    Hippocampal texture predicts rate of cognitive decline in mild cognitive impairment

    Pai, A. S. U., Pillai, J. A., Sørensen, L., Darkner, Sune, Sommer, Stefan Horst & Nielsen, Mads, Jul 2017, In: Alzheimer's & Dementia. 13, 7, supplement, p. P1356 1 p., P4-225.

    Research output: Contribution to journalConference abstract in journalResearch

  98. Published

    Supervised scale-regularized linear convolutionary filters

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

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

  99. Published

    Popular Politics: Comparing Popular Stories across News Media in Election Seasons

    Ørmen, Jacob & Petersen, C., 1 Jun 2017.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  100. Published

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, Jun 2017, In: Journal of Real-Time Image Processing. 13, 2, p. 345–361 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  101. Published

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

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

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

  102. Published

    Verifying procedural programs via constrained rewriting induction

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

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...17 Next