Datalogisk Institut

  1. 2018
  2. Udgivet

    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. (red.). 10 udg. CEUR-WS.org, 10 s. 98. (CEUR Workshop Proceedings, Bind 2125).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    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, s. 1-13 483

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    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, s. 65-73

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    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. (red.). Society for Industrial and Applied Mathematics, s. 441-456

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    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. (red.). Society for Industrial and Applied Mathematics, s. 867-880 14 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    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, s. 78-88

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. Udgivet

    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. (red.). Association for Computational Linguistics, Bind 1. s. 2028-2038 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  10. Udgivet

    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 s. a19

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  11. Udgivet

    Within-Network Classification in Temporal Graphs

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    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, s. 188-198

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  13. 2017
  14. Udgivet

    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, I: Journal of Medical Internet Research. 19, 12, 12 s., e416.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  15. Udgivet

    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, I: Computers & Graphics. 69, s. 36-48 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  16. Udgivet

    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, I: Journal of Low Power Electronics. 13, 4, s. 633-641 9 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  17. Udgivet

    Automated execution of financial contracts on blockchains

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  18. Udgivet

    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, I: Monthly Notices of the Royal Astronomical Society. 472, 3, s. 3101-3114 14 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  19. Udgivet

    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, I: Acta Ophthalmologica. 95, 8, s. 820-825 6 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  20. Udgivet

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 411-423 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  21. Udgivet

    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, I: Measurement Science and Technology. 28, 12, 19 s., 124004.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  22. Udgivet
  23. Udgivet

    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

    Publikation: AndetAndet bidragForskning

  24. Udgivet

    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, I: European Radiology. 27, 11, s. 4680-4689 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  25. Udgivet

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., nov. 2017, I: Theory of Computing Systems. 61, 4, s. 1054-1083 30 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  26. Udgivet

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., nov. 2017, I: IEEE Computer Graphics and Applications. 37, 6, s. 26-27 2 s.

    Publikation: Bidrag til tidsskriftLederForskning

  27. Udgivet

    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 s. 9

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  28. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  29. Udgivet

    Coding as a social and tangible activity

    Tabel, O. L., Jensen, J., Dybdal, M. & Bjorn, Pernille, 25 okt. 2017, I: interactions. 24, 6, s. 70-73 4 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  30. Udgivet

    Neuroanatomical correlates of perceived usability

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  31. Udgivet

    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., okt. 2017, I: Journal of Clinical Nursing. 26, 19-20, s. 3018-3030 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  32. Udgivet

    On predicting student performance using low-rank matrix factorization techniques

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  33. Udgivet

    On-Skin Interaction Using Body Landmarks

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  34. Udgivet

    Reordering buffer management with advice

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  35. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 14. (Leibniz International Proceedings in Informatics, Bind 84).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  36. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 s. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 87).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  37. Udgivet

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., sep. 2017, I: Annals of Operations Research. 256, 1, s. 21-40 20 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  38. Udgivet

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., sep. 2017, I: ACM Transactions on Computation Theory. 9, 3, 7 s., 14.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  39. Udgivet

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., sep. 2017, I: Journal of the ACM. 64, 4, 22 s., 27.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  40. Udgivet

    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, I: Journal of Cranio-Maxillofacial Surgery. 45, 9, s. 1448-1457 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  41. Udgivet

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 aug. 2017, I: Politiken. s. 7-8 2 s.

    Publikation: Bidrag til tidsskriftBidrag til avis - KronikFormidling

  42. Udgivet

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 aug. 2017, I: Logical Methods in Computer Science. 13, 3, 29 s., 8.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  43. Udgivet

    I/O-Efficient Similarity Join

    Pagh, R., Pham, N., Silvestri, F. & Stöckel, M., 1 aug. 2017, I: Algorithmica. 78, 4, s. 1263-1283

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  44. Udgivet

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., aug. 2017, I: Cognitive Systems Research. 44, s. 40-49 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  45. Udgivet

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., aug. 2017, I: Theory of Computing Systems. 61, 2, s. 606-636 31 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  46. Udgivet

    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, I: Cancer Epidemiology. 49, s. 53-60 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  47. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., aug. 2017, I: International Journal of Foundations of Computer Science. 28, 5, s. 503-522 20 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  48. Udgivet

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 jul. 2017, I: Monthly Notices of the Royal Astronomical Society. 468, 4, s. 4323-4339 17 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  49. Udgivet

    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, s. 350-359 10 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  50. Udgivet

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., jul. 2017, I: RAIRO - Theoretical Informatics and Applications. 51, 3, s. 121-133 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  51. Udgivet

    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, I: Alzheimer's & Dementia. 13, 7, supplement, s. P1356 1 s., P4-225.

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

  52. Udgivet

    Supervised scale-regularized linear convolutionary filters

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt