Continuity of health care has in recent years received increased attention. To achieve ‘seamless’ care over time and across service providers, and to reducing redundancy related to duplicated information in parallel systems, ...

Background Advances in whole genome sequencing strategies have provided the opportunity for genomic and comparative genomic analysis of a vast variety of organisms. The analysis results are highly dependent on the quality ...

When analysing programs statically, one quickly runs into issues of too many states and too many transitions, which combine to make the state-space very large. Commutativity analysis is one strategy for reducing the ...

In this paper, we study the energy consumption of Narrowband IoT devices. The paper suggests that key to saving energy for NB-IoT devices is the usage of full Discontinuous Reception (DRX), including the use of connected-mode ...