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 ...

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, ...

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 ...

As originally published by John Wiley & Sons, Ltd.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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. ...

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 ...

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 ...

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 ...

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 ...

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, ...

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

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 ...

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 : : ...

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 ...

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 ...

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 ...

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 ...

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.

to appear in Proc. IEEE Ultrasonics Symp., San Antonio, Texas, November 1996

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 ...

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 ...

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, ...

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 ...

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” 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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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. ...

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 ...