Model checking of software systems becomes more effective each day. However it still can not handle huge state spaces of real software. Particularly, concurrent systems are hard to verify. Abstraction techniques are one of the solutions aimed at managing the complexity problem. This paper describes the object oriented abstraction algorithm. It allows semi-automatic abstraction of real (i.e. Jav...

Determinism has long been a core assumption in many forms of behaviorism, including radical behaviorism. However, this assumption has been a stumbling block for many— both within and outside the field of radical behaviorism—resulting in misunderstanding and misrepresentation. The following paper provides a descriptive taxonomy of four kinds of determinism assumed or asserted in the radical beha...

introduction: allogeneic hematopoietic stem cell transplantation (hsct) has been reported to be a successful curative treatment in aml patients. myeloablative conditioning (mac) is used more frequent as a preparing regimen. this study attempts to compare the outcome of patients who has received mac and reduced- intensity conditioning (ric). methods: totally, 618 patients with aml underwent hsct...

Model checking of isolated software components is inherently not possible because a component does not form a complete program with an explicit starting point. To overcome this obstacle, it is typically necessary to create an environment of the component which is the intended subject to model checking. We present our approach to automated environment generation that is based on behavior protoco...

the aim of this research is to study the relations between personality types (introverted and extroverted), intelligence, sexuality and semantic conditioning. for this purpose, 94 subjects were selected through systematic random sampling from among the students of the first and second semesters of psychology at islamic azad university of roudhen. eysenck personality test and raven iq test were ...

By integrating previous computational models of corticohippocampal function, the authors develop and test a unified theory of the neural substrates of familiarity, recollection, and classical conditioning. This approach integrates models from 2 traditions of hippocampal modeling, those of episodic memory and incremental learning, by drawing on an earlier mathematical model of conditioning, SOP ...

Effective reinforcement learning hinges on having an appropriate state representation. But where does this representation come from? We argue that the brain discovers state representations by trying to infer the latent causal structure of the task at hand, and assigning each latent cause to a separate state. In this paper, we review several implications of this latent cause framework, with a fo...

The foundation, accomplishments, and proliferation of behavior therapy have been fueled largely by the movement's grounding in behavioral principles and theories. Ivan P. Pavlov's discovery of conditioning principles was essential to the founding of behavior therapy in the 1950s and continues to be central to modern behavior therapy. Pavlov's major legacy to behavior therapy was his discovery o...