Datalogisk Institut

Læs mere
71 - 80 ud af 1.704Pr. side: 10
Sortering: Udgivelsesår
  1. 2021
  2. Udgivet

    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, I: Communications Biology . 4, 1, 15 s., 1030.

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

  3. Udgivet

    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, I: Clinical Physiology and Functional Imaging. 41, 1, s. 10-24 15 s.

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

  4. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning

  5. Udgivet

    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. (red.). Association for Computing Machinery, Inc., s. 396-407

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

  6. Udgivet

    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, I: NeuroImage. 225, 12 s., 117460.

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

  7. Udgivet

    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. (red.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  8. Udgivet

    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. (red.). Springer Science and Business Media Deutschland GmbH, s. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12834 LNCS).

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

  9. Udgivet

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

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

  10. Udgivet

    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, I: Proceedings of the VLDB Endowment. 14, 13, s. 3348–3361

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

  11. Udgivet

    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, Bind CoRR 2020. s. 3892-3898 (arXiv.org).

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

Forrige 1...4 5 6 7 8 9 10 11 ...171 Næste