Department of Computer Science

  1. Published

    Approximately minwise independence with twisted tabulation

    Dahlgaard, S. & Thorup, Mikkel, 2014, Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 134-145 12 p. (Lecture notes in computer science, Vol. 8503).

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

  2. 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 proceedingArticle in proceedingsResearchpeer-review

  3. Published

    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. (eds.). Springer, p. 564-574 11 p. (Lecture notes in computer science, Vol. 9135).

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

  4. Published

    Nearest neighbor classification using bottom-k sketches

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

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

  5. Published

    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, p. 773-774

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

  6. Published

    Quaternions, interpolation and animation

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

    Research output: Working paperResearch

  7. Published

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

    Dam, Erik Bjørnager, Dec 2008, In: Academic Radiology. 15, 12, p. 1479-81 3 p.

    Research output: Contribution to journalJournal articleResearch

  8. Published

    Automatic shape model building based on principal geodesic analysis bootstrapping

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    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 No. G06T-007/00, Patent No. WO2007048463-A1, 3 May 2007, Priority date 24 Oct 2005, Priority No. GB021640

    Research output: Patent

  10. Published

    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 No. G06K-009/00, Patent No. US2010232671-A1, 16 Sep 2010, Priority date 17 Dec 2008, Priority No. US203094P

    Research output: Patent

  11. Published

    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 No. G06T-007/00, Patent No. WO2008034845-A2 , 27 Mar 2008, Priority date 19 Sep 2006, Priority No. GB018417

    Research output: Patent

  12. 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

  13. Published

    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. p. 115-124

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

  14. Published

    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. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).

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

  15. Published

    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, p. 69-70 2 p. 3399520

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

  16. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  17. Published

    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, In: Journal of Economic Theory. 213, 24 p., 105713.

    Research output: Contribution to journalJournal articleResearchpeer-review

  18. Published

    FDG-PET template MNI152 1mm

    Darkner, Sune, 2013

    Research output: Non-textual formDatasetResearch

  19. Published

    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, In: Visual Computer. 27, 6, p. 645-653 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  20. Published

    Locally orderless registration

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  21. Published

    Collocation for diffeomorphic deformations in medical image registration

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  22. Published

    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. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).

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

  23. Published

    GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices.

    Dayan, N., Bonnet, Philippe & Idreos, S., 2016, SIGMOD Conference. p. 327-342 16 p.

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

  24. Published

    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, In: Healthcare. 8, 1, 17 p., 6.

    Research output: Contribution to journalJournal articleResearchpeer-review

  25. Published

    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, p. 635-640 6 p.

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

  26. 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 journalJournal articleResearchpeer-review

  27. Published

    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. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

  28. Published

    Structural connectivity analysis using finsler geometry

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  29. Published

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

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

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  30. Published

    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 others, 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, In: BMJ Open. 9, 12, p. 1-6 e031041.

    Research output: Contribution to journalJournal articleResearchpeer-review

  31. Published

    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. (ed.). Springer, p. 18-36 19 p.

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

  32. Published

    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. (ed.). Springer, p. 18-36 19 p. (Lecture notes in computer science).

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

  33. Published

    Fast training of multi-class support vector machines

    Dogan, Ü., Glasmachers, T. & Igel, Christian, 2011, University of Copenhagen. 19 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 03, Vol. 2011).

    Research output: Book/ReportReportResearch

  34. Published

    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. (ed.). p. 7-12 6 p.

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

  35. Published

    A unified view on multi-class support vector classification

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  36. Published

    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, In: Rare Diseases. 1, 1, 4 p., e25001.

    Research output: Contribution to journalJournal articleResearchpeer-review

  37. Published

    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, In: International Journal of Medical Informatics. 82, 6, p. 528-538 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  38. Published

    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, In: Journal of Near Infrared Spectroscopy. 30, 3, p. 107–121

    Research output: Contribution to journalJournal articleResearchpeer-review

  39. Published

    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, In: Cellular and molecular life sciences : CMLS. 79, 9, 21 p., 484.

    Research output: Contribution to journalJournal articleResearchpeer-review

  40. Published

    Éalonnage de sources lumineuses de type LED

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

    Research output: Contribution to conferencePaperResearch

  41. Published

    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

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  42. Published

    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, p. 31-37 7 p.

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

  43. Published

    Normalization and Partial Evaluation

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

    Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

  44. Published

    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. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  45. Published

    Steiner tree heuristics in Euclidean d-space

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

    Research output: Contribution to conferencePaperResearch

  46. Published

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

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

    Research output: Book/ReportAnthologyResearchpeer-review

  47. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  48. Published

    Weak heaps engineered

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

    Research output: Contribution to journalConference articleResearchpeer-review

  49. Published

    Heap-construction programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 4 Nov 2016, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/ReportReportResearch

  50. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 1...4 5 6 7 8 9 10 11 ...35 Next