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