Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
392
Simple On-the-fly Automatic Verification of Linear Temporal Logic
, 1995
"... We present a tableau-based algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an "on-the-fly" fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model. ..."
Abstract
-
Cited by 327 (29 self)
- Add to MetaCart
We present a tableau-based algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an "on-the-fly" fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model
Self-determination and persistence in a real-life setting: Toward a motivational model of high school dropout.
- Journal of Personality and Social Psychology,
, 1997
"... The purpose of this study was to propose and test a motivational model of high school dropout. The model posits that teachers, parents, and the school administration's behaviors toward students influence students' perceptions of competence and autonomy. The less autonomy supportive the so ..."
Abstract
-
Cited by 183 (19 self)
- Add to MetaCart
are also in line with research on high school dropout that has shown dropout students to display more alienation (a construct akin to that of amotivation) but fewer positive attitudes and less liking (constructs related to intrinsic motivation) toward school than persistent students (e.g., Aslone & Mc
Self-concordance at work: Toward understanding the motivational effects of transformational leaders.
- Academy of Management Journal,
, 2003
"... We extend existing theories by linking transformational leadership to "self-concordance" at work. In two studies using diverse samples and methods, leader behaviors were associated with follower tendencies to set self-concordant goals. In general, followers of transformational leaders vie ..."
Abstract
-
Cited by 113 (3 self)
- Add to MetaCart
to their organizations exhibited more extrarole behaviors, were less likely to leave, and contributed more to fund raising. Given our adoption of a "new" concept-selfconcordance-we believe it is important to provide a brief discussion of the relationships between this construct and other related organizational
Materials for an exploratory theory of the network society.
- The British Journal of Sociology
, 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract
-
Cited by 122 (0 self)
- Add to MetaCart
the construction of an analytical framework that could inform, and better organize, further research. However, given the dif culty of the task, and the necessarily collective character of this endeavour, what is presented here should be considered, literally, as materials to be used in the building of a
Structural Abstraction A Mechanism for Modular Program Construction Approved by:
, 2009
"... To Mom, for teaching me to live life with courage and joy. iii Acknowledgements I wish I could say that careful planning and a tenacious drive toward a grand vision lead me to where I am today. But the truth is, this dissertation is the result of a series of serendipitous events in my life. I seem t ..."
Abstract
- Add to MetaCart
To Mom, for teaching me to live life with courage and joy. iii Acknowledgements I wish I could say that careful planning and a tenacious drive toward a grand vision lead me to where I am today. But the truth is, this dissertation is the result of a series of serendipitous events in my life. I seem
Toward 4-Dimensional Fullerenes
, 1998
"... We explore the existence of high-dimensional analogues of fullerenes F n (i.e. of simple polyhedra with only 5- and 6-gonal faces) seen as (d \Gamma 1)-dimensional simple manifolds (preferably, polytopal or at least spherical) with only 5- and 6-gonal 2-faces. Three infinite families of such 4-full ..."
Abstract
- Add to MetaCart
-fullerenes are presented here. The Construction A gives 4-polytopes by suitable insertion of fullerenes F 30 (D 5h ) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F 24 around of given fullerene. The Construction C gives 4-fullerenes from special decoration
Toward Mapping the Evolved Functional Organization of Mind and Brain
"... The human brain is a biological system produced by the evolutionary process, and thus, cognitive neuroscience is itself a branch of evolutionary biology. Accordingly, cognitive neuroscientists can benefit by learning about and applying the technical advances made in modem evolutionary biology. Among ..."
Abstract
-
Cited by 19 (0 self)
- Add to MetaCart
functional aspects of the neural and cognitive architecture that are responsible for its organization from the much larger set of properties that are by-products or noise. With these and other tools, researchers can construct experimental stimuli and tasks that activate and are meaningful to functionally
Towards the Verification of Graph Programs
- QUALIFYING DISSERTATION
, 2010
"... GP (for Graph Programs) is an experimental programming language which allows one to manipulate graphs at a very high level of abstraction. There are numerous applications for graph programs: from solving graph problems without the need to consider low level data structures, to specifying the operati ..."
Abstract
- Add to MetaCart
the operational behaviour of systems, to simulating the behaviour of pointers. To reason about the correctness of such programs however, one would need to construct an ad hoc proof on a case-by-case basis. We are hoping to address this situation by developing verification techniques for graph programs. This poses
Towards Synthesis of Asynchronous Communication Algorithms
- Part I: Decentralized Systems & Control
, 2002
"... This paper presents preliminary ideas about automated synthesis of asynchronous communication mechanisms (ACMs). Such ACMs can be used in systems with heterogeneous timing, e.g. embedded realtime control and command systems. The problem of constructing communication structures for such systems is kn ..."
Abstract
-
Cited by 5 (3 self)
- Add to MetaCart
This paper presents preliminary ideas about automated synthesis of asynchronous communication mechanisms (ACMs). Such ACMs can be used in systems with heterogeneous timing, e.g. embedded realtime control and command systems. The problem of constructing communication structures for such systems
Toward Automatic Synthesis of Security Protocols
, 2002
"... The use of cryptographic protocols that enforce a variety of security properties has become more and more important in every day’s Internet transactions. The task of designing such protocols is tedious and error prone: many protocols that were believed to be correct for years have been shown to cont ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
-based viewpoint. In this work, we propose a technique allowing the automatic synthesis of security protocols that satisfy, by construction, their logical specification. Such specifications can be expressed using high-level communication primitives. Primitives have security and cryptographic attributes
Results 1 - 10
of
392
