Datalogisk Institut

  1. 2018
  2. Udgivet

    Transfer learning for multicenter classification of chronic obstructive pulmonary disease

    Cheplygina, V., Peña, I. P., Pedersen, J. J. H., Lynch, D. A., Sørensen, L. & de Bruijne, Marleen, sep. 2018, I: IEEE Journal of Biomedical and Health Informatics. 22, 5, s. 1486 - 1496

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    Veros v0.1-a fast and versatile ocean simulator in pure Python

    Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 aug. 2018, I: Geoscientific Model Development. 11, 8, s. 3299-3312

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Concrete Semantics with Coq and CoqHammer

    Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 jul. 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (red.). Springer, s. 53-59 5. (Lecture Notes in Computer Science, Bind 11006).

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

  5. Udgivet

    Power of d choices with simple tabulation

    Aamand, Anders, Knudsen, M. B. T. & Thorup, Mikkel, 1 jul. 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 s. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 107).

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

  6. Udgivet

    Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)

    Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 jul. 2018, I: International Journal of Radiation Oncology, Biology, Physics. 101, 3, s. 581-592 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    TiltStacks: Composing shape-changing interfaces using tilting and stacking of modules

    Tiab, J., Boring, S., Strohmeier, P., Markussen, A., Alexander, J. & Hornbæk, Kasper, 29 maj 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Catarci, T., Marrella, A., Leotta, F. & Mecella, M. (red.). Association for Computing Machinery, a44

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

  8. Udgivet

    Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL

    Lassen, Anders, 18 maj 2018, I: Journal of Information Technology and Software Engineering. 8, 3, 5 s., 237.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays

    Bergström, Joanna, Hornbæk, Kasper & Boring, S., 20 apr. 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564

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

  10. Udgivet

    Subclinical depressive symptoms during late midlife and structural brain alterations: A longitudinal study of Danish men born in 1953

    Osler, Merete, Sørensen, L., Rozing, M., Calvo, O. P., Nielsen, Mads & Rostrup, E., apr. 2018, I: Human Brain Mapping. 39, 4, s. 1789-1795

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  11. Udgivet

    Discourse-aware rumour stance classification in social media using sequential classifiers

    Zubiaga, A., Kochkina, E., Liakata, M., Procter, R., Lukasik, M., Bontcheva, K., Cohn, T. & Augenstein, Isabelle, mar. 2018, I: Information Processing & Management. 54, 2, s. 273-290

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  12. Udgivet

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 flere, Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, Tijs, Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., feb. 2018, I: ACM Transactions on Management Information Systems. 9, 1, 16 s., 4.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  13. Udgivet

    Driving Structural Transitions in Molecular Simulations Using the Nonequilibrium Candidate Monte Carlo

    Kurut, A., Fonseca, R. & Boomsma, Wouter, 25 jan. 2018, I: Journal of Physical Chemistry Part B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical. 122, 3, s. 1195-1204

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  14. Udgivet

    Hierarchical Clustering: Objective Functions and Algorithms

    Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 jan. 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 378-397

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

  15. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  16. Udgivet

    Stateful load balancing for parallel stream processing

    Guo, Q. & Zhou, Yongluan, 1 jan. 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (red.). Springer, s. 80-93 14 s. (Lecture notes in computer science, Bind 10659).

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

  17. Udgivet

    Graph Processing on GPUs: A Survey

    Shi, X., Zheng, Z., Zhou, Yongluan, Jin, H., He, L., Liu, B. & Hua, Q., jan. 2018, I: A C M Computing Surveys. 50, 6, 35 s., 81.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  18. Udgivet

    A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

    Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 1439-1458

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

  19. Udgivet

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 155-171

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  20. Udgivet

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, I: Logical Methods in Computer Science. 14, 3, 38 s., 16.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  21. Udgivet

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 430-440

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

  22. Udgivet

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 s. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 107).

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

  23. Udgivet

    Analysis of synchrotron X-ray tomographic data: Reconstruction and application

    Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  24. Udgivet

    Automatic Motility Analysis of Human Sperm

    Nissen, M. S., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  25. Udgivet

    Better tradeoffs for exact distance oracles in planar graphs

    Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 515-529

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

  26. Udgivet

    Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings

    Klein, S. (red.), Staring, M. (red.), Durrleman, S. (red.) & Sommer, Stefan Horst (red.), 2018, Springer. 127 s. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Bind 10883).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

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