Department of Computer Science

Read more
51 - 100 out of 1,703Page size: 50
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

  26. Published

    Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

    Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

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

  27. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

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

  28. Published

    Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring

    Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.

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

  29. Published

    Unsupervised behaviour-specific dictionary learning for abnormal event detection

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2015, Proceedings of the British Machine Vision Conference 2015. Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA, p. 28.1-28.13 13 p.

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

  30. Published

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.

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

  31. Published

    Unsupervised Evaluation for Question Answering with Transformers

    Muttenthaler, L., Augenstein, Isabelle & Bjerva, J., 2020, Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP. Association for Computational Linguistics, p. 83-90

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

  32. Published

    Unscented Kalman filtering on Riemannian manifolds

    Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.

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

  33. Published

    University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier

    Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).

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

  34. Published

    University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming

    Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.

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

  35. Published

    Universets big data

    Stensbo-Smidt, K., 2015, Naturen i computeren. Det Natur- og Biovidenskabelige Fakultet, Københavns Universitet, p. 14-15 2 p. (Temahæfte, Vol. 2015).

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

  36. Published

    Union-find with constant time deletions

    Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.

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

  37. Published

    Understanding patient experience: a deployment study in cardiac remote monitoring

    Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.

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

  38. Published

    Understanding behaviors in videos through behavior-specific dictionaries

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2020, Researchgate.net, 58 p.

    Research output: Working paper › Preprint › Research

  39. Published

    Understanding affordance, system state, and feedback in shape-changing buttons

    Tiab, J. S. S. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2752-2763 12 p.

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

  40. Published

    Unbounded population MO-CMA-ES for the bi-objective BBOB test suite

    Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.

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

  41. Published

    Unary resolution: characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).

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

  42. Published

    UNSUPERVISED MACHINE LEARNING ON BASELINE BRAIN MRI IDENTIFIES MCI SUBGROUP WITH A FASTER DECLINE OVER TWO YEARS COMPARED TO CLASSICAL HIPPOCAMPAL SPARING AD SUBTYPE

    Sørensen, L., Pai, A., Nielsen, Mads, Leverenz, J. B. & Pillai, J. A., 2019, In: Alzheimer's & Dementia. 15, 7, p. P1420 1 p., P4-326.

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

  43. Published

    U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging

    Perslev, Mathias, Hejselbak Jensen, M., Darkner, Sune, Jørgen Jennum, P. & Igel, Christian, 1 Oct 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). NIPS Proceedings, Vol. 32. p. 4415-4426

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

  44. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

  45. Published

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

  46. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report › Research

  47. Published

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.

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

  48. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.

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

  49. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.

    Research output: Working paper › Research

  50. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

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