In order to investigate potential ‘hidden’ cases of suicide, the authors correctly consider other cause-of-death categories, such as undetermined intent deaths and deaths form ‘unknown causes’. However, it is not clear if additional death categories, such as ‘death by misadventure’ or ‘narrative verdicts’ were taken into account, even though this has been highlighted by other authors (e.g. Carr...

This paper presents a non-intrusive framework for runtime verification of executable microcontroller code. A dedicated hardware unit is attached to a microcontroller, which executes the program under scrutiny, to track atomic propositions stated as assertions over program variables. The truth verdicts over the assertions are the inputs to a custom-designed μCPU unit that evaluates past-time LTL...

The paper proposes a novel principle of rational self-locating belief that refers to the epistemic agent’s causal context. The principle is motivated and applied to some of the most-discussed problems of self-locating belief including the Doomsday Argument, the Serpent’s Advice scenario, the Presumptuous Philosopher problem, the Sleeping Beauty problem, and the problem of confirmation in the Ev...

We propose a model-based black-box testing approach to test conformance of Web Service Compositions (WSC). When a WSC under test makes use of implementations of Web Services, two situations may occur: either communications between the WSC and the Web Services are observable or hidden internal actions. We show by means of an example how to generate test cases whose verdicts are provided with exp...

1 *** In Press at Social Neuroscience 9/14/10 *** Neural evidence for “intuitive prosecution”: The use of mental state information for negative moral verdicts Short Title: Mental states for negative judgments Liane Young, Jonathan Scholz, Rebecca Saxe Massachusetts Institute of Technology Address correspondence to Liane Young, Department of Brain and Cognitive Sciences, Massachusetts Institute ...

The article is devoted to the study of issue criminal law qualification parents’ malicious failure support their disabled children. corpora delicti offences, provided for by Articles 164 and 166 Criminal Code Ukraine, have been analyzed. Attention drawn similarity direct objects circle victims. It concluded that minor children a component duty care them, correlate with each other as general spe...

It is often suggested that requiring juries to reach a unanimous verdict reduces the probability of convicting an innocent defendant while increasing the probability of acquitting a guilty defendant. We construct a model that demonstrates how strategic voting by jurors undermines this basic intuition. We show that unanimity rule may lead to high probabilities of both kinds of errors and that th...

We begin with a brief overview of the Not Guilty by Reason of Insanity (NGRI) and Guilty but Mentally Ill (GBMI) verdicts in the United States and then report on a study of qualified jurors (n=96) in which we examined jurors' understanding and attitudes about mental illness verdicts and the disposition of mentally ill defendants. Results indicate that although the jury pool was highly educated,...