Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 21 - 30
of
3,134
Reprints and permission:
"... Strong mathematical skills are increasingly essential for aca-demic and professional success in today’s high-technology world (National Mathematics Advisory Panel, 2008). Research has shown that math anxiety has a negative impact on mathe-matical skills, which leads to adverse effects on career choi ..."
Abstract
- Add to MetaCart
reported here is the first to identify the neural basis of math anxiety in young children and demonstrate its impact on brain functioning and connectivity at one of the earliest stages of formal acquisition of math skills. Math anxiety is a negative emotional response that is char-acterized by avoidance
Reprints and permission:
"... In a recent publication, Winstock (2012) discusses the issue of partner violence and how the perception of the problem determines the involvement of social agents, both formal and informal. Winstock (2012) also empha-sizes that social agents help with coping and that severity of aggression leads to ..."
Abstract
- Add to MetaCart
In a recent publication, Winstock (2012) discusses the issue of partner violence and how the perception of the problem determines the involvement of social agents, both formal and informal. Winstock (2012) also empha-sizes that social agents help with coping and that severity of aggression leads
When Can Carbon Abatement Policies Increase Welfare? The Fundamental Role of Distorted Factor Markets
- Journal of Environmental Economics and Management
, 1999
"... No portion of this paper may be reproduced without permission of the authors. Discussion papers are research materials circulated by their authors for purposes of information and discussion. They have not undergone formal peer review or the editorial treatment accorded RFF books and other publicatio ..."
Abstract
-
Cited by 167 (18 self)
- Add to MetaCart
No portion of this paper may be reproduced without permission of the authors. Discussion papers are research materials circulated by their authors for purposes of information and discussion. They have not undergone formal peer review or the editorial treatment accorded RFF books and other
Permissions and Undercutters in Argumentation
"... Abstract. Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter’s normal default logic. A recent extension of the input/output logics fo ..."
Abstract
- Add to MetaCart
formalizes various notions of permission. We are interested in the question whether input/output logics can be used to formalize rule based inferences as they occur in for example belief revision, default reasoning, argumentation, causal reasoning, et cetera, and in particular whether permissions correspond
Reprints and permission: sagepub.
"... hum.sagepub.com human relations Formal organizations and identity groups in social movements Kyoung-Hee Yu University of New South Wales, Australia Formal organizations advancing the goals of identity-based social movements and identity groups have become increasingly interdependent. The former ofte ..."
Abstract
- Add to MetaCart
hum.sagepub.com human relations Formal organizations and identity groups in social movements Kyoung-Hee Yu University of New South Wales, Australia Formal organizations advancing the goals of identity-based social movements and identity groups have become increasingly interdependent. The former
Reprints and permission: sagepub.
"... hum.sagepub.com human relations Formal organizations and identity groups in social movements Kyoung-Hee Yu University of New South Wales, Australia Formal organizations advancing the goals of identity-based social movements and identity groups have become increasingly interdependent. The former ofte ..."
Abstract
- Add to MetaCart
hum.sagepub.com human relations Formal organizations and identity groups in social movements Kyoung-Hee Yu University of New South Wales, Australia Formal organizations advancing the goals of identity-based social movements and identity groups have become increasingly interdependent. The former
AThe Design and Formalization of Mezzo, a Permission-Based Programming Language
"... The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We present the language at large, via an introduction along with some motivating examples. We then present a modular formalization of Mezzo’s core type system, in the form of a con ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We present the language at large, via an introduction along with some motivating examples. We then present a modular formalization of Mezzo’s core type system, in the form of a
Power and Permission in Security Systems
- Security Protocols. 7th International Workshop
, 1999
"... Introduction It is a standard feature of all organisations that designated agents, usually when acting in specific roles, are empowered by the organisation to create specified kinds of states of a#airs --- as when, for instance, a priest declares a couple as married and thereby makes it so in the ey ..."
Abstract
-
Cited by 10 (1 self)
- Add to MetaCart
) competence`, or `(legal) capacity'. Jones and Sergot [JS96] use the term institutionalised power to emphasise that this is not a feature of legal systems alone but commonplace in all organisations. The neutral term `institution' is used by them, and other authors, for any kind of formal or informal
Diploma Thesis Linklets- Formal Function Description and Permission Model submitted
, 2011
"... Linked Data is a current approach to provide resources for software agents and people, which is based on the successful principle of linking via HTTP-URIs. The four main principles of Linked Data are the employment of URIs for the identification of objects, their utilization by HTTP standards, the p ..."
Abstract
- Add to MetaCart
to the Linked Data principles and allows the access to data services. There are formal descriptions of their functionality, their input data and their output data. Thanks to these descriptions, an automatic search for Linked Data Services and their composi-tion is possible. The advantages of Linked Data
A Type System for Borrowing Permissions
"... In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of concurrency. To be usable, unique permissions must be borrowed — for example, one must be able to read a unique reference out ..."
Abstract
-
Cited by 22 (7 self)
- Add to MetaCart
, immutable, and shared permissions, together with new local permissions that say that a reference may not be stored to the heap. Our system also includes change permissions such as unique>>unique and unique>>none that describe how permissions flow in and out of method formal parameters. Together
Results 21 - 30
of
3,134
