Department of Computer Science

  1. 2015
  2. Published

    Automatic correction of dental artifacts in PET/MRI

    Ladefoged, C. N., Andersen, F. L., Keller, S., Beyer, T., Law, I., Højgaard, Liselotte, Darkner, Sune & Lauze, Francois Bernard, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024009.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Automatic galaxy classification via machine learning techniques: Parallelized rotation/flipping INvariant Kohonen maps (PINK)

    Polsterer, K. L., Gieseke, Fabian Cristian & Igel, Christian, 2015, Astronomical Data Analysis Software and Systems: Proceedings of a meeting held at Calgary, Alberta, Canada 5-9 October 2014. Taylor, A. R. & Rosolowsky, E. (eds.). Astronomical Society of the Pacific, Vol. 24. p. 81-86 6 p. (ASP Conference Series, Vol. 495).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Automatic identification of web-based risk markers for health events

    Yom-Tov, E., Borsa, D., Hayward, A. C., McKendry, R. A. & Cox, Ingemar Johansson, 2015, In: Journal of Medical Internet Research. 17, 1, e29.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Automatic segmentation of high-and low-field knee MRIs using knee image quantification with data from the osteoarthritis initiative

    Dam, Erik Bjørnager, Lillholm, Martin, Marques, J. & Nielsen, Mads, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024001.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Behind the NAT??? A measurement based evaluation of cellular service quality

    Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2015, Network and Service Management (CNSM), 2015 11th International Conference on. IEEE, p. 228-236 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Benefits of visualization in the mammography problem

    Khan, A., Breslav, S., Glueck, M. & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Studies. 83, p. 94-113 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 p.

    Research output: Contribution to conferencePaperResearch

  9. Published

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Calculating correct compilers

    Bahr, P. & Hutton, G., 2015, In: Journal of Functional Programming. 25, 47 p., e14.

    Research output: Contribution to journalJournal articleResearchpeer-review

  11. Published

    Caring for Participation in STS: from empowered patients to Ghostbusters

    Nielsen, K. D., 2015, In: EASST Review. 34, 2

    Research output: Contribution to journalJournal articleCommunication