Unbounded data structures, advanced functions and data types, and/or different forms of communication are often needed to model large and complex probabilistic real-time systems such as wireless sensor network algorithms. ...

Several formal models combine probabilistic and nondeterministic features. To allow their probabilistic simulation and statistical model checking by means of pseudo-random number sampling, all sources of nondeterminism ...

The paper reports from a qualitative study based on the analysis of semi-structured interviews and Participatory Design activities with hospitalised teenagers with chronic health challenges. We studied how teenage patients ...

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 ...

Flight control systems, railway interlocking systems, and nuclear reactor protection systems are examples of safety critical systems from different industrial domains. A safety critical system within any of these domains ...

In this thesis the possibility to interact with the virtual machine without traversing the network or using monitoring agents are explored. Instead of using this traditional approach the intention are to exploit the ...

Digital image analysis has proved to be a powerful tool for providing a prognosis for cancer patients. For the prognosis to be as robust and reliable as possible, information regarding cell-type is needed, and damaged or ...

This thesis is concerned with development of efficient mobile applications for shopping on the go and takes a user-centered perspective, focusing on providing good customer experience. A case of an established wholesaler ...

This paper investigates the emergence and nourishment of group creativity within humancomputer interaction design (HCID). HCID practitioners are groomed within a scientific tradition and primarily perceive themselves as ...

Radio-frequency identification (RFID) technology has been applied extensively in logistic and supply chain applications. Long-range passive RFID systems offer higher reliability and flexibility compared to conventional ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.

Examining the benefits of adding syntactic information to a system for solving a given question answering task.

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 ...

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 ...

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 ...

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. ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

In this paper, the use of concepts such as visual immediacy, metaphor, analogy, blending and abduction is proposed as a way of facilitating visual reasoning in sense-making activities in human-computer interaction (HCI) ...

Bakgrunn: Unge, langtidssyke pasienter står ovenfor en vanskelig og krevende prosess når de skal overføres fra barne- og ungdomsavdeling og over til voksenavdeling. Behovet for å styrke autonomien, og lysten til å ta mer ...

The information processing demands of many of today's businesses have outgrown the legacy relational database management system (RDBMS) software resulting from both the data explosive growth and the variety of data models. ...

This thesis offers a usability and user documentation review of a Health Information System, District Health Information System 2 (DHIS 2). To reach the Millennium Development Goals (MDGs) for health improvement set by ...

Background Transcatheter aortic valve implantation involves percutaneously implanting a biomechanical aortic valve to treat severe aortic stenosis. In order to select a proper device, precise sizing of the aortic valve ...

The progress of computer science and mechanical and electrical engineering in the field of robotics has increased the applicability of robots for replacing human resources in the performance of repetitive and dangerous ...

The increasing popularity of virtualized services and cloud computing, offering elastic and scalable computing resources challenges software engineering methods by asking a number of new questions: How can we integrate ...

Background Mammography screen-detected breast cancers have a better prognosis than predicted from established prognostic markers. A search for additional features that are characteristic for these tumours and their prognosis ...

A low-power on-off-keying impulse-radio (IR) ultra-wideband (UWB) pulse generator (PG) intended for wireless-powered IR-UWB radio applications is presented. The proposed PG has high flexibility, the center frequency, output ...

We present Funky Sole Music, a musical interface employing a sole embedded with three force sensitive resistors in combination with a novel algorithm for continuous movement classification. A heuristics-based music engine ...

In order to work successfully together, it is important that people understand each other. In global IT-projects, different team-members, with diverse cultural backgrounds, work from different locations. A consequence of ...

Personvernserklæringer er lite tilgjengelige og inneholder svært mye informasjon skrevet på et avansert språk. Dette har resultert i at svært få tar seg bryet med å lese innholdet i dem. Brukere av nettjenester har ikke ...

Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. The future mechanism extends the traditional method ...

The European gas market is a huge network of producers, consumers, and various forms of gas processing and storage. To understand this market fully, all of these factors have to be explored and explained. When the gas ...

Background and motivation The health of human tissue can be indicated by the stiffness of the tissue. It is known that the risk of a nodule being malignant is increased with the stiffness of the nodule. Elastography is ...

InfiniBand is one of the most popular interconnection network standards, in the area of High-Performance Computing (HPC). The InfiniBand architecture supports deterministic routing. This prevents packets from using alternative ...

Before adopting or implementing new technology solutions, there is a need for a decision support method which enlightens the effects of the implementation of the various decision alternatives with respect to cost, risk, ...

