Results 241 to 250 of about 1,525,492 (301)
Some of the next articles are maybe not open access.
The Misquantification of Probative Value.
Law and Human Behavior, 2003D. Davis and W. C. Follette (2002) purport to show that when "the base rate" for a crime is low, the probative value of "characteristics known to be strongly associated with the crime ... will be virtually nil." Their analysis rests on the choice of an arbitrary and inopposite measure of the probative value of evidence.
D H, Kaye, Jonathan J, Koehler
openaire +2 more sources
ProB: A Model Checker for B [PDF]
, 2003 We present PROB, an animation and model checking tool for the B method. PROB’s animation facilities allow users to gain confidence in their specifications, and unlike the animator provided by the B-Toolkit, the user does not have to guess the right values for the operation arguments or choice variables.
Leuschel, Michael, Butler, Michael
openaire +1 more source
Communications in Statistics. Stochastic Models, 1987
Let F be a probability measure on and the probability measure subordinate to F with subordinator {pn}IN. In this paper we discuss the precise asymptotic behaviour of when is finite. Applications to transient renewal theory and infinite divisibility are given.
E. Omey, E. Willekens
openaire +1 more source
Let F be a probability measure on and the probability measure subordinate to F with subordinator {pn}IN. In this paper we discuss the precise asymptotic behaviour of when is finite. Applications to transient renewal theory and infinite divisibility are given.
E. Omey, E. Willekens
openaire +1 more source
The Probative Value of Bloodstains on Clothing
Medicine, Science and the Law, 1978The evidential value of the results from grouping bloodstains on clothing connected with crime investigations is normally related to the frequency of occurrence of the bloodgroups which have been identified in these stains. Insufficient account is taken of the probative value of blood occurring on clothing alone.
openaire +2 more sources
Access control in probative value cloud
8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), 2013Access Control over large scale distributed system like Cloud computing are one of the most debated topics of computer security. Despite the common use and the popularity of the Cloud computing paradigm, significant risks and challenges are inherent to this new concept, especially when we talk about storage of sensitive data via insecure network.
Mounira Msahli +2 more
openaire +1 more source
Distributed Model Checking Using ProB
2018Model checking larger specifications can take a lot of time, from several minutes up to weeks. Naturally, this renders the development of a correct specification very cumbersome. If the model offers enough non-determinism, however, we can distribute the workload onto multiple computers in order to reduce the runtime.
Philipp Körner, Jens Bendisposto
openaire +1 more source
Translating TLA + to B for Validation with ProB
2012TLA+ and B share the common base of predicate logic, arithmetic and set theory. However, there are still considerable differences, such as very different approaches to typing and modularization. There is also considerable difference in the available tool support. In this paper, we present a translation of the non-temporal part of TLA+ to B, which makes
Dominik Hansen, Michael Leuschel
openaire +1 more source
2006
Abstract This chapter proposes that, when the testimony is about past mental state, probative value should be measured in terms of “generally accepted content validity,” which equates Daubert’s reliability test not with accuracy (which is impossible to gauge), but with the extent to which clinical opinion addresses the factors the law ...
openaire +1 more source
Abstract This chapter proposes that, when the testimony is about past mental state, probative value should be measured in terms of “generally accepted content validity,” which equates Daubert’s reliability test not with accuracy (which is impossible to gauge), but with the extent to which clinical opinion addresses the factors the law ...
openaire +1 more source