Datalogisk Institut

Læs mere
101 - 200 ud af 1.702Pr. side: 100
Sortering: Udgivelsesdato
  1. 1999
  2. Udgivet

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  3. 2000
  4. Udgivet

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, s. 10

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

  5. Udgivet

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, I: NeuroImage. 11, 5 PART II

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, I: Theoretical Computer Science. 237, 1-2, s. 159-181

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  8. Udgivet

    Block Truncation and planar image coding, Vol.21, no.13-14

    Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, s. 1141-1148

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  9. Udgivet

    Efficient first order functional program interpreter with time bound certifications

    Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Bind 1955. s. 25-42

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  10. Udgivet

    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, s. 81-116

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  11. Udgivet

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (4), s. 355-368

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  12. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paper › Forskning

  13. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paper › Forskning

  14. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paper › Forskning

  15. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paper › Forskning

  16. Udgivet

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (3), s. 217-237

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  17. Udgivet

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, s. 128-142

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  18. Udgivet

    Lyngby 2.0 - A Modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 2000, I: NeuroImage. 11, 5 PART II

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  19. Udgivet

    Maintaining center and median in dynamic trees

    Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Bind 1851. s. 46-56 11 s. (Lecture notes in computer science).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  20. Udgivet

    Performance engineering case study: Heap construction

    Bojesen, J., Katajainen, J. & Spork, M., 2000, I: The ACM Journal of Experimental Algorithmics. 5, s. article 15

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  21. Udgivet

    Philosophical Locations in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2000, København, http://www.nam.com.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  22. Udgivet

    Project proposal: The Copenhagen STL, CPH STL Report 2000-1

    Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 s.

    Publikation: Working paper › Forskning

  23. Udgivet

    Scale Space Theories in Computer Vision: Second International Conference, Scale Space'99, Corfu, Greece, September 1999; Proceedings

    Nielsen, Mads, 2000, Springer Science+Business Media.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

  24. Udgivet

    Short Trees in Polygons, DIKU-rapport 00/02

    Winter, Pawel & Zachariasen, M., 2000, Datalogisk Institut, Københavns Universitet. 13 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  25. Udgivet

    Smoothing images creates corners

    Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, I: Image and Vision Computing. 18, 3, s. 261-266

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  26. Udgivet

    Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11

    Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 s.

    Publikation: Working paper › Forskning

  27. Udgivet

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. s. 498-499 2 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  28. 2001
  29. Udgivet

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, s. 175-186

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

  30. Udgivet

    A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13

    Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 s.

    Publikation: Working paper › Forskning

  31. Udgivet

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, s. 205-213

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  32. Udgivet

    Computing Optic Flow by Scale-Space Integration of Normal Flow

    Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. s. 124-135 (DIKU teknisk rapport; Nr. 01-04).

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning

  33. Udgivet

    Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning

    Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, s. 23-24

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

  34. Udgivet

    Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141

    Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, s. 39-50

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  35. Udgivet

    Experiences with the design and implementation of space-efficient deques, CPH STL Report 2001-7

    Katajainen, J. & Mortensen, B. B., 2001, http://www.cphstl.dk, 47 s.

    Publikation: Working paper › Forskning

  36. Udgivet

    Feature-space clustering for fMRI meta-analysis: Human Brain Mapping

    Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, I: Human Brain Mapping. 13, 3, s. 165-183 19 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  37. Udgivet

    Instructions to use DIKU style files, CPH STL Report 2001-1

    Katajainen, J. & Raatikainen, K. E. E., 2001, http://www.cphstl.dk, 7 s.

    Publikation: Working paper › Forskning

  38. Udgivet

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, s. 159--170

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  39. Udgivet

    Markovian domain fingerprinting: statistical segmentation of protein sequences

    Bejerano, G., Seldin, Yevgeny, Tishby, N. & Margalit, H., 2001, I: Bioinformatics.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  40. Udgivet

    Proceedings fra den 10. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 01/04

    Olsen, Søren Ingvor (red.), 2001, Datalogisk Institut, Københavns Universitet. 166 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  41. Udgivet

    Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, I: CHI Letters Proceedings of CHI 2001. s. 293-301

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  42. Udgivet

    Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, I: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, s. 293-300

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  43. Udgivet

    Research proposal: Software tools for program library development, CPH STL Report 2001-15

    Katajainen, J., 2001, http://www.cphstl.dk, 7 s.

    Publikation: Working paper › Forskning

  44. Udgivet

    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).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  45. Udgivet

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

  46. Udgivet

    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, I: Biophysical Society. Annual Meeting. Abstracts. 80, 1, s. 522A-522A

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  47. Udgivet

    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, I: Ugeskrift for Laeger. 163, 27, s. 3793-7 5 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  48. Udgivet

    Opfølgning af børn født med medfødt toxoplasmose

    Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 nov. 2001, I: Ugeskrift for Laeger. 163, 45, s. 6292

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  49. 2002
  50. Udgivet

    A randomized in-place algorith for positioning the k\'th element in a multiset

    Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, s. 408-417

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  51. Udgivet

    An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Bind 2461. s. 760-771

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  52. Udgivet

    Evaluating User Interfaces with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, s. 533-544

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  53. Udgivet

    Geometric Steiner Tree Problems

    Winter, Pawel & Zachariasen, M., 2002, Proc. of IV ALIO/EURO Workshop on Applied Combinatorial Optimization. Pucon, Chile, s. 137-140

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  54. Udgivet

    Growth and Motion in 3D Medical Images

    Sporring, Jon, Niessen, W. & Weickert, J., 2002, København: 3DLab., School of Dentistry, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  55. Udgivet

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Ikke angivet. Springer, s. 197-205

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  56. Udgivet

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2002, Proceedings of the 5th Latin Theoretical Informatics Symposium, Lecture Notes in Computer Science 2286. Berlin/Heidelberg: Springer, s. 14

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

  57. Udgivet

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Proceedings of the 5th Latin American Symposium on Theoretical Informatics. Springer, s. 197-205

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  58. Udgivet

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2002, Proceedings of the 4th International Workshop on Algorithm Engineering. Springer, s. 159-170

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  59. Udgivet

    Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, s. 10

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  60. Udgivet

    Navigation piles with applications to sorting, queues, and priority degues

    Katajainen, J. & Vitale, F., 2002, Copenhagen. 22 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  61. Udgivet

    Nettjournalisten

    Indahl, N. G., 2002, 1 udg. Kristiansand: IJ-forlaget. 107 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

  62. Udgivet

    Normalization and Partial Evaluation

    Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, s. 137-192 (Lecture notes in computer science; Nr. 2395).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Undervisning

  63. Udgivet

    NyS 29: Nydanske studier & almen kommunikationsteori

    Henrichsen, P. J. (red.), Holmen, A. (red.), Johansen, M. D. (red.), Perregaard, Bettina (red.), Scheuer, Jann (red.), Sletten, I. S. (red.) & Ulbæk, Ib (red.), 2002, København: Dansklærerforeningen. 133 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  64. Udgivet

    NyS 30 : Nydanske studier: Korpuslingvistik

    Henrichsen, P. J. (red.), Holmen, A. (red.), Johansen, M. D. (red.), Perregaard, Bettina (red.), Scheuer, Jann (red.), Sletten, I. S. (red.) & Ulbæk, Ib (red.), 2002, Akademisk Forlag. 128 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  65. Udgivet

    On the location of Steiner points in uniformly-oriented Steiner trees

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, I: Information Processing Letters. vol. 83, s. 237-241

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  66. Udgivet

    Optimal Steiner hull algorithm

    Winter, Pawel, 2002, I: Computational Geometry. 23,2, s. 163-169

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  67. Udgivet

    Performance tuning an algorithm for compressing relational tables: Lecture Notes in Computer Science, Vol. 2368

    Katajainen, J. & Madsen, J. N., 2002, Proceedings of the 9th Scandinavian workshop on algorithm theory. Springer, s. 398-407

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  68. Udgivet

    Proceeding fra den 11. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 2002/15

    Olsen, Søren Ingvor (red.), 2002, Datalogisk Institut, Københavns Universitet. 144 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  69. Udgivet

    Proceedings of the 2nd Danish HCI Symposium

    Frøkjær, Erik (red.) & Hornbæk, Kasper (red.), 2002, København: DIKU. 47 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  70. Udgivet

    Project performance engineering: final report

    Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, s. 11

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  71. Udgivet

    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, s. 114-126

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  72. Udgivet

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002.

    Publikation: Konferencebidrag › Paper › Forskning

  73. Udgivet

    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, s. 101-101

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  74. Udgivet

    Research proposal: Practical data structures and algorithm

    Katajainen, J. (red.), 2002, Copenhagen. 6 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  75. Udgivet

    Roll: A Language for Specifying Die-Rolls

    Mogensen, Torben Ægidius, 2002, publisher. Springer, s. 15

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  76. Udgivet

    Short Trees in Polygons

    Winter, Pawel, Zachariasen, M. & Nielsen, J., 2002, I: Discrete Applied Mathematics. vol. 118, s. 55-72

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  77. Udgivet

    Studying the Utility of Mataphors of Human Thinking in HCI

    Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

  78. Udgivet

    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, s. 19-21

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  79. Udgivet

    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, I: Journal of Oto-Rhino-Laryngology and its related Specialities. 64(6), s. 378-381

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  80. Udgivet

    Tracking Target and Spiral Waves

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, P. G., 2002, I: Chaos: An Interdisciplinary Journal of Nonlinear Science. 12, 1, s. 16-26

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  81. Udgivet

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  82. Udgivet

    Virtual Trackballs Revisited

    Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 udg. Department of Computer Science, University of Copenhagen, s. 114-126

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  83. Udgivet

    Effect of modified ultrafiltration on the inflammatory response in paediatric open-heart surgery: a prospective, randomized study

    Chew, M. S., Christensen, Vibeke Brix, Ravn, H. B., Brandslund, I., Ditlevsen, E., Pedersen, J., Hjortholm, K., Tønnesen, E., Hjortdal, Vibeke Elisabeth & Hansen, O. K., sep. 2002, I: Perfusion. 17, 5, s. 327-33 7 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  84. 2003
  85. Udgivet

    An extended truth about heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2003, Department of Computer Science, University of Copenhagen, 16 s.

    Publikation: Working paper › Forskning

  86. Udgivet

    Collision Detection of Deformable Volumetric Meshes

    Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (red.). Charles River Media, s. 51-68

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  87. Udgivet

    Detection and Localization of Random Signals

    Sporring, Jon, Olsen, N. H. & Nielsen, Mads, 2003, Scale Space Methods in Computer Vision: 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings. s. 785-797 (Lecture notes in computer science, Bind 2695/2003).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  88. Udgivet

    End-Stop Exemplar Based Recognition

    Olsen, Søren Ingvor, 2003, Image Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 – July 2, 2003 Proceedings. s. 257-266 (Lecture notes in computer science, Bind 2749/2003).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  89. Udgivet

    Evaluating User Interface with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 udg. Berlin, Heidelberg: Springer, s. 22

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  90. Udgivet

    Growth and Motion in 3D Medical Images

    Sporring, Jon (red.), Niessen, W. (red.) & Weickert, J. (red.), 2003, I: IEEE Transactions on Medical Imaging. 22, 6, s. 697-698

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  91. Udgivet

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 udg. Berlin: Springer, s. 13-21

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  92. Udgivet

    Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, s. 781-784

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  93. Udgivet

    Navigation piles with applications to sorting, priority queues, and priority deques

    Katajainen, J. & Vitale, F., 2003, I: Nordic Journal of Computing. Volume 10, s. 238-262

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  94. Udgivet

    Proceedings fra den 12. Danske Konference i Mønstergenkendelse og Billedanalyse

    Olsen, Søren Ingvor (red.), 2003, 03/06 udg. Museum Tusculanum.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  95. Udgivet

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2003

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  96. Udgivet

    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.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  97. Udgivet

    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 udg. Roskilde: University of Roskilde, s. 4

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  98. Udgivet

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  99. 2004
  100. Udgivet

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  101. Udgivet

    A Denotational Account of Untyped Normalization by Evaluation

    Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (red.). Springer, s. 167-181 (Lecture notes in computer science; Nr. 2987).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  102. Udgivet

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2004, 08 udg. Department of Computer Science, University of Copenhagen: Datalogisk Institut.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  103. Udgivet

    A New Paradigm for General Architecture Routing

    Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, s. 202-207

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  104. Udgivet

    A framework for speeding up priority-queue operations

    Elmasry, A., Jensen, C. & Katajainen, J., 2004, Department of Computer Science, University of Copenhagen, 31 s.

    Publikation: Working paper › Forskning

  105. Udgivet

    Asymmetry quantization and application to human mandibles

    Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. s. 274-282 (Medical Imaging 2004: Image Processing, Bind 5370).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  106. Udgivet

    Ballet Balance Strategies

    Pedersen, C., Erleben, Kenny & Sporring, Jon, 2004, Proceedings of SIMS 2004. Technical University of Copenhagen, s. 323-330

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...18 Næste