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...

OBJECTIVES To identify key themes related to tobacco advertising and promotion in testimony provided by tobacco industry-affiliated witnesses in tobacco litigation, and to present countervailing evidence and arguments. METHODS Themes in industry testimony were identified by review of transcripts of testimony in the Tobacco Deposition and Trial Testimony Archive (http://tobaccodocuments.org/da...

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...

Eyewitnesses (n = 107) to a staged theft made identifications from a photo spread and then responded to 11 questions that measured their memory for peripheral details (e.g., how many pictures were in the room where the theft occurred?). Results indicated that witnesses who accurately identified the thief (n = 57) averaged fewer correct answers on the peripheral details test than did eyewitnesse...