Titles in the Ifi/UiO publications archive

(Direct access to Norwegian titles starting with A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, Æ, Ø, Å.)

(Direct access to English titles starting with A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z.)

Norwegian titles

(A list of english titles comes later.)

A

Adaptiv støykansellering av egenstøy på sonar: Jens Kristian Haug; Cand Scient thesis, November 1995.
Automatisk feilhåndtering i kommunikasjonssystemer ved hjelp av Bayesnettverk og mønstergjenkjenningsmetoder: Ole-Christoffer Granmo; Cand Scient thesis, February 1999. [95 pages]
Avskjærings- og søkestrategier i system for automatisk bevisføring: Dag Diesen; Cand Scient thesis, January 1988.

B

Bevissystemer for parallelle prosesser med felles variable: Kari Asheim; Cand Scient thesis, May 1994.
BPR og endring av organisasjoner: Jon Erlend Dahlen; Cand Scient thesis, May 1995.
Brukermedvirkning i konsulentvirksomhet: Øystein Myhre; Cand Scient thesis, July 1997.
Bruk av mobile agenter til vedlikehold i distribuerte systemer: Per Thomas Jahr; Cand Scient thesis, November 1999.

D

Deteksjon av grunntoner i analog VLSI: Ørjan Sommerseth; Cand Scient thesis, May 1995.
Dimensjonsestimering fra elektroencefalogrammer (EEG): Hilde Madsen; Cand Scient thesis, August 1995.
Distribuert fellesminne i software over SCI: Henning Spjelkavik; Cand Scient thesis, May 1999.

E

Elektronisk handel: Endringer i organisasjon, teknologi og kundeforhold: Rasmus Andersen; Cand Scient thesis, February 1999.

F

Fra produkt til tjeneste i dokumentbaserte IS: Atle Holmer Markussen; Cand Scient thesis, February 1998.
Første ordens teorier og grunnleggende rekursjonsteori: Lars Kristiansen; compendium 66; spring 1996.
Første ordens teorier og grunnleggende rekursjonsteori: Lars Kristiansen; compendium 66; second edition, January 1998.

G

Generalisert algebraisk spesifikasjon med en anvendelse på indirekte semantikk: Jo Erskine Hannay; Cand Scient thesis with an abstract in English, September 1995.
Gjenbruk av eksisterende edb-systemer realisert gjennom distribusjon: Kristoffer Moe; Cand Scient thesis, August 1997.

H

Hypertext transfer protocol og world wide web: Dag Diesen; lecture, April 1995.
Høyoppløselig stråleformingsmetoder: Kjetil Dahl; Cand Scient thesis, May 1997.

I

Implementasjon av et kompleksitetsmål: Stein Jørgen Ryan; Cand Scient thesis, May 1993.
Integrert opto-elektrisk mottagersystem: Morten Larsen; Cand Scient thesis, November 1992.

K

Kohonens selvorganiserende nevrale nett i analog VLSI: Jan Erik B. Keus; Cand Scient thesis, February 1995.
Kontinuerlig «backpropagation»-nett i analog VLSI: Knut Soelberg; Cand Scient thesis, August 1992.

L

Laveffekt CMOS pulsdetektor: Morten Salomonsen; Cand Scient thesis, February 1994.
Lokalisering av multistråle sonarfotavtrykk med todimensjonale bildebehandlingsmetoder: Jens Toivo Berger Thielemann; Cand Scient thesis, May 1999.

N

Numerisk løsning av partiell differensiallikning for akustiske bølger i tre dimensjoner: Stian G. Danenbarger; Cand Scient thesis, August 1996.

O

Optimering av tynnede arrayer: Jon-Fredrik Hopperstad; Cand Scient thesis, May 1998.

P

Pasientjournalen som infrastruktur: Karl Ivar Dahl; Cand Scient thesis, February 1998.
Programverktøy og algoritmer for automatisk utlegg av transistorer: Dag Asheim; Cand Scient thesis, May 1995.

