Department of Computer Science

Read more
911 - 920 out of 1,707Page size: 10
  1. 2014
  2. Published

    Designing garbage-free reversible implementations of the integer cosine transform

    De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

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

  3. Published

    Designing usable web forms- Empirical evaluation of web form improvement guidelines

    Seckler, M., Heinz, S., Bargas-Avila, J. A., Opwis, K. & Tuch, A. N., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 1275-1284 10 p.

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

  4. Published

    Detecting disease outbreaks in mass gatherings using internet data

    Yom-Tov, E., Borsa, D., Cox, Ingemar Johansson & McKendry, R. A., 2014, In: Journal of Medical Internet Research. 16, 6, e154.

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

  5. Published

    Disjoint domains interactions framework for hyperelastic simulations

    Bonde, U., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014. 2 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  6. Published

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

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

  7. Published

    Dynamic and multi-functional labeling schemes

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2014, Algorithms and Computation: 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer, p. 141-153 13 p. (Lecture notes in computer science).

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

  8. Published

    Editorial

    Gherardi, S., Østerlund, C. & Kensing, Finn, 2014, In: Information Technology and People. 27, 4

    Research output: Contribution to journal › Editorial › Research › peer-review

  9. Published

    Effect of inspiration on airway dimensions measured in maximal inspiration CT images of subjects without airflow limitation

    Petersen, Jens, Wille, M. M. W., Raket, L. L., Feragen, A., Pedersen, J. H., Nielsen, Mads, Dirksen, A. & de Bruijne, Marleen, 2014, In: European Radiology. 24, 9, p. 2319-2325 7 p.

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

  10. Published

    Emphysema progression is visually detectable in low-dose CT in continuous but not in former smokers

    Wille, M. M. W., Thomsen, L. H., Dirksen, A., Petersen, Jens, Pedersen, J. J. H. & Shaker, S. B., 2014, In: European Radiology. 24, 11, p. 2692-2699 8 p.

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

  11. Published

    Estimating the thickness of ultra thin sections for electron microscopy by image statistics

    Sporring, Jon, Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R. & Jensen, E. B. V., 2014, 2014 IEEE International Symposium on Biomedical Imaging. IEEE, p. 157-160 4 p.

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

Previous 1...88 89 90 91 92 93 94 95 ...171 Next