• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • 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 3001-3090 of 3090

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
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)
Notes on polyhedra associated with hop-constrained paths 
Dahl, Geir (Research report / Forskningsrapport, 1997)
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)
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.
Optimization of response from 2D arrays for medical ultrasound 
Elgetun, Bjørnar (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 ...
ODL-M : a mapping language for schema integration in object-oriented multidatabase systems 
Kindingstad, Steinar A. (Master thesis / Hovedoppgave, 1996)
Curve approximation and constrained shortest path problems 
Dahl, Geir; Realfsen, Bjørnar (Research report / Forskningsrapport, 1996)
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
Minimum sidelobe energy versus minimum peak sidelobe level for sparse array optimization 
Holm, Sverre (Research report / Forskningsrapport, 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 ...
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 ...
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 ...
Weak k-majorization and polyhedra 
Dahl, Geir; Margaut, Francois (Research report / Forskningsrapport, 1996)
Specifying algorithms using evolving algebra : implementation of functional programming languages 
Diesen, Dag (Doctoral thesis / Doktoravhandling, 1995)
Programverktøy og algoritmer for automatisk utlegg av transistorer 
Asheim, Dag (Master thesis / Hovedoppgave, 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)
Første ordens teorier og grunnleggende rekursjonsteori 
Kristiansen, Lars (Series issue / Seriehefte, 1995)
Dimensjonsestimering fra elektroencefalogrammer (EEG) 
Madsen, Hilde (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)
Medical ultrasound transducers and beamforming 
Holm, Sverre (Journal article / Tidsskriftartikkel, 1995)
Kohonens selvorganiserende nevrale nett i analog VLSI 
Keus, Jan Erik B. (Master thesis / Hovedoppgave, 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)
Kompendium 
Unknown author (Series / Serietittel, 1995)
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, ...
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 ...
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)
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)
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)
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 ...
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 ...
Software constraint models : a means to improve maintainability and consistency 
Sjøberg, Dag I.K. (Journal article / Tidsskriftartikkel, 1994)
As application systems live longer and grow in size and complexity, there is an ever increasing need for methodologies, models and tools that can aid software builders in developing maintainable, correct and consistent ...
Bevissystemer for prosesser med felles variable 
Asheim, Kari (Master thesis / Hovedoppgave, 1994)
The good, the bad, and the unusual in computer assisted learning : a computer science teacher's experiences with the PC as a teaching tool by developing CAL for vocational training in industry for 6 years 
Arisland, Kjell Øystein (Journal article / Tidsskriftartikkel, 1994)
Design of sparse and non-equally spaced arrays for medical ultrasound 
Erstad, Jan Ove (Master thesis / Hovedoppgave, 1994)
A CMOS Analog Hopfield Net with Local Adaption and Storage of Weights 
Abusland, Aanen (Master thesis / Hovedoppgave, 1994)
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 ...
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 ...
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 ...
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 ...
Preprint (Universitetet i Oslo, Institutt for informatikk) 
Unknown author (Series / Serietittel, 1994)
Polyhedra and optimization in connection with a weak majorization ordering 
Dahl, Geir (Research report / Forskningsrapport, 1994)
An image analysis system for measuring shape and motion of white blood cells from a sequence of fluorescence microscopy images 
Yang, Luren (Master thesis / Hovedoppgave, 1994)
Terminering av typeordnet omskriving 
Ølveczky, Peter Csaba (Master thesis / Hovedoppgave, 1994)
Methods to estimate areas and perimeteres of blob-like objects : a comparison 
Yang, Luren; Albregtsen, Fritz; Lønnestad, Tor; Grøttum, Per (Journal article / Tidsskriftartikkel, 1994)
The area and the perimeter of a planar object are two useful features to describe the shape of the object, and again the motion of it. This paper deals with the estimation of the two features from a discrete binary image. ...
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 ...
Laveffekt CMOS pulsdetektor 
Salomonsen, Morten (Master thesis / Hovedoppgave, 1994)
An analog neural network with on-chip learning 
Sigvartsen, Roy Ludvig (Master thesis / Hovedoppgave, 1994)
Digital beamforming in ultrasound imaging 
Holm, Sverre (Journal article / Tidsskriftartikkel, 1994)
In medical ultrasound imaging, beam control methods such as dynamic focusing, and dynamic aperture and weighting give a need for more flexible control over the receive beam. In addition the desire to increase acquired ...
Chaotic time series : Part 1: estimation of some invariant properties in state space 
Kugiumtzis, Dimitris; Lillekjendlie, Bjørn; Christophersen, Nils D. (Journal article / Tidsskriftartikkel / SubmittedVersion, 1994)
Certain deterministic non-linear systems may show chaotic behaviour. Time series derived from such systems seem stochastic when analyzed with linear techniques. However, uncovering the deterministic structure is important ...
Topologies for SCI-based systems with up to a few hundred nodes 
Hulaas, Trond Ivar; Bothner, John Weding (Master thesis / Hovedoppgave, 1993)
Quantifying schema evolution; 
Sjøberg, Dag I.K. (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 1993)
Achieving correct changes is the dominant activity in the application software industry. Modification of database schemata is one kind of change which may have severe consequences for database applications. The paper ...
Managing change in persistent object systems 
Sjøberg, Dag I.K.; Atkinson, Malcolm P.; Morrison, Ronald (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1993)
Persistent object systems are highly-valued technology because they o er an e ec- tive foundation for building very long-lived persistent application systems (PAS). The technology becomes more e ective as it o ers a more ...
Building an integrated persistent application 
Sjøberg, Dag I.K.; Atkinson, Malcolm P.; Lopes, Joao; Trinder, Phil (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 1993)
The major motivation for database programming language (DBPL) research is to facilitate the construction and maintenance of large dataintensive applications. To fully bene t from DBPLs, supporting methodologies and tools ...
Virtuelle fonter og norsk orddeling i LATEX 
Thoresen, Lars Gunnar (Master thesis / Hovedoppgave, 1993)
Denne hovedfagsoppgaven tar for seg to forskjellige emner, begge relatert til dokumentproduksjonssystemet LATEX. Del I tar for seg virtuelle fonter, og del II tar for seg norsk orddeling. LATEX,som er et påbygg på TEX, ...
Implementasjon av et kompleksitetsmål 
Ryan, Stein Jørgen (Master thesis / Hovedoppgave, 1993)
Analog correlators for CMOS signal processing 
Nesheim, John Arne (Master thesis / Hovedoppgave, 1993)
Integrert optoelektronisk mottagersystem 
Larsen, Morten (Master thesis / Hovedoppgave, 1992)
Kontinuerlig "backpropagation" nett i analog VLSI 
Soelberg, Knut (Master thesis / Hovedoppgave, 1992)
Research report 
Unknown author (Series / Serietittel, 1990)
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)
Edb-basert kommunikasjon i fjernundervisningen : Et forsøk ved NKS Høgskole våren 1989 
Jenssen, Astrid; Fjuk, Annita (Master thesis / Hovedoppgave, 1990)
Målet med oppgaven var å undersøke hvordan fjernundervisning og datakonferansesystemer (DKS) kan kombineres, og danne et nytt fjernundervisningskonsept. Utfordringer her lå i å finne ut hvilke tilpasninger som bør gjøres ...
Avskjærings- og søkestrategier i system for automatisk bevisføring 
Diesen, Dag (Master thesis / Hovedoppgave, 1988)
Forskningsprogrammet SYDPOL : system development environment and profession oriented languages 
Kaasbøll, Jens Johan (Research report / Forskningsrapport, 1983)
SYDPOL er et kunnskapsutviklingsprogram som baseres på nasjonalt prioriterte og finansierte utviklingsprosjekter. Deltakere er både forskere innen fagområdene systemutvikling, systemutviklingsomgivelser og dataspråk, innen ...
The original MVC reports 
Reenskaug, Trygve Mikjel H (Research report / Forskningsrapport, 1979)
I made the first implementation and wrote the original MVC reports while I was a visiting scientist at Xerox Palo Alto Research Laboratory (PARC) in 1978/79. MVC was conceived as a general solution to the problem of users ...
Administrative control in the shipyard 
Reenskaug, Trygve Mikjel H (Chapter / Bokkapittel / SubmittedVersion, 1973)
The organisation of a yard may be strongly influenced by the information system it takes into use. The converse should also be true: Systems development should be subordinated the desired evolution of the organisation. The ...
Fuzzing analysis: Evaluation of properties for developing a feedback driven fuzzer tool 
Gundersen, Kris
  • «
  • 1
  • . . .
  • 28
  • 29
  • 30
  • 31
 
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 CommunityBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued2010 - 2019 (1850)2000 - 2009 (1107)1990 - 1999 (128)1980 - 1989 (2)1973 - 1979 (2)Document TypeMasteroppgave (1826)Hovedoppgave (456)Tidsskriftartikkel (328)Doktoravhandling (157)Bokkapittel (152)Forskningsrapport (148)Gruppeoppgave (79)... View MoreAuthorHovig, Eivind (36)Tørresen, Jim (31)Rognes, Torbjørn (29)Culén, Alma Leora (24)Jensenius, Alexander Refsum (22)... View MorePeer ReviewedPeer reviewed (439)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy