- Published
Éalonnage de sources lumineuses de type LED
Durix, B., Quéau, Y., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 p.Research output: Contribution to conference › Paper › Research
- Published
Optimizing relational algebra operations using discrimination-based joins and lazy products
Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.Research output: Working paper › Research
- Published
zPatch: Hybrid Resistive/Capacitive eTextile Input
Strohmeier, P., Knibbe, J., Boring, S. & Hornbæk, Kasper, 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 188-198Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
mQoL smart lab: quality of life living lab for interdisciplinary experiments
De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 635-640 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
iSenseStress: assessing stress through human-smartphone interaction analysis
Ciman, M., Wac, Katarzyna & Gaggi, O., 2015, 2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth). IEEE, p. 84-91 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
eHealth in Denmark: a case study
Kierkegaard, P., 2013, In: Journal of Medical Systems. 37, 10 p., 9991.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices
Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 Mar 2017, In: Knowledge-Based Systems. 120, p. 1-3 3 p.Research output: Contribution to journal › Journal article › Research
- Published
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes
Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
You move, you move me: exploring lifelikeness in deformable interfaces
Pedersen, E. W. & Hornbæk, Kasper, 2012. 4 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
X-WikiRE: A Large, Multilingual Resource for Relation Extraction as Machine Comprehension
Abdou, M., Sas, C., Aralikatte, R., Augenstein, Isabelle & Søgaard, Anders, 2019, Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Association for Computational Linguistics, p. 265-274Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Worst-case-efficient dynamic arrays in practice
Katajainen, J., 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 167-183 17 p. (Lecture notes in computer science, Vol. 9685).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Word encoding tree connectivity works
Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Within-Network Classification in Temporal Graphs
Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Wireless body area networks for healthcare: The mobihealth project
Van Halteren, A., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Widya, I., Konstantas, D., Jones, V. & Herzog, R., 1 Jan 2005, In: Studies in Health Technology and Informatics. 108, p. 181-193 13 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
WikiBank: Using wikidata to improve multilingual frame-semantic parsing
Sas, C., Beloucif, M. & Søgaard, Anders, 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 4183-4189Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Why does synthesized data improve multi-sequence classification?
van Tulder, G. & de Bruijne, Marleen, 2015, Medical image computing and computer assisted interventions - MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 531-538 8 p. (Lecture notes in computer science, Vol. 9349).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
White matter hypointensity growth rate correlates with rate of brain atrophy
Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P414 1 p., P1-285.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
White matter hypointensity growth rate correlates with rate of brain atrophy
Pai, A. S. U., Sørensen, L., Darkner, Sune, Sporring, Jon, Rostrup, E. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P75-P76 2 p., IC-P-131.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
White dots do matter: rewriting reversible logic circuits
Soeken, M. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Which elements are involved in reversible and irreversible cartilage degradation in osteoarthritis?
Bay-Jensen, A., Hoegh-Madsen, S., Dam, Erik Bjørnager, Henriksen, K., Sondergaard, B. C., Pastoureau, P., Qvist, P. & Karsdal, M. A., Feb 2010, In: Rheumatology International. 30, 4, p. 435-42 8 p.Research output: Contribution to journal › Review › Research › peer-review
- Published
When Distribution of Tasks and Skills Are Fundamentally Problematic: A Failure Story from Global Software Outsourcing
Matthiesen, S. & Bjorn, Pernille, Nov 2017, In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI). 1, CSCW, 16 p., 74.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
What to study in HCI?
Hornbæk, Kasper, Oulasvirta, A., Reeves, S. & Bødker, S., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2385-2388 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What kind of usability-problem description are useful for developers
Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
What is a Sorting Function?
Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
What is a Sort Function?
Henglein, Fritz, 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. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What did authors value in the CHI'16 reviews they received?
Jansen, Y., Hornbæk, Kasper & Dragicevic, P., 2016, Proceedings of the 2016 CHI Conference - extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 596-606 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What can doodles on the arm teach us about on-body interaction?
Strohmeier, P., Carrascal, J. P. & Hornbæk, Kasper, 2016, Extended abstracts - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2726-2735 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What Is Interaction?
Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Weld pool visual tracking using active contours driven by baysian classifiers
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011. 2 p.Research output: Contribution to conference › Poster › Research › peer-review
- Published
Weighting training images by maximizing distribution similarity for supervised segmentation across scanners
van Opbroek, A., Vernooij, M. W., Ikram, M. A. & de Bruijne, Marleen, 2015, In: Medical Image Analysis. 24, 1, p. 245-254 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Web Data Mining for Public Health Purposes
Hansen, N. D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Weak-heap and weak-queue frameworks: source code
Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 81 p. (CPH STL Report; No. 2011-2).Research output: Book/Report › Report › Research
- Published
Weak heaps engineered
Edelkamp, S., Elmasry, A. & Katajainen, J., 2013, In: Journal of Discrete Algorithms. 23, p. 83-97 15 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Weak heaps and friends: recent developments
Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
We must be more wrong in HCI research
Hornbæk, Kasper, 2015, In: interactions. 22, 6, p. 20-21 2 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Waving to a touch interface: descriptive field study of a multipurpose multimodal public display
Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Wanding Through Space: Interactive Calibration for Electric Muscle Stimulation
Pohl, H., Hornbæk, Kasper & Knibbe, J., 2018, Proceedings of the 9th Augmented Human International Conference, AH 2018. Association for Computing Machinery, 5 p. a19Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary
Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 Feb 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 825-826 2 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Voxel Classification Based Vessel-guided Airway Segmentation
Lo, P. C. P., Sporring, Jon, Ashraf, H., Pedersen, J. H. J. & de Bruijne, Marleen, 2008, Proceedings of the Danish Conference on Pattern Recognition and Image Analysis: Organised by Danish Society for Automatic Pattern Recognition (Dansk Selskab for automatisk genkendelse af mønstre), Departmen of Computer Science, University of Copenhagen, Thursday 21 August 2008. Olsen, S. I. (ed.). Museum Tusculanum, p. 8-9 (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 08-10).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Volumetric shells using path tracing
Erleben, Kenny, 2008. 8 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Visualization of Tooth Eruption in CT-Scans
Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Visual assessment of early emphysema and interstitial abnormalities on CT is useful in lung cancer risk analysis
Wille, M. M. W., Thomsen, L. H., Petersen, Jens, de Bruijne, Marleen, Dirksen, A., Pedersen, J. H. & Shaker, S. B., 2016, In: European Radiology. 26, 2, p. 487-494 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Virtual reality studies outside the laboratory
Mottelson, A. & Hornbæk, Kasper, Nov 2017, Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology. Association for Computing Machinery, 10 p. 9Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 2, p. 206-216Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
View relations: an exploratory study on between-view meta-visualizations
Knudsen, S. & Carpendale, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 15Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Vessel-guided airway segmentation based on voxel classification
Lo, P. C. P., Sporring, Jon, Ashraf, H., Holst Pedersen, J. J. & de Bruijne, Marleen, 2008, The first International Workshop on Pulmonary Image Analysis: New York, September 6, 2008. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., Mori, K. & Reinhardt, J. (eds.). Lulu.com, p. 113-122Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Vertebral fracture risk (VFR) score for fracture prediction in postmenopausal Women
Lillholm, Martin, Ghosh, A., Pettersen, P. C., de Bruijne, Marleen, Dam, E. B., Karsdal, M. A., Christiansen, C., Genant, H. K. & Nielsen, Mads, 2011, In: Osteoporosis International. 22, 7, p. 2119-2128 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Veros v0.1-a fast and versatile ocean simulator in pure Python
Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 Aug 2018, In: Geoscientific Model Development. 11, 8, p. 3299-3312Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Verifying procedural programs via constrained rewriting induction
Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Velocity-based shock propagation for multibody dynamics animation
Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Vejen mod en journalistisk renæssance
Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication
- Published
Vector framework: Electronic appendix
Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 p.Research output: Working paper › Research
- Published
Validiteten af et infektionsregistreringssystem.
Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 Feb 1994, In: Ugeskrift for Laeger. 156, 9, p. 1273-1275 3 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Validation of tractography: comparison with manganese tracing
Knösche, T. R., Anwander, A., Liptrot, M. G. & Dyrby, T. B., 2015, In: Human Brain Mapping. 36, 10, p. 4116-4134 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Validation of hippocampal texture for early Alzheimer’s disease detection: generalization to independent cohorts and extrapolation to very early signs of dementia
Sørensen, L., Igel, Christian, Hansen, N. L., Lauritzen, Martin, Osler, Merete, Rostrup, Egill & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P133 1 p.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations
Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011Research output: Book/Report › Anthology › Research
- Published
Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm
Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using gaze to predict text readability
Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using concrete and realistic data in evaluating initial visualization designs
Knudsen, S., Pedersen, J. G., Herdal, T. & Larsen, J. E., 2016, Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization. Association for Computing Machinery, p. 27-35 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using SOC in development of context-aware systems: Domain model approach
Wac, Katarzyna, Pawar, P., Broens, T., van Beijnum, B. J. & van Halteren, A., 1 Jan 2010, Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press, p. 171-210 40 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Using Priors for Improving Generalization in Non-Rigid Structure-from-Motion
Olsen, Søren Ingvor & Bartoli, A., 2007, British Machine Vision Conference 2007: Proceedings. Rajpoot, N. & Bhalerao, A. (eds.). BMVA, Vol. 1-2. p. 1050-1059Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using Kinect for 2D and 3D pointing tasks: performance evaluation
Pino, A., Tzemis, E., Ioannou, N. & Kouroupetroglou, G., 2013, Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Kurosu, M. (ed.). Springer, p. 358-367 10 p. (Lecture notes in computer science, Vol. 8007).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using Implicit Skeleton Shape Representations for Volumetric Shell Meshing
Erleben, Kenny, 2007, København: Museum Tusculanum. 34 p. (Rapport. Datalogisk Institut, Københavns Universitet; No. 07/04).Research output: Book/Report › Report › Research
- Published
Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
User-defined gestures for elastic, deformable displays
Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
User generated content search
Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
User Defined Geo-referenced Information
Konstantas, D., Villalba, A., di Marzo Serugendo, G. & Wac, Katarzyna, 2009, In: Software and Data Technologies, Communications in Computer and Information Science, Volume 47. ISBN 978-3-642-05200-2. Springer-Verlag Berlin Heidelberg, 2009, p. 1. p. 1Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates
Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Use and misuse of mobile health information technologies for health self-management
Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, In: Annals of Behavioral Medicine. 50, Supplement 1, p. 314 1 p., D106.Research output: Contribution to journal › Conference abstract in journal › Research
- Published
Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards
Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, Apr 2017, In: Journal of Medical Internet Research. 19, 4, 12 p., e123.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Usability and User Experience Information in Reviews
Hedegaard, S., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Unsupervised sequence segmentation by a mixture of variable memory length Markov sources
Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised segmentation and classification of mixtures of Markovian sources
Seldin, Yevgeny, Starik, S. & Werman, M., 2003.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring
Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Unsupervised behaviour-specific dictionary learning for abnormal event detection
Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2015, Proceedings of the British Machine Vision Conference 2015. Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA, p. 28.1-28.13 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing
Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised Evaluation for Question Answering with Transformers
Muttenthaler, L., Augenstein, Isabelle & Bjerva, J., 2020, Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP. Association for Computational Linguistics, p. 83-90Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unscented Kalman filtering on Riemannian manifolds
Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier
Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming
Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Universets big data
Stensbo-Smidt, K., 2015, Naturen i computeren. Det Natur- og Biovidenskabelige Fakultet, Københavns Universitet, p. 14-15 2 p. (Temahæfte, Vol. 2015).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education
- Published
Union-find with constant time deletions
Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Understanding patient experience: a deployment study in cardiac remote monitoring
Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Understanding behaviors in videos through behavior-specific dictionaries
Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2020, Researchgate.net, 58 p.Research output: Working paper › Preprint › Research
- Published
Understanding affordance, system state, and feedback in shape-changing buttons
Tiab, J. S. S. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2752-2763 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unbounded population MO-CMA-ES for the bi-objective BBOB test suite
Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unary resolution: characterizing PTIME
Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
UNSUPERVISED MACHINE LEARNING ON BASELINE BRAIN MRI IDENTIFIES MCI SUBGROUP WITH A FASTER DECLINE OVER TWO YEARS COMPARED TO CLASSICAL HIPPOCAMPAL SPARING AD SUBTYPE
Sørensen, L., Pai, A., Nielsen, Mads, Leverenz, J. B. & Pillai, J. A., 2019, In: Alzheimer's & Dementia. 15, 7, p. P1420 1 p., P4-326.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging
Perslev, Mathias, Hejselbak Jensen, M., Darkner, Sune, Jørgen Jennum, P. & Igel, Christian, 1 Oct 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). NIPS Proceedings, Vol. 32. p. 4415-4426Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467
Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces
Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Typed Regions for Tag-Free Garbage Collection
Elsman, Martin, 2002Research output: Book/Report › Report › Research
- Published
Type families with class, type classes with family
Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two-tier relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two-tier relaxed heaps: Lecture Notes in Computer Science
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Two-tier relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.Research output: Working paper › Research
- Published
Two-tier relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Two-pass greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Two-connected Steiner networks: structural properties
Winter, Pawel & Zachariasen, M., 2005, In: Operations Research Letters. 33, p. 395-402Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two-Connected Steiner Networks: Structual Properties
Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Insitute of Computer Science: DIKU.Research output: Book/Report › Report › Research
- Published
Two psychology-based Usability Inspection Techniques Studies in a diary Experiment
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: 3rd Nordic Conference on Human-computer Interaction (NordiCHI 2004). p. 3-12Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two new methods for transforming priority queues into double-ended priority queues
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-14.Research output: Working paper › Research
- Published
Two new methods for constructing double-ended priority queues from priority queues
Elmasry, A., Jensen, C. & Katajainen, J., 2008, In: Computing. 83, 4, p. 193-204 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two dimensional shape representation manipulation method for improving general procrustes alignment process, involves relating probable relative depth of landmark in three dimensional shape of body part
Chernoff, K., Nielsen, Mads & Lillholm, Martin, 2010, IPC No. G06T-007/00, Patent No. WO2010142595-A1, 16 Dec 2010, Priority date 11 Jun 2009, Priority No. US268370Research output: Patent
- Published
Twisted tabulation hashing
Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 209-228 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Trustworthy pervasive healthcare services via multiparty session types
Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Truncation error for simplex propagation
Sporring, Jon, 2013, Datalogisk Institut. 8 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 01/2013).Research output: Book/Report › Report › Research
- Published
Troll, a Language for specifying Dice-rolls
Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Triposes, q-toposes and toposes
Frey, J., 2015, In: Annals of Pure and Applied Logic. 166, 2, p. 232-259 28 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Tribute Workshop for Peter Johansen
Nielsen, Mads (ed.), de Bruijne, Marleen (ed.), Jørgensen, Camilla Holm (ed.), Olsen, Søren Ingvor (ed.), Steenstrup Pedersen, Kim (ed.) & Sporring, Jon (ed.), 2008, Berlin: Springer. 151 p. (Journal of Mathematical Imaging and Vision; No. 31(2-3)p.119-269).Research output: Book/Report › Anthology › Research
- Published
Tree-space statistics and approximations for large-scale analysis of anatomical trees
Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 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. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Transforming perceptions of presence: reporting from an action research project
Lindekilde, R. & Bjorn, Pernille, 2016, In: International Journal of Systems and Society. 3, 1, 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Transfer learning improves supervised image segmentation across imaging protocols
van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 5, p. 1018-1030 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Transfer learning for multicenter classification of chronic obstructive pulmonary disease
Cheplygina, V., Peña, I. P., Pedersen, J. J. H., Lynch, D. A., Sørensen, L. & de Bruijne, Marleen, Sep 2018, In: IEEE Journal of Biomedical and Health Informatics. 22, 5, p. 1486 - 1496Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Transfer Learning for Unsupervised Influenza-like Illness Models from Online Search Data
Zou, B., Lampos, V. & Cox, Ingemar Johansson, 2019, WWW '19: The World Wide Web Conference. Association for Computing Machinery, p. 2505-2516Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Training shortest-path tractography: automatic learning of spatial priors
Kasenburg, N., Liptrot, M. G., Reislev, N. L., Ørting, S. N., Nielsen, Mads, Garde, E. & Feragen, A., 2016, In: NeuroImage. 130, p. 63-76 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Training restricted Boltzmann machines: an introduction
Fischer, A. & Igel, Christian, 2014, In: Pattern Recognition. 47, 1, p. 25-39 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Training recurrent neural networks robust to incomplete data: application to Alzheimer’s disease progression modeling
Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2019, In: Medical Image Analysis. 53, p. 39-46Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Training Restricted Boltzmann Machines
Fischer, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 212 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Trade unions and alternative technology in Scandinavia
Bansler, Jørgen P., 1989, In: New Technology, Work and Employment. 4, 2, p. 92-99 8 p.Research output: Contribution to journal › Journal article › Research
- Published
Tractable Constraints in Finite Semilattices
Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Tracko: ad-hoc mobile 3D tracking using bluetooth low energy and inaudible signals for cross-device interaction
Jin, H., Holz, C. & Hornbæk, Kasper, 2015, Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 147-156 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tracking Typological Traits of Uralic Languages in Distributed Language Representations
Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tracking Target and Spiral Waves
Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, P. G., 2002, In: Chaos: An Interdisciplinary Journal of Nonlinear Science. 12, 1, p. 16-26Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards ultimate binary heaps
Elmasry, A. & Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 13 p. (CPH STL Report, Vol. 2013-1).Research output: Book/Report › Report › Research
- Published
Towards structure-based quality awareness in software ecosystem use
Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards standard-based healthcare ecosystems of systems
Manikas, K., 2015, Proceedings of the 1 st Scandinavian Workshop on the Engineering of Systems - of - Systems (SWESoS 2015). Axelsson, J. (ed.). Swedish ICT, p. 31-33 3 p. (SICS Technical Report, Vol. T2015:04).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards stabilizing parametric active contours
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Kristensen, J., 2014, 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE, p. 198-203 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards reference architectures as an enabler for software ecosystems
Knodel, J. & Manikas, K., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Association for Computing Machinery, 4 p. 26Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards optimal Takacs–Fiksel estimation
Coeurjolly, J. F., Guan, Y., Khanmohammadi, M. & Waagepetersen, R., 2016, In: Spatial Statistics. 18, Part B, p. 396-411 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards location based QoS-aware network selection mechanism for the nomadic mobile services
Pawar, P., Van Beijnum, B. J., Wac, Katarzyna, Hermens, H. & Konstantas, D., 9 Apr 2009, 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009. 4784928. (2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards identifying programming expertise with the use of physiological measures
Kontogiorgos, D. & Manikas, K., 2015, Eye movements in programming: models to data: proceedings of the third international workshop. University of Eastern Finland, p. 10-11 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards characterizing and reducing artifacts caused by varying projection truncation
Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 Feb 2017, Department of Computer Science, University of Copenhagen. 42 p. (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 1, Vol. 2017).Research output: Book/Report › Report › Research
- Published
Towards certified management of financial contracts
Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards an augmented domain decomposition method for nonsmooth contact dynamics models
Visseq, V., Alart, P. & Dureisseix, D., 2014, In: Computational Particle Mechanics. 1, 1, p. 15-26 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards an application framework for context-aware m-health applications
Broens, T., van Halteren, A., van Sinderen, M. & Wac, Katarzyna, 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 109-116 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards a typification of software ecosystems
Knodel, J. & Manikas, K., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (eds.). Springer, p. 60-65 6 p. (Lecture Notes in Business Information Processing, Vol. 210).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a standard testbed for optical music recognition: definitions, metrics, and page images
Byrd, D. & Simonsen, Jakob Grue, 2015, In: Journal of New Music Research. 44, 3, p. 169-195 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems
Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a domain-specific language for reversible assembly sequences
Schultz, U. P., Laursen, J. S., Ellekilde, L. & Axelsen, H. B., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 111-126 16 p. (Lecture notes in computer science, Vol. 9138).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a comprehensive theory of monadic effects
Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Towards QoS-awareness of context-aware mobile applications and services
Wac, Katarzyna, 1 Dec 2005, On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated Int. Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Proceedings. p. 751-760 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3762 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards Human-Centered Natural Language Processing
Gonzalez, Ana Valeria, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 219 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Toward integrated automated analysis of articular cartilage and trabecular bone in osteoarthritis
Dam, Erik Bjørnager, Dec 2008, In: Academic Radiology. 15, 12, p. 1479-81 3 p.Research output: Contribution to journal › Journal article › Research
- Published
Toward a theory of statistical tree-shape analysis
Feragen, A., Lo, P. C. P., de Bruijne, Marleen, Nielsen, Mads & Lauze, Francois Bernard, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 8, p. 2008-2021 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Touch to play - Exploring touch-based mobile interaction with public displays
Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tolerance analysis for 0-1 knapsack problems
Pisinger, D. & Saidi, A., 1 May 2017, In: European Journal of Operational Research. 258, 3, p. 866-876 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries
Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)
Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
TiltStacks: Composing shape-changing interfaces using tilting and stacking of modules
Tiab, J., Boring, S., Strohmeier, P., Markussen, A., Alexander, J. & Hornbæk, Kasper, 29 May 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Catarci, T., Marrella, A., Leotta, F. & Mecella, M. (eds.). Association for Computing Machinery, a44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tiling with Squares and Packing Dominos in Polynomial Time
Aamand, Anders, Abrahamsen, Mikkel, Ahle, T. & Rasmussen, Peter Michael Reichstein, 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 224).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tiling with Squares and Packing Dominos in Polynomial Time
Aamand, A., Abrahamsen, Mikkel, Rasmussen, Peter Michael Reichstein & Ahle, T. D., 2023, In: ACM Transactions on Algorithms. 19, 3, p. 1-28 30.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Three-dimensional scan data analysis method for diagnosis of joint pathology, involves determining measure of three-dimensional local curvature within load bearing area of cartilage, at scale arranged to result in specific measure
Dam, E. B., Folkesson, J. M., Pettersen, P., Olsen, O. F., Nielsen, Mads & Christiansen, C., 2007, IPC No. G06T-007/00, Patent No. WO2007048463-A1, 3 May 2007, Priority date 24 Oct 2005, Priority No. GB021640Research output: Patent
- Published
Three-dimensional carotid ultrasound plaque texture predicts vascular events
van Engelen, A., Wannarong, T., Parraga, G., Niessen, W. J., Fenster, A., Spence, J. D. & de Bruijne, Marleen, 2014, In: Stroke. 45, p. 2695-2701 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Three dimensional image data analysis method for diagnosis and prognosis of e.g. osteoarthritis, involves comparing measured value representative of homogeneity of medial area with previously obtained values of healthy joints
Dam, E. B., Qazi, A. A., Karsdal, M., Petterson, P. C., Nielsen, Mads & Christiansen, C., 2008, IPC No. G06T-007/00, Patent No. WO2008034845-A2 , 27 Mar 2008, Priority date 19 Sep 2006, Priority No. GB018417Research output: Patent
- Published
Thistle detection
Olsen, Søren Ingvor, Nielsen, J. & Rasmussen, Jesper, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part II. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part II. p. 413-425 13 p. (Lecture notes in computer science, Vol. 10270).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Theory transfers? : social theory & CSCW research
Wagenknecht, S., Erickson, I., Østerlund, C., Mazmanian, M. & Bjorn, Pernille, 2017, Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 371-376 6 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Thematic series on software engineering from a social network perspective
Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.Research output: Contribution to journal › Editorial › Research › peer-review
- Published
The uniform orientation Steiner tree problem is NP-hard
Brazil, M. & Zachariasen, M., 2014, In: International Journal of Computational Geometry and Applications. 24, 2, p. 87-105 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The unadorned desk: exploiting the physical space around a display as an input canvas
Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The structure of the serotonin system: a PET imaging study
Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, p. 614-615 2 p.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The structure of the serotonin system: A PET imaging study
Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2020, In: NeuroImage. 205, 116240.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The structure and flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The semantics of hybrid process models
Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of two choices with simple tabulation
Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming
Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The positioning cards: on affect, public design, and the common
Teli, M., De Angeli, A. & Menendez-Blanco, M., 2018, In: AI & Society. 33, 1, p. 125-132Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The nature of software work. Systems development as labour process
Bansler, Jørgen P. & Havn, E. C., 1991, In: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. p. 145-153 9 p.Research output: Contribution to journal › Journal article › Research
- Published
The multiple intersecting sites of design in CSCW research
Bjorn, Pernille & Boulus-Rødje, N., 2015, In: Computer Supported Cooperative Work. 24, 4, p. 319-351 33 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The longest link node deployment problem in cloud computing: a heuristic approach
Ataíde, M. S., Souza, C. C. D., Rezende, P. J. D. & Vaz Salles, M. A., 2016, Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, CLAIO 2016. Maturana, S. (ed.). Instituto Chileno de Investigacion Operativa, p. 69-76 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The improved relevance voxel machine
Ganz, Melanie, Sabuncu, M. & Leemput, K. V., 2013, Technical University of Denmark. 19 p. (DTU Compute Technical Report, Vol. 2013-10).Research output: Book/Report › Report › Research
- Published
The impact of using combinatorial optimisation for static caching of posting lists
Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (eds.). Springer, p. 420-425 6 p. (Lecture notes in computer science, Vol. 9460).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The history of bronchiectasis on CT in cystic fibrosis
Tepper, L. A., de Bruijne, Marleen, Caudri, D., Perez-Rovira, A. & Tiddens, H., 2013, In: Pediatric Pulmonology. 48, S36, p. 354 1 p., 408.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons
Goertzel, B., Goertzel, T. & Goertzel, Z. A., Jan 2017, In: Technological Forecasting and Social Change. 114, p. 65-73 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The flip-the-state transition operator for restricted Boltzmann machines
Brügge, K., Fischer, A. & Igel, Christian, 2013, In: Machine Learning. 93, 1, p. 53-69 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The evaluator effect in usability studies: Problem detection and severity judgments
Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The entropy of backwards analysis
Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 867-880 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The efficiency of artificial intelligence methods for finding radiographic features in different endodontic treatments - a systematic review
bzd222, bzd222, Dascalu, Tudor-Laurentiu, Bakhshandeh, Azam, Ibragimov, Bulat, Kvist, T., EndoReCo, E. & Bjørndal, Lars, 2023, In: Acta Odontologica Scandinavica. 81, 6, p. 422-435 14 p.Research output: Contribution to journal › Review › Research › peer-review
- Published
The effect of target precuing on pointing with mouse and touchpad
Hertzum, M. & Hornbæk, Kasper, 2013, In: International Journal of Human-Computer Interaction. 29, 5, p. 338-350 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The effect of splenectomy on immunity to Plasmodium malariae and P. falciparum in a malaria immune donor
Petersen, E., Høgh, Birthe, Marbiah, N. T. & Hanson, A. P., Mar 1992, In: Tropical Medicine and Parasitology. 43, 1, p. 68-9 2 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The effect of prophylaxis with chloroquine and proguanil on delayed-type hypersensitivity and antibody production following vaccination with diphtheria, tetanus, polio, and pneumococcal vaccines
Gyhrs, A., Pedersen, B. K., Bygbjerg, Ib Christian, Henrichsen, J., Heron, I., Petersen, I. & Skinhoj, P., 1991, In: American Journal of Tropical Medicine and Hygiene. 45, 5, p. 613-8 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The effect of inspiration on airway dimensions measured in CT images from the Danish Lung Cancer Screening Trial
Petersen, Jens, Wille, M., Thomsen, L., Feragen, A., Dirksen, A. & de Bruijne, Marleen, 2013, In: Insights into Imaging. 4, Supplement 1, p. 183 1 p., B-0163.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The effect of fusidic acid on Tanzanian patients with AIDS
Jorgensen, A. F., Mwakyusa, D., Cegielski, P., Gotzsche, P., Hording, M., Lallinger, G., Mbaga, I., Pallangyo, K., Richter, C., Shao, J., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Jan 1990, In: AIDS. 4, 10, p. 1037-1038 2 p.Research output: Contribution to journal › Letter › Research › peer-review
- Published
The disease modifying osteoarthritis drug (DMOAD): Is it in the horizon?
Qvist, P., Bay-Jensen, A., Christiansen, C., Dam, Erik Bjørnager, Pastoureau, P. & Karsdal, M. A., Jul 2008, In: Pharmacological Research. 58, 1, p. 1-7 7 p.Research output: Contribution to journal › Review › Research › peer-review
- Published
The development of bronchiectasis on chest computed tomography in children with cystic fibrosis: can pre-stages be identified?
Tepper, L. A., Caudri, D., Rovira, A. P., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: European Radiology. 26, 12, p. 4563-4569 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The design space of shape-changing interfaces: a repertory grid study
Kwak, M., Hornbæk, Kasper, Markopoulos, P. & Alonso, M. B., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 181-190 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The degree of irreversibility in deterministic finite automata
Axelsen, H. B., Holzer, M. & Kutrib, M., Aug 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 503-522 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The degree of irreversibility in deterministic finite automata
Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 15-26 12 p. (Lecture notes in computer science, Vol. 9705).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The dark patterns of proxemic sensing
Boring, S., Greenberg, S., Vermeulen, J., Dostal, J. & Marquardt, N., 2014, In: Computer. 47, 8, p. 56-60 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The coordination of care across borders: exchanging patient information across international, national and institutional boundaries
Kierkegaard, P., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 208 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
The collective resource approach: The Scandinavian experience
Kraft, P. & Bansler, Jørgen P., 1994, In: Scandinavian Journal of Information Systems. 6, p. 71-71 1 p.Research output: Contribution to journal › Journal article › Research
- Published
The bane of low-dimensionality clustering
Cohen-Addad, V., De Mesmay, A., Rotenberg, E. & Roytman, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 441-456Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The art gallery problem is ∃ ℝ-complete
Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2018, STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 65-73Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The affordances of broken affordances
Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
- Published
The Visible Ear: A Digital Image Library of the Temporal Bone
Sørensen, M. S., Dobrzeniecki, A. B., Larsen, P., Frisch, T., Sporring, Jon & Darvann, T. A., 2002, In: Journal of Oto-Rhino-Laryngology and its related Specialities. 64(6), p. 378-381Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Turn - Integration of Information Seeking and Retrieval in Context
Frøkjær, Erik, 2006, In: Dansk Biblioteksforskning. årgang 1 nr 3, p. 45-48Research output: Contribution to journal › Review › Research
- Published
The PCNA interaction motifs revisited: thinking outside the PIP-box
Prestel, Andreas, Wichmann, N., Martins, J. M., Marabini, R., Kassem, N., Broendum, S. S., Otterlei, M., Nielsen, Olaf, Willemoës, Martin, Ploug, Michael, Boomsma, Wouter & Kragelund, Birthe Brandt, 2019, In: Cellular and Molecular Life Sciences. 76, 24, p. 4923-4943Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough
Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
The Managerial Challenges in the Transformation of the Danish Geodata Sector
Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Influence of Hand Size on Touch Accuracy
Larsen, J. N., Jacobsen, T. H., Boring, S., Bergström, Joanna & Pohl, H., 2019, Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 11 p. 4Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Hausdorff Dimension and Scale-Space Normalization of 'Natural Images'
Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
The Hackerspace manifested as a DIY-IoT Entity: shaping and protecting the identity of the community
Lundbjerg Hansen, E., Pflug von der Osten, J., Kanto , R. & Bjorn, Pernille, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work - exploratory papers. European Society for Socially Embedded Technologies, p. 205-221 17 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
The GeoSteiner software package for computing Steiner trees in the plane: an updated computational study
Juhl, D., Warme, D. M., Winter, Pawel & Zachariasen, M., 2014. 30 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013
Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.Research output: Book/Report › Book › Research › peer-review
- Published
The Evaluator Effect in Usability Tests
Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Dream is Collapsing: The Experience of Exiting VR
Knibbe, J., Schjerlund, J., Petraeus, M. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 483Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Development of Pubertal Gynaecomastia and the Association to Endogenous Hormones, Growth, and Body Composition
Mieritz, M. G., Juul, A., 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., Sørensen, K., Aksglaede, L., Mouritsen, Annette Korsholm, Hilsted, L. & Andersson, A. M., 2017, In: Birth Defects Research. 109, 9, p. 637 1 p.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The DCR graphs process portal
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab
Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 10 p. 98. (CEUR Workshop Proceedings, Vol. 2125).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Art Gallery Problem is ∃ℝ-complete
Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 28 Feb 2022, In: Journal of the ACM. 69, 1, p. 1-70 4.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Adaptive Thin Shell Tetrahedral Mesh
Erleben, Kenny, Dohlmann, H. & Sporring, Jon, 2005, In: Journal of W S C G. 13, 1, p. 17-24Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)
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, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 253-254 2 p. (Lecture notes in computer science, Vol. 7759).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
- Published
Texture side information generation for distributed video coding of video-plus-depth
Salmistraro, M., Rakêt, L. L., Zamarin, M., Ukhanova, A. & Forchhammer, S., 2013, 2013 20th IEEE International Conference on Image Processing (ICIP). IEEE, p. 1699-1703 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tetrahedral Mesh Improvement Using Multi-face Retriangulation
Misztal, M. K., Bærentzen, J. A., Anton, F. & Erleben, Kenny, 2009, Proceedings of the 18th International Meshing Roundtable. Springer, p. 539-555 17 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Testing a Smartphone App (Young with Diabetes) to Improve Self-Management of Diabetes Over 12 Months: Randomized Controlled Trial (Preprint)
Castensøe-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017Research output: Other contribution › Research
- Published
Temporal context for authorship attribution: a study of Danish secondary schools
Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Template-Guided Ionic Self-Assembled Molecular Materials and Thin Films with Nanoscopic Order
Santella, M., Amini, F., Andreasen, K. B., Aswad, D. S., Ausar, H., Austin, L. M., Bora, I., Boye, I. M. I., Brinkenfeldt, N. K., Boe, M. F., Cakmak, E., Catovic, A., Christensen, J. M., Dalgaard, J. H., Danielsen, H. M. D., El Bouyahyaoui, A. H., El Dib, S. E. H., El Khaiyat, B., Farooq, I., Fjellerup, F. K. & 43 others, , 2015, In: ChemNanoMat. 1, 4, p. 253-258 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
TempEL: Linking Dynamically Evolving and Newly Emerging Entities
Zaporojets, K., Kaffee, L. F., Deleu, J., Demeester, T., Develder, C. & Augenstein, Isabelle, 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). NeurIPS Proceedings, 17 p. (Advances in Neural Information Processing Systems, Vol. 35).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Technology Acceptance and User Experience: A Review of the Experiential Component in HCI
Hornbæk, Kasper & Hertzum, M., 2017, In: A C M Transactions on Computer - Human Interaction. 24, 5, 30 p., 33.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Technical perspective: large-scale sound and precise program analysis
Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.Research output: Contribution to journal › Comment/debate › Research › peer-review
- Published
Tangible data, explorations in data physicalization
Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Taking action in a changing world: research and community
Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
TableHop: an actuated fabric display using transparent electrodes
Sahoo, D. R., Hornbæk, Kasper & Subramanian, S., 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3767-3780 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Så lyt dog til kritikken af Sundhedsplatformen
Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.Research output: Contribution to journal › Contribution to newspaper - Feature article › Communication
- Published
Syv samtaler om systemarbejde
Bansler, Jørgen P., 1987, Datalogisk Institut.Research output: Book/Report › Book › Research
- Published
Systemutveckling-teori och historia i skandinaviskt perspektiv
Bansler, Jørgen P., 1990, In: Studentlitteratur, Lund.Research output: Contribution to journal › Journal article › Research
- Published
Systemudvikling: teori og historie i skandinavisk perspektiv
Bansler, Jørgen P., 1987, Studentlitteratur.Research output: Book/Report › Book › Research
- Published
Systems development research in Scandinavia: Three theoretical schools
Bansler, Jørgen P., 1989, In: Scandinavian Journal of Information Systems. 1, 1, p. 1 1 p.Research output: Contribution to journal › Journal article › Research
- Published
Systems development in Scandinavia: Three theoretical schools
Bansler, Jørgen P., 1988, In: Information Technology and People. 4, 2, p. 117-133 17 p.Research output: Contribution to journal › Journal article › Research
- Published
Systems development in Scandinavia: Three theoretical schools
Bansler, Jørgen P., 1989, Datalogisk Institut.Research output: Book/Report › Book › Research
- Published
Syntactic Properties of Polymorphic Subtyping
Henglein, Fritz, 1996.Research output: Working paper › Research
- Published
Synchrotron radiation μCT and histology evaluation of bone-to-implant contact
Neldam, C. A., Sporring, Jon, Rack, A., Lauridsen, T., Hauge, E. M., Jørgensen, H. L., Jørgensen, Niklas Rye, Feidenhans'l, Robert Krarup & Pinholt, E. M., Sep 2017, In: Journal of Cranio-Maxillofacial Surgery. 45, 9, p. 1448-1457 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sustainability through computation
Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Survival and morbidity following congenital heart surgery in a population-based cohort of children--up to 12 years of follow-up
Larsen, S. H., Emmertsen, K., Johnsen, S. P., Pedersen, J., Hjortholm, K. & Hjortdal, Vibeke Elisabeth, 23 Mar 2011, In: Congenital Heart Disease. 6, 4, p. 322-9 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Supporting the evolution of research in software ecosystems: reviewing the empirical literature.
Manikas, K., 2016, Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings. Maglyas, A. & Lamprecht, A-L. (eds.). Springer, p. 63-78 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11
Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 p.Research output: Working paper › Research
- Published
Support vector machines for active learning
Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, Second European Conference on Data Analysis: program & abstracts . p. 38 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Support of closed walks and second eigenvalue multiplicity of graphs
McKenzie, T., Rasmussen, Peter Michael Reichstein & Srivastava, N., 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, Inc., p. 396-407Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supervised scale-regularized linear convolutionary filters
Loog, M. & Lauze, Francois Bernard, Jul 2017, Proceedings of BMVC 2017. British Machine Vision Conference, 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supervised hub-detection for brain connectivity
Kasenburg, N., Liptrot, M. G., Reislev, N. L., Garde, Ellen, Nielsen, Mads & Feragen, A., 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 9 p. 978409. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Superior assessment of CVD death by MACD index compared with the framingham score is highly associated with predisposition to diabetes
Soltyskinska, E., Barascuk, N., Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2008. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Supercompilation for datatypes
Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Submodular unsplittable flow on trees
Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sublinear distance labeling
Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Subclinical depressive symptoms during late midlife and structural brain alterations: A longitudinal study of Danish men born in 1953
Osler, Merete, Sørensen, L., Rozing, M., Calvo, O. P., Nielsen, Mads & Rostrup, E., Apr 2018, In: Human Brain Mapping. 39, 4, p. 1789-1795Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Studying usability evaluation to improve its practical utility
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?Research output: Contribution to journal › Journal article › Research
- Published
Studying the Utility of Metaphors of Human Thinking in HCI
Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Studying the Utility of Mataphors of Human Thinking in HCI
Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 p.Research output: Book/Report › Report › Communication
- Published
Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies
Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Structure of casein micelles studied by small-angle neutron scattering
Hansen, S., Bauer, R., Lomholt, S., Quist, K., Pedersen, Johan & Mortensen, Kell, 1 Feb 1996, In: European Biophysics Journal. 24, 3, p. 143-147Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Structural parcellation of the thalamus using shortest-path tractography
Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural connectivity analysis using finsler geometry
Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C. F., 2019, In: SIAM Journal on Imaging Sciences. 12, 1, p. 551-575 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering
Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522AResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
Strengthened lazy heaps: surpassing the lower bounds for binary heaps
Edelkamp, S., Elmasry, A. & Katajainen, J., 2014, In: arXiv.org: Computer science. arXiv:1407.3377, 14 p.Research output: Contribution to journal › Journal article › Research
- Published
Strength of the reversible, garbage-free 2k ± 1 multiplier
Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Streamlets for visualisation and data exploration
Liptrot, M. G., 14 Sep 2016. 1 p.Research output: Contribution to conference › Poster › Research › peer-review
- Published
Streamlet Tractography
Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Streaming nested data parallelism on multicores
Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Streaming for Functional Data-Parallel Languages
Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Stream Processing Using Grammars and Regular Expressions
Rasmussen, U. T., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Strategies for regular segmented reductions on GPU
Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stochastic development regression using method of moments
Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stochastic development regression on non-linear manifolds
Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stochastic Modelling on Manifolds
Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Stereotyping in Globally distributed Collaboration: A CSCW Thesis on Global Software Development.
Matthiesen, S., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Stepwise inverse consistent Euler’s scheme for diffeomorphic image registration
Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, p. 223-230 8 p. (Lecture notes in computer science, Vol. 8545).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Steiner tree heuristics in Euclidean d-space
E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 p.Research output: Contribution to conference › Paper › Research
- Published
Steiner tree heuristic in the Euclidean d-space using bottleneck distances
Lorenzen, S. S. & Winter, Pawel, 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 217-230 14 p. (Lecture notes in computer science, Vol. 9685).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins
Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA
Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, In: Medical Image Analysis. 17, 6, p. 698-709 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Statistical Modelling of Synaptic Vesicles Distribution and Analysing their Physical Characteristics
Khanmohammadi, M., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Stateful load balancing for parallel stream processing
Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation
Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, In: International Affairs. 95, 5, p. 975-994Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Standardized evaluation of algorithms for computer-aided diagnosis of dementia based on structural MRI: The CADDementia challenge
Bron, E. E., Smits, M., van der Flier, W. M., Vrenken, H., Barkhof, F., Scheltens, P., Papma, J. M., Steketee, R. M. E., Méndez Orellana, C., Meijboom, R., Pinto, M., Meireles, J. R., Garrett, C., Bastos-Leite, A. J., Abdulkadir, A., Ronneberger, O., Amoroso, N., Bellotti, R., Cárdenas-Peña, D., Álvarez-Meza, A. M. & 30 others, , 2015, In: NeuroImage. 111, p. 562-579 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Standardization of a chest-CT protocol for multi-center trial in cystic fibrosis (CF) infants
Ciet, P., Graniel, K. G., Stick, S., de Bruijne, Marleen, Tiddens, H. & van Straten, M., 2012, In: Journal of Thoracic Imaging. 27, 5, p. W127 1 p., O47.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
Stable, Robust, and Versatile Multibody Dynamics Animation
Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).Research output: Book/Report › Ph.D. thesis › Research
- Published
Spirometer-controlled cine magnetic resonance imaging to diagnose tracheobronchomalacia in pediatric patients
Ciet, P., Wielopolski, P., Manniesing, R., Lever, S., de Bruijne, Marleen, Morana, G., Muzzio, P. C., Lequin, M. H. & Tiddens, H. A. W. M., 2014, In: European Respiratory Journal. 43, 1, p. 115-124 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Spiral toolpaths for high-speed machining of 2d pockets with or without islands
Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spinal image processing method, involves segmenting image of two vertebrae to obtain data representative of shape and size of vertebrae, and comparing shape and size with predicted unfractured shape and size of vertebrae
de Bruijne, Marleen, Lund, M., Nielsen, Mads & Pettersen, P., 2006, IPC No. G06T-007/00, Patent No. WO2006087190-A1, 24 Aug 2006, Priority date 16 Feb 2005, Priority No. GB003236Research output: Patent
- Published
Spikes as Regularizers
Søgaard, Anders, 2017, ESANN 2017 - Proceedings: 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN , p. 371-376 6 p. (arXiv.org).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spherical convolutions and their application in molecular modelling
Boomsma, Wouter & Frellsen, J., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Speedy greedy feature selection: better redshift estimation via massive parallelism
Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Speeding up many-objective optimization by Monte Carlo approximations
Bringmann, K., Friedrich, T., Igel, Christian & Voß., T., 2013, In: Artificial Intelligence. 204, p. 22-29 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Specialised tools are needed when searching the web for rare disease diagnoses
Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, I., Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: Rare Diseases. 1, 1, 4 p., e25001.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Special section on 19th Scandinavian conference on image analysis (SCIA 2015)
Steenstrup Pedersen, Kim & R. Paulsen, R., 2016, In: Pattern Recognition Letters. 80, p. 238 1 p.Research output: Contribution to journal › Editorial › Research
- Published
Special issue on information infrastructures for healthcare: The global and local relation
Bjorn, Pernille & Kensing, Finn, May 2013, In: International Journal of Medical Informatics. 82, 5, p. 281-282Research output: Contribution to journal › Editorial › Research › peer-review
- Published
Special Topic: Taking Action in a Changing World
Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, In: interactions. 25, 1, p. 34-45 12 p.Research output: Contribution to journal › Journal article › Communication
- Published
Special Issue on Tribute Workshop for Peter Johansen
Nielsen, Mads, de Bruijne, Marleen, Jørgensen, Camilla Holm, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Sporring, Jon, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 119-120Research output: Contribution to journal › Editorial › Research
- Published
Special Issue on Partial Differential Equations Methods in Graphics and Vision
Sporring, Jon (ed.), 2007, Barcelona: Universitat Autonoma de Barcelona. 66 p. (Electronic Letters on Computer Vision and Image Analysis; No. 6(2)).Research output: Book/Report › Anthology › Research
- Published
Spatial and Temporal Ray Differentials
Sporring, Jon, Schjøth, L. & Erleben, Kenny, 2009, Department of Computer Science: Department of Computer Science, University of Copenhagen. 14 p. (Technical Report; No. 04, Vol. 2009).Research output: Book/Report › Report › Research
- Published
Sparse multi-scale diffeomorphic registration: the kernel bundle framework
Sommer, Stefan Horst, Lauze, Francois Bernard, Nielsen, Mads & Pennec, X., 2013, In: Journal of Mathematical Imaging and Vision. 46, 3, p. 292-308 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sparse incomplete LU-decomposition for wave farm designs under realistic conditions
Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces
Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Space-efficient planar convex hull algorithms
Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2004, In: Theoretical Computer Science. 321, 1, p. 25-40Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Space-efficient path-reporting approximate distance oracles
Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sorting programs executing fewer branches
Katajainen, J., 2014, Department of Computer Science, University of Copenhagen. 37 p. (CPH STL Report, Vol. 2014-1).Research output: Book/Report › Report › Research › peer-review
- Published
Sorting and searching by distribution: from generic discrimination to generic tries
Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Some whys and hows of experiments in human–computer interaction
Hornbæk, Kasper, 2013, In: Foundations and Trends in Human-Computer Interaction. 5, 4, p. 299-373 75 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Some structural and geometric properties of two-connected Steiner networks
Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007: Proceedings of the Thirteenth Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Some remarks on real numbers induced by first-order spectra
Jakobsen, S. & Simonsen, Jakob Grue, 2016, In: Notre Dame Journal of Formal Logic. 57, 3, p. 355-368 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Solving uncalibrated photometric stereo using total variation
Quéau, Y., Lauze, Francois Bernard & Durou, J., 2015, In: Journal of Mathematical Imaging and Vision. 52, 1, p. 87-107 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Solving the uncalibrated photometric stereo problem using total variation
Quéau, Y., Lauze, Francois Bernard & Durou, J., 2013, Scale Space and Variational Methods in Computer Vision: 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings. Kuijper, A., Bredies, K., Pock, T. & Bischof, H. (eds.). Springer, p. 270-281 12 p. (Lecture notes in computer science, Vol. 7893).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Solving inverse kinematics using exact Hessian matrices
Erleben, Kenny & Andrews, S., Feb 2019, In: Computers & Graphics. 78, p. 1-11Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Software ecosystems – a systematic literature review
Manikas, K. & Hansen, K. M., 2013, In: Journal of Systems and Software. 86, 5, p. 1294–1306 13 p.Research output: Contribution to journal › Review › Research › peer-review
- Published
Software defined health
Wac, Katarzyna & Hausheer, D., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 600-601 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Socio-technical congruence in the Ruby ecosystem
Syeed, M. M. M., Hansen, K. M., Hammouda, I. & Manikas, K., 2014, OpenSym '14. Proceedings of The International Symposium on Open Collaboration. Association for Computing Machinery, p. 2:1-2:9 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Social design feedback: evaluations with users in online ad-hoc groups
Følstad, A., Hornbæk, Kasper & Ulleberg, P., 2013, In: Human-centric Computing and Information Sciences. 3, 27 p., 18.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Smoothing images creates corners
Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, In: Image and Vision Computing. 18, 3, p. 261-266Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Smoke simulation for fire engineering using a multigrid method on graphics hardware
Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smartphone users mobile networks quality provision and VoLTE intend: six-months field study
Wac, Katarzyna, Pinar, G., Gustarini, M. & Marchanoff, J., 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a . IEEE, p. 1-9 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smart city analytics: ensemble-learned prediction of citizen home care
Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Small steps in physics simulation
Macklin, M., Storey, K., Lu, M., Terdiman, P., Chentanez, N., Jeschke, S. & Müller, M., 2019, SCA '19: Proceedings of the 18th annual ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM Association for Computing Machinery, p. 1-7Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sluice resolution without hand-crafted features over brittle syntax trees
Rønning, Ola, Hardt, D. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 236–241Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SkyView: a user evaluation of the skyline operator
Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances
Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2740-2751 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Size slicing: a hybrid approach to size inference in futhark
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs
Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, Mads & Pai, A. S. U., 2018. 8 p.Research output: Contribution to conference › Paper › Research
- Published
Simultaneous registration and bilateral differential bias correction in brain MRI
Zou, B., Pai, A. S. U., Sørensen, L. & Nielsen, Mads, 2014, Intelligent Imaging: Linking MR Acquisition and Processing.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simultaneous reconstruction and segmentation of CT scans with shadowed data
Lauze, Francois Bernard, Quéau, Y. & Plenge, E., Jun 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simpler, faster and shorter labels for distances in graphs
Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simple tabulation, fast expanders, double tabulation, and high independence
Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 90-99 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Similarity-Based pattern recognition
Feragen, A. (ed.), Pelillo, M. (ed.) & Loog, M. (ed.), 2015, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9370).Research output: Book/Report › Book › Research › peer-review
- Published
Significant subgraph mining with multiple testing correction
Sugiyama, M., López, F. L., Kasenburg, N. & Borgwardt, K. M., 2015, Proceedings of the 2015 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, p. 37-45 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sideways Stepping
Markussen, B., Sporring, Jon & Erleben, Kenny, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 80-80Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Should I stay or should I go? Selecting between touch and mid-air gestures for large-display interaction
Jakobsen, M. R., Jansen, Y., Boring, S. & Hornbæk, Kasper, 2015, Human-computer interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 455-473 19 p. (Lecture notes in computer science, Vol. 9298).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Short Trees in Polygons, DIKU-rapport 00/02
Winter, Pawel & Zachariasen, M., 2000, Datalogisk Institut, Københavns Universitet. 13 p.Research output: Book/Report › Report › Research
- Published
Short Trees in Polygons
Winter, Pawel, Zachariasen, M. & Nielsen, J., 2002, In: Discrete Applied Mathematics. vol. 118, p. 55-72Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sharing perspectives on the design of shape-changing interfaces
Strohmeier, P., Gomes, A., Troiano, G. M., Mottelson, A., Merritt, T. & Alexander, J., 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3492-3499 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Shapes related to longitudinal studies of disease
Erleben, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 90 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Shape index descriptors applied to texture-based galaxy analysis
Steenstrup Pedersen, Kim, Stensbo-Smidt, K., Zirm, A. W. & Igel, Christian, 2013, 2013 IEEE International Conference on Computer Vision (ICCV). IEEE, p. 2440-2447 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Service Oriented Architecture for Inter-vehicle Applications
Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Serum AMH levels are lower in healthy boys who develop pubertal gynaecomastia
Mieritz, M. G., Hagen, C. P., Almstrup, Kristian, Petersen, Jørgen Holm, Raket, L. L., Sommer, Stefan Horst & Juul, A., 2015, In: Hormone Research in Paediatrics. 84, Supplement 1, p. 290-291 2 p., P2-526.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
Separating timing, movement conditions and individual differences in the analysis of human movement
Raket, L. L., Grimme, B., Schöner, G., Igel, Christian & Markussen, Bo, 2016, In: PLoS Computational Biology. 12, 9, p. e1005092 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Separating shape and intensity variation in images
Kühnel, L., Sommer, Stefan Horst, Pai, A. S. U. & Raket, L. L., 2017, In: SIAM News. 50, 8, p. 12 1 p.Research output: Contribution to journal › Journal article › Research
- Published
Sensitivity of screening mammography by density and texture: a cohort study from a population-based screening program in Denmark
von Euler-Chelpin, My Catarina, Lillholm, Martin, Vejborg, I., Nielsen, Mads & Lynge, Elsebeth, 2019, In: Breast Cancer Research. 21, 1Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Semi-automatic tool to ease the creation and optimization of GPU programs
Jepsen, J., 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops: ICPPW 2014. IEEE, p. 196-205 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Semi-Inversion of Functional Parameters
Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints
Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Semantic Representation and Inference for NLP
Wang, D., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen. 118 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Selection-based mid-air text entry on large displays
Markussen, A., Jakobsen, M. R. & Hornbæk, Kasper, 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, Vol. 2. p. 401-418 18 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Selection from read-only memory with limited workspace
Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Selection from read-only memory with limited workspace
Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2014, In: Theoretical Computer Science. 554, p. 64-73 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Segmenting articular cartilage automatically using a voxel classification approach
Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Pettersen, P. C. & Christiansen, C., Jan 2007, In: IEEE Transactions on Medical Imaging. 26, 1, p. 106-15 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Segmentation of tumors in magnetic resonance brain images using an interactive multiscale watershed algorithm
Letteboer, M. M. J., Olsen, O. F., Dam, Erik Bjørnager, Willems, P. W. A., Viergever, M. A. & Niessen, W. J., Oct 2004, In: Academic Radiology. 11, 10, p. 1125-38 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks
Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (eds.). Springer, p. 356-364 9 p. (Lecture notes in computer science, Vol. 10435).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of Brains and Rocks from Tomographic Reconstructions
Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Segmentation of B-mode cardiac ultrasound data by Bayesian Probability Maps
Hansson, N. M., Brandt, S. S., Lindström, J., Gudmundsson, P., Jujić, A., Malmgren, A. & Cheng, Y., 2014, In: Medical Image Analysis. 18, 7, p. 1184-1199 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Segmentation of 2D and 3D Objects with Intrinsically Similarity Invariant Shape Regularisers
Hansen, J. D. K. & Lauze, Francois Bernard, 2019, Scale Space and Variational Methods in Computer Vision - 7th International Conference, SSVM 2019, Proceedings. Lellmann, J., Modersitzki, J. & Burger, M. (eds.). Springer, p. 369-380 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11603 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Seeking for the best priority queue: lessons learnt
Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 10 p. (CPH STL Report, Vol. 2013-3).Research output: Book/Report › Report › Research
- Published
Second order structure of scale-space measurements
Markussen, Bo, Steenstrup Pedersen, Kim & Loog, M., 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 207-220 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Second Skin: an exploration of eTextile stretch circuits on the body
Freire, R., Honnet, C. & Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 653-658 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Seawater-regulated genes for two-component systems and outer membrane proteins in myxococcus
Pan, H. W., Liu, H., Liu, T., Li, C. Y., Li, Z. F., Cai, K., Zhang, C. Y., ZHANG, YONG, Hu, W., Wu, Z. H. & Li, Y. Z., Apr 2009, In: Journal of Bacteriology. 191, 7, p. 2102-2111 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation
Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).Research output: Book/Report › Report › Research
- Published
Scan Conversion of Signed Distance Fields
Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Scale Space Theories in Computer Vision: Second International Conference, Scale Space'99, Corfu, Greece, September 1999; Proceedings
Nielsen, Mads, 2000, Springer Science+Business Media.Research output: Book/Report › Book › Research › peer-review
- Published
Scalable robust principal component analysis using Grassmann averages
Hauberg, S., Feragen, A., Enficiaud, R. & Black, M. J., 2016, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 38, 11, p. 2298-2311 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Scalable kernels for graphs with continuous attributes
Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Scalable conditional induction variables (CIV) analysis
Oancea, Cosmin Eugen & Rauchwerger, L., 2015, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'15). IEEE Computer Society Press, p. 213-224 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sample(x)=(a*x< =t) is a distinguisher with probability 1/8
Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Salient Point and Scale Detection by Minimum Likelihood
Steenstrup Pedersen, Kim, Loog, M. & van Dorst, P., 2007, Gaussian processes in practice. Microtome Publishing, p. 59-72 14 p. (JMLR: Workshop and Conference Proceedings; No. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)
Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sacrificing information for the greater good: how to select photometric bands for optimal accuracy
Stensbo-Smidt, K., Gieseke, Fabian Cristian, Igel, Christian, Zirm, A. W. & Steenstrup Pedersen, Kim, 2017, In: Monthly Notices of the Royal Astronomical Society. 464, 3, p. 2577-2596 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
SMEIL: A domain-specific language for synchronous message exchange networks
Asheim, T., 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. 389-414 (Concurrent Systems Engineering Series, Vol. 70).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SIMS 2004
Elmegaard, B., Sporring, Jon, Erleben, Kenny & Sørensen, K., Nov 2006, In: Simulation Modelling Practice and Theory. 14, 8, p. 1057-1058 2 p.Research output: Contribution to journal › Editorial › Research › peer-review
- Published
SIGTYP 2020 Shared Task: Prediction of Typological Features
Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, Isabelle, 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Association for Computational Linguistics, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SIGPLAN and the World Series
Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1Research output: Contribution to journal › Editorial › Research
- Published
SIGCHI outstanding dissertation award: Shaping material experiences
Strohmeier, P., 2020, CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 3386152Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SCI-FI: shape-changing interfaces, future interactions
Troiano, G. M., Tiab, J. & Lim, Y. K., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 45Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients
Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rove-Tree-11: The not-so-Wild Rover. A hierarchically structured image dataset for deep metric learning research
Hunt, Roberta Eleanor & Steenstrup Pedersen, Kim, 2023, Computer Vision – ACCV 2022: 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part I. Springer, p. 2967-2983 (Lecture Notes in Computer Science, Vol. 13841).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rotationally optimal spanning and Steiner trees in uniform orientation metrics
Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2004, In: Computational Geometry: Theory and Applications. 29, p. 251-263Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Rotationally invariant clustering of diffusion MRI data using spherical harmonics
Liptrot, M. G. & Lauze, Francois Bernard, 2016, Medical Imaging 2016: Image Processing. SPIE - International Society for Optical Engineering, Vol. 1. 7 p. 97843C. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rotationally Optimal Spanning and Steiner Trees in Uniform Orientation Metrics
Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2003, København: Department of Computer Science, University of Copenhagen.Research output: Book/Report › Report › Research
- Published
RootPainter3D: Interactive-machine-learning enables rapid and accurate contouring for radiotherapy
Smith, Abraham George, Petersen, Jens, Terrones-Campos, C., Berthelsen, A. K., Forbes, N. J., Darkner, Sune, Specht, Lena & Vogelius, I. R., 2022, In: Medical Physics. 49, 1, p. 461-473Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Roll: A Language for Specifying Die-Rolls
Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rock’n’roll computer science
Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
- Published
Robust training of recurrent neural networks to handle missing data for disease progression modeling
Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 p.Research output: Contribution to conference › Paper › Research
- Published
Robust parametric modeling of Alzheimer's disease progression
Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A., Modat, M., Jorge Cardoso, M., Ourselin, S. & Sørensen, L., 2021, In: NeuroImage. 225, 12 p., 117460.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Robust Active Label Correction
Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Risk stratification of women with false-positive test results in mammography screening based on mammographic morphology and density: a case control study
Winkel, R. R., von Euler-Chelpin, My Catarina, Lynge, Elsebeth, Diao, P., Lillholm, Martin, Kallenberg, M., Forman, Julie Lyng, Nielsen, Michael Bachmann, Uldall, W. Y., Nielsen, Mads & Vejborg, I. M. M., Aug 2017, In: Cancer Epidemiology. 49, p. 53-60 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Risk factors for infection with highly pathogenic influenza A virus (H5N I) in commercial chickens in Bangladesh
Biswas, P. K., Christensen, Jens Peter, Ahmed, S. S. U., Barua, H., Das, A., Rahman, M. H., Giasuddin, M., Hannan, A. S. M. A., Habib, A. M. & Debnath, N. C., 13 Jun 2009, In: Veterinary Record. 164, 24, p. 743-746 4 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Risikoscore ved operation for medfødt hjertesygdom--sekundaerpublikation
Larsen, S. H., Pedersen, J., Jacobsen, J., Johnsen, S. P., Hansen, Ole, Sørensen, K. E. & Hjortdal, Vibeke Elisabeth, 6 Feb 2006, In: Ugeskrift for Laeger. 168, 6, p. 584-6 3 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Rigid body contact problems using proximal operators
Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rigid Bodies in Contact: and Everything in Between
Niebe, S. M., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen
Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.Research output: Book/Report › Doctoral thesis › Research
- Published
Revisiting software ecosystems research: a longitudinal literature study
Manikas, K., 2016, In: The Journal of Systems and Software. 117, p. 84-103 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reviewing the health of software ecosystems – a conceptual framework proposal.
Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible shrinking two-pushdown automata
Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 579-591 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible representation and manipulation of constructor terms in the heap
Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144Research output: Contribution to journal › Editorial › Research
- Published
Reversibility of trapped air on chest computed tomography in cystic fibrosis patients
Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Return of the features: efficient feature selection and interpretation for photometric redshifts
D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Respiratory muscle movement in Pompe disease using cine Magnetic Resonance Imaging
Ciet, P., Wens, S., Perez-Rovira, A., Logie, K., Wielopolski, P., de Bruijne, Marleen, Ploeg, A. V. D., Doorn, P. V. & Tiddens, H., 2013.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Resource Control Graphs
Moyen, J., Aug 2009, In: A C M Transactions on Computational Logic. 10, 4Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Research proposal: Software tools for program library development, CPH STL Report 2001-15
Katajainen, J., 2001, http://www.cphstl.dk, 7 p.Research output: Working paper › Research
- Published
Research proposal: Practical data structures and algorithm
Katajainen, J. (ed.), 2002, Copenhagen. 6 p.Research output: Book/Report › Report › Research
- Published
Research Alert for Reading Patterns and Usability in Visualizations of Electronic Documents
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Interactions. January + February Vol. XI. 1, p. 11-12Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Requirements for Logical Models for Value-Added Tax Legislation
Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.Research output: Contribution to conference › Paper › Research
- Published
Representation learning for cross-modality classification
Tulder, G. V. & de Bruijne, Marleen, 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. 126-136 11 p. (Lecture notes in computer science, Vol. 10081).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable
Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.Research output: Contribution to journal › Journal article › Research
- Published
Reordering buffer management with advice
Adamaszek, A. M., Renault, M. P., Rosén, A. & van Stee, R., Oct 2017, In: Journal of Scheduling. 20, 5, p. 423-442 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Removal of vesicle structures from transmission electron microscope images
Jensen, K. H., Sigworth, F. J. & Brandt, S. S., 2016, In: IEEE Transactions on Image Processing. 25, 2, p. 540-552 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reliability and Accuracy of Brain Volume Measurement on MR Imaging
Yamagchii, K., Lassen, Anders & Ring, P., 17 Sep 1998.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
Relevance sampling
Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification
Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Relaxed weak queues: An alternative to run-relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 23 p.Research output: Working paper › Research
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Relation between wall shear stress and carotid artery wall thickening MRI versus CFD
Cibis, M., Potters, W. V., Selwaness, M., Gijsen, F. J., Franco, O. H., Arias Lorza, A. M., de Bruijne, Marleen, Hofman, A., van der Lugt, A., Nederveen, A. J. & Wentzel, J. J., 2016, In: Journal of Biomechanics. 49, 5, p. 735-741 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Regional activation of the human medial temporal lobe during intentional encoding of objects and positions: NeuroImage
Ramsøy, T. Z., Liptrot, M. G., Skimminge, A., Lund, T. E., Sidaros, K., Christensen, M. S., Baaré, W., Paulson, Olaf B. & Jernigan, T. L., 2009, In: NeuroImage. 47, 4, p. 1863-1872Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reference counting for reversible languages
Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen
Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen, International Edition
Curry, C. D. & Katajainen, J., 2006, Søborg, Danmark: Jyrki Katajainen and Company. 224 p.Research output: Book/Report › Book › Research
- Published
Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen
Curry, C. D. & Katajainen, J., 2006, International ed. Jyrki Katajainen and Company.Research output: Book/Report › Book › Research
- Published
Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen
Curry, C. D. & Katajainen, J., 2003Research output: Book/Report › Book › Research
- Published
Reduction of variable-truncation artifacts from beam occlusion during in situ x-ray tomography
Borg, L., Jørgensen, J. S., Frikel, J. & Sporring, Jon, Dec 2017, In: Measurement Science and Technology. 28, 12, 19 p., 124004.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reduction by Lie Group symmetries in diffeomorphic image registration and deformation modelling
Sommer, Stefan Horst & Jacobs, H. O., 2015, In: Symmetry. 7, 2, p. 599-624 26 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reducing artifacts from varying projection truncations
Borg, L., Jørgensen, J. S., Frikel, J., Quinto, E. T. & Sporring, Jon, 2017. 2 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Recycling on a Cosmic Scale: Extracting New Information from Old Data Sets
Stensbo-Smidt, K., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Rectilinear Trees under Rotation
Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proc. of 12-th Int. Sym. on Combinatorial Optimization, CO´02. Paris, France, p. 101-101Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Rectiinear Trees Under Rotation and Related Problems: Extended Abstract
Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002.Research output: Contribution to conference › Paper › Research
- Published
Reconstruction of Optical Thickness
Olsen, N. H., Sporring, Jon & Nielsen, Mads, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. Department of Computer Science, University of Copenhagen, p. 114-126Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Reconstructing teeth with bite information
Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reconstructing protein structure from solvent exposure using tabu search
Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006, In: Algorithms for Molecular Biology. 1, p. 14Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti
Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Realizability toposes from specifications
Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces
Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces
Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reading Patterns and Usability in Visualizations of Electronic Documents
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Research Alert for the TOCHI-paper: The Journal Interactions. 11(1), p. 11-12Research output: Contribution to journal › Journal article › Research
- Published
Reactors: A Case for Predictable, Virtualized Actor Database Systems
Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReNLoc: an anchor-free localization algorithm for indirect ranging
Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReFlex: a flexible smartphone with active haptic feedback for bend input
Strohmeier, P., Burstyn, J., Carrascal, J. P., Levesque, V. & Vertegaal, R., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 185-192 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Re-estimation of motion and reconstruction for distributed video coding
Luong, H. V., Raket, L. L. & Forchhammer, S., 2014, In: I E E E Transactions on Image Processing. 23, 7, p. 2804-2819 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Rapid development of scalable scientific software using a process oriented approach
Friborg, R. M. & Vinter, B., 2011, In: Journal of Computational Science. 2, 3, p. 304-313 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Ranking beta sheet topologies with applications to protein structure prediction
Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Range-clustering queries
Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 5. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Random walk term weighting for information retrieval
Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Railway Asset Detection and Geolocation
Karagiannis, G., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
RSSA: a reversible SSA form
Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RPI-MATLAB-simulator: a tool for efficient research and practical teaching in multibody dynamics
Williams, J., Lu, Y., Niebe, S., Andersen, Martin, Erleben, Kenny & Trinkle, J. C., 2013, VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations. Bender, J., Dequidt, J., Duriez, C. & Zachmann, G. (eds.). Eurographics Association, p. 71-80 10 p. (VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RAM-efficient external memory sorting
Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RAM-efficient external memory sorting
Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Quicksort, largest bucket, and min-wise hashing with limited independence
Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quaternions, interpolation and animation
Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 p. (DIKU teknisk rapport; No. 5, Vol. 98).Research output: Working paper › Research
- Published
Quasi-interpretations and small space bounds
Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Quantitative analysis of pulmonary emphysema using local binary patterns
Sørensen, L. E. B. L., Shaker, S. B. & de Bruijne, Marleen, 2010, In: IEEE Transactions on Medical Imaging. 29, 2, p. 559-569 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Quantitative airway analysis in longitudinal studies using groupwise registration and 4D optimal surfaces
Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, 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, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quantifying emphysema extent from weakly labeled CT scans of the lungs using label proportions learning
Ørting, S. N., Petersen, Jens, Wille, M., Thomsen, L. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & S. R. (eds.). CreateSpace Independent Publishing Platform , p. 31-42 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quantification of smoothing requirement for 3D optic flow calculation of volumetric images
Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, In: IEEE Transactions on Image Processing. 22, 6, p. 2128-2137 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Quantification of diaphragm mechanics in Pompe disease using dynamic 3D MRI
Mogalle, K., Perez-Rovira, A., Ciet, P., Wens, S. C. A., van Doorn, P. A., Tiddens, H. A. W. M., van der Ploeg, A. T. & de Bruijne, Marleen, 2016, In: P L o S One. 11, 7, 24 p., e0158912.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Quantification and visualization of variation in anatomical trees
Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Quality-of-life technologies
Wac, Katarzyna, Rivas, H. & Fiordelli, M., Mar 2017, In: Computer. 50, 3, p. 15-19 5 p.Research output: Contribution to journal › Editorial › Research
- Published
Quality of life technologies: experiences from the field and key challenges
Wac, Katarzyna, Fiordelli, M., Gustarini, M. & Rivas, H., 2015, In: I E E E Internet Computing. 19, 4, p. 28-35 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Quality of Life Technologies (definition)
Wac, Katarzyna, 2020, Encyclopedia of Behavioral Medicine. Gellman, M. (ed.). 2 ed. Springer, 2 p.Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review
- Published
Qualitative and quantitative assessment of step size adaptation rules
Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
QoS-predictions service: Infrastructural support for proactive QoS- and context-a ware mobile services (position paper)
Wac, Katarzyna, Van Halteren, A. & Konstantas, D., 1 Jan 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerS. Springer Verlag, p. 1924-1933 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4278 LNCS - II).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Putting your data structure on a diet (Abstract)
Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Putting your data structure on a diet
Brönnimann, H., Katajainen, J. & Morin, P., 2007.Research output: Working paper › Research
- Published
Publishing E-RDF linked data for many agents by single third-party server
Wang, D., Zhang, Y., Wang, Z. & Chen, T., 2017, Semantic Technology: 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Wang, Z., Turhan, A-Y., Wang, K. & Zhang, X. (eds.). Springer, p. 151-163 13 p. (Lecture notes in computer science, Vol. 10675).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proxemics for information visualization on wall-sized displays
Jakobsen, M. R. & Hornbæk, Kasper, 2012. 5 p.Research output: Contribution to conference › Paper › Research
- Published
Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies
Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proving correctness of compilers using structured graphs
Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Protein structure prediction using tabu search and half-sphere exposure measure
Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006.Research output: Contribution to conference › Poster › Research
- Published
Protein structure prediction using bee colony optimization heuristic
Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, Datalogisk Institut, Københavns Universitet. 11 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 12, Vol. 08).Research output: Book/Report › Report › Research
- Published
Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract
Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.Research output: Contribution to journal › Conference abstract in journal › Research
- Published
Protein Decoy Generation Using Branch and Bound with Efficient Bounding
Paluszewski, M. & Winter, Pawel, 2008, Algorithms in Bioinformatics: 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings. Crandall, K. A. & Lagergren, J. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science : Lecture Notes in Bioinformatics; No. 5251).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Promoting active participation in computer science lectures
Sommer, Stefan Horst, 2014, Improving university science teaching and learning: pedagogical projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 209-222 14 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors
Weigel, M., Boring, S., Steimle, J., Marquardt, N., Greenberg, S. & Tang, A., 2013, MobileHCI '13: Proceedings of the 15th international conference on Human-Computer Interaction with Mobile devices and services. Association for Computing Machinery, p. 247-250 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Project proposal: The Copenhagen STL, CPH STL Report 2000-1
Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 p.Research output: Working paper › Research
- Published
Project practical data structures and algorithms: Final report
Katajainen, J. (ed.), 2006, 9 p.Research output: Book/Report › Book › Research
- Published
Project performance engineering: final report
Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Project description: Foundations and tools for building well-behaved systems
Katajainen, J., Elmasry, A., Elverkilde, J. D., Jensen, C., Rasmussen, J., Simonsen, B., Yde, L., Artho, C., Francechini, G. & Schupp, S., 2008, København: Department of Computer Science, University of Copenhagen, p. 1-7, 7 p.Research output: Working paper › Research
- Published
Programming techniques for reversible comparison sorts
Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming macro tree transducers
Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming in biomolecular computation
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Programming in biomolecular computation: programs, self-interpretation and visualisation
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Processing method for mammogram image of breast involves deriving parameter that changes alongside changes in breast density based on aggregate pixel membership scores of classes
Raundahl, J., Loog, M., Nielsen, Mads, Brandt, S. S. & Karemore, G., 2007, IPC No. G06K-009/52, Patent No. WO2007090892-A1, 16 Aug 2007, Priority date 10 Feb 2006, Priority No. GB002739Research output: Patent
- Published
Proceedings of the fifth international workshop on Mathematical Foundations of Computational Anatomy (MFCA 2015)
Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2015, INRIA. 173 p.Research output: Book/Report › Anthology › Research
- Published
Proceedings of the Fourth International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Biological Shape Variability Modeling (MFCA 2013), Nagoya, Japan
Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2013, INRIA. 134 p.Research output: Book/Report › Book › Research › peer-review
- Published
Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computation (GECCO 2013)
Blum, C. (ed.) & Igel, Christian (ed.), 2013, Association for Computing Machinery. 1766 p.Research output: Book/Report › Book › Research › peer-review
- Published
Proceedings of the 6th STL Workshop
Katajainen, J. (ed.), 2006, 56 p.Research output: Book/Report › Book › Research
- Published
Proceedings of the 2nd Danish HCI Symposium
Frøkjær, Erik (ed.) & Hornbæk, Kasper (ed.), 2002, København: DIKU. 47 p.Research output: Book/Report › Report › Research
- Published
Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993
Bansler, Jørgen P., 1993, Datalogisk Institut.Research output: Book/Report › Book › Research
Most downloads
-
6945
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6255
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5777
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
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
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review