Department of Computer Science

  1. Published

    "It’s about Business not Politics”: software development between Palestinians and Israelis

    Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.

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

  2. Published

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, N., Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART II

    Research output: Contribution to journalJournal articlepeer-review

  3. Published

    (Automated) software modularization using community detection

    Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).

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

  4. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journalComment/debate

  5. Published

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  6. Published

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 1 p.

    Research output: Contribution to journalJournal articlepeer-review

  7. Published

    800.000 gode grunde til datalogi i skolen

    Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 Apr 2016, In: Berlingske Tidende. p. 31 1 p.

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

  8. Published

    mQoL: experiences of the 'mobile communications and computing for quality of life' living lab

    Wac, Katarzyna, Gustarini, M., Marchanoff, J., Fanourakis, M., Tsiourti, C., Ciman, M., Hausmann, J. & Pinar, G., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 177-181 5 p.

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

  9. Published

    A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-01).

    Research output: Book/ReportReport

  10. Published

    A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08/02).

    Research output: Book/ReportReport

  11. Published

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.

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

  12. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articlepeer-review

  13. Published

    Essays on C++ concepts

    Katajainen, J., 2008, 14 p.

    Research output: Working paperResearch

  14. Published

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169

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

  15. Published

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 ed., 6 p.

    Research output: Working paperResearch

  16. Published

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 ed., København, 122 p.

    Research output: Working paperResearch

  17. Published

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 p.

    Research output: Book/ReportAnthologypeer-review

  18. Published

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 p.

    Research output: Working paperResearch

  19. Published

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 p.

    Research output: Working paperResearch

  20. Published

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 p.

    Research output: Working paperResearch

  21. Published

    Stronger guarantees for standard-library containers

    Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35

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

  22. Published

    A CMA-ES with multiplicative covariance matrix updates

    Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 8 p.

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

  23. Published

    A Comparative Field Study of Four Crane Control Interfaces

    Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

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

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

  25. Published

    A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

    Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040

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

  26. Published

    A Denotational Account of Untyped Normalization by Evaluation

    Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

  27. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  28. Published

    A Graphical User-Interface and an Image Processing Toolkit for Perl

    Karasik, D., Berezin, A., Belman, V. & Sporring, Jon, 2005, In: Software -- Practice and Experience. 35, p. 467-490

    Research output: Contribution to journalJournal articlepeer-review

  29. Published

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

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

  30. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186

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

  31. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2004, 08 ed. Department of Computer Science, University of Copenhagen: Datalogisk Institut.

    Research output: Book/ReportReport

  32. Published

    A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

    Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458

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

  33. Published

    A Near-Optimal Best-of-Both-Worlds Algorithm for Online Learning with Feedback Graphs

    Rouyer, C., van der Hoeven, D., Cesa-Bianchi, N. & Seldin, Yevgeny, 2022, Advances in Neural Information Processing Systems (NeurIPS).

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

  34. Published

    A New Paradigm for General Architecture Routing

    Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, p. 202-207

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

  35. Published
  36. Published

    A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

    Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

  37. Published

    A SVD Based Image Complexity Measure

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.

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

  38. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

  39. Published

    A Simple Plane Patcher Algorithm

    Erleben, Kenny & Henriksen, Knud, 2006, 06/09 ed. Department of Computer Science, University of Copenhagen.

    Research output: Book/ReportReport

  40. Published

    A Study of the Evaluator Effect in Usability Testing

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Human-Computer Interaction. 23, 3, p. 251-277 27 p.

    Research output: Contribution to journalJournal articlepeer-review

  41. Published

    A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments

    Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.

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

  42. Published

    A World Wide Web-based HCI-library Designed for Interaction Studies

    Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, p. 137-142

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

  43. Published

    A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

    Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

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

  44. Published

    A batch algorithm for estimating trajectories of point targets using expectation maximization

    Rahmathullah, A., Selvan, Raghav & Svensson, L., 2016, In: IEEE Transactions on Signal Processing. 64, 18, p. 4792-4804 13 p.

    Research output: Contribution to journalJournal articlepeer-review

  45. Published

    A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines

    Fischer, A. & Igel, Christian, 2015, In: Theoretical Computer Science. 598, p. 102-117 16 p.

    Research output: Contribution to journalJournal articlepeer-review

  46. Published

    A camera-based sensor system for precise seam tracking and closed-loop weld pool control in arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011.

    Research output: Contribution to conferencePaperResearchpeer-review

  47. Published

    A catalogue of weak-heap programs

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

    Research output: Book/ReportReport

  48. Published

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

    Research output: Contribution to journalJournal articlepeer-review

  49. Published

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

    Research output: Contribution to journalJournal articlepeer-review

  50. Published

    A chainlike relative coordinate system for few-particle problems

    Avery, J. E. & Avery, J. S., 2017, In: Journal of Mathematical Chemistry. 55, 2, p. 584-597 14 p.

    Research output: Contribution to journalJournal articlepeer-review

  51. Published

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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

  52. Published

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  53. 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 articlepeer-review

  54. Published

    A concurrent data collection environment for wasteful communication satellite system

    Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 189-197 9 p. (Concurrent Systems Engineering Series, Vol. 70).

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

  55. Published

    A confluent rewriting system having no computable, one-step, normalizing strategy

    Simonsen, Jakob Grue, 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

    Research output: Contribution to journalJournal articlepeer-review

  56. 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 articlepeer-review

  57. Published

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186

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

  58. Published

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.

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

  59. Published

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440

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

  60. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

    Research output: Contribution to journalJournal articlepeer-review

  61. Published

    A financial benchmark for GPGPU compilation

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

    Research output: Book/ReportReport

  62. Published

    A foresight analysis of pervasive healthcare technologies

    Gauthier, T. & Wac, Katarzyna, 2015, In: Journal of Futures Studies. 20, 1, p. 69-81 13 p.

    Research output: Contribution to journalJournal article

  63. Published

    A framework for data mining in wind power time series

    Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (eds.). Springer, p. 97-107 (Lecture notes in computer science, Vol. 8817).

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

  64. Published

    A framework for optimizing measurement weight maps to minimize the required sample size

    Qazi, A. A., Jørgensen, D. R., Lillholm, Martin, Loog, M., Nielsen, Mads & Dam, Erik Bjørnager, 2010, In: Medical Image Analysis. 14, 3, p. 255-264 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  65. Published

    A framework for speeding up priority-queue operations

    Elmasry, A., Jensen, C. & Katajainen, J., 2004, Department of Computer Science, University of Copenhagen, 31 p.

    Research output: Working paperResearch

  66. Published

    A hierarchical recurrent encoder-decoder for generative context-aware query suggestion

    Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, p. 553-562 10 p.

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

  67. Published

    A hierarchy of fast reversible turing machines

    Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 29-44 16 p. (Lecture notes in computer science, Vol. 9138).

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

  68. Published

    A hybrid approach to self-management in a pervasive service middleware

    Zhang, W., Hansen, K. M. & Ingstrup, M., 2014, In: Knowledge-Based Systems. 67, p. 143-161 19 p.

    Research output: Contribution to journalJournal articlepeer-review

  69. 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 articlepeer-review

  70. Published

    A longitudinal study of growth, sex steroids and IGF-1 in boys with physiological gynaecomastia

    Mieritz, M. G., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N. & Juul, Anders, 2015, In: Journal of Clinical Endocrinology and Metabolism. 100, 10, p. 3752-3759 8 p.

    Research output: Contribution to journalJournal articlepeer-review

  71. Published

    A method to determine the mammographic regions that show early changes due to the development of breast cancer

    Karemore, G., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 22, p. 6759-6773 15 p.

    Research output: Contribution to journalJournal articlepeer-review

  72. Published

    A model-free unsupervised method to cluster brain tissue directly From DWI volumes

    Liptrot, M. G. & Lauze, Francois Bernard, 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  73. Published

    A more efficient rank-one covariance matrix update for evolution strategies

    Krause, Oswin & Igel, Christian, 2015, Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery, p. 129-136 8 p.

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

  74. Published

    A non-convex variational approach to photometric stereo under inaccurate lighting

    Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., Jul 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 350-359 10 p.

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

  75. Published

    A nonlinear mixed-effects model for simultaneous smoothing and registration of functional data

    Raket, L. L., Sommer, Stefan Horst & Markussen, Bo, 2014, In: Pattern Recognition Letters. 38, p. 1-7 7 p.

    Research output: Contribution to journalJournal articlepeer-review

  76. Published

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, Proceedings of 14th International Conference on Pattern Recognition (ICPR 14). p. 652-654

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

  77. Published

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, (Technical Report; No. 1, Vol. 98).

    Research output: Book/ReportReport

  78. Published

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, In: I E E E Transactions on Evolutionary Computation. 17, 3, p. 345-352 8 p.

    Research output: Contribution to journalJournal articlepeer-review

  79. Published

    A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision

    Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, In: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 p., e02793.

    Research output: Contribution to journalJournal articlepeer-review

  80. Published

    A physically natural metric for human motion and the associated Brownian motion model

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  81. Published

    A projected back-tracking line-search for constrained interactive inverse kinematics

    Engell-Nørregård, M. P. & Erleben, Kenny, 2011, In: Computers & Graphics. 35, 2, p. 288-298 11 p.

    Research output: Contribution to journalJournal articlepeer-review

  82. Published

    A psychophysical investigation of size as a physical variable

    Jansen, Y. & Hornbæk, Kasper, 2016, In: I E E E Transactions on Visualization and Computer Graphics. 22, 1, p. 479-488 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  83. Published

    A qualitative study of the key factors in implementing telemedical monitoring of diabetic foot ulcer patients

    Rasmussen, B. S. B., Jensen, L. K., Frøkjær, J., Kidholm, K., Kensing, Finn & Yderstræde, K. B., 2015, In: International Journal of Medical Informatics. 84, 10, p. 799-807 9 p.

    Research output: Contribution to journalJournal articlepeer-review

  84. Published

    A random Riemannian metric for probabilistic shortest-path tractography

    Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 597-604 8 p. (Lecture notes in computer science, Vol. 9349).

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

  85. Published

    A randomized in-place algorith for positioning the k\'th element in a multiset

    Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417

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

  86. Published

    A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13

    Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 p.

    Research output: Working paperResearch

  87. Published

    A real-time passive vision system for robotic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE). IEEE, p. 389-394 6 p.

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

  88. Published

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, In: ACM Transactions on Information Systems (TOIS). 11, 2, p. 165-193 29 p.

    Research output: Contribution to journalJournal article

  89. Published

    A research roadmap for context-awareness-based self-managed systems

    Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-oriented computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 275-283 9 p. (Lecture notes in computer science, Vol. 7759).

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

  90. Published

    A short survey on decision making for task migrations in mobile cloud environments

    Zhang, W., Tan, S. & Hansen, K. M., 2014, 2014 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI). IEEE, p. 64-67 4 p.

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

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

  92. Published

    A standard-driven implementaion of WS-BPEL 2.0

    Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.

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

  93. Published

    A static SMC sampler on shapes for the automated segmentation of aortic calcifications

    Petersen, P. K., Nielsen, Mads & Brandt, S. S., 2010, Computer Vision – ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Daniilidis, K., Maragos, P. & Paragios, N. (eds.). Springer, p. 666-679 14 p. (Lecture notes in computer science, Vol. 6314).

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

  94. Published

    A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 151-159 9 p. (Lecture notes in computer science, Vol. 10081).

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

  95. Published

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 571-582 12 p. (Lecture notes in computer science, Vol. 10265).

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

  96. Published

    A strongly quasiconvex PAC-Bayesian bound

    Thiemann, N., Igel, Christian, Wintenberger, O. & Seldin, Yevgeny, 2017, Proceedings of International Conference on Algorithmic Learning Theory, 15-17 October 2017, Kyoto University, Kyoto, Japan . Hanneke, S. & Reyzin, L. (eds.). Proceedings of Machine Learning Research, p. 466-492 (Proceedings of Machine Learning Research, Vol. 76).

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

  97. Published

    A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?

    Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, p. 107-117 11 p.

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

  98. Published

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., Aug 2017, In: Cognitive Systems Research. 44, p. 40-49 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  99. Published

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  100. Published

    A synthetic axiomatization of Map Theory

    Berline, C. & Grue, Klaus, 2016, In: Theoretical Computer Science. 614, p. 1-62 62 p.

    Research output: Contribution to journalJournal articlepeer-review

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