Browsing Institutt for informatikk by Title
Now showing items 3502-3521 of 3641
-
(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 ...
-
(Master thesis / Masteroppgave, 2020)Rust is a multi-paradigm system programming language focused on performance and reliability. Its rich type system offers memory and thread-safety guarantees at compile-time. Therefore, Rust forbids simultaneous sharing and ...
-
«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, 2020)EVA er hovedstøttesystemet for valggjennomføring for kommunene og fylkeskommunene i Norge. Som sådan er det kritisk for samfunnet at systemet oppfører seg som forventet. Ved å bruke formelle metoder kan det påvises at ...