• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-34 of 34

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
A note on nonnegative diagonally dominant matrices 
Dahl, Geir (Research report / Forskningsrapport, 1999)
We make some observations concerning the set C*n of real nonnegative, symmetric and diagonally dominant matrices of order n. This set is a convex cone and we determine its extreme rays. From this we derive different results, ...
A formal comparison of ADT-based dimensional query languages 
Skjellaug, Bjørn (Research report / Forskningsrapport, 1999)
This paper investigates and formally compares the expressive power of dimensional (i.e., spatial, temporal, and spatio-temporal) query languages, where the dimensional extensions are supported in terms of ADTs (abstract ...
Large scale integer programs in image analysis 
Dahl, Geir; Storvik, G.; Fadnes, A. (Research report / Forskningsrapport, 1998)
An important problem in image analysis is to segment an image into regions with different class-labels. This is releveant in applications in medicine and cartography. In a proper statistical framework this problem may be ...
Two approaches to hyphenating Norwegian 
Kristensen, Terje; Langmyhr, Dag (Research report / Forskningsrapport, 1998)
Spatio-temporal database support for legacy applications 
Böhlen, Michael; Jensen, Christian S.; Skjellaug, Bjørn (Research report / Forskningsrapport, 1998)
Queuing systems : modeling, analysis and simulation 
Nilsen, Frode B. (Research report / Forskningsrapport, 1998)
This document gives an overview the standard methods used to model and analyze the performance of queuing systems. This includes both analytical techniques and simulation methodology. Simulation must be used when the ...
GMSim : a generalized semi-Markov simulation environment 
Nilsen, Frode B. (Research report / Forskningsrapport, 1998)
A discrete-event simulation environment, called GMSim, based on the generalized semi-Markov process (GSMP) framework is described. The tool is completely generic and extendible by Tcl script programming. Application specific ...
Matrix majorization 
Dahl, Geir (Research report / Forskningsrapport, 1998)
We study the concept matrix majorization: for two real matrices A and B having m rows we say that A majorizes B if there is a row-stochastic matrix X with AX = B. A special case is classical notion of vector ma- jorization. ...
Full custom implementation of a high performance input buffered switch architecture 
Østby, Joar Martin (Doctoral thesis, Research report / Doktoravhandling, Forskningsrapport, 1997)
Temporal Data: Time and Object Databases 
Skjellaug, Bjørn (Research report / Forskningsrapport, 1997)
The 2-hop spanning tree problem 
Dahl, Geir (Research report / Forskningsrapport, 1997)
Given a graph G with a specified root node r. A spanning tree in G where each node has distance at most 2 from r is called a 2-hop spanning tree. For given edge weights the 2-hop spanning tree problem is to find a minimum ...
Majorization, polyhedra and statistical testing problems 
Dahl, Geir (Research report / Forskningsrapport, 1997)
State space reconstruction : method of delays vs singular spectrum approach 
Kugiumtzis, Dimitris; Christophersen, Nils D. (Research report / Forskningsrapport, 1997)
The analysis of chaotic time series requires proper reconstruction of the state space from the available data in order to successfully estimate invariant properties of the embedded attractor. Using the correlation dimension, ...
A Temporal Data Model for Multimedia Database Systems 
Goebel, Vera; Skjellaug, Bjørn; Ilan, Eini (Research report / Forskningsrapport, 1997)
Temporal Data: Time and Relational Databases 
Skjellaug, Bjørn (Research report / Forskningsrapport, 1997)
Multi-dimensional Time Support for Spatial Data Models 
Skjellaug, Bjørn; Berre, Arne-Jørgen (Research report / Forskningsrapport, 1997)
Stable set polytopes for a class of circulant graphs 
Dahl, Geir (Research report / Forskningsrapport, 1997)
Notes on polyhedra associated with hop-constrained paths 
Dahl, Geir (Research report / Forskningsrapport, 1997)
Specialization inheritance and specialization bounded polymorphism 
Temperini, Marco (Research report / Forskningsrapport, 1996)
We de ne a specialization inheritance mechanism for object-oriented programming, admitting covariant rede nition of both methods and instance variables in subclassing. We investigate on the semantic weakness that makes ...
Minimum sidelobe energy versus minimum peak sidelobe level for sparse array optimization 
Holm, Sverre (Research report / Forskningsrapport, 1996)
An equational characterization of the poly-time functions on any constructor data structure 
Caseiro, Vuokko-Helena (Research report / Forskningsrapport, 1996)
We give a purely syntactical, equational characterization of the poly-time functions on any constructor data structure (free algebra). The equations defining a function f have the shape of simple patterns: (f (c y1 : : ...
Curve approximation and constrained shortest path problems 
Dahl, Geir; Realfsen, Bjørnar (Research report / Forskningsrapport, 1996)
Weak k-majorization and polyhedra 
Dahl, Geir; Margaut, Francois (Research report / Forskningsrapport, 1996)
On introducting the high order functions in ABEL 
Dahl, Ole-Johan; Kristoffersen, Bjørn (Research report / Forskningsrapport, 1995)
We discuss how the 1'st order specification and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and defined ...
A method to optimize weighting of general planar arrays 
Elgetun, Bjørnar; Holm, Sverre (Research report / Forskningsrapport, 1995)
On the use of subtypes in ABEL 
Dahl, Ole-Johan; Owe, Olaf (Research report / Forskningsrapport, 1995)
ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, ...
Criticality conditions on equations to ensure poly-time functions 
Caseiro, Vuokko-Helena (Research report / Forskningsrapport, 1995)
Abstraction and concretizing in information systems and problem domains : implications for system descriptions and theoretical frameworks 
Kaasbøll, Jens Johan (Research report / Forskningsrapport, 1995)
“Abstraction” is used both for denoting relations in the problem domain of an information system, and for denoting relations inside software and hardware of a computer. This calls for a clarification of the concept, such ...
A cutting plane algorithm for multicomoodity survivable network design problems 
Dahl, Geir; Stoer, Mechthild (Research report / Forskningsrapport, 1995)
Object-oriented models of functionally integrated computer systems 
Kaasbøll, Jens (Research report / Forskningsrapport, 1994)
Functional integration is the compatibility between the structure, culture and competence of an organization and its computer systems, specifically the availability of data and functionality and the consistency of user ...
Polyhedra and optimization in connection with a weak majorization ordering 
Dahl, Geir (Research report / Forskningsrapport, 1994)
SA++ : how to bring organizational aspects into teaching analysis and design 
Kaasbøll, Jens (Research report / Forskningsrapport, 1994)
Because of the close connection between computer systems and organizations, organizational aspects should be taught in system development courses. Dataflow diagramming is a frequently taught technique that can model formal ...
Infinite-valued logic based on two-valued logic and probability : part 1.4. the TEE model for grades of membership 
Hisdal, Ellen (Research report / Forskningsrapport, 1990)
Infinite-valued logic based on two-valued logic and probability : part 1.3. Reference experiments and label set 
Hisdal, Ellen (Research report / Forskningsrapport, 1990)
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued1999 (2)1998 (6)1997 (10)1996 (5)1995 (6)1994 (3)1990 (2)Document Type
Forskningsrapport (34)
Doktoravhandling (1)AuthorDahl, Geir (11)Skjellaug, Bjørn (6)Caseiro, Vuokko-Helena (2)Dahl, Ole-Johan (2)Hisdal, Ellen (2)... View More
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy