- 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 › Research › 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 › Research › 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, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, In: Algebra Universalis. 79, 37, 21 p., 37.Research output: Contribution to journal › Journal article › Research › 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 › Research › peer-review
- Published
Changes in maximum muscle strength and rapid muscle force characteristics after long-term special support and reconnaissance missions: A preliminary report
Christensen, P. A., Jacobsen, O., Thorlund, J. B., Madsen, Thomas, Møller, C., Jensen, C., Suetta, Charlotte & Aagaard, P., Sep 2008, In: Military Medicine. 173, 9, p. 889-894 6 p.Research output: Contribution to journal › Journal article › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Commissioned
- 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 › Research › 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 › Research
- 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 › Research › 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, Anders, Abrahamsen, Mikkel, Knudsen, J. B. T. & 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research
- 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Communication
- 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 › Research › 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 › Research
- 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 › Research › 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 › Research › 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 › Research
- 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 › Research › 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 › Research
- 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 › Research
- 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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 › Research › 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
Most downloads
-
6949
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6261
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review