• 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-100 of 128

  • 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, ...
From paper to digital documents : Challenging and improving the SGML approach 
Sandahl, Tone Irene (Doctoral thesis / Doktoravhandling, 1999)
This research has been initiated on the basis of practical experiences in developing a relatively large SGML system at the University of Oslo. This thesis contributes to the field of information systems, with a particular ...
High resolution beamforming of SIMRAD EM3000 bathymetric multibeam sonar data 
Rønhovde, Are (Master thesis / Hovedoppgave, 1999)
Originally, beamforming meant forming the transmit beam for some purpose. Today, we use the word beamforming both for the transmit – and the receive beam. The beam is simply the mainlobe of the array’s radiation – or ...
Automatisk feilhåndtering i kommunikasjonssystemer ved hjelp av Bayesnettverk og mønstergjenkjenningsmetoder 
Granmo, Ole-Christoffer (Master thesis / Hovedoppgave, 1999)
Simulering av puls-ekko felter fra tynnede array 
Henriksen, Stian (Master thesis / Hovedoppgave, 1999)
Elektronisk handel : endringer i organisasjon, teknologi og kundeforhold 
Andersen, Rasmus (Master thesis / Hovedoppgave, 1999)
Future organizational design : the scope for the IT-based enterprise 
Groth, Lars (Book / Bok / PublishedVersion; Peer reviewed, 1999)
As originally published by John Wiley & Sons, Ltd.
Lokalisering av multistråle sonarfotavtrykk med todimensjonale bildebehandlingsmetoder 
Thielemann, Jens Toivo Berger (Master thesis / Hovedoppgave, 1999)
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 ...
Distribuert fellesminne i software over SCI 
Spjelkavik, Henning (Master thesis / Hovedoppgave, 1999)
Denne oppgaven diskuterer utnyttelse av SCI i et system for distribuert fellesminne implementert i software. Foruten å benytte SCI som et medium for rask meldingsutveksling, er også muligheten for å skrive direkte til ...
Bruk av mobile agenter til vedlikehold i distribuerte systemer 
Jahr, Per Thomas (Master thesis / Hovedoppgave, 1999)
Computer support for distributed collaborative learning : exploring a complex problem area 
Fjuk, Annita (Doctoral thesis / Doktoravhandling, 1998)
This doctorate thesis is an exploratory study of distributed and computer-mediated collaborative learning. The work lies in the intersection of the research domains: Computer Support for Collaborative Learning (CSCL) and ...
divide et impera : a computational framework for verifying object component substutability 
Nordhagen, Else K. (Doctoral thesis / Doktoravhandling, 1998)
This thesis presents a formal model of object-oriented concepts; in particular we focus on the concepts found useful by experienced designers of reusable software components. The value of the formal model is shown by ...
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)
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. ...
Pasientjournalen som infrastruktur : et CASE-studie ved Rikshospitalet 
Dahl, Karl Ivar (Master thesis / Hovedoppgave, 1998)
Helt siden midten av 60-tallet har man forsøkt å lage elektroniske pasientjournaler,men arbeidet har vist seg å være overraskende vanskelig. I dag beskrives en elektronisk journal fortsatt som en fremtidsvisjon for de ...
Two approaches to hyphenating Norwegian 
Kristensen, Terje; Langmyhr, Dag (Journal article / Tidsskriftartikkel, 1998)
This paper describes some of the problems encountered when trying to hyphenate Norwegian automatically. Two particular approaches are described and compared: the TEX algorithm and the neural network program developed at ...
Første ordens teorier og grunnleggende rekursjonsteori : 2. utg. 
Kristiansen, Lars (Series issue / Seriehefte, 1998)
Optimering av tynnede arrayer : anvendt og industriell matematikk (AIM) 
Hopperstad, Jon-Fredrik (Master thesis / Hovedoppgave, 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 ...
Spatio-temporal database support for legacy applications 
Böhlen, Michael; Jensen, Christian S.; Skjellaug, Bjørn (Research report / Forskningsrapport, 1998)
The coarray of sparse arrays with minimum sidelobe level 
Hopperstad, Jon-Fredrik; Holm, Sverre (Journal article / Tidsskriftartikkel, 1998)
Sparse arrays provide a large aperture with few elements. Through an exhaustive search of all possible thinning patterns for small linear sparse arrays, the Fourier properties of arrays with optimal coarray properties are ...
Linear and nonlinear propagation of limited diffraction beams 
Synnevåg, Johan-Fredrik (Master thesis / Hovedoppgave, 1998)
PQ-trees and maximal planarization : an approach to skewness 
Vollen, Gørril (Master thesis / Hovedoppgave, 1998)
Fra produkt til tjeneste i dokumentbaserte IS : perspektiver og utfordringer 
Markussen, Atle Holmer (Master thesis / Hovedoppgave, 1998)
Taking articulation seriously : an activity theoretical approach 
Fjuk, Annita; Smørdal, Ole; Nurminen, Markku I. (Journal article / Tidsskriftartikkel, 1998)
All work needs to be articulated in terms of “Who should do what, how, when and where”, and this becomes more complicated as more actors are involved. The use of computers in cooperative work implies new needs for articulations ...
Brukermedvirkning i konsulentvirksomhet : hva er brukernes rolle? 
Myhre, Øystein (Master thesis / Hovedoppgave, 1997)
Temporal Data: Time and Object Databases 
Skjellaug, Bjørn (Research report / Forskningsrapport, 1997)
Video on the World Wide Web : accessing video from WWW browsers 
Huseby, Sverre H. (Master thesis / Hovedoppgave, 1997)
Full custom implementation of a high performance input buffered switch architecture 
Østby, Joar Martin (Doctoral thesis, Research report / Doktoravhandling, Forskningsrapport, 1997)
A Temporal Data Model for Multimedia Database Systems 
Goebel, Vera; Skjellaug, Bjørn; Ilan, Eini (Research report / Forskningsrapport, 1997)
Notes on polyhedra associated with hop-constrained paths 
Dahl, Geir (Research report / Forskningsrapport, 1997)
Høyoppløselige stråleformingsmetoder : en sammenligning av stråleformingsmetoder ved parametrisk estimering 
Dahl, Kjetil (Master thesis / Hovedoppgave, 1997)
Sammendrag Denne hovedoppgaven er et resultat av et ønske fra Sverre Holm og Nils Christophersen om å få mer kunnskap om egenskapene til de høyoppløselige parametriske stråleformingsmetodene MUSIC og ESPRIT. Både forskjeller ...
Simulation and visualization of ultrasound fields 
Epasinghe, Kapila (Master thesis / Hovedoppgave, 1997)
Focusing of ultrasound beams 
Gohari, Hossein J. (Master thesis / Hovedoppgave, 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, ...
Temporal Data: Time and Relational 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)
Synthetic aperture methods for medical ultrasonic imaging 
Yao, Hongxia (Master thesis / Hovedoppgave, 1997)
Classifying approaches to object-oriented analysis of work with activity theory 
Smørdal, Ole (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1997)
There is a need to use object orientation to analyse work practices. This should be done based on a social theory on how computers mediate the work arrangement. This paper presents a conceptual framework based on activity ...
Real-time 3D medical ultrasound : signal processing challenges 
Holm, Sverre (Journal article / Tidsskriftartikkel, 1997)
Real-time 2D ultrasound systems are used routinely in every hospital and are a huge success both technically and commercially. This paper discusses the signal processing problems that needs to be tackled in order to move ...
Gjenbruk av eksisterende edb-systemer realisert gjennom distribusjon 
Moe, Kristoffer (Master thesis / Hovedoppgave, 1997)
Weight- and layout-optimized sparse arrays 
Holm, Sverre; Elgetun, Bjørnar; Dahl, Geir (Journal article / Tidsskriftartikkel, 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)
StarTEX : a TEX for Beginners 
Langmyhr, Dag (Journal article / Tidsskriftartikkel, 1996)
This article describes StarTEX, a new TEX format for students writing their first report and other novice users. Its aim is to provide a simpler and more robust tool for users with no previous knowledge of TEX and LATEX.V
Simulation on 3D acoustic fields on a concurrent computer 
Epasinghe, Kapila; Holm, Sverre (Journal article / Tidsskriftartikkel, 1996)
In this paper. we present a method used to calculate the acoustic field created by a transducer. A parallel computer network was used to elaborate the effectiveness of the direct calculation of the Rayleigh Integral.
ODL-M : a mapping language for schema integration in object-oriented multidatabase systems 
Kindingstad, Steinar A. (Master thesis / Hovedoppgave, 1996)
Numerisk løsing av partiell differensiallikning for akustiske bølger i tre dimensjoner 
Danenbarger, Stian G. (Master thesis / Hovedoppgave, 1996)
Sammendrag Oppgaven innledes med en innføring i noen grunnleggende begreper innen akustikken,og nevner noen fundamentale relasjoner og karakteristiske fenomener.En gjennomgang av publiserte eksempler på bruk av matematisk ...
Curve approximation and constrained shortest path problems 
Dahl, Geir; Realfsen, Bjørnar (Research report / Forskningsrapport, 1996)
Optimization of response from 2D arrays for medical ultrasound 
Elgetun, Bjørnar (Master thesis / Hovedoppgave, 1996)
Approximation of Bessel beams with annular arrays 
Holm, Sverre; Jamshidi, Hossein (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1996)
to appear in Proc. IEEE Ultrasonics Symp., San Antonio, Texas, November 1996
StarTeX - a TeX for beginners 
Langmyhr, Dag (Journal article / Tidsskriftartikkel, 1996)
World Wide Web i offentlig tjenesteyting : dokumentasjon av en tidlig innføringsprosess 
Johansen, Bent Østebø; Myklebust, Bjørn Magnar (Master thesis / Hovedoppgave, 1996)
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 : : ...
Soft object analysis : a modelling approach for analysis of interdependent work practices 
Smørdal, Ole (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 1996)
There is an increasing need for analysing problematic situations and creating visions for computer systems that are getting used as means of communication and coordination of work in and between work practices in an ...
Electronic documents, organisation and technology : a case study 
Rosenvold, J. Kristian (Master thesis / Hovedoppgave, 1996)
This thesis is about document systems used in public case processing work. It explores the subject of documents in document production and handling systems. Through a case study, I explore the role of the genre of a specific ...
Weak k-majorization and polyhedra 
Dahl, Geir; Margaut, Francois (Research report / Forskningsrapport, 1996)
Human work as context for development of object oriented modelling techniques 
Kaasbøll, Jens Johan; Smørdal, Ole (Journal article / Tidsskriftartikkel, 1996)
Computer systems are increasingly being used for communication and coordination of work, while object-oriented modelling techniques aim at modelling the problem domain of the computer system. Current techniques have been ...
Specifying algorithms using evolving algebra : implementation of functional programming languages 
Diesen, Dag (Doctoral thesis / Doktoravhandling, 1995)
Hypertext transfer protocol og World Wide Web 
Diesen, Dag (Conference object / Konferansebidrag, 1995)
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 ...
Adaptiv støykansellering av egenstøy på sonar 
Haug, Jens Kristian (Master thesis / Hovedoppgave, 1995)
Denne hovedfagsoppgaven er basert på et reelt problem ved den parametriske sonaren på Forsvarets Forskningsinstitutts forskningsskip H. U. Sverdrup. Sonarens mottakende frekvensområde 500-5000Hz er overlagret med ...
Tidsstempelbasert synkronisering i distribuerte, objektorienterte systemer 
Hoel, Christer (Master thesis / Hovedoppgave, 1995)
Kohonens selvorganiserende nevrale nett i analog VLSI 
Keus, Jan Erik B. (Master thesis / Hovedoppgave, 1995)
Towards incorporating computer applications in cooperative work arrangements : an activity theoretical approach 
Fjuk, Annita; Sandahl, Tone Irene; Smørdal, Ole (Journal article / Tidsskriftartikkel, 1995)
Criticality conditions on equations to ensure poly-time functions 
Caseiro, Vuokko-Helena (Research report / Forskningsrapport, 1995)
Simulating SCI and SCI/RT in Simula 
Bakke, Bjørn (Master thesis / Hovedoppgave, 1995)
Dimensjonsestimering fra elektroencefalogrammer (EEG) 
Madsen, Hilde (Master thesis / Hovedoppgave, 1995)
Programverktøy og algoritmer for automatisk utlegg av transistorer 
Asheim, Dag (Master thesis / Hovedoppgave, 1995)
Første ordens teorier og grunnleggende rekursjonsteori 
Kristiansen, Lars (Series issue / Seriehefte, 1995)
Medical ultrasound transducers and beamforming 
Holm, Sverre (Journal article / Tidsskriftartikkel, 1995)
Kompendium 
Unknown author (Series / Serietittel, 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, ...
A method to optimize weighting of general planar arrays 
Elgetun, Bjørnar; Holm, Sverre (Research report / Forskningsrapport, 1995)
State space reconstruction parameters in the analysis of chaotic time series : the role of the time window length 
Kugiumtzis, Dimitris (Journal article / Tidsskriftartikkel / SubmittedVersion, 1995)
Knowledge from the inside and outside in participative development and research on participative development 
Kaasbøll, Jens Johan (Journal article / Tidsskriftartikkel / AcceptedVersion, 1995)
When trying to learn about a group of users, a researcher will interpret their behaviour on her or his own background, achieving an outside understanding. Inside understanding means to know how the people ...
Lifetime dependency : an abstraction relation for modelling roles, symbolic substance, and relations with attributes 
Kaasbøll, Jens; Motschnig-Pitrik, Renate (Journal article / Tidsskriftartikkel, 1995)
Techniques for analysis aim at diminishing the gap between users' concepts of the problem domain of computer systems and the computers' requirements for algorithmic and structural precision. This paper aims at improving ...
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 ...
Umiddelbart brukbare systemer : hjelp for oppgaver som utføres sporadisk 
Saastad, Erik (Master thesis / Hovedoppgave, 1995)
SCI-systemer med HIC som transportmedium 
Waadeland, Thomas (Master thesis / Hovedoppgave, 1995)
BPR og endring av organisasjoner : utløsende faktorer, mål og virkemidler i Business Process Re-engineering, systemutvikling og organisasjonsutvikling 
Dahlen, Jon Erlend (Master thesis / Hovedoppgave, 1995)
Simulation of acoustic fields from medical ultrasound transducers of arbitrary shape 
Holm, Sverre (Journal article / Tidsskriftartikkel, 1995)
A cutting plane algorithm for multicomoodity survivable network design problems 
Dahl, Geir; Stoer, Mechthild (Research report / Forskningsrapport, 1995)
Deteksjon av grunntoner i analog VLSI 
Sommerseth, Ørjan (Master thesis / Hovedoppgave, 1995)
Generalisert algebraisk spesifikasjon med en anvendelse på indirekte semantikk 
Hannay, Jo Erskine (Master thesis / Hovedoppgave, 1995)
Abstract of M.Sc. thesis Jo Erskine Hannay; August 1, 1995 The thesis deals with topics in the field of formal abstract specification and verification of pro-grams,particularly within the framework of algebraic methods ...
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 ...
Chaotic time series : Part II: System identification and prediction 
Lillekjendlie, Bjørn; Kugiumtzis, Dimitris; Christophersen, Nils D. (Journal article / Tidsskriftartikkel / SubmittedVersion, 1994)
This paper is the second in a series of two, and describes the current state of the art in modelling and prediction of chaotic time series. Sampled data from deterministic non-linear systems may look stochastic when ...
Estimation model for kinematic calibration of manipulators with a parallel structure 
Kugiumtzis, Dimitris; Lillekjendlie, Bjørn (Journal article / Tidsskriftartikkel / SubmittedVersion, 1994)
This article provides an estimation model for calibrating the kinematics of manipulators with a parallel geometrical structure. Parameter estimation for serial link manipulators is well developed, but fail for most structures ...
Managing Change in Information Systems : technological challenges 
Sjøberg, Dag I.K. (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1994)
Information systems and other computer-based systems must continuously undergo change in order to reflect change in their environments. The present technology used to implement such systems, including models, methods, tools ...
Fast and exact computation of moments using discrete Green's theorem 
Yang, Luren; Albregtsen, Fritz (Journal article / Tidsskriftartikkel, 1994)
Green's theorem evaluates a double integral over the region of an object by a simple integration along the boundary of the object. It has been used in moment computation since the shape of a binary object is totally ...
Low-power stochastic arithmetic feed-forward neural network 
Ruth, Jon-Erik (Master thesis / Hovedoppgave, 1994)
Numerical solution of the pressure equation in a simple model of aluminium DC-casting 
Shen, Wen (Master thesis / Hovedoppgave, 1994)
Nonlinear empirical modeling using local PLS models 
Aarhus, Lars Thore (Master thesis / Hovedoppgave, 1994)
This thesis proposes some new iterative local modeling algorithms for the multivariate approximation problem (mapping from R P to R). Partial Least Squares Regression (PLS)is used as the local linear modeling technique. ...
Analysing Persistent Language Applications 
Sjøberg, Dag I.K.; Cutts, Quintin; Welland, Ray; Atkinson, Malcolm P. (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1994)
Most research into persistent programming has been directed towards the design and implementation of languages and object stores. There are few reports on the characteristics of systems exploiting such technology. This ...
  • «
  • 1
  • 2
  • »
 
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 (11)1998 (17)1997 (20)1996 (16)1995 (27)1994 (24)1993 (7)1992 (2)1990 (4)Document TypeHovedoppgave (52)Forskningsrapport (34)Tidsskriftartikkel (25)Bokkapittel (6)Doktoravhandling (5)Serietittel (3)Seriehefte (2)... View MoreAuthorDahl, Geir (12)Holm, Sverre (10)Sjøberg, Dag I.K. (6)Skjellaug, Bjørn (6)Kugiumtzis, Dimitris (5)... View MorePeer ReviewedPeer reviewed (9)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy