Results 1  10
of
2,351
Category Theory as Coherently Constructive Lattice Theory: An Illustration
, 1994
"... Dijkstra and Scholten have formulated a theorem stating that all disjunctivity properties of a predicate transformer are preserved by the construction of least prefix points. An alternative proof of their theorem is presented based on two fundamental fixed point theorems, the abstraction theorem ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
lattice theory to formulate theorems in category theory (first advocated by Lambek in 1968). W...
The role of knowledge in discourse comprehension: A constructionintegration model
 Psychological Review
, 1988
"... In contrast to expectationbased, predictive views of discourse comprehension, a model is developed in which the initial processing is strictly bottomup. Word meanings are activated, propositions are formed, and inferences and elaborations are produced without regard to the discourse context. Howev ..."
Abstract

Cited by 476 (7 self)
 Add to MetaCart
standing provides a plausible account for some wellknown phenomena in this area. Discourse comprehension, from the viewpoint of a computational theory, involves constructing a representation of a discourse upon which various computations can be performed, the outcomes of which are commonly taken as evidence
Framing: toward clarification of a fractured paradigm’’,
 Journal of Communication
, 1993
"... In response to the proposition that communication lacks disciplinary status because of deficient core knowledge, I propose that we turn an ostensible weakness into a strength. We should identify our mission as bringing together insights and theories that would otherwise remain scattered in other di ..."
Abstract

Cited by 620 (1 self)
 Add to MetaCart
of communication might contribute something unique: synthesizing a key concept's disparate uses, showing how they invariably involve communication, and constructing a coherent theory from them. Whatever its specific use, the concept of framing consistently offers a way to describe the power of a communicating
Flocking for MultiAgent Dynamic Systems: Algorithms and Theory
, 2006
"... In this paper, we present a theoretical framework for design and analysis of distributed flocking algorithms. Two cases of flocking in freespace and presence of multiple obstacles are considered. We present three flocking algorithms: two for freeflocking and one for constrained flocking. A compre ..."
Abstract

Cited by 436 (2 self)
 Add to MetaCart
fragmentation, whereas the second and third algorithms both lead to flocking. A systematic method is provided for construction of cost functions (or collective potentials) for flocking. These collective potentials penalize deviation from a class of latticeshape objects called αlattices. We use a multi
A theory of causal learning in children: Causal maps and Bayes nets
 PSYCHOLOGICAL REVIEW
, 2004
"... The authors outline a cognitive and computational account of causal learning in children. They propose that children use specialized cognitive systems that allow them to recover an accurate “causal map ” of the world: an abstract, coherent, learned representation of the causal relations among events ..."
Abstract

Cited by 258 (49 self)
 Add to MetaCart
The authors outline a cognitive and computational account of causal learning in children. They propose that children use specialized cognitive systems that allow them to recover an accurate “causal map ” of the world: an abstract, coherent, learned representation of the causal relations among
Thematic relations as links between nominal reference and temporal constitution
, 1992
"... This paper treats the correspondence between the reference type of NPs (i.e., mass nouns, count nouns, measure constructions, plurals) and the temporal constitution of verbal predicates (i.e., activities, accomplishments). A theory will be developed that handles the well known influence of the refe ..."
Abstract

Cited by 255 (4 self)
 Add to MetaCart
This paper treats the correspondence between the reference type of NPs (i.e., mass nouns, count nouns, measure constructions, plurals) and the temporal constitution of verbal predicates (i.e., activities, accomplishments). A theory will be developed that handles the well known influence
Covariant operator formalism of gauge theories and quantum gravity,” World Sci. Lect. Notes Phys
, 1990
"... The new method proposed previously for solving the covariant operator formalism of quantum Einstein gravity is applied to quantum electrodynamics as an exercise of the application to quantum chromodynamics. The purposes of doing this are to establish the details of the method and to reconfirm the va ..."
Abstract

Cited by 214 (5 self)
 Add to MetaCart
the validity of the method. The Wightman functions are explicitly constructed, at tree and oneloop levels, so as to be consistent with fourdimensional multiple (anti)commutators and with the energypositivity condition. Quantum chromodynamics is a nonabelian gauge theory, for which the covariant operator
Constructive Lattice Theory
, 1993
"... A notion of simulation of one datatype by another is defined as a constructive preorder. A calculus of datatype simulation is then developed by formulating constructive versions of leastfixedpoint theorems in lattice theory. The calculus is applied to the construction of several isomorphisms betwe ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
A notion of simulation of one datatype by another is defined as a constructive preorder. A calculus of datatype simulation is then developed by formulating constructive versions of leastfixedpoint theorems in lattice theory. The calculus is applied to the construction of several isomorphisms
On the Deformation Theory of Representations of Fundamental Groups of Compact Hyperbolic 3Manifolds
, 1996
"... . We construct compact hyperbolic 3manifolds M 1 ; M 2 and an irreducible representation ae 1 : ß 1 (M 1 ) ! SO(3) so that the singularity of the representation variety of ß 1 (M 1 ) into SO(3) at ae 1 is not quadratic. We prove that for any semisimple Lie group G the singularity of the representat ..."
Abstract

Cited by 165 (8 self)
 Add to MetaCart
11 6 Singularities near the trivial representation 13 7 Construction of lattices 13 8 Construction of linkages 17 9 Deformations of mechanical linkages 17 10 Representation varieties with nonquadratic singularities 20 11 Deformation theory near the identity representation 22 The first author
Results 1  10
of
2,351