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.
ERIC Educational Resources Information Center
Stevens, Lori
2004-01-01
The author describes a lesson she did on abstract art with her high school art classes. She passed out a required step-by-step outline of the project process. She asked each of them to look at abstract art. They were to list five or six abstract artists they thought were interesting, narrow their list down to the one most personally intriguing,…
Content Differences for Abstract and Concrete Concepts
ERIC Educational Resources Information Center
Wiemer-Hastings, Katja Katja; Xu, Xu
2005-01-01
Concept properties are an integral part of theories of conceptual representation and processing. To date, little is known about conceptual properties of abstract concepts, such as idea. This experiment systematically compared the content of 18 abstract and 18 concrete concepts, using a feature generation task. Thirty-one participants listed…
Bao, Junwei Lucas; Sripa, Pattrawan; Truhlar, Donald G
2016-01-14
Multi-path variational transition state theory (MP-VTST) provides a conformationally complete framework for calculating gas-phase rate constants. For reactions in which the transition state has distinguishable torsional minima (which include most reactions), there are multiple possible reaction paths. In principle MP-VTST includes the contributions from all the reaction paths, and it should explicitly treat the variational and tunneling effects of each path, but in practice one may need to truncate the number of paths included in MP-VTST calculations in order to achieve a balance between computational cost and accuracy. In this work, we present calculations including all paths for two prototype combustion reactions, namely the two hydrogen abstraction reactions from tert-butanol by HO2 radical. For both reactions we included all the reaction paths. Since abstraction at C has 46 paths, it provided a good opportunity to carry out a case study in which we investigated the errors introduced by truncating the number of paths. For the reaction studied, we found that the variational and multidimensional tunneling transmission coefficients are very different for different reaction paths, which provides new evidence that MP-VTST is necessary for treating path-dependent variational effects and multidimensional tunneling. We found that tunneling transmission coefficients can be much larger for higher-energy paths than for lower-energy ones. Interestingly, the simple hypothesis that higher barriers are narrower does not explain this finding in the present case; we found instead that the effect is due to higher-energy barriers having the possibility of tunneling at energies farther below the barrier top. We also show that a previously applied criterion for judging convergence with respect to the number of paths may not be reliable at low temperature. PMID:26658549
Using chaos to model random symbols for improved unsupervised information processing
NASA Astrophysics Data System (ADS)
Mukhopadhyay, Sumona; Leung, Henry
We present theoretical analyses that may allow strengthening the connection between chaotic dynamical system and information processing. The analytical and empirical studies prove that computing with chaos and nonlinear characterization of information improves unsupervised information processing. Traditional supervised techniques for information retrieval from noisy environment achieve optimal performance. However, the need for training symbols is an inefficient strategy. We prove that with a chaotic generator as an information source, unsupervised performance is close to that of supervised with a white Gaussian stochastic process. Analytical results show that unsupervised technique using chaotic symbolic dynamics is equivalent to that of supervised when using random symbolic information. We conclude from the concepts of measure theory and ergodic theory, that random symbolic information can be modeled by a chaotic dynamical system via symbolic dynamics. We observe that the performance of unsupervised information retrieval is equivalent to that of supervised, when random symbolic information and a dynamical representation of it are used in conjunction. This fact enables to apply nonlinear dynamics to design improved communication systems. This research is supported by Alberta Innovates Technology Futures doctoral scholarship.
Can Symbolic Play Prepare Children for Their Future?
ERIC Educational Resources Information Center
Nowak-Fabrytkowski, Krystyna
1994-01-01
Presents findings concerning the role of symbolic play. Assumes that symbolic play has seven functions in the child's development: cognitive, creative, ordering, stimulative, social, expressive, and substitutive. Considers play as a phenomenon that prepares children's abilities through symbolic play. (BAC)
Assembly processor program converts symbolic programming language to machine language
NASA Technical Reports Server (NTRS)
Pelto, E. V.
1967-01-01
Assembly processor program converts symbolic programming language to machine language. This program translates symbolic codes into computer understandable instructions, assigns locations in storage for successive instructions, and computer locations from symbolic addresses.
36 CFR 264.11 - Use of symbol.
Code of Federal Regulations, 2012 CFR
2012-07-01
... MANAGEMENT Mount St. Helens National Volcanic Monument Symbol § 264.11 Use of symbol. Except as provided in § 264.12, use of the Mount St. Helens National Volcanic Monument official symbol, including a...
36 CFR 264.11 - Use of symbol.
Code of Federal Regulations, 2014 CFR
2014-07-01
... MANAGEMENT Mount St. Helens National Volcanic Monument Symbol § 264.11 Use of symbol. Except as provided in § 264.12, use of the Mount St. Helens National Volcanic Monument official symbol, including a...
36 CFR 264.11 - Use of symbol.
Code of Federal Regulations, 2010 CFR
2010-07-01
... MANAGEMENT Mount St. Helens National Volcanic Monument Symbol § 264.11 Use of symbol. Except as provided in § 264.12, use of the Mount St. Helens National Volcanic Monument official symbol, including a...
36 CFR 264.11 - Use of symbol.
Code of Federal Regulations, 2013 CFR
2013-07-01
... MANAGEMENT Mount St. Helens National Volcanic Monument Symbol § 264.11 Use of symbol. Except as provided in § 264.12, use of the Mount St. Helens National Volcanic Monument official symbol, including a...
36 CFR 264.11 - Use of symbol.
Code of Federal Regulations, 2011 CFR
2011-07-01
... MANAGEMENT Mount St. Helens National Volcanic Monument Symbol § 264.11 Use of symbol. Except as provided in § 264.12, use of the Mount St. Helens National Volcanic Monument official symbol, including a...
The two-loop symbol of all multi-Regge regions
Bargheer, Till; Papathanasiou, Georgios; Schomerus, Volker
2016-05-02
Here, 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 maximalmore » functional transcendentality.« less
Community Development Abstracts.
ERIC Educational Resources Information Center
Agency for International Development (Dept. of State), Washington, DC.
This volume of 1,108 abstracts summarizes the majority of important works on community development during the last ten years. Part I contains abstracts of periodical literature and is classified into 19 sections, including general history, communications, community and area studies, decision-making, leadership, migration and settlement, social…
Leadership Abstracts, Volume 10.
ERIC Educational Resources Information Center
Milliron, Mark D., Ed.
1997-01-01
The abstracts in this series provide brief discussions of issues related to leadership, administration, professional development, technology, and education in community colleges. Volume 10 for 1997 contains the following 12 abstracts: (1) "On Community College Renewal" (Nathan L. Hodges and Mark D. Milliron); (2) "The Community College Niche in a…
Has Abstractness Been Resolved?
ERIC Educational Resources Information Center
Al-Omoush, Ahmad
1989-01-01
A discussion focusing on the abstractness of analysis in phonology, debated since the 1960s, describes the issue, reviews the literature on the subject, cites specific natural language examples, and examines the extent to which the issue has been resolved. An underlying representation is said to be abstract if it is different from the derived one,…
Designing for Mathematical Abstraction
ERIC Educational Resources Information Center
Pratt, Dave; Noss, Richard
2010-01-01
Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as "designing for abstraction." In this paper, we draw on detailed design experiments from our research on children's understanding about chance and distribution to re-present this work as a case study in designing…
ERIC Educational Resources Information Center
Black, William J.
1990-01-01
Discussion of automatic abstracting of technical papers focuses on a knowledge-based method that uses two sets of rules. Topics discussed include anaphora; text structure and discourse; abstracting techniques, including the keyword method and the indicator phrase method; and tools for text skimming. (27 references) (LRW)
ERIC Educational Resources Information Center
Johnson, Larry, Ed.
1995-01-01
The abstracts in this series provide two-page discussions of issues related to leadership, administration, and teaching in community colleges. The 12 abstracts for Volume 8, 1995, are: (1) "Redesigning the System To Meet the Workforce Training Needs of the Nation," by Larry Warford; (2) "The College President, the Board, and the Board Chair: A…
ERIC Educational Resources Information Center
Sutley, Jane
2010-01-01
Abstraction is, in effect, a simplification and reduction of shapes with an absence of detail designed to comprise the essence of the more naturalistic images being depicted. Without even intending to, young children consistently create interesting, and sometimes beautiful, abstract compositions. A child's creations, moreover, will always seem to…
ERIC Educational Resources Information Center
Kernan, Christine
2011-01-01
For this author, one of the most enjoyable aspects of teaching elementary art is the willingness of students to embrace the different styles of art introduced to them. In this article, she describes a project that allows upper-elementary students to learn about abstract art and the lives of some of the master abstract artists, implement the idea…
Journalism Abstracts. Vol. 15.
ERIC Educational Resources Information Center
Popovich, Mark N., Ed.
This book, the fifteenth volume of an annual publication, contains 373 abstracts of 52 doctoral and 321 master's theses from 50 colleges and universities. The abstracts are arranged alphabetically by author, with the doctoral dissertations appearing first. These cover such topics as advertising, audience analysis, content analysis of news issues…
ERIC Educational Resources Information Center
Johnson, Larry, Ed.
1996-01-01
The abstracts in this series provide two-page discussions of issues related to leadership, administration, professional development, technology, and education in community colleges. Volume 9 for 1996 includes the following 12 abstracts: (1) "Tech-Prep + School-To-Work: Working Together To Foster Educational Reform," (Roderick F. Beaumont); (2)…
Mathematical Abstraction through Scaffolding
ERIC Educational Resources Information Center
Ozmantar, Mehmet Fatih; Roper, Tom
2004-01-01
This paper examines the role of scaffolding in the process of abstraction. An activity-theoretic approach to abstraction in context is taken. This examination is carried out with reference to verbal protocols of two 17 year-old students working together on a task connected to sketching the graph of |f|x|)|. Examination of the data suggests that…
Rehder, B; Ross, B H
2001-09-01
Many studies have demonstrated the importance of the knowledge that interrelates features in people's mental representation of categories and that makes our conception of categories coherent. This article focuses on abstract coherent categories, coherent categories that are also abstract because they are defined by relations independently of any features. Four experiments demonstrate that abstract coherent categories are learned more easily than control categories with identical features and statistical structure, and also that participants induced an abstract representation of the category by granting category membership to exemplars with completely novel features. The authors argue that the human conceptual system is heavily populated with abstract coherent concepts, including conceptions of social groups, societal institutions, legal, political, and military scenarios, and many superordinate categories, such as classes of natural kinds. PMID:11550753
Abstract Interpreters for Free
NASA Astrophysics Data System (ADS)
Might, Matthew
In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a small-step concrete semantics into a family of sound, computable abstract interpretations. The first step re-factors the concrete state-space to eliminate recursive structure; this refactoring of the state-space simultaneously determines a store-passing-style transformation on the underlying concrete semantics. The second step uses inference rules to generate an abstract state-space and a Galois connection simultaneously. The Galois connection allows the calculation of the "optimal" abstract interpretation. The two-step process is unambiguous, but nondeterministic: at each step, analysis designers face choices. Some of these choices ultimately influence properties such as flow-, field- and context-sensitivity. Thus, under the method, we can give the emergence of these properties a graph-theoretic characterization. To illustrate the method, we systematically abstract the continuation-passing style lambda calculus to arrive at two distinct families of analyses. The first is the well-known k-CFA family of analyses. The second consists of novel "environment-centric" abstract interpretations, none of which appear in the literature on static analysis of higher-order programs.
Xenidou-Dervou, Iro; Gilmore, Camilla; van der Schoot, Menno; van Lieshout, Ernest C. D. M.
2015-01-01
Symbolic (i.e., with Arabic numerals) approximate arithmetic with large numerosities is an important predictor of mathematics. It was previously evidenced to onset before formal schooling at the kindergarten age (Gilmore et al., 2007) and was assumed to map onto pre-existing nonsymbolic (i.e., abstract magnitudes) representations. With a longitudinal study (Experiment 1), we show, for the first time, that nonsymbolic and symbolic arithmetic demonstrate different developmental trajectories. In contrast to Gilmore et al.’s (2007) findings, Experiment 1 showed that symbolic arithmetic onsets in grade 1, with the start of formal schooling, not earlier. Gilmore et al. (2007) had examined English-speaking children, whereas we assessed a large Dutch-speaking sample. The Dutch language for numbers can be cognitively more demanding, for example, due to the inversion property in numbers above 20. Thus, for instance, the number 48 is named in Dutch “achtenveertig” (eight and forty) instead of “forty eight.” To examine the effect of the language of numbers, we conducted a cross-cultural study with English- and Dutch-speaking children that had similar SES and math achievement skills (Experiment 2). Results demonstrated that Dutch-speaking kindergarteners lagged behind English-speaking children in symbolic arithmetic, not nonsymbolic and demonstrated a working memory overload in symbolic arithmetic, not nonsymbolic. Also, we show for the first time that the ability to name two-digit numbers highly correlates with symbolic approximate arithmetic not nonsymbolic. Our experiments empirically demonstrate that the symbolic number system is modulated more by development and education than the nonsymbolic system. Also, in contrast to the nonsymbolic system, the symbolic system is modulated by language. PMID:25972822
Symbolic objects as sediments of the intersubjective stream of feelings.
Guimarães, Danilo Silva
2010-09-01
Taking into account that feeling is "the critical mediating process of the person-world relationships" (Josephs, Theory & Psychology 10(6):815, 2000), this article focuses on the artistic symbolic object as constraints that direct someone's feelings. Johansen (2010) states that the literary discourse "is designed to arousing and forming the feelings of listeners and readers" (p. 185). Distancing from strict literary production, I've used the testimony of the Brazilian songwriter, composer and performer, Tom Zé (2003), in order to discuss the intersubjective aspect of feelings articulation in his artistic work. Is proposed that the creative process of a symbolic object, which can be considered art, is a circumstance of a most general intersubjective-cultural process in which novel objects are built. If the specificity of art is to give a symbolic shape to human feeling (cf. Langer 1953), I argue that it is a sort of mediation which allows otherness to elaborate their affections through its objective guidance. In contrast with the scientific method of objective creation that is an effort for silencing contradictions (cf. Stengers 2002), the object of art remains open to multiple interpretations, stimulating the other to recursively speak and feel through it. PMID:20623211
Symbolic Capital, Consumption, and Health Inequality
2011-01-01
Research on economic inequalities in health has been largely polarized between psychosocial and neomaterial approaches. Examination of symbolic capital—the material display of social status and how it is structurally constrained—is an underutilized way of exploring economic disparities in health and may help to resolve the existing theoretical polarization. In contemporary society, what people do with money and how they consume and display symbols of wealth may be as important as income itself. After tracing the historical rise of consumption in capitalist society and its interrelationship with economic inequality, I discuss evidence for the role of symbolic capital in health inequalities and suggest directions for future research. PMID:21164087
ERIC Educational Resources Information Center
Proceedings of the ASIS Annual Meeting, 1997
1997-01-01
Presents abstracts of SIG Sessions. Highlights include digital collections; information retrieval methods; public interest/fair use; classification and indexing; electronic publication; funding; globalization; information technology projects; interface design; networking in developing countries; metadata; multilingual databases; networked…
Automatic Abstraction in Planning
NASA Technical Reports Server (NTRS)
Christensen, J.
1991-01-01
Traditionally, abstraction in planning has been accomplished by either state abstraction or operator abstraction, neither of which has been fully automatic. We present a new method, predicate relaxation, for automatically performing state abstraction. PABLO, a nonlinear hierarchical planner, implements predicate relaxation. Theoretical, as well as empirical results are presented which demonstrate the potential advantages of using predicate relaxation in planning. We also present a new definition of hierarchical operators that allows us to guarantee a limited form of completeness. This new definition is shown to be, in some ways, more flexible than previous definitions of hierarchical operators. Finally, a Classical Truth Criterion is presented that is proven to be sound and complete for a planning formalism that is general enough to include most classical planning formalisms that are based on the STRIPS assumption.
1971 Annual Conference Abstracts
ERIC Educational Resources Information Center
Journal of Engineering Education, 1971
1971-01-01
Included are 112 abstracts listed under headings such as: acoustics, continuing engineering studies, educational research and methods, engineering design, libraries, liberal studies, and materials. Other areas include agricultural, electrical, mechanical, mineral, and ocean engineering. (TS)
2016-07-01
The peer-reviewed abstracts presented at the 73rd Annual Meeting of the ACPA are published as submitted by the authors. For financial conflict of interest disclosure, please visit http://meeting.acpa-cpf.org/disclosures.html. PMID:27447885
Abstracts of contributed papers
Not Available
1994-08-01
This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.
Situation models, mental simulations, and abstract concepts in discourse comprehension.
Zwaan, Rolf A
2016-08-01
This article sets out to examine the role of symbolic and sensorimotor representations in discourse comprehension. It starts out with a review of the literature on situation models, showing how mental representations are constrained by linguistic and situational factors. These ideas are then extended to more explicitly include sensorimotor representations. Following Zwaan and Madden (2005), the author argues that sensorimotor and symbolic representations mutually constrain each other in discourse comprehension. These ideas are then developed further to propose two roles for abstract concepts in discourse comprehension. It is argued that they serve as pointers in memory, used (1) cataphorically to integrate upcoming information into a sensorimotor simulation, or (2) anaphorically integrate previously presented information into a sensorimotor simulation. In either case, the sensorimotor representation is a specific instantiation of the abstract concept. PMID:26088667
The Use and Misuse of Mathematical Symbolism
ERIC Educational Resources Information Center
Lichtenberg, Donovan R.
1978-01-01
Many of the difficulties that students have with mathematical symbolism seem to stem from the use of a horizontal form for an equation and a vertical form for computation. The differences between these two forms are discussed. (JT)
Matter and symbols of the artificial
Rocha, L.M.
1998-08-01
The study of complex systems should be based on a systems-theoretic framework which requires both self-organizing and symbolic dimensions. An inclusive framework based on the notion of semiotics is advanced to build models capable of representing, as well as evolving in their environments, with implications for Artificial Life. Such undertaking is pursued by discussing the ways in which symbol and matter are irreducibly intertwined in evolutionary systems. The problem is thus phrased in terms of the semiotic categories of syntax, semantics, and pragmatics. With this semiotic view of matter and symbols the requirements of semiotic closure are expressed in models with both self-organizing and symbolic characteristics. Situated action and recent developments in the evolution of cellular automata rules to solve non-trivial tasks are discussed in this context. Finally, indirect encoding schemes for genetic algorithms are developed which follow the semiotic framework here proposed.
7 CFR 29.1008 - Combination symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... tobacco. As applied to flue-cured tobacco, the combination symbols are XL—lug side, PO—oxidized primings...-bodied nondescript, LP—lemon (primings side), and FP—orange (primings side), KK-excessively scorched....
Symbol discriminability models for improved flight displays
NASA Astrophysics Data System (ADS)
Ahumada, Albert J.; Trujillo San-Martin, Maite; Gille, Jennifer
2006-02-01
Aviation display system designers and evaluators need to know how discriminable displayed symbols will be over a wide range of conditions to assess the adequacy and effectiveness of flight display systems. If flight display symbols are to be safely recognized by pilots, it is necessary that they can be easily discriminated from each other. Sometimes psychophysical measurements can answer this question, but computational modeling may be required to assess the numerous conditions and even help design the empirical experiments that may be needed. Here we present an image discrimination model that includes position compensation. The model takes as input the luminance values for the pixels of two symbol images, the effective viewing distance, and gives as output the discriminability in just-noticeable-differences (d') and the x and y offset in pixels needed to minimize the discriminability. The model predictions are shown to be a useful upper bound for human symbol identification performance.
Exact and Approximate Probabilistic Symbolic Execution
NASA Technical Reports Server (NTRS)
Luckow, Kasper; Pasareanu, Corina S.; Dwyer, Matthew B.; Filieri, Antonio; Visser, Willem
2014-01-01
Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism. Nondeterminism arises naturally when no suitable probabilistic model can capture a program behavior, e.g., for multithreading or distributed systems. In this work, we propose a technique, based on symbolic execution, to synthesize schedulers that resolve nondeterminism to maximize the probability of reaching a target event. To scale to large systems, we also introduce approximate algorithms to search for good schedulers, speeding up established random sampling and reinforcement learning results through the quantification of path probabilities based on symbolic execution. We implemented the techniques in Symbolic PathFinder and evaluated them on nondeterministic Java programs. We show that our algorithms significantly improve upon a state-of- the-art statistical model checking algorithm, originally developed for Markov Decision Processes.
Culture as a Moving Symbolic Border.
Simão, Lívia Mathias
2016-03-01
The aim of this paper is to propose the notion of culture as a symbolic moving border. Departing from both, Boesch's (1991) concept of culture as a symbolic field of action, and Herbst's (1995) co-genetic logic, I will discuss the dynamics of self-other relationships in terms of their potentiality as sources of movement in culture. A brief analysis of an empirical material is given in illustrative character of the ideas here exposed. PMID:26245862
A symbol-by-symbol decoding algorithm of 3GPP MBMS Raptor
NASA Astrophysics Data System (ADS)
Shi, Dongxin; Sun, Xiangran; Yang, Zhanxin; Niu, Lipi
2013-03-01
This paper presents a symbol-by-symbol decoding algorithm of 3GPP MBMS Raptor. We redefine the initial matrix of 3GPP MBMS Raptor, and add some ancillary information to help make up for destruction of linear relationship in matrix caused by advanced Gauss elimination in 3GPP MBMS Raptor. So we can realize a correct decoding by symbolby- symbol, while 3GPP can not. The proposed algorithm is adapted to an erasure channel with large symbols, low code rate, big time delay or high error probability , and it can greatly improve decoding efficiency.
The Self’s Symbolic Role in Implicit Approach/Avoidance: Movement Time Evidence
Robinson, Michael; Zabelina, Darya; Boyd, Ryan; Bresin, Konrad; Ode, Scott
2014-01-01
Theories of self-regulation emphasize the special role that the symbolic self may play in approach and avoidance movements, but experimental evidence is lacking. In two experiments (total N = 157), participants moved either a self-relevant (e.g., “me”) or non-self (e.g., “not me”) agent to one of two locations, one occupied by a positive word and the other occupied by a negative word. In both experiments, movement agent interacted with destination valence such that it was only the symbolic self that moved more quickly to positive than negative locations. These results establish a role for the symbolic self in approach/avoidance that had been questioned, thereby supporting both classic and contemporary self-related theories of approach and avoidance. PMID:25154115
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing
NASA Technical Reports Server (NTRS)
Takaki, Mitsuo; Cavalcanti, Diego; Gheyi, Rohit; Iyoda, Juliano; dAmorim, Marcelo; Prudencio, Ricardo
2009-01-01
The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compare the effectiveness of a symbolic solver (CVC3), a random solver, three hybrid solvers (i.e., mix of random and symbolic), and two heuristic search solvers. We evaluate the solvers on two benchmarks: one consisting of manually generated constraints and another generated with a concolic execution of 8 subjects. In addition to fully decidable constraints, the benchmarks include constraints with non-linear integer arithmetic, integer modulo and division, bitwise arithmetic, and floating-point arithmetic. As expected symbolic solving (in particular, CVC3) subsumes the other solvers for the concolic execution of subjects that only generate decidable constraints. For the remaining subjects the solvers are complementary.
Metacognition and abstract reasoning.
Markovits, Henry; Thompson, Valerie A; Brisson, Janie
2015-05-01
The nature of people's meta-representations of deductive reasoning is critical to understanding how people control their own reasoning processes. We conducted two studies to examine whether people have a metacognitive representation of abstract validity and whether familiarity alone acts as a separate metacognitive cue. In Study 1, participants were asked to make a series of (1) abstract conditional inferences, (2) concrete conditional inferences with premises having many potential alternative antecedents and thus specifically conducive to the production of responses consistent with conditional logic, or (3) concrete problems with premises having relatively few potential alternative antecedents. Participants gave confidence ratings after each inference. Results show that confidence ratings were positively correlated with logical performance on abstract problems and concrete problems with many potential alternatives, but not with concrete problems with content less conducive to normative responses. Confidence ratings were higher with few alternatives than for abstract content. Study 2 used a generation of contrary-to-fact alternatives task to improve levels of abstract logical performance. The resulting increase in logical performance was mirrored by increases in mean confidence ratings. Results provide evidence for a metacognitive representation based on logical validity, and show that familiarity acts as a separate metacognitive cue. PMID:25416026
Naturalistic Experience and the Early Use of Symbolic Artifacts
ERIC Educational Resources Information Center
Troseth, Georgene L.; Casey, Amy M.; Lawver, Kelly A.; Walker, Joan M. T.; Cole, David A.
2007-01-01
Experience with a variety of symbolic artifacts has been proposed as a mechanism underlying symbolic development. In this study, the parents of 120 2-year-old children who participated in symbolic object retrieval tasks completed a questionnaire regarding their children's naturalistic experience with symbolic artifacts and activities. In separate…
Thyra Abstract Interface Package
2005-09-01
Thrya primarily defines a set of abstract C++ class interfaces needed for the development of abstract numerical atgorithms (ANAs) such as iterative linear solvers, transient solvers all the way up to optimization. At the foundation of these interfaces are abstract C++ classes for vectors, vector spaces, linear operators and multi-vectors. Also included in the Thyra package is C++ code for creating concrete vector, vector space, linear operator, and multi-vector subclasses as well as other utilitiesmore » to aid in the development of ANAs. Currently, very general and efficient concrete subclass implementations exist for serial and SPMD in-core vectors and multi-vectors. Code also currently exists for testing objects and providing composite objects such as product vectors.« less
Abstracting and indexing guide
U.S. Department of the Interior; Office of Water Resources Research
1974-01-01
These instructions have been prepared for those who abstract and index scientific and technical documents for the Water Resources Scientific Information Center (WRSIC). With the recent publication growth in all fields, information centers have undertaken the task of keeping the various scientific communities aware of current and past developments. An abstract with carefully selected index terms offers the user of WRSIC services a more rapid means for deciding whether a document is pertinent to his needs and professional interests, thus saving him the time necessary to scan the complete work. These means also provide WRSIC with a document representation or surrogate which is more easily stored and manipulated to produce various services. Authors are asked to accept the responsibility for preparing abstracts of their own papers to facilitate quick evaluation, announcement, and dissemination to the scientific community.
VEST: Abstract Vector Calculus Simplification in Mathematica
J. Squire, J. Burby and H. Qin
2013-03-12
We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce scalar and vector expressions of a very general type using a systematic canonicalization procedure. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by canonicalization, subsequently applying these to simplify large expressions. In a companion paper [1], we employ VEST in the automation of the calculation of Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations. __________________________________________________
VEST: Abstract vector calculus simplification in Mathematica
NASA Astrophysics Data System (ADS)
Squire, J.; Burby, J.; Qin, H.
2014-01-01
We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce three-dimensional scalar and vector expressions of a very general type to a well defined standard form. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by reduction, subsequently applying these to simplify large expressions. In a companion paper Burby et al. (2013) [12], we employ VEST in the automation of the calculation of high-order Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations.
Gortais, Bernard
2003-01-01
In a given social context, artistic creation comprises a set of processes, which relate to the activity of the artist and the activity of the spectator. Through these processes we see and understand that the world is vaster than it is said to be. Artistic processes are mediated experiences that open up the world. A successful work of art expresses a reality beyond actual reality: it suggests an unknown world using the means and the signs of the known world. Artistic practices incorporate the means of creation developed by science and technology and change forms as they change. Artists and the public follow different processes of abstraction at different levels, in the definition of the means of creation, of representation and of perception of a work of art. This paper examines how the processes of abstraction are used within the framework of the visual arts and abstract painting, which appeared during a period of growing importance for the processes of abstraction in science and technology, at the beginning of the twentieth century. The development of digital platforms and new man-machine interfaces allow multimedia creations. This is performed under the constraint of phases of multidisciplinary conceptualization using generic representation languages, which tend to abolish traditional frontiers between the arts: visual arts, drama, dance and music. PMID:12903659
NASA Astrophysics Data System (ADS)
Silvis, G.
2015-12-01
(Abstract only) The Stanford/SARA SuperSid project offers an opportunity for adding data to the AAVSO SID Monitoring project. You can now build a SID antenna and monitoring setup for about $150. And with the SIDdatagrabber application you can easily re-purpose the data collected for the AAVSO.
ERIC Educational Resources Information Center
Potter, Lee Ann
2005-01-01
President Ronald Reagan nominated a woman to serve on the United States Supreme Court. He did so through a single-page form letter, completed in part by hand and in part by typewriter, announcing Sandra Day O'Connor as his nominee. While the document serves as evidence of a historic event, it is also a tangible illustration of abstract concepts…
ERIC Educational Resources Information Center
Wilson, Cynthia, Ed.
2001-01-01
Volume 4 of the League for Innovation in the Community College's Learning Abstracts include the following: (1) "Touching Students in the Digital Age: The Move Toward Learner Relationship Management (LRM)," by Mark David Milliron, which offers an overview of an organizing concept to help community colleges navigate the intersection between digital…
ERIC Educational Resources Information Center
Wilson, Cynthia, Ed.; Milliron, Mark David, Ed.
2002-01-01
This 2002 volume of Leadership Abstracts contains issue numbers 1-12. Articles include: (1) "Skills Certification and Workforce Development: Partnering with Industry and Ourselves," by Jeffrey A. Cantor; (2) "Starting Again: The Brookhaven Success College," by Alice W. Villadsen; (3) "From Digital Divide to Digital Democracy," by Gerardo E. de los…
ERIC Educational Resources Information Center
Doucette, Don, Ed.
1993-01-01
This document includes 10 issues of Leadership Abstracts (volume 6, 1993), a newsletter published by the League for Innovation in the Community College (California). The featured articles are: (1) "Reinventing Government" by David T. Osborne; (2) "Community College Workforce Training Programs: Expanding the Mission to Meet Critical Needs" by…
ERIC Educational Resources Information Center
Avraamidou, Antri; Monaghan, John; Walker, Aisha
2012-01-01
This paper examines the computer game play of an 11-year-old boy. In the course of building a virtual house he developed and used, without assistance, an artefact and an accompanying strategy to ensure that his house was symmetric. We argue that the creation and use of this artefact-strategy is a mathematical abstraction. The discussion…
ERIC Educational Resources Information Center
International Labour Office, Geneva (Switzerland).
The aim of the CIRF abstracts is to convey information about vocational training ideas, programs, experience, and experiments described in periodicals, books, and other publications and relating to operative personnel, supervisors, and technical and training staff in all sectors of economic activity. Information is also given on major trends in…
ERIC Educational Resources Information Center
Leadership Abstracts, 1999
1999-01-01
This document contains five Leadership Abstracts publications published February-December 1999. The article, "Teaching the Teachers: Meeting the National Teacher Preparation Challenge," authored by George R. Boggs and Sadie Bragg, examines the community college role and makes recommendations and a call to action for teacher education. "Chaos…
NASA Astrophysics Data System (ADS)
Simonsen, M.
2015-12-01
(Abstract only) Variable stars with close companions can be difficult to accurately measure and characterize. The companions can create misidentifications, which in turn can affect the perceived magnitudes, amplitudes, periods, and colors of the variable stars. We will show examples of these Double Trouble stars and the impact their close companions have had on our understanding of some of these variable stars.
ERIC Educational Resources Information Center
Levy, Steven
1985-01-01
Discusses Magazine Index's practice of assigning letter grades (sometimes inaccurate) to book, restaurant, and movie reviews, thus allowing patrons to get the point of the review from the index rather than the article itself, and argues that this situation is indicative of the larger problem of reliability of abstracts. (MBR)
ERIC Educational Resources Information Center
Engineering Education, 1976
1976-01-01
Presents the abstracts of 158 papers presented at the American Society for Engineering Education's annual conference at Knoxville, Tennessee, June 14-17, 1976. Included are engineering topics covering education, aerospace, agriculture, biomedicine, chemistry, computers, electricity, acoustics, environment, mechanics, and women. (SL)
Middlebrooks, E.J.
1982-01-01
Separate abstracts were prepared for the 31 chapters of this book which deals with all aspects of wastewater reuse. Design data, case histories, performance data, monitoring information, health information, social implications, legal and organizational structures, and background information needed to analyze the desirability of water reuse are presented. (KRM)
Reasoning abstractly about resources
NASA Technical Reports Server (NTRS)
Clement, B.; Barrett, A.
2001-01-01
r describes a way to schedule high level activities before distributing them across multiple rovers in order to coordinate the resultant use of shared resources regardless of how each rover decides how to perform its activities. We present an algorithm for summarizing the metric resource requirements of an abstract activity based n the resource usages of its potential refinements.
Humor, abstraction, and disbelief.
Hoicka, Elena; Jutsum, Sarah; Gattis, Merideth
2008-09-01
We investigated humor as a context for learning about abstraction and disbelief. More specifically, we investigated how parents support humor understanding during book sharing with their toddlers. In Study 1, a corpus analysis revealed that in books aimed at 1-to 2-year-olds, humor is found more often than other forms of doing the wrong thing including mistakes, pretense, lying, false beliefs, and metaphors. In Study 2, 20 parents read a book containing humorous and non-humorous pages to their 19-to 26-month-olds. Parents used a significantly higher percentage of high abstraction extra-textual utterances (ETUs) when reading the humorous pages. In Study 3, 41 parents read either a humorous or non-humorous book to their 18-to 24-month-olds. Parents reading the humorous book made significantly more ETUs coded for a specific form of high abstraction: those encouraging disbelief of prior utterances. Sharing humorous books thus increases toddlers' exposure to high abstraction and belief-based language. PMID:21585438
ERIC Educational Resources Information Center
Proceedings of the ASIS Annual Meeting, 1995
1995-01-01
Presents abstracts of 15 special interest group (SIG) sessions. Topics include navigation and information utilization in the Internet, natural language processing, automatic indexing, image indexing, classification, users' models of database searching, online public access catalogs, education for information professions, information services,…
2002 NASPSA Conference Abstracts.
ERIC Educational Resources Information Center
Journal of Sport & Exercise Psychology, 2002
2002-01-01
Contains abstracts from the 2002 conference of the North American Society for the Psychology of Sport and Physical Activity. The publication is divided into three sections: the preconference workshop, "Effective Teaching Methods in the Classroom;" symposia (motor development, motor learning and control, and sport psychology); and free…
ERIC Educational Resources Information Center
Journal of Engineering Education, 1972
1972-01-01
Includes abstracts of papers presented at the 80th Annual Conference of the American Society for Engineering Education. The broad areas include aerospace, affiliate and associate member council, agricultural engineering, biomedical engineering, continuing engineering studies, chemical engineering, civil engineering, computers, cooperative…
ERIC Educational Resources Information Center
League for Innovation in the Community Coll.
This document contains volume two of Learning Abstracts, a bimonthly newsletter from the League for Innovation in the Community College. Articles in these seven issues include: (1) "Get on the Fast Track to Learning: An Accelerated Associate Degree Option" (Gerardo E. de los Santos and Deborah J. Cruise); (2) "The Learning College: Both Learner…
ERIC Educational Resources Information Center
Nwabueze, Kenneth K.
2004-01-01
The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…
ERIC Educational Resources Information Center
Le Grice, Malcolm
A theoretical and historical account of the main preoccupations of makers of abstract films is presented in this book. The book's scope includes discussion of nonrepresentational forms as well as examination of experiments in the manipulation of time in films. The ten chapters discuss the following topics: art and cinematography, the first…
Sound-symbolism boosts novel word learning.
Lockwood, Gwilym; Dingemanse, Mark; Hagoort, Peter
2016-08-01
The existence of sound-symbolism (or a non-arbitrary link between form and meaning) is well-attested. However, sound-symbolism has mostly been investigated with nonwords in forced choice tasks, neither of which are representative of natural language. This study uses ideophones, which are naturally occurring sound-symbolic words that depict sensory information, to investigate how sensitive Dutch speakers are to sound-symbolism in Japanese in a learning task. Participants were taught 2 sets of Japanese ideophones; 1 set with the ideophones' real meanings in Dutch, the other set with their opposite meanings. In Experiment 1, participants learned the ideophones and their real meanings much better than the ideophones with their opposite meanings. Moreover, despite the learning rounds, participants were still able to guess the real meanings of the ideophones in a 2-alternative forced-choice test after they were informed of the manipulation. This shows that natural language sound-symbolism is robust beyond 2-alternative forced-choice paradigms and affects broader language processes such as word learning. In Experiment 2, participants learned regular Japanese adjectives with the same manipulation, and there was no difference between real and opposite conditions. This shows that natural language sound-symbolism is especially strong in ideophones, and that people learn words better when form and meaning match. The highlights of this study are as follows: (a) Dutch speakers learn real meanings of Japanese ideophones better than opposite meanings, (b) Dutch speakers accurately guess meanings of Japanese ideophones, (c) this sensitivity happens despite learning some opposite pairings, (d) no such learning effect exists for regular Japanese adjectives, and (e) this shows the importance of sound-symbolism in scaffolding language learning. (PsycINFO Database Record PMID:26844577
Abstract concepts: data from a Grey parrot.
Pepperberg, Irene M
2013-02-01
Do humans and nonhumans share the ability to form abstract concepts? Until the 1960s, many researchers questioned whether avian subjects could form categorical constructs, much less more abstract formulations, including concepts such as same-different or exact understanding of number. Although ethologists argued that nonhumans, including birds, had to have some understanding of divisions such as prey versus predator, mate versus nonmate, food versus nonfood, or basic relational concepts such as more versus less, simply in order to survive, no claims were made that these abilities reflected cognitive processes, and little formal data from psychology laboratories could initially support such claims. Researchers like Anthony Wright, however, succeeded in obtaining such data and inspired many others to pursue these topics, with the eventual result that several avian species are now considered "feathered primates" in terms of cognitive processes. Here I review research on numerical concepts in the Gray parrot (Psittacus erithacus), demonstrating that at least one subject, Alex, understood number symbols as abstract representations of real-world collections, in ways comparing favorably to those of apes and young human children. He not only understood such concepts, but also appeared to learn them in ways more similar to humans than to apes. PMID:23089384
How Do You Describe a Symbol? The Problems Involved in Retrieving Symbols from a Database.
ERIC Educational Resources Information Center
Dyson, Mary C.
1992-01-01
Analyzes attributes of symbols and identifies the need for a suitable management system for retrieving images from a database. A classification structure that incorporates graphic, semantic, and bibliographic dimensions is described; experiments with describing, sorting, and drawing symbols are reviewed; and future work on a database management…
ERIC Educational Resources Information Center
Driver, Melissa K.; Powell, Sarah R.
2015-01-01
Students often experience difficulty with attaching meaning to mathematics symbols. Many students react to symbols, such as the equal sign, as a command to "do something" or "write an answer" without reflecting upon the proper relational meaning of the equal sign. One method for assessing equal-sign understanding is through…
Social Adaptation of New Immigrant Students: Cultural Scripts, Roles, and Symbolic Interactionism
ERIC Educational Resources Information Center
Ukasoanya, Grace
2014-01-01
It is important that counselors understand the socio-cultural dimensions of social adaptation among immigrant students. While many psychological theories could provide suitable frameworks for examining these, in this article, I argue that symbolic interactionism could provide an additional valuable framework for (a) exploring the intersections of…
The Symbolic Boundary of Sports: Middle School Athletic Culture and Mexican Immigrant Girls
ERIC Educational Resources Information Center
Meador, Elizabeth
2012-01-01
In this article the author presents an analysis of the hidden curriculum of school sports in mediating the achievement of Mexican immigrant girls in middle schools in the southwestern United States. Using Bourdieu's theory of taste, the author shows how symbolic boundaries expressed by students and teachers legitimize cultural practices that…
Caring Teachers and Symbolic Violence: Engaging the Productive Struggle in Practice and Research
ERIC Educational Resources Information Center
Scott, Brigitte C.
2012-01-01
Symbolic violence may not be a desirable theory to apply to public schooling--its structuralist limitations render it deterministic, lacking in human agency, and unpalatable to researchers and educators who see schools as viable and productive sites of social transformation. Perhaps for these reasons, it seems little has been written about…
ERIC Educational Resources Information Center
Semali, Ladislaus M.; Shakespeare, Elizabeth S.
2014-01-01
In this article the authors contend that gender inequalities in occupational divisions of labor are better understood in reference to the concept of symbolic patriarchy. The conceptual framework is informed by social constructionist theories that view gender not merely in light of sexual or biological differences but as interwoven, fluid, and…
ERIC Educational Resources Information Center
Raychaudhuri, Debasree
2014-01-01
Although there is no consensus in regard to a unique meaning for abstraction, there is a recognition of the existence of several theories of abstraction, and that the ability to abstract is imperative to learning and doing meaningful mathematics. The theory of "reducing abstraction" maps the abstract nature of mathematics to the nature…
Food and water: symbol and reality.
Caspar, R
1988-05-01
The act of giving food and water to the needy and helpless is a reality that reflects the communitarian aspect of the human family and our commitment to nurture our more vulnerable members. The technology that delivers artificial nutrition and hydration to an irreversibly comatose patient is, some would say, a symbol of that reality. As a symbol, what does it communicate, to whom, and for whose benefit? The critical examination of the ethics surrounding this issue requires the careful navigation of one of the busiest intersections, where ethics, law, technology, medicine, and the Church enter, converge, and exit--each with its own preoccupation and destination. Symbols are a type of representation that point beyond themselves to something else. If the act of giving food and water is symbolic, to what reality does it point? Surely this reality is care--that most human and humane attention that we give to one another at the most basic level of need. But is this care realized when a patient who is dying is tethered to the technology of artificial nutrition and hydration against his or her will? The meaning communicated by this symbol in such a case is intended only for the care givers and society. For patients who have lived in the spirit of Christian faith, the message may be a death-denying one, out of keeping with the hope of resurrection and eternal life. PMID:10315753
Getting symbols out of a neural architecture
NASA Astrophysics Data System (ADS)
Hummel, John E.
2011-06-01
Traditional connectionist networks are sharply limited as general accounts of human perception and cognition because they are unable to represent relational ideas such as loves (John, Mary) or bigger-than (Volkswagen, breadbox) in a way that allows them to be manipulated as explicitly relational structures. This paper reviews and critiques the four major responses to this problem in the modelling community: (1) reject connectionism (in any form) in favour of traditional symbolic approaches to modelling the mind; (2) reject the idea that mental representations are symbolic (i.e. reject the idea that we can represent relations); and (3) attempt to represent symbolic structures in a connectionist/neural architecture by finding a way to represent role-filler bindings. Approach (3) is further subdivided into (3a) approaches based on varieties of conjunctive coding and (3b) approaches based on dynamic role-filler binding. I will argue that (3b) is necessary to get symbolic processing out of a neural computing architecture. Specifically, I will argue that vector addition is both the best way to accomplish dynamic binding and an essential part of the proper treatment of symbols in a neural architecture.
Determining A Purely Symbolic Transfer Function from Symbol Streams: Theory and Algorithms
Griffin, Christopher H
2008-01-01
Transfer function modeling is a \\emph{standard technique} in classical Linear Time Invariant and Statistical Process Control. The work of Box and Jenkins was seminal in developing methods for identifying parameters associated with classical $(r,s,k)$ transfer functions. Discrete event systems are often \\emph{used} for modeling hybrid control structures and high-level decision problems. \\emph{Examples include} discrete time, discrete strategy repeated games. For these games, a \\emph{discrete transfer function in the form of} an accurate hidden Markov model of input-output relations \\emph{could be used to derive optimal response strategies.} In this paper, we develop an algorithm \\emph{for} creating probabilistic \\textit{Mealy machines} that act as transfer function models for discrete event dynamic systems (DEDS). Our models are defined by three parameters, $(l_1, l_2, k)$ just as the Box-Jenkins transfer function models. Here $l_1$ is the maximal input history lengths to consider, $l_2$ is the maximal output history lengths to consider and $k$ is the response lag. Using related results, We show that our Mealy machine transfer functions are optimal in the sense that they maximize the mutual information between the current known state of the DEDS and the next observed input/output pair.
Historical development of abstracting.
Skolnik, H
1979-11-01
The abstract, under a multitude of names, such as hypothesis, marginalia, abridgement, extract, digest, précis, resumé, and summary, has a long history, one which is concomitant with advancing scholarship. The progression of this history from the Sumerian civilization ca. 3600 B.C., through the Egyptian and Greek civilizations, the Hellenistic period, the Dark Ages, Middle Ages, Renaissance, and into the modern period is reviewed. PMID:399482
EBS Radionuclide Transport Abstraction
J. Prouty
2006-07-14
The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment (TSPA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport
The symbolic self in evolutionary context.
Sedekides, C; Skowronski, J J
1997-01-01
We propose that the capacity for a symbolic self(a flexible and multifaceted cognitive representation of an organism's own attributes) in humans is a product of evolution. In pursuing this argument, we note that some primates possess rudimentary elements of a self (an objectified self) and that the symbolic self (a) is a trait that is widely shared among humans, (6) serves adaptive functions, and (c) could have evolved in response to environmental pressures, with ecological and social pressures being of particular relevance. We suggest that these two environmental pressures caused the symbolic self to emerge in the Pleistocene epoch as an adaptation for Homo erectus, and we review the possible functions served by such an adaptation. PMID:15647130
Use of symbolic computation in robotics education
NASA Technical Reports Server (NTRS)
Vira, Naren; Tunstel, Edward
1992-01-01
An application of symbolic computation in robotics education is described. A software package is presented which combines generality, user interaction, and user-friendliness with the systematic usage of symbolic computation and artificial intelligence techniques. The software utilizes MACSYMA, a LISP-based symbolic algebra language, to automatically generate closed-form expressions representing forward and inverse kinematics solutions, the Jacobian transformation matrices, robot pose error-compensation models equations, and Lagrange dynamics formulation for N degree-of-freedom, open chain robotic manipulators. The goal of such a package is to aid faculty and students in the robotics course by removing burdensome tasks of mathematical manipulations. The software package has been successfully tested for its accuracy using commercially available robots.
Symbolic-numeric interface: A review
NASA Technical Reports Server (NTRS)
Ng, E. W.
1980-01-01
A survey of the use of a combination of symbolic and numerical calculations is presented. Symbolic calculations primarily refer to the computer processing of procedures from classical algebra, analysis, and calculus. Numerical calculations refer to both numerical mathematics research and scientific computation. This survey is intended to point out a large number of problem areas where a cooperation of symbolic and numerical methods is likely to bear many fruits. These areas include such classical operations as differentiation and integration, such diverse activities as function approximations and qualitative analysis, and such contemporary topics as finite element calculations and computation complexity. It is contended that other less obvious topics such as the fast Fourier transform, linear algebra, nonlinear analysis and error analysis would also benefit from a synergistic approach.
Online Tester for a Symbol Generator
NASA Technical Reports Server (NTRS)
Juday, D.; Mcconaugy, K.
1985-01-01
About 95 percent of faults detected. Programable instrument periodically checks for failures in system that generates alphanumerical and other symbol voltages for cathode-ray-tube displays. Symbol-generator tester compares gated test-point voltages with predetermined voltage limits while circuit under test performs commanded operation. A go/no-go indication given, depending on whether test voltage is or is not within its specification. Tester in plug-in modular form, temporarily wired to generator test points, or permanently wired to these points.
Entropy and long-range memory in random symbolic additive Markov chains
NASA Astrophysics Data System (ADS)
Melnik, S. S.; Usatenko, O. V.
2016-06-01
The goal of this paper is to develop an estimate for the entropy of random symbolic sequences with elements belonging to a finite alphabet. As a plausible model, we use the high-order additive stationary ergodic Markov chain with long-range memory. Supposing that the correlations between random elements of the chain are weak, we express the conditional entropy of the sequence by means of the symbolic pair correlation function. We also examine an algorithm for estimating the conditional entropy of finite symbolic sequences. We show that the entropy contains two contributions, i.e., the correlation and the fluctuation. The obtained analytical results are used for numerical evaluation of the entropy of written English texts and DNA nucleotide sequences. The developed theory opens the way for constructing a more consistent and sophisticated approach to describe the systems with strong short-range and weak long-range memory.
Entropy and long-range memory in random symbolic additive Markov chains.
Melnik, S S; Usatenko, O V
2016-06-01
The goal of this paper is to develop an estimate for the entropy of random symbolic sequences with elements belonging to a finite alphabet. As a plausible model, we use the high-order additive stationary ergodic Markov chain with long-range memory. Supposing that the correlations between random elements of the chain are weak, we express the conditional entropy of the sequence by means of the symbolic pair correlation function. We also examine an algorithm for estimating the conditional entropy of finite symbolic sequences. We show that the entropy contains two contributions, i.e., the correlation and the fluctuation. The obtained analytical results are used for numerical evaluation of the entropy of written English texts and DNA nucleotide sequences. The developed theory opens the way for constructing a more consistent and sophisticated approach to describe the systems with strong short-range and weak long-range memory. PMID:27415245
EBS Radionuclide Transport Abstraction
J.D. Schreiber
2005-08-25
The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in ''Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration'' (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment for the license application (TSPA-LA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA-LA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers
From Rational Numbers to Dirac's Bra and Ket: Symbolic Representation of Physical Laws
NASA Astrophysics Data System (ADS)
D'Agostino, Salvo
2002-05-01
Beginning at least in the nineteenth century, symbols used by physicists in their equations interacted with their physical concepts. In the 1850s, Wilhelm Eduard Weber introduced a more rational order into symbolization by adopting an absolute system of units, and thus expressing electrodynamic laws in the form of algebraic equations instead of proportionality relationships, the formerly accepted representation of physical laws. In the 1860s, James Clerk Maxwell made a further advance by using dimensional quantities, and more complex symbolic forms such as gradient, convergence, rotor, and the like, in his electromagnetic and kinetic theories. In the twentieth century, Werner Heisenberg, Max Born, Erwin Schrödinger, and others introduced new symbols for complex numbers, operators, and matrices, thus passing from the representation of metrical properties of physical systems to higher-level mathematical objects. This process was enhanced in modern theoretical physics through the introduction of matrices, creation and destruction operators, Paul A. M. Dirac's q and c numbers, and so on. In the 1930s, Dirac radicalized this transformation of symbols, being aware of the profound modification in the method and scope of the mathematical-physical relationship it entailed.
Heat pipe technology. A bibliography with abstracts
NASA Technical Reports Server (NTRS)
1978-01-01
This bibliography cites 55 publications on the theory, design, development, fabrication, and testing of heat pipes. Applications covered include solar, nuclear, and thermoelectric energy conversion. A book (in Russian) on low temperature heat pipes is included as well as abstracts when available. Indexes provided list authors, titles/keywords (permuted) and patents.
ANNUAL REPORT-AUTOMATIC INDEXING AND ABSTRACTING.
ERIC Educational Resources Information Center
Lockheed Missiles and Space Co., Palo Alto, CA. Electronic Sciences Lab.
THE INVESTIGATION IS CONCERNED WITH THE DEVELOPMENT OF AUTOMATIC INDEXING, ABSTRACTING, AND EXTRACTING SYSTEMS. BASIC INVESTIGATIONS IN ENGLISH MORPHOLOGY, PHONETICS, AND SYNTAX ARE PURSUED AS NECESSARY MEANS TO THIS END. IN THE FIRST SECTION THE THEORY AND DESIGN OF THE "SENTENCE DICTIONARY" EXPERIMENT IN AUTOMATIC EXTRACTION IS OUTLINED. SOME OF…
Heat pipe technology: A bibliography with abstracts
NASA Technical Reports Server (NTRS)
1971-01-01
The annual supplement on heat pipe technology for 1971 is presented. The document contains 101 references with abstracts and 47 patents. The subjects discussed are: (1) heat pipe applications, (2) heat pipe theory, (3) design, development, and fabrication of heat pipes, (4) testing and operation, (5) subject and author index, and (6) heat pipe related patents.
Using Group Explorer in Teaching Abstract Algebra
ERIC Educational Resources Information Center
Schubert, Claus; Gfeller, Mary; Donohue, Christopher
2013-01-01
This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in…
Symbolic Play in Preschool and Primary Settings.
ERIC Educational Resources Information Center
Nourot, Patricia Moninghan; Van Hoorn, Judith L.
1991-01-01
A review of research on children's symbolic play discusses ways for teachers to (1) defend the inclusion of play in the curriculum; (2) understand and respect differences in the ways children play; and (3) facilitate play in the classroom. Discusses the complexity of play and the controversy about play as part of the curriculum. (GLR)
Teenage Drinking, Symbolic Capital and Distinction
ERIC Educational Resources Information Center
Jarvinen, Margaretha; Gundelach, Peter
2007-01-01
This article analyses alcohol-related lifestyles among Danish teenagers. Building on Bourdieu's reasoning on symbolic capital and distinction, we analyse three interrelated themes. First, we show that alcohol-related variables (drinking patterns, drinking debut, experience of intoxication, etc.) can be used to identify some very distinctive life…
Symbolic dynamics and the discrete variational principle
NASA Astrophysics Data System (ADS)
Dullin, H. R.
1998-11-01
We show how to construct symbolic dynamics for the class of 2d-dimensional twist mappings generated by piecewise strictly convex/concave generating functions. The method is constructive and gives an efficient way to find all periodic orbits of these high-dimensional symplectic mappings. It is illustrated with the cardioid and the stadium billiard.
Cartographic Symbolism and Very Young Children.
ERIC Educational Resources Information Center
Giffard, E. O.
The purpose of this paper is to discuss the alleged special difficulties in teaching very young children how to interpret cartographic symbols. Adults too often reduce or temporarily destroy interest by introducing too many complications too fast. There is a vast difference between acceptance of a fact and understanding of the cause of the fact.…
There Is More to Mathematics than Symbols
ERIC Educational Resources Information Center
Rivera, Ferdinand
2010-01-01
When teachers provide students with every opportunity to visually understand a mathematical concept, process, definition, or notation, they allow them to construct and manipulate relevant and useful images in their minds. Visual understanding has a dynamic character that they do not easily develop with alphanumeric symbols alone despite the…
Hilbrich, P
1991-04-01
The egg is one of the most ancient symbols in mankind. This is exemplified on the basis of various myths--cosmogony, theogony, magic witchcraft for healing and defence--originating from different pre-Christian and Christian cultures. PMID:1712265
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Symbol (S). 29.1066 Section 29.1066 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE COMMODITY STANDARDS AND STANDARD CONTAINER REGULATIONS...
Reconciling symbolic and dynamic aspects of language
Rączaszek-Leonardi, Joanna; Kelso, J.A. Scott
2009-01-01
The present paper examines natural language as a dynamical system. The oft-expressed view of language as “a static system of symbols” is here seen as an element of a larger system that embraces the mutuality of symbols and dynamics. Following along the lines of the theoretical biologist H.H. Pattee, the relation between symbolic and dynamic aspects of language is expressed within a more general framework that deals with the role of information in biological systems. In this framework, symbols are seen as information-bearing entities that emerge under pressures of communicative needs and that serve as concrete constraints on development and communication. In an attempt to identify relevant dynamic aspects of such a system, one has to take into account events that happen on different time scales: evolutionary language change (i.e., a diachronic aspect), processes of communication (language use) and language acquisition. Acknowledging the role of dynamic processes in shaping and sustaining the structures of natural language calls for a change in methodology. In particular, a purely synchronic analysis of a system of symbols as “meaning-containing entities” is not sufficient to obtain answers to certain recurring problems in linguistics and the philosophy of language. A more encompassing research framework may be the one designed specifically for studying informationally based coupled dynamical systems (coordination dynamics) in which processes of self-organization take place over different time scales. PMID:19173014
The Harp: The Symbol of Ireland.
ERIC Educational Resources Information Center
Hardy, Donna Dee
The harp as a symbol of the Irish people is discussed. The first part of the paper discusses the early use of the harp in Irish society and how the magical powers of this instrument affected the natives and invaders of the small island for centuries. From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been…
7 CFR 29.1008 - Combination symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Combination symbols. 29.1008 Section 29.1008 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE COMMODITY STANDARDS AND STANDARD CONTAINER REGULATIONS TOBACCO INSPECTION Standards...
Evaluation of Sight, Sound, Symbol Instructional Method.
ERIC Educational Resources Information Center
Massarotti, Michael C.; Slaichert, William M.
Evaluated was the Sight-Sound-Symbol (S-S-S) method of teaching basic reading skills with four groups of 16 trainable mentally retarded children. The method involved use of a musical keyboard to teach children to identify numbers, letters, colors, and shapes. Groups either received individual S-S-S instruction for 10 minutes daily, received S-S-S…
The Design of Tactile Thematic Symbols
ERIC Educational Resources Information Center
Lawrence, Megan M.; Lobben, Amy K.
2011-01-01
The study reported here investigated the design and legibility of tactile thematic maps, focusing on symbolization and the comprehension of spatial patterns on the maps. The results indicate that discriminable and effective tactile thematic maps can be produced using classed data with a microcapsule paper production method. The participants…
7 CFR 29.2259 - Color symbols.
Code of Federal Regulations, 2011 CFR
2011-01-01
... 7 Agriculture 2 2011-01-01 2011-01-01 false Color symbols. 29.2259 Section 29.2259 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... INSPECTION Standards Official Standard Grades for Virginia Fire-Cured Tobacco (u.s. Type 21) § 29.2259...
7 CFR 29.2259 - Color symbols.
Code of Federal Regulations, 2012 CFR
2012-01-01
... 7 Agriculture 2 2012-01-01 2012-01-01 false Color symbols. 29.2259 Section 29.2259 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... INSPECTION Standards Official Standard Grades for Virginia Fire-Cured Tobacco (u.s. Type 21) § 29.2259...
7 CFR 29.2259 - Color symbols.
Code of Federal Regulations, 2010 CFR
2010-01-01
... 7 Agriculture 2 2010-01-01 2010-01-01 false Color symbols. 29.2259 Section 29.2259 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... INSPECTION Standards Official Standard Grades for Virginia Fire-Cured Tobacco (u.s. Type 21) § 29.2259...
7 CFR 29.2259 - Color symbols.
Code of Federal Regulations, 2014 CFR
2014-01-01
... 7 Agriculture 2 2014-01-01 2014-01-01 false Color symbols. 29.2259 Section 29.2259 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... INSPECTION Standards Official Standard Grades for Virginia Fire-Cured Tobacco (u.s. Type 21) § 29.2259...
7 CFR 29.2259 - Color symbols.
Code of Federal Regulations, 2013 CFR
2013-01-01
... 7 Agriculture 2 2013-01-01 2013-01-01 false Color symbols. 29.2259 Section 29.2259 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... INSPECTION Standards Official Standard Grades for Virginia Fire-Cured Tobacco (u.s. Type 21) § 29.2259...
Factors affecting preference ratings of prohibitive symbols.
Shieh, Kong-king; Huang, Shih-miao
2003-11-01
A sign consisting of a pictorial overlaid with a red circle-slash (i.e., a red circle with a red slash) is used ubiquitously to convey the message that some activity is prohibited. The purpose of this study was to investigate the effects of pictorial solidity, size, and direction of elongation (DE) of the pictorial and orientation and thickness of the red circle-slash on the preference ratings for prohibitive symbols. Solid (filled) pictorials were rated better than pictorials in outline form. Pictorials with a size equal to or greater than 75% of the length of the inner diameter of the circle-slash were rated higher than pictorials 50% in size. The effect of pictorial DE was not significant: pictorials with a greater vertical DE (i.e., tall/thin pictorials) did not differ from pictorials with a greater horizontal DE (i.e., short/wide pictorials), in terms of their preference ratings. However, pictorial DE interacted with slash orientation. Diagonal slashes were rated better than vertical or horizontal ones. Further, symbols were rated better when the thickness of the red circle-slash was such that its resulting area comprised 25% of the total area inside its outer circle at least. Moreover, the interaction of pictorial size and slash thickness indicated that the preference for prohibitive symbols of thicker slash and smaller pictorial size might be degraded drastically. Implications of the results for the design of prohibitive symbols were discussed. PMID:14559418
Reflection in psychoanalysis: on symbols and metaphors.
Enckell, Henrik
2010-10-01
Psychoanalysis is an art of reflection, i.e. it tries to facilitate the subject's retrieval of his own self. The 'material' to be reflected upon consists of the products of human symbolization. But there are two views of reflection. In one, the self is searched in a temporal, structural and procedural 'anterior' (the model of archaeology). In the other the self is to be found in a still evolving meaning process, i.e. it resides in a 'future' (the model of teleology). Both these pictures are common in psychoanalysis. The aim of this paper is to study the figures of symbolization through the archaeology/teleology reflection model. The author tries to show that 'symbol' leans on archaeology while 'metaphor' comprises a teleological conception. In order to show the relevance of this finding, the author draws the outlines of both an archaeological and a teleological model in psychoanalysis. It is stated that the former builds on an inherent symbol model while the figure for the latter is metaphor. PMID:20955247
36 CFR 1001.10 - Symbolic signs.
Code of Federal Regulations, 2013 CFR
2013-07-01
... signs. (a) The signs pictured in 36 CFR 1.10 provide general information and regulatory guidance in the area administered by the Presidio Trust. Certain of the signs designate activities that are either... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Symbolic signs....
36 CFR 1001.10 - Symbolic signs.
Code of Federal Regulations, 2012 CFR
2012-07-01
... signs. (a) The signs pictured in 36 CFR 1.10 provide general information and regulatory guidance in the area administered by the Presidio Trust. Certain of the signs designate activities that are either... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Symbolic signs....
36 CFR 1001.10 - Symbolic signs.
Code of Federal Regulations, 2014 CFR
2014-07-01
... signs. (a) The signs pictured in 36 CFR 1.10 provide general information and regulatory guidance in the area administered by the Presidio Trust. Certain of the signs designate activities that are either... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Symbolic signs....
36 CFR 1001.10 - Symbolic signs.
Code of Federal Regulations, 2010 CFR
2010-07-01
... signs. (a) The signs pictured in 36 CFR 1.10 provide general information and regulatory guidance in the area administered by the Presidio Trust. Certain of the signs designate activities that are either... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Symbolic signs....
36 CFR 1001.10 - Symbolic signs.
Code of Federal Regulations, 2011 CFR
2011-07-01
... signs. (a) The signs pictured in 36 CFR 1.10 provide general information and regulatory guidance in the area administered by the Presidio Trust. Certain of the signs designate activities that are either... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Symbolic signs....
Symbol Sense Behavior in Digital Activities
ERIC Educational Resources Information Center
Bokhove, Christian; Drijvers, Paul
2010-01-01
The algebraic expertise that mathematics education is aiming for includes both procedural skills and conceptual understanding. To capture the latter, notions such as symbol sense, gestalt view and visual salience have been developed. We wonder if digital activities can be designed that not only require procedural algebraic skills, but also invite…
Assessing levels of consciousness with symbolic analysis.
Lee, UnCheol; Blain-Moraes, Stefanie; Mashour, George A
2015-02-13
'Covert consciousness' is a state in which consciousness is present without the capacity for behavioural response, and it can occur in patients with intraoperative awareness or unresponsive wakefulness syndrome. To detect and prevent this undesirable state, it is critical to develop a reliable neurobiological assessment of an individual's level of consciousness that is independent of behaviour. One such approach that shows potential is measuring surrogates of cortical communication in the brain using electroencephalography (EEG). EEG is practicable in clinical application, but involves many fundamental signal processing problems, including signal-to-noise ratio and high dimensional complexity. Symbolic analysis of EEG can mitigate these problems, improving the measurement of brain connectivity and the ability to successfully assess levels of consciousness. In this article, we review the problem of covert consciousness, basic neurobiological principles of consciousness, current methods of measuring brain connectivity and the advantages of symbolic processing, with a focus on symbolic transfer entropy (STE). Finally, we discuss recent advances and clinical applications of STE and other symbolic analyses to assess levels of consciousness. PMID:25548273
Code of Federal Regulations, 2010 CFR
2010-10-01
... ASSISTANCE-WILDLIFE SPORT FISH RESTORATION PROGRAM ADMINISTRATIVE REQUIREMENTS, PITTMAN-ROBERTSON WILDLIFE RESTORATION AND DINGELL-JOHNSON SPORT FISH RESTORATION ACTS § 80.26 Symbols. We have prescribed distinctive...-Johnson Sport Fish Restoration Act and items on which taxes and duties have been collected to support...
The Development of Symbol Processing Abilities.
ERIC Educational Resources Information Center
Farnham-Diggory, Sylvia
Visual and auditory stimuli were presented to children to measure symbol processing abilities. Slides which required matching the similarities in two objects in a group of three were presented. At times the matching criteria varied between function, color, and form. Reaction time was quicker when matching by color than by function, which was…
Computer Symbolic Math & Education: A Radical Proposal.
ERIC Educational Resources Information Center
Stoutemyer, David R.
This document promotes computer symbolic mathematics and computer algebra as ideal instructional materials for mathematics, science, and engineering students. Further, computer algebra is viewed as appropriate for all students throughout the mathematics curriculum, by serving a vast area of mutual reinforcement and cross-motivation between…
Crowding Affects Letters and Symbols Differently
ERIC Educational Resources Information Center
Grainger, Jonathan; Tydgat, Ilse; Issele, Joanna
2010-01-01
Five experiments examined crowding effects with letter and symbol stimuli. Experiments 1 through 3 compared 2-alternative forced-choice (2AFC) identification accuracy for isolated targets presented left and right of fixation with targets flanked either by 2 other items of the same category or a single item situated to the right or left of targets.…
Colour symbolism in the folk literature and textile tradition of the Caucasus
NASA Astrophysics Data System (ADS)
Hunt, David; Chenciner, Robert
2006-06-01
Colour associations have been analysed indirectly by a study of oral traditions and legends, using methods developed in structural anthropology. Colours were considered, not in isolation, but mainly in contrasting pairs or in sequences. It was found that a specific colour could have different associations in different conditions, and that generally the associations were more abstract than concrete. In surviving woollen rugs and felts and silk embroideries, colours appear to be linked with availability of dyes rather than symbolism.
NASA Astrophysics Data System (ADS)
Cook, M.
2015-12-01
(Abstract only) In 2012, Lowell Observatory launched The Lowell Amateur Research Initiative (LARI) to formally involve amateur astronomers in scientific research by bringing them to the attention of and helping professional astronomers with their astronomical research. One of the LARI projects is the BVRI photometric monitoring of Young Stellar Objects (YSOs), wherein amateurs obtain observations to search for new outburst events and characterize the colour evolution of previously identified outbursters. A summary of the scientific and organizational aspects of this LARI project, including its goals and science motivation, the process for getting involved with the project, a description of the team members, their equipment and methods of collaboration, and an overview of the programme stars, preliminary findings, and lessons learned is presented.
IEEE conference record -- Abstracts
Not Available
1994-01-01
This conference covers the following areas: computational plasma physics; vacuum electronic; basic phenomena in fully ionized plasmas; plasma, electron, and ion sources; environmental/energy issues in plasma science; space plasmas; plasma processing; ball lightning/spherical plasma configurations; plasma processing; fast wave devices; magnetic fusion; basic phenomena in partially ionized plasma; dense plasma focus; plasma diagnostics; basic phenomena in weakly ionized gases; fast opening switches; MHD; fast z-pinches and x-ray lasers; intense ion and electron beams; laser-produced plasmas; microwave plasma interactions; EM and ETH launchers; solid state plasmas and switches; intense beam microwaves; and plasmas for lighting. Separate abstracts were prepared for 416 papers in this conference.
MINING NUCLEAR TRANSIENT DATA THROUGH SYMBOLIC CONVERSION
Diego MAndelli; Tunc Aldemir; Alper Yilmaz; Curtis Smith
2013-09-01
Dynamic Probabilistic Risk Assessment (DPRA) methodologies generate enormous amounts of data for a very large number of simulations. The data contain temporal information of both the state variables of the simulator and the temporal status of specific systems/components. In order to measure system performances, limitations and resilience, such data need to be carefully analyzed with the objective of discovering the correlations between sequence/timing of events and system dynamics. A first approach toward discovering these correlations from data generated by DPRA methodologies has been performed by organizing scenarios into groups using classification or clustering based algorithms. The identification of the correlations between system dynamics and timing/sequencing of events is performed by observing the temporal distribution of these events in each group of scenarios. Instead of performing “a posteriori” analysis of these correlations, this paper shows how it is possible to identify the correlations implicitly by performing a symbolic conversion of both continuous (temporal profiles of simulator state variables) and discrete (status of systems and components) data. Symbolic conversion is performed for each simulation by properly quantizing both continuous and discrete data and then converting them as a series of symbols. After merging both series together, a temporal phrase is obtained. This phrase preserves duration, coincidence and sequence of both continuous and discrete data in a uniform and consistent manner. In this paper it is also shown that by using specific distance measures, it is still possible to post-process such symbolic data using clustering and classification techniques but in considerably less time since the memory needed to store the data is greatly reduced by the symbolic conversion.
Symbolic-Graphical Calculators: Teaching Tools for Mathematics.
ERIC Educational Resources Information Center
Dick, Thomas P.
1992-01-01
Explores the role that symbolic-graphical calculators can play in the current calls for reform in the mathematics curriculum. Discusses symbolic calculators and graphing calculators in relation to problem solving, computational skills, and mathematics instruction. (MDH)
ERIC Educational Resources Information Center
De Bock, Dirk; Deprez, Johan; Van Dooren, Wim; Roelens, Michel; Verschaffel, Lieven
2011-01-01
Kaminski, Sloutsky, and Heckler (2008a) published in "Science" a study on "The advantage of abstract examples in learning math," in which they claim that students may benefit more from learning mathematics through a single abstract, symbolic representation than from multiple concrete examples. This publication elicited both enthusiastic and…
Symbolic planning with metric time
NASA Astrophysics Data System (ADS)
MacMillan, T. R.
1992-03-01
Most AI planning systems have considered time in a qualitative way only. For example, a plan may require one action to come 'before' another. Metric time enables AI planners to represent action durations and reason over quantitative temporal constraints such as windows of opportunity. This paper presents preliminary results observed while developing a theory of multi-agent adversarial planning for battle management research. Quantitative temporal reasoning seems essential in this domain. For example, Orange may plan to block Blue's attack by seizing a river ford which Blue must cross, but only if Orange can get there during the window of opportunity while Blue is approaching the ford but has not yet arrived. In nonadversarial multi-agent planning, metric time enables planners to detect windows of opportunity for agents to help or hinder each other. In single-agent planning, metric time enables planners to reason about deadlines, temporally constrained resource availability, and asynchronous processes which the agent can initiate and monitor. Perhaps surprisingly, metric time increases the computational complexity of planning less than might be expected, because it reduces the computational complexity of modal truth criteria. To make this observation precise, we review Chapman's analysis to modal truth criteria and describe a tractable heuristic criterion, 'worst case necessarily true.' Deciding if a proposition is worst case necessarily true, in a single-agent plan with n steps, requires O(n) computations only if qualitative temporal information is used. We show how it can be decided in O(log n) using metric time.
NSL a Neuro-Symbolic Language for a Neuro-Symbolic Processor (NSP).
Burattini, Ernesto; De Francesco, Antonio; De Gregorio, Massimo
2003-04-01
A Neuro-Symbolic Language for monotonic and non-monotonic parallel logical inference by means of artificial neural networks (ANNs) is presented. Both the language and its compiler have been designed and implemented in order to translate the neural representation of a given problem into a VHDL software, which in turn can set devices such as FPGA. The result of this operation leads to an electronic circuit that we call NSP (Neuro-Symbolic Processor). PMID:12923922
Teaching for Abstraction: A Model
ERIC Educational Resources Information Center
White, Paul; Mitchelmore, Michael C.
2010-01-01
This article outlines a theoretical model for teaching elementary mathematical concepts that we have developed over the past 10 years. We begin with general ideas about the abstraction process and differentiate between "abstract-general" and "abstract-apart" concepts. A 4-phase model of teaching, called Teaching for Abstraction, is then proposed…
Intuitiveness of Symbol Features for Air Traffic Management
NASA Technical Reports Server (NTRS)
Ngo, Mary Kim; Vu, Kim-Phuong L.; Thorpe, Elaine; Battiste, Vernol; Strybel, Thomas Z.
2012-01-01
We present the results of two online surveys asking participants to indicate what type of air traffic information might be conveyed by a number of symbols and symbol features (color, fill, text, and shape). The results of this initial study suggest that the well-developed concepts of ownership, altitude, and trajectory are readily associated with certain symbol features, while the relatively novel concept of equipage was not clearly associated with any specific symbol feature.
46 CFR 50.10-25 - Coast Guard Symbol.
Code of Federal Regulations, 2014 CFR
2014-10-01
... 46 Shipping 2 2014-10-01 2014-10-01 false Coast Guard Symbol. 50.10-25 Section 50.10-25 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING GENERAL PROVISIONS Definition of Terms Used in This Subchapter § 50.10-25 Coast Guard Symbol. (a) The term Coast Guard Symbol means that impression stamped on the...
46 CFR 50.10-25 - Coast Guard Symbol.
Code of Federal Regulations, 2010 CFR
2010-10-01
... 46 Shipping 2 2010-10-01 2010-10-01 false Coast Guard Symbol. 50.10-25 Section 50.10-25 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING GENERAL PROVISIONS Definition of Terms Used in This Subchapter § 50.10-25 Coast Guard Symbol. (a) The term Coast Guard Symbol means that impression stamped on the...
40 CFR 1042.905 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2013 CFR
2013-07-01
... 40 Protection of Environment 34 2013-07-01 2013-07-01 false Symbols, acronyms, and abbreviations... Definitions and Other Reference Information § 1042.905 Symbols, acronyms, and abbreviations. The following symbols, acronyms, and abbreviations apply to this part: ABTAveraging, banking, and trading....
Social Validation of Symbolic Play Training for Children with Autism
ERIC Educational Resources Information Center
Stahmer, Aubyn C.; Schreibman, Laura; Powell, Nicole Palardy
2006-01-01
The present study examined the social significance of changes resulting from teaching symbolic play skills to children with autism using Pivotal Response Training (PRT). Qualitatively obtained results from a previous study indicated that, following symbolic play training, children with autism increased their symbolic play behaviors and play…
Problem Solving in Calculus with Symbolic Geometry and CAS
ERIC Educational Resources Information Center
Todd, Philip; Wiechmann, James
2008-01-01
Computer algebra systems (CAS) have been around for a number of years, as has dynamic geometry. Symbolic geometry software is new. It bears a superficial similarity to dynamic geometry software, but differs in that problems may be set up involving symbolic variables and constants, and measurements are given as symbolic expressions. Mathematical…
The Symbolic Order of School: Waldorf and College Prep.
ERIC Educational Resources Information Center
Henry, Mary E.
Schools embody a "symbolic order" communicated through school rituals and social and symbolic relationships. Schools possess a moral vision, a system of values and norms that they wish to develop in students. This paper compares the symbolic order of two independent schools, one a traditional college preparatory school (preschool-grade 12), the…
Gibberish or What? Use of Symbolic Language in Primary Mathematics
ERIC Educational Resources Information Center
Quinnell, Lorna; Carter, Merilyn
2013-01-01
Lorna Quinnell and Merrilyn Carter examine the use of symbols in teaching mathematics and outline the difficulties students experience in "reading symbols and abbreviations." We are sure teachers will appreciate the way the authors have examined the use of symbols and abbreviations in NAPLAN testing and organized them into five distinct…
On the Use of Symbolic Computation in Undergraduate Microeconomics Instruction.
ERIC Educational Resources Information Center
Boyd, David W.
1998-01-01
Illustrates how a computer software symbolic-processing program can be easily incorporated into an advanced undergraduate microeconomics course. Symbolic-processing programs are relatively sophisticated software packages that combine numeric, symbolic, and graphic computation in a single unified computing environment. Includes examples of…
Transfer by Very Young Children in the Symbolic Retrieval Task
ERIC Educational Resources Information Center
DeLoache, Judy S.; Simcock, Gabrielle; Marzolf, Donald P.
2004-01-01
Cumulative experience with a variety of symbolic artifacts has been hypothesized as a source of young children's increasing sensitivity to new symbol-referent relations. Evidence for this hypothesis comes from transfer studies showing that experience with a relatively easy symbolic retrieval task improves performance on a more difficult task.…
32 CFR 310.42 - Reports control symbol.
Code of Federal Regulations, 2010 CFR
2010-07-01
... 32 National Defense 2 2010-07-01 2010-07-01 false Reports control symbol. 310.42 Section 310.42... PROGRAM DOD PRIVACY PROGRAM Reports § 310.42 Reports control symbol. Any report established by this subpart in support of the Privacy Program shall be assigned Report Control Symbol DD-COMP(A)1379....
Developing Meaning for Algebraic Symbols: Possibilities and Pitfall
ERIC Educational Resources Information Center
Lannin, John K.; Townsend, Brian E.; Armer, Nathan; Green, Savanna; Schneider, Jessica
2008-01-01
Developing meaning for symbolic representations is an important part of the middle school mathematics experience for all students. Teachers must not see simply writing symbolic representations as the end goal, but focus on the internal meaning that students ascribe to these symbols. Too often, students lack a deep understanding of the algebraic…
The analysis of control trajectories using symbolic and database computing
NASA Technical Reports Server (NTRS)
Grossman, Robert
1991-01-01
The research broadly concerned the symbolic computation, mixed numeric-symbolic computation, and data base computation of trajectories of dynamical systems, especially control systems. It was determined that trees can be used to compute symbolically series which approximate solutions to differential equations.
Emotion Management of Teaching: Conflict Theory and Symbolic Interactionism
ERIC Educational Resources Information Center
Tsang, Kwok Kuen
2012-01-01
Background: Recently, studies have found that more and more teachers in Hong Kong express negative feelings toward their work, such as feelings of dissatisfaction, exhaustion, meaningless and powerless. These negative emotional experiences may affect both their well-being and the quality of their teaching. In order to have a better understanding…
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
NASA Technical Reports Server (NTRS)
Bogomolov, Sergiy; Frehse, Goran; Greitschus, Marius; Grosu, Radu; Pasareanu, Corina S.; Podelski, Andreas; Strump, Thomas
2014-01-01
Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.
Automated Supernova Discovery (Abstract)
NASA Astrophysics Data System (ADS)
Post, R. S.
2015-12-01
(Abstract only) We are developing a system of robotic telescopes for automatic recognition of Supernovas as well as other transient events in collaboration with the Puckett Supernova Search Team. At the SAS2014 meeting, the discovery program, SNARE, was first described. Since then, it has been continuously improved to handle searches under a wide variety of atmospheric conditions. Currently, two telescopes are used to build a reference library while searching for PSN with a partial library. Since data is taken every night without clouds, we must deal with varying atmospheric and high background illumination from the moon. Software is configured to identify a PSN, reshoot for verification with options to change the run plan to acquire photometric or spectrographic data. The telescopes are 24-inch CDK24, with Alta U230 cameras, one in CA and one in NM. Images and run plans are sent between sites so the CA telescope can search while photometry is done in NM. Our goal is to find bright PSNs with magnitude 17.5 or less which is the limit of our planned spectroscopy. We present results from our first automated PSN discoveries and plans for PSN data acquisition.
Stellar Presentations (Abstract)
NASA Astrophysics Data System (ADS)
Young, D.
2015-12-01
(Abstract only) The AAVSO is in the process of expanding its education, outreach and speakers bureau program. powerpoint presentations prepared for specific target audiences such as AAVSO members, educators, students, the general public, and Science Olympiad teams, coaches, event supervisors, and state directors will be available online for members to use. The presentations range from specific and general content relating to stellar evolution and variable stars to specific activities for a workshop environment. A presentation—even with a general topic—that works for high school students will not work for educators, Science Olympiad teams, or the general public. Each audience is unique and requires a different approach. The current environment necessitates presentations that are captivating for a younger generation that is embedded in a highly visual and sound-bite world of social media, twitter and U-Tube, and mobile devices. For educators, presentations and workshops for themselves and their students must support the Next Generation Science Standards (NGSS), the Common Core Content Standards, and the Science Technology, Engineering and Mathematics (STEM) initiative. Current best practices for developing relevant and engaging powerpoint presentations to deliver information to a variety of targeted audiences will be presented along with several examples.
ERIC Educational Resources Information Center
Holloway, Ian D.; Ansari, Daniel
2010-01-01
Because number is an abstract quality of a set, the way in which a number is externally represented does not change its quantitative meaning. In this study, we examined the development of the brain regions that support format-independent representation of numerical magnitude. We asked children and adults to perform both symbolic (Hindu-Arabic…
Turning Symbolic: The Representation of Motion Direction in Working Memory
Seidel Malkinson, Tal; Pertzov, Yoni; Zohary, Ehud
2016-01-01
What happens to the representation of a moving stimulus when it is no longer present and its motion direction has to be maintained in working memory (WM)? Is the initial, sensorial representation maintained during the delay period or is there another representation, at a higher level of abstraction? It is also feasible that multiple representations may co-exist in WM, manifesting different facets of sensory and more abstract features. To that end, we investigated the mnemonic representation of motion direction in a series of three psychophysical experiments, using a delayed motion-discrimination task (relative clockwise∖counter-clockwise judgment). First, we show that a change in the dots’ contrast polarity does not hamper performance. Next, we demonstrate that performance is unaffected by relocation of the Test stimulus in either retinotopic or spatiotopic coordinate frames. Finally, we show that an arrow-shaped cue presented during the delay interval between the Sample and Test stimulus, strongly biases performance toward the direction of the arrow, although the cue itself is non-informative (it has no predictive value of the correct answer). These results indicate that the representation of motion direction in WM could be independent of the physical features of the stimulus (polarity or position) and has non-sensorial abstract qualities. It is plausible that an abstract mnemonic trace might be activated alongside a more basic, analog representation of the stimulus. We speculate that the specific sensitivity of the mnemonic representation to the arrow-shaped symbol may stem from the long term learned association between direction and the hour in the clock. PMID:26909059
SYMBMAT: Symbolic computation of quantum transition matrix elements
NASA Astrophysics Data System (ADS)
Ciappina, M. F.; Kirchner, T.
2012-08-01
We have developed a set of Mathematica notebooks to compute symbolically quantum transition matrices relevant for atomic ionization processes. The utilization of a symbolic language allows us to obtain analytical expressions for the transition matrix elements required in charged-particle and laser induced ionization of atoms. Additionally, by using a few simple commands, it is possible to export these symbolic expressions to standard programming languages, such as Fortran or C, for the subsequent computation of differential cross sections or other observables. One of the main drawbacks in the calculation of transition matrices is the tedious algebraic work required when initial states other than the simple hydrogenic 1s state need to be considered. Using these notebooks the work is dramatically reduced and it is possible to generate exact expressions for a large set of bound states. We present explicit examples of atomic collisions (in First Born Approximation and Distorted Wave Theory) and laser-matter interactions (within the Dipole and Strong Field Approximations and different gauges) using both hydrogenic wavefunctions and Slater-Type Orbitals with arbitrary nlm quantum numbers as initial states. Catalogue identifier: AEMI_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEMI_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 71 628 No. of bytes in distributed program, including test data, etc.: 444 195 Distribution format: tar.gz Programming language: Mathematica Computer: Single machines using Linux or Windows (with cores with any clock speed, cache memory and bits in a word) Operating system: Any OS that supports Mathematica. The notebooks have been tested under Windows and Linux and with versions 6.x, 7.x and 8.x Classification: 2.6 Nature of problem
From the Origins of Life to Intelligence: The Emergence of Symbolic Constructs
NASA Technical Reports Server (NTRS)
Colombano, Silvano P.; Clancy, Daniel (Technical Monitor)
2001-01-01
Intelligence cannot be understood - and cannot be 'artificially recreated' - without also understanding how it fits as a phenomenon in the evolution of matter. I say 'matter' instead of 'life' because my thesis is that the distinction between matter, with its associated interactions, and life, is simply in the complexity of these interactions and in the number of 'symbolic levels' that are defined by these interactions. Most of us think of symbols only in the context of language. This is understandable, since it is at this level where it is easiest to draw a distinction between natural objects and their 'names', i.e., the different sets of 'abstract' objects that can be manipulated to produce models of the 'real' world. Of course sets of abstract objects can also acquire names and be manipulated at higher and higher conceptual levels. When we use the words 'philosophy' or 'the Declaration of Independence' we use abstract constructs that will only make sense in other specific abstract contexts. Additional information is contained in the original extended abstract.
J.T. Birkholzer
2004-11-01
This model report documents the abstraction of drift seepage, conducted to provide seepage-relevant parameters and their probability distributions for use in Total System Performance Assessment for License Application (TSPA-LA). Drift seepage refers to the flow of liquid water into waste emplacement drifts. Water that seeps into drifts may contact waste packages and potentially mobilize radionuclides, and may result in advective transport of radionuclides through breached waste packages [''Risk Information to Support Prioritization of Performance Assessment Models'' (BSC 2003 [DIRS 168796], Section 3.3.2)]. The unsaturated rock layers overlying and hosting the repository form a natural barrier that reduces the amount of water entering emplacement drifts by natural subsurface processes. For example, drift seepage is limited by the capillary barrier forming at the drift crown, which decreases or even eliminates water flow from the unsaturated fractured rock into the drift. During the first few hundred years after waste emplacement, when above-boiling rock temperatures will develop as a result of heat generated by the decay of the radioactive waste, vaporization of percolation water is an additional factor limiting seepage. Estimating the effectiveness of these natural barrier capabilities and predicting the amount of seepage into drifts is an important aspect of assessing the performance of the repository. The TSPA-LA therefore includes a seepage component that calculates the amount of seepage into drifts [''Total System Performance Assessment (TSPA) Model/Analysis for the License Application'' (BSC 2004 [DIRS 168504], Section 6.3.3.1)]. The TSPA-LA calculation is performed with a probabilistic approach that accounts for the spatial and temporal variability and inherent uncertainty of seepage-relevant properties and processes. Results are used for subsequent TSPA-LA components that may handle, for example, waste package corrosion or radionuclide transport.
The influence of math anxiety on symbolic and non-symbolic magnitude processing
Dietrich, Julia F.; Huber, Stefan; Moeller, Korbinian; Klein, Elise
2015-01-01
Deficits in basic numerical abilities have been investigated repeatedly as potential risk factors of math anxiety. Previous research suggested that also a deficient approximate number system (ANS), which is discussed as being the foundation for later math abilities, underlies math anxiety. However, these studies examined this hypothesis by investigating ANS acuity using a symbolic number comparison task. Recent evidence questions the view that ANS acuity can be assessed using a symbolic number comparison task. To investigate whether there is an association between math anxiety and ANS acuity, we employed both a symbolic number comparison task and a non-symbolic dot comparison task, which is currently the standard task to assess ANS acuity. We replicated previous findings regarding the association between math anxiety and the symbolic distance effect for response times. High math anxious individuals showed a larger distance effect than less math anxious individuals. However, our results revealed no association between math anxiety and ANS acuity assessed using a non-symbolic dot comparison task. Thus, our results did not provide evidence for the hypothesis that a deficient ANS underlies math anxiety. Therefore, we propose that a deficient ANS does not constitute a risk factor for the development of math anxiety. Moreover, our results suggest that previous interpretations regarding the interaction of math anxiety and the symbolic distance effect have to be updated. We suggest that impaired number comparison processes in high math anxious individuals might account for the results rather than deficient ANS representations. Finally, impaired number comparison processes might constitute a risk factor for the development of math anxiety. Implications for current models regarding the origins of math anxiety are discussed. PMID:26579012
Symbols and ethics: integrity and the discipline of nursing.
Milton, Constance L
2005-07-01
Symbols give meaning to phenomena coconstituted in the human-universe-health process. There are many common symbols of ethics found in the discipline of nursing. Symbols of ethics may take the form of codes, oaths, pledges, resolutions, or position statements that represent notions of what one ought to do in a discipline or profession. Ethical symbols are intended to guide a particular discipline in practice, research, and education. What is their importance to the discipline of nursing? What are the possible implications of integrity for nursing when viewing the application of ethical symbols from a nursing theoretical perspective? PMID:15976042
Symbolic vector analysis in plasma physics
NASA Astrophysics Data System (ADS)
Qin, H.; Tang, W. M.; Rewoldt, G.
1999-01-01
Many problems in plasma physics involve substantial amounts of analytical vector calculation. The complexity usually originates from both the vector operations themselves and the underlying coordinate systems. A computer algebra package for symbolic vector analysis in general coordinate systems, GeneralVectorAnalysis (GVA), is developed using Mathematica. The modern viewpoint for 3D vector calculus, differential forms on 3-manifolds, is adopted to unify and systematize the vector calculus operations in general coordinate systems. Besides the basic vector analysis functions, the package provides asymptotic capabilities, 2D vector analysis notation, and a simple interface for users to define their own coordinate systems. These features will benefit physicists and applied mathematicians in their research where complicated vector analysis in complicated coordinate systems is required. Several applications of this symbolic vector analysis package to plasma physics are also given.
Symbolic Vector Analysis in Plasma Physics
Qin, H.; Rewoldt, G.; Tang, W.M.
1997-10-01
Many problems in plasma physics involve substantial amounts of analytical vector calculation. The complexity usually originates from both the vector operations themselves and the choice of underlying coordinate system. A computer algebra package for symbolic vector analysis in general coordinate systems, GeneralVectorAnalysis (GVA), is developed using Mathematica. The modern viewpoint for 3D vector calculus, differential forms on 3-manifolds, is adopted to unify and systematize the vector calculus operations in general coordinate systems. This package will benefit physicists and applied mathematicians in their research where complicated vector analysis is required. It will not only save a huge amount of human brain-power and dramatically improve accuracy, but this package will also be an intelligent tool to assist researchers in finding the right approaches to their problems. Several applications of this symbolic vector analysis package to plasma physics are also given.
The symbolism and myth surrounding nurses' uniform.
Richardson, M
This article addresses nurses' uniform from the perspective of the symbolic, myth, legend and competing discourse. The analysis touches upon why nurses working with people who have learning disabilities discarded the nurses' uniform and why other nurses may consider doing so, particularly if suitable alternatives exist. The analysis draws from various areas of nursing practice, including the nursing of disabled people, elderly people and people with learning disabilities. Nurses' uniform is revealed as a totem of considerable potency such that to wear a uniform in just any setting or context has to be cautioned. The practicalities of protective clothing are addressed. A differentiation is drawn between uniform and protective clothing such that much of the undesirable symbolism associated with uniform may be discarded with a consequent enhancement of the image of the nurse. PMID:10222879
The pecked cross symbol in ancient mesoamerica.
Aveni, A F; Hartung, H; Buckingham, B
1978-10-20
Attention is directed to a design, possibly of Teotihuacan origin, carved both in rock and in the floors of ceremonial buildings throughout ancient Mesoamerica. Consisting generally of a double circular pattern centered on a set of orthogonal axes, the so-called pecked cross or quartered circle figure is shown to exhibit a remarkable consistency in appearance throughout its 29 reported locations, thus suggesting that it was not perfunctory. The metric properties of the symbols gleaned from field surveys are delineated, and several interpretations of their possible functions are discussed. These symbols may have been intended as astronomical orientational devices, surveyor's bench marks, calendars, or ritual games. Evidence is presented which implies that more than one and perhaps all of these functions were employed simultaneously, a view which is shown to be consistent with the cosmological attitude of the pre-Columbian people. PMID:17817633
Another look at children's symbol reversals.
Patton, J E; Yarbrough, D B; Thursby, D
2000-04-01
In a previously reported longitudinal study of reversal errors for static and kinetic written symbols we found no compelling support for their academic importance in kindergarten (n = 201), Grade 1 (n = 156), or Grade 2 (n = 129); however, for Grade 3 (n = 105), kinetic reversals became a significant predictor of tested reading achievement. If reliable, this finding might have implications for the identification of children with long-term reading impairment. PMID:10833756
Accelerators - instruments and symbols for power
Vogt, E.
1985-10-01
I examine the cult of accelerator physics, describe the laws which govern its development, compare and contrast it with other similar cults in the past, and search for its driving force. It is a story of sheer power. Not only of grand projects whose scale dwarfs everything we have imagined, whose funds deplete federal treasuries and whose real estate transcends national boundaries, but also of the very symbols of human power, directly connected to the destiny of our race.
Symbolic transfer entropy: inferring directionality in biosignals.
Staniek, Matthäus; Lehnertz, Klaus
2009-12-01
Inferring directional interactions from biosignals is of crucial importance to improve understanding of dynamical interdependences underlying various physiological and pathophysiological conditions. We here present symbolic transfer entropy as a robust measure to infer the direction of interactions between multidimensional dynamical systems. We demonstrate its performance in quantifying driver-responder relationships in a network of coupled nonlinear oscillators and in the human epileptic brain. PMID:19938889
NASA Astrophysics Data System (ADS)
van Woerden, H.
Contents: IAU Symposia Nos. 164: Stellar populations. 165: Compact stars in binaries. 166: Astronomical and astrophysical objectives of sub-milliarcsecond optical astrometry. 167: New developments in array technology and applications. 168: Examining the Big Bang and diffuse background radiations. 169: Unsolved problems of the Milky Way. Joint Discussions Nos. 1: Gas disks in galaxies. 2: Origin and detection of planetary systems. 3: Helio- and asteroseismology. 4: Current developments in astronomy education. 5: Activity in the central parts of galaxies. 6: Sun and heliosphere - challenges for solar-terrestrial physics, magneto- and hydrodynamics. 7: History of astronomy. 8: Time scales - state of the art. 9: Women in astronomy. 10: Extragalactic planetary nebulae. 11: Stellar and interstellar lithium and primordial nucleosynthesis. 12: Accuracy of the HR diagram and related parameters. 13: Recent advances in convection theory and modelling. 14: Towards the establishment of the astronomical standards. 15: Statistical evaluation of astronomical time series. 16: Astrophysical applications of powerful new atomic databases. 17: Dust around young stars: How related to solar system dust? 18: Solar system radar observations. 19: Nutation. 20: The status of archiving astronomical data. Working Groups Nos. 1: Problems of astronomy in Africa. 2: Near-Earth objects detection. 3: International catalog projects. 4: Asteroids and comets.
Fusing Symbolic and Numerical Diagnostic Computations
NASA Technical Reports Server (NTRS)
James, Mark
2007-01-01
X-2000 Anomaly Detection Language denotes a developmental computing language, and the software that establishes and utilizes the language, for fusing two diagnostic computer programs, one implementing a numerical analysis method, the other implementing a symbolic analysis method into a unified event-based decision analysis software system for realtime detection of events (e.g., failures) in a spacecraft, aircraft, or other complex engineering system. The numerical analysis method is performed by beacon-based exception analysis for multi-missions (BEAMs), which has been discussed in several previous NASA Tech Briefs articles. The symbolic analysis method is, more specifically, an artificial-intelligence method of the knowledge-based, inference engine type, and its implementation is exemplified by the Spacecraft Health Inference Engine (SHINE) software. The goal in developing the capability to fuse numerical and symbolic diagnostic components is to increase the depth of analysis beyond that previously attainable, thereby increasing the degree of confidence in the computed results. In practical terms, the sought improvement is to enable detection of all or most events, with no or few false alarms.
Snake and staff symbolism, and healing.
Retief, F P; Cilliers, L
2002-07-01
Since time immemorial the snake has been venerated as an enigmatic creature with supernatural powers. As a snake and staff symbol it is also traditionally associated with the healing arts, either as the single-snake emblem of Asklepios, or as the double-snake emblem (caduceus) of Hermes. The mythological basis for this symbolism is reviewed. The Asklepian emblem has been associated with health care since the 5th century BC, when Asklepios became accepted by the Greeks as the god of healing. Whether he was also an historical figure as healer in earlier ages is less certain. The origin of the double-snake emblem is shrouded in the mists of antiquity. In classical times it became the herald's wand of Hermes, messenger of the gods who guided departed souls to the underworld, and was seen as protector of travellers, shepherds and merchants. In the latter capacity Hermes also conveyed a negative connotation as protector of thieves. During the Middle Ages the caduceus became a symbol of the healing sciences (pharmacy and alchemy in particular), and today, although mythologically incorrect, it is in common usage in the health care field. PMID:12197200
Advance Organizers: Concret Versus Abstract.
ERIC Educational Resources Information Center
Corkill, Alice J.; And Others
1988-01-01
Two experiments examined the relative effects of concrete and abstract advance organizers on students' memory for subsequent prose. Results of the experiments are discussed in terms of the memorability, familiarity, and visualizability of concrete and abstract verbal materials. (JD)
Accepted scientific research works (abstracts).
2014-01-01
These are the 39 accepted abstracts for IAYT's Symposium on Yoga Research (SYR) September 24-24, 2014 at the Kripalu Center for Yoga & Health and published in the Final Program Guide and Abstracts. PMID:25645134
An abstract approach to music.
Kaper, H. G.; Tipei, S.
1999-04-19
In this article we have outlined a formal framework for an abstract approach to music and music composition. The model is formulated in terms of objects that have attributes, obey relationships, and are subject to certain well-defined operations. The motivation for this approach uses traditional terms and concepts of music theory, but the approach itself is formal and uses the language of mathematics. The universal object is an audio wave; partials, sounds, and compositions are special objects, which are placed in a hierarchical order based on time scales. The objects have both static and dynamic attributes. When we realize a composition, we assign values to each of its attributes: a (scalar) value to a static attribute, an envelope and a size to a dynamic attribute. A composition is then a trajectory in the space of aural events, and the complex audio wave is its formal representation. Sounds are fibers in the space of aural events, from which the composer weaves the trajectory of a composition. Each sound object in turn is made up of partials, which are the elementary building blocks of any music composition. The partials evolve on the fastest time scale in the hierarchy of partials, sounds, and compositions. The ideas outlined in this article are being implemented in a digital instrument for additive sound synthesis and in software for music composition. A demonstration of some preliminary results has been submitted by the authors for presentation at the conference.
1986 annual information meeting. Abstracts
Not Available
1986-01-01
Abstracts are presented for the following papers: Geohydrological Research at the Y-12 Plant (C.S. Haase); Ecological Impacts of Waste Disposal Operations in Bear Creek Valley Near the Y-12 Plant (J.M. Loar); Finite Element Simulation of Subsurface Contaminant Transport: Logistic Difficulties in Handling Large Field Problems (G.T. Yeh); Dynamic Compaction of a Radioactive Waste Burial Trench (B.P. Spalding); Comparative Evaluation of Potential Sites for a High-Level Radioactive Waste Repository (E.D. Smith); Changing Priorities in Environmental Assessment and Environmental Compliance (R.M. Reed); Ecology, Ecotoxicology, and Ecological Risk Assessment (L.W. Barnthouse); Theory and Practice in Uncertainty Analysis from Ten Years of Practice (R.H. Gardner); Modeling Landscape Effects of Forest Decline (V.H. Dale); Soil Nitrogen and the Global Carbon Cycle (W.M. Post); Maximizing Wood Energy Production in Short-Rotation Plantations: Effect of Initial Spacing and Rotation Length (L.L. Wright); and Ecological Communities and Processes in Woodland Streams Exhibit Both Direct and Indirect Effects of Acidification (J.W. Elwood).
Identification of statistical patterns in complex systems via symbolic time series analysis.
Gupta, Shalabh; Khatkhate, Amol; Ray, Asok; Keller, Eric
2006-10-01
Identification of statistical patterns from observed time series of spatially distributed sensor data is critical for performance monitoring and decision making in human-engineered complex systems, such as electric power generation, petrochemical, and networked transportation. This paper presents an information-theoretic approach to identification of statistical patterns in such systems, where the main objective is to enhance structural integrity and operation reliability. The core concept of pattern identification is built upon the principles of Symbolic Dynamics, Automata Theory, and Information Theory. To this end, a symbolic time series analysis method has been formulated and experimentally validated on a special-purpose test apparatus that is designed for data acquisition and real-time analysis of fatigue damage in polycrystalline alloys. PMID:17063932
An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication.
MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa
2016-01-01
We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically. PMID:27057558
An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication
MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa
2016-01-01
We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically. PMID:27057558
Using Group Explorer in teaching abstract algebra
NASA Astrophysics Data System (ADS)
Schubert, Claus; Gfeller, Mary; Donohue, Christopher
2013-04-01
This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in abstract algebra. A total of 26 participants in an undergraduate course studying group theory were surveyed regarding their experiences using Group Explorer. Findings indicate that all participants believed that the software was beneficial to their learning and described their attitudes regarding the software in terms of using the technology and its helpfulness in learning concepts. A multiple regression analysis reveals that representational fluency of concepts with the software correlated significantly with participants' understanding of group concepts yet, participants' attitudes about Group Explorer and technology in general were not significant factors.
Symbolic attitude and reverie: problems of symbolization in children and adolescents.
Bovensiepen, Gustav
2002-04-01
In comparison to the 1970s and 1980s, we now treat more children and adolescents who, because they have had traumatic experiences of violence, child abuse, deprivation or chronic physical illness, are not able to adequately use their symbolizing function. The question is which qualities and which analytical attitude we should and can offer in analysis to help a child regain his or her capacity to symbolize, irrespective of how poorly developed or blocked this capacity may be. In contrast to Jung and some Jungians, the author argues that although the transcendent function is a 'natural process' and hence archetypally grounded as Jung maintained, the transcendent function does not work spontaneously. Rather it requires a matrix based on the child's earliest relationship, which can later be re-enacted in treatment. Jung's general concept of a 'symbolic attitude' can be complemented and focused in a specific way through the use of Bion's concept of 'reverie', which contributes in a fundamental way to symbol formation within the transference/countertransference. This idea is illustrated by clinical material from a nine-year-old boy who suffered from a severe congenital intestinal disease and was blocked in his capacity to symbolize. From the perspective of treatment technique, the author shows how the drawing of 'comic book' narratives in a reciprocal exchange was brought into the treatment. The drawings evolved in a way that he understood as a modified form of active imagination with children. The drawing process helped the boy gradually to develop a symbolic space in the therapy and to contain a psychic space in his mind. PMID:12025497
Verburgt, Lukas M
2016-01-01
This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s. PMID:26806075
Implementing abstract multigrid or multilevel methods
NASA Technical Reports Server (NTRS)
Douglas, Craig C.
1993-01-01
Multigrid methods can be formulated as an algorithm for an abstract problem that is independent of the partial differential equation, domain, and discretization method. In such an abstract setting, problems not arising from partial differential equations can be treated. A general theory exists for linear problems. The general theory was motivated by a series of abstract solvers (Madpack). The latest version was motivated by the theory. Madpack now allows for a wide variety of iterative and direct solvers, preconditioners, and interpolation and projection schemes, including user callback ones. It allows for sparse, dense, and stencil matrices. Mildly nonlinear problems can be handled. Also, there is a fast, multigrid Poisson solver (two and three dimensions). The type of solvers and design decisions (including language, data structures, external library support, and callbacks) are discussed. Based on the author's experiences with two versions of Madpack, a better approach is proposed. This is based on a mixed language formulation (C and FORTRAN + preprocessor). Reasons for not using FORTRAN, C, or C++ (individually) are given. Implementing the proposed strategy is not difficult.
The dilemma of the symbols: analogies between philosophy, biology and artificial life.
Spadaro, Salvatore
2013-01-01
This article analyzes some analogies going from Artificial Life questions about the symbol-matter connection to Artificial Intelligence questions about symbol-grounding. It focuses on the notion of the interpretability of syntax and how the symbols are integrated in a unity ("binding problem"). Utilizing the DNA code as a model, this paper discusses how syntactic features could be defined as high-grade characteristics of the non syntactic relations in a material-dynamic structure, by using an emergentist approach. This topic furnishes the ground for a confutation of J. Searle's statement that syntax is observer-relative, as he wrote in his book "Mind: A Brief Introduction". Moreover the evolving discussion also modifies the classic symbol-processing doctrine in the mind which Searle attacks as a strong AL argument, that life could be implemented in a computational mode. Lastly, this paper furnishes a new way of support for the autonomous systems thesis in Artificial Life and Artificial Intelligence, using, inter alia, the "adaptive resonance theory" (ART). PMID:24109563
The New Algorithm for Symbolic Network Analysis.
NASA Astrophysics Data System (ADS)
Chow, John Tsai-Chiang
A new and highly efficient tree identification algorithm is derived here for obtaining the determinant and the cofactors of a circuit's node admittance matrix, and hence, for obtaining various symbolic network functions for one-port and two-port reciprocal and nonreciprocal networks, with the network's topological description as its input. The algorithm is so devised that it is practically memory-storage free, and it is simple enough that even a microcomputer can obtain symbolic network functions for a fairly large circuit in a reasonably short time. It is worth noting that the algorithm can handle topological branches with infinite admittance values. Making use of this special feature, we have derived a simple topological model for the ideal operational amplifier, hence providing the ability to obtain various topological formulas of operational amplifier circuits in a reasonable time. By choosing appropriate symbolic network functions, along with some measured transfer function data, the circuit's nominal element values, and a nonlinear-equation solving subroutine, we have constructed a computer program to perform analog circuit fault diagnosis. This program can identify which of a circuit's elements are faulty or out of design tolerances. In the course of this research we have also identified an application to a biological problem, one in which the resistor values of an electrical model of the guinea-pig cochlea can easily be deduced even when some nodes are inaccessible for measurements. All these features have been implemented on a very modest microcomputer, the Apple II. Obviously, a larger computer will not only accomplish the same result faster but also it will be capable of analyzing much larger circuits.
Astronomical Symbolism in Australian Aboriginal Rock Art
NASA Astrophysics Data System (ADS)
Norris, Ray P.; Hamacher, Duane W.
2011-05-01
Traditional Aboriginal Australian cultures include a significant astronomical component, perpetuated through oral tradition and ceremony. This knowledge has practical navigational and calendrical functions, and sometimes extends to a deep understanding of the motion of objects in the sky. Here we explore whether this astronomical tradition is reflected in the rock art of Aboriginal Australians. We find several plausible examples of depictions of astronomical figures and symbols, and also evidence that astronomical observations were used to set out stone arrangements. However, we recognise that the case is not yet strong enough to make an unequivocal statement, and describe our plans for further research.
ERIC Educational Resources Information Center
Lee, Moosung
2014-01-01
This article proposes an analytical consideration for social capital research in education by exploring a pragmatic combination of social network analysis (SNA) and symbolic interactionism (SI) as a research method. The article first delineates the theoretical linkages of social capital theory with SNA and SI. The article then discusses how SNA…
Symposium on atomic spectroscopy (SAS-83): abstracts and program
Not Available
1983-09-01
Abstracts of papers given at the symposium are presented. Session topics include: Rydbergs, optical radiators, and planetary atoms; highly ionized atoms; ultraviolet radiation; theory, ion traps, and laser cooling; beam foil; and astronomy. (GHT)
Symbolic dynamics approach to parameter estimation without initial value
NASA Astrophysics Data System (ADS)
Wang, Kai; Pei, Wenjiang; Hou, Xubo; Shen, Yi; He, Zhenya
2009-12-01
Symbolic dynamics, which partitions the infinite number of finite length trajectories into a finite number of trajectory sets, allows a simplified and “coarse-grained” description of the dynamics of a system with a limited number of symbols. In this Letter, we will show that control parameters affect dynamical characters of symbolic sequences. To be more specific, we will analyze how control parameters affect statistical property of Skewed Tent map symbolic sequences. Besides, we will also analyze how control parameters affect ergodic property of both Logistic map and Tent map symbolic sequences. Both theoretical and experimental results show that the above mentioned effects of control parameters discourage the use of chaotic symbolic sequences in cryptography. Furthermore, we will propose an improved scheme utilizing asymptotic deterministic randomness to avoid the undesirable effects.
Mechanical Engineering Department technical abstracts
Denney, R.M.
1982-07-01
The Mechanical Engineering Department publishes listings of technical abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). Overall information about current activities of each of the Department's seven divisions precedes the technical abstracts.
ERIC Educational Resources Information Center
Lyons, Ian M.; Ansari, Daniel; Beilock, Sian L.
2012-01-01
Are numerals estranged from a sense of the actual quantities they represent? We demonstrate that, irrespective of numerical size or distance, direct comparison of the relative quantities represented by symbolic and nonsymbolic formats leads to performance markedly worse than when comparing 2 nonsymbolic quantities (Experiment 1). Experiment 2…
Inter-Symbol Guard Time for Synchronizing Optical PPM
NASA Technical Reports Server (NTRS)
Far, William; Gin, Jonathan; Srinivasan, Meera; Quirk, Kevin
2009-01-01
An inter-symbol guard time has been proposed as a means of synchronizing the symbol and slot clocks of an optical pulse-position modulation (PPM) receiver with the symbol and slot periods of an incoming optical PPM signal.The proposal is applicable to the low-flux case in which the receiver photodetector operates in a photon-counting mode and the count can include contributions from incidental light sources and dark current.
Leadership Abstracts, Volume 11, Numbers 1-10, 1998.
ERIC Educational Resources Information Center
Milliron, Mark D. Ed.
1998-01-01
The abstracts in this series provide brief discussions of issues related to leadership, administration, professional development, technology, and education in community colleges. Volume 11 for 1998 contains the following 10 abstracts: (1) "What If They Learn Differently: Applying Multiple Intelligences Theory in the Community College" (Rene…
Contextualizing Action for the Abstraction of Scientific Knowledge
ERIC Educational Resources Information Center
Saglam, Yilmaz
2015-01-01
In this paper, abstraction is associated with an activity in the sense of activity theory by Vygotsky. To him, participation in social activities is a fundamental act for the child in order to achieve higher mental functions. The present paper aimed to experimentally investigate the abstraction process and illustrate how meaning emerges on social…
How Would Theory of Mind Play a Role in Comprehending Art?
ERIC Educational Resources Information Center
Keskin, B.
2009-01-01
The way theory of mind takes part in comprehension of art is examined in this article. Because theory of mind and understanding of artwork involves some symbolic competency, the link between comprehending art (i.e., drawing, painting, sculpture, and music) and theory of mind is explained through symbolism. To understand a piece of symbolic…
Handwriting generates variable visual input to facilitate symbol learning
Li, Julia X.; James, Karin H.
2015-01-01
Recent research has demonstrated that handwriting practice facilitates letter categorization in young children. The present experiments investigated why handwriting practice facilitates visual categorization by comparing two hypotheses: That handwriting exerts its facilitative effect because of the visual-motor production of forms, resulting in a direct link between motor and perceptual systems, or because handwriting produces variable visual instances of a named category in the environment that then changes neural systems. We addressed these issues by measuring performance of 5 year-old children on a categorization task involving novel, Greek symbols across 6 different types of learning conditions: three involving visual-motor practice (copying typed symbols independently, tracing typed symbols, tracing handwritten symbols) and three involving visual-auditory practice (seeing and saying typed symbols of a single typed font, of variable typed fonts, and of handwritten examples). We could therefore compare visual-motor production with visual perception both of variable and similar forms. Comparisons across the six conditions (N=72) demonstrated that all conditions that involved studying highly variable instances of a symbol facilitated symbol categorization relative to conditions where similar instances of a symbol were learned, regardless of visual-motor production. Therefore, learning perceptually variable instances of a category enhanced performance, suggesting that handwriting facilitates symbol understanding by virtue of its environmental output: supporting the notion of developmental change though brain-body-environment interactions. PMID:26726913
Handwriting generates variable visual output to facilitate symbol learning.
Li, Julia X; James, Karin H
2016-03-01
Recent research has demonstrated that handwriting practice facilitates letter categorization in young children. The present experiments investigated why handwriting practice facilitates visual categorization by comparing 2 hypotheses: that handwriting exerts its facilitative effect because of the visual-motor production of forms, resulting in a direct link between motor and perceptual systems, or because handwriting produces variable visual instances of a named category in the environment that then changes neural systems. We addressed these issues by measuring performance of 5-year-old children on a categorization task involving novel, Greek symbols across 6 different types of learning conditions: 3 involving visual-motor practice (copying typed symbols independently, tracing typed symbols, tracing handwritten symbols) and 3 involving visual-auditory practice (seeing and saying typed symbols of a single typed font, of variable typed fonts, and of handwritten examples). We could therefore compare visual-motor production with visual perception both of variable and similar forms. Comparisons across the 6 conditions (N = 72) demonstrated that all conditions that involved studying highly variable instances of a symbol facilitated symbol categorization relative to conditions where similar instances of a symbol were learned, regardless of visual-motor production. Therefore, learning perceptually variable instances of a category enhanced performance, suggesting that handwriting facilitates symbol understanding by virtue of its environmental output: supporting the notion of developmental change though brain-body-environment interactions. (PsycINFO Database Record PMID:26726913
Symbolic derivation of material property matrices in finite element analysis
NASA Technical Reports Server (NTRS)
Tan, H. Q.
1988-01-01
The principles and operation of MMAX, a symbolic-computation program which automates the process of generating property matrices for structural materials, are briefly described and illustrated with sample analyses of a rubberlike material and an elastoplastic material. MMAX is written in LISP under the symbolic finite-element generator FINGER and the general symbolic manipulator MACSYMA; it first derives the formulas required by mathematical manipulation, and then translates the formulas into FORTRAN code, adapted to the particular type of machine to be used for the numerical calculations. This approach is shown to combine efficiently the advantages of symbolic and numerical computation for engineering applications.
Asclepius, Caduceus, and Simurgh as medical symbols, part I.
Nayernouri, Touraj
2010-01-01
This is the first of two articles reviewing the history of medical symbols. In this first article I have briefly reviewed the evolution of the Greek god, Asclepius, (and his Roman counterpart Aesculapius) with the single serpent entwined around a wooden rod as a symbol of western medicine and have alluded to the misplaced adoption of the Caduceus of the Greek god Hermes (and his Roman counterpart Mercury) with its double entwined serpents as an alternative symbol. In the second part of this article (to be published later), I have made a tentative suggestion of why the Simorgh might be adopted as an Eastern or an Asian symbol for medicine. PMID:20039773
The physics of symbols: bridging the epistemic cut.
Pattee, H H
2001-01-01
Evolution requires the genotype-phenotype distinction, a primeval epistemic cut that separates energy-degenerate, rate-independent genetic symbols from the rate-dependent dynamics of construction that they control. This symbol-matter or subject-object distinction occurs at all higher levels where symbols are related to a referent by an arbitrary code. The converse of control is measurement in which a rate-dependent dynamical state is coded into quiescent symbols. Non-integrable constraints are one necessary condition for bridging the epistemic cut by measurement, control, and coding. Additional properties of heteropolymer constraints are necessary for biological evolution. PMID:11325500
The primal scene and symbol formation.
Niedecken, Dietmut
2016-06-01
This article discusses the meaning of the primal scene for symbol formation by exploring its way of processing in a child's play. The author questions the notion that a sadomasochistic way of processing is the only possible one. A model of an alternative mode of processing is being presented. It is suggested that both ways of processing intertwine in the "fabric of life" (D. Laub). Two clinical vignettes, one from an analytic child psychotherapy and the other from the analysis of a 30 year-old female patient, illustrate how the primal scene is being played out in the form of a terzet. The author explores whether the sadomasochistic way of processing actually precedes the "primal scene as a terzet". She discusses if it could even be regarded as a precondition for the formation of the latter or, alternatively, if the "combined parent-figure" gives rise to ways of processing. The question is being left open. Finally, it is shown how both modes of experiencing the primal scene underlie the discoursive and presentative symbol formation, respectively. PMID:27437623
Sound Symbolism in the Languages of Australia
Haynie, Hannah; Bowern, Claire; LaPalombara, Hannah
2014-01-01
The notion that linguistic forms and meanings are related only by convention and not by any direct relationship between sounds and semantic concepts is a foundational principle of modern linguistics. Though the principle generally holds across the lexicon, systematic exceptions have been identified. These “sound symbolic” forms have been identified in lexical items and linguistic processes in many individual languages. This paper examines sound symbolism in the languages of Australia. We conduct a statistical investigation of the evidence for several common patterns of sound symbolism, using data from a sample of 120 languages. The patterns examined here include the association of meanings denoting “smallness” or “nearness” with front vowels or palatal consonants, and the association of meanings denoting “largeness” or “distance” with back vowels or velar consonants. Our results provide evidence for the expected associations of vowels and consonants with meanings of “smallness” and “proximity” in Australian languages. However, the patterns uncovered in this region are more complicated than predicted. Several sound-meaning relationships are only significant for segments in prominent positions in the word, and the prevailing mapping between vowel quality and magnitude meaning cannot be characterized by a simple link between gradients of magnitude and vowel F2, contrary to the claims of previous studies. PMID:24752356
Prediction of dynamical systems by symbolic regression
NASA Astrophysics Data System (ADS)
Quade, Markus; Abel, Markus; Shafi, Kamran; Niven, Robert K.; Noack, Bernd R.
2016-07-01
We study the modeling and prediction of dynamical systems based on conventional models derived from measurements. Such algorithms are highly desirable in situations where the underlying dynamics are hard to model from physical principles or simplified models need to be found. We focus on symbolic regression methods as a part of machine learning. These algorithms are capable of learning an analytically tractable model from data, a highly valuable property. Symbolic regression methods can be considered as generalized regression methods. We investigate two particular algorithms, the so-called fast function extraction which is a generalized linear regression algorithm, and genetic programming which is a very general method. Both are able to combine functions in a certain way such that a good model for the prediction of the temporal evolution of a dynamical system can be identified. We illustrate the algorithms by finding a prediction for the evolution of a harmonic oscillator based on measurements, by detecting an arriving front in an excitable system, and as a real-world application, the prediction of solar power production based on energy production observations at a given site together with the weather forecast.
Prediction of dynamical systems by symbolic regression.
Quade, Markus; Abel, Markus; Shafi, Kamran; Niven, Robert K; Noack, Bernd R
2016-07-01
We study the modeling and prediction of dynamical systems based on conventional models derived from measurements. Such algorithms are highly desirable in situations where the underlying dynamics are hard to model from physical principles or simplified models need to be found. We focus on symbolic regression methods as a part of machine learning. These algorithms are capable of learning an analytically tractable model from data, a highly valuable property. Symbolic regression methods can be considered as generalized regression methods. We investigate two particular algorithms, the so-called fast function extraction which is a generalized linear regression algorithm, and genetic programming which is a very general method. Both are able to combine functions in a certain way such that a good model for the prediction of the temporal evolution of a dynamical system can be identified. We illustrate the algorithms by finding a prediction for the evolution of a harmonic oscillator based on measurements, by detecting an arriving front in an excitable system, and as a real-world application, the prediction of solar power production based on energy production observations at a given site together with the weather forecast. PMID:27575130
Toward a Unified Communication Theory.
ERIC Educational Resources Information Center
McMillan, Saundra
After discussing the nature of theory itself, the author explains her concept of the Unified Communication Theory, which rests on the assumption that there exists in all living structures a potential communication factor which is delimited by species and ontogeny. An organism develops "symbol fixation" at the level where its perceptual abilities…
Symbolic Interaction and Applied Social Research: A FOCUS ON TRANSLATIONAL SCIENCE RESEARCH(1.)
Kotarba, Joseph A
2014-08-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
NASA Astrophysics Data System (ADS)
2012-09-01
Measuring cosmological parameters with GRBs: status and perspectives New interpretation of the Amati relation The SED Machine - a dedicated transient spectrograph PTF10iue - evidence for an internal engine in a unique Type Ic SN Direct evidence for the collapsar model of long gamma-ray bursts On pair instability supernovae and gamma-ray bursts Pan-STARRS1 observations of ultraluminous SNe The influence of rotation on the critical neutrino luminosity in core-collapse supernovae General relativistic magnetospheres of slowly rotating and oscillating neutron stars Host galaxies of short GRBs GRB 100418A: a bridge between GRB-associated hypernovae and SNe Two super-luminous SNe at z ~ 1.5 from the SNLS Prospects for very-high-energy gamma-ray bursts with the Cherenkov Telescope Array The dynamics and radiation of relativistic flows from massive stars The search for light echoes from the supernova explosion of 1181 AD The proto-magnetar model for gamma-ray bursts Stellar black holes at the dawn of the universe MAXI J0158-744: the discovery of a supersoft X-ray transient Wide-band spectra of magnetar burst emission Dust formation and evolution in envelope-stripped core-collapse supernovae The host galaxies of dark gamma-ray bursts Keck observations of 150 GRB host galaxies Search for properties of GRBs at large redshift The early emission from SNe Spectral properties of SN shock breakout MAXI observation of GRBs and short X-ray transients A three-dimensional view of SN 1987A using light echo spectroscopy X-ray study of the southern extension of the SNR Puppis A All-sky survey of short X-ray transients by MAXI GSC Development of the CALET gamma-ray burst monitor (CGBM)
Performance of the split-symbol moments SNR estimator in the presence of inter-symbol interference
NASA Technical Reports Server (NTRS)
Shah, B.; Hinedi, S.
1989-01-01
The Split-Symbol Moments Estimator (SSME) is an algorithm that is designed to estimate symbol signal-to-noise ratio (SNR) in the presence of additive white Gaussian noise (AWGN). The performance of the SSME algorithm in band-limited channels is examined. The effects of the resulting inter-symbol interference (ISI) are quantified. All results obtained are in closed form and can be easily evaluated numerically for performance prediction purposes. Furthermore, they are validated through digital simulations.
Vague Language in Conference Abstracts
ERIC Educational Resources Information Center
Cutting, Joan
2012-01-01
This study examined abstracts for a British Association for Applied Linguistics conference and a Sociolinguistics Symposium, to define the genre of conference abstracts in terms of vague language, specifically universal general nouns (e.g. people) and research general nouns (e.g. results), and to discover if the language used reflected the level…
Leadership Abstracts; Volume 4, 1991.
ERIC Educational Resources Information Center
Doucette, Don, Ed.
1991-01-01
"Leadership Abstracts" is published bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. This document consists of the 15 one-page abstracts published in 1991. Addressing a variety of topics of interest to the community college administrators, this volume includes: (1) "Delivering the…
Food Science and Technology Abstracts.
ERIC Educational Resources Information Center
Cohen, Elinor; Federman, Joan
1979-01-01
Introduces the reader to the Food Science and Technology Abstracts, a data file that covers worldwide literature on human food commodities and aspects of food processing. Topics include scope, subject index, thesaurus, searching online, and abstracts; tables provide a comparison of ORBIT and DIALOG versions of the file. (JD)
Innovation Abstracts, Volume XV, 1993.
ERIC Educational Resources Information Center
Roueche, Suanne D., Ed.
1993-01-01
This volume of 30 one- to two-page abstracts from 1993 highlights a variety of innovative approaches to teaching and learning in the community college. Topics covered in the abstracts include: (1) role-playing to encourage critical thinking; (2) team learning techniques to cultivate business skills; (3) librarian-instructor partnerships to create…
Student Success with Abstract Art
ERIC Educational Resources Information Center
Hamidou, Kristine
2009-01-01
An abstract art project can be challenging or not, depending on the objectives the teacher sets up. In this article, the author describes an abstract papier-mache project that is a success for all students, and is a versatile project easily manipulated to suit the classroom of any art teacher.
Technical abstracts: Mechanical engineering, 1990
Broesius, J.Y.
1991-03-01
This document is a compilation of the published, unclassified abstracts produced by mechanical engineers at Lawrence Livermore National Laboratory (LLNL) during the calendar year 1990. Many abstracts summarize work completed and published in report form. These are UCRL-JC series documents, which include the full text of articles to be published in journals and of papers to be presented at meetings, and UCID reports, which are informal documents. Not all UCIDs contain abstracts: short summaries were generated when abstracts were not included. Technical Abstracts also provides descriptions of those documents assigned to the UCRL-MI (miscellaneous) category. These are generally viewgraphs or photographs presented at meetings. An author index is provided at the back of this volume for cross referencing.
Metaphor: Bridging embodiment to abstraction.
Jamrozik, Anja; McQuire, Marguerite; Cardillo, Eileen R; Chatterjee, Anjan
2016-08-01
Embodied cognition accounts posit that concepts are grounded in our sensory and motor systems. An important challenge for these accounts is explaining how abstract concepts, which do not directly call upon sensory or motor information, can be informed by experience. We propose that metaphor is one important vehicle guiding the development and use of abstract concepts. Metaphors allow us to draw on concrete, familiar domains to acquire and reason about abstract concepts. Additionally, repeated metaphoric use drawing on particular aspects of concrete experience can result in the development of new abstract representations. These abstractions, which are derived from embodied experience but lack much of the sensorimotor information associated with it, can then be flexibly applied to understand new situations. PMID:27294425
Brain activity during arithmetic in symbolic and non-symbolic formats in 9-12 year old children.
Peters, Lien; Polspoel, Brecht; Op de Beeck, Hans; De Smedt, Bert
2016-06-01
People process numbers in different formats, such as dot arrays (non-symbolic), Arabic digits and number words (symbolic), and use these representations when performing arithmetic calculations. It remains, however, unclear if and how these various presentation formats affect brain activity during arithmetic. We conducted an fMRI study in 23 typically developing children aged 9-12. The children were asked to subtract numbers up to 10 and had to compare the result to a reference number. Numbers were presented in non-symbolic (dot arrays), as well as symbolic formats (Arabic digits and number words). Our findings suggest that similar brain networks are recruited during arithmetic with different symbolic formats, i.e. Arabic digits and number words. On the other hand, there are clear differences between calculating with symbolic and non-symbolic formats. Specifically, calculating in symbolic formats showed increased activity in angular and supramarginal gyri, whereas arithmetic in the non-symbolic format showed increased activity in middle occipital and superior parietal lobes, as well as in superior frontal gyrus and insula. These differences in brain activity might be explained by differences in the strategies used to solve these arithmetic problems. PMID:27044845
Application of symbolic computations to the constitutive modeling of structural materials
NASA Technical Reports Server (NTRS)
Arnold, Steven M.; Tan, H. Q.; Dong, X.
1990-01-01
In applications involving elevated temperatures, the derivation of mathematical expressions (constitutive equations) describing the material behavior can be quite time consuming, involved and error-prone. Therefore intelligent application of symbolic systems to faciliate this tedious process can be of significant benefit. Presented here is a problem oriented, self contained symbolic expert system, named SDICE, which is capable of efficiently deriving potential based constitutive models in analytical form. This package, running under DOE MACSYMA, has the following features: (1) potential differentiation (chain rule), (2) tensor computations (utilizing index notation) including both algebraic and calculus; (3) efficient solution of sparse systems of equations; (4) automatic expression substitution and simplification; (5) back substitution of invariant and tensorial relations; (6) the ability to form the Jacobian and Hessian matrix; and (7) a relational data base. Limited aspects of invariant theory were also incorporated into SDICE due to the utilization of potentials as a starting point and the desire for these potentials to be frame invariant (objective). The uniqueness of SDICE resides in its ability to manipulate expressions in a general yet pre-defined order and simplify expressions so as to limit expression growth. Results are displayed, when applicable, utilizing index notation. SDICE was designed to aid and complement the human constitutive model developer. A number of examples are utilized to illustrate the various features contained within SDICE. It is expected that this symbolic package can and will provide a significant incentive to the development of new constitutive theories.
Abstracting event-based control models for high autonomy systems
NASA Technical Reports Server (NTRS)
Luh, Cheng-Jye; Zeigler, Bernard P.
1993-01-01
A high autonomy system needs many models on which to base control, management, design, and other interventions. These models differ in level of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. The paper deals with the abstraction processes for systematic derivation of related models for use in event-based control. The multifaceted modeling methodology is briefly reviewed. The morphism concepts needed for application to model abstraction are described. A theory for supporting the construction of DEVS models needed for event-based control is then presented. An implemented morphism on the basis of this theory is also described.
Priming of abstract letter representations may be universal: the case of Arabic.
Carreiras, Manuel; Perea, Manuel; Abu Mallouh, Reem
2012-08-01
Recent research on the Roman alphabet has demonstrated that the magnitudes of masked repetition priming are equivalent for letter pairs that have similar visual features across cases (e.g., c-C) and for letter pairs with dissimilar features (e.g., g-G). Here, we examined whether priming of abstract letter representations occurs in an orthographic system, Arabic, in which the letters show an intricate number of contextual forms. Arabic does not have a lowercase/uppercase distinction, but the letters exhibit different forms that depend on their position (initial, medial, final, or isolated) and their connectivity. Importantly, some letters look quite different across positions (e.g., (symbol in text) and (symbol in text), which correspond to the letter 'ayn), whereas others look very similar (e.g. (symbol in text), and (symbol in text), which correspond to the letter fā'). We employed a masked priming same-different task, in which native speakers of Arabic decided whether a target letter was the same as or different from a reference letter presented in a different position (middle vs. isolated). The results showed masked repetition priming effects of the same magnitude for letter pairs with similar and with dissimilar visual features across letter positions. These data support the view that priming of abstract letter representations is a universal phenomenon. PMID:22569990
Anderson, Roger W.; Aquilanti, Vincenzo; Silva Ferreira, Cristiane da
2008-10-28
Spin networks, namely, the 3nj symbols of quantum angular momentum theory and their generalizations to groups other than SU(2) and to quantum groups, permeate many areas of pure and applied science. The issues of their computation and characterization for large values of their entries are a challenge for diverse fields, such as spectroscopy and quantum chemistry, molecular and condensed matter physics, quantum computing, and the geometry of space time. Here we record progress both in their efficient calculation and in the study of the large j asymptotics. For the 9j symbol, a prototypical entangled network, we present and extensively check numerically formulas that illustrate the passage to the semiclassical limit, manifesting both the occurrence of disentangling and the discrete-continuum transition.
Symbol/Meaning paired-associate recall: an "archetypal memory" advantage?
Sotirova-Kohli, Milena; Opwis, Klaus; Roesler, Christian; Smith, Steven M; Rosen, David H; Vaid, Jyotsna; Djonov, Valentin
2013-12-01
The theory of the archetypes and the hypothesis of the collective unconscious are two of the central characteristics of analytical psychology. These provoke, however, varying reactions among academic psychologists. Empirical studies which test these hypotheses are rare. Rosen, Smith, Huston and Gonzales proposed a cognitive psychological experimental paradigm to investigate the nature of archetypes and the collective unconscious as archetypal (evolutionary) memory. In this article we report the results of a cross-cultural replication of Rosen et al. conducted in the German-speaking part of Switzerland. In short, this experiment corroborated previous findings by Rosen et al., based on English speakers, and demonstrated a recall advantage for archetypal symbol meaning pairs vs. other symbol/meaning pairings. The fact that the same pattern of results was observed across two different cultures and languages makes it less likely that they are attributable to a specific cultural or linguistic context. PMID:25379255
Wavelet Analysis on Symbolic Sequences and Two-Fold de Bruijn Sequences
NASA Astrophysics Data System (ADS)
Osipov, V. Al.
2016-05-01
The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction of analytic and numerical methods for investigation of clusters we introduce operator language on the space of symbolic sequences and propose an approach based on wavelet analysis for study of the cluster hierarchy. The analytic power of the approach is demonstrated by derivation of a formula for counting of two-fold de Bruijn sequences, the extension of the notion of de Bruijn sequences. Possible advantages of the developed description is also discussed in context of applied problem of construction of efficient DNA sequence assembly algorithms.
Assessing "economic value": symbolic-number mappings predict risky and riskless valuations.
Schley, Dan R; Peters, Ellen
2014-03-01
Diminishing marginal utility (DMU) is a basic tenet of economic and psychological models of judgment and choice, but its determinants are little understood. In the research reported here, we tested whether insensitivities in valuations of dollar amounts (e.g., $40, $100) may be due to inexact mappings of symbolic numbers (i.e., "40," "100") onto mental magnitudes. In three studies, we demonstrated that inexact mappings appear to guide valuation and mediate numeracy's relations with riskless valuations (Studies 1 and 1a) and risky choices (Study 2). The results highlight the fundamental notion that individuals' valuations of $100 depend critically on how individuals perceive and map the symbolic quantity "100." This notion has implications for conceptualizations of value, risk aversion, intertemporal choice, and dual-process theories of decision making. Normative implications are also briefly discussed. PMID:24452604
Symbol/Meaning Paired-Associate Recall: An “Archetypal Memory” Advantage?
Sotirova-Kohli, Milena; Opwis, Klaus; Roesler, Christian; Smith, Steven M.; Rosen, David H.; Vaid, Jyotsna; Djonov, Valentin
2013-01-01
The theory of the archetypes and the hypothesis of the collective unconscious are two of the central characteristics of analytical psychology. These provoke, however, varying reactions among academic psychologists. Empirical studies which test these hypotheses are rare. Rosen, Smith, Huston and Gonzales proposed a cognitive psychological experimental paradigm to investigate the nature of archetypes and the collective unconscious as archetypal (evolutionary) memory. In this article we report the results of a cross-cultural replication of Rosen et al. conducted in the German-speaking part of Switzerland. In short, this experiment corroborated previous findings by Rosen et al., based on English speakers, and demonstrated a recall advantage for archetypal symbol meaning pairs vs. other symbol/meaning pairings. The fact that the same pattern of results was observed across two different cultures and languages makes it less likely that they are attributable to a specific cultural or linguistic context. PMID:25379255
Zunino, L; Soriano, M C; Rosso, O A
2012-10-01
In this paper we introduce a multiscale symbolic information-theory approach for discriminating nonlinear deterministic and stochastic dynamics from time series associated with complex systems. More precisely, we show that the multiscale complexity-entropy causality plane is a useful representation space to identify the range of scales at which deterministic or noisy behaviors dominate the system's dynamics. Numerical simulations obtained from the well-known and widely used Mackey-Glass oscillator operating in a high-dimensional chaotic regime were used as test beds. The effect of an increased amount of observational white noise was carefully examined. The results obtained were contrasted with those derived from correlated stochastic processes and continuous stochastic limit cycles. Finally, several experimental and natural time series were analyzed in order to show the applicability of this scale-dependent symbolic approach in practical situations. PMID:23214666
Wavelet Analysis on Symbolic Sequences and Two-Fold de Bruijn Sequences
NASA Astrophysics Data System (ADS)
Osipov, V. Al.
2016-07-01
The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction of analytic and numerical methods for investigation of clusters we introduce operator language on the space of symbolic sequences and propose an approach based on wavelet analysis for study of the cluster hierarchy. The analytic power of the approach is demonstrated by derivation of a formula for counting of two-fold de Bruijn sequences, the extension of the notion of de Bruijn sequences. Possible advantages of the developed description is also discussed in context of applied problem of construction of efficient DNA sequence assembly algorithms.
NASA Technical Reports Server (NTRS)
1982-01-01
Abstracts are cited for 87 patents and applications introduced into the NASA scientific and technical information system during the period of January 1982 through June 1982. Each entry consists of a citation, an abstract, and in mose cases, a key illustration selected from the patent or patent application.
Statechart Analysis with Symbolic PathFinder
NASA Technical Reports Server (NTRS)
Pasareanu, Corina S.
2012-01-01
We report here on our on-going work that addresses the automated analysis and test case generation for software systems modeled using multiple Statechart formalisms. The work is motivated by large programs such as NASA Exploration, that involve multiple systems that interact via safety-critical protocols and are designed with different Statechart variants. To verify these safety-critical systems, we have developed Polyglot, a framework for modeling and analysis of model-based software written using different Statechart formalisms. Polyglot uses a common intermediate representation with customizable Statechart semantics and leverages the analysis and test generation capabilities of the Symbolic PathFinder tool. Polyglot is used as follows: First, the structure of the Statechart model (expressed in Matlab Stateflow or Rational Rhapsody) is translated into a common intermediate representation (IR). The IR is then translated into Java code that represents the structure of the model. The semantics are provided as "pluggable" modules.
Scheff, Jeremy D.; Almon, Richard R.; DuBois, Debra C.; Jusko, William J.
2010-01-01
Abstract Microarray experiments generate massive amounts of data, necessitating innovative algorithms to distinguish biologically relevant information from noise. Because the variability of gene expression data is an important factor in determining which genes are differentially expressed, analysis techniques that take into account repeated measurements are critically important. Additionally, the selection of informative genes is typically done by searching for the individual genes that vary the most across conditions. Yet because genes tend to act in groups rather than individually, it may be possible to glean more information from the data by searching specifically for concerted behavior in a set of genes. Applying a symbolic transformation to the gene expression data allows the detection overrepresented patterns in the data, in contrast to looking only for genes that exhibit maximal differential expression. These challenges are approached by introducing an algorithm based on a new symbolic representation that searches for concerted gene expression patterns; furthermore, the symbolic representation takes into account the variance in multiple replicates and can be applied to long time series data. The proposed algorithm's ability to discover biologically relevant signals in gene expression data is exhibited by applying it to three datasets that measure gene expression in the rat liver. PMID:20455749
Non-Determinism: An Abstract Concept in Computer Science Studies
ERIC Educational Resources Information Center
Armoni, Michal; Gal-Ezer, Judith
2007-01-01
Non-determinism is one of the most important, yet abstract, recurring concepts of Computer Science. It plays an important role in Computer Science areas such as formal language theory, computability theory, distributed computing, and operating systems. We conducted a series of studies on the perception of non-determinism. In the current research,…
The Structure of Phonological Theory
ERIC Educational Resources Information Center
Samuels, Bridget D.
2009-01-01
This dissertation takes a Minimalist approach to phonology, treating the phonological module as a system of abstract symbolic computation, divorced from phonetic content. I investigate the position of the phonological module within the architecture of grammar and the evolutionary scenario developed by Hauser et al. (2002a) and Fitch et al. (2005).…
46 CFR 50.10-25 - Coast Guard Symbol.
Code of Federal Regulations, 2013 CFR
2013-10-01
... 46 Shipping 2 2013-10-01 2013-10-01 false Coast Guard Symbol. 50.10-25 Section 50.10-25 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING GENERAL PROVISIONS Definition of Terms Used in This Subchapter § 50.10-25 Coast Guard Symbol. (a) The term Coast Guard...
46 CFR 50.10-25 - Coast Guard Symbol.
Code of Federal Regulations, 2012 CFR
2012-10-01
... 46 Shipping 2 2012-10-01 2012-10-01 false Coast Guard Symbol. 50.10-25 Section 50.10-25 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING GENERAL PROVISIONS Definition of Terms Used in This Subchapter § 50.10-25 Coast Guard Symbol. (a) The term Coast Guard...
46 CFR 50.10-25 - Coast Guard Symbol.
Code of Federal Regulations, 2011 CFR
2011-10-01
... 46 Shipping 2 2011-10-01 2011-10-01 false Coast Guard Symbol. 50.10-25 Section 50.10-25 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING GENERAL PROVISIONS Definition of Terms Used in This Subchapter § 50.10-25 Coast Guard Symbol. (a) The term Coast Guard...
40 CFR 1037.805 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2012 CFR
2012-07-01
... 40 Protection of Environment 34 2012-07-01 2012-07-01 false Symbols, acronyms, and abbreviations. 1037.805 Section 1037.805 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR POLLUTION CONTROLS CONTROL OF EMISSIONS FROM NEW HEAVY-DUTY MOTOR VEHICLES Definitions and Other Reference Information § 1037.805 Symbols,...
40 CFR 1037.805 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2013 CFR
2013-07-01
... 40 Protection of Environment 34 2013-07-01 2013-07-01 false Symbols, acronyms, and abbreviations. 1037.805 Section 1037.805 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR POLLUTION CONTROLS CONTROL OF EMISSIONS FROM NEW HEAVY-DUTY MOTOR VEHICLES Definitions and Other Reference Information § 1037.805 Symbols,...
Digit Symbol Performance in Mild Dementia and Depression.
ERIC Educational Resources Information Center
Hart, Robert P.; And Others
1987-01-01
Patients with mild dementia of the Alzheimer's type (DAT), patients with major depression, and normal control subjects completed the Wechsler Adult Intelligence Scale (WAIS) Digit Symbol test of incidental memory. Though mild DAT and depressed patients had equivalent deficits in psychomotor speed, DAT patients recalled fewer digit-symbol items.…
Profiling Communication and Symbolic Abilities in Young Children.
ERIC Educational Resources Information Center
Wetherby, Amy M.; Prizant, Barry M.
1993-01-01
This article discusses strategies for sampling communication and symbolic abilities in young children who are not yet talking or who are at early language stages, placing emphasis on caregiver involvement. The paper points out that profiling a young child's communication and symbolic abilities can contribute to the early identification of language…
"They Mean Something More!" Teaching about Symbols Using Balanced Integration
ERIC Educational Resources Information Center
Vesperman, Dean P.; Bernens-Kinkead, Donna J.; Loudermilk, Liesl S.; Newsom, Gladys I. M.
2012-01-01
Since the election of 1796, buttons, slogans, and, most importantly, symbols have become a mainstay of the American election system. The log cabin symbolized the childhoods of Andrew Jackson and Abraham Lincoln; the sun represented hope on Barack Obama's 2008 presidential election posters. Many people without formal instruction in what symbols…
Symbolic Confrontation with Women Survivors of Childhood Sexual Victimization.
ERIC Educational Resources Information Center
Apolinsky, Sandra R.; Wilcoxon, S. Allen
1991-01-01
Investigated comparative effects of symbolic confrontation in affecting measures of self-concept and depression of 30 adult female survivors of childhood sexual abuse participating in a counseling group. The results seem to suggest that the technique of symbolic confrontation can be effective in ameliorating negative aftereffects of victimization…
Influence of Colour on Acquisition and Generalisation of Graphic Symbols
ERIC Educational Resources Information Center
Hetzroni, O. E.; Ne'eman, A.
2013-01-01
Background: Children with autism may benefit from using graphic symbols for their communication, language and literacy development. The purpose of this study was to investigate the influence of colour versus grey-scale displays on the identification of graphic symbols using a computer-based intervention. Method: An alternating treatment design was…
40 CFR 90.403 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2011 CFR
2011-07-01
... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Symbols, acronyms, and abbreviations. 90.403 Section 90.403 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR... Gaseous Exhaust Test Procedures § 90.403 Symbols, acronyms, and abbreviations. (a) The acronyms...
40 CFR 90.303 - Symbols, acronyms, abbreviations.
Code of Federal Regulations, 2013 CFR
2013-07-01
... 40 Protection of Environment 21 2013-07-01 2013-07-01 false Symbols, acronyms, abbreviations. 90.303 Section 90.303 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS... Equipment Provisions § 90.303 Symbols, acronyms, abbreviations. (a) The acronyms and abbreviations in §...
40 CFR 90.403 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2014 CFR
2014-07-01
... 40 Protection of Environment 20 2014-07-01 2013-07-01 true Symbols, acronyms, and abbreviations. 90.403 Section 90.403 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR... Gaseous Exhaust Test Procedures § 90.403 Symbols, acronyms, and abbreviations. (a) The acronyms...
40 CFR 90.303 - Symbols, acronyms, abbreviations.
Code of Federal Regulations, 2011 CFR
2011-07-01
... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Symbols, acronyms, abbreviations. 90.303 Section 90.303 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS... Equipment Provisions § 90.303 Symbols, acronyms, abbreviations. (a) The acronyms and abbreviations in §...
40 CFR 90.403 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2010 CFR
2010-07-01
... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Symbols, acronyms, and abbreviations. 90.403 Section 90.403 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR... Gaseous Exhaust Test Procedures § 90.403 Symbols, acronyms, and abbreviations. (a) The acronyms...
40 CFR 90.303 - Symbols, acronyms, abbreviations.
Code of Federal Regulations, 2012 CFR
2012-07-01
... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Symbols, acronyms, abbreviations. 90.303 Section 90.303 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS... Equipment Provisions § 90.303 Symbols, acronyms, abbreviations. (a) The acronyms and abbreviations in §...
40 CFR 90.303 - Symbols, acronyms, abbreviations.
Code of Federal Regulations, 2014 CFR
2014-07-01
... 40 Protection of Environment 20 2014-07-01 2013-07-01 true Symbols, acronyms, abbreviations. 90.303 Section 90.303 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS... Equipment Provisions § 90.303 Symbols, acronyms, abbreviations. (a) The acronyms and abbreviations in §...
40 CFR 90.303 - Symbols, acronyms, abbreviations.
Code of Federal Regulations, 2010 CFR
2010-07-01
... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Symbols, acronyms, abbreviations. 90.303 Section 90.303 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS... Equipment Provisions § 90.303 Symbols, acronyms, abbreviations. (a) The acronyms and abbreviations in §...
40 CFR 90.403 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2013 CFR
2013-07-01
... 40 Protection of Environment 21 2013-07-01 2013-07-01 false Symbols, acronyms, and abbreviations. 90.403 Section 90.403 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR... Gaseous Exhaust Test Procedures § 90.403 Symbols, acronyms, and abbreviations. (a) The acronyms...
40 CFR 90.403 - Symbols, acronyms, and abbreviations.
Code of Federal Regulations, 2012 CFR
2012-07-01
... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Symbols, acronyms, and abbreviations. 90.403 Section 90.403 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR... Gaseous Exhaust Test Procedures § 90.403 Symbols, acronyms, and abbreviations. (a) The acronyms...
Image and Substance: From Symbolic to Behavioral Relationships.
ERIC Educational Resources Information Center
Grunig, James E.
1993-01-01
Outlines a model shift in public relations between those who use only symbolic activities and those who use substantive behavior. Investigates and deconstructs the meaning of image. Suggests that organizations focus on more precise concepts of symbolic objectives and evaluate their success in achieving them. (HB)
78 FR 23508 - Use of Certain Symbols in Labeling
Federal Register 2010, 2011, 2012, 2013, 2014
2013-04-19
...The Food and Drug Administration (FDA) is proposing to revise medical device and biological product labeling regulations to explicitly allow for the inclusion of stand-alone graphical representations of information, or symbols, if the symbol has been established as part of a standard developed by a nationally or internationally recognized standards development organization (SDO) (referred to......