Department of Computer Science

Read more
801 - 825 out of 1,702Page size: 25
  1. 2015
  2. Published

    PRAGMA-CF. A quantitative structural lung disease CT outcome in young children with cystic fibrosis

    Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 191, 10, p. 1158-1165 8 p.

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

  3. Published

    Parsing with Regular Expressions & Extensions to Kleene Algebra

    Grathwohl, N. B. B., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 197 p.

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

  4. Published

    Perceptions of presence: discursive and embodied experiences in global collaboration

    Lindekilde, R. & Bjorn, Pernille, 2015, ECIS 2015 Proceedings. 17 p.

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

  5. Published

    Planar reachability in linear space and constant time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 370-389 20 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  6. Published

    Population Monte Carlo meets contrastive divergence learning

    Krause, Oswin, Fischer, A. & Igel, Christian, 2015, Machine learning reports: Workshop New Challenges in Neural Computation 2015. Hammer, B., Martinetz, M. & Villmann, T. (eds.). p. 93-94 2 p.

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

  7. Published

    Pre-harvest assessment of perennial weeds in cereals based on images from unmanned aerial systems (UAS)

    Egilsson, J., Steenstrup Pedersen, Kim, Olsen, Søren Ingvor, Nielsen, J., Ntakos, G. & Rasmussen, Jesper, 2015. 1 p.

    Research output: Contribution to conference › Poster › Research

  8. Published

    Proceedings of Math on the rocks: shape analysis workshop in Grundsund

    Modin, K. (ed.) & Sommer, Stefan Horst (ed.), 2015, Chalmers tekniska högskola. 42 p.

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

  9. Published

    Proceedings of the fifth international workshop on Mathematical Foundations of Computational Anatomy (MFCA 2015)

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2015, INRIA. 173 p.

    Research output: Book/Report › Anthology › Research

  10. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

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

  11. Published

    Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies

    Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.

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

  12. Published

    Quality of life technologies: experiences from the field and key challenges

    Wac, Katarzyna, Fiordelli, M., Gustarini, M. & Rivas, H., 2015, In: I E E E Internet Computing. 19, 4, p. 28-35 8 p.

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

  13. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

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

  14. Published

    Quicksort, largest bucket, and min-wise hashing with limited independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).

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

  15. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.

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

  16. Published

    ReNLoc: an anchor-free localization algorithm for indirect ranging

    Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.

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

  17. Published

    Realizability toposes from specifications

    Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.

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

  18. Published

    Reduction by Lie Group symmetries in diffeomorphic image registration and deformation modelling

    Sommer, Stefan Horst & Jacobs, H. O., 2015, In: Symmetry. 7, 2, p. 599-624 26 p.

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

  19. Published

    Relevance sampling

    Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).

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

  20. Published

    Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable

    Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.

    Research output: Contribution to journal › Journal article › Research

  21. Published

    Reversibility of trapped air on chest computed tomography in cystic fibrosis patients

    Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.

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

  22. Published

    Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics

    Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).

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

  23. Published

    Sample(x)=(a*x< =t) is a distinguisher with probability 1/8

    Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  24. Published

    Scalable conditional induction variables (CIV) analysis

    Oancea, Cosmin Eugen & Rauchwerger, L., 2015, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'15). IEEE Computer Society Press, p. 213-224 12 p.

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

  25. Published

    Serum AMH levels are lower in healthy boys who develop pubertal gynaecomastia

    Mieritz, M. G., Hagen, C. P., Almstrup, Kristian, Petersen, Jørgen Holm, Raket, L. L., Sommer, Stefan Horst & Juul, A., 2015, In: Hormone Research in Paediatrics. 84, Supplement 1, p. 290-291 2 p., P2-526.

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

  26. Published

    Session types for rust

    Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.

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

Previous 1...29 30 31 32 33 34 35 36 ...69 Next