- Published
Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory
Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Bahr, P., 31 Oct 2012, 466 p.Research output: Book/Report › Ph.D. thesis
- Published
Analysis of synchrotron X-ray tomographic data: Reconstruction and application
Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
- Published
Design of Reversible Computing Systems: Logic, Languages, and Circuits
Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.Research output: Book/Report › Ph.D. thesis
- Published
Classification in Medical Imaging: Features, Metrics and Insights into Classifiers
Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis
- Published
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
- 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
- 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
- Published
Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry
Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 p.Research output: Book/Report › Ph.D. thesis
- Published
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
Most downloads
-
6949
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6262
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review