Tekniske rapporter 1980-1984 

1980

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

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

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

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

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