- 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 proceeding › Article in proceedings › Research › peer-review
- 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 IIResearch output: Contribution to journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
2016 POPL impressions
Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.Research output: Contribution to journal › Comment/debate
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Contribution to newspaper - Comment/debate
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report
- 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/Report › Report
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- Published
- 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-169Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mini-project: Safe standard-library containers
Katajainen, J., 2008, 2 ed., 6 p.Research output: Working paper › Research
- Published
Priority-queue framework: Programs
Katajainen, J., 2009, 7 ed., København, 122 p.Research output: Working paper › Research
- 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/Report › Anthology › peer-review
- Published
Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4
Katajainen, J., 2007, 39 p.Research output: Working paper › Research
- Published
Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1
Katajainen, J., 2005, 37 p.Research output: Working paper › Research
- Published
Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5
Katajainen, J., 2005, 9 p.Research output: Working paper › Research
- Published
Stronger guarantees for standard-library containers
Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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:4Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 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. 3399520Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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. IOP1040Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
A Formally Verified Static Analysis Framework for Compositional Contracts
Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.Research output: Contribution to conference › Paper › Research › peer-review
- 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-490Research output: Contribution to journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
A Multi-Scale Singularity Bounding Volume Hierarchy
Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report
- 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-1458Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-207Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
A Novel PLS2-Based Algorithm for Imputing Missing Values in Foodomics/Metabolomics Studies with multiple response variables
Tashk, Ashkan, Engelsen, Søren Balling, Khakimov, Bekzod, Steenstrup Pedersen, Kim, Sørensen, Klavs Martin & Engstrøm, Ole-Christian Galbo, 2023.Research output: Contribution to conference › Poster › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
A Simple Plane Patcher Algorithm
Erleben, Kenny & Henriksen, Knud, 2006, 06/09 ed. Department of Computer Science, University of Copenhagen.Research output: Book/Report › Report
- 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 journal › Journal article › peer-review
- 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 proceeding › Book chapter › Research › peer-review
- 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-142Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 conference › Paper › Research › peer-review
- 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/Report › Report
- 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-171Research output: Contribution to journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 › 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 › 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 › 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 › 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
- 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
- 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 › 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 › Research
- 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 › 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 › 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 › 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 › 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 › 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
- 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 › 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 › 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 › 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 › 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 › 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 › Research
- 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
- 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 › 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 › peer-review
Most downloads
-
6939
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › peer-review
Published -
6250
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › peer-review
Published -
5770
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › peer-review
Doorways Do Not Always Cause Forgetting: Studying the Effect of Locomotion Technique and Doorway Visualization in Virtual Reality
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Interactive visual facets to support fluid exploratory search
Research output: Contribution to journal › Journal article › peer-review