Datalogisk Institut

Læs mere
91 - 100 ud af 1.703Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  2. Udgivet

    Identifying Partial Mouse Brain Microscopy Images from the Allen Reference Atlas Using a Contrastively Learned Semantic Space

    Antanavicius, J., Leiras, Roberto & Selvan, Raghav, 2022, Biomedical Image Registration - 10th International Workshop, WBIR 2022, Proceedings. Hering, A., Schnabel, J., Zhang, M., Ferrante, E., Heinrich, M. & Rueckert, D. (red.). 1 udg. Springer Science and Business Media Deutschland GmbH, s. 166-176 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13386 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

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

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

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  4. Udgivet

    Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

    Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 jan. 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, s. 512-524 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11101 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (red.). Springer, s. 491-501 11 s. (Lecture notes in computer science, Bind 8283).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2015, I: Algorithmica. 73, 4, s. 623-636 14 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts

    Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, I: IEEE Transactions on Medical Imaging. 35, 3, s. 901-911 11 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  8. Udgivet

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, s. 571-582 12 s. (Lecture notes in computer science, Bind 10265).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    Probing Pre-Trained Language Models for Cross-Cultural Differences in Values

    Arora, Arnav, Kaffee, L. F. & Augenstein, Isabelle, 2022, arxiv.org, 11 s.

    Publikation: Working paper › Preprint › Forskning

  10. Udgivet

    Probing Pre-Trained Language Models for Cross-Cultural Differences in Values

    Arora, Arnav, Kaffee, L. & Augenstein, Isabelle, 2023, Proceedings of the First Workshop on Cross-Cultural Considerations in NLP (C3NLP). Association for Computational Linguistics (ACL), s. 114-130

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1...6 7 8 9 10 11 12 13 ...171 Næste