The subcubic (O(n) for ω < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they do not find an index k (a witness) such that Aik = Bkj = 1. We design a deterministic algorithm for computing the matrix of witnesses that runs in Õ(n) time, where here Õ(n) denotes O(n(log n)). The subcubic methods to compute the shortest distances...

Judges in the United States, the United Kingdom, and Canada have ruled that witnesses may not wear the niqab-a type of face veil-when testifying, in part because they believed that it was necessary to see a person's face to detect deception (Muhammad v. Enterprise Rent-A-Car, 2006; R. v. N. S., 2010; The Queen v. D(R), 2013). In two studies, we used conventional research methods and safeguards ...

Eyewitnesses sometimes view more than one lineup during an investigation. We investigated the effects of postidentification feedback following one lineup on responses to a second lineup. Witnesses (N=621) viewed a mock crime and, later, attempted to identify the culprit from an initial (target-absent) lineup and a second (target-present or target-absent) lineup. Prior to viewing the second line...

A generic algorithm is developed to reduce the problem of obtaining linear and nonlinear entanglement witnesses of a given quantum system, to convex optimization problem. This approach is completely general and can be applied for the entanglement detection of any N-partite quantum system. For this purpose, a map from convex space of separable density matrices to a convex region called feasible ...

An observableW that distinguishes all the unentangled states from some entangled states is called a witness. We consider witnesses on n qbits, and use the following normalization: A witness W satisfies |tr(Wρ)| ≤ 1 for all separable states ρ, while kWk > 1, with the norm being the maximum among the absolute values of the eigenvalues of W . Although there are n-qbit witnesses whose norm is expon...

We consider entanglement witnesses arising from positive linear maps which generate exposed extremal rays. We show that every entanglement can be detected by one of these witnesses, and this witness detects a unique set of entanglement among those. Therefore, they provide a minimal set of witnesses to detect all entanglement in a sense. Furthermore, if those maps are indecomposable then they de...

An observable W that distinguishes all the unentangled states from some entangled states is called a witness. We consider witnesses on n qbits, and use the following normalization: A witness W satisfies |tr(W ρ)| ≤ 1 for all separable states ρ, while W > 1, with the norm being the maximum among the absolute values of the eigenvalues of W. Although there are n-qbit witnesses whose norm is expone...

This research examined the impact of eyewitness identification decisions on student-investigators. Undergraduates played the role of police investigators and interviewed student-witnesses who had been shown either a good or poor view of the perpetrator in a videotaped crime. Based on information obtained from the witness, student-investigators then chose a suspect from a database containing inf...

Information systems with witnesses have been introduced in [13] as a logic-style representation of L-domains: The category of such information systems with approximable mappings as morphisms is equivalent to the category of L-domains with Scott continuous functions, which is known to be Cartesian closed. In the present paper a direct proof of the Cartesian closure of the category of information...

This meta-analysis examined 118 studies of the psychosocial outcomes of children exposed to interparental violence. Correlational studies showed a significant association between exposure and child problems (d = -0.29). Group comparison studies showed that witnesses had significantly worse outcomes relative to nonwitnesses (d = -0.40) and children from verbally aggressive homes (d = -0.28). but...