Department of Computer Science

Read more
981 - 990 out of 1,707Page size: 10
  1. 2014
  2. 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

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

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

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

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

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

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

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

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

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

Previous 1...95 96 97 98 99 100 101 102 ...171 Next