Department of Computer Science

Read more
801 - 850 out of 1,702Page size: 50
  1. 2014
  2. Published

    Promoting active participation in computer science lectures

    Sommer, Stefan Horst, 2014, Improving university science teaching and learning: pedagogical projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 209-222 14 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 › peer-review

  3. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

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

  4. Published

    Re-estimation of motion and reconstruction for distributed video coding

    Luong, H. V., Raket, L. L. & Forchhammer, S., 2014, In: I E E E Transactions on Image Processing. 23, 7, p. 2804-2819 16 p.

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

  5. Published

    Reference counting for reversible languages

    Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).

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

  6. Published

    Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

    Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).

    Research output: Book/Report › Report › Research

  7. Published

    Segmentation of B-mode cardiac ultrasound data by Bayesian Probability Maps

    Hansson, N. M., Brandt, S. S., Lindström, J., Gudmundsson, P., Jujić, A., Malmgren, A. & Cheng, Y., 2014, In: Medical Image Analysis. 18, 7, p. 1184-1199 16 p.

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

  8. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2014, In: Theoretical Computer Science. 554, p. 64-73 10 p.

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

  9. Published

    Semi-automatic tool to ease the creation and optimization of GPU programs

    Jepsen, J., 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops: ICPPW 2014. IEEE, p. 196-205 10 p.

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

  10. Published

    Shapes related to longitudinal studies of disease

    Erleben, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 90 p.

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

  11. Published

    Simultaneous registration and bilateral differential bias correction in brain MRI

    Zou, B., Pai, A. S. U., Sørensen, L. & Nielsen, Mads, 2014, Intelligent Imaging: Linking MR Acquisition and Processing.

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

  12. Published

    Size slicing: a hybrid approach to size inference in futhark

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

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

  13. Published

    Socio-technical congruence in the Ruby ecosystem

    Syeed, M. M. M., Hansen, K. M., Hammouda, I. & Manikas, K., 2014, OpenSym '14. Proceedings of The International Symposium on Open Collaboration. Association for Computing Machinery, p. 2:1-2:9 9 p.

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

  14. Published

    Sorting programs executing fewer branches

    Katajainen, J., 2014, Department of Computer Science, University of Copenhagen. 37 p. (CPH STL Report, Vol. 2014-1).

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

  15. Published

    SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces

    Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.

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

  16. Published

    Speedy greedy feature selection: better redshift estimation via massive parallelism

    Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.

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

  17. Published

    Spirometer-controlled cine magnetic resonance imaging to diagnose tracheobronchomalacia in pediatric patients

    Ciet, P., Wielopolski, P., Manniesing, R., Lever, S., de Bruijne, Marleen, Morana, G., Muzzio, P. C., Lequin, M. H. & Tiddens, H. A. W. M., 2014, In: European Respiratory Journal. 43, 1, p. 115-124 10 p.

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

  18. Published

    Steiner tree heuristics in Euclidean d-space

    E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 p.

    Research output: Contribution to conference › Paper › Research

  19. Published

    Stepwise inverse consistent Euler’s scheme for diffeomorphic image registration

    Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, p. 223-230 8 p. (Lecture notes in computer science, Vol. 8545).

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

  20. Published

    Strengthened lazy heaps: surpassing the lower bounds for binary heaps

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2014, In: arXiv.org: Computer science. arXiv:1407.3377, 14 p.

    Research output: Contribution to journal › Journal article › Research

  21. Published

    Support vector machines for active learning

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, Second European Conference on Data Analysis: program & abstracts . p. 38 1 p.

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

  22. Published

    Temporal context for authorship attribution: a study of Danish secondary schools

    Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).

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

  23. Published

    The GeoSteiner software package for computing Steiner trees in the plane: an updated computational study

    Juhl, D., Warme, D. M., Winter, Pawel & Zachariasen, M., 2014. 30 p.

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

  24. Published

    The coordination of care across borders: exchanging patient information across international, national and institutional boundaries

    Kierkegaard, P., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 208 p.

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

  25. Published

    The dark patterns of proxemic sensing

    Boring, S., Greenberg, S., Vermeulen, J., Dostal, J. & Marquardt, N., 2014, In: Computer. 47, 8, p. 56-60 5 p.

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

  26. Published

    The design space of shape-changing interfaces: a repertory grid study

    Kwak, M., Hornbæk, Kasper, Markopoulos, P. & Alonso, M. B., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 181-190 10 p.

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

  27. Published

    The uniform orientation Steiner tree problem is NP-hard

    Brazil, M. & Zachariasen, M., 2014, In: International Journal of Computational Geometry and Applications. 24, 2, p. 87-105 19 p.

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

  28. Published

    Three-dimensional carotid ultrasound plaque texture predicts vascular events

    van Engelen, A., Wannarong, T., Parraga, G., Niessen, W. J., Fenster, A., Spence, J. D. & de Bruijne, Marleen, 2014, In: Stroke. 45, p. 2695-2701 7 p.

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

  29. Published

    Towards an augmented domain decomposition method for nonsmooth contact dynamics models

    Visseq, V., Alart, P. & Dureisseix, D., 2014, In: Computational Particle Mechanics. 1, 1, p. 15-26 12 p.

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

  30. Published

    Towards certified management of financial contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.

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

  31. Published

    Towards stabilizing parametric active contours

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Kristensen, J., 2014, 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE, p. 198-203 6 p.

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

  32. Published

    Towards structure-based quality awareness in software ecosystem use

    Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).

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

  33. Published

    Training Restricted Boltzmann Machines

    Fischer, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 212 p.

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

  34. 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 journal › Journal article › Research › peer-review

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

  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

    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

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

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

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

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

  42. 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 journal › Conference abstract in journal › Research › peer-review

  43. 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 journal › Conference abstract in journal › Research › peer-review

  44. Published

    Danmark: et digitalt uland?

    Alstrup, Stephen, 21 Oct 2014

    Research output: Other contribution › Net publication - Internet publication › Communication

  45. Published

    Computer based method for determining the size of an objects in an image

    Pai, A. S. U., Sørensen, L., Dam, E. B., Lillholm, Martin & Nielsen, Mads, 4 Dec 2014, Priority date 4 Dec 2014

    Research output: Patent

  46. 2015
  47. Published

    "It’s about Business not Politics”: software development between Palestinians and Israelis

    Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.

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

  48. Published

    (Automated) software modularization using community detection

    Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).

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

  49. Published

    mQoL: experiences of the 'mobile communications and computing for quality of life' living lab

    Wac, Katarzyna, Gustarini, M., Marchanoff, J., Fanourakis, M., Tsiourti, C., Ciman, M., Hausmann, J. & Pinar, G., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 177-181 5 p.

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

  50. Published

    A CMA-ES with multiplicative covariance matrix updates

    Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 8 p.

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

  51. Published

    A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines

    Fischer, A. & Igel, Christian, 2015, In: Theoretical Computer Science. 598, p. 102-117 16 p.

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

  52. Published

    A confluent rewriting system having no computable, one-step, normalizing strategy

    Simonsen, Jakob Grue, 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

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

Previous 1...13 14 15 16 17 18 19 20 ...35 Next