Department of Computer Science

Read more
51 - 75 out of 1,703Page size: 25
Sort by: Title
  1. Published

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.

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

  2. Published

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.

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

  3. Published

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

  4. Published

    Vector framework: Electronic appendix

    Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 p.

    Research output: Working paper › Research

  5. Published

    Validiteten af et infektionsregistreringssystem.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 Feb 1994, In: Ugeskrift for Laeger. 156, 9, p. 1273-1275 3 p.

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

  6. Published

    Validation of tractography: comparison with manganese tracing

    Knösche, T. R., Anwander, A., Liptrot, M. G. & Dyrby, T. B., 2015, In: Human Brain Mapping. 36, 10, p. 4116-4134 19 p.

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

  7. Published

    Validation of hippocampal texture for early Alzheimer’s disease detection: generalization to independent cohorts and extrapolation to very early signs of dementia

    Sørensen, L., Igel, Christian, Hansen, N. L., Lauritzen, Martin, Osler, Merete, Rostrup, Egill & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P133 1 p.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  8. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/Report › Anthology › Research

  9. Published

    VC Set Systems in Minor-free (Di)Graphs and Applications

    Le, H. & Wulff-Nilsen, Christian, 2024, p. 5332-5360. 29 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  10. Published

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.

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

  11. Published

    Using gaze to predict text readability

    Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443

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

  12. Published

    Using concrete and realistic data in evaluating initial visualization designs

    Knudsen, S., Pedersen, J. G., Herdal, T. & Larsen, J. E., 2016, Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization. Association for Computing Machinery, p. 27-35 9 p.

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

  13. Published

    Using SOC in development of context-aware systems: Domain model approach

    Wac, Katarzyna, Pawar, P., Broens, T., van Beijnum, B. J. & van Halteren, A., 1 Jan 2010, Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press, p. 171-210 40 p.

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

  14. Published

    Using Priors for Improving Generalization in Non-Rigid Structure-from-Motion

    Olsen, Søren Ingvor & Bartoli, A., 2007, British Machine Vision Conference 2007: Proceedings. Rajpoot, N. & Bhalerao, A. (eds.). BMVA, Vol. 1-2. p. 1050-1059

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

  15. Published

    Using Kinect for 2D and 3D pointing tasks: performance evaluation

    Pino, A., Tzemis, E., Ioannou, N. & Kouroupetroglou, G., 2013, Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Kurosu, M. (ed.). Springer, p. 358-367 10 p. (Lecture notes in computer science, Vol. 8007).

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

  16. Published

    Using Implicit Skeleton Shape Representations for Volumetric Shell Meshing

    Erleben, Kenny, 2007, København: Museum Tusculanum. 34 p. (Rapport. Datalogisk Institut, Københavns Universitet; No. 07/04).

    Research output: Book/Report › Report › Research

  17. Published

    Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955

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

  18. Published

    User-defined gestures for elastic, deformable displays

    Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 1-8 8 p.

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

  19. Published

    User generated content search

    Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).

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

  20. Published

    User Defined Geo-referenced Information

    Konstantas, D., Villalba, A., di Marzo Serugendo, G. & Wac, Katarzyna, 2009, In: Software and Data Technologies, Communications in Computer and Information Science, Volume 47. ISBN 978-3-642-05200-2. Springer-Verlag Berlin Heidelberg, 2009, p. 1. p. 1

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

  21. Published

    Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates

    Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  22. Published

    Use and misuse of mobile health information technologies for health self-management

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, In: Annals of Behavioral Medicine. 50, Supplement 1, p. 314 1 p., D106.

    Research output: Contribution to journal › Conference abstract in journal › Research

  23. Published

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, Apr 2017, In: Journal of Medical Internet Research. 19, 4, 12 p., e123.

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

  24. Published

    Usability and User Experience Information in Reviews

    Hedegaard, S., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  25. Published

    Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374

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

Previous 1 2 3 4 5 6 7 8 ...69 Next