Mobile Broadband (MBB) traffic is increasing rapidly, and is estimated to keep growing in future due to the availability of high speed 3G/4G networks and the popularity of mobile devices. People are accessing Internet ...

There is extensive on-going research taking place with the goal of implementing transport layer protocols that are able to utilize multi-homing on machines (connection to multiple ISPs). Multi-homing has potential to improve ...

One of TCP's key task is to react and avoid network congestion episodes which normally arise in packet switched networks. A wide literature is existed in many different scenarios concerning the behaviour of congestion ...

A common goal for Health Information Systems in developing countries that are supported by outside actors is eventual self-sustainability. Sustainability is based on the fulfillment of needs in both financial and human ...

Enormous Internet growth is an obvious trend nowadays while Internet protocol version 4 address space exhaustion led into the invention of Internet protocol version 6 and subsequently raised the transitioning challenges ...

A new logic style named Two-Phase Dynamic Ultra-Low Voltage (TP-DULV) logic is developed. The new logic style uses the increased gate voltage swing from the ULV FG technique and introduces a new concept for ensuring a ...

71 000 mennesker i Norge har i dag en demenssykdom. Inkluderer man de nærmeste pårørende kan man anslå at så mange som 300 000 mennesker er berørt. Forventet befolkningsutvikling i Norge gjør at antall personer med ...

Publish-subscribe paradigm of communication is one of the most popular and powerful models for services on the Web. Given the increase in popularity of P2P systems and the benefits of them over centralized versions,researchers ...

Publish/subscribe (pub/sub) is a popular communication paradigm in the design of largescale distributed systems. A fundamental challenge in deploying pub/sub systems on a data center or a cloud infrastructure is efficient ...

Congestion occurs at a bottleneck along an Internet path; multiple flows between the same sender and receiver pairs can benefit from using only a single congestion control instance when they share the same bottleneck. These ...

Humans are social by nature and they have a need to discuss and collaborate with others (Sharp et al., 2007). Group work is an essential practice in work and educational settings and is required when an assignment is too ...

A software component is a reusable, high-level software entity with provided and required interfaces. Software components can be composed together in order to build software systems. When modeling component-based software, ...

As part of a more general effort on the design of a combined modeling and programming language, support for modeling and programming with state machines has been investigated. While earlier approaches have represented ...

The cloud of Linked Open Data is steadily growing, yet it remains largely inaccessible to the general public, due to the technical barrier posed by the requirement to know formal query languages. In this thesis, we present ...

The ever growing network traffic complexity has brought new threats and vulnerabilities that can affect our day to day activities. This lead to high demand for network monitoring and detection system to tackle the emerging ...

Background: In software engineering there are several principles that got an impact on a software project. If these principles are applied the wrong way, or not considered, it can starve a software project. WIP-limit is ...

Computer security specialists work every day solving security problems and handling intrusions. The experts try to avoid new security threats, but the intruders are trying to find new penetration methods and sophisticated ...

In this paper we present our participation in the Semeval 2014 task “Evaluation of compositional distributional semantic models on full sentences through semantic relatedness and textual entailment”. Our results demonstrate ...

This paper describes work on using Minimal Recursion Semantics (MRS) representations for the task of recognising textual entailment. I use entailment data from a SemEval-2010 shared task to develop and evaluate an entailment ...

Software Defined Networking (SDN) is a logical approach to networking. The control plane is decoupled from hardware and given to a software application called a controller. A software based controller is responsible for ...

The Norwegian Dependency Treebank is a new syntactic treebank for Norwegian Bokmål and Nynorsk with manual syntactic and morphological annotation, developed at the National Library of Norway in collaboration with the ...

Tenåringer er en neglisjert gruppe innenfor forskning. Det er få studier som involverer tenåringer, og enda færre med unge pasienter. De fleste studiene som finnes bruker tenåringer hovedsakelig som testere og informanter. ...

Telemedicine system provide medical services to those who can not access it due to distance. In such systems, the patient s critical information, including medical data, images, audio and video, must be delivered to the ...

This thesis presents an intelligent tutoring system that enables students of Chinese to acquire active knowledge of words and grammatical constructions. The system relies on a Bayesian, linguistically motivated cognitive ...

In this master thesis we discuss challenges in creating visualizations with the goal of enhancing discussions in group learning environments. We focus on two types of task to visualize. The first task type involves visual ...

Computer networks are growing in complexity and size, making it challenging to keep an inventory of computers and their software operating in a network. Traditional solutions to this problem, like active scanning or soft- ...

NFC tags follow a range of standards and communication protocols. Support for communicating with these tags is limited, and few empirical studies investigate their performance. Therefore it is challenging to develop tags ...