Department of Computer Science

Read more
71 - 80 out of 1,677Page size: 10
  1. 2021
  2. 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 journal › Journal article › Research › peer-review

  3. 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 journal › Review › Research › peer-review

  4. 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 journal › Conference abstract in journal › Research

  5. 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 proceeding › Article in proceedings › Research › peer-review

  6. 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 journal › Journal article › Research › peer-review

  7. 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 proceeding › Article in proceedings › Research

  8. 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 proceeding › Article in proceedings › Research › peer-review

  9. 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 proceeding › Article in proceedings › Research › peer-review

  10. 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 journal › Conference article › Research › peer-review

  11. 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 proceeding › Article in proceedings › Research › peer-review

Previous 1...4 5 6 7 8 9 10 11 ...168 Next