- 2000
- Published
Lienar-Time Self-Interpretation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Philosophical Locations in Scientific and Scholarly Activity
Naur, P. & Frøkjær, Erik, 2000, København, http://www.nam.com.Research output: Book/Report › Book › 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
Block Truncation and planar image coding, Vol.21, no.13-14
Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage
Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, In: NeuroImage. 11, 5 PART IIResearch output: Contribution to journal › Journal article › 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
Exact Algorithms for Plane Steiner Tree Problems: A Computational Study
Warme, D. M., Winter, Pawel & Zachariasen, M., 2000, Advance in Steiner Trees. Kluwer Academic Publishers, p. 81-116Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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
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
Most downloads
-
6947
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6256
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5778
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
VC Set Systems in Minor-free (Di)Graphs and Applications
Research output: Contribution to conference › Paper › 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