Datalogisk Institut

  1. Udgivet

    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. (red.). Springer, s. 141-153 13 s. (Lecture notes in computer science).

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

  2. Udgivet

    A simple and optimal ancestry labeling scheme for trees

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2015, Automata, languages, and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 564-574 11 s. (Lecture notes in computer science, Bind 9135).

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

  3. Udgivet

    Nearest neighbor classification using bottom-k sketches

    Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, s. 28-34 7 s.

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

  4. Udgivet

    Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries

    Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, s. 773-774

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

  5. Udgivet

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 s. (DIKU teknisk rapport; Nr. 5, Bind 98).

    Publikation: Working paper

  6. Udgivet

    Toward integrated automated analysis of articular cartilage and trabecular bone in osteoarthritis

    Dam, Erik Bjørnager, dec. 2008, I: Academic Radiology. 15, 12, s. 1479-81 3 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  7. Udgivet

    Automatic shape model building based on principal geodesic analysis bootstrapping

    Dam, Erik Bjørnager, Fletcher, P. T. & Pizer, S. M., apr. 2008, I: Medical Image Analysis. 12, 2, s. 136-51 16 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Three-dimensional scan data analysis method for diagnosis of joint pathology, involves determining measure of three-dimensional local curvature within load bearing area of cartilage, at scale arranged to result in specific measure

    Dam, E. B., Folkesson, J. M., Pettersen, P., Olsen, O. F., Nielsen, Mads & Christiansen, C., 2007, IPC nr. G06T-007/00, Patentnr. WO2007048463-A1, 3 maj 2007, Prioritetsdato 24 okt. 2005, Prioritetsnr. GB021640

    Publikation: Patent

  9. Udgivet

    Method for identifying region of interest (ROI) in human organ for performing e.g. knee cartilage quantification, involves calculating weight of feature of image in map for minimizing sample size needed to discriminate between groups

    Dam, E. B., Nielsen, Mads, Qazi, A. A., Lillholm, Martin & Jørgensen, D. R., 2010, IPC nr. G06K-009/00, Patentnr. US2010232671-A1, 16 sep. 2010, Prioritetsdato 17 dec. 2008, Prioritetsnr. US203094P

    Publikation: Patent

  10. Udgivet

    Three dimensional image data analysis method for diagnosis and prognosis of e.g. osteoarthritis, involves comparing measured value representative of homogeneity of medial area with previously obtained values of healthy joints

    Dam, E. B., Qazi, A. A., Karsdal, M., Petterson, P. C., Nielsen, Mads & Christiansen, C., 2008, IPC nr. G06T-007/00, Patentnr. WO2008034845-A2 , 27 mar. 2008, Prioritetsdato 19 sep. 2006, Prioritetsnr. GB018417

    Publikation: Patent

  11. Udgivet

    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, I: SPIE Journal of Medical Imaging. 2, 2, 13 s., 024001.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  12. Udgivet

    GPU accelerated tandem traversal of blocked bounding volume hierarchy collision detection for multibody dynamics

    Damkjær, J. & Erleben, Kenny, 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. s. 115-124

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

  13. Udgivet

    Computing continuous-time Markov chains as transformers of unbounded observables

    Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).

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

  14. Udgivet

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520

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

  15. Udgivet

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, J. & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Economics and Computation. 10, 1, s. 1-39 3.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  16. Udgivet

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  17. Udgivet

    FDG-PET template MNI152 1mm

    Darkner, Sune, 2013

    Publikation: Bidrag der ikke har en tekstformDatasætForskning

  18. Udgivet

    A hyper elasticity method for interactive virtual design of hearing aids: a parallel method for general non-linear hyper elasticity modeling

    Darkner, Sune & Erleben, Kenny, 2011, I: Visual Computer. 27, 6, s. 645-653 9 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  19. Udgivet

    Locally orderless registration

    Darkner, Sune & Sporring, Jon, 2013, I: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 6, s. 1437-1450 14 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  20. Udgivet

    Collocation for diffeomorphic deformations in medical image registration

    Darkner, Sune, Pai, A. S. U., Liptrot, M. G. & Sporring, Jon, 2018, I: I E E E Transactions on Pattern Analysis and Machine Intelligence. 40, 7, s. 1570-1583

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  21. Udgivet

    Benefits of auxiliary information in deep learning-based teeth segmentation

    Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (red.). SPIE, s. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Bind 12032).

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

  22. Udgivet

    Effects of Sleep Deprivation on Blood Glucose, Food Cravings, and Affect in a Non-Diabetic: An N-of-1 Randomized Pilot Study

    Daza, E. J., Wac, Katarzyna & Oppezzo, M., 2020, I: Healthcare. 8, 1, 17 s., 6.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  23. Udgivet

    mQoL smart lab: quality of life living lab for interdisciplinary experiments

    De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, s. 635-640 6 s.

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

  24. Udgivet

    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, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  25. Udgivet

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (red.). s. 7-11 5 s. (CEUR Workshop Proceedings, Bind 1789).

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

  26. Udgivet

    Structural connectivity analysis using finsler geometry

    Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C. F., 2019, I: SIAM Journal on Imaging Sciences. 12, 1, s. 551-575 25 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  27. Udgivet

    Developing self–control theory: towards digital sensoring by smartphone technologies

    Demant, Jakob Johan, Heinskou, Marie Bruvik, Wac, Katarzyna & Schierff, L. M., 2016. 1 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  28. Udgivet

    Measurement challenge: protocol for international case–control comparison of mammographic measures that predict breast cancer risk

    Dench, E., Bond-smith, D., Darcey, E., Lee, G., Aung, Y. K., Chan, A., Cuzick, J., Ding, Z. Y., Evans, C. F., Harvey, J., Highnam, R., Hsieh, M., Kontos, D., Li, S., Mariapun, S., Nickson, C., Nguyen, T. L., Pertuz, S., Procopio, P., Rajaram, N. & 12 flere, Repich, K., Tan, M., Teo, S., Trinh, N. H., Ursin, G., Wang, C., Dos-santos-silva, I., Mccormack, V., Nielsen, Mads, Shepherd, J., Hopper, J. L. & Stone, J., 2019, I: BMJ Open. 9, 12, s. 1-6 e031041.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  29. Udgivet

    Iterating skeletons: structured parallelism by composition

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (red.). Springer, s. 18-36 19 s.

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

  30. Udgivet

    Iterating skeletons

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (red.). Springer, s. 18-36 19 s. (Lecture notes in computer science).

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

  31. Udgivet

    Fast training of multi-class support vector machines

    Dogan, Ü., Glasmachers, T. & Igel, Christian, 2011, University of Copenhagen. 19 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 03, Bind 2011).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  32. Udgivet

    Designing a multi-touch eTextile for music performances

    Donneaud, M., Honnet, C. & Strohmeier, P., 2017, Proceedings of the 17th International Conference on New Interfaces for Musical Expression (NIME’17). Erkut, C. (red.). s. 7-12 6 s.

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

  33. Udgivet

    A unified view on multi-class support vector classification

    Doğan, Ü., Glasmachers, T. & Igel, Christian, 2016, I: Journal of Machine Learning Research. 17, 32 s., 45.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  34. Udgivet

    Specialised tools are needed when searching the web for rare disease diagnoses

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, I., Hansen, L. K., Ingwersen, P. & Winther, O., 2013, I: Rare Diseases. 1, 1, 4 s., e25001.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  35. Udgivet

    FindZebra: a search engine for rare diseases

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, Ingemar Johansson, Hansen, L. K., Ingwersen, P. & Winther, O., 2013, I: International Journal of Medical Informatics. 82, 6, s. 528-538 11 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  36. Udgivet

    Hyperspectral imaging for classification of bulk grain samples with deep convolutional neural networks

    Dreier, E. S., Sørensen, Klavs Martin, Lund-Hansen, T., Jespersen, Birthe P Møller & Steenstrup Pedersen, Kim, 2022, I: Journal of Near Infrared Spectroscopy. 30, 3, s. 107–121

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  37. Udgivet

    A context-dependent and disordered ubiquitin-binding motif

    Dreier, Jesper Elmsted, Prestel, Andreas, Martins, J. M., Brøndum, S. S., Nielsen, Olaf, Garbers, Anna Engstrøm, Suga, H., Boomsma, Wouter, Rogers, Joseph Matthew, Hartmann-Petersen, Rasmus & Kragelund, Birthe Brandt, 2022, I: Cellular and molecular life sciences : CMLS. 79, 9, 21 s., 484.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  38. Udgivet

    Éalonnage de sources lumineuses de type LED

    Durix, B., Quéau, Y., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 s.

    Publikation: KonferencebidragPaperForskning

  39. Udgivet

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  40. Udgivet

    Low-level functional GPU programming for parallel algorithms

    Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 31-37 7 s.

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

  41. Udgivet

    Normalization and Partial Evaluation

    Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, s. 137-192 (Lecture notes in computer science; Nr. 2395).

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

  42. Udgivet

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).

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

  43. Udgivet

    Steiner tree heuristics in Euclidean d-space

    E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 s.

    Publikation: KonferencebidragPaperForskning

  44. Udgivet

    Advances in Quantitative Ethnography: First International Conference, ICQE 2019, Madison, WI, USA, October 20–22, 2019, Proceedings

    Eagan, B. (red.), Misfeldt, Morten (red.) & Siebert-Evenstone, A. (red.), 2019, Springer. 360 s. (Communications in Computer and Information Science).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

  45. Udgivet

    An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, C., Hirschowitz, T. & Seiller, T., 2017, I: Logical Methods in Computer Science. 13, 4, 76 s., 9.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  46. Udgivet

    Weak heaps engineered

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2013, I: Journal of Discrete Algorithms. 23, s. 83-97 15 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  47. Udgivet

    Weak heaps and friends: recent developments

    Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (red.). Springer, s. 1-6 6 s. (Lecture notes in computer science, Bind 8288).

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

  48. Udgivet

    A catalogue of weak-heap programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 36 s. (CPH STL Report; Nr. 2012-2).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  49. Udgivet

    Heap-construction programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 4 nov. 2016, Department of Computer Science, University of Copenhagen. 54 s. (CPH STL Report; Nr. 2, Bind 2016).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  50. Udgivet

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., aug. 2017, I: Theory of Computing Systems. 61, 2, s. 606-636 31 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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