Department of Computer Science

  1. 2022
  2. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

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

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

  3. 2021
  4. 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 journalJournal articlepeer-review

  5. 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 journalJournal articlepeer-review

  6. Published

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.

    Research output: Book/ReportPh.D. thesis

  7. Published

    An algorithm for stochastic and adversarial bandits with switching costs

    Rouyer, C., Seldin, Yevgeny & Cesa-Bianchi, N., 2021, Proceedings of the 38th International Conference on Machine Learning (ICML). PMLR, p. 9127-9135 (Proceedings of Machine Learning Research, Vol. 139).

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

  8. Published

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

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

  9. Published

    Artificial intelligence surpasses gastrointestinal experts in the classification of endoscopic severity among Ulcerative Colitis

    The Presager Project, T. P. P., 2021, In: Journal of Crohn's & colitis. 15, Suppl. 1, p. S007-S007

    Research output: Contribution to journalConference abstract in journal

  10. Published

    Association of Socioeconomic Status With Dementia Diagnosis Among Older Adults in Denmark

    Petersen, Jindong Ding, Wehberg, S., Packness, A., Svensson, N. H., Hyldig, N., Raunsgaard, S., Andersen, M. K., Ryg, J., Mercer, S. W., Søndergaard, J. & Waldorff, Frans Boch, 2021, In: JAMA network open. 4, 5, 13 p., 2110432.

    Research output: Contribution to journalJournal articlepeer-review

  11. Published

    Classifying convex bodies by their contact and intersection graphs

    Aamand, A., Abrahamsen, Mikkel, Houen, Jakob Bæk Tejs & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 189).

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

  12. Published

    Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry

    Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 p.

    Research output: Book/ReportPh.D. thesis

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

  14. Published

    Data Management in Microservices: State of the Practice, Challenges, and Research Directions

    Nunes Laigner, Rodrigo, Zhou, Yongluan, Vaz Salles, M. A., Liu, Yijian & Kalinowski, M., 2021, In: Proceedings of the VLDB Endowment. 14, 13, p. 3348–3361

    Research output: Contribution to journalConference articlepeer-review

  15. Published

    Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

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

  16. 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 journalJournal articlepeer-review

  17. 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 journalJournal articlepeer-review

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

  19. Published

    Maximal unbordered factors of random strings

    Cording, P. H., Gagie, T., Knudsen, M. B. T. & Kociumaka, T., 2021, In: Theoretical Computer Science. 852, p. 78-83 6 p.

    Research output: Contribution to journalJournal articlepeer-review

  20. Published

    Multi-Hop Fact Checking of Political Claims

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

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

  21. Published

    Near-Optimal Distance Oracles for Vertex-Labeled Planar Graphs

    Evald, J., Fredslund-Hansen, V. & Wulff-Nilsen, Christian, 2021, 32nd International Symposium on Algorithms and Computation, ISAAC 2021. Ahn, H-K. & Sadakane, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 212).

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

  22. 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 journalReviewpeer-review

  23. Published

    On the convergence of the Metropolis algorithm with fixed-order updates for multivariate binary probability distributions.

    Brügge, K., Fischer, A. & Igel, Christian, 2021, Proceedings of The 24th International Conference on Artificial Intelligence and Statistic. PMLR, p. 469-477 (Proceedings of Machine Learning Research, Vol. 130).

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

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

  25. Published

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

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

  26. Published

    Robust parametric modeling of Alzheimer's disease progression

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

    Research output: Contribution to journalJournal articlepeer-review

  27. Published

    Support of closed walks and second eigenvalue multiplicity of graphs

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

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

  28. Published

    Towards Human-Centered Natural Language Processing

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

    Research output: Book/ReportPh.D. thesis

  29. Published

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

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

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

  30. 2020
  31. Published

    Iteratively Adapting Avatars using Task-Integrated Optimisation

    McIntosh, J., Zajac, Hubert Dariusz, Stefan, A., Bergström, Joanna & Hornbæk, Kasper, 1 Oct 2020, Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. 1 ed. https://dl.acm.org/doi/abs/10.1145/3379337.3415832: Association for Computing Machinery, p. 709–721

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

  32. Published

    Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV

    Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, MM., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, SN., Bearden, I., Bourjau, C. A., rtc312, R., bsm989, B., Gaardhøje, J. J. & 8 others, Ozelin De Lima Pimentel, L., Pacik, V., Nielsen, Børge Svane, Thoresen, F., Vislavicius, V., Schukraft, J., Zhou, You & Alice Collaboration, A. C., 24 Sep 2020, In: Journal of High Energy Physics (Online). 2020, 9, 34 p., 160.

    Research output: Contribution to journalJournal articlepeer-review

  33. 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 journalContribution to newspaper - Comment/debate

  34. 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 journalJournal articlepeer-review

  35. Published

    Digital Game Interventions for Youth Mental Health Services (Gaming My Way to Recovery): Protocol for a Scoping Review

    Ferrari, M., McIlwaine, S., Reynolds, J. A., Archie, S., Boydell, K., Lal, S., Shah, J. L., Henderson, J., Alvarez-Jimenez, M., Andersson, N., Boruff, J., Nielsen, R. K. L. & Iyer, S. N., Jun 2020, In: JMIR Research Protocols. 9, 6, 10 p., 13834.

    Research output: Contribution to journalReviewpeer-review

  36. Published

    Impact of adding breast density to breast cancer risk models: A systematic review

    Vilmun, B. M., Vejborg, I., Lynge, E., Lillholm, Martin, Nielsen, Mads, Nielsen, Michael Bachmann & Carlsen, Jonathan Frederik, Jun 2020, In: European Journal of Radiology. 127, 9 p., 109019.

    Research output: Contribution to journalReviewpeer-review

  37. Published

    Lung Segmentation from Chest X-rays using Variational Data Imputation

    Selvan, Raghav, Dam, Erik Bjørnager, Rischel, S., Sheng, K., Nielsen, Mads & Pai, A., 20 May 2020, In: OpenReview.net. 7 p.

    Research output: Contribution to journalConference article

  38. Published

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

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

  39. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

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

    Research output: Contribution to conferencePaperResearchpeer-review

  40. Published

    Back to the Future: Sequential Alignment of Text Representations

    Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.

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

  41. Published

    Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models

    Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  42. Published

    Chronic Obstructive Pulmonary Disease Quantification Using CT Texture Analysis and Densitometry: Results From the Danish Lung Cancer Screening Trial

    Sørensen, L., Nielsen, Mads, Petersen, Jens, Pedersen, J. H., Dirksen, A. & de Bruijne, Marleen, 2020, In: American Journal of Roentgenology. 214, 6, p. 1269-1279

    Research output: Contribution to journalJournal articlepeer-review

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

  44. 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 journalConference abstract in journalpeer-review

  45. Published

    Effects of Sleep Deprivation on Blood Glucose, Food Cravings, and Affect in a Non-Diabetic: An N-of-1 Randomized Pilot Study

    Daza, E. J., Wac, Katarzyna & Oppezzo, M., 2020, In: Healthcare. 8, 1, 17 p., 6.

    Research output: Contribution to journalJournal articlepeer-review

  46. Published

    Expander graphs are non-malleable codes

    Rasmussen, Peter Michael Reichstein & Sahai, A., 2020, 1st Conference on Information-Theoretic Cryptography, ITC 2020. Kalai, Y. T., Smith, A. D. & Wichs, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-10 6. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 163).

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

  47. Published

    Exploiting Easiness and Overcoming Delays in Online Learning

    Thune, T. S., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesis

  48. Published

    Fast hashing with strong concentration bounds

    Aamand, A., Houen, Jakob Bæk Tejs, Knudsen, M. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1265-1278 (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  49. Published

    Human accuracy in mobile data collection

    van Berkel, N., Goncalves, J., Wac, Katarzyna, Hosio, S. & Cox, A. L., 2020, In: International Journal of Human Computer Studies. 137, 4 p., 102396.

    Research output: Contribution to journalEditorialpeer-review

  50. Published

    Imperative versus Declarative Process Mining: An Empirical Comparison

    Back, C.O., Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 p.

    Research output: Working paperResearch

  51. Published

    Inducing Language-Agnostic Multilingual Representations

    Zhao, W., Eger, S., Bjerva, J. & Augenstein, Isabelle, 2020, In: arXiv.org. CoRR 2020, 12 p.

    Research output: Contribution to journalJournal article

  52. Published

    Inflammatory pathway analytes predicting rapid cognitive decline in MCI stage of Alzheimer’s disease

    Pillai, J. A., Bena, J., Bebek, G., Bekris, L. M., Bonner-Jackson, A., Kou, L., Pai, A., Sørensen, L., Nielsen, Mads, Rao, S. M., Chance, M., Lamb, B. T. & Leverenz, J. B., 2020, In: Annals of Clinical and Translational Neurology. 7, 7, p. 1225-1239 15 p.

    Research output: Contribution to journalJournal articlepeer-review

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

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