We establish a relation between concurrence and entanglement witnesses. In particular, we construct entanglement witnesses for three-qubit W and GHZ states in terms of concurrence and different set of operators that generate it. We also generalize our construction for multi-qubit states.

Witnet is a decentralized oracle network (DON) that connects smart contracts to the outer world. Generally speaking, it allows any piece of software to retrieve the contents published at any web address at a certain point in time, with complete and verifiable proof of its integrity and without blindly trusting any third party. Witnet runs on a blockchain with a native protocol token (called Wit...

INTRODUCTION AND OBJECTIVES Some patients, such as Jehovah's Witnesses, refuse to use blood products, which can make it difficult to achieve the same outcomes as in the general population. The objective of this study was to determine whether clinical characteristics and surgical outcomes in Jehovah's Witnesses undergoing cardiac surgery are similar to those in other patients. METHODS Paired-g...

We formalize a notion of witnesses for satisfaction of linear temporal logic specifications by infinite state programs. We show how such witnesses may be constructed via predicate abstraction, and validated by generating verification conditions and proving them. We propose the use of SAT-based theorem provers and resolution proofs in proving these verification conditions. In addition to yieldin...

Studies asking witnesses to identify perpetrators from photo lineups have usually found that witness racial prejudice is unrelated to perpetrator identification accuracy. However, these studies obtained identifications from a photoarray in which photos were presented simultaneously. Study 1 used a procedure in which photos were presented sequentially. Results showed that when perpetrators were ...

We present an analysis of the properties and characteristics of weakly optimal entanglement witnesses, that is witnesses whose expectation value vanishes on at least one product vector. Any weakly optimal entanglement witness can be written as the form of Wwopt = σ − cmax σ I, where cmax σ is a non-negative number and I is the identity matrix. We show the relation between the weakly optimal wit...

Police investigators agree that eyewitnesses usually provide central leads in their investigations (Berresheim and Weber, 2003; George and Clifford, 1992; Kebbell and Milne, 1998). Police lament, however, that witnesses rarely provide sufficient information (Kebbell and Milne, 1998). How might police improve the quality and quantity of evidence elicited from eyewitnesses? Unfortunately, police ...

Editor—Sydor and colleagues studied trainee behaviour in a crisis situation, and trainee ability to challenge a decision by a consultant anaesthetist to administer blood to a patient who is a Jehovah’s Witness. This was described as unethical, although perhaps a better term would be ‘in breach of the law’. I would like to put it to the authors that unless the notes were shown to contain the pro...