IF THE burning bush is to be understood as a genuine miracle, it is well to ask what its significance is. The miracles of the Bible were designed to be signs and attestations of God's plan of redemption. In what sense, then, did the burning bush point to God's redemptive activity? According to Acts 7:30 the events described in Exodus 3 took place forty years after Moses' flight into the land of...

Although contradictions with stored knowledge are common in daily life, people often fail to notice them. For example, in the Moses illusion, participants fail to notice errors in questions such as "How many animals of each kind did Moses take on the Ark?" despite later showing knowledge that the Biblical reference is to Noah, not Moses. We examined whether error prevalence affected participant...

The book is divided into two parts. Part I gives a vivid picture of the civil rights movement in Mississippi in the years 1961–1964. Moses not only conveys the drama of impoverished black Mississippians confronting the violence of whites determined to prevent them from voting, but also candidly and convincingly describes the difficult strategic and tactical decisions of organizers such as himse...

In this paper the Markov analyzer MOSES (MOdelling, Speci cation and Evaluation System) and the model description language MOSLANG { both developed at the Institute for Operating Systems at the University of Erlangen{Nuernberg { are described using two examples. To evaluate the performance of a computer system the system has to be speci ed. In this paper the model description language MOSLANG i...

OBJECTIVE To compare meta-analyses of diagnostic test accuracy using the Moses-Littenberg summary receiver operating characteristic (SROC) approach with those of the hierarchical SROC (HSROC) model. STUDY DESIGN AND SETTING Twenty-six data sets from existing test accuracy systematic reviews were reanalyzed with the Moses-Littenberg model, using equal weighting ("E-ML") and weighting by the in...

The growing request for high-quality applications for embedded systems demands model-driven approaches that facilitate their design as well as the verification and validation activities. In this paper we present MOSES, a model-driven performance analysis methodology based on Foundational UML (fUML). Implemented as an executable model library, MOSES provides data structures, as Classes, and algo...