Department of Computer Science

  1. 2014
  2. Published

    Training restricted Boltzmann machines: an introduction

    Fischer, A. & Igel, Christian, 2014, In: Pattern Recognition. 47, 1, p. 25-39 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 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 proceedingArticle in proceedingsResearchpeer-review

  4. 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 journalJournal articleResearchpeer-review

  5. Published

    Usability and User Experience Information in Reviews

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

    Research output: Book/ReportPh.D. thesisResearch

  6. 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 proceedingBook chapterResearch

  7. 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 proceedingBook chapterResearchpeer-review

  8. 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 proceedingArticle in proceedingsResearchpeer-review

  9. 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 journalConference abstract in journalResearchpeer-review

  10. Published

    White matter hypointensity growth rate correlates with rate of brain atrophy

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P75-P76 2 p., IC-P-131.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  11. Published

    White matter hypointensity growth rate correlates with rate of brain atrophy

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P414 1 p., P1-285.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review