Publications

Håvard Hegna; Datasystem for lokale fagforeninger. Utstyr, egenskaper, behov og priser Ukjent, 1986. Article journal

Marit Holden; Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal

Håvard Hegna; Data-nettverk og meldingssystem 1986. Report

Magne Aldrin; Prognosemetoders robusthet mot manglende data, - Beskrivelse av metodene, - Hva gjøres når deler av tidsrekka ikke er observert? 1986. Report

Lars Holden; Eivind Damsleth; Konsistente prognoser for trafikkmatriser - en metodestudie 1986. Report

Magne Aldrin; Forecasting time series with missing observations 1986. Report

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; The SISABOSA project - Summary of activities and experiences 1986. Report

Magne Aldrin; Tidsrekkebasert analyse av oljeetterspørsel og -tilbud 1986. Report

Lars Holden; Henning Omre; Production profiles in heterogeneous reservoirs - based on SISABOSA 1986. Report

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; Technical documentation of the SISABOSA-system 1986. Report

Magne Aldrin; Brukermanual for programpakke med et sett prognosemetoder (glattings-metoder) 1986. Report

Magne Aldrin; Presisjon til ulike prognosemetoder for fullstendig observerte tidsrekker og for tidsrekker med manglende observasjoner 1986. Report

Knut Helge Bråten; Knut Hektoen Moen; Rune Solberg; En analyse av GOP-300 og TERAGON-4000 1986. Report

Kjell Stordal; Lars Holden; Traffic forecasting models based on top down and bottum up procedures 1985. Scientific lecture

Nils Lid Hjort; Erik Mohn; Geir Storvik; Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Article journal

Erling Maartmann-Moe; Hans Koren; Optiske disker 1985. Scientific lecture

Hans Koren; Optical disks 1985. Scientific lecture

Rune Solberg; Geometrisk korreksjon av digitale bilder i optisk satellittfjernmåling 1985. Report

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Scientific lecture

Marit Holden; Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Article journal