Datalogisk Institut

Læs mere
1 - 100 ud af 1.703Pr. side: 100
Sortering: Udgivelsesdato
  1. 1986
  2. Udgivet

    Concurrent solution of the stereo correspondence problem and the surface reconstruction problem

    Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, s. 1038-1040 3 s.

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

  3. 1987
  4. Udgivet

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

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

  5. Udgivet

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

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

  6. 1988
  7. Udgivet

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, I: Information Technology and People. 4, 2, s. 117-133 17 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  8. 1989
  9. Udgivet

    Fire perspektiver på systemudvikling (DIKU rapport 89/15)

    Bansler, Jørgen P. & Clausen, H., 1989, I: Copenhagen: diku tryk.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  10. Udgivet

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

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

  11. Udgivet

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, I: Scandinavian Journal of Information Systems. 1, 1, s. 1 1 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  12. Udgivet

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, I: New Technology, Work and Employment. 4, 2, s. 92-99 8 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  13. 1990
  14. Udgivet

    Depth from zooming

    Ma, J. & Olsen, Søren Ingvor, 1990, I: Journal of the Optical Society of America A. 7, 10, s. 1883-1890 8 s.

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

  15. Udgivet

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, I: Studentlitteratur, Lund.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  16. Udgivet

    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, I: AIDS. 4, 10, s. 1037-1038 2 s.

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

  17. Udgivet

    Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

    Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, dec. 1990, I: International Journal of Legal Medicine (Print). 104, 1, s. 3-7 5 s.

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

  18. Udgivet

    Beta2-microglobulin as a prognostic marker for patients with AIDS in Dar es Salaam, Tanzania

    Jorgensen, A. F., Jensen, V. G., Shao, J. F., Maselle, S., Mbaga, I. M., Mwakyusa, D. H., Gotzsche, P. C., Richter, C., Pallangyo, K., Cegielsky, P., Lallinger, G., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 dec. 1990, I: AIDS. 4, 11, s. 1168-1169 2 s.

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

  19. 1991
  20. Udgivet

    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, I: American Journal of Tropical Medicine and Hygiene. 45, 5, s. 613-8 5 s.

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

  21. Udgivet

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, I: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. s. 145-153 9 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  22. Udgivet

    Differential effect of extracellular calcium on the Na(+)-K+ pump activity in intact polymorphonuclear leucocytes and erythrocytes

    Petersen, René Horsleben, Knudsen, T. & Johansen, T., 11 feb. 1991, I: FEBS Letters. 279, 1, s. 153-6 4 s.

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

  23. Udgivet

    Passive immunization of Aotus monkeys with human antibodies to the Plasmodium falciparum antigen Pf155/RESA

    Berzins, K., Perlmann, H., Wåhlin, B., Ekre, H. P., Høgh, Birthe, Petersen, E., Wellde, B., Schoenbechler, M., Williams, J. & Chulay, J., apr. 1991, I: Infection and Immunity. 59, 4, s. 1500-6 7 s.

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

  24. Udgivet

    Longitudinal study of seroreactivities to Pf155/RESA and its repetitive sequences in small children from a holoendemic area of Liberia

    Björkman, A., Lebbad, M., Perlmann, H., Freeman, T., Høgh, Birthe, Petersen, E., Gille, E., Lindgren, A., Willcox, M. & Hanson, A. P., maj 1991, I: Parasite Immunology. 13, 3, s. 301-11 11 s.

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

  25. Udgivet

    Plasma, erythrocyte and urine concentrations of chlorproguanil and two metabolites in man after different doses

    Petersen, E., Flachs, H., Høgh, Birthe, Hanson, A. P., Björkman, A. & Hvidberg, E. F., jun. 1991, I: American Journal of Tropical Medicine and Hygiene. 94, 3, s. 199-205 7 s.

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

  26. Udgivet

    Clinical and parasitological studies on malaria in Liberian adults living under intense malaria transmission

    Petersen, E., Høgh, Birthe, Marbiah, N. T., Dolopaie, E., Gottschau, A., Hanson, A. P. & Bjorkman, A., dec. 1991, I: Annals of Tropical Medicine and Parasitology. 85, 6, s. 577-84 8 s.

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

  27. 1992
  28. Udgivet

    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, I: Tropical Medicine and Parasitology. 43, 1, s. 68-9 2 s.

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

  29. Udgivet

    Parasitaere sygdomme hos patienter med nedsat immunforsvar. Klinisk billede og diagnose

    Petersen, E., Lebech, M., Højlyng, N., Holten-Andersen, W., Mølbak, Kåre, Høgh, Birthe & Jepsen, S., 7 sep. 1992, I: Ugeskrift for Laeger. 154, 37, s. 2475-80 6 s.

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

  30. 1993
  31. Udgivet

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, I: ACM Transactions on Information Systems (TOIS). 11, 2, s. 165-193 29 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  32. Udgivet

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

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

  33. Udgivet

    Information Retrieval in a Work Setting: A Case Study of the Documentation Part of Chemists’ Work

    Hertzum, M., 1993, Proceedings of the 16th IRIS Information Systems Research Seminar in Scandinavia. University of Copenhagen, s. 786-798 13 s.

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

  34. Udgivet

    Mandatory voluntarism: negotiating technology in Denmark

    Kraft, P. & Bansler, Jørgen P., 1993, I: Industrial Relations. 32, 3, s. 329-342 14 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  35. Udgivet

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia

    Bødker, K., Bansler, Jørgen P., Kensing, Finn, Nørbjerg, J. & Pries-Heje, J., 1993, Københavns Universitet.

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

  36. Udgivet

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

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

  37. Udgivet

    Controlled trial of lambda-cyhalothrin impregnated bed nets and Maloprim chemosuppression to control malaria in children living in a holoendemic area of Sierra Leone, west Africa. Study design and preliminary results

    Petersen, E., Marbiah, N. T., Magbiti, E., Lines, J. D., Maude, G. H., Høgh, Birthe, Curtis, C., Greenwood, B. & Bradley, D., jul. 1993, I: Parassitologia. 35 Suppl, s. 81-5 5 s.

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

  38. Udgivet

    Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa

    Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., aug. 1993, I: Acta Tropica. 54, 2, s. 105-15 11 s.

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

  39. Udgivet

    Patienttilfredshed--en undersøgelse af patienters vurdering af behandlingen på en ortopaedkirurgisk afdeling.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 20 dec. 1993, I: Ugeskrift for Laeger. 155, 51, s. 4162-4165 4 s.

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

  40. 1994
  41. Udgivet

    Computer support for documentation work

    Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.

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

  42. Udgivet

    Information systems development with generic systems

    Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. s. 707-718 12 s.

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

  43. Udgivet

    Privilege and invisibility in the new work order: a reply to Kyng

    Bansler, Jørgen P. & Kraft, P., 1994, I: Scandinavian Journal of Information Systems. 6, 1, s. 97-106 10 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  44. Udgivet

    The collective resource approach: The Scandinavian experience

    Kraft, P. & Bansler, Jørgen P., 1994, I: Scandinavian Journal of Information Systems. 6, s. 71-71 1 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  45. Udgivet

    Validiteten af et infektionsregistreringssystem.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 feb. 1994, I: Ugeskrift for Laeger. 156, 9, s. 1273-1275 3 s.

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

  46. Udgivet

    Immune responses to band 3 neoantigens on Plasmodium falciparum-infected erythrocytes in subjects living in an area of intense malaria transmission are associated with low parasite density and high hematocrit value

    Høgh, Birthe, Petersen, E., Crandall, I., Gottschau, A. & Sherman, I. W., okt. 1994, I: Infection and Immunity. 62, 10, s. 4362-6 5 s.

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

  47. 1995
  48. Udgivet

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

  49. Udgivet

    Binocular dense depth reconstruction using isotropy constraint

    Nielsen, Mads & Deriche, R., 1995, I: Theory and Applications of Image Processing IIG. Borgefors, Ed. s. 127-140 14 s.

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

  50. Udgivet

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

  51. Udgivet

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, I: Information Infrastructure and Policy. 4, 2, s. 107-129 23 s.

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

  52. Udgivet

    Digital Billedbehandling

    Olsen, Søren Ingvor, 1995, Den Store Danske Encyklopædi. København: Gyldendal

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

  53. Udgivet

    Direct estimation of Time To Contact

    Sporring, Jon & Nielsen, Mads, 1995, Proceedings fra Den Fjerde Danske Konference om Mønstergenkendelse og Billedanalyse. DIKU, s. 192-202

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

  54. Udgivet

    Direct estimation of Time To Contact

    Sporring, Jon & Nielsen, Mads, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

  55. Udgivet

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  56. Udgivet

    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, s. 192--203 12 s.

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

  57. Udgivet

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, s. 39-44

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

  58. 1996
  59. Udgivet

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, I: ACM Transactions on Computer Human Interaction. 3, 2, s. 136-161 26 s.

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

  60. Udgivet

    Distance-based classification methods

    Winter, Pawel, Ekin, O., Hammer, P. L. & Kogan, A., 1996, Rutgers: Rutgers University.

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

  61. Udgivet

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1996, Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse. Københavns Universitet: Museum Tusculanum, s. 161-169

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

  62. Udgivet

    Large Euclidean Steiner minimum trees in an hour

    Winter, Pawel & Zachariasen, M., 1996, Datalogisk Institut, Københavns Universitet.

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

  63. Udgivet

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Publikation: Working paper › Forskning

  64. Udgivet

    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, I: European Biophysics Journal. 24, 3, s. 143-147

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

  65. 1997
  66. Udgivet

    A World Wide Web-based HCI-library Designed for Interaction Studies

    Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, s. 137-142

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

  67. Udgivet

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

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

  68. Udgivet

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, s. 63-81

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

  69. Udgivet

    Euclidean Steiner Minimum Trees: An Improved Exact Algorithm

    Winter, Pawel & Zachariasen, M., 1997, I: NETWORKS. 30, s. 149-166

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

  70. Udgivet

    Finding cores of limited length

    Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Bind 1272. s. 45-54 11 s. (Lecture notes in computer science).

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

  71. Udgivet

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1997, Proceedings of the 10th Scandinavian Conference on Image Analysis. Lappeenranta, Finland: Pattern Recognition Society of Finland, s. 65-70

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

  72. Udgivet

    Minimizing diameters of dynamic trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, s. 270-280 11 s. (Lecture notes in computer science, Bind 1256).

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

  73. Udgivet

    Optimal on-line decremental connectivity in trees

    Alstrup, Stephen, Secher, J. P. & Spork, M., 1997, I: Information Processing Letters. 64, 4, s. 161-164 4 s.

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

  74. Udgivet

    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, s. 352-361

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

  75. Udgivet

    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, s. 288-305

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

  76. 1998
  77. Udgivet

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, Proceedings of 14th International Conference on Pattern Recognition (ICPR 14). s. 652-654

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

  78. Udgivet

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, (Technical Report; Nr. 1, Bind 98).

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

  79. Udgivet

    Analysing the dynamics of target and spiral waves by image processing techniques

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, Preben Graae, 1998, (Technical Report; Nr. 16, Bind 98).

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

  80. Udgivet

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, I: European Research Consortium for Informatics and Mathematics. Vol. 36, s. 12-13

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  81. Udgivet

    Architectures of Prototypes and Architectural Prototyping

    Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. s. 247-267 21 s.

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

  82. Udgivet

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, I: Fundamentae Informaticae. Vol. 33, s. 309-338

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

  83. Udgivet

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1998, publisher. s. 144-153

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

  84. Udgivet

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, s. 616-627

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

  85. Udgivet

    Direct Routing on Trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. s. 342-349 8 s. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

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

  86. Udgivet

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study, DIKU-rapport 98/11

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1998, Datalogisk Institut, Københavns Universitet. 34 s.

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

  87. Udgivet

    Inherited Limits

    Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, s. 1-12

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

  88. Udgivet

    Normalization for a Subset of Scheme using Type Predicates (Summary)

    Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, s. 35-36

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

  89. Udgivet

    Partial evaluation Concepts and Applications

    Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, s. 1-19

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

  90. Udgivet

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 s. (DIKU teknisk rapport; Nr. 5, Bind 98).

    Publikation: Working paper › Forskning

  91. Udgivet

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  92. Udgivet

    The Evaluator Effect in Usability Tests

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, s. 255-256 2 s.

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

  93. Udgivet

    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, s. 1336-1340 5 s.

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

  94. Udgivet

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, s. 112-122

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

  95. Udgivet

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

    Yamagchii, K., Lassen, Anders & Ring, P., 17 sep. 1998.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  96. 1999
  97. Udgivet

    "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, I: NeuroImage. 9, 6 PART II

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

  98. Udgivet

    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, s. 6-13

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

  99. Udgivet

    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, s. 1-14

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

  100. Udgivet

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.

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

  101. Udgivet

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.

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

  102. Udgivet

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

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

  103. Udgivet

    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, s. 569-575

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

  104. Udgivet

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, I: Theory and Practice of Object Systems (TAPOS). 5, 1, s. 57--72 13 s.

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

  105. Udgivet

    Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1999, I: Algorithmica. Vol.25, s. 418-437

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

  106. Udgivet

    Distance-based Classification Methods

    Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, I: INFOR, Canadian OR Society. Vol.37, s. 337-352

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

  107. Udgivet

    Do Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99

    Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, s. 179-186

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

  108. Udgivet

    Exact Solution to Large-scale Plane Steiner Tree Problems

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1999.

    Publikation: Working paper › Forskning

  109. Udgivet

    Fagfolks dokumentationsarbejde og informationshåndtering

    Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, s. 15-19

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

  110. Udgivet

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. s. 19-24

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

  111. Udgivet

    Obstacle-avoiding Euclidean Steiner Trees in the Plane: An Exact Algorithm

    Zachariasen, M. & Winter, Pawel, 1999, publisher. Springer, s. 282-295

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

  112. Udgivet

    Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

    Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

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

  113. Udgivet

    Prediction of Usability: Comparing Method Combinations

    Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, s. 248-257

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

  114. Udgivet

    The Hausdorff Dimension and Scale-Space Normalization of 'Natural Images'

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

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