Datalogisk Institut

  1. 2018
  2. 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

  3. Udgivet

    Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks

    Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  4. Udgivet

    Chains, antichains, and complements in infinite partition lattices

    Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, I: Algebra Universalis. 79, 37, 21 s., 37.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes

    Schmidtke, R. & Erleben, Kenny, 2018, I: IEEE Transactions on Visualization and Computer Graphics. 24, 12, s. 3044-3057

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    Classification of Alzheimer and MCI phenotypes on MRI data using SVM

    Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, s. 263-275 (Advances in Intelligent Systems and Computing, Bind 678).

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

  7. Udgivet

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 s.

    Publikation: KonferencebidragPaperForskning

  8. Udgivet

    Collocation for diffeomorphic deformations in medical image registration

    Darkner, Sune, Pai, A. S. U., Liptrot, M. G. & Sporring, Jon, 2018, I: I E E E Transactions on Pattern Analysis and Machine Intelligence. 40, 7, s. 1570-1583

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Commentary: Usability and Theory Building

    Hornbæk, Kasper, 2018, I: Human-Computer Interaction. 33, 2, s. 186-189

    Publikation: Bidrag til tidsskriftKommentar/debatForskning

  10. Udgivet

    Comparing fully automated state-of-the-art cerebellum parcellation from magnetic resonance images

    Carass, A., Cuzzocreo, J. L., Han, S., Hernandez-Castillo, C. R., Rasser, P. E., Ganz, M., Beliveau, V., Dolz, J., Ben Ayed, I., Desrosiers, C., Thyreau, B., Romero, J. E., Coupé, P., Manjón, J. V., Fonov, V. S., Collins, D. L., Ying, S. H., Onyike, C. U., Crocetti, D., Landman, B. A. & 3 flere, Mostofsky, S. H., Thompson, P. M. & Prince, J. L., 2018, I: NeuroImage. 183, s. 150-172 23 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  11. Udgivet

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  12. Udgivet

    Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

    Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (red.). Frederiksberg: Samfundslitteratur, s. 121-143 23 s. (Medier, Kommunikation, Journalistik).

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

  13. Udgivet

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 587-604 18 s.

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

  14. Udgivet

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).

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

  15. Udgivet

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

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

  16. Udgivet

    Deep Learning from Label Proportions for Emphysema Quantification

    Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (red.). Springer, s. 768-776 (Lecture notes in computer science, Bind 11071).

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

  17. Udgivet

    Designing eTextiles for the Body: Shape, Volume Motion

    Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, s. 728-731

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

  18. Udgivet

    Dynamic bridge-finding in Õ(log2 n) amortized time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 35-52 18 s.

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

  19. Udgivet

    Eight Aspects of Actions in Improvement Plans

    Carstensen, Peter & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, s. 147-158 (Communications in Computer and Information Science, Bind 896).

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

  20. Udgivet

    Encryption and reversible computations: Work-in-progress paper

    Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).

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

  21. Udgivet

    Ensemble support vector machine classification of dementia using structural MRI and mini-mental state examination

    Sørensen, L. & Nielsen, Mads, 2018, I: Journal of Neuroscience Methods. 302, SI, s. 66-74

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  22. Udgivet

    Fast fencing

    Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, s. 564-573

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

  23. Udgivet

    Foreword to the Special Section on VRIPHYS 2018

    Andrews, S., Erleben, Kenny, Jaillet, F. & Zachmann, G., 2018, I: Computers and Graphics (Pergamon). 76, s. A3-A4

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  24. Udgivet

    Formal proof of polynomial-time complexity with quasi-interpretations

    Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, s. 146-157

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

  25. Udgivet

    From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Bind 1. s. 907-916 10 s.

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

  26. Udgivet

    From Quantified Self to Quality of Life

    Wac, Katarzyna, 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (red.). Springer, s. 83-108 (Health Informatics Series).

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

  27. Udgivet

    From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

    Rasmussen, Jesper, Nielsen, J., Olsen, Søren Ingvor, Steenstrup Pedersen, Kim, Jensen, J. E. & Horfarter, R., 2018, 18th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, s. 75 1 s.

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

  28. Udgivet

    Generating graphs packed with paths: Estimation of linear approximations and differentials

    Hall-Andersen, M. & Vejre, P. S., 2018, I: IACR Transactions on Symmetric Cryptology. 2018, 3, s. 265-289 25 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  29. Udgivet

    I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

    Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 s. 378

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

  30. Udgivet

    Improving the Choice of Organizational Change Strategy

    Pries-Heje, J., Carstensen, Peter, Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, s. 83-94 (Communications in Computer and Information Science, Bind 896).

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

  31. Udgivet

    Infrastructures for healthcare: from synergy to reverse synergy

    Langhoff, T. O., Amstrup, M. H., Mørck, P. & Bjorn, Pernille, 2018, I: Health Informatics Journal. 24, 1, s. 43-53

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  32. Udgivet

    Interactive Instruction in Bayesian Inference

    Khan, A., Breslav, S. & Hornbæk, Kasper, 2018, I: Human-Computer Interaction. 33, s. 207–233

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  33. Udgivet

    LED-based Photometric Stereo: Modeling, Calibration and Numerical Solutions

    Quéau, Y., Durix, B., Wu, T., Cremers, D., Lauze, Francois Bernard & Durou, J., 2018, I: Journal of Mathematical Imaging and Vision. 60, 3, s. 313-340

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  34. Udgivet

    Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl

    Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, s. 427-434

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

  35. Udgivet

    Local Models for Data Driven Inverse Kinematics of Soft Robots

    Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (red.). The Eurographics Association, 1 s.

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

  36. Udgivet

    Mean Field Network Based Graph Refinement with Application to Airway Tree Extraction

    Selvan, Raghav, Welling, M., Pedersen, J. J. H., Petersen, Jens & de Bruijne, Marleen, 2018, Medical Image Computingand Computer AssistedIntervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16–20, 2018, Proceedings, Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (red.). Springer, s. 750-758 (Lecture notes in computer science, Bind 11071).

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

  37. Udgivet

    Modular Acceleration: Tricky Cases of Functional High-performance Computing

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (red.). New York, NY, USA: Association for Computing Machinery, s. 10-21 12 s.

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

  38. Udgivet

    Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

    Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Bind 1. s. 1896–1906 11 s.

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

  39. Udgivet

    Multitask and Multilingual Modelling for Lexical Analysis

    Bjerva, J., 2018, I: KI - Künstliche Intelligenz. 32, 4, s. 287-290

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  40. Udgivet

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (red.). Association for Computing Machinery, s. 259-274

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

  41. Udgivet

    Return of the features: efficient feature selection and interpretation for photometric redshifts

    D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, I: Astronomy & Astrophysics. 616, 21 s., A97.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  42. Udgivet

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144

    Publikation: Bidrag til tidsskriftLederForskning

  43. Udgivet

    Robust Active Label Correction

    Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Bind 84. s. 308-316 9 s. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Bind 84).

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

  44. Udgivet

    Robust training of recurrent neural networks to handle missing data for disease progression modeling

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 s.

    Publikation: KonferencebidragPaperForskning

  45. Udgivet

    Segmentation of Brains and Rocks from Tomographic Reconstructions

    Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 s.

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

  46. Udgivet

    Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs

    Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, Mads & Pai, A. S. U., 2018. 8 s.

    Publikation: KonferencebidragPaperForskning

  47. Udgivet

    Sluice resolution without hand-crafted features over brittle syntax trees

    Rønning, Ola, Hardt, D. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Bind 1. s. 236–241

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

  48. Udgivet

    Special Topic: Taking Action in a Changing World

    Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, I: interactions. 25, 1, s. 34-45 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

  49. Udgivet

    State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation

    Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, I: International Affairs. 95, 5, s. 975-994

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  50. Udgivet

    Stochastic Modelling on Manifolds

    Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  51. Udgivet

    The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 8 s. 81. (CEUR Workshop Proceedings, Bind 2125).

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

Forrige 1 2 3 4 5 6 7 8 ...35 Næste