- 2000
- 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
- 1999
- Published
"Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage
Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART IIResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Basics of Compiler Design, Kursusbog 5 Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.Research output: Book/Report › Book › Education
- Published
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.Research output: Book/Report › Book › Education
- Published
Block Truncation and Planar Image Coding
Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Block Truncation and Planar Image Coding
Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem
Zachariasen, M. & Winter, Pawel, 1999, In: Algorithmica. Vol.25, p. 418-437Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
6964
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6309
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5800
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Good Days, Bad Days: Understanding the Trajectories of Technology Use During Chronic Fatigue Syndrome
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A generic type system for higher-order Ψ-calculi
Research output: Contribution to journal › Journal article › Research › peer-review
Students’ dynamic communication while transforming mathematical representations in a dynamic geometry environment
Research output: Contribution to journal › Journal article › Research › peer-review