We give a mathematical criterion for the concept of information flow within closed quantum systems described by quantum registers. We define the concepts of separations and entanglements over quantum registers and use them with the quantum zip properties of inner products over quantum registers to establish the concept of partition change, which is fundamental to our criterion of endophysical i...

One problem common to all virtualization techniques is the efficient injection of emulation code into the guest operating systems (guest OSs). Emulation is needed to limit the effects of virtualization sensitive instructions to the appropriate virtual machine. For instance, privilege mode changes, processor halting or resetting, and device accesses must be redirected to the executing virtual ma...

This paper presents an obstruction-free solution to the (n, k)-set agreement problem in an asynchronous anonymous read/write system using solely (n− k+ 1) registers. We then extend this algorithm into (i) a space-optimal solution for the repeated version of (n, k)-set agreement, and (ii) an x-obstructionfree solution using (n− k + x) atomic registers (with 1 ≤ x ≤ k < n). 1 Context & motivation...

In this paper, we present corpus-based procedures to semi-automatically discover features relevant for the study of recent language change in scientific registers. First, linguistic features potentially adherent to recent language change are extracted from the SciTex Corpus. Second, features are assessed for their relevance for the study of recent language change in scientific registers by mean...

An algorithm for register promotion is presented based on the observation that the circumstances for promoting a memory location's value to register coincide with situations where the program exhibits partial redundancy between accesses to the memory location. The recent SSAPRE algorithm for eliminating partial redundancy using a sparse SSA representation forms the foundation for the present al...

BACKGROUND The EUROCISS Project (European Cardiovascular Indicators Surveillance Set), as part of the Health Monitoring Programme financed by the European Commission, has been implemented to develop health indicators and recommendations for the monitoring of cardiovascular diseases (CVDs). Morbidity data are rarely available in the different countries and when available, they are very rarely co...