Browsing Institutt for informatikk by Title
Now showing items 3191-3210 of 3324
-
(Master thesis / Hovedoppgave, 2002)This thesis presents a framework for modeling and developing temporal information systems. The framework defines a model driven development process which automatically transforms temporal system models into executable ...
-
(Master thesis / Hovedoppgave, 2002)In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport's Composition Theorem for the Temporal Logic of Actions ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2008)Background Oligoarrays have become an accessible technique for exploring the transcriptome, but it is presently unclear how absolute transcript data from this technique compare to the data achieved with ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2019)Constraints have traditionally been used to ensure data quality. Recently, several constraint languages such as SHACL, as well as mechanisms for constraint validation, have been proposed for Knowledge Graphs (KGs). KGs are ...
-
(Master thesis / Masteroppgave, 2014)It is an undeniable fact nowadays that services have become a vital catalyst for economic growth worldwide. Innovation in services is regarded as being a key pillar in order to sustain the growth momentum of the service ...
-
(Master thesis / Masteroppgave, 2012)Information overload is a complex and growing problem that many systems have tried to remedy. Recognizing that technology alone will probably not be enough to solve this problem, and that conventional knowledge work practices ...
-
(Master thesis / Masteroppgave, 2014)Tema for denne masteroppgaven er brukeropplevelser i interaktive utstillinger i museer. Forskning på brukeropplevelser og sosial interaksjon er utbredt innen Human Computer Interaction-feltet (HCI), men ikke innen det mer ...
-
(Master thesis / Hovedoppgave, 2004)Abstract This work deals with off-loading some critical parts in the process of performing intrusion detection from software to reconfigurable hardware (FPGA). Signatures of known attacks must typically be compared to ...
-
(Master thesis / Masteroppgave, 2010)In this thesis we give a quick overview of Photon Mapping, and two articles on how this can be accelerated on the GPU. We then explore how the solution from one of the articles can be extended to find a variably sized ...
-
(Master thesis / Masteroppgave, 2018)
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)Background In laparoscopic surgery, image quality can be severely degraded by surgical smoke, which not only introduces errors for the image processing algorithms (used in image guided surgery), but also ...
-
«Vellykket brukerinvolvering i systemutvikling i Forsvaret» – en casestudie i utviklingen av SpesialsoldatRestricted Access (Master thesis / Masteroppgave, 2016)
-
(Master thesis / Masteroppgave, 2014)In the field of lexical semantics, there have been many suggestions as to how the meaning of sentences and utterances should be represented. Such theories typically make use of traditional logic frameworks, and the various ...
-
(Master thesis / Hovedoppgave, 2008)Open distributed systems are composed of geographically dispersed components that may be modified at run-time. Such systems are becoming increasingly important, particularly when they are part of the infrastructure used ...
-
(Doctoral thesis / Doktoravhandling, 2014)
-
(Master thesis / Masteroppgave, 2019)
-
(Master thesis / Hovedoppgave, 2003)Keywords:Nonlinear modes, modal truncation, MicroElectroMechanical Systems, MEMS, macro-modeling. This paper reviews and verifies a methodology for nonlinear modal truncation especially suited for extraction of quasi-analytic ...
-
(Master thesis / Masteroppgave, 2012)The purpose of a simulation is to try to get an indication on how a given system will behave in a range of different scenarios. For this kind of research to have any value, it is important that the simulator models reality ...
-
(Master thesis / Masteroppgave, 2008)Oppgaven gikk ut på å nyutvikle en plattformuavhengig løsning av et konstruksjons- og simuleringsverktøy for digitale kretser i Java. CAD-verktøyet er beregnet for studenter i undervisningssammenheng. Per i dag finnes ...
-
(Master thesis / Masteroppgave, 2011)Storage of CO2 in geological formations, such as oil and gas reservoirs, is considered an import means to reduce emissions of CO2 into the atmosphere. Accurate modeling of the CO2 migration is an important tool to analyse ...