Datalogisk Institut

Læs mere
51 - 60 ud af 1.702Pr. side: 10
Sortering: Titel
  1. Udgivet

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., jun. 2017, I: ACM Transactions on Computational Logic. 18, 2, 50 s., 14.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  2. Udgivet

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, I: ACM Transactions on Graphics. 26, 2, 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  3. Udgivet

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

  4. Udgivet

    Vector framework: Electronic appendix

    Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 s.

    Publikation: Working paper › Forskning

  5. Udgivet

    Validiteten af et infektionsregistreringssystem.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 feb. 1994, I: Ugeskrift for Laeger. 156, 9, s. 1273-1275 3 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    Validation of tractography: comparison with manganese tracing

    Knösche, T. R., Anwander, A., Liptrot, M. G. & Dyrby, T. B., 2015, I: Human Brain Mapping. 36, 10, s. 4116-4134 19 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Validation of hippocampal texture for early Alzheimer’s disease detection: generalization to independent cohorts and extrapolation to very early signs of dementia

    Sørensen, L., Igel, Christian, Hansen, N. L., Lauritzen, Martin, Osler, Merete, Rostrup, Egill & Nielsen, Mads, 2014, I: Alzheimer's & Dementia. 10, 4, Supplement, s. P133 1 s.

    Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › fagfællebedømt

  8. Udgivet

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (red.), Erleben, Kenny (red.) & Galin, E. (red.), 2011

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  9. Udgivet

    VC Set Systems in Minor-free (Di)Graphs and Applications

    Le, H. & Wulff-Nilsen, Christian, 2024, s. 5332-5360. 29 s.

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  10. Udgivet

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, s. 615–1625 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 12 3 4 5 6 7 8 9 ...171 Næste