We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state transition systems, expressed over some background theories. The procedure is based on a tight integration of IC3 with Implicit (predicate) Abstraction, a technique that expresses abstract transitions without computing explicitly the abstract system and is incremental with r...

DISSECTING IMPLICIT LEADERSHIP THEORIES: A GENERALIZABILITYANALYSISby

Is implicit learning an independent and automatic process? In this paper, I attempt to answer this question by exploring whether implicit learning occurs even despite the availability of more reliable explicit information about the material to be learnt. I report on a series of experiments during which subjects performed a sequential choice reaction task. On each trial subjects were exposed to ...

Crystallized intelligence is a pivotal broad ability factor in the major theories of intelligence including the Cattell-Horn-Carroll (CHC) model, the three-stratum model, and the extended Gf-Gc (fluid intelligence-crystallized intelligence) model and is usually measured by means of vocabulary tests and other verbal tasks. In this paper the C-Test, a text completion test originally proposed as a...

Over 60 years of research on participative leadership has documented the many benefits of power sharing in organizations. However, a common obstacle to power sharing is the unwillingness of those with power to share it. An experimental study is presented that investigated the effects of managers’ implicit theories of power in organizations on their willingness to share power with subordinates. ...

The current research extended the implicit theory approach to a weight management context and merged it with value expectancy theory. Three studies investigated the hypothesis that individuals are especially unlikely to self-regulate effectively after dieting setbacks when they believe body weight to be fixed (entity theory) rather than malleable (incremental theory). Study 1 examined avoidant ...

This review builds on self-control theory (Carver & Scheier, 1998) to develop a theoretical framework for investigating associations of implicit theories with self-regulation. This framework conceptualizes self-regulation in terms of 3 crucial processes: goal setting, goal operating, and goal monitoring. In this meta-analysis, we included articles that reported a quantifiable assessment of impl...

This paper discusses a new theory, Systems Intelligence, and discusses its implications for and overlaps with the field of Communication. Given the prime role Communication plays in the field of Leadership, to really understand the latter, one must first come to grips with the former. The nature of Systems Intelligence is discussed, along with its relationship to Systems Thinking and the import...