Department of Computer Science

Read more
201 - 225 out of 1,703Page size: 25
  1. 2018
  2. Published

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

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

    Research output: Book/Report › Anthology › Research › peer-review

  3. Published

    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.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  4. Published

    Chains, antichains, and complements in infinite partition lattices

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    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, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    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 p.

    Research output: Contribution to conference › Paper › Research

  8. Published

    Collocation for diffeomorphic deformations in medical image registration

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

    Commentary: Usability and Theory Building

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

    Research output: Contribution to journal › Comment/debate › Research

  10. Published

    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 others, Mostofsky, S. H., Thompson, P. M. & Prince, J. L., 2018, In: NeuroImage. 183, p. 150-172 23 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  11. Published

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

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

    Research output: Book/Report › Ph.D. thesis › Research

  12. Published

    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. (eds.). Frederiksberg: Samfundslitteratur, p. 121-143 23 p. (Medier, Kommunikation, Journalistik).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  13. Published

    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. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  14. Published

    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, p. 304-321 (Lecture notes in computer science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  15. Published

    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. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  16. Published

    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. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  17. Published

    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, p. 728-731

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  18. Published

    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. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  19. Published

    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, p. 147-158 (Communications in Computer and Information Science, Vol. 896).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  20. Published

    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, p. 331-338 (Lecture notes in computer science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  21. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  22. Published

    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, p. 564-573

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  23. Published

    Foreword to the Special Section on VRIPHYS 2018

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  24. Published

    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, p. 146-157

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  25. Published

    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, Vol. 1. p. 907-916 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  26. Published

    From Quantified Self to Quality of Life

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

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Previous 1...5 6 7 8 9 10 11 12 ...69 Next