Datalogisk Institut

  1. Udgivet

    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. (red.). Department of Science Education, University of Copenhagen, s. 13-31 19 s. (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 7).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  2. Udgivet

    Use and misuse of mobile health information technologies for health self-management

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, I: Annals of Behavioral Medicine. 50, Supplement 1, s. 314 1 s., D106.

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

  3. Udgivet

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, apr. 2017, I: Journal of Medical Internet Research. 19, 4, 12 s., e123.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Usability and User Experience Information in Reviews

    Hedegaard, S., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  5. Udgivet

    Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation

    Hornbæk, Kasper & Frøkjær, Erik, 2004, I: International Journal of Human-Computer Interaction. 17(3), s. 357-374

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

    Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  8. Udgivet

    Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring

    Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, I: IEEE Transactions on Medical Imaging. 35, 5, s. 1322-1331 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Unsupervised behaviour-specific dictionary learning for abnormal event detection

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2015, Proceedings of the British Machine Vision Conference 2015. Xie, X., Jones, M. W. & Tam, G. K. L. (red.). BMVA, s. 28.1-28.13 13 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  10. Udgivet

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (red.). Association for Computational Linguistics, Bind 1. s. 2028-2038 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1...4 5 6 7 8 9 10 11 ...171 Næste