Measurements of quantum states form a key component in quantum-information processing. It is therefore an important task to compare measurements and furthermore decide if measurement strategy optimal. Entropic quantities, such as the Fisher information, capture asymptotic optimality but not with finite resources. We introduce framework that allows one conclusively establish optimal non-asymptot...

BACKGROUND Limited data are available on left ventricle (LV) diastolic function in patients with ischemic dilated cardiomyopathy submitted to surgical ventricular restoration (SVR). The purpose of this study was to assess postoperative diastolic function changes and identify potential predictors of its worsening. METHODS One hundred and forty-six patients (65 +/- 9 years) with previous anteri...

This paper uses a case study of scientific English from the seventeenth to the nineteenth centuries to test the traditional demarcation between restrictive and non-restrictive adnominal relatives and to reconsider appropriate methods for analyzing such historical data. After an initial classification of some 1160 clauses from the ARCHER corpus using the traditional dichotomy, alternative propos...

Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear inequalities on the PN markings. When the PN is supervised so that its markings satisfy these inequalities, the supervised net is proved to be deadlockfree for all initial markings that satisfy the supervision constr...

This paper presents a design for a reactive system based on the classical planning techniques of problem reduction and state space search. The proposed approach enables a reactive system to be scaled up to handle larger sets of tasks. Problem reduction synthesizes an initial reactive policy for a given task. When an execution impasse occurs, state space search finds critical choice points, from...

The enzyme dipeptidase-A (DIP-A) in Drosophila melanogaster is coded by a second chromosome locus that is polymorphic for three allozymes in natural populations. DIP-A appears to be the only enzyme in D. melanogaster capable of hydrolyzing the dipeptide glycyl-L-isoleucine, since flies homozygous for null alleles at this locus have no detectable glycyl-L-isoleucine-ase activity. DIP-A activity ...

This paper presents new results concerned with liveness, liveness of a subset of transitions and deadlock in Petri nets. Liveness is seen as a particular case of what we call T -liveness: all transitions in the set T are live. The first results characterize the relation between supervisors enforcing liveness and T -liveness with supervisors preventing deadlock. Then we introduce a class of Petr...

A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game theoretic methods to compute the region of the state space for which there exists a control such that for all disturbances, an unsafe set is not reached. In general, the computation of the controllers requires the stea...

A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game theoretic methods which compute the region of the state space for which there exists a control such that for all disturbances, an unsafe set is not reached. In general, the computation of the controllers requires the s...