Finn tittel
Viser treff 4749-4768 av 4929
-
(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 ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)The aim of this study was to develop and validate a method using inertial measurements units (IMUs) to determine inner-cycle parameters (e.g., cycle, poles and skis contact, and swing time) and the main sub-techniques ...
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2022)
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2022)
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2023)Digital technology changes how value creation is done in firms, and reshapes how knowledge-workers conduct their work. The focus on digitalization in firms holds great promises but has, in some cases, become a source of ...
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2023)
-
(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 ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)A Software Product Line (SPL) is a family of similar programs, called variants, generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs: each variant can depend on variants from other SPLs. ...
-
(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 ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)Background Cholesteryl ester transfer protein (CETP) transfers cholesteryl esters in plasma from high density lipoprotein (HDL) to very low density lipoprotein and low density lipoprotein. Loss-of-function variants in the ...
-
(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 SpesialsoldatBegrenset tilgang (Master thesis / Masteroppgave, 2016)