Tekniske rapporter 1980-1984
1980
Year/No. | Title and author |
---|---|
80/1 | Skjulte flader og farvebestemmelse inden for tre-dimensionale grafisk databehandling Anne-Birgitte Hornby |
80/2 | Comments om Preliminary Ada Jørgen Steensgaard-Madsen, Nils Andersen, Anders Peter Ravn, and Erik Reeh Nielsen |
80/3 | Results of testing the Pascal 1100 Compiler with a Pascal Validation Suits Jørgen Bentzen |
80/4 | A statement oriented approach on data abstraction J. Steensgaard-Madsen |
80/5 | Proceedings of DAPS-79 Jakob Krarup and S. Walukiewicz |
80/6 | Obstructions for Regular Colorings Dominique de Werra |
80/7 | Ordonannancement Chromatique et problemes de colorations Dominique de Werra |
80/8 | Beskrivelse af programmoduler J. Steensgaard-Madsen |
80/9 | INTERVAL - FORTRAN. Brugervejledning Klaus Gadegaard Hansen og Peter Kjellberg |
80/10 | On integer programming duality Stanislaw Walukiewicz |
80/11 | Image reconstruction for emission tomography Tomaz J. Goldman |
80/12 | Programmeringssprog og kunstig intelligens K. Helsgavn, G. Koch, og K. Hvidtfelt Nielsen |
80/13 | VACSHAM User's Manual Anker Helms Jørgensen |
80/14 | Datalære i folkeskolen Jane Andersen |
80/15 | An exploratory survey of the litterature om Man-Computer Dialogue Engineering Anker Helms Jørgensen |
80/16 | A Prolog way of representing natural language fragments Gregers Koch |
1981
Year/No. | Title and author |
---|---|
81/1 | Digital Processing of Multi Spectral Images Yu Song Yu and Peter Johansen |
81/2 | Anvendelse af Mikrodatamater Jane Andersen |
81/3 | Document Preparation Systems Hasse Hansson and Jørgen Steensgaard-Madsen |
81/4 | Implementering af multiprogrammer Ole Caprani |
81/5 | Algebraic Module Description J. Steensgaard-Madsen |
81/6 | Produktionsplanlægning - en oversigt over en række standardsystemer Thomas Skousen |
81/7 | Assessment of approximate algorithms: the error measure's crucial role Jakob Krarup and Peter Mark Pruzan |
81/8 | Definition of functionals Jørgen Steensgaard-Madsen |
81/9 | Programming in Predicate Logic E. Upfal |
81/10 | Introduktion til interval analyse Ole Caprani og Kaj Madsen |
81/11 | Uncapacitated Facility Location: The Simple Plan Location Problem Jakob Krarup and Peter Pruzan |
81/12 | Users Manual for the Intellec MDS Concurrent Pascal System Henrik Schneider and Eric Jul |
81/13 | Transposition of a Matrix on Auxiliary Store Peter Johansen and Nils Andersen |
81/14 | Nordsømodellen - undersøgelse af en større matematisk styringsmodel Jørgen Bansler og Annelise Ravn |
81/15 | Module Trees Jørgen Steensgaard-Madsen |
81/16 | Grammars and Predicate Calculus Gregers Koch |
81/17 | Sagen om superdatamaten. Overvejelser og debat om edb-kapacitetsudvalgets forslag til edb-udbygningen for forskning og videregående uddannelse i perioden1982-85 Erik Frøkjær og Edda Sveinsdottír |
1982
Year/No. | Title and author |
---|---|
82/1 | Worst-case Behaviour of Simplex Algorithms: From Theory to Numerical Examples Jens Clausen |
82/2 | An Experimental Pattern Recognition System Yu Song Yu and Peter Johansen |
82/3 | Structuring of dedicated Concurrent Programs Using Adaptable I/O Interfaces Eric Jul |
82/4 | Control Flow Treatment in a Simple Semantics-Directed Compiler Generator Henning Christiansen and Neil Jones. |
82/5 | Edb-helhedsplanlægning Elin Rønby Pedersen |
82/6 | Definition af Concurrent Pascal-maskinen og dokumentation af CP-maskinsimulatoren på DIKU's PDP-11/45 anlæg Jesper Lund og Lars Lund Hansen |
82/7 | A Survey of Literature on Modularization and Abstraction in Programming Erik Reeh Nielsen |
82/8 | Automatisk orddeling Hasse Hansson |
82/9 | Sagen om superdatamaten - anden runde Edda Sveinsdottír og Erik Frøkjær |
82/10 | CONCEPTUAL GRAPHS - A Denotational Semantics Approach Jørgen Flensholt |
82/11 | Brugervejledning for Pascal Class Lars Møller Olsen |
82/12 | A Module Development Discipline Jørgen Steensgaard-Madsen |
82/13 | Combined LP and Quasi-Newton Methods for Nonlinear l1 Optimization Jørgen Hald and Kaj Madsen. |
1983
Year/No. | Title and author |
---|---|
83/1 | Stepwise Development of Operational and Denotational Semantics for Prolog Neil D. Jones and Alan Mycroft |
83/2 | A Skeleton Interpreter for Specialized Languages Jørgen Steensgaard-Madsen |
83/3 | Naming Commands. An Analysis of Designers' Naming Behaviour Anker Helms Jørgensen |
83/4 | Gendannelse af forringede billeder ved invers - og Wienerfiltrering Jørgen Bansler og Søren I. Olsen |
83/5 | Stepwise Development of Logic Programmed Software Development Methods Gregers Koch |
83/6 | An Algorithm for the Steiner Problem in the Euclidean Plane Pawel Winter |
83/7 | Eksperimentelle teknikker i systemarbejdet Jørgen Bansler og Keld Bødker |
83/8 | Generering af en oversættergenerator Mads Tofte |
83/9 | Interval Arithmetic Implementation Using Floating Point Arithmetic Michael Clemmesen |
83/10 | Design practice and interface usability: evidence from interviews with designers Anker Helms Jørgensen, N. Hammond, A. MacLean, P. Barnard, and J. Long |
83/11 | En model for brugeres opfattelse af edb-baserede systemer Jan Chr. Clausen |
83/12 | Definition of the Programming Language MODEF Jørgen Steensgaard-Madsen and Lars Møller Olsen |
83/13 | The effect of task structure in interactive systems: a pilot experiment Anker Helms Jørgensen, Phil Barnard, Nick Hammond and Allan MacLean |
83/14 | The psychology of developing and using computer systems: five contributions Anker Helms Jørgensen |
83/15 | Systemudvikling som element i den kapitalistiske teknologiudvikling Jørgen Bansler og Keld Bødker |
83/16 | Oversætterteknik for programmeringssprog ved hjælp af PROLOG Flemming Als, Carsten Hendriksen og Jens Johansen |
83/17 | Generalized Steiner Problem in Outerplanar Networks Pawel Winter |
1984
Year/No. | Title and author |
---|---|
84/1 | Production and Location on a Network under Demand Uncertainty Francois Louveaux and Jacques-Francois Thisse |
84/2 | Typed Representation of Objects by Functions Jørgen Steensgaard-Madsen |
84/3 | Steiner Problem in Halin Networks Pawel Winter |
84/4 | An Algorithnm for the Enumeration of Spanning Trees Pawel Winter |
84/5 | Open Problems Presented at the Copenhagen Workshop on Computer Vision Knud Henriksen, Peter Johansen and Søren Olsen. |
84/6 | Bufferingsmetoder Bent Pedersen |
84/7 | Datalogi 2 Notes: Functions, Expressions, Programming Languages, Computability Neil D. Jones |
84/8 | COMPILER GENERATORS - what they can do, what they might do, and what they will probably never do Mads Tofte |
84/9 | Forelæsningsnoter til administrativ databehandling. Del I og II Ole Caprani, H.B. Hansen og Søren Lauesen |
84/10 | Computer Vision in a Computer Science Framework Peter Johansen and Edda Sveinsdottír |
84/11 | Analyse af stereobilleder - rekonstruktion af tredimensionale flader Søren I. Olsen |
84/12 | Igredients of Locational Analyses Jakob Krarup and Peter Pruzan |
84/13 | MODEF/1100 User's Guide J. Steensgaard-Madsen |
84/14 | A New Family of Exponential LP-problems Jens Clausen |
84/15 | Two Families of Bad LP-problems Jens Clausen |
84/16 | A Note on the Edmonds-Fukuda Pivoting Rule for Simplex Jens Clausen |
84/17 | Network Management Brian E. Christiansen |