Search
Now showing items 301-400 of 4944
(Master thesis / Masteroppgave, 2012)
Database management systems have traditionally been implemented entirely in software. However, adding hardware to database cluster servers to gain more speed has its price. Firstly, the cost of the hardware itself, secondly ...
(Master thesis / Masteroppgave, 2012)
In today's distributed computing environment where computer networks and Internet are convenient medium of communication and information exchange, security is becoming more and more of an issue. Security in computer networks ...
(Journal article / Tidsskriftartikkel / SubmittedVersion, 2009)
Conditional inference plays a central role in logical and Bayesian reasoning, and is used in a wide range of applications. It basically consists of expressing conditional relationship between parent and child propositions, ...
(Master thesis / Masteroppgave, 2014)
This thesis develops a method of qualitative spatial reasoning based on the spatial semantics of Stephen C. Levinson. Levinson's semantics concern projective relations in natural language, which thus become the focus of ...
(Master thesis / Masteroppgave, 2013)
An implementation of ISO 15926-8 compliant Installation Descriptions must comply with a set of quality criteria to verify typing, literals, subclasses, part 8 adherence and be a conservative extension of ISO 15926-8. The ...
(Research report / Forskningsrapport, 2011)
We present an effect based static analysis to calculate upper and lower bounds on the memory resource consumption in a transactional calculus. The calculus is a concurrent variant of Featherweight Java extended by transactional ...
(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 ...
Reproduserbarhet i bioinformatikk: Et case study av batch-korrigeringsverktøyet ComBat Restricted Access
(Master thesis / Masteroppgave, 2015)
Reproduserbarhet er et viktig prinsipp i den vitenskapelige metoden. I den siste tiden har mengden med ureproduserbar forskning økt. Forskere ved avdeling for Biomedisinsk Forskning ved Universitetet i Oslo har nylig avslørt ...
(Master thesis / Masteroppgave, 2013)
This thesis investigates both theory and applications of the monad in a functional setting. Monads are constructs simulating different types of computations, such as indeterminism, exception handling, stateful computations, ...
(Research report / Forskningsrapport, 2007)
Mobile Ad-Hoc Networks maintain information about reachable nodes in the routing table. In many application scenarios, human groups play an important role. This is visible at the network level as independent network ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
Background
Mammography screening is used to detect breast cancer at an early treatable stage, reducing breast cancer mortality. Traditionally, breast cancer has been seen as a disease with only progressive ...
(Research report / Forskningsrapport, 2006)
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necessary distinction between black-box and ...
(Master thesis / Masteroppgave, 2013)
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2011)
The authors present an experimental musical performance called Dance Jockey, wherein sounds are controlled by sensors on the dancer's body. These sensors manipulate music in real time by acquiring data about body actions ...
(Master thesis / Masteroppgave, 2014)
A common way to answer queries in Ontology Base Data Access (OBDA), is to divide the process into two stages. The first stage, called the ontology rewriting, deals with the ontology axioms. The second stage, called the ...
(Chapter / Bokkapittel / SubmittedVersion, 2012)
This paper contributes to the general understanding of the geometrical model of concurrency that was named higher dimensional automata (HDAs) by Pratt and van Glabbeek. In particular we provide some understanding of the ...
(Master thesis / Masteroppgave, 2013)
Swarm robotics has been proposed as a way to organise decentralised systems in which a large number of similar robots, that are autonomous and relatively simple in their behaviour, are coordinated in a way that leads to ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
Background
The ballan wrasse (Labrus bergylta) belongs to a large teleost family containing more than 600 species showing several unique evolutionary traits such as lack of stomach and hermaphroditism. ...
(Master thesis / Masteroppgave, 2020)
GroupJam: Distance Functions and Clustering Mechanisms for Scalable Active Music Systems Restricted Access
(Master thesis / Masteroppgave, 2014)
(Master thesis / Masteroppgave, 2014)
The significant improvements in throughput and quality of DNA sequencing technology have revolutionized our ability to identify the genetic sequence of human cells. High-throughput genome sequencing of tumor cells has ...
(Master thesis / Masteroppgave, 2014)
The use of multimedia streaming on the internet is increasing. With this the need for new protocols is created. The Datagram Congestion Control Protocol (DCCP) can support this better than other existing protocols like ...
(Master thesis / Masteroppgave, 2014)
Historically, the use of graphics cards for scientific computing has yielded great performance. Order-of-magnitude performance gains has been obtained over the CPU (Owens et al. 2008). This is mainly due to their massively ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2014)
There is a great amount of data on the Web, but to a large extent it is not published as linked data that computers can consume. Visual annotation tools have a considerable potential to empower end users to contribute their ...
(Research report / Forskningsrapport, 2014)
We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.
(Research report / Forskningsrapport, 2014)
(Master thesis / Masteroppgave, 2014)
Examining the benefits of adding syntactic information to a system for solving a given question answering task.
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2015)
This paper empirically explores the importance of social capital for the integration of Health Information Systems (HISs) by drawing a case study from Gujarat state of India HIS integration initiative. In light of the main ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
This paper is concerned with the design of a system that handles published research literature evaluation related to clinical DNA sequencing and analysis of genetic variants. The literature handling system is part of a ...
(Master thesis / Masteroppgave, 2014)
Video games have proven to be an interesting platform for computer scientists, as many games demand the latest technology, fast response times and effective utilization of hardware. Video games have been used both as a ...
(Master thesis / Masteroppgave, 2015)
Inspired by animals ability to learn and adapt to changes in their environment during life, hybrid evolutionary algorithms which include local optimization between generations have been developed and successfully applied ...
(Master thesis / Masteroppgave, 2014)
In recent years, there has been a growing focus on how GPUs can be utilized for general purpose computations. However, this leads to less focus on the CPU as a computational resource. As a consequence, heterogeneous computers ...
(Master thesis / Masteroppgave, 2014)
(Master thesis / Masteroppgave, 2014)
The project is all about the design, documentation and implementation of a program to perform Delaunay triangulation. The program is written in Java and is focused on performance both with regard to run-time and memory ...
(Master thesis / Masteroppgave, 2016)
(Master thesis / Masteroppgave, 2020)
(Master thesis / Masteroppgave, 2017)
This paper addresses the basic implementation and possible competitiveness of an ontology-based ranking method, that for a SPARQL query under construction, generates a ranking of likely extensions, based on a set of past ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2014)
A population-based study was performed to investigate the efficacy of mecillinam treatment of community-acquired urinary tract infections (CA-UTI) caused by extended-spectrum ß-lactamase (ESBL) producing Escherichia coli. ...
(Master thesis, Group thesis / Masteroppgave, Gruppeoppgave, 2014)
Det er satt i gang et nasjonalt program for utvikling og innføring av velferdsteknologi i de kommunale helse- og omsorgtjenestene, med hovedmål om at velferdsteknologi skal være en integrert del av helse- og omsorgstilbudene ...
(Master thesis, Group thesis / Masteroppgave, Gruppeoppgave, 2014)
The elderly population in Norway is increasing in number, and there will be a greater need for health care services and care units. The introduction of welfare technology can aid facing this challenge in order to assist ...
(Master thesis / Masteroppgave, 2014)
Cloud computing is gaining increasing popularity because of its higher scalability,more flexibility and ease of availability of its services. Cloud Computing enables service providers to build a large pool of resources to ...
(Master thesis / Masteroppgave, 2016)
Voting has traditionally been performed by casting paper ballots in public polling places. However, advancements in computer technology in the latest decades have enabled voters to cast their votes electronically. By 2016, ...
(Master thesis / Masteroppgave, 2014)
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
The rapidly increasing pervasiveness and integration of computers in human society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs to develop ...
(Master thesis / Masteroppgave, 2005)
This thesis describes the design and implementation of JavaSplitter, a
prototype incremental proof search engine based on a variable splitting sequent calculus. The prover also includes modes for variable pure derivations, ...
(Master thesis / Hovedoppgave, 2004)
An important problem in nonmonotonic reasoning is deciding what the precise beliefs of an agent might be, given an incomplete specification. The notion of a stable expansion of an autoepistemic theory is a way of capturing ...
(Conference object / Konferansebidrag, 2009)
(Master thesis / Hovedoppgave, 2005)
Ruby er et nytt og godt alternativ innenfor de skriptespråkene som finnes i dag og har nylig blitt tatt i bruk i den vestlige delen av verden. I denne oppgaven ser jeg i hovedsak på et Ruby-grensesnitt til Diffpack og på ...
(Master thesis / Hovedoppgave, 2007)
Since 1997, when the new standard for wireless data communication emerged, it has been an explosive demand for wireless enabled products. Over time more and more devices get built-in wireless capabilities in connecting to ...
(Master thesis / Masteroppgave, 2008)
The communication of risk in health is a diffcult task, with numerous pitfalls. It's important to pay attention to the environment in which the risk is communicated. By doing so, you can attempt to take control of the ...
(Master thesis / Masteroppgave, 2006)
(Master thesis / Masteroppgave, 2008)
Software engineering (SE) practitioners should consider the empirical validity of claims set forth by SE tool providers in correspondence with an Evidence-based Software Engineering approach, but to do so, empirical evidence ...
(Master thesis / Masteroppgave, 2010)
The resource closure operator is a new concept within autonomic computing that differs from other approaches in this field in that it is not based on prediction. Earlier models have an assumption that its knowldege about ...
(Master thesis / Masteroppgave, 2014)
The concept of Service Oriented Architecture, and its most common implementation method Web services, has not seen widespread use on wireless mobile systems and smart devices. NATO seeks to incorporate these communication ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2010)
In this paper, we demonstrate systems based on Spartan-6 series FPGAs that provide full support for active partial run-time reconfiguration. We will summarize design factors for successfully applying run-time reconfiguration, ...
(Master thesis / Masteroppgave, 2015)
We present an in-depth analysis of Curriculum Vitae documents consisting of unstructured text. We present a collection of Curriculum Vitae Topics with description. We introduce an ontology that gives a formal description ...
(Master thesis / Masteroppgave, 2015)
It is not a hidden fact that, in today s wireless and cellular networks, businesses and end users have clearly become dependent on mobility and the freedom of being always online. Smart phones, tablets and other devices ...
(Master thesis / Masteroppgave, 2014)
In automated home care systems (HCSs), sensor technology is employed to monitor patients, thereby aiming to reduce the workload of healthcare professionals and improving the patient s quality of life. A complex event ...
(Master thesis / Masteroppgave, 2014)
The later years have seen an increasing demand for systems that can perform fast genome-wide analyses. An important component of such a system is the data model. The data model of the Genomic HyperBrowser analysis system ...
(Doctoral thesis / Doktoravhandling, 2010)
In this thesis, the design and modeling of two micromachined systems are presented. The two devices are a novel stacked disks resonator designed for radio frequency systems and a set of microphones with released membrane ...
(Master thesis / Masteroppgave, 2013)
Construal-level theory (Trope & Liberman, 2010) states that people use increasingly higher levels of abstraction to represent a mental object, as the psychological distance to the object increases. Kanten (2011) investigated ...
(Master thesis / Masteroppgave, 2014)
(Master thesis / Hovedoppgave, 2003)
This thesis provides a baseline on which a methodology for the FreeBSD Project can be built. The three results of this thesis are:
- A descriptive "project model" for the FreeBSD Project
- A set of "quality goals" for the ...
(Master thesis / Hovedoppgave, 2004)
Oppgaven omhandler design og realisering av et datamodelleringsverktøy
for å modellere i, og oversette mellom NIAM/ORM, ER og UML. En DTD
blir lagd for å kunne representere den nøytrale modellen i
XML. XML-strukturen blir ...
(Master thesis / Masteroppgave, 2006)
In this master thesis we have investigated how to develop a web application by using free and open source tools, and how to design for flexibility in regards to software change and platform-independency. By incorporating ...
(Master thesis / Hovedoppgave, 2006)
The end-user development (EUD) community has identified the need for new technologies that support the end user in the development and modification processes of applications. This thesis suggests the use of design environments ...
(Doctoral thesis / Doktoravhandling, 2014)
A fast segmentation of tubular tree structures like vessel systems in volumetric datasets is of vital interest for many medical applications. This is especially valid for planning and navigation in catheter based interventions ...
Automatic landmark detection in 3D cardiac ultrasound images Restricted Access
(Master thesis / Masteroppgave, 2013)
Automated landmark detection is an important element of the examination and automatic analysis of 3D ultrasound images. The discovered 3D anatomical landmark points may simplify understanding of a 3D heart orientation and ...
(Master thesis / Masteroppgave, 2008)
New technology, especially mobile phones and the Internet, have an increasing influence on society. These new technologies are utensils that are becoming progressively more ubiquitous and accessible for the masses. This ...
(Master thesis / Masteroppgave, 2008)
This thesis considers the administration of virtual machines on IBM mainframes running z/VM.Asolution for administrating z/VM through a Linux VMrunning on a custom designed z/VM architecture is developed and implemented. ...
(Master thesis / Hovedoppgave, 2003)
This thesis investigates different memory types for use as a synaptic storage in a neuromorphic application for on-chip learning. Our main concern was to find a suitable implementation four this purpose. We were looking ...
(Master thesis / Masteroppgave, 2005)
This paper discusses how a PHP development toolbox can be implemented. One toolbox has been implemented, and the implementation is described and documented in the text. The toolbox is primarily meant to help students who ...
(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 ...
(Master thesis / Hovedoppgave, 1999)
(Master thesis / Hovedoppgave, 1995)
(Master thesis / Hovedoppgave, 2004)
Goal
This master thesis is a part of a RNA-project at Rikshospitalet, Oslo, Norway. The overall goal of this project is to make a general search tool for finding non-coding RNA-genes in genomic sequences. This task is ...
(Master thesis / Hovedoppgave, 2004)
Tema for denne oppgaven er videonavigasjon som samler begrepene
interaksjon, brukbarhet og digital video. Målet er å se på hvordan man
oppnår god brukbarhet ved videonavigasjon i interaktive
webapplikasjoner.
I oppgaven ...
(Master thesis / Masteroppgave, 2008)
This thesis describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high fault probability. The system under consideration is constantly ...
(Master thesis / Hovedoppgave, 2005)
For a long time IT-system maintenance has been reckoned as the largest expense attached to the IT-department, but there has been relatively little research on this subject.
This investigation looks at IT-system maintenance ...
(Master thesis / Hovedoppgave, 2002)
Denne hovedoppgaven ble påbegynt i januar 2001 ved Universitetet i Oslo, Institutt for informatikk. Oppgaven ble veiledet av Dag Langmyhr ved studieretningen for databehandling.
Oppgaven beskriver et prosjektarbeid der ...
(Master thesis / Masteroppgave, 2011)
(Master thesis / Masteroppgave, 2010)
Oppgaven omhandler problemstillingen: ”Hva er coachende lederstil og hvordan kan coachende lederstil påvirke mestring blant medarbeidere i kunnskapsintensive bedrifter?” Denne problemstillingen har jeg videre delt opp i ...
(Master thesis / Masteroppgave, 2008)
The aim of this master thesis is to examine how Semantic Web technology can be used in the field of Human Resource Management, more specifically how it can be used to improve areas of online job
recruitment, focusing on ...
(Master thesis / Masteroppgave, 2007)
In this thesis, we have investigated how an open source web portal can be used in a business context. This investigation required development of components for a web portal to meet the company’s needs. The motivation for ...
(Master thesis / Masteroppgave, 2010)
Tilgang til kollektivtrafikkinformasjon skjer via forskjellige kanaler. For synshemmede er noen av disse kanalene mindre tilgjengelige enn andre. Denne oppgaven undersøker informasjonskanalene som Trafikanten tilbyr sine ...
(Master thesis / Masteroppgave, 2011)
The thesis presents the implementation and assessment of two routing metrics used in RPL. The routing
metrics evaluated in the thesis are the Hop Count Object and Node Energy Object. The ROLL working
group has defined ...
(Master thesis / Masteroppgave, 2018)
(Master thesis / Hovedoppgave, 2003)
Abstract :
Project managers and organisation management want early and accurate predictions on the effort needed to develop software. A number of alternative estimation methods have been proposed by researchers to support ...
(Master thesis / Hovedoppgave, 2005)
This thesis describes the foundation for developing a tool that compares Java programs, or different versions of a program. The tool captures syntactic differences and contextual semantic differences as well. Syntactic ...
(Master thesis / Masteroppgave, 2004)
The Model Driven Architecture (MDA) defines an alternative approach to software development. It allows to separate the system functionality specification from its implementation on any specific technology platform. Following ...
(Doctoral thesis / Doktoravhandling, 2011)
(Research report / Forskningsrapport, 2007)
This paper formalizes the observable interface behavior of an concurrent, objectoriented language with futures and promises. The calculus captures the core of Creol, a language, featuring in particular asynchronous method ...
(Research report / Forskningsrapport, 2007)
Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...
(Research report / Forskningsrapport, 2007)
Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...
(Research report / Forskningsrapport, 2008)
Polygonal hybrid systems (SPDIs) are planar hybrid systems, whose dynamics are defined in terms of constant differential inclusions, one for each of a number of polygonal regions partitioning the plane. The reachability ...
(Research report / Forskningsrapport, 2006)
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2006)
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2002)