Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
748
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
or who desire a career that requires a college degree intend to pursue their schooling. For a substantial portion of students, however, self-determined motivation toward school has become so low (i.e., they have developed low levels of intrinsic motivation and identified regulation but high levels
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
STUDY 1: METHODS Participants and Procedures Participants were 247 individuals (leaders) holding supervisory or managerial positions within a participating organization and 954 of the individuals who reported directly to them. For this study, a leader was defined by formal position. Individuals who were
Indicators for Social and Economic Coping Capacity - Moving Toward a Working Definition of Adaptive Capacity”, Wesleyan-CMU Working Paper.
, 2001
"... Abstract This paper offers a practically motivated method for evaluating systems' abilities to handle external stress. The method is designed to assess the potential contributions of various adaptation options to improving systems' coping capacities by focusing attention directly on the u ..."
Abstract
-
Cited by 109 (14 self)
- Add to MetaCart
should produce unitless indicators that can be employed to judge the relative vulnerabilities of diverse systems to multiple stresses and to their potential interactions. An artificial application is employed to describe the development of the method and to illustrate how it might be applied. Some
Whom You Know Matters: Venture Capital Networks and Investment Performance,
- Journal of Finance
, 2007
"... Abstract Many financial markets are characterized by strong relationships and networks, rather than arm's-length, spot-market transactions. We examine the performance consequences of this organizational choice in the context of relationships established when VCs syndicate portfolio company inv ..."
Abstract
-
Cited by 138 (8 self)
- Add to MetaCart
-connected VCs. This is normalized by the highest eigenvector centrality measure possible in a network of n actors. C. Betweenness Centrality Betweenness attributes influence to actors on whom many others must rely to make connections within the network. For example, in a star, the actor at the center stands
Reaction rate theory: what it was, where is it today, and where is it going
- CHAOS
"... A brief history is presented, outlining the development of rate theory during the past century. Starting from Arrhenius ͓Z. Phys. Chem. 4, 226 ͑1889͔͒, we follow especially the formulation of transition state theory by Wigner ͓Z. Phys. Chem. Abt. B 19, 203 ͑1932͔͒ and Eyring ͓J. Chem. Phys. 3, 107 ..."
Abstract
-
Cited by 15 (0 self)
- Add to MetaCart
place between G. Porter and Eyring. 15 Porter asks: "May we begin by making sure that we know what we are talking about? In the papers presented at this meeting…potential-energy and free energy maxima are used rather indiscriminately to define the transition state…. Would Professor Eyring give us
Where Specification and Programming Meet Extended Abstract
"... Abstract. We argue that a modern programming language such as Scala has achieved a level of succinctness, which makes it suitable for program/systems specification, hence able to take the role that early very elegant specification languages, way ahead of their time, served. We illustrate this by com ..."
Abstract
- Add to MetaCart
framework. 1 VDM and its Derivatives Formal methods generally refer to “mathematically-based techniques for the specification, development and verification of software and hardware systems” [18]. The field covers such topics as specification logics, syntax and semantics, proof systems, industrial strength
A probabilistic remark on algebraic program testing
- Inf. Process. Lett
, 1978
"... Software reliability, program testing Until very recently, research in software reliability has divided quite neatly into two- usually warring-camps: methodologies with a mathematical basis and methodologies without such a basis. In the former view, “reliability ” is identified wi+h “correctness ” a ..."
Abstract
-
Cited by 94 (1 self)
- Add to MetaCart
” and the principle tocl has been formal and informal verification [ 11. In the latter view, “reliability ” is taken to mean the ability to meet overall functional goals to within some predefmed limits [2,3 1. We have argued in [4] that the latter view holds a great deal of promise for further development at both
Towards Automatic Verification of Autonomous Systems
- In IEEE/RSJ International conference on Intelligent Robots & Systems
, 2000
"... While autonomous systems offer great promise in terms of capability and flexibility, their reliability is particularly hard to assess. This paper describes research to apply formal verification methods to languages used to develop autonomy software. In particular, we describe tools that automaticall ..."
Abstract
-
Cited by 23 (1 self)
- Add to MetaCart
While autonomous systems offer great promise in terms of capability and flexibility, their reliability is particularly hard to assess. This paper describes research to apply formal verification methods to languages used to develop autonomy software. In particular, we describe tools
Deriving specifications of dependable systems: toward a method
- In EWDC
, 2009
"... Abstract—This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools where the first one, the most important, is the concept of method itself, since we realized that computer science has a proli ..."
Abstract
-
Cited by 8 (7 self)
- Add to MetaCart
Abstract—This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools where the first one, the most important, is the concept of method itself, since we realized that computer science has a
Phylogenetic comparative analysis: A modeling approach for adaptive evolution. The American Naturalist 164:683–695
, 2004
"... abstract: Biologists employ phylogenetic comparative methods to study adaptive evolution. However, none of the popular methods model selection directly. We explain and develop a method based on the Ornstein-Uhlenbeck (OU) process, first proposed by Hansen. Ornstein-Uhlenbeck models incorporate both ..."
Abstract
-
Cited by 77 (1 self)
- Add to MetaCart
both selection and drift and are thus qualitatively different from, and more general than, pure drift models based on Brownian motion. Most importantly, OU models possess selective optima that formalize the notion of adaptive zone. In this article, we develop the method for one quantitative character
Results 1 - 10
of
748
