Browsing Institutt for informatikk by Title
Now showing items 3674-3693 of 4956
-
(Master thesis / Masteroppgave, 2007)The emerging of content providers such as YouTube induces a rapidly increasing demand for multimedia streaming, which augments the network resource consumption. Current content distribution networks however are not suited ...
-
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)In this paper, we examine infrastructuring in the context of developing national, public eHealth services in Norway. Specifically, we analyze the work of a project team engaged in the design and development of new web-based ...
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2014)
-
(Research report / Forskningsrapport, 2011)Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. The ...
-
(Master thesis / Masteroppgave, 2016)
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)This paper discusses the term ’model’ and the role of the level M0 in the four-layer metamodeling architecture of MOF/OMG. It illustrates the failures of the OMG MOF standard and how a model is an abstraction, not a ...
-
(Master thesis / Masteroppgave, 2014)
-
(Journal article / Tidsskriftartikkel, 1997)Real-time 2D ultrasound systems are used routinely in every hospital and are a huge success both technically and commercially. This paper discusses the signal processing problems that needs to be tackled in order to move ...
-
(Master thesis / Masteroppgave, 2016)
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2023)The petroleum industry is crucial for modern society, but the production process is complex and risky. During the production, accidents or failures, resulting from undesired production events, can cause severe environmental ...
-
Real-Time Face Detection, Identification and Emotion Analysis for Affective Human Robot Interaction (Master thesis / Masteroppgave, 2018)
-
(Master thesis / Masteroppgave, 2014)
-
(Research report / Forskningsrapport, 2004)Real-Time Maude is a language and tool supporting the formal specification and analysis of realtime and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, ...
-
(Master thesis / Masteroppgave, 2019)Mobile robots operating in seniors' homes can serve as social companions and assist with daily tasks, thus enhancing the seniors' quality of life. In order for robots to assist seniors, it is crucial that they are equipped ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)Background Echocardiography is a highly specialised examination performed by experienced healthcare professionals. These experienced healthcare professionals may not be available to patients during all ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)Background: The management of suspected critical congenital heart defects (CCHD) relies on timely echocardiographic diagnosis. The availability of experienced echocardiographers is limited or even non-existent in many ...
-
(Master thesis / Masteroppgave, 2016)
-
(Master thesis / Hovedoppgave, 2001)Distributed multimedia applications have Quality of Service (QoS) requirements that current communication systems are not able to handle. Dynamic Configuration of Protocols (Da CaPo) is a framework for dynamically ...
-
(Master thesis / Masteroppgave, 2007)This thesis explores the possibility of using graphics processing units (GPUs) to compute approximations of the Navier-Stokes equations for usage in real-time simulation. The Navier-Stokes equations describe the change in ...
-
(Master thesis / Masteroppgave, 2016)