S

SCI-systemer med HIC som transportmedium: Thomas Waadeland; Cand Scient thesis, February 1995.
Simulering av puls-ekko felter fra tynnede array: Stian Henriksen; Cand Scient thesis, May 1999.
Spatio-temporal database support for legacy applications: Michael Böhlen, Christian S. Jensen, and Bjørn Skjellaug; in Proceedings of the 1998 ACM Symposium on Applied Computing, Atlanta, Georgia, February/March 1998.

T

Terminering av typeordnet omskriving: Peter Csaba Ølveczky; Cand Scient thesis, August 1994.
Tidsstempelbasert synkronisering i distribuerte, objektorienterte systemer: Christer Hoel; Cand Scient thesis, May 1995.

U

Umiddelbart brukbare systemer -- hjelp for oppgaver som utføres sporadisk: Erik Saastad; Cand Scient thesis, December 1995.

V

Virtuelle fonter og norsk orddeling i LaTeX: Lars Gunnar Thoresen; Cand Scient thesis, November 1993.

W

World Wide Web i offentlig tjenesteyting: dokumentasjon av en tidlig innføringsprosess: Bent Østebø Johansen and Bjørn Magnar Myklebust; Cand Scient thesis, August 1996.

English titles

A

Abstraction and concretizing in information systems and problem domains: Implications for system descriptors and theoretical framework: Jens Kaasbøll; preprint accepted at IFIP 8.1 ISCO3, March 1995.
Acoustic field simulation for arbitrarily shaped transducers in a stratified medium: IEEE Ultrasonics Symposium, November 1994.
Analysing persistant language applications: Dag I. K. Sjøberg; POS-6, September 1994.
Analog correlators for CMOS signal processing: John Arne Nesheim; Cand Scient thesis, February 1993.
An analog neural network with on-chip learning: Roy Sigvartsen; Cand Scient thesis, August 1994.
An approach to the design of sparse array systems: Jan O. Erstad and Sverre Holm; IEEE Ultrasonic Symposium, November 1994.
An equational characterization of the poly-time functions on any constructor data structure: Vuokko-Helena Caseiro; research report 226, December 1996.
An image analysis system for measuring shape and motion of white blood cells from a sequence of flouresence microscopy images: Luren Yang; Cand Scient thesis, 1994. Also as BLAB report 73.
Approximation of Bessel beams with annular arrays: Sverre Holm and G. Hossein Jamshidi; preprint Proceedings IEEE International Ultrasonics Symposium, San Antonio, November 1996.

B

Building an integrated persistant application: Dag I. K. Sjøberg; DBPL-4, August 1993.

C

