- 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 proceeding › Article in proceedings › Research
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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-186Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-440Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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/Report › Report › Research
- 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 journal › Journal article › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 paper
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 conference › Conference abstract for conference › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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-654Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report › Research
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- Published
A physically natural metric for human motion and the associated Brownian motion model
Hauberg, S. & Steenstrup Pedersen, Kim, 2011.Research output: Contribution to conference › Conference abstract for conference › Research
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-417Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 paper
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Book chapter › Research
- 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 journal › Journal article › Research › peer-review
- Published
A transfer-learning approach to image segmentation across scanners by maximizing distribution similarity
van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 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. 49-56 8 p. (Lecture notes in computer science, Vol. 8184).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6951
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6267
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5782
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review