Department of Computer Science

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

  2. Published

    A L1-TV algorithm for robust perspective photometric stereo with spatially-varying lightings

    Quéau, Y., Lauze, Francois Bernard & Durou, J., 2015, Scale space and variational methods in computer vision: 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings. Springer, p. 498-510 13 p. (Lecture notes in computer science, Vol. 9087).

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

  3. Published

    APL on GPUs: a TAIL from the Past, scribbled in Futhark

    Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

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

  4. Published

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

  5. Published

    Abaris: Evaluating automated capture applied to structured autism interventions

    Kientz, J. A., Boring, S., Abowd, G. D. & Hayes, G. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 323-339 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3660 LNCS).

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

  6. Published

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.

    Research output: Book/ReportPh.D. thesisResearch

  7. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

    Research output: Contribution to conferencePaperResearchpeer-review

  8. Published

    Accuracy evaluation of application-level performance measurements

    Wac, Katarzyna, Arlos, P., Fiedler, M., Chevul, S., Isaksson, L. & Bults, R., 26 Sep 2007, NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity. p. 1-5 5 p. 4231813. (NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity).

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

  9. Published

    Accuracy evaluation of automatic quantification of the articular cartilage surface curvature from MRI

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F. & Christiansen, C., Oct 2007, In: Academic Radiology. 14, 10, p. 1221-8 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Active and Adaptive Learning from Biased Data with Applications in Astronomy

    Kremer, J., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen. 91 p.

    Research output: Book/ReportPh.D. thesisResearch

  11. Published

    Active learning with support vector machines

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, In: Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery. 4, 4, p. 313-326 14 p.

    Research output: Contribution to journalReviewResearchpeer-review

  12. Published

    Adaptable component frameworks: Using vector from the C++ standard library as an example

    Katajainen, J. & Simonsen, B., 2009, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 13-24 12 p.

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

  13. Published

    Adaptive distributional extensions to DFR ranking

    Petersen, C., Simonsen, Jakob Grue, Järvelin, K. & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2005-2008 4 p.

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

  14. Published

    Adaptive heapsort: source code

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 29 p. (CPH STL Report; No. 2011-1).

    Research output: Book/ReportReportResearch

  15. Published

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, Jun 2017, In: Journal of Real-Time Image Processing. 13, 2, p. 345–361 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  16. Published

    Adaptive time-stepping in diffeomorphic image registration with bounded inverse consistency error

    Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Sørensen, L. E. B. L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, The 18th International Conference on Medical Image Computing and Computer Assisted Intervention: proceedings. Technische Universität München , p. 35-47 13 p.

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

  17. Published

    Additive spanners: a simple construction

    Knudsen, M. B. T., 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. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).

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

  18. Published

    Addressing the path-length-dependency confound in white matter tract segmentation

    Liptrot, M. G., Sidaros, K. & Dyrby, T. B., 2014, In: PLoS ONE. 9, 5, 11 p., e96247.

    Research output: Contribution to journalJournal articleResearchpeer-review

  19. Published

    Adjacency labeling schemes and induced-universal graphs

    Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.

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

  20. Published

    Adjustable chain trees for proteins

    Winter, Pawel & Fonseca, R., 2012, In: Journal of Computational Biology. 19, 1, p. 83-99 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

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

  22. Published

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  23. Published

    After Rigid Interfaces: Investigating Interaction with Deformable Interfaces and the Design of Shape-Changing Interfaces

    Troiano, G. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  24. Published

    Airports and railways: facility location meets network design

    Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  25. Published

    Airway distensibility in chronic obstructive pulmonary disease – evaluation by CT airway segmentation and lung density measurement based on the Danish lung cancer screening trial

    M. W. Wille, M., Petersen, Jens, Dirksen, A., Pedersen, J. J. H. & de Bruijne, Marleen, 2013, In: American Journal of Respiratory and Critical Care Medicine. 187, p. A2871 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  26. Published

    Algorithms and AI in Education

    Hjuler, N. O. D., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  27. Published

    Algoritmer kopierer lægers fordomme om race og køn

    Ganz, Melanie, Holm, Sune Hannibal & Feragen, A., 4 Jun 2020, In: Dagbladet Politiken. p. 9 (sektion 2) 1 p.

    Research output: Contribution to journalContribution to newspaper - Comment/debateCommunication

  28. Published

    Alignment of concerns: a design rationale for patient participation in e-health

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2013. 4 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  29. Published

    Alignment of concerns: a design rationale for patient participation in eHealth

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2014, 2014 47th Hawaii International Conference on System Sciences (HICSS). IEEE, p. 2587-2596 10 p.

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

  30. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2015, Department of Computer Science, University of Copenhagen. 50 p. (CPH STL Report; No. 2015-1).

    Research output: Book/ReportReportResearch

  31. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2017, In: Software: Practice and Experience. 47, 4, p. 523-558 36 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  32. Published

    All-in-one implementation framework for binary heaps: electronic appendix

    Katajainen, J., 2015, Department of Computer Science, University of Copenhagen. 111 p. (CPH STL Report; No. 2015-2).

    Research output: Book/ReportReportResearch

  33. Published

    All-pairs minimum cuts in near-linear time for surface-embedded graphs

    Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  34. Published

    Alpha Shapes and Proteins

    Winter, Pawel, Sterner, H. & Sterner, P., 2009, Proceedings of 2009 Sixth International Symposium on Voronoi Diagrams. Anton, F. (ed.). IEEE Computer Society Press, p. 217-224 8 p.

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

  35. Published

    Alpha complexes in protein structure prediction

    Winter, Pawel & Fonseca, R., 2015, Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. SCITEPRESS (Science and Technology Publications, Lda.), p. 178-182 5 p.

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

  36. Published

    Alzheimer's disease diagnostic performance of a multi-atlas hippocampal segmentation method using the harmonized hippocampal protocol

    Anker, C., Sørensen, L., Pai, A. S. U., Lyksborg, M., Lillholm, Martin, Conradsen, K., Larsen, R. & Nielsen, Mads, 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  37. Published

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10

    Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

  38. Published

    Amiodarone protects diabetics and non-diabetics undergoing coronary artery bypass grafting equally

    Zebis, L. R., Christensen, T. D., Thomsen, H. F. & Hjortdal, Vibeke Elisabeth, Jun 2008, In: Scandinavian Cardiovascular Journal. 42, 3, p. 173-7 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  39. Published

    An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Vol. 2461. p. 760-771

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

  40. Published

    An O(log k)-Competitive Algorithm for Generalized Caching

    Adamaszek, A., Czumaj, A., Englert, M. & Räcke, H., 16 Nov 2018, In: ACM Transactions on Algorithms. 15, 1, p. 1-18 6.

    Research output: Contribution to journalJournal articleResearchpeer-review

  41. Published

    An affect detection technique using mobile commodity sensors in the wild

    Mottelson, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 781-792 12 p.

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

  42. Published

    An algorithm for stochastic and adversarial bandits with switching costs

    Rouyer, C., Seldin, Yevgeny & Cesa-Bianchi, N., 2021, Proceedings of the 38th International Conference on Machine Learning (ICML). PMLR, p. 9127-9135 (Proceedings of Machine Learning Research, Vol. 139).

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

  43. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  44. Published

    An automatic system for segmentation, matching, anatomical labeling and measurement of airways from CT images

    Petersen, Jens, Feragen, A., Owen, M., Lo, P., Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013. 1 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  45. Published

    An evaluation of dynamic labeling schemes for tree networks

    Rotbart, N. G., Vaz Salles, M. A. & Zotos, I., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings. Gudmundsson, J. & Katajainen, J. (eds.). Springer, p. 199-210 12 p. (Lecture notes in computer science, Vol. 8504).

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

  46. Published

    An evaluation of shape changes for conveying emotions

    Strohmeier, P., Carrascal, J. P., Cheng, B., Meban, M. & Vertegaal, R., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3781-3792 12 p.

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

  47. Published

    An experimental analysis of iterated spatial joins in main memory

    Sowell, B., Vaz Salles, M. A., Cao, T., Demers, A. & Gehrke, J., 2013, In: Proceedings of the VLDB Endowment. 6, 14, p. 1882-1893 12 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  48. Published

    An experimental evaluation of navigation piles

    Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  49. Published

    An experimental investigation of the normality of irrational algebraic numbers

    Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  50. Published

    An exploration of the relation between expectations and user experience

    Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Interaction. 31, 9, p. 603-617 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  51. Published

    An extended truth about heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2003, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  52. Published

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journalJournal articleResearchpeer-review

  53. Published

    An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

    de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

  54. Published

    An improved multileaving algorithm for online ranker evaluation

    Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.

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

  55. Published

    An improved optimization method for the relevance voxel machine

    Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).

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

  56. Published

    An improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

    Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (eds.). Proceedings of Machine Learning Research, p. 1743-1759 (Proceedings of Machine Learning Research, Vol. 65).

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

  57. Published

    An in-depth study of sparse codes on abnormality detection

    Ren, H., Pan, H., Olsen, Søren Ingvor, Jensen, M. B. & Moeslund, T. B., 2016, 2016 13th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS). IEEE, p. 66-72 7 p. 7738016

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

  58. Published

    An in-place priority queue with O(1) Time for Push and lg n + O(1) comparisons for pop

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2015, Computer science - theory and applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Beklemishev, L. D. & Musatov, D. V. (eds.). Springer, p. 204-218 15 p. (Lecture notes in computer science, Vol. 9139).

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

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

  60. Published

    An interactive segmentation method based on superpixel

    Yang, S., Zhu, Y. & Wu, X., 2015, In: MATEC Web of Conferences. 22, 6 p., 01027.

    Research output: Contribution to journalConference articleResearchpeer-review

  61. Published

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  62. Published

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

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

  63. Published

    An optimal algorithm computing edge-to-edge visibility in a simple polygon

    Abrahamsen, Mikkel, 2013, Proceedings of the 25th Canadian Conference on Computational Geometry: CCCG 2013. p. 157-162 6 p.

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

  64. Published

    An optimal algorithm for the separating common tangents of two polygons

    Abrahamsen, Mikkel, 2015, In: Leibniz International Proceedings in Informatics. 34, p. 198-208 11 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  65. Published

    Analysing the distribution of synaptic vesicles using a spatial point process model

    Khanmohammadi, M., Waagepetersen, R., Nava, N., Nyengaard, J. & Sporring, Jon, 2014, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 73-78 6 p.

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

  66. Published

    Analysing the dynamics of target and spiral waves by image processing techniques

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, Preben Graae, 1998, (Technical Report; No. 16, Vol. 98).

    Research output: Book/ReportReportResearch

  67. Published

    Analysis and design of software ecosystem architectures – towards the 4S telemedicine ecosystem

    Christensen, H. B., Hansen, K. M., Kyng, M. & Manikas, K., 2014, In: Information and Software Technology. 56, 11, p. 1476-1492 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  68. Published

    Analysis of airways in computed tomography

    Petersen, Jens, 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 135 p.

    Research output: Book/ReportPh.D. thesisResearch

  69. Published

    Analysis of synchrotron X-ray tomographic data: Reconstruction and application

    Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  70. Published

    Analyzing users' narratives to understand experience with interactive products

    Tuch, A. N., Trusell, R. & Hornbæk, Kasper, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '13). Association for Computing Machinery, p. 2079-2088 10 p.

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

  71. Published

    Analyzing, Modelling, and Designing Software Ecosystems: Towards the Danish Telemedicine Software Ecosystem

    Manikas, K., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 160 p.

    Research output: Book/ReportPh.D. thesisResearch

  72. Published

    Anisotropic distributions on manifolds: template estimation and most probable paths

    Sommer, Stefan Horst, 2015, Information processing in medical imaging: 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings. Ourselin, S., Alexander, D. C., Westin, C-F. & Cardoso, M. J. (eds.). Springer, p. 193-204 12 p. (Lecture notes in computer science, Vol. 9123).

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

  73. Published

    Anisotropically weighted and nonholonomically constrained evolutions on manifolds

    Sommer, Stefan Horst, 2016, In: Entropy. 18, 12, 21 p., 425.

    Research output: Contribution to journalJournal articleResearchpeer-review

  74. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

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

  75. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journalJournal articleResearch

  76. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

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

  77. Published

    Applications of health information exchange information to public health practice

    Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, AMIA Annual symposium proceedings. American Medical Informatics Association, p. 795-804 10 p. (AMIA Annual Symposium Proceedings, Vol. 2014).

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

  78. Published

    Approximate distance oracles for planar graphs with improved query time-space tradeoff

    Wulff-Nilsen, Christian, 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 351-362 12 p.

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

  79. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 539-549 11 p. (The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings).

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

  80. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). Springer, p. 94-97 4 p.

    Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

  81. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2014, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

  82. Published

    Approximate inference for spatial functional data on massively parallel processors

    Raket, L. L. & Markussen, Bo, 2014, In: Computational Statistics & Data Analysis. 72, p. 227-240 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

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

  84. Published

    Approximation and hardness results for the maximum edge q-coloring problem

    Adamaszek, A. M. & Popa, A., 2016, In: Journal of Discrete Algorithms. 38-41, p. 1-8 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  85. Published

    Approximation properties of DBNs with binary hidden units and real-valued visible units

    Krause, Oswin, Fischer, A., Glasmachers, T. & Igel, Christian, 2013, Proceedings of the 30th International Conference on Machine Learning. Dasgupta, S. & McAllester, D. (eds.). p. 419-426 8 p. (JMLR: Workshop and Conference Proceedings, Vol. 28).

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

  86. Published

    Approximation schemes for independent set and sparse subsets of polygons

    Adamaszek, A., Har-Peled, S. & Wiese, A., 2019, In: Journal of the ACM. 66, 4, 40 p., 29.

    Research output: Contribution to journalJournal articleResearchpeer-review

  87. Published

    Architectural slicing: towards automatic harvesting of architectural prototypes

    Christensen, H. B. & Hansen, K. M., 2013, Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Drira, K. (ed.). Springer, p. 316-319 4 p. (Lecture notes in computer science, Vol. 7957).

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

  88. Published

    Architecture-based regulatory compliance argumentation

    Mihaylov, B., Onea, L. & Hansen, K. M., 2016, In: The Journal of Systems and Software. 119, p. 1-30 30 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  89. Published

    Architectures of Prototypes and Architectural Prototyping

    Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. p. 247-267 21 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  90. Published

    Area and Volume Restoration in Elastically Deformable Solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 2005, In: Electronic Letters on Compuer Vision and Image Analysis (ELCVIA). 5, 3, p. 32-43

    Research output: Contribution to journalJournal articleResearchpeer-review

  91. Published

    Area and volume restoration in elastically deformable solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 1 Jan 2009, Progress In Computer Vision And Image Analysis. World Scientific Publishing Co., p. 381-400 20 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  92. Published

    Artificial intelligence surpasses gastrointestinal experts in the classification of endoscopic severity among Ulcerative Colitis

    The Presager Project, T. P. P., 2021, In: Journal of Crohn's & colitis. 15, Suppl. 1, p. S007-S007

    Research output: Contribution to journalConference abstract in journalResearch

  93. Published

    Artistic movement recognition by boosted fusion of color structure and topographic description

    Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, p. 569-577 9 p.

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

  94. Published

    Aspects you should consider in your action plan when implementing an improvement strategy

    Carstensen, Peter & Vinter, O., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Mas, A., Mesquida, A., O'Connor, R. V., Rout, T. & Dorling, A. (eds.). Springer, p. 467-480 14 p. (Communications in Computer and Information Science, Vol. 770).

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

  95. Published

    Assessing breast cancer masking risk in full field digital mammography with automated texture analysis

    Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, 7th International Workshop on Breast Densitometry and Cancer Risk Assessment (Non-CME). University of California, p. 109 1 p.

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

  96. Published

    Assessing breast cancer masking risk with automated texture analysis in full field digital mammography

    Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Petersen, K., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, Breast Imaging and Interventional. Radiological Society of North America, Inc, p. 218 1 p.

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

  97. Published

    Assessing the impact of a health intervention via user-generated Internet content

    Lampos, V., Yom-Tov, E., Pebody, R. & Cox, Ingemar Johansson, 2015, In: Data Mining and Knowledge Discovery. 29, 5, p. 1434-1457 24 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  98. Published

    Assessing the implications of cellular network performance on mobile content access

    Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2016, In: IEEE Transactions on Network and Service Management. 13, 2, p. 168-180 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  99. Published

    Assessment of menstrual health status and evolution through mobile apps for fertility awareness

    Symul, L., Wac, Katarzyna, Hillard, P. & Salathé, M., 2019, In: npj Digital Medicine. 2, 10 p., 64.

    Research output: Contribution to journalJournal articleResearchpeer-review

  100. Published

    Assessment of rotationally-invariant clustering using streamlet tractography

    Liptrot, M. G. & Lauze, Francois Bernard, 2016.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...18 Next