Department of Computer Science

  1. 2023
  2. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Towards a Dereversibilizer: Fewer Asserts, Statically

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

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

  4. 2022
  5. Published

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 Oct 2022, arxiv.org, 13 p.

    Research output: Working paperPreprintResearch

  6. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 Mar 2022, In: Theoretical Computer Science. 907, p. 82-112

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    The Art Gallery Problem is ∃ℝ-complete

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    A context-dependent and disordered ubiquitin-binding motif

    Dreier, Jesper Elmsted, Prestel, Andreas, Martins, J. M., Brøndum, S. S., Nielsen, Olaf, Garbers, Anna Engstrøm, Suga, H., Boomsma, Wouter, Rogers, Joseph Matthew, Hartmann-Petersen, Rasmus & Kragelund, Birthe Brandt, 2022, In: Cellular and molecular life sciences : CMLS. 79, 9, 21 p., 484.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Auto-segmentation of Hip Joints Using MultiPlanar UNet with Transfer Learning

    Xu, Peidi, nsv780, nsv780, Gholamalizadeh, T., Nielsen, Michael Bachmann, Erleben, Kenny & Darkner, Sune, 2022, Medical Image Learning with Limited and Noisy Data: First International Workshop, MILLanD 2022 Held in Conjunction with MICCAI 2022 Singapore, September 22, 2022 Proceedings. Zamzmi, G., Antani, S., Rajaraman, S., Xue, Z., Bagci, U. & Linguraru, M. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 153-162 10 p. (Medical Image Learning with Limited and Noisy Data, Vol. 13559).

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

  10. Published

    Benefits of auxiliary information in deep learning-based teeth segmentation

    Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).

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

  11. Published

    Body-based user interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, Joanna, Jansen, Y. & Hornbæk, Kasper, 2022, The Routledge Handbook of Bodily Awareness. Taylor and Francis/Routledge, p. 478-502

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

  12. Published

    Can AMR Assist Legal and Logical Reasoning?

    Schrack, Nikolaus Alexander, Cui, Ruixiang, López, H. A. & Hershcovich, Daniel, 2022, Findings of the Association for Computational Linguistics: EMNLP 2022. Association for Computational Linguistics, p. 1555-1568

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

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