- 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
- 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
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis
- Published
Accessing online documentation: An experimental evaluation of browsing and querying
Hertzum, M., 1993.Research output: Contribution to conference › Paper › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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/Report › Ph.D. thesis
- 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 journal › Review › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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/Report › Anthology › peer-review
- 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/Report › Ph.D. thesis
- 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/Report › Ph.D. thesis
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Conference abstract in journal › peer-review
- Published
Algorithms and AI in Education
Hjuler, N. O. D., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- 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 journal › Contribution to newspaper - Comment/debate
- 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 conference › Paper › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report
- 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 journal › Journal article › peer-review
- 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/Report › Report
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 conference › Conference abstract for conference › Research › peer-review
- Published
Amanda - og problemerne med Statens IT-projekter
Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- 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 journal › Journal article › peer-review
- 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-771Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Conference article › peer-review
- 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 conference › Poster › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Conference article › peer-review
- Published
An experimental evaluation of navigation piles
Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, 16 p.Research output: Working paper › Research
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 paper › Research
- 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 IIResearch output: Contribution to journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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. 7738016Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Conference article › peer-review
- 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 proceeding › Article in proceedings › Research
- 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-213Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Conference article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Report
- 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 journal › Journal article › peer-review
- 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/Report › Ph.D. thesis
- 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/Report › Ph.D. thesis
- 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 proceeding › Article in proceedings › Research › peer-review
- 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/Report › Ph.D. thesis
- 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 proceeding › Article in proceedings › Research › peer-review
- Published
Anisotropically weighted and nonholonomically constrained evolutions on manifolds
Sommer, Stefan Horst, 2016, In: Entropy. 18, 12, 21 p., 425.Research output: Contribution to journal › Journal article › peer-review
- 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-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-13Research output: Contribution to journal › Journal article
- 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-14Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Encyclopedia chapter › Research › peer-review
- 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 proceeding › Encyclopedia chapter › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 proceeding › Book chapter › Research › peer-review
- 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-43Research output: Contribution to journal › Journal article › peer-review
- 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 proceeding › Book chapter › Research › peer-review
- 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-S007Research output: Contribution to journal › Conference abstract in journal
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Conference abstract in proceedings › Research › peer-review
- 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 proceeding › Conference abstract in proceedings › Research › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- 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 journal › Journal article › peer-review
- Published
Assessment of rotationally-invariant clustering using streamlet tractography
Liptrot, M. G. & Lauze, Francois Bernard, 2016.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Association of Socioeconomic Status With Dementia Diagnosis Among Older Adults in Denmark
Petersen, Jindong Ding, Wehberg, S., Packness, A., Svensson, N. H., Hyldig, N., Raunsgaard, S., Andersen, M. K., Ryg, J., Mercer, S. W., Søndergaard, J. & Waldorff, Frans Boch, 2021, In: JAMA network open. 4, 5, 13 p., 2110432.Research output: Contribution to journal › Journal article › peer-review
- Published
Asymmetry quantization and application to human mandibles
Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Asymptotically efficient in-place merging
Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181Research output: Contribution to journal › Journal article › peer-review
- Published
At the center of the galaxy: the integrative role of medical progress notes
Bansler, Jørgen P., Havn, E. C., Mønsted, T. & Schmidt, K., 2013. 4 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Atherosclerotic plaque component segmentation in combined carotid MRI and CTA data incorporating class label uncertainty
van Engelen, A., Niessen, W. J., Klein, S., Groen, H. C., Verhagen, H. J. M., Wentzel, J. J., van der Lugt, A. & de Bruijne, Marleen, 2014, In: PLoS ONE. 9, 4, 14 p., e94840.Research output: Contribution to journal › Journal article › peer-review
- Published
Atlases of cardiac fiber differential geometry
Piuze, E., Lombaert, H., Sporring, Jon, Strijkers, G. J., Bakermans, A. J. & Siddiqi, K., 2013, Functional Imaging and Modeling of the Heart: 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings. Ourselin, S., Rueckert, D. & Smith, N. (eds.). Springer, p. 442-449 8 p. (Lecture notes in computer science, Vol. 7945).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Augmented reality views for occluded interaction
Lilija, K., Pohl, H., Boring, S. & Hornbæk, Kasper, 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 446Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Auto-segmentation of Hip Joints Using MultiPlanar UNet with Transfer Learning
Xu, Peidi, Moshfeghifar, Faezeh, Gholamalizadeh, T., Nielsen, Michael Bachmann, Erleben, Kenny & Darkner, Sune, 2022, Medical Image Learning with Limited and Noisy Data: First International Workshop, MILLanD 2022 Held in Conjunction with MICCAI 2022 Singapore, September 22, 2022 Proceedings. Zamzmi, G., Antani, S., Rajaraman, S., Xue, Z., Bagci, U. & Linguraru, M. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 153-162 10 p. (Medical Image Learning with Limited and Noisy Data, Vol. 13559).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Automated Quantification of the Morphological Atherosclerotic Calcification Distribution on X-Rays Is a Strong Predictor of Mortality in Postmenopausal Women
Christiansen, C., Karsdal, M., Lauze, Francois Bernard, Dam, E., Ganz, Melanie, de Bruijne, Marleen, Sørensen, M., Barascuk, N. & Nielsen, Mads, 2008, In: Arteriosclerosis, Thrombosis, and Vascular Biology. 6, p. e48-e48 1 p.Research output: Contribution to journal › Conference abstract in journal › peer-review
- Published
Automated brain-tissue segmentation by multi-feature SVM classification
van Opbroek, A., van der Lijn, F. & de Bruijne, Marleen, 2013, The MICCAI Grand Challenge on MR Brain Image Segmentation (MRBrainS13). 8 p. (The MIDAS Journal).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Automated execution of financial contracts on blockchains
Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol
Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P415-P416 2 p., P1-288.Research output: Contribution to journal › Conference abstract in journal › peer-review
- Published
Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol
Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P33 1 p., IC-P-058.Research output: Contribution to journal › Conference abstract in journal › peer-review
- Published
Automated measurement of diagnostic angles for hip dysplasia
de Raedt, S., Mechlenburg, I. B., Stilling, M., Mikkelsen, L. R., Søballe, K. & de Bruijne, Marleen, 2013, Medical Imaging 2013: Computer-Aided Diagnosis. Novak, C. L. & Aylward, S. (eds.). SPIE - International Society for Optical Engineering, 10 p. 867009. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 8670).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Automated quantification of bronchiectasis, airway wall thickening and lumen tapering in chest CT
Perez-Rovira, A., Kuo, W., Petersen, Jens, A.W.M. Tiddens, H. & de Bruijne, Marleen, 2015. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Automated segmentation of atherosclerotic histology based on pattern classification
van Engelen, A., Niessen, W. J., Klein, S., Groen, H. C., van Gaalen, K., Verhagen, H. J., Wentzel, J. J., van der Lugt, A. & de Bruijne, Marleen, 2013, In: Journal of Pathology Informatics. 4, 7 p., 3.Research output: Contribution to journal › Journal article › peer-review
- Published
Automated texture scoring for assessing breast cancer masking risk in full field digital mammography
Kallenberg, M. G. J., Petersen, P. K., Lillholm, Martin, Jørgensen, D. R., Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, In: Insights into Imaging. 6, 1, Supplement, 1 p., B-0212.Research output: Contribution to journal › Conference abstract in journal › peer-review
- Published
Automatic Calibration of High Density Electric Muscle Stimulation
Knibbe, J., Strohmeier, P., Boring, S. & Hornbæk, Kasper, 2017, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 3, 17 p., 68.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic FDG-PET-based tumor and metastatic lymph node segmentation in cervical cancer
Rodríguez Arbonès, D., Jensen, H. G., Loft, A., af Rosenschöld, P. M., Hansen, A. E., Igel, Christian & Darkner, Sune, 2014, Medical Imaging 2014: Image Processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 8 p. 903441. (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Automatic Motility Analysis of Human Sperm
Nissen, M. S., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Automatic airway-artery analysis on lung CT to quantify airway wall thickening and bronchiectasis
Perez-Rovira, A., Kuo, W., Petersen, Jens, Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: Medical Physics. 43, 10, p. 5736-5744 9 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic correction of dental artifacts in PET/MRI
Ladefoged, C. N., Andersen, F. L., Keller, S., Beyer, T., Law, I., Højgaard, Liselotte, Darkner, Sune & Lauze, Francois Bernard, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024009.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic galaxy classification via machine learning techniques: Parallelized rotation/flipping INvariant Kohonen maps (PINK)
Polsterer, K. L., Gieseke, Fabian Cristian & Igel, Christian, 2015, Astronomical Data Analysis Software and Systems: Proceedings of a meeting held at Calgary, Alberta, Canada 5-9 October 2014. Taylor, A. R. & Rosolowsky, E. (eds.). Astronomical Society of the Pacific, Vol. 24. p. 81-86 6 p. (ASP Conference Series, Vol. 495).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Automatic identification of web-based risk markers for health events
Yom-Tov, E., Borsa, D., Hayward, A. C., McKendry, R. A. & Cox, Ingemar Johansson, 2015, In: Journal of Medical Internet Research. 17, 1, e29.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic measurement of wrist synovitis from contrast-enhanced MRI: a registration-centered approach
Mysling, P., Darkner, Sune, Sporring, Jon, Dam, E. & Lillholm, Martin, 2013, Medical Imaging 2013: Image Processing. Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 86692U. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Automatic quantification of local and global articular cartilage surface curvature: biomarkers for osteoarthritis?
Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Karsdal, M. A., Pettersen, P. C. & Christiansen, C., Jun 2008, In: Magnetic Resonance in Medicine. 59, 6, p. 1340-6 7 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic segmentation of high-and low-field knee MRIs using knee image quantification with data from the osteoarthritis initiative
Dam, Erik Bjørnager, Lillholm, Martin, Marques, J. & Nielsen, Mads, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024001.Research output: Contribution to journal › Journal article › peer-review
- Published
Automatic shape model building based on principal geodesic analysis bootstrapping
Dam, Erik Bjørnager, Fletcher, P. T. & Pizer, S. M., Apr 2008, In: Medical Image Analysis. 12, 2, p. 136-51 16 p.Research output: Contribution to journal › Journal article › peer-review
- Published
BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS
Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, p. S59. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
BMD PREDICTION OF DEATH IS ENCAPSULATED BY THE MORPHOLOGICAL ATHEROSCLEROSIS CALCIFICATION DISTRIBUTION (MACD) INDEX
Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2009, In: Bone. suppl. 2, p. S265 1 p.Research output: Contribution to journal › Conference abstract in journal
- Published
Back to the Future: Sequential Alignment of Text Representations
Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Balancing priorities: a field study of coordination in distributed elder care
Mønsted, T., Johansen, A. K., Lauridsen, F. V. B., Manea, V. & Slavin-Borovskij, K., 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE, p. 970-978 9 p. 7427301Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Ballet Balance Strategies
Pedersen, C., Erleben, Kenny & Sporring, Jon, 2006, In: Simulation (San Diego, Calif.). 14, 8, p. 1135-1142Research output: Contribution to journal › Journal article › peer-review
- Published
Ballet Balance Strategies
Pedersen, C., Erleben, Kenny & Sporring, Jon, 2004, Proceedings of SIMS 2004. Technical University of Copenhagen, p. 323-330Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Basics of Compiler Design
Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.Research output: Book/Report › Book
- Published
Basics of Compiler Design, Kursusbog 5 Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.Research output: Book/Report › Book
- Published
Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition
Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.Research output: Book/Report › Book
- Published
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.Research output: Book/Report › Book
- Published
Battling memory requirements of array programming through streaming
Kristensen, M. R. B., Avery, J. E., Blum, T., Lund, S. A. F. & Vinter, B., 2016, In: Lecture notes in computer science. 2016, p. 451-469 19 p.Research output: Contribution to journal › Conference article › peer-review
- Published
Bayes PCA Revisited
Sporring, Jon, 2008, Department of Computer Science: Museum Tusculanum. 12 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-09).Research output: Book/Report › Report
- Published
Bayes reconstruction of missing teeth
Sporring, Jon & Jensen, K. H., 2008, In: Journal of Mathematical Imaging and Vision. 13, 2-3, p. 245-254Research output: Contribution to journal › Journal article › peer-review
- Published
Bayesian Image Segmentation with Multiscale Feature Learning
Petersen, P. K., 2012, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Bayesian epipolar geometry estimation from tomographic projections
Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV. Lee, K. M., Matsushita, Y., Rehg, J. M. & Hu, Z. (eds.). Springer, p. 231-242 12 p. (Lecture notes in computer science, Vol. 7727).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Behind the NAT??? A measurement based evaluation of cellular service quality
Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2015, Network and Service Management (CNSM), 2015 11th International Conference on. IEEE, p. 228-236 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Benefits of auxiliary information in deep learning-based teeth segmentation
Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Benefits of visualization in the mammography problem
Khan, A., Breslav, S., Glueck, M. & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Studies. 83, p. 94-113 20 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Best laid plans of lions and men
Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 6. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Best-of-Both-Worlds Learning in Bandits with Delayed Feedback
Masoudian, Saeed, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 166 p.Research output: Book/Report › Ph.D. thesis
- Published
Beta2-microglobulin as a prognostic marker for patients with AIDS in Dar es Salaam, Tanzania
Jorgensen, A. F., Jensen, V. G., Shao, J. F., Maselle, S., Mbaga, I. M., Mwakyusa, D. H., Gotzsche, P. C., Richter, C., Pallangyo, K., Cegielsky, P., Lallinger, G., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Dec 1990, In: AIDS. 4, 11, p. 1168-1169 2 p.Research output: Contribution to journal › Letter › peer-review
- Published
Better tradeoffs for exact distance oracles in planar graphs
Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Big Data eller privacy?
Henglein, Fritz, 2015. 5 p.Research output: Contribution to conference › Paper › Research
- Published
Big universe, big data: machine learning and image analysis for astronomy
Kremer, J., Stensbo-Smidt, K., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2017, In: IEEE Intelligent Systems. 32, 2, p. 16-22 7 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Bigger buffer k-d trees on multi-many-core systems
Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Binocular dense depth reconstruction using isotropy constraint
Nielsen, Mads & Deriche, R., 1995, In: Theory and Applications of Image Processing IIG. Borgefors, Ed. p. 127-140 14 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings
Klein, S. (ed.), Staring, M. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2018, Springer. 127 p. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 10883).Research output: Book/Report › Anthology › peer-review
- Published
Bipartite binomial heaps
Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Block Tridiagonal Matrices in Electronic Structure Calculations
Petersen, D. E., 2008, København: Department of Computer Science, University of Copenhagen. 247 p.Research output: Book/Report › Ph.D. thesis
- Published
Block Truncation and Planar Image Coding
Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Block Truncation and Planar Image Coding
Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Block Truncation and planar image coding, Vol.21, no.13-14
Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Blockchains for Business Process Management - Challenges and Opportunities
Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 others, , Feb 2018, In: ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.Research output: Contribution to journal › Journal article › peer-review
- Published
Body-based user interfaces
Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, Joanna, Jansen, Y. & Hornbæk, Kasper, 2022, The Routledge Handbook of Bodily Awareness. Taylor and Francis/Routledge, p. 478-502Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Boneless Pose Editing and Animation
Bærentzen, J. A., Hansen, K. E. & Erleben, Kenny, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 562-571 (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Boosting active contours for weld pool visual tracking in automatic arc welding
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., Apr 2017, In: IEEE Transactions on Automation Science and Engineering. 14, 2, p. 1096-1108 13 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Boosting reversible pushdown machines by preprocessing
Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bottleneck paths and trees and deterministic graphical games
Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bottom-k and priority sampling, set similarity and subset sums with minimal independence
Thorup, Mikkel, 2013, STOC '13: Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing. Association for Computing Machinery, p. 371-380 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bottom-up, top-down? Connecting software architecture design with use
Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. & Shapiro, D. K., 2009, Configuring user-designer relations: Interdisciplinary perspectives. Voss, A., Hartswood, M., Ho, K., Procter, A., Rouncefield, M., Slack, R. & Büscher, M. (eds.). Springer Science+Business Media, 35 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Bounding component sizes of two-connected Steiner networks
Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, In: Information Processing Letters. 104, 5, p. 159-163Research output: Contribution to journal › Journal article › peer-review
- Published
Bounding volumes for proteins: a comparative study
Fonseca, R. & Winter, Pawel, 2012, In: Journal of Computational Biology. 19, 10, p. 1203-1213 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Bounds checking: an instance of hybrid analysis
Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks
Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Brain region's relative proximity as marker for Alzheimer's disease based on structural MRI
Erleben, L. L., Sørensen, L. E., Pai, A. S. U., Dam, Erik Bjørnager, Nielsen, Mads & Initiative, A. D. N., 2014, In: BMC Medical Imaging. 14, 1, 12 p., 21.Research output: Contribution to journal › Journal article › peer-review
- Published
Branch and bound algorithm for protein structure prediction using efficient bounding
Winter, Pawel, 2007.Research output: Contribution to conference › Poster › Research
- Published
Branchless search programs
Elmasry, A. & Katajainen, J., 2013, Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Bonifaci, V., Demetrescu, C. & Marchetti-Spaccamela, A. (eds.). Springer, p. 127-138 12 p. (Lecture notes in computer science, Vol. 7933).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Breast density scoring with multiscale denoising autoencoders
Petersen, P. K., Chernoff, K., Nielsen, Mads & Ng, A. Y., 2012. 8 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Breast tissue segmentation and mammographic risk scoring using deep learning
Petersen, P. K., Nielsen, Mads, Diao, P., Karssemeijer, N. & Lillholm, Martin, 2014, Breast imaging: 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 – July 2, 2014. Proceedings. Fujita, H., Hara, T. & Muramatsu, C. (eds.). Springer Science+Business Media, p. 88-94 7 p. (Lecture notes in computer science, Vol. 8539).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Breast tissue segmentation from x-ray radiographs
Chen, C., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 10, p. 2445-2456 12 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Bridge simulation and metric estimation on landmark manifolds
Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 79-91 13 p. (Lecture notes in computer science, Vol. 10551).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Brief announcement: labeling schemes for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 39-41 3 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bringing content understanding into usability testing in complex application domains—a case study in eHealth
Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process
Hertzum, M. & Frøkjær, Erik, 1996, In: ACM Transactions on Computer Human Interaction. 3, 2, p. 136-161 26 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Buffer k-d trees: processing massive nearest neighbor queries on GPUs
Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Building Information Modeling: the dream of perfect information
Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks
Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.Research output: Contribution to journal › Journal article › peer-review
- Published
CMA-ES with optimal covariance update and storage complexity
Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Calculating certified compilers for non-deterministic languages
Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Calculating correct compilers
Bahr, P. & Hutton, G., 2015, In: Journal of Functional Programming. 25, 47 p., e14.Research output: Contribution to journal › Journal article › peer-review
- Published
Calibration of an agile camera
Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Camera-based seam tracking and nearly-closed-loop control of arc welding
Liu, J., Christensen, K. H., Fan, Z., Olsen, Søren Ingvor & Kristensen, J. K., 2009. 13 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Can AMR Assist Legal and Logical Reasoning?
Schrack, Nikolaus Alexander, Cui, Ruixiang, López, H. A. & Hershcovich, Daniel, 2022, Findings of the Association for Computational Linguistics: EMNLP 2022. Association for Computational Linguistics, p. 1555-1568Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Carbon Footprint of Selecting and Training Deep Learning Models for Medical Image Analysis
Selvan, Raghav, Bhagwat, N., Anthony, L. F. W., Kanding, B. & Dam, Erik Bjørnager, 2022, Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference Singapore, September 18–22, 2022 Proceedings, Part V. Springer, p. 506–516 (Lecture Notes in Computer Science, Vol. 13435).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models
Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Cardiac fiber inpainting using cartan forms
Piuze, E., Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Moru, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 509-517 9 p. (Lecture notes in computer science, Vol. 8150).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Caring for Participation in STS: from empowered patients to Ghostbusters
Nielsen, K. D., 2015, In: EASST Review. 34, 2Research output: Contribution to journal › Journal article
- Published
Carotid artery lumen segmentation in 3D free-hand ultrasound images using surface graph cuts
Lorza, A. M. A., Carvalho, D. D. B., Petersen, Jens, Dijk, A. C. V., Lugt, A. V. D., Niessen, W. J., Klein, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 542-549 8 p. (Lecture notes in computer science, Vol. 8150).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts
Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 3, p. 901-911 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Cellular 3D-reconstruction and analysis in the human cerebral cortex using automatic serial sections
Larsen, N. Y., Li, X., Tan, X., Ji, G., Lin, J., Rajkowska, G., Møller, J., Vihrs, N., Sporring, Jon, Sun, F. & Nyengaard, J. R., Dec 2021, In: Communications Biology . 4, 1, 15 p., 1030.Research output: Contribution to journal › Journal article › peer-review
- Published
Cerebral serotonin transporter measurements with [11C]DASB: A review on acquisition and preprocessing across 21 PET centres
Nørgaard, M., Ganz, Melanie, Svarer, C., Feng, L., Ichise, M., Lanzenberger, R., Lubberink, M., Parsey, R. V., Politis, M., Rabiner, E. A., Slifstein, M., Sossi, V., Suhara, T., Talbot, P. S., Turkheimer, F., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, 2, p. 210-222 13 p.Research output: Contribution to journal › Review › peer-review
- Published
Certified symbolic management of financial multi-party contracts
Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Chains, antichains, and complements in infinite partition lattices
Avery, J. E., Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, In: Algebra Universalis. 79, 37, 21 p., 37.Research output: Contribution to journal › Journal article › peer-review
- Published
Challenges of participatory design for social innovation: a case study in aging society
Obata, A., Ohori, K., Kobayashi, N., Hochreuter, H. L. & Kensing, Finn, 2012, Proceedings of the 12th Participatory Design Conference: exploratory papers, workshop descriptions, industry cases - volume 2. Association for Computing Machinery, Vol. 2. p. 9-12 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Change in mammographic density across birth cohorts of Dutch breast cancer screening participants
Napolitano, George, Lynge, Elsebeth, Lillholm, Martin, Vejborg, I. M. M., van Gils, C. H., Nielsen, Mads & Karssemeijer, N., 2019, In: International Journal of Cancer. 145, 11, p. 2954-2962 9 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Characterization of errors in deep learning-based brain MRI segmentation
Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (eds.). Academic Press, p. 223–242 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Characterizing RNA ensembles from NMR data with kinematic models
Fonseca, R., Pachov, D. V., Bernauer, J. & van den Bedem, H., 2014, In: Nucleic Acids Research. 42, 15, p. 9562-9572 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Characterizing languages by normalization and termination in string rewriting
Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Characterizing software activity: the influence of software to ecosystem health
Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Characterizing the Danish telemedicine ecosystem: making sense of actor relationships
Manikas, K. & Hansen, K. M., 2013, Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems: MEDES '13. Association for Computing Machinery, p. 211-218 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Charting Subtle Interaction in the HCI Literature
Pohl, H., Muresan, A. & Hornbæk, Kasper, 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 15 p. 418Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Chats with Bots: Balancing Imitation and Engagement
Muresan, A. & Pohl, H., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 6 p. LBW0252Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Chest computed tomography: a validated surrogate endpoint of cystic fibrosis lung disease?
Loeve, M., Krestin, G. P., Rosenfeld, M., de Bruijne, Marleen, Stick, S. M. & Tiddens, H. A., 2013, In: European Respiratory Journal. 42, 3, p. 844-857 14 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases
Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, Dec 1990, In: International Journal of Legal Medicine (Print). 104, 1, p. 3-7 5 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Chronic Obstructive Pulmonary Disease Quantification Using CT Texture Analysis and Densitometry: Results From the Danish Lung Cancer Screening Trial
Sørensen, L., Nielsen, Mads, Petersen, Jens, Pedersen, J. H., Dirksen, A. & de Bruijne, Marleen, 2020, In: American Journal of Roentgenology. 214, 6, p. 1269-1279Research output: Contribution to journal › Journal article › peer-review
- Published
Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes
Schmidtke, R. & Erleben, Kenny, 2018, In: IEEE Transactions on Visualization and Computer Graphics. 24, 12, p. 3044-3057Research output: Contribution to journal › Journal article › peer-review
- Published
Civile droner i Danmark: potentialer, udfordringer og anbefalinger
Smith Lygum, A. K., Skjødt Nielsen, J., Bang Bådum, N., La Cour-Harbo, A., Paulin Hansen, J., Steenstrup Pedersen, Kim, Larsen, L. M., Kessing, P. V., Madsen Almdal, T., Ploug, T. & Grønbæk, D., 2014, Teknologirådet. 103 p.Research output: Book/Report › Report
- Published
Classical realizability in the CPS target language
Frey, J., 2016, In: Electronic Notes in Theoretical Computer Science. 325, p. 111-126 16 p.Research output: Contribution to journal › Conference article › peer-review
- Published
Classification in Medical Imaging: Features, Metrics and Insights into Classifiers
Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis
- Published
Classification of Alzheimer and MCI phenotypes on MRI data using SVM
Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Classification of COPD with multiple instance learning
Cheplygina, V., Sørensen, L. E. B. L., Tax, D., Pedersen, J. J. H., Loog, M. & de Bruijne, Marleen, 2014, 22nd International Conference on Pattern Recognition (ICPR) 2014. IEEE, p. 1508-1513 6 p. (International Conference on Pattern Recognition).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa
Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., Aug 1993, In: Acta Tropica. 54, 2, p. 105-15 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Classifying VAT Legislation for Automation
Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.Research output: Contribution to conference › Paper › Research
- Published
Classifying convex bodies by their contact and intersection graphs
Aamand, A., Abrahamsen, Mikkel, Houen, Jakob Bæk Tejs & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 189).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cleaning up: garbage-free reversible circuits by design languages
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Clinical and parasitological studies on malaria in Liberian adults living under intense malaria transmission
Petersen, E., Høgh, Birthe, Marbiah, N. T., Dolopaie, E., Gottschau, A., Hanson, A. P. & Bjorkman, A., Dec 1991, In: Annals of Tropical Medicine and Parasitology. 85, 6, p. 577-84 8 p.Research output: Contribution to journal › Journal article › peer-review
- Published
ClouDiA: a deployment advisor for public clouds
Zou, T., Le Bras, R., Vaz Salles, M. A., Demers, A. & Gehrke, J., 2015, In: V L D B Journal. 21 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Coarse-to-Fine Low-Rank Structure-from-Motion
Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coding as a social and tangible activity
Tabel, O. L., Jensen, J., Dybdal, M. & Bjorn, Pernille, 25 Oct 2017, In: interactions. 24, 6, p. 70-73 4 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338Research output: Contribution to journal › Journal article › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 p.Research output: Contribution to conference › Paper › Research
- Published
Collision Detection of Deformable Volumetric Meshes
Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Collocation for diffeomorphic deformations in medical image registration
Darkner, Sune, Pai, A. S. U., Liptrot, M. G. & Sporring, Jon, 2018, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 40, 7, p. 1570-1583Research output: Contribution to journal › Journal article › peer-review
- Published
Color coding ER-diagrams, one approach to modeling semistructured data. Entity-Relationship diagrams used for aggregate oriented databases.
Lassen, Anders & Ejstrup, C., Jun 2020, In: International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET). 6, 6, p. 14-22Research output: Contribution to journal › Journal article › peer-review
- Published
Coloring 3-colorable graphs with o(n 1/5) colors
Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 458-469 12 p. (Leibniz International Proceedings in Informatics, Vol. 25).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combining generative and discriminative representation learning for lung CT analysis with convolutional restricted Boltzmann machines
van Tulder, G. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1262-1272 11 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Combining the boundary shift integral and tensor-based morphometry for brain atrophy estimation
Michalkiewicz, M. D., Pai, A. S. U., Leung, K. K., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2016, Medical imaging 2016: Image processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 6 p. 978406. (Progress in Biomedical Optics and Imaging).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Commentary: Usability and Theory Building
Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, 2, p. 186-189Research output: Contribution to journal › Comment/debate
- Published
Comparative study of search engine result visualisation: ranked lists versus graphs
Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (eds.). p. 27-30 4 p. (CEUR Workshop Proceedings, Vol. 1033).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Comparing fully automated state-of-the-art cerebellum parcellation from magnetic resonance images
Carass, A., Cuzzocreo, J. L., Han, S., Hernandez-Castillo, C. R., Rasser, P. E., Ganz, M., Beliveau, V., Dolz, J., Ben Ayed, I., Desrosiers, C., Thyreau, B., Romero, J. E., Coupé, P., Manjón, J. V., Fonov, V. S., Collins, D. L., Ying, S. H., Onyike, C. U., Crocetti, D., Landman, B. A. & 3 others, , 2018, In: NeuroImage. 183, p. 150-172 23 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Comparing modalities and feedback for peripheral interaction
Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Comparing usability problems and redesign proposal as input to practical systems development
Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Comparison of Techniques for Matching of Usability-Problem Descriptions
Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Interacting with Computers. 20, 6, p. 505-514Research output: Contribution to journal › Journal article › peer-review
- Published
Comparison of several computational pipelines for atrophy computation in longitudinal Alzheimers studies
Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L. E. B. L., Sporring, Jon & Nielsen, Mads, 2015. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Compiling APL to accelerate through a typed array intermediate language
Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 13-18 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling a subset of APL into a typed intermediate language
Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling generalized histograms for GPU
Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Complexity hierarchies and higher-order cons-free rewriting
Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Complexity hierarchies and higher-order cons-free term rewriting
Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.Research output: Contribution to journal › Journal article › peer-review
- Published
Complexity of conditional term rewriting
Kop, C. L. M., Middeldorp, A. & Sternagel, T., 2017, In: Logical Methods in Computer Science. 13, 1, 56 p., 6.Research output: Contribution to journal › Journal article › peer-review
- Published
Composing and decomposing data types: a closed type families implementation of data types à la carte
Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compositional Specification of Commercial Contracts (Technical. report)
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.Research output: Book/Report › Report
- Published
Compositional deep learning in Futhark
Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compressing spatio-temporal trajectories
Gudmundsson, J., Katajainen, J., Merrick, D., Ong, C. & Wolle, T., 2009, In: Computational Geometry. 42, 9, p. 825-841 17 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Computability in the lattice of equivalence relations
Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry
Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 p.Research output: Book/Report › Ph.D. thesis
- Published
Computational anatomy in Theano
Kühnel, L. & Sommer, Stefan Horst, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 164-176 13 p. (Lecture notes in computer science, Vol. 10551).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational artifacts: interactive and collaborative computing as an integral feature of work practice
Schmidt, K. & Bansler, Jørgen P., 2016, COOP 2016: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, p. 21-38 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational biology: a programming perspective
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Computational complexity for uniform orientation Steiner tree problems
Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational complexity of linear large margin classification with ramp loss
Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (eds.). p. 259-267 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 38).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computer Support for Document Management in the Danish Central Government
Hertzum, M., 1995, In: Information Infrastructure and Policy. 4, 2, p. 107-129 23 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Computer analysis method for analyzing images involves applying algorithm to aligned images to extract quantitative estimate of difference in volume of object shown in second image by calculating change in volume of object
Pai, A. S. U., Sørensen, L., Dam, E., Lillholm, Martin & Nielsen, Mads, 2014, IPC No. A61B-005/00, Patent No. US2014357978-A1, 4 Dec 2014, Priority date 4 Jun 2013, Priority No. US909666Research output: Patent
- Published
Computer based method for determining the size of an objects in an image
Pai, A. S. U., Sørensen, L., Dam, E. B., Lillholm, Martin & Nielsen, Mads, 4 Dec 2014, Priority date 4 Dec 2014Research output: Patent
- Published
Computer support for documentation work
Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.Research output: Book/Report › Report › peer-review
- Published
Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction
Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Computer-supported patient involvement in heart rehabilitation
Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, p. 177-186 10 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computerlingvistik: Metoder til visualisering af regional variation i sociale medier
Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (eds.). Frederiksberg: Samfundslitteratur, p. 121-143 23 p. (Medier, Kommunikation, Journalistik).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Computing Optic Flow by Scale-Space Integration of Normal Flow
Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. p. 124-135 (DIKU teknisk rapport; No. 01-04).Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Computing continuous-time Markov chains as transformers of unbounded observables
Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem
Zachariasen, M. & Winter, Pawel, 1999, In: Algorithmica. Vol.25, p. 418-437Research output: Contribution to journal › Journal article › peer-review
- Published
Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem
Zachariasen, M. & Winter, Pawel, 1998, publisher. p. 144-153Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes
Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 p. (CPH STL Report; No. 2012-3).Research output: Book/Report › Report
- Published
Concrete Semantics with Coq and CoqHammer
Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Concurrent solution of the stereo correspondence problem and the surface reconstruction problem
Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, p. 1038-1040 3 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Conflict IT: Technologies and collaborative practices in conflict areas
Boulus-Rødje, N., Bjorn, Pernille, Randall, D., Wulf, V. & Ghazawneh, A., 2015. 7 p.Research output: Contribution to conference › Paper › Research
- Published
Confluence of an extension of combinatory logic by Boolean constants
Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Conforming contact manifolds for multibody simulations
Visseq, V., Bonde, U., Erleben, Kenny & Darkner, Sune, 2014. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Connecting Practices : ICT Infrastructures to Support Integrated care: Guest Editorial
Bansler, Jørgen P., 2007, In: International Journal of Integrated Care. 7, p. 1-2 2 p.Research output: Contribution to journal › Editorial
- Published
Connection forms for beating the heart
Mensch, A., Piuze, E., Lehnert, L., Backermans, A. J., Sporring, Jon, Strijkers, G. J. & Siddiqi, K., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer, p. 83-92 10 p. (Lecture notes in computer science, Vol. 8896).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Consistent Hashing with bounded loads
Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV
Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, MM., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, SN., Bearden, I., Bourjau, C. A., rtc312, R., bsm989, B., Gaardhøje, J. J. & 8 others, , 24 Sep 2020, In: Journal of High Energy Physics (Online). 2020, 9, 34 p., 160.Research output: Contribution to journal › Journal article › peer-review
- Published
Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443
Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Constraint reordering for iterative multi-body simulation with contact
Andrews, S., Erleben, Kenny & Teichmann, M., 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Constructing Concise Convex Covers via Clique Covers
Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 258).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing light spanners deterministically in near-linear time
Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing light spanners deterministically in near-linear time
Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 Mar 2022, In: Theoretical Computer Science. 907, p. 82-112Research output: Contribution to journal › Journal article › peer-review
- Published
Constructing visual representations: investigating the use of tangible tokens
Huron, S., Jansen, Y. & Carpendale, S., 2014, In: I E E E Transactions on Visualization and Computer Graphics. 20, 12, p. 2102-2111 10 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Construction and impromptu repair of an MST in a distributed network with o(m) communication
King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 71-80 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Content-Aware Video Editing in the Temporal Domain
Slot, K., Truelsen, R. & Sporring, Jon, 2009, Scandinavian Conference on Image Analysis (SCIA '09). 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Context Matters in Disorder Based Protein Communication
Kragelund, Birthe Brandt, Prestel, Andreas, Wickmann, N., Martins, J., Boomsma, Wouter, Staby, L., Hendus-Altenburger, R. & Skriver, Karen, 2020, In: Biophysical Journal. 118, 3, suppl. 1, p. 491A 2407-Plat.Research output: Contribution to journal › Conference abstract in journal › peer-review
- Published
Context-aware QoS provisioning in an m-health service platform
Wac, Katarzyna, van Halteren, A. T., Bults, R. G. A. & Broens, T. H. F., 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 102-108 7 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Context-aware computing support for network-assisted seamless vertical handover in remote patient monitoring
Pawar, P., Van Beijnum, B. J., Hermens, H., Wac, Katarzyna & Konstantas, D., 23 Oct 2009, Proceedings - 2009 International Conference on Advanced Information Networking and Applications Workshops, WAINA 2009. p. 351-358 8 p. 5136673. (Proceedings - International Conference on Advanced Information Networking and Applications, AINA).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services
Pawar, P., Maret, P., Wac, Katarzyna, Van Halteren, A., Van Beijnum, B. J. & Hermens, H., 1 Dec 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 481-488 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning
Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, p. 23-24Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Contour-Based Registration and Retexturing of Cartoon-Like Videos
Tiilikainen, N., Bartoli, A. & Olsen, Søren Ingvor, 2008, British Machine Vision Conference, BMVC 2008: 1-4 September, 2008, University of Leeds, Proceedings. Everingham, M., Needham, C. J. & Fraile, R. (eds.). BMVA, Vol. 1-2. p. 915-924Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Contracting a planar graph efficiently
Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Controlled trial of lambda-cyhalothrin impregnated bed nets and Maloprim chemosuppression to control malaria in children living in a holoendemic area of Sierra Leone, west Africa. Study design and preliminary results
Petersen, E., Marbiah, N. T., Magbiti, E., Lines, J. D., Maude, G. H., Høgh, Birthe, Curtis, C., Greenwood, B. & Bradley, D., Jul 1993, In: Parassitologia. 35 Suppl, p. 81-5 5 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Convergence in infinitary term graph rewriting systems is simple (extended abstract)
Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Convolutional neural networks for segmentation and object detection of human semen
Nissen, M. S., Krause, Oswin, Almstrup, Kristian, Kjærulff, S., Nielsen, T. T. & Nielsen, Mads, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part I. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part 1. p. 397-406 10 p. (Lecture notes in computer science, Vol. 10269).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Convolutional neural networks for transient candidate vetting in large-scale surveys
Gieseke, F., Bloemen, S., van den Bogaard, C., Heskes, T., Kindler, J., Scalzo, R. A., Ribeiro, V. A. R. M., van Roestel, J., Groot, P. J., Yuan, F., Möller, A. & Tucker, B. E., Dec 2017, In: Monthly Notices of the Royal Astronomical Society. 472, 3, p. 3101-3114 14 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions
Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Cooperative epistemic work in medical practice: an analysis of physicians' clinical notes
Bansler, Jørgen P., Havn, Erling Carl, Schmidt, K., Mønsted, T., Petersen, H. H. & Svendsen, Jesper Hastrup, 2016, In: Computer Supported Cooperative Work. 25, 6, p. 503-546 44 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Copilot: monitoring embedded systems
Pike, L., Wegmann, N., Niller, S. & Goodloe, A., 2013, In: Innovations in Systems and Software Engineering. 9, 4, p. 235-255 21 p.Research output: Contribution to journal › Journal article › peer-review
- Published
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors
Ladefoged, C. N., Andersen, F. L., Keller, S. H., Beyer, T., Højgaard, Liselotte & Lauze, Francois Bernard, 2014, Proceedings of SPIE Medical Imaging 2014: Image processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 7 p. 90341M. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9034). (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coupling motion and perception in body based UI
Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 697-701 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-Domain Label-Adaptive Stance Detection
Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 9011-9028Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual RST discourse parsing
Braud, C. E., Coavoux, M. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 292-304 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual and cross-domain discourse segmentation of entire documents
Braud, C., Lacroix, O. & Søgaard, Anders, 1 Jan 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Vol. 2. p. 237-243 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual tagger evaluation without test data
Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: short papers. Association for Computational Linguistics, Vol. 2. p. 248-253 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual transfer of correlations between parts of speech and gaze features
Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Crowdsourced emphysema assessment
Ørting, S. N., Cheplygina, V., Petersen, Jens, Thomsen, L. H., Wille, M. M. W. & de Bruijne, Marleen, 2017, Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Lee, S-L., Cheplygina, V., Balocco, S., Mateus, D., Zahnd, G., Maier-Hein, L., Dermirci, S., Granger, E., Duong, L., Carbonneau, M-A., Albarquoni, S. & Carneiro, G. (eds.). Springer, p. 126-135 10 p. (Lecture notes in computer science, Vol. 10552).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cube propagation for focal brain atrophy estimation
Pai, A. S. U., Sørensen, L., Darkner, Sune, Mysling, P., Jørgensen, D. R., Dam, E. B., Lillholm, Martin, Oh, J., Chen, G., Suhy, J., Sporring, Jon & Nielsen, Mads, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging. IEEE, p. 402-405 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
DABAI: A data driven project for e-Learning in Denmark
Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 Jan 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
DOREEN: A Game of Provocations Creating New Ambitions for Equity in Computing through Intertextual Design
Vej, J., Borsotti, Valeria, Savage, Valkyrie Arline, Engell-Nørregård, M. P. & Bjorn, Pernille, 2022, Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Danger to public health: medical devices, toxicity, virus and fraud
Kierkegaard, S. & Kierkegaard, P., 2013, In: Computer Law & Security Review. 29, 1, p. 13-27 15 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Danish cross-disciplinary consortium with a focus on utilizing IT in schools: results and future directions
Alstrup, Stephen, 2014. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Danmark: et digitalt uland?
Alstrup, Stephen, 21 Oct 2014Research output: Other contribution › Net publication - Internet publication › Communication
- Published
Dark patterns in proxemic interactions: a critical perspective
Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Data Management in Microservices: State of the Practice, Challenges, and Research Directions
Nunes Laigner, Rodrigo, Zhou, Yongluan, Vaz Salles, M. A., Liu, Yijian & Kalinowski, M., 2021, In: Proceedings of the VLDB Endowment. 14, 13, p. 3348–3361Research output: Contribution to journal › Conference article › peer-review
- Published
Data structures and dynamic memory management in reversible languages
Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Data tracking in search of workflows
Møller, Naja Holten, Bjorn, Pernille, C. Villumsen, J., Hancock, T. C. H., Aritake, T. & Tani, S., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2153-2165 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark
Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Declarative cartography: in-database map generalization of geospatial datasets
Kefaloukos, P. K. B., Vaz Salles, M. A. & Zachariasen, M., 2014, Proceedings of the 2014 IEEE 30th International Conference on Data Engineering: ICDE 2014. IEEE, p. 1024-1035 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep Feature Learning and Cascaded Classifier for Large Scale Data
Prasoon, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 117 p.Research output: Book/Report › Ph.D. thesis
- Published
Deep Learning from Label Proportions for Emphysema Quantification
Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep Learning-Assisted Localisation of Nanoparticles in synthetically generated two-photon microscopy images
Netterstrøm, R., Kutuzov, Nikolay, Darkner, Sune, Pallesen, M. J., Lauritzen, Martin, Erleben, Kenny & Lauze, Francois Bernard, 2023, arXiv.org, 1 p.Research output: Working paper › Preprint › Research
- Published
Deep feature learning for knee cartilage segmentation using a triplanar convolutional neural network
Prasoon, A., Petersen, P. K., Igel, Christian, Lauze, Francois Bernard, Dam, Erik Bjørnager & Nielsen, Mads, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 246-253 8 p. (Lecture notes in computer science, Vol. 8150).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep learning and computer vision techniques for microcirculation analysis: A review
Helmy, M., Truong, T. T., Jul, Eric & Ferreira, P., 2023, In: Patterns. 4, 1, 100641.Research output: Contribution to journal › Review › peer-review
- Published
Deep learning relevance: creating relevant information (as opposed to retrieving it)
Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Deep-learnt classification of light curves
Mahabal, A., Gieseke, F., Pai, A. S. U., Djorgovski, S. G., Drake, A. J., Graham, M. J. & CSS/CRTS/PTF Teams, C. T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deferred path heuristic for phylogenetic trees revisited
Nielsen, B. K., Lindgren, S., Winter, Pawel & Zachariasen, M., 2005, Proceedings Of CompBioNets05: Algorithms and Computional Methods for Biochemical and Evolutionary Networks. King's College Publications, p. 75-92 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Defining decision making strategies in software ecosystem governance
Manikas, K., Wnuk, K. & Shollo, A., 2015, 01 ed. Department of Computer Science, University of Copenhagen. 6 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport, Vol. 2015/01).Research output: Book/Report › Report
- Published
Deformable interfaces for performing music
Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 377-386 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deformation-Based Atrophy Estimation for Alzheimer’s Disease
Pai, A. S. U., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 140 p.Research output: Book/Report › Ph.D. thesis
- Published
Deformation-based atrophy computation by surface propagation and its application to Alzheimer’s disease
Pai, A. S. U., Sporring, Jon, Darkner, Sune, Dam, Erik Bjørnager, Lillholm, Martin, Jørgensen, D., Oh, J., Chen, G., Suhy, J., Sørensen, L. & Nielsen, Mads, 2016, In: SPIE Journal of Medical Imaging. 3, 1, 11 p., 014005.Research output: Contribution to journal › Journal article › peer-review
- Published
Delayed Bandits: When Do Intermediate Observations Help?
Esposito, E., Masoudian, Saeed, Qiu, H., van der Hoeven, D., Cesa-Bianchi, N. & Seldin, Yevgeny, 2023, Proceedings of the 40 th International Conference on Machine Learnin. PMLR, p. 9374-9395 22 p. (Proceedings of Machine Learning Research, Vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Delivering Rules-Based Workflows for Science
Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dementia diagnosis using MRI cortical thickness, shape, texture, and volumetry
Sørensen, L., Pai, A. S. U., Anker, C., Balas, I., Lillholm, Martin, Igel, Christian & Nielsen, Mads, 2014, MICCAI 2014 Workshop Proceedings: Challenge on Computer-Aided Diagnosis of Dementia Based on Structural MRI Data. Bron, E. E., Smits, M., van Swieten, J. C., Niessen, W. J. & Klein, S. (eds.). Erasmus Universiteit Rotterdam, p. 111-118 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dense Iterative Contextual Pixel Classification using Kriging
Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dense marker-less three dimensional motion capture
Hauberg, S., Jensen, B. R., Engell-Nørregård, M. P., Erleben, Kenny & Steenstrup Pedersen, Kim, 2010. 4 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Density-based non-rigid registration of diffusion-weighted images
Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, Apr 2017.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Dental artifacts in the head and neck region: implications for Dixon-based attenuation correction in PET/MR
Ladefoged, C. N., Hansen, A. E., Keller, S., Fischer, Barbara Malene Bjerregaard, Rasmussen, J. H., Law, I., Kjær, A., Højgaard, Liselotte, Lauze, Francois Bernard, Beyer, T. & Andersen, F. L., 2015, In: European Journal of Nuclear Medicine and Molecular Imaging. 2, 15 p., 8.Research output: Contribution to journal › Journal article › peer-review
- Published
Depth from zooming
Ma, J. & Olsen, Søren Ingvor, 1990, In: Journal of the Optical Society of America A. 7, 10, p. 1883-1890 8 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Deriving consistent GSM schemas from DCR graphs
Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Design and GPGPU performance of Futhark's redomap construct
Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Design and Implementation of the Futhark Programming Language
Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Design of Reversible Computing Systems: Logic, Languages, and Circuits
Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.Research output: Book/Report › Ph.D. thesis
- Published
Designantropologiske undersøgelser af Patient 2.0
Andersen, Tariq Osman, 2014, In: Tidsskrift for forskning i sygdom og samfund. 2014, 21, p. 77-107 31 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Designing a multi-touch eTextile for music performances
Donneaud, M., Honnet, C. & Strohmeier, P., 2017, Proceedings of the 17th International Conference on New Interfaces for Musical Expression (NIME’17). Erkut, C. (ed.). p. 7-12 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing a self-management app for young people with type 1 Diabetes: methodological challenges, experiences, and recommendations
Castensøe-Seidenfaden, P., Husted, G. R., Teilmann, Grete Katrine, Hommel, E., Olsen, B. S. & Kensing, Finn, 2017, In: JMIR mHealth and uHealth. 5, 10, p. e124 14 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Designing eTextiles for the Body: Shape, Volume Motion
Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.Research output: Contribution to journal › Journal article › peer-review
- Published
Designing information visualizations for elite soccer children's different levels of comprehension
Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing usable web forms- Empirical evaluation of web form improvement guidelines
Seckler, M., Heinz, S., Bargas-Avila, J. A., Opwis, K. & Tuch, A. N., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 1275-1284 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing, developing, and implementing software ecosystems: towards a step-wise guide
Manikas, K., Hämäläinen, M. & Tyrväinen, P., 2017, Proceedings of the 8th Workshop on Software Ecosystems. Jansen, S., Alves, C. & Bosch, J. (eds.). CEUR-WS.org, p. 70-79 10 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Detecting disease outbreaks in mass gatherings using internet data
Yom-Tov, E., Borsa, D., Cox, Ingemar Johansson & McKendry, R. A., 2014, In: Journal of Medical Internet Research. 16, 6, e154.Research output: Contribution to journal › Journal article › peer-review
- Published
Detecting users handedness for ergonomic adaptation of mobile user interfaces
Löchtefeld, M., Schardt, P., Krüger, A. & Boring, S., 2015, MUM '15 Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, p. 245-249 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Detection and Localization of Random Signals
Sporring, Jon, Olsen, N. H. & Nielsen, Mads, 2003, Scale Space Methods in Computer Vision: 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings. p. 785-797 (Lecture notes in computer science, Vol. 2695/2003).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Detection of traffic signs in real-world images: the German traffic sign detection benchmark
Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deterministic Group Tractography with Local Uncertainty Quantification
Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deterministic global minimum cut of a simple graph in near-linear time
Kawarabayashi, K. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 665-674 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Developing an ecosystem for interactive electronic implants
Strohmeier, P., Honnet, C. & von Cyborg, S., 2016, Biomimetic and Biohybrid Systems: 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings. Lepora, N. F., Mura, A., Mangan, M., Verschure, P. F. M. J., Desmulliez, M. & Prescott, T. J. (eds.). Springer, p. 518-525 8 p. (Lecture notes in computer science, Vol. 9793).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Developing and validating COVID-19 adverse outcome risk prediction models from a bi-national European cohort of 5594 patients
Jimenez-Solem, E., Petersen, T. S., Hansen, C., Hansen, C., Lioma, C., Igel, C., Boomsma, W., Krause, O., Lorenzen, S., Selvan, R., Petersen, J., Nyeland, M. E., Ankarfeldt, M. Z., Virenfeldt, G. M., Winther-Jensen, M., Linneberg, A., Ghazi, M. M., Detlefsen, N., Lauritzen, A. D., Smith, A. G. & 15 others, , 2021, In: Scientific Reports. 11, 1, 12 p., 3246.Research output: Contribution to journal › Journal article › peer-review
- Published
Developing self–control theory: towards digital sensoring by smartphone technologies
Demant, Jakob Johan, Heinskou, Marie Bruvik, Wac, Katarzyna & Schierff, L. M., 2016. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Diagnosis of bronchiectasis and airway wall thickening in children with cystic fibrosis: objective airway-artery quantification
Kuo, W., de Bruijne, Marleen, Petersen, Jens, Nasserinejad, K., Ozturk, H., Chen, Y., Perez-Rovira, A. & Tiddens, H. A. W. M., Nov 2017, In: European Radiology. 27, 11, p. 4680-4689 10 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Diffeomorphic image registration with automatic time-step adjustment
Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1085-1088 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Diffeomorphic spectral matching of cortical surfaces
Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 376-389 14 p. (Lecture notes in computer science, Vol. 7917).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Differences in smartphone usage: validating, evaluating, and predicting mobile user intimacy
Gustarini, M., Scipioni, M. P., Fanourakis, M. & Wac, Katarzyna, 2016, In: Pervasive and Mobile Computing. 33, p. 50-72 23 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Differential diagnosis of mild cognitive impairment and Alzheimer’s disease using structural MRI cortical thickness, hippocampal shape, hippocampal texture, and volumetry
Sørensen, L., Igel, Christian, Pai, A. S. U., Balas, I., Anker, C., Lillholm, Martin & Nielsen, Mads, 2017, In: NeuroImage: Clinical. 13, p. 470-482 13 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Differential effect of extracellular calcium on the Na(+)-K+ pump activity in intact polymorphonuclear leucocytes and erythrocytes
Petersen, René Horsleben, Knudsen, T. & Johansen, T., 11 Feb 1991, In: FEBS Letters. 279, 1, p. 153-6 4 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Differential geometry and stochastic dynamics with deep learning numerics
Kühnel, L., Sommer, Stefan Horst & Arnaudon, A., 2019, In: Applied Mathematics and Computation. 356, p. 411-437 27 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Diffusion Based Photon Mapping
Schjøth, L., Fogh Olsen, O. & Sporring, Jon, 2007, Advances in Computer Graphics and Computer Vision: International conferences, VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006 : revised selected papers. Braz, J., Ranchordas, A., Araújo, H. & Jorge, J. (eds.). Berlin/Heidelberg: Springer, p. 109-122 (Communications in Computer and Information Science; No. 4).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Diffusion Based Photon Mapping
Schjøth, L., Sporring, Jon & Fogh Olsen, O., 2008, In: Computer Graphics Forum. 27, 8, p. 2114-2127 13 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Diffusion Based Photon Mapping
Schjøth, L., Olsen, O. F. & Sporring, Jon, 2006, Proceeding of the First International conference on Computer Graphics -- Theory and Applications -- (GRAPP). p. 168-175Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Diffusivity-limited q-space trajectory imaging
Boito, D., Herberthson, M., Dela Haije, T., Blystad, I. & Özarslan, E., 2023, In: Magnetic Resonance Letters. 3, 2, p. 187-196Research output: Contribution to journal › Journal article › peer-review
- Published
Digital Billedbehandling
Olsen, Søren Ingvor, 1995, Den Store Danske Encyklopædi. København: GyldendalResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Digital Game Interventions for Youth Mental Health Services (Gaming My Way to Recovery): Protocol for a Scoping Review
Ferrari, M., McIlwaine, S., Reynolds, J. A., Archie, S., Boydell, K., Lal, S., Shah, J. L., Henderson, J., Alvarez-Jimenez, M., Andersson, N., Boruff, J., Nielsen, R. K. L. & Iyer, S. N., Jun 2020, In: JMIR Research Protocols. 9, 6, 10 p., 13834.Research output: Contribution to journal › Review › peer-review
- Published
Digital Health Tools for Sleep Self-Management: Working Mothers Use Case
Wac, Katarzyna, Montanini, L., Ryager, K. B. & Rivas, H., Mar 2017, p. 52555-52556.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Digital sound de-localisation as a game mechanic for novel bodily play
Tiab, J., Rantakari, J., Halse, M. L. & Mitchell, R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 6 p. 109Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Direct Routing on Trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Direct estimation of Time To Contact
Sporring, Jon & Nielsen, Mads, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Direct estimation of Time To Contact
Sporring, Jon & Nielsen, Mads, 1995, Proceedings fra Den Fjerde Danske Konference om Mønstergenkendelse og Billedanalyse. DIKU, p. 192-202Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria
Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.Research output: Contribution to journal › Journal article › peer-review
- Published
Discourse-aware rumour stance classification in social media using sequential classifiers
Zubiaga, A., Kochkina, E., Liakata, M., Procter, R., Lukasik, M., Bontcheva, K., Cohn, T. & Augenstein, Isabelle, Mar 2018, In: Information Processing & Management. 54, 2, p. 273-290Research output: Contribution to journal › Journal article › peer-review
- Published
Discriminative kernel feature extraction and learning for object recognition and detection
Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, Proceedings of the International Conference on Pattern Recognition Applications and Methods. De Marsico, M., Figueiredo, M. & Fred, A. (eds.). SCITEPRESS Digital Library, Vol. 1. p. 99-109 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Disjoint domains interactions framework for hyperelastic simulations
Bonde, U., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
DisplayPointers: seamless cross-device interactions
Strohmeier, P., 2015, Proceedings of the 12th International Conference on Advances in Computer Entertainment Technology. Association for Computing Machinery, 7 p. 4Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distance labeling schemes for trees
Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distance-based Classification Methods
Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, In: INFOR, Canadian OR Society. Vol.37, p. 337-352Research output: Contribution to journal › Journal article › peer-review
- Published
Distance-based classification methods
Winter, Pawel, Ekin, O., Hammer, P. L. & Kogan, A., 1996, Rutgers: Rutgers University.Research output: Book/Report › Report
- Published
Distance-field based joint-limits for biomechanic joint models
Engell-Nørregård, M. P., Niebe, S. M. & Erleben, Kenny, 2011.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Distributed multi-hypothesis coding of depth maps using texture motion information and optical flow
Salmistraro, M., Zamarin, M., Raket, L. L. & Forchhammer, S., 2013, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing: proceedings. IEEE, p. 1685-1689 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distribution Learning in Evolutionary Strategies and Restricted Boltzmann Machines
Krause, Oswin, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 121 p.Research output: Book/Report › Ph.D. thesis
- Published
Distribution, size, and shape of abdominal aortic calcified deposits and their relationship to mortality in postmenopausal women
Nielsen, Mads, Ganz, Melanie, de Bruijne, Marleen, Dam , E., Karsdal , M. & Christiansen , C., 2011. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Most downloads
-
6941
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