Results 1 - 10
of
2,027
Notes on Concrete Representations
, 2009
"... These lectures will start with preliminaries (mostly below), then cover the Pálfy-Pudlák [3] reduction of the finite (abstract) congruence representation problem to the problem of representing finite lattices as intervals in finite groups. Finally we will consider McKenzie’s [1] results which put re ..."
Abstract
- Add to MetaCart
These lectures will start with preliminaries (mostly below), then cover the Pálfy-Pudlák [3] reduction of the finite (abstract) congruence representation problem to the problem of representing finite lattices as intervals in finite groups. Finally we will consider McKenzie’s [1] results which put
Proof-Carrying Code
, 1997
"... This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted source. For this to be possible, the untrusted code producer must supply with the code a safety proo ..."
Abstract
-
Cited by 1240 (27 self)
- Add to MetaCart
. We show in this paper how proof-carrying code might be used to develop safe assembly-language extensions of ML programs. In the context of this case study, we present and prove the adequacy of concrete representations for the safety policy, the safety proofs, and the proof validation. Finally, we
Generation and Synchronous Tree-Adjoining Grammars
, 1990
"... Tree-adjoining grammars (TAG) have been proposed as a formalism for generation based on the intuition that the extended domain of syntactic locality that TAGs provide should aid in localizing semantic dependencies as well, in turn serving as an aid to generation from semantic representations. We dem ..."
Abstract
-
Cited by 774 (43 self)
- Add to MetaCart
Tree-adjoining grammars (TAG) have been proposed as a formalism for generation based on the intuition that the extended domain of syntactic locality that TAGs provide should aid in localizing semantic dependencies as well, in turn serving as an aid to generation from semantic representations. We
Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,
, 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract
-
Cited by 622 (2 self)
- Add to MetaCart
with ambiguities regarding the processes by which individuals adapt to changing levels in stimulation. Individuals' levels of activation decrease markedly as a function of familiarity with a given stimulus situation. However, after a period of rest, re-presentation of the same stimulus situation will once
Integration of the cognitive and the psychodynamic unconscious
- American Psychologist
, 1994
"... Cognitive-experiential self-theory integrates the cognitive and the psychodynamic unconscious by assuming the ex-istence of two parallel, interacting modes of information processing: a rational system and an emotionally driven experiential system. Support for the theory is provided by the convergenc ..."
Abstract
-
Cited by 477 (1 self)
- Add to MetaCart
by the convergence of a wide variety of theoretical positions on two similar processing modes; by real-life phenom-ena—such as conflicts between the heart and the head; the appeal of concrete, imagistic, and narrative represen-tations; superstitious thinking; and the ubiquity of religion throughout recorded history
1 When Best Intentions Go Awry: The Failures of Concrete Representations to Help Solve Probability Word Problems
"... Abstract: We replicated the general results of two previous experiments showing that external representations hinder college students ’ ability to solve probability word problems. In the present experiment, we converted our training and a portion of our practice materials to a multimedia format. Th ..."
Abstract
- Add to MetaCart
. The concrete-representations group was instructed in how to use Venn diagrams to solve probability problems involving non-mutually exclusive events; the control group was instructed only in the formulation of equations. Results indicated that the control group outperformed the concrete-representations group
1Using the Concrete–Representational–Abstract Sequence to Teach Subtraction With Regrouping to Students at Risk for Failure
"... This study investigated the effects of the concrete–representational–abstract (CRA) instructional sequence on the subtraction performance of students identified as at-risk for mathematics failure. Although the CRA sequence has been demonstrated as effective for teaching a variety of mathematical ski ..."
Abstract
- Add to MetaCart
This study investigated the effects of the concrete–representational–abstract (CRA) instructional sequence on the subtraction performance of students identified as at-risk for mathematics failure. Although the CRA sequence has been demonstrated as effective for teaching a variety of mathematical
Using the concrete-representational-abstract sequence to teach subtraction with regrouping to students at risk for failure. In Remedial and special education online first. Hammill Institute on Disabilities. Retrieved from http://rse.sagepub.com doi:10.117
, 2009
"... This study investigated the effects of the concrete–representational–abstract (CRA) instructional sequence on the subtraction performance of students identified as at-risk for mathematics failure. Although the CRA sequence has been demonstrated as effective for teaching a variety of mathematical ski ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
This study investigated the effects of the concrete–representational–abstract (CRA) instructional sequence on the subtraction performance of students identified as at-risk for mathematics failure. Although the CRA sequence has been demonstrated as effective for teaching a variety of mathematical
Results 1 - 10
of
2,027