Datalogisk Institut

  1. 2023
  2. Udgivet

    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. (red.). Springer, s. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).

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

  3. 2022
  4. Udgivet

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 okt. 2022, arxiv.org, 13 s.

    Publikation: Working paperPreprintForskning

  5. Udgivet

    Constructing light spanners deterministically in near-linear time

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    The Art Gallery Problem is ∃ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 28 feb. 2022, I: Journal of the ACM. 69, 1, s. 1-70 4.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    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, I: Cellular and molecular life sciences : CMLS. 79, 9, 21 s., 484.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    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. (red.). Springer Science and Business Media Deutschland GmbH, s. 153-162 10 s. (Medical Image Learning with Limited and Noisy Data, Bind 13559).

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

  9. Udgivet

    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. (red.). SPIE, s. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Bind 12032).

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

  10. Udgivet

    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, s. 478-502

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  11. Udgivet

    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, s. 1555-1568

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  12. Udgivet

    Carbon Footprint of Selecting and Training Deep Learning Models for Medical Image Analysis

    Selvan, Raghav, Bhagwat, N., Anthony, L. F. W., Kanding, B. & Dam, Erik Bjørnager, 2022, Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference Singapore, September 18–22, 2022 Proceedings, Part V. Springer, s. 506–516 (Lecture Notes in Computer Science, Bind 13435).

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