Generalized Abstract Symbolic Summaries
NASA Technical Reports Server (NTRS)
Person, Suzette; Dwyer, Matthew B.
2009-01-01
Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.
Abstraction in perceptual symbol systems.
Barsalou, Lawrence W
2003-01-01
After reviewing six senses of abstraction, this article focuses on abstractions that take the form of summary representations. Three central properties of these abstractions are established: ( i ) type-token interpretation; (ii) structured representation; and (iii) dynamic realization. Traditional theories of representation handle interpretation and structure well but are not sufficiently dynamical. Conversely, connectionist theories are exquisitely dynamic but have problems with structure. Perceptual symbol systems offer an approach that implements all three properties naturally. Within this framework, a loose collection of property and relation simulators develops to represent abstractions. Type-token interpretation results from binding a property simulator to a region of a perceived or simulated category member. Structured representation results from binding a configuration of property and relation simulators to multiple regions in an integrated manner. Dynamic realization results from applying different subsets of property and relation simulators to category members on different occasions. From this standpoint, there are no permanent or complete abstractions of a category in memory. Instead, abstraction is the skill to construct temporary online interpretations of a category's members. Although an infinite number of abstractions are possible, attractors develop for habitual approaches to interpretation. This approach provides new ways of thinking about abstraction phenomena in categorization, inference, background knowledge and learning. PMID:12903648
Abstract Expression Grammar Symbolic Regression
NASA Astrophysics Data System (ADS)
Korns, Michael F.
This chapter examines the use of Abstract Expression Grammars to perform the entire Symbolic Regression process without the use of Genetic Programming per se. The techniques explored produce a symbolic regression engine which has absolutely no bloat, which allows total user control of the search space and output formulas, which is faster, and more accurate than the engines produced in our previous papers using Genetic Programming. The genome is an all vector structure with four chromosomes plus additional epigenetic and constraint vectors, allowing total user control of the search space and the final output formulas. A combination of specialized compiler techniques, genetic algorithms, particle swarm, aged layered populations, plus discrete and continuous differential evolution are used to produce an improved symbolic regression sytem. Nine base test cases, from the literature, are used to test the improvement in speed and accuracy. The improved results indicate that these techniques move us a big step closer toward future industrial strength symbolic regression systems.
A difference ring theory for symbolic summation☆
Schneider, Carsten
2016-01-01
A summation framework is developed that enhances Karr's difference field approach. It covers not only indefinite nested sums and products in terms of transcendental extensions, but it can treat, e.g., nested products defined over roots of unity. The theory of the so-called RΠΣ⁎-extensions is supplemented by algorithms that support the construction of such difference rings automatically and that assist in the task to tackle symbolic summation problems. Algorithms are presented that solve parameterized telescoping equations, and more generally parameterized first-order difference equations, in the given difference ring. As a consequence, one obtains algorithms for the summation paradigms of telescoping and Zeilberger's creative telescoping. With this difference ring theory one gets a rigorous summation machinery that has been applied to numerous challenging problems coming, e.g., from combinatorics and particle physics. PMID:26726284
A Theory for Educational Research: Socialisation Theory and Symbolic Interaction
ERIC Educational Resources Information Center
Potts, Anthony
2015-01-01
This article develops a theory of socialisation based on the Chicago School of symbolic interactionism but infused with new and important insights offered by contemporary scholars and their writings on roles and relationships in the twenty first century and life in the informational, network and global world. While still rooted in the seminal…
Symbolic LTL Compilation for Model Checking: Extended Abstract
NASA Technical Reports Server (NTRS)
Rozier, Kristin Y.; Vardi, Moshe Y.
2007-01-01
In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.
Toward a Unified Sub-symbolic Computational Theory of Cognition
Butz, Martin V.
2016-01-01
This paper proposes how various disciplinary theories of cognition may be combined into a unifying, sub-symbolic, computational theory of cognition. The following theories are considered for integration: psychological theories, including the theory of event coding, event segmentation theory, the theory of anticipatory behavioral control, and concept development; artificial intelligence and machine learning theories, including reinforcement learning and generative artificial neural networks; and theories from theoretical and computational neuroscience, including predictive coding and free energy-based inference. In the light of such a potential unification, it is discussed how abstract cognitive, conceptualized knowledge and understanding may be learned from actively gathered sensorimotor experiences. The unification rests on the free energy-based inference principle, which essentially implies that the brain builds a predictive, generative model of its environment. Neural activity-oriented inference causes the continuous adaptation of the currently active predictive encodings. Neural structure-oriented inference causes the longer term adaptation of the developing generative model as a whole. Finally, active inference strives for maintaining internal homeostasis, causing goal-directed motor behavior. To learn abstract, hierarchical encodings, however, it is proposed that free energy-based inference needs to be enhanced with structural priors, which bias cognitive development toward the formation of particular, behaviorally suitable encoding structures. As a result, it is hypothesized how abstract concepts can develop from, and thus how they are structured by and grounded in, sensorimotor experiences. Moreover, it is sketched-out how symbol-like thought can be generated by a temporarily active set of predictive encodings, which constitute a distributed neural attractor in the form of an interactive free-energy minimum. The activated, interactive network attractor
Toward a Unified Sub-symbolic Computational Theory of Cognition.
Butz, Martin V
2016-01-01
This paper proposes how various disciplinary theories of cognition may be combined into a unifying, sub-symbolic, computational theory of cognition. The following theories are considered for integration: psychological theories, including the theory of event coding, event segmentation theory, the theory of anticipatory behavioral control, and concept development; artificial intelligence and machine learning theories, including reinforcement learning and generative artificial neural networks; and theories from theoretical and computational neuroscience, including predictive coding and free energy-based inference. In the light of such a potential unification, it is discussed how abstract cognitive, conceptualized knowledge and understanding may be learned from actively gathered sensorimotor experiences. The unification rests on the free energy-based inference principle, which essentially implies that the brain builds a predictive, generative model of its environment. Neural activity-oriented inference causes the continuous adaptation of the currently active predictive encodings. Neural structure-oriented inference causes the longer term adaptation of the developing generative model as a whole. Finally, active inference strives for maintaining internal homeostasis, causing goal-directed motor behavior. To learn abstract, hierarchical encodings, however, it is proposed that free energy-based inference needs to be enhanced with structural priors, which bias cognitive development toward the formation of particular, behaviorally suitable encoding structures. As a result, it is hypothesized how abstract concepts can develop from, and thus how they are structured by and grounded in, sensorimotor experiences. Moreover, it is sketched-out how symbol-like thought can be generated by a temporarily active set of predictive encodings, which constitute a distributed neural attractor in the form of an interactive free-energy minimum. The activated, interactive network attractor
A Theory of Developing Competence with Written Mathematical Symbols.
ERIC Educational Resources Information Center
Hiebert, James
1988-01-01
Presented is a theory of how competence with written mathematical symbols develops, tracing a succession of cognitive processes that cumulate to yield competence. Arguments supporting the theory are drawn from the history, philosophy, and psychology of mathematics. (MNS)
How neurons make meaning: brain mechanisms for embodied and abstract-symbolic semantics.
Pulvermüller, Friedemann
2013-09-01
How brain structures and neuronal circuits mechanistically underpin symbolic meaning has recently been elucidated by neuroimaging, neuropsychological, and neurocomputational research. Modality-specific 'embodied' mechanisms anchored in sensorimotor systems appear to be relevant, as are 'disembodied' mechanisms in multimodal areas. In this paper, four semantic mechanisms are proposed and spelt out at the level of neuronal circuits: referential semantics, which establishes links between symbols and the objects and actions they are used to speak about; combinatorial semantics, which enables the learning of symbolic meaning from context; emotional-affective semantics, which establishes links between signs and internal states of the body; and abstraction mechanisms for generalizing over a range of instances of semantic meaning. Referential, combinatorial, emotional-affective, and abstract semantics are complementary mechanisms, each necessary for processing meaning in mind and brain. PMID:23932069
From Sailing Ships to Subtraction Symbols: Multiple Representations to Support Abstraction
ERIC Educational Resources Information Center
Jao, Limin
2013-01-01
Teachers are tasked with supporting students' learning of abstract mathematical concepts. Students can represent their mathematical understanding in a variety of modes, for example: manipulatives, pictures, diagrams, spoken languages, and written symbols. Although most students easily pick up rudimentary knowledge through the use of concrete…
Making Sense of Mathematical Graphics: The Development of Understanding Abstract Symbolism
ERIC Educational Resources Information Center
Carruthers, Elizabeth; Worthington, Maulfry
2005-01-01
In this paper we develop our theory of "Bi-numeracy" and show the importance of children's own invented symbolism. Most studies to date have concentrated on the analysis of children's number representations in clinically set-up tasks (Hughes, 1986; Sinclair, 1988; Munn, 1994). These studies have added to our knowledge of and understanding of…
Rona's Story and the Theory of Symbolic Interactionism
ERIC Educational Resources Information Center
Naveh, Nissan
2010-01-01
This article presents a method for teaching the theory of symbolic interactionism in a high-school course--Introduction to Sociology. The role-playing game used as a method for teaching the theory is grounded on a philosophy of education whose principles call for meaningful and relevant learning, based on experiential activity and investigation of…
Defending Symbolic Convergence Theory from an Imaginary Gunn
ERIC Educational Resources Information Center
Bormann, Ernest G.; Cragan, John F.; Shields, Donald C.
2003-01-01
Joshua Gunn calls for the creation of a new post-humanist, -Marxist, -Freudian approach to rhetorical criticism that would combine literary, critical, and psychoanalytic methods in a new "popular imaginary" paradigm. While urging acceptance of his new paradigm, Gunn advances three major criticisms of symbolic convergence theory (SCT): (1) SCT is…
New symbolic tools for differential geometry, gravitation, and field theory
NASA Astrophysics Data System (ADS)
Anderson, I. M.; Torre, C. G.
2012-01-01
DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have allowed for development of powerful new tools for solving research problems in gravitation and field theory. The purpose of this paper is to describe some of these new tools and present some advanced applications involving: Killing vector fields and isometry groups, Killing tensors, algebraic classification of solutions of the Einstein equations, and symmetry reduction of field equations.
Reducing Abstraction When Learning Graph Theory
ERIC Educational Resources Information Center
Hazzan, Orit; Hadar, Irit
2005-01-01
This article presents research on students' understanding of basic concepts in Graph Theory. Students' understanding is analyzed through the lens of the theoretical framework of reducing abstraction (Hazzan, 1999). As it turns out, in spite of the relative simplicity of the concepts that are introduced in the introductory part of a traditional…
ERIC Educational Resources Information Center
Myers, Lauren J.; Liben, Lynn S.
2012-01-01
Children gradually develop interpretive theory of mind (iToM)--the understanding that different people may interpret identical events or stimuli differently. The present study tested whether more advanced iToM underlies children's recognition that map symbols' meanings must be communicated to others when symbols are iconic (resemble their…
A Semantic Theory of Abstractions: A Preliminary Report
NASA Technical Reports Server (NTRS)
Nayak, P. Pandurang; Levy, Alon Y.; Lum, Henry, Jr. (Technical Monitor)
1994-01-01
In this paper we present a semantic theory of abstractions based on viewing abstractions as interpretations between theories. This theory captures important aspects of abstractions not captured in the theory of abstractions presented by Giunchiglia and Walsh. Instead of viewing abstractions as syntactic mappings, we view abstractions as a two step process: the intended domain model is first abstracted and then a set of (abstract) formulas is constructed to capture the abstracted domain model. Viewing and justifying abstractions as model level transformations is both natural and insightful. We provide a precise characterization of the abstract theory that exactly implements the intended abstraction, and show that this theory, while being axiomatizable, is not always finitely axiomatizable. A simple corollary of the latter result disproves a conjecture made by Tenenberg that if a theory is finitely axiomatizable, then predicate abstraction of that theory leads to a finitely axiomatizable theory.
Lyons, Ian M; Ansari, Daniel
2009-09-01
Although significant insights into the neural basis of numerical and mathematical processing have been made, the neural processes that enable abstract symbols to become numerical remain largely unexplored in humans. In the present study, adult participants were trained to associate novel symbols with nonsymbolic numerical magnitudes (arrays of dots). Functional magnetic resonance imaging was used to examine the neural correlates of numerical comparison versus recognition of the novel symbols after each of two training stages. A left-lateralized fronto-parietal network, including the intraparietal sulcus, the precuneus, and the dorsal prefrontal cortex, was more active during numerical comparison than during perceptual recognition. In contrast, a network including bilateral temporal-occipital regions was more active during recognition than comparison. A whole-brain three-way interaction revealed that those individuals who had higher scores on a postscan numerical task (measuring their understanding of the global numerical organization of the novel symbols) exhibited increasing segregation between the two tasks in the bilateral intraparietal sulci as a function of increased training. Furthermore, whole-brain regression analysis showed that activity in the left intraparietal sulcus was systematically related to the effect of numerical distance on accuracy. These data provide converging evidence that parietal and left prefrontal cortices are involved in learning to map numerical quantities onto visual symbols. Only the parietal cortex, however, appeared systematically related to the degree to which individuals learned to associate novel symbols with their numerical referents. We conclude that the left parietal cortex, in particular, may play a central role in imbuing visual symbols with numerical meaning. PMID:18823231
ERIC Educational Resources Information Center
Rank, Mark R.; LeCroy, Craig W.
1983-01-01
Examines the complementarity of three often-used theories in family research: social exchange theory, symbolic interactionism, and conflict theory. Provides a case example in which a multiple perspective is applied to a problem of marital discord. Discusses implications for the clinician. (Author/WAS)
Understanding Fraternity Hazing: Insights from Symbolic Interactionist Theory.
ERIC Educational Resources Information Center
Sweet, Stephen
1999-01-01
Reports on an analysis through a symbolic interactionist perspective that indicates that hazing occurs because fraternities view it as a necessary component of their initiation rites. Posits that fraternities use systematic manipulation of symbols, social relations, and definitions of situations while reshaping the pledge's "self." Suggests…
NASA Technical Reports Server (NTRS)
Grossman, Robert
1991-01-01
Algorithms previously developed by the author give formulas which can be used for the efficient symbolic computation of series expansions to solutions of nonlinear systems of ordinary differential equations. As a by product of this analysis, formulas are derived which relate to trees to the coefficients of the series expansions, similar to the work of Leroux and Viennot, and Lamnabhi, Leroux and Viennot.
The Contribution of Symbolic Skills to the Development of an Explicit Theory of Mind
ERIC Educational Resources Information Center
Lillard, Angeline S.; Kavanaugh, Robert D.
2014-01-01
Theorists have speculated about the symbolic underpinnings of theory of mind (ToM), but no study has examined them across the main developmental span of ToM. Here, the onset of symbolic understandings in three domains (pretend play, language, and understanding representations) and ToM was examined. Fifty-eight children were tested on batteries of…
Leibovich, Tali; Ansari, Daniel
2016-03-01
How do numerical symbols, such as number words, acquire semantic meaning? This question, also referred to as the "symbol-grounding problem," is a central problem in the field of numerical cognition. Present theories suggest that symbols acquire their meaning by being mapped onto an approximate system for the nonsymbolic representation of number (Approximate Number System or ANS). In the present literature review, we first asked to which extent current behavioural and neuroimaging data support this theory, and second, to which extent the ANS, upon which symbolic numbers are assumed to be grounded, is numerical in nature. We conclude that (a) current evidence that has examined the association between the ANS and number symbols does not support the notion that number symbols are grounded in the ANS and (b) given the strong correlation between numerosity and continuous variables in nonsymbolic number processing tasks, it is next to impossible to measure the pure association between symbolic and nonsymbolic numerosity. Instead, it is clear that significant cognitive control resources are required to disambiguate numerical from continuous variables during nonsymbolic number processing. Thus, if there exists any mapping between the ANS and symbolic number, then this process of association must be mediated by cognitive control. Taken together, we suggest that studying the role of both cognitive control and continuous variables in numerosity comparison tasks will provide a more complete picture of the symbol-grounding problem. PMID:26913782
Forsdyke, Donald R
2015-09-01
Today's 'theory of mind' (ToM) concept is rooted in the distinction of nineteenth-century philosopher William Clifford between 'objects' that can be directly perceived and 'ejects', such as the mind of another person, which are inferred from one's subjective knowledge of one's own mind. George Romanes, a founder with Charles Darwin of the discipline of comparative psychology, considered the minds of animals as ejects, an idea that could be generalized to 'society as eject' and, ultimately, 'the world as an eject' - mind in the universe. Yet, Romanes and Clifford only vaguely connected mind with the abstraction we call 'information', which needs 'a vehicle of symbols' - a material transporting medium. However, Samuel Butler was able to address, in informational terms depleted of theological trappings, both organic evolution and mind in the universe. This view harmonizes with insights arising from modern DNA research, the relative immortality of 'selfish' genes, and some startling recent developments in brain research. PMID:26254127
SYMBOLS USED IN MUSIC ANALYSIS.
ERIC Educational Resources Information Center
JONES, GEORGE T.
A RECOMMENDED STANDARDIZED SYMBOLIZATION RESULTED FROM A DETAILED COMPARATIVE STUDY OF ANALYTICAL SYMBOLIZATION AND TERMINOLOGY FOUND IN MUSIC THEORY AND HARMONY TEXTBOOKS WHICH WERE IN GENERAL USE IN THE UNITED STATES. OVER 200 MEMBER SCHOOLS OF THE NATIONAL ASSOCIATION OF SCHOOLS OF MUSIC PROVIDED DATA ON MATERIALS. ABSTRACTS SHOWING…
On Agency and Structure: Pierre Bourdieu and Jean-Claude Passeron's Theory of Symbolic Violence.
ERIC Educational Resources Information Center
Lakomski, Gabriele
1984-01-01
The theory of symbolic violence, a structuralist theory of socialization and reproduction of social inequality, is analyzed and criticized as insinuating a radical stance while hiding its objectivist nature and defeatist assumptions. The central concepts of power, power relations, habitus, and the term "arbitrary" are discussed. (MJL)
ERIC Educational Resources Information Center
Hinton, Leanne, Ed.; And Others
Sound symbolism is the study of the relationship between the sound of an utterance and its meaning. In this interdisciplinary collection of new studies, 24 leading scholars discuss the role of sound symbolism in a theory of language. Contributions and authors include the following: "Sound-Symbolic Processes" (Leanne Hinton, Johanna Nichols, John…
The contribution of symbolic skills to the development of an explicit theory of mind.
Lillard, Angeline S; Kavanaugh, Robert D
2014-01-01
Theorists have speculated about the symbolic underpinnings of theory of mind (ToM), but no study has examined them across the main developmental span of ToM. Here, the onset of symbolic understandings in three domains (pretend play, language, and understanding representations) and ToM was examined. Fifty-eight children were tested on batteries of tasks four times from ages 2.5 to 5 years. Some significant interrelations among variables were seen at each age level. Canonical correlation analysis found that a subset of the symbolic variables was significantly related to ToM at ages 4 and 5, providing the best evidence to date that ToM is undergirded by a symbolic element that also supports language, pretend play, and representational understanding. PMID:24502297
SymGF: A Symbolic Tool for Quantum Transport Theory
NASA Astrophysics Data System (ADS)
Feng, Zi Min
In this thesis, I report the development and application of a symbolic derivation tool named "SymGF'' - standing for Symbolic Green's Function, that can automatically and analytically derive quantum transport expressions and the associated Keldysh nonequilibrium Green's functions (NEGF). Quantum transport happens in open systems consisting of a scattering region coupled to external electrodes. When there are strong electron-electron interactions in the scattering region, analytical derivations of the Green's functions can be very tedious and error prone. Running on a personal computer, SymGF derives the necessary analytical formulas at a level of correlation specified by the user, using the equation of motion (EOM) method. The input to SymGF are the second quantized form the device Hamiltonian, the (anti)commutators of the operators that appear in the Hamiltonian, and a truncation rule for the correlators which determines the accuracy of the final outcome. The output of SymGF are the analytical expressions of transport properties such as electric current and conductance in terms of various Green's functions; as well as the Green's functions themselves in terms of the unperturbed non-interacting Green's functions that can be obtained straightforwardly. For systems where electron-electron interaction can be neglected, the transport problems can be easily solved and SymGF is not necessary - even though SymGF gives the same answer; but for interacting systems SymGF drastically reduces the mathematical burden of analytical derivations. We have tested SymGF for several transport problems involving Kondo resonances where analytical derivations were done by humans: exactly the same results were obtained by SymGF but in a tiny fraction of time. We have applied SymGF to new and very hard problems that resist analytical derivations by hand, including quantum transport in a double quantum dot system; transport through a single quantum dot in parallel to a direct lead
Philosophical Roots of Classical Grounded Theory: Its Foundations in Symbolic Interactionism
ERIC Educational Resources Information Center
Aldiabat, Khaldoun M.; Le Navenec, Carole-Lynne
2011-01-01
Although many researchers have discussed the historical relationship between the Grounded Theory methodology and Symbolic Interactionism, they have not clearly articulated the congruency of their salient concepts and assumptions. The purpose of this paper is to provide a thorough discussion of this congruency. A hypothetical example about smoking…
Mind-Mindedness and Theory of Mind: Mediating Roles of Language and Perspectival Symbolic Play
ERIC Educational Resources Information Center
Meins, Elizabeth; Fernyhough, Charles; Arnott, Bronia; Leekam, Susan R.; de Rosnay, Marc
2013-01-01
Relations among indices of maternal mind-mindedness (appropriate and nonattuned mind-related comments) and children's: (a) internal state vocabulary and perspectival symbolic play at 26 months ("N" = 206), and (b) theory of mind (ToM) at 51 months ("n" = 161) were investigated. Appropriate comments were positively…
Abstraction/Representation Theory for heterotic physical computing.
Horsman, D C
2015-07-28
We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. PMID:26078343
A Bayesian Theory of Sequential Causal Learning and Abstract Transfer.
Lu, Hongjing; Rojas, Randall R; Beckers, Tom; Yuille, Alan L
2016-03-01
Two key research issues in the field of causal learning are how people acquire causal knowledge when observing data that are presented sequentially, and the level of abstraction at which learning takes place. Does sequential causal learning solely involve the acquisition of specific cause-effect links, or do learners also acquire knowledge about abstract causal constraints? Recent empirical studies have revealed that experience with one set of causal cues can dramatically alter subsequent learning and performance with entirely different cues, suggesting that learning involves abstract transfer, and such transfer effects involve sequential presentation of distinct sets of causal cues. It has been demonstrated that pre-training (or even post-training) can modulate classic causal learning phenomena such as forward and backward blocking. To account for these effects, we propose a Bayesian theory of sequential causal learning. The theory assumes that humans are able to consider and use several alternative causal generative models, each instantiating a different causal integration rule. Model selection is used to decide which integration rule to use in a given learning environment in order to infer causal knowledge from sequential data. Detailed computer simulations demonstrate that humans rely on the abstract characteristics of outcome variables (e.g., binary vs. continuous) to select a causal integration rule, which in turn alters causal learning in a variety of blocking and overshadowing paradigms. When the nature of the outcome variable is ambiguous, humans select the model that yields the best fit with the recent environment, and then apply it to subsequent learning tasks. Based on sequential patterns of cue-outcome co-occurrence, the theory can account for a range of phenomena in sequential causal learning, including various blocking effects, primacy effects in some experimental conditions, and apparently abstract transfer of causal knowledge. PMID:25902728
Abstract framework for the theory of statistical solutions
NASA Astrophysics Data System (ADS)
Bronzi, A. C.; Mondaini, C. F.; Rosa, R. M. S.
2016-06-01
An abstract framework for the theory of statistical solutions is developed for general evolution equations, extending the theory initially developed for the three-dimensional incompressible Navier-Stokes equations. The motivation for this concept is to model the evolution of uncertainties on the initial conditions for systems which have global solutions that are not known to be unique. Both concepts of statistical solution in trajectory space and in phase space are given, and the corresponding results of existence of statistical solution for the associated initial value problems are proved. The wide applicability of the theory is illustrated with the very incompressible Navier-Stokes equations, a reaction-diffusion equation, and a nonlinear wave equation, all displaying the property of global existence of weak solutions without a known result of global uniqueness.
Ernst Cassirer's Philosophy of Symbolic Forms and its impact on the theory of psychopathology.
Andersch, Norbert; Cutting, John
2014-05-19
The philosopher Ernst Cassirer (1874-1945) wrote in 1929: 'For what it [the philosophy of symbolic forms] is seeking is not so much common factors in being as common factors in meaning. Hence we must strive to bring the teachings of pathology, which cannot be ignored, into the more universal context of the philosophy of culture' (Cassirer, 1955: 275). This statement summarizes his approach in shifting the focus on psychopathological theory from the brain and its localizations to the living interaction between the self and his/her social environment. The present article looks at the impact of symbol theory on psychopathology - pre- and post-Cassirer's main oeuvre Philosophie der symbolischen Formen - and whether his concept still has a role to play in an ontology of psychopathology. PMID:24840218
Gillespie-Lynch, Kristen; Greenfield, Patricia M.; Lyn, Heidi; Savage-Rumbaugh, Sue
2014-01-01
What are the implications of similarities and differences in the gestural and symbolic development of apes and humans?This focused review uses as a starting point our recent study that provided evidence that gesture supported the symbolic development of a chimpanzee, a bonobo, and a human child reared in language-enriched environments at comparable stages of communicative development. These three species constitute a complete clade, species possessing a common immediate ancestor. Communicative behaviors observed among all species in a clade are likely to have been present in the common ancestor. Similarities in the form and function of many gestures produced by the chimpanzee, bonobo, and human child suggest that shared non-verbal skills may underlie shared symbolic capacities. Indeed, an ontogenetic sequence from gesture to symbol was present across the clade but more pronounced in child than ape. Multimodal expressions of communicative intent (e.g., vocalization plus persistence or eye-contact) were normative for the child, but less common for the apes. These findings suggest that increasing multimodal expression of communicative intent may have supported the emergence of language among the ancestors of humans. Therefore, this focused review includes new studies, since our 2013 article, that support a multimodal theory of language evolution. PMID:25400607
Gillespie-Lynch, Kristen; Greenfield, Patricia M; Lyn, Heidi; Savage-Rumbaugh, Sue
2014-01-01
What are the implications of similarities and differences in the gestural and symbolic development of apes and humans?This focused review uses as a starting point our recent study that provided evidence that gesture supported the symbolic development of a chimpanzee, a bonobo, and a human child reared in language-enriched environments at comparable stages of communicative development. These three species constitute a complete clade, species possessing a common immediate ancestor. Communicative behaviors observed among all species in a clade are likely to have been present in the common ancestor. Similarities in the form and function of many gestures produced by the chimpanzee, bonobo, and human child suggest that shared non-verbal skills may underlie shared symbolic capacities. Indeed, an ontogenetic sequence from gesture to symbol was present across the clade but more pronounced in child than ape. Multimodal expressions of communicative intent (e.g., vocalization plus persistence or eye-contact) were normative for the child, but less common for the apes. These findings suggest that increasing multimodal expression of communicative intent may have supported the emergence of language among the ancestors of humans. Therefore, this focused review includes new studies, since our 2013 article, that support a multimodal theory of language evolution. PMID:25400607
ERIC Educational Resources Information Center
Shields, Donald C.
2000-01-01
Demonstrates that the concept of rhetorical vision yields insight into the creation, rise, and potential demise of a special theory--the critical autoethnography special theory (CAST). Explicates the Symbolic Convergence Theory's ability to explain how special communication theories come into being as the product of rhetorical visions containing…
ERIC Educational Resources Information Center
Bernstein, Basil; Solomon, Joseph
1999-01-01
Provides background information on Basil Bernstein and his theory of symbolic control and cultural production. Presents an interview with Bernstein addressing such topics as the concept of "pedagogy" and its role in his theory, "boundaries" as a conceptual key in his theory, and transformation of his theory. (CMK)
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Munoz, Cesar A.; Siminiceanu, Radu I.
2007-01-01
This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation.
ERIC Educational Resources Information Center
Dick, Anthony Steven; Overton, Willis F.; Kovacs, Stacie L.
2005-01-01
Children's developing competence with symbolic representations was assessed in 3 studies. Study 1 examined the hypothesis that the production of imaginary symbolic objects in pantomime requires the simultaneous coordination of the dual representations of a dynamic action and a symbolic object. We explored this coordination of symbolic…
A Bayesian Theory of Sequential Causal Learning and Abstract Transfer
ERIC Educational Resources Information Center
Lu, Hongjing; Rojas, Randall R.; Beckers, Tom; Yuille, Alan L.
2016-01-01
Two key research issues in the field of causal learning are how people acquire causal knowledge when observing data that are presented sequentially, and the level of abstraction at which learning takes place. Does sequential causal learning solely involve the acquisition of specific cause-effect links, or do learners also acquire knowledge about…
Critical Race Theory in Education, Marxism and Abstract Racial Domination
ERIC Educational Resources Information Center
Cole, Mike
2012-01-01
In the context of the ongoing debate between critical race theory (CRT) and Marxism, I begin in this paper by examining the origins of CRT in Critical Legal Studies (CLS) in the United States. I go on to describe CRT's entry into education, first in that country, and then in the United Kingdom. I move on to a discussion of current debates between…
Computer generation of symbolic network functions - A new theory and implementation.
NASA Technical Reports Server (NTRS)
Alderson, G. E.; Lin, P.-M.
1972-01-01
A new method is presented for obtaining network functions in which some, none, or all of the network elements are represented by symbolic parameters (i.e., symbolic network functions). Unlike the topological tree enumeration or signal flow graph methods generally used to derive symbolic network functions, the proposed procedure employs fast, efficient, numerical-type algorithms to determine the contribution of those network branches that are not represented by symbolic parameters. A computer program called NAPPE (for Network Analysis Program using Parameter Extractions) and incorporating all of the concepts discussed has been written. Several examples illustrating the usefulness and efficiency of NAPPE are presented.
Fifth international conference on hyperbolic problems -- theory, numerics, applications: Abstracts
1994-12-31
The conference demonstrated that hyperbolic problems and conservation laws play an important role in many areas including industrial applications and the studying of elasto-plastic materials. Among the various topics covered in the conference, the authors mention: the big bang theory, general relativity, critical phenomena, deformation and fracture of solids, shock wave interactions, numerical simulation in three dimensions, the level set method, multidimensional Riemann problem, application of the front tracking in petroleum reservoir simulations, global solution of the Navier-Stokes equations in high dimensions, recent progress in granular flow, and the study of elastic plastic materials. The authors believe that the new ideas, tools, methods, problems, theoretical results, numerical solutions and computational algorithms presented or discussed at the conference will benefit the participants in their current and future research.
Barsalou, L W
1999-08-01
Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statistics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement recording systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The storage and reactivation of perceptual symbols operates at the level of perceptual components--not at the level of holistic perceptual experiences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a common frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspection (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and abstract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinatorially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent
Chaos Theory: Self-Organization and Symbolic Representation in Family Systems.
ERIC Educational Resources Information Center
Butz, Michael R.; Carlson, J. Matthew; Carlson, Jon
1998-01-01
Proposes an integration of the use of symbols and metaphors that illustrates nonlinear dynamics through a case example weaving together contemporary science and human development in the context of family therapy. Discusses areas of future study. (Author/MKA)
Evaluation Practice and Theory: Up and down the Ladder of Abstraction
ERIC Educational Resources Information Center
Leviton, Laura C.
2015-01-01
Debra Rog presented the 2014 Eleanor Chelimsky Forum address, offering ways to integrate evaluation theory and practice by abundant use of practice examples. These examples illustrate the effective use of the Ladder of Abstraction from semantics, working from the concrete to the abstract and back again.
Dual Coding Theory, Word Abstractness, and Emotion: A Critical Review of Kousta et al. (2011)
ERIC Educational Resources Information Center
Paivio, Allan
2013-01-01
Kousta, Vigliocco, Del Campo, Vinson, and Andrews (2011) questioned the adequacy of dual coding theory and the context availability model as explanations of representational and processing differences between concrete and abstract words. They proposed an alternative approach that focuses on the role of emotional content in the processing of…
ERIC Educational Resources Information Center
Gropper, Robert; Woodcock, Richard W.
This study was divided into two parts: the primary purpose of the visual discrimination study was to examine the relationship between four rebus sizes and discriminability; and the primary purpose of the auditory visual association study was to examine the relationship between four sizes of rebus symbols and the ability to associate them with…
Tantalus, Restraint Theory, and the Low-Sacrifice Diet: The Art of Reverse Abstraction
Blair-West, George W.
2007-01-01
This paper argues that clinicians face the unique artistic challenge of taking concrete pieces of data – scientific findings – and abstracting them into effective therapeutic interventions. Moreover, this abstraction has to be modified for different personality types. The process of therapeutic change and how it can be impeded by the traditional medical model are briefly explored. The doctor-patient dyadic treatment relationship, while appropriate and necessary for many medical interventions, can disavow the source of change when it comes to lifestyle conditions such as obesity. Restraint theory and its origins in Greek mythology are briefly reviewed and integrated with Bowlby's attachment theory as precepts in developing a psychologically based dietary approach. By retaining in people's diets foods they have a deep emotional attachment to, the low-sacrifice diet attempts to encourage caloric restriction in a way that does not trigger rebound overeating. PMID:18311368
Symbolic Constraint Maintenance Grid
NASA Technical Reports Server (NTRS)
James, Mark
2006-01-01
Version 3.1 of Symbolic Constraint Maintenance Grid (SCMG) is a software system that provides a general conceptual framework for utilizing pre-existing programming techniques to perform symbolic transformations of data. SCMG also provides a language (and an associated communication method and protocol) for representing constraints on the original non-symbolic data. SCMG provides a facility for exchanging information between numeric and symbolic components without knowing the details of the components themselves. In essence, it integrates symbolic software tools (for diagnosis, prognosis, and planning) with non-artificial-intelligence software. SCMG executes a process of symbolic summarization and monitoring of continuous time series data that are being abstractly represented as symbolic templates of information exchange. This summarization process enables such symbolic- reasoning computing systems as artificial- intelligence planning systems to evaluate the significance and effects of channels of data more efficiently than would otherwise be possible. As a result of the increased efficiency in representation, reasoning software can monitor more channels and is thus able to perform monitoring and control functions more effectively.
ERIC Educational Resources Information Center
Brigham, Susan Mary
2011-01-01
In this paper I make the case that transformative learning theory, a specific adult learning theory, and an arts-informed research method have important value for teacher professional practice and teacher education. I refer to two phases of a study involving women who have immigrated to Maritime Canada and were teachers in their countries of…
McSherry, A
2013-11-01
This paper presents an outline of Lacan's theory of the human subject, in particular focusing on Lacan's concepts of the real, symbolic and imaginary registers, and how an understanding of these can inform change and practice in mental health nursing. Mental health nursing is under pressure to define itself as a practice distinct from other professions in the field, and to respond in new ways to promoting mental health to the individual and a wider public. Lacan's theory of the subject is of particular relevance to mental health nurses working with mental distress but has received little attention in mental health nursing literature. Six implications for practice are outlined in terms of: against normalization, the importance of the function of the symptom, what cannot be known, meaning as ever-changing, against empathy and against holistic ideas of the self. PMID:23145967
Abstract Quantum Theory and Space-Time Structure. I. Ur Theory and Bekenstein-Hawking Entropy
NASA Astrophysics Data System (ADS)
Görnitz, Thomas
1988-05-01
We discuss the close connection between a quantum theory of binary alternatives and the local Lorentzian structure of space-time, and outline v. Weizsäcker's concept of the “ur”-the quantized binary alternative. Then space-time is introduced mathematically as a symmetric space of the invariance group of the ur. It is physically interpreted as “the” cosmological space-time, the universe. In our model spacelike structures rest on the concept of “hypermembranes”—dynamical manifolds of codimension 1 in space-time. For a given number of urs a smallest length is introduced in this cosmic model by group-theoretic arguments. Already before introducing a dynamics the concept of isolated noncomposite objects can be given. They can be understood as simple models either for elementary particles or for black holes. Identifying the maximal localized states of many urs with a localized state of a particle, we get a good description of the large cosmological numbers and also a lower bound for a neutrino mass. A simple counting of the particle states given from the ur-theoretic ansatz allows an easy explanation of the Bekenstein-Hawking entropy.
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 18 titles deal with the following topics: (1) the rhetorical theory and practice of Walter Lippmann; (2) communication, "root-metaphor" orientation, and decision making; (3) teaching as rhetoric; (4) the conditions and elements…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The nine titles deal with the following topics: (1) the theory and application of presumption in public debate; (2) the rhetoric of transcendentalism; (3) speechwriting in rhetorical criticism; (4) the conspiracy argument as…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The ten titles deal with the following topics: (1) rhetorical theories for college writing teachers, (2) contemporary rhetorical criticism of literary art, (3) the rhetoric of the new religious cults, (4) Victorian argument, (5)…
Language Ecology in Multilingual Settings. Towards a Theory of Symbolic Competence
ERIC Educational Resources Information Center
Kramsch, Claire; Whiteside, Anne
2008-01-01
This paper draws on complexity theory and post-modern sociolinguistics to explore how an ecological approach to language data can illuminate aspects of language use in multilingual environments. We first examine transcripts of exchanges taking place among multilingual individuals in multicultural settings. We briefly review what conversation and…
ERIC Educational Resources Information Center
Podgor, Ellen S.
1976-01-01
The concept of symbolic speech emanates from the 1967 case of United States v. O'Brien. These discussions of flag desecration, grooming and dress codes, nude entertainment, buttons and badges, and musical expression show that the courts place symbolic speech in different strata from verbal communication. (LBH)
Van Lange, Paul A M
2013-02-01
The construction and development of theory is one of the central routes to scientific progress. But what exactly constitutes a good theory? What is it that people might expect from an ideal theory? This article advances a new model, which delineates truth, abstraction, progress, and applicability as standards (TAPAS) for a good theory. After providing the rationale for TAPAS, this article evaluates several social-psychological theories in terms of TAPAS, especially classic theories, and illustrates its utility with some more recent theoretical contributions of social psychology. This article concludes by outlining recommendations for effective theory construction and development, such as the utility of meta-analytic approaches for pursuing truth, the utility of theory-oriented courses and journals for pursuing abstraction, and the utility of adversarial collaboration for pursuing progress, and reaching out to major personal or societal issues for pursuing applicability. PMID:22854861
Abstraction, Re-Presentation, and Reflection, an Interpretation of Experience and Piaget's Approach.
ERIC Educational Resources Information Center
von Glasersfeld, Ernst
In this paper, Piaget's theory is analyzed using Locke's philosophy. The first part, "Mental Experiences," describes the author's view (with a tentative interpretation of Piaget's position) of reflection, abstraction, re-presentation, and the use of symbols. The second part, "Piaget's Theory of Abstraction," has four sections: (1) "Form and…
'Who Thinks Abstractly?': Quantum Theory and the Architecture of Physical Concepts
Plotnitsky, Arkady
2011-03-28
Beginning with its introduction by W. Heisenberg, quantum mechanics was often seen as an overly abstract theory, mathematically and physically, vis-a-vis classical physics or relativity. This perception was amplified by the fact that, while the quantum-mechanical formalism provided effective predictive algorithms for the probabilistic predictions concerning quantum experiments, it appeared unable to describe, even by way idealization, quantum processes themselves in space and time, in the way classical mechanics or relativity did. The aim of the present paper is to reconsider the nature of mathematical and physical abstraction in modern physics by offering an analysis of the concept of ''physical fact'' and of the concept of 'physical concept', in part by following G. W. F. Hegel's and G. Deleuze's arguments concerning the nature of conceptual thinking. In classical physics, relativity, and quantum physics alike, I argue, physical concepts are defined by the following main features - 1) their multi-component multiplicity; 2) their essential relations to problems; 3) and the interactions between physical, mathematical, and philosophical components within each concept. It is the particular character of these interactions in quantum mechanics, as defined by its essentially predictive (rather than descriptive) nature, that distinguishes it from classical physics and relativity.
Symbolic functions from neural computation.
Smolensky, Paul
2012-07-28
Is thought computation over ideas? Turing, and many cognitive scientists since, have assumed so, and formulated computational systems in which meaningful concepts are encoded by symbols which are the objects of computation. Cognition has been carved into parts, each a function defined over such symbols. This paper reports on a research program aimed at computing these symbolic functions without computing over the symbols. Symbols are encoded as patterns of numerical activation over multiple abstract neurons, each neuron simultaneously contributing to the encoding of multiple symbols. Computation is carried out over the numerical activation values of such neurons, which individually have no conceptual meaning. This is massively parallel numerical computation operating within a continuous computational medium. The paper presents an axiomatic framework for such a computational account of cognition, including a number of formal results. Within the framework, a class of recursive symbolic functions can be computed. Formal languages defined by symbolic rewrite rules can also be specified, the subsymbolic computations producing symbolic outputs that simultaneously display central properties of both facets of human language: universal symbolic grammatical competence and statistical, imperfect performance. PMID:22711873
Chernilo, Daniel
2002-09-01
The problem of the differentiation of societies is at the core of the sociological imagination about the rise of modernity. In postwar sociology, T. Parsons developed the theory of generalized symbolic media in the mid-1960s to tackle, theoretically and historically, the issue of differentiation. According to him, the interchange media are defined as resources oriented to exchange processes between the subsystems of the social system. Starting with money, Parsons argues that the remaining media (power, influence, and value-commitments) have a set of characteristics defined as common properties for all media. After this first formulation, contemporary theorists such as Niklas Luhmann and Jürgen Habermas have developed and modified the Parsonian theory: Luhmann rejects the idea of interchange and proposes the use of communication; Habermas distinguishes between steering and communication media. In all three cases, the focus of the theory is on the characterization of the strongest dynamics of social co-ordination present in differentiated societies. A major result of these developments is the inclusion of new dimensions on which to conceive the properties of media, not only those of money but also language. Beyond differences, then, it is proposed that there is only one theory of generalized symbolic media which can be understood as a progressive research programme, in Lakatos' terms. Finally, the hand-in-hand evolution between the theory of media and Habermas' and Luhmann's re-conceptualizations on societal differentiation in contemporary societies will also be revealed. PMID:12227843
Binney, Richard J; Zuckerman, Bonnie; Reilly, Jamie
2016-09-01
Natural languages are rife with words that describe feelings, introspective states, and social constructs (e.g., liberty, persuasion) that cannot be directly observed through the senses. Effective communication demands linguistic competence with such abstract words. In clinical neurological settings, abstract words are especially vulnerable to the effects of stroke and neurodegenerative conditions such as Alzheimer's disease. A parallel literature in cognitive neuroscience suggests that abstract and concrete words are at least partially neuroanatomically dissociable. Much remains to be learned about the nature of lexical-semantic deficits of abstract words and how best to promote their recovery. Here, we review contemporary theoretical approaches to abstract-concrete word representation with an aim toward contextualizing patient-based dissociations for abstract words. We then describe a burgeoning treatment approach for targeting abstract words and suggest a number of potential strategies for future interventions. We argue that a deeper understanding of is essential for informing language rehabilitation. PMID:27443646
ERIC Educational Resources Information Center
Martin, R. Glenn
The subjectivistic problem for knowledge and communication associated with philosopher Immanuel Kant is that everything we know may in fact be determined by the structure of our own minds and not by the actual nature of external reality. Ernst Cassirer's contribution to the solution of this problem is the notion of "symbols" produced by the knower…
Directed Incremental Symbolic Execution
NASA Technical Reports Server (NTRS)
Person, Suzette; Yang, Guowei; Rungta, Neha; Khurshid, Sarfraz
2011-01-01
The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.
A perceptual account of symbolic reasoning
Landy, David; Allen, Colin; Zednik, Carlos
2014-01-01
People can be taught to manipulate symbols according to formal mathematical and logical rules. Cognitive scientists have traditionally viewed this capacity—the capacity for symbolic reasoning—as grounded in the ability to internally represent numbers, logical relationships, and mathematical rules in an abstract, amodal fashion. We present an alternative view, portraying symbolic reasoning as a special kind of embodied reasoning in which arithmetic and logical formulae, externally represented as notations, serve as targets for powerful perceptual and sensorimotor systems. Although symbolic reasoning often conforms to abstract mathematical principles, it is typically implemented by perceptual and sensorimotor engagement with concrete environmental structures. PMID:24795662
McManus, I C; Stöver, Katharina; Kim, Do
2011-01-01
In Art and Visual Perception, Rudolf Arnheim, following on from Denman Ross's A Theory of Pure Design, proposed a Gestalt theory of visual composition. The current paper assesses a physicalist interpretation of Arnheim's theory, calculating an image's centre of mass (CoM). Three types of data are used: a large, representative collection of art photographs of recognised quality; croppings by experts and non-experts of photographs; and Ross and Arnheim's procedure of placing a frame around objects such as Arnheim's two black disks. Compared with control images, the CoM of art photographs was closer to an axis (horizontal, vertical, or diagonal), as was the case for photographic croppings. However, stronger, within-image, paired comparison studies, comparing art photographs with the CoM moved on or off an axis (the ‘gamma-ramp study’), or comparing adjacent croppings on or off an axis (the ‘spider-web study’), showed no support for the Arnheim–Ross theory. Finally, studies moving a frame around two disks, of different size, greyness, or background, did not support Arnheim's Gestalt theory. Although the detailed results did not support the Arnheim–Ross theory, several significant results were found which clearly require explanation by any adequate theory of the aesthetics of visual composition. PMID:23145250
Dream Symbol or Dream Process?
ERIC Educational Resources Information Center
Himelstein, Philip
1984-01-01
Discusses the relationship of the symbolic content of dreams to the theory of the dream in psychoanalysis and Gestalt therapy. Points out that the utility of the dream depends upon the techniques of the therapist and not on the validity of the underlying theory of the dream. (LLL)
Artificial symbols and the essence of intelligent computing
NASA Astrophysics Data System (ADS)
Magnus, Amy L.; Oxley, Mark E.
2003-08-01
A challenge for intelligent computing is translating the skills of innovation into mathematical theory and persistent learning algorithms. Computational intelligence differs from artificial intelligence in that artificial intelligence reasons over symbols while computational intelligence reasons over sub-symbolic data and information. Natural symbos arise from shared human experiences. The creative quality of human interaction suggests symbol generation involves a collection of cooperative agents capable of representing relative experience, negotiating innovation, and---finally---building consensus. As hybrids of sub-symbolic and symbolic reasoning become the norm, it is necessary to formalize the design and evaluation of artificial symbols. In this paper, we delineate the difference between sub-symbolic patterns and symbolic experience. Further, we propose fundamental theory supporting the autonomous construction of artificial symbols which---we assert---is the ultimate culmination of an intelligent computation. We apply this theory to model selection among neural networks.
The Worldsheet S-Matrix of Planar N = 4 Gauge Theory (Abstract)
Beisert, N.
2007-10-03
Maximally supersymmetric Yang-Mills theory in the 't Hooft limit is apparently completely integrable. Bethe equations then enable us to compute anomalous dimensions, for example those of twist-two operators, exactly at very high perturbative orders. The Bethe ansatz in turn is based on the (worldsheet) S-matrix which is reviewed in this talk. The flavour structure of the S-matrix is completely fixed by symmetry and an overall phase is partially constrained by a crossing relation. In hep-th/0610251 we have recently proposed an expression for this phase to all perturbative orders which is consistent with presently available data. For instance, it leads to an integral equation for the high-spin limit of twist-two operators (also known as the cusp/soft anomalous dimension) at finite coupling. In fact, this result appears to be a part of the corresponding analytic answer for *every* four-dimensional gauge theory including QCD.The putatively exact phase also leads to one of the strongest tests of the AdS/CFT conjecture to date: We can now show complete agreement with dynamical results in non-interacting IIB superstrings on the AdS{sub 5}xS{sup 5} background by reexpanding the phase at strong coupling.
Cognitive Deficits and Symbolic Play in Preschoolers with Autism
ERIC Educational Resources Information Center
Lam, Yan Grace; Yeung, Siu-sze Susanna
2012-01-01
This study investigated symbolic play in 12 children with autism and 12 children with typical development and compared theories that consider either theory of mind, executive function or central coherence to be causally involved in the development of symbolic play in autism. Children with autism demonstrated significantly less symbolic play than…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 13 titles deal with the following topics: (1) a paradigm for the study of communicative style; (2) the rhetoric of conversion in Ohio's abolitionist campaign; (3) a generic approach to the rhetoric of the United States Supreme…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 16 titles deal with the following topics: (1) the philosophy of rhetoric; (2) an analytical study of the development of major concepts of causality in philosophy; (3) an ontological approach to interpersonal communication…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 13 titles deal with the following topics: confessional rhetoric in the poetry of Anne Sexton, rhetorical criticism, the Hippocratic oath, messages communicated through team sports as a medium of social interaction, the silent…
ERIC Educational Resources Information Center
ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.
This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 19 titles deal with the following topics: (1) cinema, culture, and the social formation; (2) going beyond historical-critical dualism in the analysis of theoretical discourse; (3) empathy in instrumental communication; (4) a…
Facchini, F
2000-12-01
The aptitude for symbolization, characteristic of man, is revealed not only in artistic representations and funerary practices. It is exhibited by every manifestation of human activity or representation of natural phenomena that assumes or refers to a meaning. We can recognize functional symbolism (tool-making, habitative or food technology), social symbolism, (language and social communication) and spiritual symbolism (funerary practices and artistic expressions). On the basis of these concepts, research into symbolism in prehistoric man allows us to recognize forms of symbolism already in the manifestations of the most ancient humans, starting with Homo habilis (or rudolfensis). Toolmaking, social organization and organization of the territory are oriented toward survival and the life of the family group. They attest to symbolic behaviors and constitute symbolic systems by means of which man expresses himself, lives and transmits his symbolic world. The diverse forms of symbolism are discussed with reference to the different phases of prehistoric humanity. PMID:11216422
Applied cartographic communication: map symbolization for atlases.
Morrison, J.L.
1984-01-01
A detailed investigation of the symbolization used on general-purpose atlas reference maps. It indicates how theories of cartographic communication can be put into practice. Two major points emerge. First, that a logical scheme can be constructed from existing cartographic research and applied to an analysis of the choice of symbolization on a map. Second, the same structure appears to allow the cartographer to specify symbolization as a part of map design. An introductory review of cartographic communication is followed by an analysis of selected maps' usage of point, area and line symbols, boundaries, text and colour usage.-after Author
The symbolic economy of drugs.
Lentacker, Antoine
2016-02-01
This essay reviews four recent studies representing a new direction in the history of pharmaceuticals and pharmaceutical science. To this end, it introduces the notion of a symbolic economy of drugs, defined as the production, circulation, and reception of signs that convey information about drugs and establish trust in them. Each of the studies under review focuses on one key signifier in this symbolic economy, namely the brand, the patent, the clinical trial, and the drug itself. Drawing on Pierre Bourdieu's theory of the economy of symbolic goods, I conceptualize these signifiers as symbolic assets, that is, as instruments of communication and credit, delivering knowledge, carrying value, and producing authority. The notion of a symbolic economy is offered with a threefold intention. First, I introduce it in order to highlight the implications of historical and anthropological work for a broader theory of the economy of drugs, thus suggesting a language for interdisciplinary conversations in the study of pharmaceuticals. Second, I deploy it in an attempt to emphasize the contributions of the recent scholarship on drugs to a critical understanding of our own contemporary ways of organizing access to drugs and information about drugs. Finally, I suggest ways in which it might be of use to scholars of other commodities and technologies. PMID:26983175
ERIC Educational Resources Information Center
Kitalong, Karla Saari
1998-01-01
Illustrates how a new technological-writing practice, World Wide Web publishing, meshes and clashes with what academics have meant by plagiarism. Applies psychologist Pierre Bourdieu's theories of capital and symbolic violence to examine some ways Web publishing challenges and complicates scholars' taken-for-granted ways of controlling and…
NASA Astrophysics Data System (ADS)
Madjid, F. Hadi; Myers, John M.
2016-10-01
The world runs on networks over which signals communicate sequences of symbols, e.g. numerals. Examining both engineered and natural communications networks reveals an unsuspected order that depends on contact with an unpredictable entity. This order has three roots. The first is a proof within quantum theory that no evidence can ever determine its explanation, so that an agent choosing an explanation must do so unpredictably. The second root is the showing that clocks that step computers do not "tell time" but serve as self-adjusting symbol-handling agents that regulate "logically synchronized" motion in response to unpredictable disturbances. Such a clock-agent has a certain independence as well as the capacity to communicate via unpredictable symbols with other clock-agents and to adjust its own tick rate in response to that communication. The third root is the noticing of unpredictable symbol exchange in natural systems, including the transmission of symbols found in molecular biology. We introduce a symbol-handling agent as a role played in some cases by a person, for example a physicist who chooses an explanation of given experimental outcomes, and in other cases by some other biological entity, and in still other cases by an inanimate device, such as a computer-based detector used in physical measurements. While we forbear to try to explain the propensity of agents at all levels from cells to civilizations to form and operate networks of logically synchronized symbol-handling agents, we point to this propensity as an overlooked cosmic order, an order structured by the unpredictability ensuing from the proof. Appreciating the cosmic order leads to a conception of agency that replaces volition by unpredictability and reconceives the notion of objectivity in a way that makes a place for agency in the world as described by physics. Some specific implications for physics are outlined.
Symbol Formation: Where Freud and Piaget Meet.
ERIC Educational Resources Information Center
Furth, Hans G.
1983-01-01
Attempts to interpret Piaget's developmental theory of knowledge and Freud's metapsychology through a common focus on the human capacity for symbolic knowing. A sketch for a unified epistemological synthesis is presented.(Author/RH)
Gillespie-Lynch, K.; Greenfield, P. M.; Feng, Y.; Savage-Rumbaugh, S.; Lyn, H.
2013-01-01
Using a naturalistic video database, we examined whether gestures scaffold the symbolic development of a language-enculturated chimpanzee, a language-enculturated bonobo, and a human child during the second year of life. These three species constitute a complete clade: species possessing a common immediate ancestor. A basic finding was the functional and formal similarity of many gestures between chimpanzee, bonobo, and human child. The child’s symbols were spoken words; the apes’ symbols were lexigrams – non-iconic visual signifiers. A developmental pattern in which gestural representation of a referent preceded symbolic representation of the same referent appeared in all three species (but was statistically significant only for the child). Nonetheless, across species, the ratio of symbol to gesture increased significantly with age. But even though their symbol production increased, the apes continued to communicate more frequently by gesture than by symbol. In contrast, by 15–18 months of age, the child used symbols more frequently than gestures. This ontogenetic sequence from gesture to symbol, present across the clade but more pronounced in child than ape, provides support for the role of gesture in language evolution. In all three species, the overwhelming majority of gestures were communicative (i.e., paired with eye contact, vocalization, and/or persistence). However, vocalization was rare for the apes, but accompanied the majority of the child’s communicative gestures. This species difference suggests the co-evolution of speech and gesture after the evolutionary divergence of the hominid line. Multimodal expressions of communicative intent (e.g., vocalization plus persistence) were normative for the child, but less common for the apes. This species difference suggests that multimodal expression of communicative intent was also strengthened after hominids diverged from apes. PMID:23750140
Gillespie-Lynch, K; Greenfield, P M; Feng, Y; Savage-Rumbaugh, S; Lyn, H
2013-01-01
Using a naturalistic video database, we examined whether gestures scaffold the symbolic development of a language-enculturated chimpanzee, a language-enculturated bonobo, and a human child during the second year of life. These three species constitute a complete clade: species possessing a common immediate ancestor. A basic finding was the functional and formal similarity of many gestures between chimpanzee, bonobo, and human child. The child's symbols were spoken words; the apes' symbols were lexigrams - non-iconic visual signifiers. A developmental pattern in which gestural representation of a referent preceded symbolic representation of the same referent appeared in all three species (but was statistically significant only for the child). Nonetheless, across species, the ratio of symbol to gesture increased significantly with age. But even though their symbol production increased, the apes continued to communicate more frequently by gesture than by symbol. In contrast, by 15-18 months of age, the child used symbols more frequently than gestures. This ontogenetic sequence from gesture to symbol, present across the clade but more pronounced in child than ape, provides support for the role of gesture in language evolution. In all three species, the overwhelming majority of gestures were communicative (i.e., paired with eye contact, vocalization, and/or persistence). However, vocalization was rare for the apes, but accompanied the majority of the child's communicative gestures. This species difference suggests the co-evolution of speech and gesture after the evolutionary divergence of the hominid line. Multimodal expressions of communicative intent (e.g., vocalization plus persistence) were normative for the child, but less common for the apes. This species difference suggests that multimodal expression of communicative intent was also strengthened after hominids diverged from apes. PMID:23750140
Universal Symbols and Cartography.
ERIC Educational Resources Information Center
Modley, Rudolf
The broad use of maps by non-cartographers imposes on the cartographer the burden to make maps not only accurate, but to use symbols which make map-reading easier for the public. The latter requirement implies a need for universal symbols. Although there are no universal symbols today (letters, words, and figures, to a lesser extent, are dependent…
Pedagogical Symbols and Reality.
ERIC Educational Resources Information Center
Zolin, P. M.
1992-01-01
Discusses symbolism in society, literature, and education. Describes the use of symbolism in the changes accompanying the Bolshevik revolution and the establishment of Marxist-Leninist society in the Soviet Union. Suggests that no effort has been made to develop a set of symbols to accompany the changes of perestroika. (DK)
Seal, Prasenjit; Oyedepo, Gbenga; Truhlar, Donald G.
2013-01-17
In the present work, we study the H atom abstraction reactions by hydroxyl radical at all five sites of 1-butanol. Multistructural variational transition state theory (MS-VTST) was employed to estimate the five thermal rate constants. MS-VTST utilizes a multifaceted dividing surface that accounts for the multiple conformational structures of the transition state, and we also include all the structures of the reactant molecule. The vibrational frequencies and minimum energy paths (MEPs) were computed using the M08-HX/MG3S electronic structure method. The required potential energy surfaces were obtained implicitly by direct dynamics employing interpolated variational transition state theory with mapping (IVTST-M) using a variational reaction path algorithm. The M08-HX/MG3S electronic model chemistry was then used to calculate multistructural torsional anharmonicity factors to complete the MS-VTST rate constant calculations. The results indicate that torsional anharmonicity is very important at higher temperatures, and neglecting it would lead to errors of 26 and 32 at 1000 and 1500 K, respectively. Our results for the sums of the site-specific rate constants agree very well with the experimental values of Hanson and co-workers at 896–1269 K and with the experimental results of Campbell et al. at 292 K, but slightly less well with the experiments of Wallington et al., Nelson et al., and Yujing and Mellouki at 253–372 K; nevertheless, the calculated rates are within a factor of 1.61 of all experimental values at all temperatures. Finally, this gives us confidence in the site-specific values, which are currently inaccessible to experiment.
Lassègue, Jean
2008-03-01
In his article 'A New View of Language, Emotion and the Brain,' Dan Shanahan claims that the post-war Cognitive Turn focused mainly on information processing and that little attention was paid to the dramatic role played by emotion in human cognition. One key argument in his defence of a more comprehensive view of human cognition rests upon the idea that the process of symbolization--a unique capacity only developed by humans--combines, right from the start, information processing and feelings. The author argues that any theory ignoring this fact would miss the whole point, just as mainstream cognitive science has done since Noam Chomsky published Syntactic Structures, exactly 50 years ago. PMID:18293048
Greene, Samuel M; Shan, Xiao; Clary, David C
2015-12-17
Quantum mechanical methods for calculating rate constants are often intractable for reactions involving many atoms. Semiclassical transition state theory (SCTST) offers computational advantages over these methods but nonetheless scales exponentially with the number of degrees of freedom (DOFs) of the system. Here we present a method with more favorable scaling, reduced-dimensionality SCTST (RD SCTST), that treats only a subset of DOFs of the system explicitly. We apply it to three H abstraction and exchange reactions for which two-dimensional potential energy surfaces (PESs) have previously been constructed and evaluated using RD quantum scattering calculations. We differentiated these PESs to calculate harmonic frequencies and anharmonic constants, which were then used to calculate cumulative reaction probabilities and rate constants by RD SCTST. This method yielded rate constants in good agreement with quantum scattering results. Notably, it performed well for a heavy-light-heavy reaction, even though it does not explicitly account for corner-cutting effects. Recent extensions to SCTST that improve its treatment of deep tunneling were also evaluated within the reduced-dimensionality framework. The success of RD SCTST in this study suggests its potential applicability to larger systems. PMID:26090556
Galano, Annia; Muñoz-Rugeles, Leonardo; Alvarez-Idaboy, Juan Raul; Bao, Junwei Lucas; Truhlar, Donald G
2016-07-14
An assessment of multireference character in transition states is considered to be an important component in establishing the expected reliability of various electronic structure methods. In the present work, the multireference characters of the transition states and the forming and breaking of bonds for a large set of hydrogen abstraction reactions from phenolic compounds by peroxyl radicals have been analyzed using the T1, M, B1, and GB1 diagnostics. The extent of multireference character depends on the system and on the conditions under which the reaction takes place, and some systematic trends are observed. In particular, the multireference character is found to be reduced by solvation, the size of the phenolic compound, and deprotonation in aqueous solution. However, the deviations of calculated rate constants from experimental ones are not correlated with the extent of multireference character. The performance of single-determinant density functional theory was investigated for the kinetics of these reactions by comparing calculated rate constants to experimental data; the results from these analyses showed that the M05 functional performs well for the task at hand. PMID:26378461
Recursive Abstractions for Parameterized Systems
NASA Astrophysics Data System (ADS)
Jaffar, Joxan; Santosa, Andrew E.
We consider a language of recursively defined formulas about arrays of variables, suitable for specifying safety properties of parameterized systems. We then present an abstract interpretation framework which translates a paramerized system as a symbolic transition system which propagates such formulas as abstractions of underlying concrete states. The main contribution is a proof method for implications between the formulas, which then provides for an implementation of this abstract interpreter.
Handwritten mathematical symbols dataset
Chajri, Yassine; Bouikhalene, Belaid
2016-01-01
Due to the technological advances in recent years, paper scientific documents are used less and less. Thus, the trend in the scientific community to use digital documents has increased considerably. Among these documents, there are scientific documents and more specifically mathematics documents. In this context, we present our own dataset of handwritten mathematical symbols composed of 10,379 images. This dataset gathers Arabic characters, Latin characters, Arabic numerals, Latin numerals, arithmetic operators, set-symbols, comparison symbols, delimiters, etc. PMID:27006975
Handwritten mathematical symbols dataset.
Chajri, Yassine; Bouikhalene, Belaid
2016-06-01
Due to the technological advances in recent years, paper scientific documents are used less and less. Thus, the trend in the scientific community to use digital documents has increased considerably. Among these documents, there are scientific documents and more specifically mathematics documents. In this context, we present our own dataset of handwritten mathematical symbols composed of 10,379 images. This dataset gathers Arabic characters, Latin characters, Arabic numerals, Latin numerals, arithmetic operators, set-symbols, comparison symbols, delimiters, etc. PMID:27006975
Trails of meaning construction: Symbolic artifacts engage the social brain.
Tylén, Kristian; Philipsen, Johanne Stege; Roepstorff, Andreas; Fusaroli, Riccardo
2016-07-01
Symbolic artifacts present a challenge to theories of neurocognitive processing due to their hybrid nature: they are at the same time physical objects and vehicles of intangible social meanings. While their physical properties can be read of their perceptual appearance, the meaning of symbolic artifacts depends on the perceiver's interpretative attitude and embeddedness in cultural practices. In this study, participants built models of LEGO bricks to illustrate their understanding of abstract concepts. They were then scanned with fMRI while presented to photographs of their own and others' models. When participants attended to the meaning of the models in contrast to their bare physical properties, we observed activations in mPFC and TPJ, areas often associated with social cognition, and IFG, possibly related to semantics. When contrasting own and others' models, we also found activations in precuneus, an area associated with autobiographical memory and agency, while looking at one's own collective models yielded interaction effects in rostral ACC, right IFG and left Insula. Interestingly, variability in the insula was predicted by individual differences in participants' feeling of relatedness to their fellow group members during LEGO construction activity. Our findings support a view of symbolic artifacts as neuro-cognitive trails of human social interactions. PMID:27039141
ERIC Educational Resources Information Center
Monaghan, John; Ozmantar, Mehmet Fatih
2006-01-01
The framework for this paper is a recently developed theory of abstraction in context. The paper reports on data collected from one student working on tasks concerned with absolute value functions. It examines the relationship between mathematical constructions and abstractions. It argues that an abstraction is a consolidated construction that can…
Presentational Symbolism and the Production of Text.
ERIC Educational Resources Information Center
Collins, James L.
1986-01-01
Using Susanne Langer's concepts of presentational and discursive symbolism, constructs a theory of text production that describes presentation and discourse and relations between them as major components in the evolution of text from thought to written language. Concludes by examining the implications of this theory for understanding students'…
Symbolically Modeling Concurrent MCAPI Executions
NASA Technical Reports Server (NTRS)
Fischer, Topher; Mercer, Eric; Rungta, Neha
2011-01-01
Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.
The Symbolic Identity Technique.
ERIC Educational Resources Information Center
Goud, Nelson H.
2001-01-01
Explains the role of symbols in attaining total psychic growth by applying concepts of C. Jung, R. Assagiolo, and L. Kubie. Describes a new strategy, the symbolic identity technique, which involves environmental exploration in a relaxed, receptive manner in order to discover something in the outer environment that reflects one's inner nature.…
Quantities, Units, and Symbols.
ERIC Educational Resources Information Center
Royal Society, London (England).
This booklet provides a reference to the quantities, units, and their symbols which are used in physical science. It is a revision of a 1969 report and takes account of the progress which has been made in obtaining international agreement on the definitions, names, and symbols for units and on the rules for the expression of relations involving…
Computers for symbolic processing
NASA Technical Reports Server (NTRS)
Wah, Benjamin W.; Lowrie, Matthew B.; Li, Guo-Jie
1989-01-01
A detailed survey on the motivations, design, applications, current status, and limitations of computers designed for symbolic processing is provided. Symbolic processing computations are performed at the word, relation, or meaning levels, and the knowledge used in symbolic applications may be fuzzy, uncertain, indeterminate, and ill represented. Various techniques for knowledge representation and processing are discussed from both the designers' and users' points of view. The design and choice of a suitable language for symbolic processing and the mapping of applications into a software architecture are then considered. The process of refining the application requirements into hardware and software architectures is treated, and state-of-the-art sequential and parallel computers designed for symbolic processing are discussed.
Modeling and Performing Relational Theories in the Classroom
ERIC Educational Resources Information Center
Suter, Elizabeth A.; West, Carrie L.
2011-01-01
Although directly related to students' everyday lives, the abstract and even intimidating nature of relational theories often bars students from recognizing the immediate relevance to their relationships. The theories of symbolic interactionism, social exchange, relational dialectics, social penetration, and uncertainty reduction offer students…
Symbolic Analysis of Concurrent Programs with Polymorphism
NASA Technical Reports Server (NTRS)
Rungta, Neha Shyam
2010-01-01
The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.
Reilly, Jamie; Peelle, Jonathan E; Garcia, Amanda; Crutch, Sebastian J
2016-08-01
Biological plausibility is an essential constraint for any viable model of semantic memory. Yet, we have only the most rudimentary understanding of how the human brain conducts abstract symbolic transformations that underlie word and object meaning. Neuroscience has evolved a sophisticated arsenal of techniques for elucidating the architecture of conceptual representation. Nevertheless, theoretical convergence remains elusive. Here we describe several contrastive approaches to the organization of semantic knowledge, and in turn we offer our own perspective on two recurring questions in semantic memory research: (1) to what extent are conceptual representations mediated by sensorimotor knowledge (i.e., to what degree is semantic memory embodied)? (2) How might an embodied semantic system represent abstract concepts such as modularity, symbol, or proposition? To address these questions, we review the merits of sensorimotor (i.e., embodied) and amodal (i.e., disembodied) semantic theories and address the neurobiological constraints underlying each. We conclude that the shortcomings of both perspectives in their extreme forms necessitate a hybrid middle ground. We accordingly propose the Dynamic Multilevel Reactivation Framework-an integrative model predicated upon flexible interplay between sensorimotor and amodal symbolic representations mediated by multiple cortical hubs. We discuss applications of the dynamic multilevel reactivation framework to abstract and concrete concept representation and describe how a multidimensional conceptual topography based on emotion, sensation, and magnitude can successfully frame a semantic space containing meanings for both abstract and concrete words. The consideration of 'abstract conceptual features' does not diminish the role of logical and/or executive processing in activating, manipulating and using information stored in conceptual representations. Rather, it proposes that the materials upon which these processes operate
A General Symbolic Method with Physical Applications
NASA Astrophysics Data System (ADS)
Smith, Gregory M.
2000-06-01
A solution to the problem of unifying the General Relativistic and Quantum Theoretical formalisms is given which introduces a new non-axiomatic symbolic method and an algebraic generalization of the Calculus to non-finite symbolisms without reference to the concept of a limit. An essential feature of the non-axiomatic method is the inadequacy of any (finite) statements: Identifying this aspect of the theory with the "existence of an external physical reality" both allows for the consistency of the method with the results of experiments and avoids the so-called "measurement problem" of quantum theory.
ERIC Educational Resources Information Center
Henkes, Robert
1978-01-01
Abstract art provokes numerous interpretations, and as many misunderstandings. The adolescent reaction is no exception. The procedure described here can help the student to understand the abstract from at least one direction. (Author/RK)
Kungwan, Nawee; Truong, Thanh N
2005-09-01
Kinetics of the hydrogen abstraction reaction (*)CH(3) + CH(4) --> CH(4) + (*)CH(3) is studied by a direct dynamics method. Thermal rate constants in the temperature range of 300-2500 K are evaluated by the canonical variational transition state theory (CVT) incorporating corrections from tunneling using the multidimensional semiclassical small-curvature tunneling (SCT) method and from the hindered rotations. These results are used in conjunction with the Reaction Class Transition State Theory/Linear Energy Relationship (RC-TST/LER) to predict thermal rate constants of any reaction in the hydrogen abstraction class of (*)CH(3) + alkanes. Our analyses indicate that less than 40% systematic errors on the average exist in the predicted rate constants using the RC-TST/LER method while comparing to explicit rate calculations the differences are less than 100% or a factor of 2 on the average. PMID:16834150
Homecoming for Library Symbol.
ERIC Educational Resources Information Center
Egan, Bessie
1987-01-01
Discusses the significance and development of the library symbol and the history of its acceptance by the American Library Association (ALA) and the Canadian Library Association (CLA). Suggestions are made for its use. (CLB)
Staniek, Matthäus; Lehnertz, Klaus
2008-04-18
We propose to estimate transfer entropy using a technique of symbolization. We demonstrate numerically that symbolic transfer entropy is a robust and computationally fast method to quantify the dominating direction of information flow between time series from structurally identical and nonidentical coupled systems. Analyzing multiday, multichannel electroencephalographic recordings from 15 epilepsy patients our approach allowed us to reliably identify the hemisphere containing the epileptic focus without observing actual seizure activity. PMID:18518155
NASA Astrophysics Data System (ADS)
Staniek, Matthäus; Lehnertz, Klaus
2008-04-01
We propose to estimate transfer entropy using a technique of symbolization. We demonstrate numerically that symbolic transfer entropy is a robust and computationally fast method to quantify the dominating direction of information flow between time series from structurally identical and nonidentical coupled systems. Analyzing multiday, multichannel electroencephalographic recordings from 15 epilepsy patients our approach allowed us to reliably identify the hemisphere containing the epileptic focus without observing actual seizure activity.
NASA Technical Reports Server (NTRS)
Yang, Guowei; Pasareanu, Corina S.; Khurshid, Sarfraz
2012-01-01
This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symbolic execution often requires several successive runs of the technique on largely similar underlying problems, e.g., running it once to check a program to find a bug, fixing the bug, and running it again to check the modified program. Memoise introduces a trie-based data structure that stores the key elements of a run of symbolic execution. Maintenance of the trie during successive runs allows re-use of previously computed results of symbolic execution without the need for re-computing them as is traditionally done. Experiments using our prototype embodiment of Memoise show the benefits it holds in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage.
Symbolism in the Feature Film.
ERIC Educational Resources Information Center
Bakony, Edward
A study of symbolism in feature films reveals how the symbolism employed by film makers can serve as a bridge between feeling and thought, and between aesthetics and cognition. What individuals read from and learn through a symbol varies with what they bring to it. The filmmaker's symbolims must be universal and not private. However, symbolism in…
ERIC Educational Resources Information Center
Fabiszak, Malgorzata
2010-01-01
This paper is an application of Robert E. MacLaury's Vantage Theory (VT) to the analysis of real life spoken discourse. It utilizes Dennis R. Preston's (1994) modification of MacLaury's VT. It elucidates how cognitive processes of coordinate selection and combination contribute to the on-line construction of category membership in the abstract…
Safety symbol comprehension: effects of symbol type, familiarity, and age.
Hancock, Holly E; Rogers, Wendy A; Schroeder, Derek; Fisk, Arthur D
2004-01-01
A new procedure for evaluating symbol comprehension, the phrase generation procedure, was assessed with 52 younger and 52 older adults. Participants generated as many phrases as came to mind when viewing 40 different safety symbols (hazard alerting, mandatory action, prohibition, and information symbols). Symbol familiarity was also assessed. Comprehension rates for both groups were lower than the 85% level recommended by the American National Standards Institute. Moreover, older participants' comprehension was significantly worse than younger participants', and the older adults also generated significantly fewer phrases. Generally, prohibition symbols were comprehended best and hazard alerting symbols worst. In addition, symbol familiarity was positively correlated with symbol comprehension. These findings indicate that important safety information depicted on signs and household products may be misunderstood if presented in symbolic form. Furthermore, certain types of symbols may be better understood (e.g., prohibition symbols) than other types (e.g., hazard alerting symbols) by both younger and older individuals. These findings signify the utility of the phrase generation procedure as a method for evaluating symbol comprehension, particularly when it is not possible or desirable to provide contextual information. Actual or potential applications of this research include using the phrase generation approach to identify poorly comprehended symbols, including identification of critical confusions that may arise when processing symbolic information. PMID:15359669
Symbolic Computational Algebra Applied to Picard Iteration.
ERIC Educational Resources Information Center
Mathews, John
1989-01-01
Uses muMATH to illustrate the step-by-step process in translating mathematical theory into the symbolic manipulation setting. Shows an application of a Picard iteration which uses a computer to generate a sequence of functions which converge to a solution. (MVL)
Prefrontal Cortex Activity Related to Abstract Response Strategies
Genovesio, Aldo; Brasted, Peter J.; Mitz, Andrew R.; Wise, Steven P.
2005-01-01
Overview In monkeys, foraging strategies depend not only on a context established by spatial or symbolic cues, but also on the relations among cues. Genovesio et al. recorded the activity of prefrontal cortex neurons while monkeys chose a strategy based on the relation between consecutive symbolic cues. For the same cues and actions, the monkeys also learned fixed responses to the same symbols. Many neurons had activity selective for a given strategy, others for whether the monkeys’ response choice depended on a symbol or the relation between symbols. These findings indicate that the primate prefrontal cortex contributes to implementing abstract strategies. PMID:16039571
Developing Creativity and Abstraction in Representing Data
ERIC Educational Resources Information Center
South, Andy
2012-01-01
Creating charts and graphs is all about visual abstraction: the process of representing aspects of data with imagery that can be interpreted by the reader. Children may need help making the link between the "real" and the image. This abstraction can be achieved using symbols, size, colour and position. Where the representation is close to what…
Romanian Scientific Abstracts, Volume 10 Number 3.
ERIC Educational Resources Information Center
Caracas, Angela, Ed.
The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main numerical sequence. The December issue includes a subject index for the material included throughout the year. It also indicates, in an appended table, the numerical symbol of…
Symbolic computer vector analysis
NASA Technical Reports Server (NTRS)
Stoutemyer, D. R.
1977-01-01
A MACSYMA program is described which performs symbolic vector algebra and vector calculus. The program can combine and simplify symbolic expressions including dot products and cross products, together with the gradient, divergence, curl, and Laplacian operators. The distribution of these operators over sums or products is under user control, as are various other expansions, including expansion into components in any specific orthogonal coordinate system. There is also a capability for deriving the scalar or vector potential of a vector field. Examples include derivation of the partial differential equations describing fluid flow and magnetohydrodynamics, for 12 different classic orthogonal curvilinear coordinate systems.
Efficient computation of Lorentzian 6J symbols
NASA Astrophysics Data System (ADS)
Willis, Joshua
2007-04-01
Spin foam models are a proposal for a quantum theory of gravity, and an important open question is whether they reproduce classical general relativity in the low energy limit. One approach to tackling that problem is to simulate spin-foam models on the computer, but this is hampered by the high computational cost of evaluating the basic building block of these models, the so-called 10J symbol. For Euclidean models, Christensen and Egan have developed an efficient algorithm, but for Lorentzian models this problem remains open. In this talk we describe an efficient method developed for Lorentzian 6J symbols, and we also report on recent work in progress to use this efficient algorithm in calculating the 10J symbols that are of real interest.
Elliptic integrals: Symmetry and symbolic integration
Carlson, B.C. |
1997-12-31
Computation of elliptic integrals, whether numerical or symbolic, has been aided by the contributions of Italian mathematicians. Tricomi had a strong interest in iterative algorithms for computing elliptic integrals and other special functions, and his writings on elliptic functions and elliptic integrals have taught these subjects to many modern readers (including the author). The theory of elliptic integrals began with Fagnano`s duplication theorem, a generalization of which is now used iteratively for numerical computation in major software libraries. One of Lauricella`s multivariate hypergeometric functions has been found to contain all elliptic integrals as special cases and has led to the introduction of symmetric canonical forms. These forms provide major economies in new integral tables and offer a significant advantage also for symbolic integration of elliptic integrals. Although partly expository the present paper includes some new proofs and proposes a new procedure for symbolic integration.
NASA Astrophysics Data System (ADS)
Sihelniková, L.; Tvaroška, I.
2008-02-01
Gold clusters are of increasing interest due to a number of already established as well as new potential applications in different fields of nanotechnology. The use of gold nanoparticles can be significantly extended by surface modifications, sulfidation being the most popular. The identifications of preferred adsorption geometries, bond formation, and binding energies are helpful tools for understanding the properties of these particles. This study is focused on a 38-atom gold cluster passivated with 3-hydroxypropanthiolate linkers. Starting from the re-optimized global minimum structure of a bare 38-atom gold cluster (Doye and Wales 1998 New J. Chem. 22 733-44) and aiming at a description of the passivated particle, density functional theory calculations (within the framework of the Amsterdam density functional calculation package ADF 2006.01 (ADF2006.01, SCM, Theoretical Chemistry, Vrije Universiteit, Amsterdam, The Netherlands, http://www.scm.com)) were performed at the level of the generalized gradient approximation of Perdew and Wang from 1991, with triple-zeta Slater basis sets plus p- and f-polarization functions (TZ2P) for the 33 outermost electrons of each gold atom, and considering scalar relativistic effects. Using this methodology, the space around the gold cluster (with the distance of the S of the thiolate from the gold cluster surface in the range 2.3-2.6 Å) was examined to identify the most favourable absorption site for the thiolate linker. As a result, a 3D map was created and low energy areas corresponding to the potentially most favourable site for one 3-hydroxypropanthiolate linker on the gold cluster localized. Structures representing these areas were further optimized and consequently analysed using Mulliken population analysis to compare charge distribution over the tested structures, Mayer bond order analysis, as well as electron localization function/indicator bond formation analysis. The results obtained will be presented in comparison
Sihelniková, L; Tvaroška, I
2008-02-13
Gold clusters are of increasing interest due to a number of already established as well as new potential applications in different fields of nanotechnology. The use of gold nanoparticles can be significantly extended by surface modifications, sulfidation being the most popular. The identifications of preferred adsorption geometries, bond formation, and binding energies are helpful tools for understanding the properties of these particles. This study is focused on a 38-atom gold cluster passivated with 3-hydroxypropanthiolate linkers. Starting from the re-optimized global minimum structure of a bare 38-atom gold cluster (Doye and Wales 1998 New J. Chem. 22 733-44) and aiming at a description of the passivated particle, density functional theory calculations (within the framework of the Amsterdam density functional calculation package ADF 2006.01 (ADF2006.01, SCM, Theoretical Chemistry, Vrije Universiteit, Amsterdam, The Netherlands, http://www.scm.com)) were performed at the level of the generalized gradient approximation of Perdew and Wang from 1991, with triple-zeta Slater basis sets plus p- and f-polarization functions (TZ2P) for the 33 outermost electrons of each gold atom, and considering scalar relativistic effects. Using this methodology, the space around the gold cluster (with the distance of the S of the thiolate from the gold cluster surface in the range 2.3-2.6 Å) was examined to identify the most favourable absorption site for the thiolate linker. As a result, a 3D map was created and low energy areas corresponding to the potentially most favourable site for one 3-hydroxypropanthiolate linker on the gold cluster localized. Structures representing these areas were further optimized and consequently analysed using Mulliken population analysis to compare charge distribution over the tested structures, Mayer bond order analysis, as well as electron localization function/indicator bond formation analysis. The results obtained will be presented in
Exploring Native American Symbolism.
ERIC Educational Resources Information Center
Dufrene, Phoebe
This paper described the events and results of a workshop on Native American symbolism presented to educators and held in Kansas City, Missouri. The presenter maintained that some of the most crucial problems facing U.S. educators and students are caused by racial misunderstandings, and that the universality of artistic expression can be a vehicle…
Simbolos Nacionales. National Symbols.
ERIC Educational Resources Information Center
Toro, Leonor
Written in Spanish and English, this booklet contains information on Puerto Rico's national symbols, including its anthem, emblem, and flag. Verses to "La Borinquena," the national anthem, are given , as well as the song's historical background and musical evolution, covering contributions of Felix Astol Artes, Paco Ramirez Ortiz, Lola Rodriques…
ERIC Educational Resources Information Center
Ballinger, Louise Bowen; Ballinger, Raymond A.
Signs are such a commonplace sight in our everyday lives, that we can easily miss the artistic beauty and graphic harmony of the symbols used. Thoughtfully well designed and planned signs communicate with a simplicity and directness that signmakers and designers have adhered to for ages. Even contemporary signs still reflect their timelessness…
An Ecological Model for the Processing of Symbolic Information.
ERIC Educational Resources Information Center
Bierschenk, Bernhard
1982-01-01
Cognitive model of processing symbolic information abstracted from verbal expressions should consider running text, not scattered sentences. A valid abstraction of information structures should be based on explicit encoding of intentionality and valuation. A model must cope with empirical context and novelty instead of truth-values in…
The Use of Pronunciation Symbols.
ERIC Educational Resources Information Center
Cronnell, Bruce
The use of pronunciation symbols is investigated in this paper, with emphasis on the pronunciation symbols used by the Rules of Correspondence Activity and based on the conventions employed in linguistics, the agreement and variety of the pronunciation symbols commonly used in textbooks and dictionaries, and a suggested set of pronunciation…
ERIC Educational Resources Information Center
Pietropola, Anne
1998-01-01
Describes a lesson designed to culminate a year of eighth-grade art classes in which students explore elements of design and space by creating 3-D abstract constructions. Outlines the process of using foam board and markers to create various shapes and optical effects. (DSK)
Claudino, D; Gargano, R; Carvalho-Silva, Valter H; E Silva, Geraldo M; da Cunha, W F
2016-07-21
The present paper concludes our series of kinetics studies on the reactions involved in the complex mechanism of nitrogen trifluoride decomposition. Two other related reactions that, along with this mechanism, take part in an efficient boron nitride growth process are also investigated. We report results concerning two abstraction reactions, namely NF2 + N ⇄ 2NF and NF3 + NF ⇄ 2NF2, and two dissociations, N2F4 ⇄ 2NF2 and N2F3 ⇄ NF2 + NF. State-of-the-art electronic structure calculations at the CCSD(T)/cc-pVTZ level of theory were considered to determine geometries and frequencies of reactants, products, and transition states. Extrapolation of the energies to the complete basis set limit was used to obtain energies of all the species. We applied transition state theory to compute thermal rate constants including Wigner, Eckart, Bell, and deformed theory corrections in order to take tunneling effects into account. The obtained results are in good agreement with the experimental data available in the literature and are expected to provide a better phenomenological understanding of the NF3 decomposition role in the boron nitride growth for a wide range of temperature values. PMID:27355487
General American Speech and Phonic Symbols.
ERIC Educational Resources Information Center
Calvert, Donald R.
1982-01-01
General American Symbols, speech and phonic symbols adapted from the Northampton symbols, are presented as a simplified system for teaching reading and speech to deaf children. Ways to use symbols for indicating features of speech production are suggested. (Author)
The relationship between symbolic interactionism and interpretive description.
Oliver, Carolyn
2012-03-01
In this article I explore the relationship between symbolic interactionist theory and interpretive description methodology. The two are highly compatible, making symbolic interactionism an excellent theoretical framework for interpretive description studies. The pragmatism underlying interpretive description supports locating the methodology within this cross-disciplinary theory to make it more attractive to nonnursing researchers and expand its potential to address practice problems across the applied disciplines. The theory and method are so compatible that symbolic interactionism appears to be part of interpretive description's epistemological foundations. Interpretive description's theoretical roots have, to date, been identified only very generally in interpretivism and the philosophy of nursing. A more detailed examination of its symbolic interactionist heritage furthers the contextualization or forestructuring of the methodology to meet one of its own requirements for credibility. PMID:21876207
NASA Technical Reports Server (NTRS)
Owre, Sam; Shankar, Natarajan
1997-01-01
PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.
Principal symbol of Euler–Lagrange operators
NASA Astrophysics Data System (ADS)
Fatibene, L.; Garruto, S.
2016-07-01
We shall introduce the principal symbol for quite a general class of (quasi linear) Euler–Lagrange operators and use them to characterise well-posed initial value problems in gauge covariant field theories. We shall clarify how constraints can arise in covariant Lagrangian theories by extending the standard treatment in GR and without resorting to Hamiltonian formalism. Finally as an example of application, we sketch a quantisation procedure based on what is done in LQG by framing it in a more general context which applies to general gauge covariant field theories.
G. Ragan
2001-12-19
The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M&O 2000e for ICN 02 of the present analysis, and BSC 2001e for ICN 03 of the present analysis), is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M&O 2000c, 2000f). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) key technical issue (KTI): ''The rate at which radionuclides in SNF [spent nuclear fuel] are released from the EBS [engineered barrier system] through the oxidation and dissolution of spent fuel'' (NRC 1999, Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest contributors to the dose given a release to the
Huynh, Lam K; Ratkiewicz, Artur; Truong, Thanh N
2006-01-19
This paper presents an application of the reaction class transition state theory (RC-TST) to predict thermal rate constants for hydrogen abstraction reactions of the type OH + alkane --> HOH + alkyl. We have derived all parameters for the RC-TST method for this reaction class from rate constants of 19 representative reactions, coupling with linear energy relationships (LERs), so that rate constants for any reaction in this class can be predicted from its reaction energy calculated at either the AM1 semiempirical or BH&HLYP/cc-pVDZ level of theory. The RC-TST/LER thermal rate constants for selected reactions are in good agreement with those available in the literature. Detailed analyses of the results show that the RC-TST/LER method is an efficient method for accurately estimating rate constants for a large number of reactions in this class. Analysis of the LERs leads to the discovery of the beta-carbon radical stabilization effect that stabilizes the transition state of any reaction in this class that yields products having one or more beta-carbons, and thus leads to the lower barrier for such a reaction. PMID:16405319
Symbolic representation of number in chimpanzees.
Matsuzawa, Tetsuro
2009-02-01
This paper aims to summarize the existing evidence for the symbolic representation of number in chimpanzees. Chimpanzees can represent, to some extent, both the cardinal and the ordinal aspect of number. Through the medium of Arabic numerals we compared working memory in humans and chimpanzees using the same apparatus and following the same procedure. Three young chimpanzees outperformed human adults in memorizing briefly presented numerals. However, we found that chimpanzees were less proficient at a variety of other cognitive tasks including imitation, cross-modal matching, symmetry of symbols and referents, and one-to-one correspondence. In sum, chimpanzees do not possess human-like capabilities for representation at an abstract level. The present paper will discuss the constraints of the number concept in chimpanzees, and illuminate some unique features of human cognition. PMID:19447029
Symbolic Predictive Analysis for Concurrent Programs
NASA Astrophysics Data System (ADS)
Wang, Chao; Kundu, Sudipta; Ganai, Malay; Gupta, Aarti
Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models based on happens-before causality relations have been proposed for predictive analysis to improve the interleaving coverage while ensuring the absence of false alarms. However, these models are based on only the observed events, and typically do not utilize source code. Furthermore, the enumerative algorithms they use for verifying safety properties in the predicted execution traces often suffer from the interleaving explosion problem. In this paper, we introduce a new symbolic causal model based on source code and the observed events, and propose a symbolic algorithm to check whether a safety property holds in all feasible permutations of events in the given execution trace. Rather than explicitly enumerating the interleavings, our algorithm conducts the verification using a novel encoding of the causal model and symbolic reasoning with a satisfiability modulo theory (SMT) solver. Our algorithm has a larger interleaving coverage than known causal models in the literature. We also propose a method to symbolically bound the number of context switches allowed in an interleaving, to further improve the scalability of the algorithm.
The discovery and comparison of symbolic magnitudes.
Chen, Dawn; Lu, Hongjing; Holyoak, Keith J
2014-06-01
Humans and other primates are able to make relative magnitude comparisons, both with perceptual stimuli and with symbolic inputs that convey magnitude information. Although numerous models of magnitude comparison have been proposed, the basic question of how symbolic magnitudes (e.g., size or intelligence of animals) are derived and represented in memory has received little attention. We argue that symbolic magnitudes often will not correspond directly to elementary features of individual concepts. Rather, magnitudes may be formed in working memory based on computations over more basic features stored in long-term memory. We present a model of how magnitudes can be acquired and compared based on BARTlet, a representationally simpler version of Bayesian Analogy with Relational Transformations (BART; Lu, Chen, & Holyoak, 2012). BARTlet operates on distributions of magnitude variables created by applying dimension-specific weights (learned with the aid of empirical priors derived from pre-categorical comparisons) to more primitive features of objects. The resulting magnitude distributions, formed and maintained in working memory, are sensitive to contextual influences such as the range of stimuli and polarity of the question. By incorporating psychological reference points that control the precision of magnitudes in working memory and applying the tools of signal detection theory, BARTlet is able to account for a wide range of empirical phenomena involving magnitude comparisons, including the symbolic distance effect and the semantic congruity effect. We discuss the role of reference points in cognitive and social decision-making, and implications for the evolution of relational representations. PMID:24531498
Concealed identification symbols and nondestructive determination of the identification symbols
Nance, Thomas A.; Gibbs, Kenneth M.
2014-09-16
The concealing of one or more identification symbols into a target object and the subsequent determination or reading of such symbols through non-destructive testing is described. The symbols can be concealed in a manner so that they are not visible to the human eye and/or cannot be readily revealed to the human eye without damage or destruction of the target object. The identification symbols can be determined after concealment by e.g., the compilation of multiple X-ray images. As such, the present invention can also provide e.g., a deterrent to theft and the recovery of lost or stolen objects.
Symbolic local information transfer
NASA Astrophysics Data System (ADS)
Nakajima, K.; Haruna, T.
2013-06-01
Recently, the permutation-information theoretic approach has been used in a broad range of research fields. In particular, in the study of high-dimensional dynamical systems, it has been shown that this approach can be effective in characterizing global properties, including the complexity of their spatiotemporal dynamics. Here, we show that this approach can also be applied to reveal local spatiotemporal profiles of distributed computations existing at each spatiotemporal point in the system. J. T. Lizier et al. have recently introduced the concept of local information dynamics, which consists of information storage, transfer, and modification. This concept has been intensively studied with regard to cellular automata, and has provided quantitative evidence of several characteristic behaviors observed in the system. In this paper, by focusing on the local information transfer, we demonstrate that the application of the permutation-information theoretic approach, which introduces natural symbolization methods, makes the concept easily extendible to systems that have continuous states. We propose measures called symbolic local transfer entropies, and apply these measures to two test models, the coupled map lattice (CML) system and the Bak-Sneppen model (BS-model), to show their relevance to spatiotemporal systems that have continuous states. In the CML, we demonstrate that it can be successfully used as a spatiotemporal filter to stress a coherent structure buried in the system. In particular, we show that the approach can clearly stress out defect turbulences or Brownian motion of defects from the background, which gives quantitative evidence suggesting that these moving patterns are the information transfer substrate in the spatiotemporal system. We then show that these measures reveal qualitatively different properties from the conventional approach using the sliding window method, and are also robust against external noise. In the BS-model, we demonstrate that
Symbolic Interaction and Applied Social Research
Kotarba, Joseph A.
2014-01-01
In symbolic interaction, a traditional yet unfortunate and unnecessary distinction has been made between basic and applied research. The argument has been made that basic research is intended to generate new knowledge, whereas applied research is intended to apply knowledge to the solution of practical (social and organizational) problems. I will argue that the distinction between basic and applied research in symbolic interaction is outdated and dysfunctional. The masters of symbolic interactionist thought have left us a proud legacy of shaping their scholarly thinking and inquiry in response to and in light of practical issues of the day (e.g., Znaniecki, and Blumer). Current interactionist work continues this tradition in topical areas such as social justice studies. Applied research, especially in term of evaluation and needs assessment studies, can be designed to serve both basic and applied goals. Symbolic interaction provides three great resources to do this. The first is its orientation to dynamic sensitizing concepts that direct research and ask questions instead of supplying a priori and often impractical answers. The second is its orientation to qualitative methods, and appreciation for the logic of grounded theory. The third is interactionism’s overall holistic approach to interfacing with the everyday life world. The primary illustrative case here is the qualitative component of the evaluation of an NIH-funded, translational medical research program. The qualitative component has provided interactionist-inspired insights into translational research, such as examining cultural change in medical research in terms of changes in the form and content of formal and informal discourse among scientists; delineating the impact of significant symbols such as "my lab" on the social organization of science; and appreciating the essence of the self-concept "scientist" on the increasingly bureaucratic and administrative identities of medical researchers. This
Symbol Sourcebook; An Authoritative Guide to International Graphic Symbols.
ERIC Educational Resources Information Center
Dreyfuss, Henry
There are today some 5,000 languages and dialects in use throughout the world; in most instances, intercommunication among them ranges from difficult to impossible. This sourcebook of graphic symbols was compiled as a first step toward a basic means of communication through a system of universally recognizable symbols. The sourcebook is limited to…
How Symbolic Experience Shapes Children's Symbolic Flexibility
ERIC Educational Resources Information Center
Thom, Emily E.; Sandhofer, Catherine M.
2014-01-01
The current experiments asked whether children with dual-symbolic experience (e.g., unimodal bilingual and bimodal) develop a preference for words like monolingual children (Namy & Waxman, 1998). In Experiment 1, ninety-five 18- and 24-month-olds, with monolingual, unimodal bilingual, or bimodal symbolic experience, were tested in their…
International Icon Symbols: How Well Are These Symbols Understood?
ERIC Educational Resources Information Center
Griffin, Robert E.; Gibbs, William J.
There is a great reliance on symbolic messages in our society, but the success of these messages depends on how they are interpreted. The variability of subjects' interpretations of commonly used visual symbols was investigated by comparing the interpretations of a U.S. audience and a Jamaican audience. Responses of 27 executive master's in…
The Symbolism Of Chemical Equations
ERIC Educational Resources Information Center
Jensen, William B.
2005-01-01
A question about the historical origin of equal sign and double arrow symbolism in balanced chemical equation is raised. The study shows that Marshall proposed the symbolism in 1902, which includes the use of currently favored double barb for equilibrium reactions.
Symbolic Communication Between Two Chimpanzees
ERIC Educational Resources Information Center
Savage-Rumbaugh, E. Sue; And Others
1978-01-01
Through the use of learned symbols, two chimpanzees accurately specified 11 foods by name to one another when the food item's identity was known by only one and requested specific food of one another by name. Requests resulted in cooperative and reciprocal symbolically mediated food exchange. (Author/MA)
Symbolic PathFinder: Symbolic Execution of Java Bytecode
NASA Technical Reports Server (NTRS)
Pasareanu, Corina S.; Rungta, Neha
2010-01-01
Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.
Tracking performance of symbol synchronizers for Manchester coded data
NASA Technical Reports Server (NTRS)
Simon, M. K.; Lindsey, W. C.
1977-01-01
The implementation and tracking performance of symbol synchronizers for Manchester coded data is presented with motivation provided by maximum a posteriori (MAP) estimation theory. Certain physically relizable closed-loop structures, readily implemented in practice, are suggested by the theory for uncoded data symbols with arbitrary data transition probabilities. The tracking performance of these loops is optimized and comparisons are made among the various configurations over a wide range of system parameters. Although not the major intent of the paper, the acquisition problem is briefly addressed.
Irreversibility in physics stemming from unpredictable symbol-handling agents
NASA Astrophysics Data System (ADS)
Myers, John M.; Madjid, F. Hadi
2016-05-01
The basic equations of physics involve a time variable t and are invariant under the transformation t --> -t. This invariance at first sight appears to impose time reversibility as a principle of physics, in conflict with thermodynamics. But equations written on the blackboard are not the whole story in physics. In prior work we sharpened a distinction obscured in today's theoretical physics, the distinction between obtaining evidence from experiments on the laboratory bench and explaining that evidence in mathematical symbols on the blackboard. The sharp distinction rests on a proof within the mathematics of quantum theory that no amount of evidence, represented in quantum theory in terms of probabilities, can uniquely determine its explanation in terms of wave functions and linear operators. Building on the proof we show here a role in physics for unpredictable symbol-handling agents acting both at the blackboard and at the workbench, communicating back and forth by means of transmitted symbols. Because of their unpredictability, symbol-handling agents introduce a heretofore overlooked source of irreversibility into physics, even when the equations they write on the blackboard are invariant under t --> -t. Widening the scope of descriptions admissible to physics to include the agents and the symbols that link theory to experiments opens up a new source of time-irreversibility in physics.
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
NASA Technical Reports Server (NTRS)
Pasareanu, Corina S.; Visser, Willem
2009-01-01
Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.
q-entropy for symbolic dynamical systems
NASA Astrophysics Data System (ADS)
Zhao, Yun; Pesin, Yakov
2015-12-01
For symbolic dynamical systems we use the Carathéodory construction as described in (Pesin 1997 Dimension Theory in Dynamical Systems, ConTemporary Views and Applications (Chicago: University of Chicago Press)) to introduce the notions of q-topological and q-metric entropies. We describe some basic properties of these entropies and in particular, discuss relations between q-metric entropy and local metric entropy. Both q-topological and q-metric entropies are new invariants respectively under homeomorphisms and metric isomorphisms of dynamical systems.
Subrepresentation semirings and an analog of 6j-symbols
Kwon, Namhee; Sage, Daniel S.
2008-06-15
Let V be a complex representation of the compact group G. The subrepresentation semiring associated to V is the set of subrepresentations of the algebra of linear endomorphisms of V with operations induced by the matrix operations. The study of these semirings has been motivated by recent advances in materials science, in which the search for microstructure-independent exact relations for physical properties of composites has been reduced to the study of these semirings for the rotation group SO(3). In this case, the structure constants for subrepresentation semirings can be described explicitly in terms of the 6j-symbols familiar from the quantum theory of angular momentum. In this paper, we investigate subrepresentation semirings for the class of quasisimply reducible groups defined by Mackey ['Multiplicity free representations of finite groups', Pac. J. Math. 8, 503 (1958)]. We introduce a new class of symbols called twisted 6j-symbols for these groups, and we explicitly calculate the structure constants for subrepresentation semirings in terms of these symbols. Moreover, we show that these symbols satisfy analog of the standard properties of classical 6j-symbols.
Symbolic extensions applied to multiscale structure of genomes.
Downarowicz, Tomasz; Travisany, Dante; Montecino, Martin; Maass, Alejandro
2014-06-01
A genome of a living organism consists of a long string of symbols over a finite alphabet carrying critical information for the organism. This includes its ability to control post natal growth, homeostasis, adaptation to changes in the surrounding environment, or to biochemically respond at the cellular level to various specific regulatory signals. In this sense, a genome represents a symbolic encoding of a highly organized system of information whose functioning may be revealed as a natural multilayer structure in terms of complexity and prominence. In this paper we use the mathematical theory of symbolic extensions as a framework to shed light onto how this multilayer organization is reflected in the symbolic coding of the genome. The distribution of data in an element of a standard symbolic extension of a dynamical system has a specific form: the symbolic sequence is divided into several subsequences (which we call layers) encoding the dynamics on various "scales". We propose that a similar structure resides within the genomes, building our analogy on some of the most recent findings in the field of regulation of genomic DNA functioning. PMID:24728912
Symbol synchronization in convolutionally coded systems
NASA Technical Reports Server (NTRS)
Baumert, L. D.; Mceliece, R. J.; Van Tilborg, H. C. A.
1979-01-01
Alternate symbol inversion is sometimes applied to the output of convolutional encoders to guarantee sufficient richness of symbol transition for the receiver symbol synchronizer. A bound is given for the length of the transition-free symbol stream in such systems, and those convolutional codes are characterized in which arbitrarily long transition free runs occur.
ERIC Educational Resources Information Center
Ziegler, Johannes C.; Pech-Georgel, Catherine; Dufau, Stephane; Grainger, Jonathan
2010-01-01
Visual-attentional theories of dyslexia predict deficits for dyslexic children not only for the perception of letter strings but also for non-alphanumeric symbol strings. This prediction was tested in a two-alternative forced-choice paradigm with letters, digits, and symbols. Children with dyslexia showed significant deficits for letter and digit…
Symbolic Representation for Introduction of Concept of Decimal System in Mexican School Children
ERIC Educational Resources Information Center
Solovieva, Y.; Rosas Rivera, Y.; Quintanar, L.; García, M. A.
2013-01-01
The present study describes the usage of strategies of symbolic representation during teaching introduction of decimal system in primary school in Mexico. Our research is based on Activity Theory conception of teaching-learning process and of gradual introduction of scientific concepts in school age. The method includes symbolic external…
Individual Differences in Nonsymbolic Ratio Processing Predict Symbolic Math Performance.
Matthews, Percival G; Lewis, Mark Rose; Hubbard, Edward M
2016-02-01
What basic capacities lay the foundation for advanced numerical cognition? Are there basic nonsymbolic abilities that support the understanding of advanced numerical concepts, such as fractions? To date, most theories have posited that previously identified core numerical systems, such as the approximate number system (ANS), are ill-suited for learning fraction concepts. However, recent research in developmental psychology and neuroscience has revealed a ratio-processing system (RPS) that is sensitive to magnitudes of nonsymbolic ratios and may be ideally suited for supporting fraction concepts. We provide evidence for this hypothesis by showing that individual differences in RPS acuity predict performance on four measures of mathematical competence, including a university entrance exam in algebra. We suggest that the nonsymbolic RPS may support symbolic fraction understanding much as the ANS supports whole-number concepts. Thus, even abstract mathematical concepts, such as fractions, may be grounded not only in higher-order logic and language, but also in basic nonsymbolic processing abilities. PMID:26710824
Early Numerical Development and the Role of Non-Symbolic and Symbolic Skills
ERIC Educational Resources Information Center
Kolkman, Meijke E.; Kroesbergen, Evelyn H.; Leseman, Paul P. M.
2013-01-01
For learning math, non-symbolic quantity skills, symbolic skills and the mapping between number symbols and non-symbolic quantities are all important precursors. Little is known, however, about the interrelated development of these skills. The current study focuses on numerical development by: (a) investigating the structure of non-symbolic,…
Noncoherent DTTLs for Symbol Synchronization
NASA Technical Reports Server (NTRS)
Simon, Marvin; Tkacenko, Andre
2007-01-01
Noncoherent data-transition tracking loops (DTTLs) have been proposed for use as symbol synchronizers in digital communication receivers. [Communication- receiver subsystems that can perform their assigned functions in the absence of synchronization with the phases of their carrier signals ( carrier synchronization ) are denoted by the term noncoherent, while receiver subsystems that cannot function without carrier synchronization are said to be coherent. ] The proposal applies, more specifically, to receivers of binary phase-shift-keying (BPSK) signals generated by directly phase-modulating binary non-return-to-zero (NRZ) data streams onto carrier signals having known frequencies but unknown phases. The proposed noncoherent DTTLs would be modified versions of traditional DTTLs, which are coherent. The symbol-synchronization problem is essentially the problem of recovering symbol timing from a received signal. In the traditional, coherent approach to symbol synchronization, it is necessary to establish carrier synchronization in order to recover symbol timing. A traditional DTTL effects an iterative process in which it first generates an estimate of the carrier phase in the absence of symbol-synchronization information, then uses the carrier-phase estimate to obtain an estimate of the symbol-synchronization information, then feeds the symbol-synchronization estimate back to the carrier-phase-estimation subprocess. In a noncoherent symbol-synchronization process, there is no need for carrier synchronization and, hence, no need for iteration between carrier-synchronization and symbol- synchronization subprocesses. The proposed noncoherent symbolsynchronization process is justified theoretically by a mathematical derivation that starts from a maximum a posteriori (MAP) method of estimation of symbol timing utilized in traditional, coherent DTTLs. In that MAP method, one chooses the value of a variable of interest (in this case, the offset in the estimated symbol
The two-loop symbol of all multi-Regge regions
NASA Astrophysics Data System (ADS)
Bargheer, Till; Papathanasiou, Georgios; Schomerus, Volker
2016-05-01
We study the symbol of the two-loop n-gluon MHV amplitude for all Mandelstam regions in multi-Regge kinematics in {N}=4 super Yang-Mills theory. While the number of distinct Mandelstam regions grows exponentially with n, the increase of independent symbols turns out to be merely quadratic. We uncover how to construct the symbols for any number of external gluons from just two building blocks which are naturally associated with the six- and seven-gluon amplitude, respectively. The second building block is entirely new, and in addition to its symbol, we also construct a prototype function that correctly reproduces all terms of maximal functional transcendentality.
Implementing Feedback in a Digital Tool for Symbol Sense
ERIC Educational Resources Information Center
Bokhove, Christian
2010-01-01
This article reports on research at the crossroads of on the one hand the procedural-conceptual cut in algebra in the transition from secondary education to higher education, and on the other hand the potential of ICT. Three key topics come together: algebra didactics (symbol sense), theories on tool use (instrumental genesis) and assessment…
A Symbolic Model of the Nonconscious Acquisition of Information.
ERIC Educational Resources Information Center
Ling, Charles X.; Marinov, Marin
1994-01-01
Challenges Smolensky's theory that human intuitive/nonconscious cognitive processes can only be accurately explained in terms of subsymbolic computations in artificial neural networks. Symbolic learning models of two cognitive tasks involving nonconscious acquisition of information are presented: learning production rules and artificial finite…
Human Symbol Manipulation within an Integrated Cognitive Architecture
ERIC Educational Resources Information Center
Anderson, John R.
2005-01-01
This article describes the Adaptive Control of Thought-Rational (ACT-R) cognitive architecture (Anderson et al., 2004; Anderson & Lebiere, 1998) and its detailed application to the learning of algebraic symbol manipulation. The theory is applied to modeling the data from a study by Qin, Anderson, Silk, Stenger, & Carter (2004) in which children…
Usage Of New Activation Function In Neuro-Symbolic Integration
Sathasivam, Saratha
2010-12-23
New activation function is examined for its ability to accelerate the performance of doing logic programming in Hopfield network. This method has a higher capacity and upgrades the neuro symbolic integration. Computer simulations are carried out to validate the effectiveness of the new activation function. Empirical results obtained support our theory.
Negotiating Lesbian Family Identity via Symbols and Rituals
ERIC Educational Resources Information Center
Suter, Elizabeth A.; Daas, Karen L.; Bergen, Karla Mason
2008-01-01
This study reports how lesbian families negotiate their family identities via symbols and rituals. Sixteen couple interviews were conducted with lesbian co-mothers (for a total of 32 participants) who had their children via donor insemination in the contexts of their current same-sex relationships. Interviews were analyzed using grounded theory.…
Unified optical symbolic substitution processor
NASA Astrophysics Data System (ADS)
Casasent, David P.
1990-07-01
Symbolic substitution operations can be realized optically on a correlator. This is a very attractive and efficient architecture for symbolic substitution. It allows parallel multichannel realization with a fixed set of filters (on film or easily realized on low space bandwidth product spatial light modulators) using space and frequency-multiplexing or sequential filters. All basic logic, numeric and morphological image processing functions can be achieved by symbolic substitution. Moreover, all operations are possible on one multifunctional optical processor. Morphological operations are felt to be essential for ATR and pattern recognition preprocessing in clutter. They greatly improve the role for optics by allowing the same optical architecture to be used for low, medium and high level vision.
Blair-West, George W
2007-01-01
This paper argues that clinicians face the unique artistic challenge of taking concrete pieces of data - scientific findings - and abstracting them into effective therapeutic interventions. Moreover, this abstraction has to be modified for different personality types. The process of therapeutic change and how it can be impeded by the traditional medical model are briefly explored. The doctor-patient dyadic treatment relationship, while appropriate and necessary for many medical interventions, can disavow the source of change when it comes to lifestyle conditions such as obesity. Restraint theory and its origins in Greek mythology are briefly reviewed and integrated with Bowlby's attachment theory as precepts in developing a psychologically based dietary approach. By retaining in people's diets foods they have a deep emotional attachment to, the low-sacrifice diet attempts to encourage caloric restriction in a way that does not trigger rebound overeating. PMID:18311368
Symbolism and discovery: eclipses in art.
Blatchford, Ian
2016-09-28
There is a fascinating tradition of depicting solar eclipses in Western art, although these representations have changed over time. Eclipses have often been an important feature of Christian iconography, but valued as much for their biblical significance as for the splendour of the physical event. However, as Western culture passed through the Renaissance and Enlightenment the depictions of eclipses came to reflect new astronomical knowledge and a thirst for rational learning well beyond the confines of the church and other elites. Artists also played a surprisingly important role in helping scientists in the nineteenth century understand and record the full phenomena of an eclipse, even as the advent of photography also came to solve a number of scientific puzzles. In the most recent century, artists have responded to eclipses with symbolism, abstraction and playfulness.This article is part of the themed issue 'Atmospheric effects of solar eclipses stimulated by the 2015 UK eclipse'. PMID:27550758
Symbolic interactionism and critical perspective: divergent or synergistic?
Burbank, Patricia M; Martins, Diane C
2010-01-01
Throughout their history, symbolic interactionism and critical perspective have been viewed as divergent theoretical perspectives with different philosophical underpinnings. A review of their historical and philosophical origins reveals both points of divergence and areas of convergence. Their underlying philosophies of science and views of human freedom are different as is their level of focus with symbolic interactionism having a micro perspective and critical perspective using a macro perspective. This micro/macro difference is reflected in the divergence of their major concepts, goals and basic tenets. While their underlying philosophies are different, however, they are not necessarily contradictory and areas of convergence may include the concepts of reference groups and looking glass self within symbolic interactionism and ideological hegemony within critical perspective. By using a pragmatic approach and combining symbolic interactionism and critical perspectives, both micro and macro levels come into focus and strategies for change across individual and societal levels can be developed and applied. Application of both symbolic interactionism and critical perspective to nursing research and scholarship offers exciting new opportunities for theory development and research methodologies. In nursing education, these two perspectives can give students added insight into patients' and families' problems at the micro level while, at the same time, giving them a lens to see and tools to apply to problems at the macro level in health care. In nursing practice, a combined symbolic interactionism/critical perspective approach assists nurses to give high-quality care at the individual level while also working at the macro level to address the manufacturers of illness. New research questions emerge from this combination of perspectives with new possibilities for theory development, a transformation in nursing education, and the potential for new practice strategies that
Organizational Commitment as Symbolic Process.
ERIC Educational Resources Information Center
Larkey, Linda; Morrill, Calvin
1995-01-01
Offers a processual (sic) approach suited to the complex nature of organizational commitment during times of radical change. Emphasizes commitment as communication processes that are integrally tied to the creation of organizational cultures, involve identification via symbolic processes, and encompass various degrees of linkages between…
Remote Symbolic Computation of Loci
ERIC Educational Resources Information Center
Abanades, Miguel A.; Escribano, Jesus; Botana, Francisco
2010-01-01
This article presents a web-based tool designed to compute certified equations and graphs of geometric loci specified using standard Dynamic Geometry Systems (DGS). Complementing the graphing abilities of the considered DGS, the equations of the loci produced by the application are remotely computed using symbolic algebraic techniques from the…
Symbolic Representation of Probabilistic Worlds
ERIC Educational Resources Information Center
Feldman, Jacob
2012-01-01
Symbolic representation of environmental variables is a ubiquitous and often debated component of cognitive science. Yet notwithstanding centuries of philosophical discussion, the efficacy, scope, and validity of such representation has rarely been given direct consideration from a mathematical point of view. This paper introduces a quantitative…
Fractions--Concepts before Symbols.
ERIC Educational Resources Information Center
Bennett, Albert B., Jr.
The learning difficulties that students experience with fractions begin immediately when they are shown fraction symbols with one numeral written above the other and told that the "top number" is called the numerator and the "bottom number" is called the denominator. This introduction to fractions will usually include a few visual diagrams to help…
Symbolic Heuristic Search for Factored Markov Decision Processes
NASA Technical Reports Server (NTRS)
Morris, Robert (Technical Monitor); Feng, Zheng-Zhu; Hansen, Eric A.
2003-01-01
We describe a planning algorithm that integrates two approaches to solving Markov decision processes with large state spaces. State abstraction is used to avoid evaluating states individually. Forward search from a start state, guided by an admissible heuristic, is used to avoid evaluating all states. We combine these two approaches in a novel way that exploits symbolic model-checking techniques and demonstrates their usefulness for decision-theoretic planning.
Automating symbolic analysis with CLIPS
NASA Technical Reports Server (NTRS)
Morris, Keith E.
1990-01-01
Symbolic Analysis is a methodology first applied as an aid in selecting and generating test cases for 'white box' type testing of computer software programs. The feasibility of automating this analysis process has recently been demonstrated through the development of a CLIPS-based prototype tool. Symbolic analysis is based on separating the logic flow diagram of a computer program into its basic elements, and then systematically examining those elements and their relationships to provide a detailed static analysis of the process that those diagrams represent. The basic logic flow diagram elements are flow structure (connections), predicates (decisions), and computations (actions). The symbolic analysis approach supplies a disciplined step-by-step process to identify all executable program paths and produce a truth table that defines the input and output domains for each path identified. The resulting truth table is the tool that allows software test cases to be generated in a comprehensive manner to achieve total program path, input domain, and output domain coverage. Since the manual application of symbolic analysis is extremely labor intensive and is itself error prone, automation of the process is highly desirable. Earlier attempts at automation, utilizing conventional software approaches, had only limited success. This paper briefly describes the automation problems, the symbolic analysis expert's problem solving heuristics, and the implementation of those heuristics as a CLIPS based prototype, and the manual augmentation required. A simple application example is also provided for illustration purposes. The paper concludes with a discussion of implementation experiences, automation limitations, usage experiences, and future development suggestions.
Laguna Symbolic Geography and Silko's "Ceremony."
ERIC Educational Resources Information Center
Swan, Edith
1988-01-01
Outlines the Laguna (Pueblo) symbolic geography or world view as it is woven into Leslie Silko's novel "Ceremony." Explains the protagonist's spiritual journey toward health and harmony in terms of symbols and beliefs in Laguna mythology. Contains 21 references. (SV)
Symbolic Action in India: Gandhi's Nonverbal Persuasion
ERIC Educational Resources Information Center
Merriam, Allen H.
1975-01-01
Examines symbolic action as a method of exerting public influence nonverbally through nonviolent behavior. Discusses Gandhi's persuasive tactics including fasting, propaganda tours, silence, clothing and adoption of symbols. (MH)
Trajectories of Symbolic and Nonsymbolic Magnitude Processing in the First Year of Formal Schooling
Matejko, Anna A.; Ansari, Daniel
2016-01-01
Sensitivity to numerical magnitudes is thought to provide a foundation for higher-level mathematical skills such as calculation. It is still unclear how symbolic (e.g. Arabic digits) and nonsymbolic (e.g. Dots) magnitude systems develop and how the two formats relate to one another. Some theories propose that children learn the meaning of symbolic numbers by scaffolding them onto a pre-existing nonsymbolic system (Approximate Number System). Others suggest that symbolic and nonsymbolic magnitudes have distinct and non-overlapping representations. In the present study, we examine the developmental trajectories of symbolic and nonsymbolic magnitude processing skills and how they relate to each other in the first year of formal schooling when children are becoming more fluent with symbolic numbers. Thirty Grade 1 children completed symbolic and nonsymbolic magnitude processing tasks at three time points in Grade 1. We found that symbolic and nonsymbolic magnitude processing skills had distinct developmental trajectories, where symbolic magnitude processing was characterized by greater gains than nonsymbolic skills over the one-year period in Grade 1. We further found that the development of the two formats only related to one another in the first half of the school year where symbolic magnitude processing skills influenced later nonsymbolic skills. These findings indicate that symbolic and nonsymbolic abilities have different developmental trajectories and that the development of symbolic abilities is not strongly linked to nonsymbolic representations by Grade 1. These findings also suggest that the relationship between symbolic and nonsymbolic processing is not as unidirectional as previously thought. PMID:26930195
Trajectories of Symbolic and Nonsymbolic Magnitude Processing in the First Year of Formal Schooling.
Matejko, Anna A; Ansari, Daniel
2016-01-01
Sensitivity to numerical magnitudes is thought to provide a foundation for higher-level mathematical skills such as calculation. It is still unclear how symbolic (e.g. Arabic digits) and nonsymbolic (e.g. Dots) magnitude systems develop and how the two formats relate to one another. Some theories propose that children learn the meaning of symbolic numbers by scaffolding them onto a pre-existing nonsymbolic system (Approximate Number System). Others suggest that symbolic and nonsymbolic magnitudes have distinct and non-overlapping representations. In the present study, we examine the developmental trajectories of symbolic and nonsymbolic magnitude processing skills and how they relate to each other in the first year of formal schooling when children are becoming more fluent with symbolic numbers. Thirty Grade 1 children completed symbolic and nonsymbolic magnitude processing tasks at three time points in Grade 1. We found that symbolic and nonsymbolic magnitude processing skills had distinct developmental trajectories, where symbolic magnitude processing was characterized by greater gains than nonsymbolic skills over the one-year period in Grade 1. We further found that the development of the two formats only related to one another in the first half of the school year where symbolic magnitude processing skills influenced later nonsymbolic skills. These findings indicate that symbolic and nonsymbolic abilities have different developmental trajectories and that the development of symbolic abilities is not strongly linked to nonsymbolic representations by Grade 1. These findings also suggest that the relationship between symbolic and nonsymbolic processing is not as unidirectional as previously thought. PMID:26930195
Electrical Words and Symbols: A Brief History
ERIC Educational Resources Information Center
Auty, Geoff
2012-01-01
Finding an old notice on a canal towpath inspired a consultation with colleagues and search for evidence in an old book to help people look into how the words and symbols used in the teaching of electricity have evolved, including the apparent oddity of the symbol "I" for current. It is easy to explain that people use the symbol "Q" for what is…
Code of Federal Regulations, 2010 CFR
2010-01-01
... 7 Agriculture 2 2010-01-01 2010-01-01 false Symbol (S). 29.1066 Section 29.1066 Agriculture... INSPECTION Standards Official Standard Grades for Flue-Cured Tobacco (u.s. Types 11, 12, 13, 14 and Foreign Type 92) § 29.1066 Symbol (S). As applied to Flue-cured tobacco the symbol (S) when used (a) as...
Functions of Symbolizing Activity: A Discussion
ERIC Educational Resources Information Center
Tillema, Erik
2010-01-01
I propose that attending how symbolizing activity functions for teachers and students helps to characterize student-teacher communication, and allows for an investigation of how symbolizing activity contributes to learning. I begin this discussion by articulating four ideas-schemes, symbolizing activity, communication, and learning. Then I propose…
Sound Symbolism Facilitates Early Verb Learning
ERIC Educational Resources Information Center
Imai, Mutsumi; Kita, Sotaro; Nagumo, Miho; Okada, Hiroyuki
2008-01-01
Some words are sound-symbolic in that they involve a non-arbitrary relationship between sound and meaning. Here, we report that 25-month-old children are sensitive to cross-linguistically valid sound-symbolic matches in the domain of action and that this sound symbolism facilitates verb learning in young children. We constructed a set of novel…
Sound Symbolic Word Learning in Written Context
ERIC Educational Resources Information Center
Parault, Susan J.
2006-01-01
Sound symbolism is the notion that the relation between word sounds and word meaning is not arbitrary for all words, but rather there is a subset of words in the world's languages for which sounds and their symbols have some degree of correspondence. This research investigates sound symbolism as a possible means of gaining semantic knowledge of…
7 CFR 29.3012 - Color symbols.
Code of Federal Regulations, 2014 CFR
2014-01-01
... 7 Agriculture 2 2014-01-01 2014-01-01 false Color symbols. 29.3012 Section 29.3012 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Color symbols. As applied to Burley, single color symbols are as follows: L—buff, F—tan, R—red,...
7 CFR 29.3012 - Color symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... 7 Agriculture 2 2010-01-01 2010-01-01 false Color symbols. 29.3012 Section 29.3012 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Color symbols. As applied to Burley, single color symbols are as follows: L—buff, F—tan, R—red,...
7 CFR 29.3510 - Color symbols.
Code of Federal Regulations, 2012 CFR
2012-01-01
... 7 Agriculture 2 2012-01-01 2012-01-01 false Color symbols. 29.3510 Section 29.3510 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3510 Color symbols. As applied to Dark Air-cured tobacco, color symbols are L—light...
7 CFR 29.3012 - Color symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Color symbols. 29.3012 Section 29.3012 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Color symbols. As applied to Burley, single color symbols are as follows: L—buff, F—tan, R—red,...
7 CFR 29.3510 - Color symbols.
Code of Federal Regulations, 2013 CFR
2013-01-01
... 7 Agriculture 2 2013-01-01 2013-01-01 false Color symbols. 29.3510 Section 29.3510 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3510 Color symbols. As applied to Dark Air-cured tobacco, color symbols are L—light...
7 CFR 29.3510 - Color symbols.
Code of Federal Regulations, 2014 CFR
2014-01-01
... 7 Agriculture 2 2014-01-01 2014-01-01 false Color symbols. 29.3510 Section 29.3510 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3510 Color symbols. As applied to Dark Air-cured tobacco, color symbols are L—light...
7 CFR 29.3012 - Color symbols.
Code of Federal Regulations, 2013 CFR
2013-01-01
... 7 Agriculture 2 2013-01-01 2013-01-01 false Color symbols. 29.3012 Section 29.3012 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Color symbols. As applied to Burley, single color symbols are as follows: L—buff, F—tan, R—red,...
7 CFR 29.3012 - Color symbols.
Code of Federal Regulations, 2012 CFR
2012-01-01
... 7 Agriculture 2 2012-01-01 2012-01-01 false Color symbols. 29.3012 Section 29.3012 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Color symbols. As applied to Burley, single color symbols are as follows: L—buff, F—tan, R—red,...
7 CFR 29.3510 - Color symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Color symbols. 29.3510 Section 29.3510 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3510 Color symbols. As applied to Dark Air-cured tobacco, color symbols are L—light...
7 CFR 29.3510 - Color symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... 7 Agriculture 2 2010-01-01 2010-01-01 false Color symbols. 29.3510 Section 29.3510 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3510 Color symbols. As applied to Dark Air-cured tobacco, color symbols are L—light...
Symbolic communication between two chimpanzees (Pan troglodytes).
Savage-Rumbaugh, E S; Rumbaugh, D M; Boysen, S
1978-08-18
Through use of learned symbols, two chimpanzees accurately specified 11 foods by name to one another when the food item's identity was known by only one. They could not do this when denied use of the symbols. The chimpanzees then spontaneously requested specific foods of one another by name. Requests resulted in cooperative and reciprocal symbolically mediated food exchange. PMID:675251
Priming Reveals Differential Coding of Symbolic and Non-Symbolic Quantities
ERIC Educational Resources Information Center
Roggeman, Chantal; Verguts, Tom; Fias, Wim
2007-01-01
Number processing is characterized by the distance and the size effect, but symbolic numbers exhibit smaller effects than non-symbolic numerosities. The difference between symbolic and non-symbolic processing can either be explained by a different kind of underlying representation or by parametric differences within the same type of underlying…
NASA Astrophysics Data System (ADS)
Kelley, Troy D.; McGhee, S.
2013-05-01
This paper describes the ongoing development of a robotic control architecture that inspired by computational cognitive architectures from the discipline of cognitive psychology. The Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS) combines symbolic and sub-symbolic representations of knowledge into a unified control architecture. The new architecture leverages previous work in cognitive architectures, specifically the development of the Adaptive Character of Thought-Rational (ACT-R) and Soar. This paper details current work on learning from episodes or events. The use of episodic memory as a learning mechanism has, until recently, been largely ignored by computational cognitive architectures. This paper details work on metric level episodic memory streams and methods for translating episodes into abstract schemas. The presentation will include research on learning through novelty and self generated feedback mechanisms for autonomous systems.
ERIC Educational Resources Information Center
Moessinger, Pierre; Poulin-Dubois, Diane
1981-01-01
Reviews and discusses Piaget's recent work on abstract reasoning. Piaget's distinction between empirical and reflective abstraction is presented; his hypotheses are considered to be metaphorical. (Author/DB)
Symbolic computations of nonlinear observability
NASA Astrophysics Data System (ADS)
Bianco-Martinez, Ezequiel; Baptista, Murilo S.; Letellier, Christophe
2015-06-01
Observability is a very useful concept for determining whether the dynamics of complicated systems can be correctly reconstructed from a single (univariate or multivariate) time series. When the governing equations of dynamical systems are high-dimensional and/or rational, analytical computations of observability coefficients produce large polynomial functions with a number of terms that become exponentially large with the dimension and the nature of the system. In order to overcome this difficulty, we introduce here a symbolic observability coefficient based on a symbolic computation of the determinant of the observability matrix. The computation of such coefficients is straightforward and can be easily analytically carried out, as demonstrated in this paper for a five-dimensional rational system.
Symbolic computations of nonlinear observability.
Bianco-Martinez, Ezequiel; Baptista, Murilo S; Letellier, Christophe
2015-06-01
Observability is a very useful concept for determining whether the dynamics of complicated systems can be correctly reconstructed from a single (univariate or multivariate) time series. When the governing equations of dynamical systems are high-dimensional and/or rational, analytical computations of observability coefficients produce large polynomial functions with a number of terms that become exponentially large with the dimension and the nature of the system. In order to overcome this difficulty, we introduce here a symbolic observability coefficient based on a symbolic computation of the determinant of the observability matrix. The computation of such coefficients is straightforward and can be easily analytically carried out, as demonstrated in this paper for a five-dimensional rational system. PMID:26172777
Symbolic Execution Enhanced System Testing
NASA Technical Reports Server (NTRS)
Davies, Misty D.; Pasareanu, Corina S.; Raman, Vishwanath
2012-01-01
We describe a testing technique that uses information computed by symbolic execution of a program unit to guide the generation of inputs to the system containing the unit, in such a way that the unit's, and hence the system's, coverage is increased. The symbolic execution computes unit constraints at run-time, along program paths obtained by system simulations. We use machine learning techniques treatment learning and function fitting to approximate the system input constraints that will lead to the satisfaction of the unit constraints. Execution of system input predictions either uncovers new code regions in the unit under analysis or provides information that can be used to improve the approximation. We have implemented the technique and we have demonstrated its effectiveness on several examples, including one from the aerospace domain.
Selforganization of Symbols and Information
NASA Astrophysics Data System (ADS)
Ebeling, Werner; Feistel, Rainer
2014-12-01
Following the spirit of the late John Nicolis, the purpose of this paper is to develop an evolutionary approach for the basic problem of generation, storage and dissipation of information in physical and biological systems via dynamical processes. After analysing the relation of entropy and information we develop our view that information is in general a nonphysical, emergent quantity, in spite of the fact that information transfer is always connected with flows of physical energy and entropy. We argue that information can have two basic forms: free information (like that of disks, tapes, books), that is what is transferred between sender and receiver, and bound information, that is a physical non-equilibrium structure which retains potential information reflecting the history of its formation (like fossils, geological strata or galaxies). As a basic concept we consider a kinetic phase transition of the second kind, termed the ritualization transition, which leads to the self-organized emergence of symbols, the key elements of free information. Ritualization occurs only in the context of life. Hence, the simplest physical example for a ritualization process is a system that starts as a physical and ends as a biological one, in other words, the origin of life. Our interest in this transition is focussed on the self-organization of information, on the way how a physical system can be enabled to create symbols and the related symbol-processing machinery out of ordinary pre-biological roots.
Nee, Derek Evan; Jahn, Andrew; Brown, Joshua W
2014-09-01
The functions of the prefrontal cortex (PFC) underlie higher-level cognition. Varying proposals suggest that the PFC is organized along a rostral-caudal gradient of abstraction with more abstract representations/processes associated with more rostral areas. However, the operational definition of abstraction is unclear. Here, we contrasted 2 prominent theories of abstraction--temporal and relational--using fMRI. We further examined whether integrating abstract rules--a function common to each theory--recruited the PFC independently of other abstraction effects. While robust effects of relational abstraction were present in the PFC, temporal abstraction effects were absent. Instead, we found activations specific to the integration of relational rules in areas previously shown to be associated with temporal abstraction. We suggest that previous effects of temporal abstraction were due to confounds with integration demands. We propose an integration framework to understand the functions of the PFC that resolves discrepancies in prior data. PMID:23563962
Ziegler, Johannes C; Pech-Georgel, Catherine; Dufau, Stéphane; Grainger, Jonathan
2010-07-01
Visual-attentional theories of dyslexia predict deficits for dyslexic children not only for the perception of letter strings but also for non-alphanumeric symbol strings. This prediction was tested in a two-alternative forced-choice paradigm with letters, digits, and symbols. Children with dyslexia showed significant deficits for letter and digit strings but not for symbol strings. This finding is difficult to explain for visual-attentional theories of dyslexia which postulate identical deficits for letters, digits and symbols. Moreover, dyslexics showed normal W-shaped serial position functions for letter and digit strings, which suggests that their deficit is not due to an abnormally small attentional window. Finally, the size of the deficit was identical for letters and digits, which suggests that poor letter perception is not just a consequence of the lack of reading. Together then, our results show that symbols that map onto phonological codes are impaired (i.e. letters and digits), whereas symbols that do not map onto phonological codes are not impaired. This dissociation suggests that impaired symbol-sound mapping rather than impaired visual-attentional processing is the key to understanding dyslexia. PMID:20590718
Similarity of Symbol Frequency Distributions with Heavy Tails
NASA Astrophysics Data System (ADS)
Gerlach, Martin; Font-Clos, Francesc; Altmann, Eduardo G.
2016-04-01
Quantifying the similarity between symbolic sequences is a traditional problem in information theory which requires comparing the frequencies of symbols in different sequences. In numerous modern applications, ranging from DNA over music to texts, the distribution of symbol frequencies is characterized by heavy-tailed distributions (e.g., Zipf's law). The large number of low-frequency symbols in these distributions poses major difficulties to the estimation of the similarity between sequences; e.g., they hinder an accurate finite-size estimation of entropies. Here, we show analytically how the systematic (bias) and statistical (fluctuations) errors in these estimations depend on the sample size N and on the exponent γ of the heavy-tailed distribution. Our results are valid for the Shannon entropy (α =1 ), its corresponding similarity measures (e.g., the Jensen-Shanon divergence), and also for measures based on the generalized entropy of order α . For small α 's, including α =1 , the errors decay slower than the 1 /N decay observed in short-tailed distributions. For α larger than a critical value α*=1 +1 /γ ≤2 , the 1 /N decay is recovered. We show the practical significance of our results by quantifying the evolution of the English language over the last two centuries using a complete α spectrum of measures. We find that frequent words change more slowly than less frequent words and that α =2 provides the most robust measure to quantify language change.
Symbolic dynamics-based error analysis on chaos synchronization via noisy channels
NASA Astrophysics Data System (ADS)
Lin, Da; Zhang, Fuchen; Liu, Jia-Ming
2014-07-01
In this study, symbolic dynamics is used to research the error of chaos synchronization via noisy channels. The theory of symbolic dynamics reduces chaos to a shift map that acts on a discrete set of symbols, each of which contains information about the system state. Using this transformation, a coder-decoder scheme is proposed. A model for the relationship among word length, region number of a partition, and synchronization error is provided. According to the model, the fundamental trade-off between word length and region number can be optimized to minimize the synchronization error. Numerical simulations provide support for our results.
Patel, V L; Kaufman, D R; Arocha, J F
1995-10-01
The situated action perspective, which embraces a diversity of views, challenges several of the fundamental assumptions of the symbolic information-processing framework underlying cognitive science and artificial intelligence. In this paper, we consider the following issues; symbolic representations, plans and actions, distributed cognition, and the transfer of learning. We evaluate each of these issues in terms of research and theories in clinical cognition and examine the implications for education and training, and for the integration of intelligent systems in medical practice. We argue for a reconceptualization of the symbolic framework in terms of the way the role of internal representations and cognitive activities are perceived. However, symbolic representations are integral to medical cognition and should continue to be central in any theoretical framework. A re-examination of cognitive science in medicine in terms of the relationship among physicians, technology, and the workplace could prove to be constructive in bridging the gap between theory and practice. PMID:8547966
[Rod of Asclepius. Symbol of medicine].
Young, Pablo; Finn, Bárbara C; Bruetman, Julio E; Cesaro Gelos, Jorge; Trimarchi, Hernán
2013-09-01
Symbolism is one of the most archaic forms of human thoughts. Symbol derives from the Latin word symbolum, and the latter from the Greek symbolon or symballo, which means "I coincide, I make matches". The Medicine symbol represents a whole series of historical and ethical values. Asclepius Rod with one serpent entwined, has traditionally been the symbol of scientific medicine. In a misconception that has lasted 500 years, the Caduceus of Hermes, entwined by two serpents and with two wings, has been considered the symbol of Medicine. However, the Caduceus is the current symbol of Commerce. Asclepius Rod and the Caduceus of Hermes represent two professions, Medicine and Commerce that, in ethical practice, should not be mixed. Physicians should be aware of their real emblem, its historical origin and meaning. PMID:24522424
Symbolic computation in system simulation and design
NASA Astrophysics Data System (ADS)
Evans, Brian L.; Gu, Steve X.; Kalavade, Asa; Lee, Edward A.
1995-06-01
This paper examines some of the roles that symbolic computation plays in assisting system- level simulation and design. By symbolic computation, we mean programs like Mathematica that perform symbolic algebra and apply transformation rules based on algebraic identities. At a behavioral level, symbolic computation can compute parameters, generate new models, and optimize parameter settings. At the synthesis level, symbolic computation can work in tandem with synthesis tools to rewrite cascade and parallel combinations on components in sub- systems to meet design constraints. Symbolic computation represents one type of tool that may be invoked in the complex flow of the system design process. The paper discusses the qualities that a formal infrastructure for managing system design should have. The paper also describes an implementation of this infrastructure called DesignMaker, implemented in the Ptolemy environment, which manages the flow of tool invocations in an efficient manner using a graphical file dependency mechanism.
ERIC Educational Resources Information Center
Engineering Education, 1975
1975-01-01
Papers abstracted represent those submitted to the distribution center at the 83rd American Society for Engineering Education Convention. Abstracts are grouped under headings corresponding to the main topic of the paper. (Editor/CP)
NASA Astrophysics Data System (ADS)
Solari, Soren; Smith, Andrew; Minnett, Rupert; Hecht-Nielsen, Robert
2008-06-01
Confabulation Theory [Hecht-Nielsen R. Confabulation theory. Springer-Verlag; 2007] is the first comprehensive theory of human and animal cognition. Here, we briefly describe Confabulation Theory and discuss experimental results that suggest the theory is correct. Simply put, Confabulation Theory proposes that thinking is like moving. In humans, the theory postulates that there are roughly 4000 thalamocortical modules, the “muscles of thought”. Each module performs an internal competition ( confabulation) between its symbols, influenced by inputs delivered via learned axonal associations with symbols in other modules. In each module, this competition is controlled, as in an individual muscle, by a single graded (i.e., analog) thought control signal. The final result of this confabulation process is a single active symbol, the expression of which also results in launching of action commands that trigger and control subsequent movements and/or thought processes. Modules are manipulated in groups under coordinated, event-contingent control, in a similar manner to our 700 muscles. Confabulation Theory hypothesizes that the control of thinking is a direct evolutionary outgrowth of the control of movement. Establishing a complete understanding of Confabulation Theory will require launching and sustaining a massive new phalanx of confabulation neuroscience research.
Modeling Manic-Depression with Symbolic Logic
Webster, Charles; Banks, Gordon
1989-01-01
We characterize manic-depression in terms of symbolic logic and dynamical systems, and describe a computer simulation used to develop our theory. A formal theory of cognitive deficit has four parts. (1) For a normal representation we use the concept of sound and complete “self-axioms.” (2) Normal processing occurs when changes in our personal environment trigger a search for a new set of sound and complete self-axioms. (3) Deficits can lead to unsound judgement in mania and incomplete judgement in depression. (4) Adaptation may consist of attempts to suppress or use the changes in reasoning style. Since manic-depression involves changes in the temporal organization of mood and judgement, it can be classified as a dynamical disease. Nonlinear dynamical systems exhibit transitions between steady state, periodic, and chaotic behavior. We illustrate our approach with a computer simulation that searches through a small set of “self-axioms” while exhibiting periodic and chaotic behavior. In conclusion we conjecture that manic-depression may represent a bifurcation from the chaotic dynamics of normal emotional lability to the pathological periodicity of affective illness.
Deconstructing spatiotemporal chaos using local symbolic dynamics.
Pethel, Shawn D; Corron, Ned J; Bollt, Erik
2007-11-23
We find that the global symbolic dynamics of a diffusively coupled map lattice is well approximated by a very small local model for weak to moderate coupling strengths. A local symbolic model is a truncation of the full symbolic model to one that considers only a single element and a few neighbors. Using interval analysis, we give rigorous results for a range of coupling strengths and different local model widths. Examples are presented of extracting a local symbolic model from data and of controlling spatiotemporal chaos. PMID:18233220
Use of Symbols in Labeling. Final rule.
2016-06-15
The Food and Drug Administration (FDA or the Agency) is issuing this final rule revising its medical device and certain biological product labeling regulations to explicitly allow for the optional inclusion of graphical representations of information, or symbols, in labeling (including labels) without adjacent explanatory text (referred to in this document as "stand-alone symbols") if certain requirements are met. The final rule also specifies that the use of symbols, accompanied by adjacent explanatory text continues to be permitted. FDA is also revising its prescription device labeling regulations to allow the use of the symbol statement "Rx only" or "[rx] only" in the labeling for prescription devices. PMID:27311137
Medical Symbols in Practice: Myths vs Reality
Shetty, Shraddha; Dsouza, Oliver
2014-01-01
Background: The caduceus is the popular symbol of medicine. However, premier health organizations and regulatory bodies such as the World Health Organization and the Medical Council of India use a different symbol- the rod of Asclepius in their logo. There is an increasing awareness and recognition that the caduceus is a false symbol and has no historical substantiation as an emblem of medicine. Many academic and health institutions in the western hemisphere have changed their logo as a consequence. There are other symbols of medicine which are similarly misunderstood. Objectives: The purpose of the study is to assess the knowledge of common medical symbols among doctors and medical students. Materials and Methods: Three hundred doctors and medical students were assessed on their knowledge about the Rx symbol, the Red Cross emblem and the true representative emblem of medicine. Logos and emblems of elite medical colleges and medical associations were also studied. Results: Only 6% of doctors were aware that the Rod of Asclepius is the true symbol of healing. Knowledge of the significance of the Rx symbol and the origin of the Red Cross emblem was 55% and 39 %. Conclusion: There is very little awareness about the rod of Asclepius and most institutions have adopted a logo based on the caduceus. Awareness of the true origins and the symbolism of the emblems is lacking in the medical fraternity. PMID:25302242
[Symbolism on "natural" in food].
da Veiga Soares Carvalho, Maria Claudia; Luz, Madel Therezinha
2011-01-01
The incorporated senses represent a set of possibilities for future life able to build individual and collective identities. This work deepens the habitus, in Bourdieu's terms, associated with "natural" and fast-food styles, making an interpretative analysis of symbolic exchanges of elements reproduced in feeding practices. We believe that this bricolage arrangement of elements enables bartering and hybridism, marked by a tension that reflects the insecurity of technological innovations. The "natural" style represents an ideal of self-sustainability, non-polluting production, which faces the sanitary and ecologic crisis of the planet, against the large-scale industrialization and fast urbanization, defined as depredation factors of basic living conditions. The exchanges happen in a symbolic game connected with the global economic game, in which social actors make bets, illusio, according to particular intentions in concrete action. There is a chance to reformulate the rules of the game in the "game", although with a precarious balance of forces, in which the weaker side loses, an agent may have the possibility of not reproducing the pressures of globalized feeding, which is far from what might seem supernatural. PMID:21180823
Abstraction and Problem Reformulation
NASA Technical Reports Server (NTRS)
Giunchiglia, Fausto
1992-01-01
In work done jointly with Toby Walsh, the author has provided a sound theoretical foundation to the process of reasoning with abstraction (GW90c, GWS9, GW9Ob, GW90a). The notion of abstraction formalized in this work can be informally described as: (property 1), the process of mapping a representation of a problem, called (following historical convention (Sac74)) the 'ground' representation, onto a new representation, called the 'abstract' representation, which, (property 2) helps deal with the problem in the original search space by preserving certain desirable properties and (property 3) is simpler to handle as it is constructed from the ground representation by "throwing away details". One desirable property preserved by an abstraction is provability; often there is a relationship between provability in the ground representation and provability in the abstract representation. Another can be deduction or, possibly inconsistency. By 'throwing away details' we usually mean that the problem is described in a language with a smaller search space (for instance a propositional language or a language without variables) in which formulae of the abstract representation are obtained from the formulae of the ground representation by the use of some terminating rewriting technique. Often we require that the use of abstraction results in more efficient .reasoning. However, it might simply increase the number of facts asserted (eg. by allowing, in practice, the exploration of deeper search spaces or by implementing some form of learning). Among all abstractions, three very important classes have been identified. They relate the set of facts provable in the ground space to those provable in the abstract space. We call: TI abstractions all those abstractions where the abstractions of all the provable facts of the ground space are provable in the abstract space; TD abstractions all those abstractions wllere the 'unabstractions' of all the provable facts of the abstract space are
Ferrari, Pier Luigi
2003-07-29
Some current interpretations of abstraction in mathematical settings are examined from different perspectives, including history and learning. It is argued that abstraction is a complex concept and that it cannot be reduced to generalization or decontextualization only. In particular, the links between abstraction processes and the emergence of new objects are shown. The role that representations have in abstraction is discussed, taking into account both the historical and the educational perspectives. As languages play a major role in mathematics, some ideas from functional linguistics are applied to explain to what extent mathematical notations are to be considered abstract. Finally, abstraction is examined from the perspective of mathematics education, to show that the teaching ideas resulting from one-dimensional interpretations of abstraction have proved utterly unsuccessful. PMID:12903658
Sound Symbolic Word Learning in the Middle Grades
ERIC Educational Resources Information Center
Parault, Susan J.; Parkinson, Meghan
2008-01-01
Sound symbolism is the notion that there is a subset of words in the world's languages for which sounds and their symbols have some degree of correspondence. Two studies assessed 5th and 6th graders' knowledge of word meanings for English sound symbolic and non-sound symbolic words. Both studies found that the meanings of sound symbolic words were…
Tobacco branding, plain packaging, pictorial warnings, and symbolic consumption.
Hoek, Janet; Gendall, Philip; Gifford, Heather; Pirikahu, Gill; McCool, Judith; Pene, Gina; Edwards, Richard; Thomson, George
2012-05-01
We use brand association and symbolic consumption theory to explore how plain cigarette packaging would influence the identities young adults cocreate with tobacco products. Group discussions and in-depth interviews with 86 young adult smokers and nonsmokers investigated how participants perceive tobacco branding and plain cigarette packaging with larger health warnings. We examined the transcript data using thematic analysis and explored how removing tobacco branding and replacing this with larger warnings would affect the symbolic status of tobacco brands and their social connotations. Smokers used tobacco brand imagery to define their social attributes and standing, and their connection with specific groups. Plain cigarette packaging usurped this process by undermining aspirational connotations and exposing tobacco products as toxic. Replacing tobacco branding with larger health warnings diminishes the cachet brand insignia creates, weakens the social benefits brands confer on users, and represents a potentially powerful policy measure. PMID:22203384
Symbolic Quantum Computation Simulation in SymPy
NASA Astrophysics Data System (ADS)
Cugini, Addison; Curry, Matt; Granger, Brian
2010-10-01
Quantum computing is an emerging field which aims to use quantum mechanics to solve difficult computational problems with greater efficiency than on a classical computer. There is a need to create software that i) helps newcomers to learn the field, ii) enables practitioners to design and simulate quantum circuits and iii) provides an open foundation for further research in the field. Towards these ends we have created a package, in the open-source symbolic computation library SymPy, that simulates the quantum circuit model of quantum computation using Dirac notation. This framework builds on the extant powerful symbolic capabilities of SymPy to preform its simulations in a fully symbolic manner. We use object oriented design to abstract circuits as ordered collections of quantum gate and qbit objects. The gate objects can either be applied directly to the qbit objects or be represented as matrices in different bases. The package is also capable of performing the quantum Fourier transform and Shor's algorithm. A notion of measurement is made possible through the use of a non-commutative gate object. In this talk, we describe the software and show examples of quantum circuits on single and multi qbit states that involve common algorithms, gates and measurements.
Statistical Symbolic Execution with Informed Sampling
NASA Technical Reports Server (NTRS)
Filieri, Antonio; Pasareanu, Corina S.; Visser, Willem; Geldenhuys, Jaco
2014-01-01
Symbolic execution techniques have been proposed recently for the probabilistic analysis of programs. These techniques seek to quantify the likelihood of reaching program events of interest, e.g., assert violations. They have many promising applications but have scalability issues due to high computational demand. To address this challenge, we propose a statistical symbolic execution technique that performs Monte Carlo sampling of the symbolic program paths and uses the obtained information for Bayesian estimation and hypothesis testing with respect to the probability of reaching the target events. To speed up the convergence of the statistical analysis, we propose Informed Sampling, an iterative symbolic execution that first explores the paths that have high statistical significance, prunes them from the state space and guides the execution towards less likely paths. The technique combines Bayesian estimation with a partial exact analysis for the pruned paths leading to provably improved convergence of the statistical analysis. We have implemented statistical symbolic execution with in- formed sampling in the Symbolic PathFinder tool. We show experimentally that the informed sampling obtains more precise results and converges faster than a purely statistical analysis and may also be more efficient than an exact symbolic analysis. When the latter does not terminate symbolic execution with informed sampling can give meaningful results under the same time and memory limits.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 14 Aeronautics and Space 2 2011-01-01 2011-01-01 false Symbols. 95.3 Section 95.3 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES IFR ALTITUDES General § 95.3 Symbols. For the purposes of this part— (a) COP...
Code of Federal Regulations, 2010 CFR
2010-01-01
... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Symbols. 95.3 Section 95.3 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES IFR ALTITUDES General § 95.3 Symbols. For the purposes of this part— (a) COP...
Computerized Symbol Processing for Handicapped Persons.
ERIC Educational Resources Information Center
Osguthorpe, Russell T.; And Others
The paper describes the development of a computerized symbol processing system which allows nonspeaking severely handicapped persons to create communication electronically. Two pilot studies investigated the use of Rebus and Bliss Symbols with either an Apple Graphics Tablet or the Power Pad, a peripheral which allowed users to activate the…
7 CFR 29.1007 - Color symbols.
Code of Federal Regulations, 2014 CFR
2014-01-01
... Type 92) § 29.1007 Color symbols. As applied to flue-cured tobacco, color symbols are L—lemon, F—orange..., GK—green variegated (may be scorched), GG—gray green, KL—variegated lemon, KF—variegated orange, KV—variegated greenish, KM—variegated (scorched) mixed, KD—variegated dark red, and LL—whitish-lemon....
7 CFR 29.1007 - Color symbols.
Code of Federal Regulations, 2012 CFR
2012-01-01
... Type 92) § 29.1007 Color symbols. As applied to flue-cured tobacco, color symbols are L—lemon, F—orange..., GK—green variegated (may be scorched), GG—gray green, KL—variegated lemon, KF—variegated orange, KV—variegated greenish, KM—variegated (scorched) mixed, KD—variegated dark red, and LL—whitish-lemon....
7 CFR 29.1007 - Color symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... Type 92) § 29.1007 Color symbols. As applied to flue-cured tobacco, color symbols are L—lemon, F—orange..., GK—green variegated (may be scorched), GG—gray green, KL—variegated lemon, KF—variegated orange, KV—variegated greenish, KM—variegated (scorched) mixed, KD—variegated dark red, and LL—whitish-lemon....
7 CFR 29.1007 - Color symbols.
Code of Federal Regulations, 2013 CFR
2013-01-01
... Type 92) § 29.1007 Color symbols. As applied to flue-cured tobacco, color symbols are L—lemon, F—orange..., GK—green variegated (may be scorched), GG—gray green, KL—variegated lemon, KF—variegated orange, KV—variegated greenish, KM—variegated (scorched) mixed, KD—variegated dark red, and LL—whitish-lemon....
7 CFR 29.1007 - Color symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... Type 92) § 29.1007 Color symbols. As applied to flue-cured tobacco, color symbols are L—lemon, F—orange..., GK—green variegated (may be scorched), GG—gray green, KL—variegated lemon, KF—variegated orange, KV—variegated greenish, KM—variegated (scorched) mixed, KD—variegated dark red, and LL—whitish-lemon....
The Library, Praxis, and Symbolic Power.
ERIC Educational Resources Information Center
Budd, John M.
2003-01-01
Discussion of Wayne Wiegand's criticism of library and information science focuses on the ideas of Pierre Bourdieu to help form a new set of frameworks. Topics include social institutions and symbolic power; cultural production and librarianship; and classification as symbolic power. (LRW)
THE CONTEXTUAL ANALYSIS OF SYMBOLISM IN LANGUAGE.
ERIC Educational Resources Information Center
LAFFAL, JULIUS
A TECHNIQUE OF ANALYSIS OF SYMBOLISM IS PRESENTED, BASED ON THE IDEA THAT WORDS WHICH APPEAR IN CLOSE ASSOCIATION IN THE SPEECH OR WRITING OF AN INDIVIDUAL ARE PSYCHOLOGICALLY CLOSELY RELATED. THE LATENT MEANING, OR SYMBOLISM, OF A WORD IS ELUCIDATED BY SHOWING HOW CLOSE IT IS, CONCEPTUALLY, TO OTHER SELECTED WORDS OR THEMES IN THE INDIVIDUAL'S…
Television Commercials: Symbols, Myths and Metaphors.
ERIC Educational Resources Information Center
Feasley, Florence G.
Television commercials convey to the audience through symbols, metaphors, and myths the feelings and emotions deeply rooted in our culture. While commercials on one level are concerned with a representation of the product or service, they are on another level a symbol of a larger meaning: love, family, romance, motherhood, or hero worship. A can…
7 CFR 29.2509 - Color symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... 7 Agriculture 2 2010-01-01 2010-01-01 false Color symbols. 29.2509 Section 29.2509 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing...-Cured Tobacco (u.s. Types 22, 23, and Foreign Type 96) § 29.2509 Color symbols. As applied to...
7 CFR 29.2509 - Color symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Color symbols. 29.2509 Section 29.2509 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing...-Cured Tobacco (u.s. Types 22, 23, and Foreign Type 96) § 29.2509 Color symbols. As applied to...
7 CFR 29.2509 - Color symbols.
Code of Federal Regulations, 2012 CFR
2012-01-01
... 7 Agriculture 2 2012-01-01 2012-01-01 false Color symbols. 29.2509 Section 29.2509 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing...-Cured Tobacco (u.s. Types 22, 23, and Foreign Type 96) § 29.2509 Color symbols. As applied to...
7 CFR 29.2509 - Color symbols.
Code of Federal Regulations, 2014 CFR
2014-01-01
... 7 Agriculture 2 2014-01-01 2014-01-01 false Color symbols. 29.2509 Section 29.2509 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing...-Cured Tobacco (u.s. Types 22, 23, and Foreign Type 96) § 29.2509 Color symbols. As applied to...
7 CFR 29.2509 - Color symbols.
Code of Federal Regulations, 2013 CFR
2013-01-01
... 7 Agriculture 2 2013-01-01 2013-01-01 false Color symbols. 29.2509 Section 29.2509 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing...-Cured Tobacco (u.s. Types 22, 23, and Foreign Type 96) § 29.2509 Color symbols. As applied to...
Code of Federal Regulations, 2012 CFR
2012-07-01
... 36 Parks, Forests, and Public Property 1 2012-07-01 2012-07-01 false Symbolic signs. 1.10 Section... PROVISIONS § 1.10 Symbolic signs. (a) The signs pictured below provide general information and regulatory guidance in park areas. Certain of the signs designate activities that are either allowed or...
Code of Federal Regulations, 2014 CFR
2014-07-01
... 36 Parks, Forests, and Public Property 1 2014-07-01 2014-07-01 false Symbolic signs. 1.10 Section... PROVISIONS § 1.10 Symbolic signs. (a) The signs pictured below provide general information and regulatory guidance in park areas. Certain of the signs designate activities that are either allowed or...
Code of Federal Regulations, 2011 CFR
2011-07-01
... 36 Parks, Forests, and Public Property 1 2011-07-01 2011-07-01 false Symbolic signs. 1.10 Section... PROVISIONS § 1.10 Symbolic signs. (a) The signs pictured below provide general information and regulatory guidance in park areas. Certain of the signs designate activities that are either allowed or...
Code of Federal Regulations, 2010 CFR
2010-07-01
... 36 Parks, Forests, and Public Property 1 2010-07-01 2010-07-01 false Symbolic signs. 1.10 Section... PROVISIONS § 1.10 Symbolic signs. (a) The signs pictured below provide general information and regulatory guidance in park areas. Certain of the signs designate activities that are either allowed or...
Code of Federal Regulations, 2013 CFR
2013-07-01
... 36 Parks, Forests, and Public Property 1 2013-07-01 2013-07-01 false Symbolic signs. 1.10 Section... PROVISIONS § 1.10 Symbolic signs. (a) The signs pictured below provide general information and regulatory guidance in park areas. Certain of the signs designate activities that are either allowed or...
22 CFR 42.11 - Classification symbols.
Code of Federal Regulations, 2013 CFR
2013-04-01
... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Classification symbols. 42.11 Section 42.11 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND NATIONALITY ACT, AS AMENDED Classification and Foreign State Chargeability § 42.11 Classification symbols. A visa issued to an immigrant...
Efficient Bit-to-Symbol Likelihood Mappings
NASA Technical Reports Server (NTRS)
Moision, Bruce E.; Nakashima, Michael A.
2010-01-01
This innovation is an efficient algorithm designed to perform bit-to-symbol and symbol-to-bit likelihood mappings that represent a significant portion of the complexity of an error-correction code decoder for high-order constellations. Recent implementation of the algorithm in hardware has yielded an 8- percent reduction in overall area relative to the prior design.
MACSYMA's symbolic ordinary differential equation solver
NASA Technical Reports Server (NTRS)
Golden, J. P.
1977-01-01
The MACSYMA's symbolic ordinary differential equation solver ODE2 is described. The code for this routine is delineated, which is of interest because it is written in top-level MACSYMA language, and may serve as a good example of programming in that language. Other symbolic ordinary differential equation solvers are mentioned.
Meana-Pañeda, Rubén; Fernández-Ramos, Antonio
2014-05-07
This work reports a detailed theoretical study of the hydrogen abstraction reactions from ethanol by atomic hydrogen. The calculated thermal rate constants take into account torsional anharmonicity and conformational flexibility, in addition to the variational and tunneling effects. Specifically, the kinetics calculations were performed by using multi-path canonical variational transition state theory with least-action path tunneling corrections, to which we have added the two-dimensional non-separable method to take into account torsional anharmonicity. The multi-path thermal rate constant is expressed as a sum over conformational reaction channels. Each of these channels includes all the transition states that can be reached by internal rotations. The results show that, in the interval of temperatures between 250 and 2500 K, the account for multiple paths leads to higher thermal rate constants with respect to the single path approach, mainly at low and at high temperatures. In addition, torsional anharmonicity enhances the slope of the Arrhenius plot in this range of temperatures. Finally, we show that the incorporation of tunneling into the hydrogen abstraction reactions substantially changes the contribution of each of the transition states to the conformational reaction channel.