Research reports from Ifi/UiO
Ifi publishes a series of research reports; here is a list of
the ones available on electronic form.
- Tore Jahn Bastiansen
- Parametric subtypes in ABEL;
research report 207 (revised version), October 1995.
- Vuokko-Helena Caseiro
- An equational characterization of
the poly-time functions on any constructor data structure;
research report 226, December 1996.
- --
- Criticality conditions
on equations to ensure poly-time functions;
research report 225, November 1996.
- --
- Some general criteria
on equations to guarantee poly-time functions;
research report 224, November 1996.
- Geir Dahl, Geir Storvik, and Alice Fadnes
- Large-scale integer programs
in image analysis;
research report 262, May 1998.
- Geir Dahl
- Majorization, polyhedra and
statistical testing problems;
research report 240, February 1997.
- --
- Matrix majorization;
research report 263, June 1998.
- --
- A note on nonnegative diagonally dominant
matrices;
research report 269, April 1999.
- --
- Notes on polyhedra associated
with hop-constrained paths;
research report 256, December 1997.
- --
- Stable set polytopes for a class
of circulant graphs;
research report 249, May 1997.
- --
- The 2-hop spanning tree problem;
research report 250, September 1997.
- Ole-Johan Dahl and Bjørn Kristoffersen
- On introducing high order functions in ABEL;
research report 210, December 1995.
- Ole-Johan Dahl and Olaf Owe
- On the use of subtypes in ABEL;
research report 206 (revised version), October 1995.
- Ilan Eini, Vera Goebel and Bjørn Skjellaug
- A temporal data model for
multimedia database systems;
research report 252, May 1997.
- Ellen Hisdal
- Infinite-valued logic based
on two-valued logic and probability; part 1.3: Reference
experiments and label sets;
research report 147, March 1996.
- --
- Infinite-valued logic based
on two-valued logic and probability; part 1.4: The TEE model
for grades of membership;
research report 148, March 1996.
- --
- Logical structures for
representation of knowledge and uncertainty;
September 1997.
- Dimitris Kugiumtzis and Nils Christophersen
- State space reconstruction:
method of delays vs singular spectrum approach;
research report 236, February 1997.
- Frode B Nilsen
- GMSim: A generalized semi-Markov
simulation environment;
research report 258, April 1998.
- --
- Queuing systems:
Modeling, analysis and simulation;
research report 259, April 1998.
- Bjørn Skjellaug and Arne-Jørgen Berre
- Multi-dimensional time
support for spatial data models;
research report 253, May 1997.
- Bjørn Skjellaug
- A formal comparison of
ADT-based dimensional query languages;
research report 276, September 1999.
- --
- Temporal data:
time and object databases;
research report 245, April 1997.
- --
- Temporal data:
time and relational databases;
research report 246, April 1997.
- Marco Temperini
- Specialization inheritance
and specialization bounded polymorphism;
research report 226, December 1996.
Last update made 2006/09/28 by
Dag Langmyhr