Chaotic time series -- Part I: Estimation of some invariant properties in state space: Dimitris Kugiumtzis, Bjørn Lillekjendli and Nils Christophersen; Modeling, identification and control, vol 15, no 4, 1994.
Chaotic time series -- Part II: System identification and prediction: Bjørn Lillekjendli, Dimitris Kugiumtzis and Nils Christophersen Modeling, identification and control, vol 15, no 4, 1994.
Classifying object oriented analysis approaches with activity theory: Ole Smørdal; in M. E. Orlowska and R. Zicari (eds.): 4th International Conference on Object-Oriented Information Systems (OOIS'97), Brisbane, Australia; Springer-Verlag.
A CMOS analog Hopfield net with local adaption and storage of weights: Aanen Abusland; Cand Scient thesis, February 1994.
The coarray of sparse arrays with minimum sidelobe level: Jon-Fredrik Hopperstad and Sverre Holm; accepted at NORSIG'98, June 1998.
Computer support for distributed collaborative learning -- exploring a comples program area: Annita Fjuk; Dr Scient thesis, January 1998.
Criticality conditions on equations to ensure poly-time functions: Vuokko-Helena Caseiro; research report 225, November 1996.
Curve approximation and constrained shortest path problems: Geir Dahl and Bjørnar Realfsen; Preprint 6, August 1996.
A cutting plane algorithm for multicommodity survivable network design problems: Geir Dahl and Mechthild Stoer; preprint, May 1995.

D

Design of sparse and non-equally spaced arrays for medical ultrasound: Jan Ove Erstad; Cand Scient thesis, November 1994.
Digital beamforming in ultrasound imaging: Sverre Holm; NORSIG-94, June 1994.
A direct time-domain FEM modeling of broadband frequency-dependent absorption with the presence of matrix fractional power: Model I: Wen Chen; Simula Research Laboratory preprint; May 2002.
Distance function wavelets -- Part I: Helmholtz and convection-diffusion transforms and series: Wen Chen; Simula Research Laboratory preprint; May 2002.
divide et impera -- a computational framework for verifying object component substutability: Else K. Nordhagen; Dr Scient thesis, November 1998.

E

Electronic documents, organisation and technology - a case study: Johan Kristian Rosenvold; Cand Scient thesis, November 1996.
Estimation models for kinematic calibration og manipulators with a parallel structure: Dimitris Kugiumtzis and Bjørn Lillekjendli; Journal of Robotics Research, vol 11, no 5, pp 399-410, 1994.

F

Fast and exact computation of moments using discreet Green's theorem: Luren Yang and Fritz Albregtsen; proceedings NOBIM, pp 82-90, 1994.
Fast computation of 3-D geometric moments using a discrete Gauss' theorem: Luren Yang, Fritz Albregtsen, and Torfinn Taxt; in Computer Analysis of Image and Pattern, Lecture Notes in Computer Science, vol. 970, pp.649-654, 1995.
Focusing of ultrasound beams: Hossein Jamshidi Gohari; Cand Scient thesis; May 1997.
A formal comparison of ADT-based dimensional query languages: Bjørn Skjellaug; research report 276, September 1999.
Fractal arrays, design and analysis: Ilyas Aouad; Cand Scient thesis, June 2001.
A frequency decomposition time domain model of broadband frequency-dependent absorption: Model II: Wen Chen; Simula Research Laboratory preprint; May 2002.
Full custom implementation of a high performance input buffered swich architecture: Joar Martin Østby; Dr scient thesis, research report 242, April 1997.

G

GMSim: A generalized semi-Markov simulation environment: Frode B Nilsen; research report 258, April 1998.
The good, the bad and the unusual in computer assisted learning: Kjell Øystein Arisland; MultiComm-94, november 1994.

H

High resolution beamforming of SIMRAD EM3000 bathymetric multibeam sonar data: Are Rønhovde; Cand Scient thesis, October 1999.
Human work as context for development of object oriented modelling techniques: Jens Kaasbøll and Ole Smørdal; In S. Brinkkemper (ed.): IFIP WG 8.1/8.2 working conference on principles of method construction and tool support (Method Engineering' 96), Atlanta, USA; Chapman & Hall: pp. 111-25.

M

Majorization, polyhedra and statistical testing problems: Geir Dahl; research report 240, February 1997.
Managing change in information systems: technological challenges: Dag I. K. Sjøberg; IRIS-17, August 1994.
Managing change in persistant object systems: Dag I. K. Sjøberg; ISOTAS-93, November 1993.
Matrix majorization: Geir Dahl; research report 263, June 1998.
Medical ultrasound transducers and beamforming: Sverre Holm; 15th international congress on acoustics, June 1995.
Methods to estimate areas and perimeters of blob-like objects: a comparison: Luren Yang, Fritz Albregtsen, Tor Lønnestad and Per Grøttum; proceedings IAPR workshop on Machine Vision Applications, pp 272-276, 1994.
A method to optimize weighting of general planar arrays: Bjørnar Elgetun and Sverre Holm; Norwegian Signal Processing Conference (NORSIG 95), September 1995.
Minimum sidelobe energy versus minimum peak sidelobe level for sparse array optimization: Sverre Holm; Proc. IEEE Nordic Signal Processing Symposium, Helsinki, Finland, September 1996, pp 227-230.
Modelling of the ultrasound return from Albunex microspheres: Sverre Holm, Marte Myhrum and Lars Hoff; Ultrasonics, vol 32, no 2, 1994.
Multi-dimensional time support for spatial data models: Bjørn Skjellaug and Arne-Jørgen Berre; research report 253, May 1997.

N

Nonlinear empirical modeling using local PLS models: Lars Aarhus; Cand Scient thesis, August 1994.
A note on fractional derivative modeling of broadband frequency-dependent absorption: Model III: Wen Chen; Simula Research Laboratory preprint; May 2002.
A note on nonnegative diagonally dominant matrices: Geir Dahl; research report 269, April 1999.
Notes on polyhedra associated with hop-constrained paths: Geir Dahl; research report 256, December 1997.
Numerical solution of the pressure equation in a simple model of aluminium DC-casting: Wen Shen; Cand Scient thesis, April 1994.

O

Object-oriented models of functionally integrated computer systems: Jens Kaasbøll; FIRE report 14, January 1994.
ODL-M -- a mapping language for schema integration in object-oriented multidatabase systems: Steinar A. Kindingstad; Cand Scient thesis, August 1996.
On introducing high order functions in ABEL: Ole-Johan Dahl and Bjørn Kristoffersen; research report 210, December 1995.
On the use of subtypes in ABEL: Ole-Johan Dahl and Olaf Owe; research report 206 (revised version), October 1995.
Optimization of response from 2D arrays for medical ultrasound: Bjørnar Elgetun; Cand Scient thesis, May 1996.
Optimization of the beampattern of 2D sparse arrays by weighting: Sverre Holm and Bjørnar Elgetun; in Proceedings IEEE Ultrasonics Symposium, November 1995.

P

Parametric subtypes in ABEL: Tore Jahn Bastiansen; research report 207 (revised version), October 1995.
Polyhedra and optimization in connection with a weak majorization ordering: Geir Dahl; preprint, December 1994.
PQ-trees and maximal planarization: Gørril Vollen; Cand Scient thesis, February 1998.
Predictive Analog to Digital Conversion of Doppler Ultrasound Signals: Svein Bøe and Kjell Kristoffersen; IEEE Transactions on Biomedical Engineering, vol 42, no 3, March 1995.
Properties of the beampattern of weight- and layout-optimized sparse arrays: Sverre Holm, Bjørnar Elgetun and Geir Dahl; in IEEE Trans. Ultrasonics, Ferroelectrics and Frequency Control, vol. 44, no. 5, pp. 983-991, September 1997.

Q

Quantifying schema evolution: Dag I. K. Sjøberg; Information and software technology, vol 35, no 1, 1993.
A quasi-RBF technique for numerical discretization of PDE's: Wen Chen; Simula Research Laboratory preprint; May 2002.
Queuing systems: Modeling, analysis and simulation: Frode B Nilsen; research report 259, April 1998.

R

Real-time 3D Medical Ultrasound - Signal Processing Challenges: Sverre Holm; preprint, Norwegian Signal Processing Conference (NORSIG 97), May 1997.

S

SA++ -- how to bring organizational aspects into teaching analysis and design: Jens Kaasbøll; FIRE report 13, September 1994.
Simulating SCI and SCI/RT in Simula: Bjørn Bakke; Cand Scient thesis; August 1995.
Simulation and visualization of ultrasound fields: Kapila Epasinghe; Cand Scient thesis, August 1997.
Simulation of 3D acoustic fields on a concurrent computer: Kapila Epasinghe and Sverre Holm; in Proceedings from the Nordic symposium on Physical Acoustics, February 1996.
Simulation of acoustic fields from medical ultrasound transducers of arbitrary shape: Sverre Holm; Nordic Symposium in Physical Acoustics, January 1995.
Simulation of nonlinear ultrasound fields: Helge Fjellestad; Cand Scient thesis, November 2000.
Soft object analysis -- a modelling approach for analysis of interdependent work practices: Ole Smørdal; in Patel D and Sun Y (eds.): 3rd International Conference on Object-Oriented Information Systems (OOIS'96), London, UK; Springer-Verlag, pp. 195-208.
Software constraint models -- a means to improve maintainability and consistency: Dag I. K. Sjøberg; NIK'94, november 1994.
Some general criteria on equations to guarantee poly-time functions: Vuokko-Helena Caseiro; research report 224, November 1996.
Specifying algorithms using evolving algebra. Implementation of functional programming languages: Dag Diesen; Dr Scient thesis, March 1995.
Specialization inheritance and specialization bounded polymorphism: Marco Temperini; research report 226, December 1996.
Spectral moments and linear models used for photo-acoustic detection of crude oil in produced water: Fredrik Vogel; Cand Scient thesis, April 2001.
Stable set polytopes for a class of circulant graphs: Geir Dahl; research report 249, May 1997.
StarTeX -- a TeX for beginners: Dag Langmyhr; accepted at 17th International TeX User Group Conference (TUG'96), July-August 1996.
StarTeX -- a TeX for beginners: Dag Langmyhr; accepted at NIK'96, November 1996.
State space reconstruction: method of delays vs singular spectrum approach: Dimitris Kugiumtzis and Nils Christophersen; research report 236, February 1997.
State space reconstruction parameters in the analysis of chaotic time series - the role of the time window length: Dimitris Kugiumtzis; Physica D, February 1996.
A supervised approach to the evaluation of image segmentation methods: Luren Yang, Fritz Albregtsen, Tor Lønnestad, and Per Grøttum; in Computer Analysis of Image and Pattern, Lecture Notes in Computer Science, vol. 970, pp.759-765, 1995.
Synthetic aperture methods for medical ultrasonic imaging: Hongxia Yao; Cand Scient thesis, December 1997.

T

Taking articulation work seriously -- an activity theoretical approach: Annita Fjuk, Ole Smørdal, and Markku Nurminen; technical report 120, Turku Centre for Computer Science.
A temporal data model for multimedia database systems: Ilan Eini, Vera Goebel and Bjørn Skjellaug; research report 252, May 1997.
Temporal data: time and object databases: Bjørn Skjellaug; research report 245, April 1997.
Temporal data: time and relational databases: Bjørn Skjellaug; research report 246, April 1997.
Thesaurus-based software environments: Dag I. K. Sjøberg; ICSE-16, May 1994.
Topologies for SCI-based systems with up to a few hundred nodes: John Weding Bothner and Trond Ivar Hulaas; Cand Scient thesis, February 1993.
The 2-hop spanning tree problem: Geil Dahl; research report 250, September 1997.
Towards incorporating computer applications in cooperative work arrangements: Annita Fjuk, Tone Irene Sandahl and Ole Smørdal; In Proceedings of The 18th Information Systems Research Seminar in Scandinavia (IRIS'18), B Dahlbom, F Ljungberg, J Stage and C Sørensen (eds.), Gothenburg studies in informatics, report 7, pp. 159-69 .
Two approaches to hyphenating Norwegian: Terje Kristensen and Dag Langmyhr; preprint accepted at NIK'98, November 1998.

U

The Use of Java in different signal processing applications including a text independent speaker recognizer based on cepstral coefficients: Kjetil Pedersen; Cand Scient thesis, November 2000.

V

Video on the World Wide Web: Sverre H Huseby; Cand Scient thesis, February 1997.

W

Weak k-majorization and polyhedra: Geir Dahl and François Margot; Preprint 7, October 1995.
Weight- and layout-optimized sparse arrays: Sverre Holm, Bjørnar Elgetun and Geir Dahl; Proceedings International Workshop on Sampling Theory and Applications, Aveiro, Portugal, pp. 97-102, June 1997.

Last update made 2006/09/29 by Dag Langmyhr