Nonsymbolic, Approximate Arithmetic in Children: Abstract Addition Prior to Instruction
ERIC Educational Resources Information Center
Barth, Hilary; Beckmann, Lacey; Spelke, Elizabeth S.
2008-01-01
Do children draw upon abstract representations of number when they perform approximate arithmetic operations? In this study, kindergarten children viewed animations suggesting addition of a sequence of sounds to an array of dots, and they compared the sum to a second dot array that differed from the sum by 1 of 3 ratios. Children performed this…
Reappraising Abstract Paintings after Exposure to Background Information
Park, Seongmin A.; Yun, Kyongsik; Jeong, Jaeseung
2015-01-01
Can knowledge help viewers when they appreciate an artwork? Experts’ judgments of the aesthetic value of a painting often differ from the estimates of naïve viewers, and this phenomenon is especially pronounced in the aesthetic judgment of abstract paintings. We compared the changes in aesthetic judgments of naïve viewers while they were progressively exposed to five pieces of background information. The participants were asked to report their aesthetic judgments of a given painting after each piece of information was presented. We found that commentaries by the artist and a critic significantly increased the subjective aesthetic ratings. Does knowledge enable experts to attend to the visual features in a painting and to link it to the evaluative conventions, thus potentially causing different aesthetic judgments? To investigate whether a specific pattern of attention is essential for the knowledge-based appreciation, we tracked the eye movements of subjects while viewing a painting with a commentary by the artist and with a commentary by a critic. We observed that critics’ commentaries directed the viewers’ attention to the visual components that were highly relevant to the presented commentary. However, attention to specific features of a painting was not necessary for increasing the subjective aesthetic judgment when the artists’ commentary was presented. Our results suggest that at least two different cognitive mechanisms may be involved in knowledge- guided aesthetic judgments while viewers reappraise a painting. PMID:25945789
COSMIC MICROWAVE BACKGROUND LIKELIHOOD APPROXIMATION FOR BANDED PROBABILITY DISTRIBUTIONS
Gjerløw, E.; Mikkelsen, K.; Eriksen, H. K.; Næss, S. K.; Seljebotn, D. S.; Górski, K. M.; Huey, G.; Jewell, J. B.; Rocha, G.; Wehus, I. K.
2013-11-10
We investigate sets of random variables that can be arranged sequentially such that a given variable only depends conditionally on its immediate predecessor. For such sets, we show that the full joint probability distribution may be expressed exclusively in terms of uni- and bivariate marginals. Under the assumption that the cosmic microwave background (CMB) power spectrum likelihood only exhibits correlations within a banded multipole range, Δl{sub C}, we apply this expression to two outstanding problems in CMB likelihood analysis. First, we derive a statistically well-defined hybrid likelihood estimator, merging two independent (e.g., low- and high-l) likelihoods into a single expression that properly accounts for correlations between the two. Applying this expression to the Wilkinson Microwave Anisotropy Probe (WMAP) likelihood, we verify that the effect of correlations on cosmological parameters in the transition region is negligible in terms of cosmological parameters for WMAP; the largest relative shift seen for any parameter is 0.06σ. However, because this may not hold for other experimental setups (e.g., for different instrumental noise properties or analysis masks), but must rather be verified on a case-by-case basis, we recommend our new hybridization scheme for future experiments for statistical self-consistency reasons. Second, we use the same expression to improve the convergence rate of the Blackwell-Rao likelihood estimator, reducing the required number of Monte Carlo samples by several orders of magnitude, and thereby extend it to high-l applications.
Ellis, J. A.; Siemens, X.; Van Haasteren, R.
2013-05-20
Direct detection of gravitational waves by pulsar timing arrays will become feasible over the next few years. In the low frequency regime (10{sup -7} Hz-10{sup -9} Hz), we expect that a superposition of gravitational waves from many sources will manifest itself as an isotropic stochastic gravitational wave background. Currently, a number of techniques exist to detect such a signal; however, many detection methods are computationally challenging. Here we introduce an approximation to the full likelihood function for a pulsar timing array that results in computational savings proportional to the square of the number of pulsars in the array. Through a series of simulations we show that the approximate likelihood function reproduces results obtained from the full likelihood function. We further show, both analytically and through simulations, that, on average, this approximate likelihood function gives unbiased parameter estimates for astrophysically realistic stochastic background amplitudes.
Hunt, H. B.; Marathe, M. V.; Stearns, R. E.
2001-01-01
We demonstrate how the concepts of algebraic representability and strongly-local reductions developed here and in [HSM00] can be used to characterize the computational complexity/efficient approximability of a number of basic problems and their variants, on various abstract algebraic structures F. These problems include the following: (1) A1gebra:Determine the solvability, unique solvability, number of solutions, etc., of a system of equations on F. Determine the equivalence of two formulas or straight-line programs on F. 2. 0ptimization:Let {epsilon} > 0. (a) Determine the maximum number of simultaneously satisfiable equations in a system of equations on F; or approximate this number within a multiplicative factor of n{sup {epsilon}}. (b) Determine the maximum value of an objective function subject to satisfiable algebraically expressed constraints on F; or approximate this maximum value within a multiplicative factor of n{sup {epsilon}}. (c) Given a formula or straight-line program, find a minimum size equivalent formula or straightline program; or find an equivalent formula or straight-line program of size {le} f (minimum). Both finite and infinite algebraic structures are considered. These finite structures include all finite nondegenerate lattices and all finite rings or semi-rings with a nonzero element idempotent under multiplication (e.g. all non-degenerate finite unitary rings or semi-rings); and these infinite structures include the natural numbers, integers, real numbers, various algebras on these structures, all ordered rings, many cancellative semi-rings, and all infinite lattices with two elements a,b such that a is covered by b. Our results significantly extend a number of results by Ladner [La89], Condon, et. al. [CF+93], Khanna, et.al [KSW97], Cr951 and Zuckerman [Zu93] on the complexity and approximbaility of combinatorial problems.
NASA Technical Reports Server (NTRS)
Gorski, Krzysztof M.
1993-01-01
Simple and easy to implement elementary function approximations are introduced to the spectral window functions needed in calculations of model predictions of the cosmic microwave backgrond (CMB) anisotropy. These approximations allow the investigator to obtain model delta T/T predictions in terms of single integrals over the power spectrum of cosmological perturbations and to avoid the necessity of performing the additional integrations. The high accuracy of these approximations is demonstrated here for the CDM theory-based calculations of the expected delta T/T signal in several experiments searching for the CMB anisotropy.
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)
NASA Astrophysics Data System (ADS)
Zhao, Yi; Yamamoto, Takeshi; Miller, William H.
2004-02-01
The quantum instanton approximation for thermal rate constants of chemical reactions [Miller, Zhao, Ceotto, and Yang, J. Chem. Phys. 119, 1329 (2003)], which is modeled after the earlier semiclassical instanton approach, is applied to the hydrogen abstraction reaction from methane by a hydrogen atom, H+CH4→H2+CH3, using a modified and recalibrated version of the Jordan-Gilbert potential surface. The quantum instanton rate is evaluated using path integral Monte Carlo approaches based on the recently proposed implementation schemes [Yamamoto and Miller, J. Chem. Phys. 120, 3086 (2004)]. The calculations were carried out using the Cartesian coordinates of all the atoms (thus involving 18 degrees of freedom), thereby taking explicit account of rotational effects of the whole system and also allowing the equivalent treatment of the four methane hydrogens. To achieve such a treatment, we present extended forms of the path integral estimators for relevant quantities that may be used for general N-atom systems with any generalized reaction coordinates. The quantum instanton rates thus obtained for the temperature range T=200-2000 K show good agreement with available experimental data, which gives support to the accuracy of the underlying potential surface used.
Zhao, Yi; Yamamoto, Takeshi; Miller, William H
2004-02-15
The quantum instanton approximation for thermal rate constants of chemical reactions [Miller, Zhao, Ceotto, and Yang, J. Chem. Phys. 119, 1329 (2003)], which is modeled after the earlier semiclassical instanton approach, is applied to the hydrogen abstraction reaction from methane by a hydrogen atom, H + CH4 --> H2 + CH3, using a modified and recalibrated version of the Jordan-Gilbert potential surface. The quantum instanton rate is evaluated using path integral Monte Carlo approaches based on the recently proposed implementation schemes [Yamamoto and Miller, J. Chem. Phys. 120, 3086 (2004)]. The calculations were carried out using the Cartesian coordinates of all the atoms (thus involving 18 degrees of freedom), thereby taking explicit account of rotational effects of the whole system and also allowing the equivalent treatment of the four methane hydrogens. To achieve such a treatment, we present extended forms of the path integral estimators for relevant quantities that may be used for general N-atom systems with any generalized reaction coordinates. The quantum instanton rates thus obtained for the temperature range T = 200-2000 K show good agreement with available experimental data, which gives support to the accuracy of the underlying potential surface used. PMID:15268462
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)
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
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)
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
Approximation, abstraction and decomposition in search and optimization
NASA Technical Reports Server (NTRS)
Ellman, Thomas
1992-01-01
In this paper, I discuss four different areas of my research. One portion of my research has focused on automatic synthesis of search control heuristics for constraint satisfaction problems (CSPs). I have developed techniques for automatically synthesizing two types of heuristics for CSPs: Filtering functions are used to remove portions of a search space from consideration. Another portion of my research is focused on automatic synthesis of hierarchic algorithms for solving constraint satisfaction problems (CSPs). I have developed a technique for constructing hierarchic problem solvers based on numeric interval algebra. Another portion of my research is focused on automatic decomposition of design optimization problems. We are using the design of racing yacht hulls as a testbed domain for this research. Decomposition is especially important in the design of complex physical shapes such as yacht hulls. Another portion of my research is focused on intelligent model selection in design optimization. The model selection problem results from the difficulty of using exact models to analyze the performance of candidate designs.
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
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)
Abstract Expressionism. Clip and Save.
ERIC Educational Resources Information Center
Hubbard, Guy
2002-01-01
Provides information on the art movement, Abstract Expressionism, and includes learning activities. Focuses on the artist Jackson Pollock, offering a reproduction of his artwork, "Convergence: Number 10." Includes background information on the life and career of Pollock and a description of the included artwork. (CMK)
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
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)
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…
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.
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
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,…
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
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.
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.
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.
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
Thyra Abstract Interface Package
Energy Science and Technology Software Center (ESTSC)
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.
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)
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…
The Social Background of the Student and His Prospect of Success at School.
ERIC Educational Resources Information Center
Office of Education (DHEW), Washington, DC.
This document is an English-language abstract (approximately 1,500 words) of the American response to an IBE questionnaire. The main problems in the relationship between social background and school achievement are how to ensure equality of educational opportunity in all 50 states, raising educational standards and improving the quality of schools…
Approximate Genealogies Under Genetic Hitchhiking
Pfaffelhuber, P.; Haubold, B.; Wakolbinger, A.
2006-01-01
The rapid fixation of an advantageous allele leads to a reduction in linked neutral variation around the target of selection. The genealogy at a neutral locus in such a selective sweep can be simulated by first generating a random path of the advantageous allele's frequency and then a structured coalescent in this background. Usually the frequency path is approximated by a logistic growth curve. We discuss an alternative method that approximates the genealogy by a random binary splitting tree, a so-called Yule tree that does not require first constructing a frequency path. Compared to the coalescent in a logistic background, this method gives a slightly better approximation for identity by descent during the selective phase and a much better approximation for the number of lineages that stem from the founder of the selective sweep. In applications such as the approximation of the distribution of Tajima's D, the two approximation methods perform equally well. For relevant parameter ranges, the Yule approximation is faster. PMID:17182733
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
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.
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.
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…
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.
Rasin, A.
1994-04-01
We discuss the idea of approximate flavor symmetries. Relations between approximate flavor symmetries and natural flavor conservation and democracy models is explored. Implications for neutrino physics are also discussed.
An approximate model for pulsar navigation simulation
NASA Astrophysics Data System (ADS)
Jovanovic, Ilija; Enright, John
2016-02-01
This paper presents an approximate model for the simulation of pulsar aided navigation systems. High fidelity simulations of these systems are computationally intensive and impractical for simulating periods of a day or more. Simulation of yearlong missions is done by abstracting navigation errors as periodic Gaussian noise injections. This paper presents an intermediary approximate model to simulate position errors for periods of several weeks, useful for building more accurate Gaussian error models. This is done by abstracting photon detection and binning, replacing it with a simple deterministic process. The approximate model enables faster computation of error injection models, allowing the error model to be inexpensively updated throughout a simulation. Testing of the approximate model revealed an optimistic performance prediction for non-millisecond pulsars with more accurate predictions for pulsars in the millisecond spectrum. This performance gap was attributed to noise which is not present in the approximate model but can be predicted and added to improve accuracy.
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.
NASA Astrophysics Data System (ADS)
Park, Daesik; Kang, Seongjun; Kim, Huijung; Whang, Jungnam
2004-03-01
The interface property of perylene thin-film and OTS (octadecyltriclorosilane) monolayer, and its effects on the characteristics of perylene thin-film transistor D. S. Park, S. J. Kang, H. J. Kim, and C. N. Whang Institute of Physics and Applied Physics, Yonsei University, Seoul, KOREA We researched the perylene thin-film which is known for the characteristics of both P-type, and N-type. Perylene thin-film was deposited on SiO2 substrates with different deposition rate. Next, to study the interface effects of OTS (octadecyltriclorosilane) we inserted OTS monolayer between perylene thin-film and SiO2 substrates. And we compared grain size and crystallinity with AFM (Atomoic Force Microscopy) and XRD (X-Ray Diffraction), then we got dramatically increased crystallinity and reduced film roughness with OTS treatment. And we studied the interface with XPS (X-ray Photoelectron Spectroscopy) and FESEM (Field Effect Single Electron Spectroscopy). Then we fabricated OTS inserted perylene thin-film transistor with different deposition rate and mesured current-voltage characteristics. And we got increased saturation current and hole mobility over a hundred time with OTS treatment on SiO2, the saturation current was over 1/1000000 A and mobility was approximately 0.1cm^2/Vs.
Ozone Conference II: Abstract Proceedings
1999-11-01
Ozone Conference II: Pre- and Post-Harvest Applications Two Years After Gras, was held September 27-28, 1999 in Tulare, California. This conference, sponsored by EPRI's Agricultural Technology Alliance and Southern California Edison's AgTAC facility, was coordinated and organized by the on-site ATA-AgTAC Regional Center. Approximately 175 people attended the day-and-a-half conference at AgTAC. During the Conference twenty-two presentations were given on ozone food processing and agricultural applications. Included in the presentations were topics on: (1) Ozone fumigation; (2) Ozone generation techniques; (3) System and design applications; (4) Prewater treatment requirements; (5) Poultry water reuse; (6) Soil treatments with ozone gas; and (7) Post-harvest aqueous and gaseous ozone research results. A live videoconference between Tulare and Washington, D.C. was held to discuss the regulators' view from inside the beltway. Attendees participated in two Roundtable Question and Answer sessions and visited fifteen exhibits and demonstrations. The attendees included university and governmental researchers, regulators, consultants and industry experts, technology developers and providers, and corporate and individual end-users. This report is comprised of the Abstracts of each presentation, biographical sketches for each speaker and a registration/attendees list.
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.
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
Southern Orthopaedic Association Abstract Publication Rate.
Tait, Mark Adam; Petrus, Cara; Barnes, C Lowry
2016-01-01
The purpose of this study was to determine the publication rate of manuscripts presented at the Southern Orthopaedic Association's (SOA) annual meetings. An extensive literature search was performed using Google Scholar and PubMed search engines and all accepted abstracts (posters or podium presentations) presented at an SOA annual meeting from 2005 to 2011 were evaluated. A total of 568 abstracts were presented at SOA meetings between 2005 and 2011. Of these, 234 (41%) were published in the peer-reviewed literature. The publication rate was 66% in 2005 and 28% in 2010. The average time from presentation to peer-reviewed publication was 1.6 ± 0.24 years (range, 2 years in 2006 to 1 year in 2011). The SOA publication rate was comparable with other major orthopaedic conference publication rates, yet more than half of all abstracts remain unpublished. SOA attendees should be aware that approximately 40% of all accepted presentations will go unpublished. PMID:27518291
Attracting Girls into Physics (abstract)
NASA Astrophysics Data System (ADS)
Gadalla, Afaf
2009-04-01
A recent international study of women in physics showed that enrollment in physics and science is declining for both males and females and that women are severely underrepresented in careers requiring a strong physics background. The gender gap begins early in the pipeline, from the first grade. Girls are treated differently than boys at home and in society in ways that often hinder their chances for success. They have fewer freedoms, are discouraged from accessing resources or being adventurous, have far less exposure to problem solving, and are not encouraged to choose their lives. In order to motivate more girl students to study physics in the Assiut governorate of Egypt, the Assiut Alliance for the Women and Assiut Education District collaborated in renovating the education of physics in middle and secondary school classrooms. A program that helps in increasing the number of girls in science and physics has been designed in which informal groupings are organized at middle and secondary schools to involve girls in the training and experiences needed to attract and encourage girls to learn physics. During implementation of the program at some schools, girls, because they had not been trained in problem-solving as boys, appeared not to be as facile in abstracting the ideas of physics, and that was the primary reason for girls dropping out of science and physics. This could be overcome by holding a topical physics and technology summer school under the supervision of the Assiut Alliance for the Women.
Hydrogen energy: A bibliography with abstracts. Cumulative volume, 1953 - 1973
NASA Technical Reports Server (NTRS)
Cox, K. E.
1974-01-01
A bibliography on hydrogen as an energy source is presented. Approximately 8,000 documents are abstracted covering the period 1953 through 1973. Topics covered include: production, utilization, transmission, distribution, storage, and safety.
NASA Technical Reports Server (NTRS)
Dutta, Soumitra
1988-01-01
A model for approximate spatial reasoning using fuzzy logic to represent the uncertainty in the environment is presented. Algorithms are developed which can be used to reason about spatial information expressed in the form of approximate linguistic descriptions similar to the kind of spatial information processed by humans. Particular attention is given to static spatial reasoning.
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.
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.
Calculator Function Approximation.
ERIC Educational Resources Information Center
Schelin, Charles W.
1983-01-01
The general algorithm used in most hand calculators to approximate elementary functions is discussed. Comments on tabular function values and on computer function evaluation are given first; then the CORDIC (Coordinate Rotation Digital Computer) scheme is described. (MNS)
The structural physical approximation conjecture
NASA Astrophysics Data System (ADS)
Shultz, Fred
2016-01-01
It was conjectured that the structural physical approximation (SPA) of an optimal entanglement witness is separable (or equivalently, that the SPA of an optimal positive map is entanglement breaking). This conjecture was disproved, first for indecomposable maps and more recently for decomposable maps. The arguments in both cases are sketched along with important related results. This review includes background material on topics including entanglement witnesses, optimality, duality of cones, decomposability, and the statement and motivation for the SPA conjecture so that it should be accessible for a broad audience.
NASA Technical Reports Server (NTRS)
Dutta, Soumitra
1988-01-01
Much of human reasoning is approximate in nature. Formal models of reasoning traditionally try to be precise and reject the fuzziness of concepts in natural use and replace them with non-fuzzy scientific explicata by a process of precisiation. As an alternate to this approach, it has been suggested that rather than regard human reasoning processes as themselves approximating to some more refined and exact logical process that can be carried out with mathematical precision, the essence and power of human reasoning is in its capability to grasp and use inexact concepts directly. This view is supported by the widespread fuzziness of simple everyday terms (e.g., near tall) and the complexity of ordinary tasks (e.g., cleaning a room). Spatial reasoning is an area where humans consistently reason approximately with demonstrably good results. Consider the case of crossing a traffic intersection. We have only an approximate idea of the locations and speeds of various obstacles (e.g., persons and vehicles), but we nevertheless manage to cross such traffic intersections without any harm. The details of our mental processes which enable us to carry out such intricate tasks in such apparently simple manner are not well understood. However, it is that we try to incorporate such approximate reasoning techniques in our computer systems. Approximate spatial reasoning is very important for intelligent mobile agents (e.g., robots), specially for those operating in uncertain or unknown or dynamic domains.
Approximate kernel competitive learning.
Wu, Jian-Sheng; Zheng, Wei-Shi; Lai, Jian-Huang
2015-03-01
Kernel competitive learning has been successfully used to achieve robust clustering. However, kernel competitive learning (KCL) is not scalable for large scale data processing, because (1) it has to calculate and store the full kernel matrix that is too large to be calculated and kept in the memory and (2) it cannot be computed in parallel. In this paper we develop a framework of approximate kernel competitive learning for processing large scale dataset. The proposed framework consists of two parts. First, it derives an approximate kernel competitive learning (AKCL), which learns kernel competitive learning in a subspace via sampling. We provide solid theoretical analysis on why the proposed approximation modelling would work for kernel competitive learning, and furthermore, we show that the computational complexity of AKCL is largely reduced. Second, we propose a pseudo-parallelled approximate kernel competitive learning (PAKCL) based on a set-based kernel competitive learning strategy, which overcomes the obstacle of using parallel programming in kernel competitive learning and significantly accelerates the approximate kernel competitive learning for large scale clustering. The empirical evaluation on publicly available datasets shows that the proposed AKCL and PAKCL can perform comparably as KCL, with a large reduction on computational cost. Also, the proposed methods achieve more effective clustering performance in terms of clustering precision against related approximate clustering approaches. PMID:25528318
Concrete and Abstract Visualizations in History Learning Tasks
ERIC Educational Resources Information Center
Prangsma, Maaike E.; van Boxtel, Carla A. M.; Kanselaar, Gellof; Kirschner, Paul A.
2009-01-01
Background: History learning requires that students understand historical phenomena, abstract concepts and the relations between them. Students have problems grasping, using and relating complex historical developments and structures. Aims: A study was conducted to determine the effects of tasks with abstract and/or concrete visualizations on the…
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)
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
Generative electronic background music system
Mazurowski, Lukasz
2015-03-10
In this short paper-extended abstract the new approach to generation of electronic background music has been presented. The Generative Electronic Background Music System (GEBMS) has been located between other related approaches within the musical algorithm positioning framework proposed by Woller et al. The music composition process is performed by a number of mini-models parameterized by further described properties. The mini-models generate fragments of musical patterns used in output composition. Musical pattern and output generation are controlled by container for the mini-models - a host-model. General mechanism has been presented including the example of the synthesized output compositions.
Covariant approximation averaging
NASA Astrophysics Data System (ADS)
Shintani, Eigo; Arthur, Rudy; Blum, Thomas; Izubuchi, Taku; Jung, Chulwoo; Lehner, Christoph
2015-06-01
We present a new class of statistical error reduction techniques for Monte Carlo simulations. Using covariant symmetries, we show that correlation functions can be constructed from inexpensive approximations without introducing any systematic bias in the final result. We introduce a new class of covariant approximation averaging techniques, known as all-mode averaging (AMA), in which the approximation takes account of contributions of all eigenmodes through the inverse of the Dirac operator computed from the conjugate gradient method with a relaxed stopping condition. In this paper we compare the performance and computational cost of our new method with traditional methods using correlation functions and masses of the pion, nucleon, and vector meson in Nf=2 +1 lattice QCD using domain-wall fermions. This comparison indicates that AMA significantly reduces statistical errors in Monte Carlo calculations over conventional methods for the same cost.
Fast approximate motif statistics.
Nicodème, P
2001-01-01
We present in this article a fast approximate method for computing the statistics of a number of non-self-overlapping matches of motifs in a random text in the nonuniform Bernoulli model. This method is well suited for protein motifs where the probability of self-overlap of motifs is small. For 96% of the PROSITE motifs, the expectations of occurrences of the motifs in a 7-million-amino-acids random database are computed by the approximate method with less than 1% error when compared with the exact method. Processing of the whole PROSITE takes about 30 seconds with the approximate method. We apply this new method to a comparison of the C. elegans and S. cerevisiae proteomes. PMID:11535175
The Guiding Center Approximation
NASA Astrophysics Data System (ADS)
Pedersen, Thomas Sunn
The guiding center approximation for charged particles in strong magnetic fields is introduced here. This approximation is very useful in situations where the charged particles are very well magnetized, such that the gyration (Larmor) radius is small compared to relevant length scales of the confinement device, and the gyration is fast relative to relevant timescales in an experiment. The basics of motion in a straight, uniform, static magnetic field are reviewed, and are used as a starting point for analyzing more complicated situations where more forces are present, as well as inhomogeneities in the magnetic field -- magnetic curvature as well as gradients in the magnetic field strength. The first and second adiabatic invariant are introduced, and slowly time-varying fields are also covered. As an example of the use of the guiding center approximation, the confinement concept of the cylindrical magnetic mirror is analyzed.
Monotone Boolean approximation
Hulme, B.L.
1982-12-01
This report presents a theory of approximation of arbitrary Boolean functions by simpler, monotone functions. Monotone increasing functions can be expressed without the use of complements. Nonconstant monotone increasing functions are important in their own right since they model a special class of systems known as coherent systems. It is shown here that when Boolean expressions for noncoherent systems become too large to treat exactly, then monotone approximations are easily defined. The algorithms proposed here not only provide simpler formulas but also produce best possible upper and lower monotone bounds for any Boolean function. This theory has practical application for the analysis of noncoherent fault trees and event tree sequences.
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.
Approximating Integrals Using Probability
ERIC Educational Resources Information Center
Maruszewski, Richard F., Jr.; Caudle, Kyle A.
2005-01-01
As part of a discussion on Monte Carlo methods, which outlines how to use probability expectations to approximate the value of a definite integral. The purpose of this paper is to elaborate on this technique and then to show several examples using visual basic as a programming tool. It is an interesting method because it combines two branches of…
Multicriteria approximation through decomposition
Burch, C. |; Krumke, S.; Marathe, M.; Phillips, C.; Sundberg, E. |
1997-12-01
The authors propose a general technique called solution decomposition to devise approximation algorithms with provable performance guarantees. The technique is applicable to a large class of combinatorial optimization problems that can be formulated as integer linear programs. Two key ingredients of the technique involve finding a decomposition of a fractional solution into a convex combination of feasible integral solutions and devising generic approximation algorithms based on calls to such decompositions as oracles. The technique is closely related to randomized rounding. The method yields as corollaries unified solutions to a number of well studied problems and it provides the first approximation algorithms with provable guarantees for a number of new problems. The particular results obtained in this paper include the following: (1) The authors demonstrate how the technique can be used to provide more understanding of previous results and new algorithms for classical problems such as Multicriteria Spanning Trees, and Suitcase Packing. (2) They show how the ideas can be extended to apply to multicriteria optimization problems, in which they wish to minimize a certain objective function subject to one or more budget constraints. As corollaries they obtain first non-trivial multicriteria approximation algorithms for problems including the k-Hurdle and the Network Inhibition problems.
Multicriteria approximation through decomposition
Burch, C.; Krumke, S.; Marathe, M.; Phillips, C.; Sundberg, E.
1998-06-01
The authors propose a general technique called solution decomposition to devise approximation algorithms with provable performance guarantees. The technique is applicable to a large class of combinatorial optimization problems that can be formulated as integer linear programs. Two key ingredients of their technique involve finding a decomposition of a fractional solution into a convex combination of feasible integral solutions and devising generic approximation algorithms based on calls to such decompositions as oracles. The technique is closely related to randomized rounding. Their method yields as corollaries unified solutions to a number of well studied problems and it provides the first approximation algorithms with provable guarantees for a number of new problems. The particular results obtained in this paper include the following: (1) the authors demonstrate how the technique can be used to provide more understanding of previous results and new algorithms for classical problems such as Multicriteria Spanning Trees, and Suitcase Packing; (2) they also show how the ideas can be extended to apply to multicriteria optimization problems, in which they wish to minimize a certain objective function subject to one or more budget constraints. As corollaries they obtain first non-trivial multicriteria approximation algorithms for problems including the k-Hurdle and the Network Inhibition problems.
Genetical background of intelligence.
Junkiert-Czarnecka, Anna; Haus, Olga
2016-01-01
Intelligence as an ability to reason, think abstractly and adapt effectively to the environment is a subject of research in the field of psychology, neurobiology, and in the last twenty years genetics as well. Genetical testing of twins carried out from XX century indicated heritebility of intelligence, therefore confirmed an influence of genetic factor on cognitive processes. Studies on genetic background of intelligence focus on dopaminergic (DRD2, DRD4, COMT, SLC6A3, DAT1, CCKAR) and adrenergic system (ADRB2, CHRM2) genes as well as, neutrofins (BDNF) and oxidative stress genes (LTF, PRNP). Positive effect of investigated gene polymorphism was indicated by variation c.957C>T DRD2 gene (if in polymorphic site is thymine), polymorphism c.472G>A COMT gene (presence of adenine) and also gene ADRB2 c.46A->G (guanine), CHRM2 (thymine in place c.1890A>T) and BDNF (guanine in place c.472G>A) Obtained results indicate that intelligence is a feature dependent not only on genetic but also an environmental factor. PMID:27333929
Teaching Abstract Concepts by Metaphor.
ERIC Educational Resources Information Center
Sutherland, Judith A.
2001-01-01
Defines metaphor and its uses; explains the construction and application of metaphors in nursing education. Describes the transformation of the abstract psychiatric concept of therapeutic milieu into a visual metaphor. (SK)
Deficiencies in structured medical abstracts.
Froom, P; Froom, J
1993-07-01
This study was carried out to determine if the content of structured abstracts conforms with recommendations of the Ad Hoc Working Group for the critical appraisal of the medical literature as adopted by the Annals of Internal Medicine. The study design was a survey. All articles published in Annals of Internal Medicine in 1991, excluding editorials, case-reports, literature reviews, decision analysis, studies in medical education, descriptive studies of clinical and basic phenomena, and papers lacking a structured abstract, were studied. Of a total of 150 articles, 20 were excluded. The abstract and text of each article were assessed for the presence of the following items; patient selection criteria, statements concerning extrapolation of findings, need for further study, and whether or not the information should be used now. Number of refusers, drop outs and reason(s) for drop outs were assessed for intervention and prospective cohort studies only. Deficiencies of assessed items were noted in both abstracts and texts. For abstracts, patient selection criteria, numbers of refusers, number of drop outs and reason(s) for drop outs were reported in 44.6% (58/130), 3.1% (4/130), 16.9% (14/83) and 2.4% (2/83) respectively. These items were reported more frequently in the texts 87.7% (114/130), 9.2% (12/130), 60.2% (50/83) and 37.3% (31/83) respectively (p < 0.05). Statements concerning extrapolation of findings, need for further study and use of information now were also more frequent in texts than abstracts (p < 0.0001). A large number of structured abstracts published in the Annals of Internal Medicine in 1991, lack information recommended by the Ad Hoc Working Group. Our findings should not be extrapolated to other journals requiring structured abstracts. PMID:8326342
Optimizing the Zeldovich approximation
NASA Technical Reports Server (NTRS)
Melott, Adrian L.; Pellman, Todd F.; Shandarin, Sergei F.
1994-01-01
We have recently learned that the Zeldovich approximation can be successfully used for a far wider range of gravitational instability scenarios than formerly proposed; we study here how to extend this range. In previous work (Coles, Melott and Shandarin 1993, hereafter CMS) we studied the accuracy of several analytic approximations to gravitational clustering in the mildly nonlinear regime. We found that what we called the 'truncated Zeldovich approximation' (TZA) was better than any other (except in one case the ordinary Zeldovich approximation) over a wide range from linear to mildly nonlinear (sigma approximately 3) regimes. TZA was specified by setting Fourier amplitudes equal to zero for all wavenumbers greater than k(sub nl), where k(sub nl) marks the transition to the nonlinear regime. Here, we study the cross correlation of generalized TZA with a group of n-body simulations for three shapes of window function: sharp k-truncation (as in CMS), a tophat in coordinate space, or a Gaussian. We also study the variation in the crosscorrelation as a function of initial truncation scale within each type. We find that k-truncation, which was so much better than other things tried in CMS, is the worst of these three window shapes. We find that a Gaussian window e(exp(-k(exp 2)/2k(exp 2, sub G))) applied to the initial Fourier amplitudes is the best choice. It produces a greatly improved crosscorrelation in those cases which most needed improvement, e.g. those with more small-scale power in the initial conditions. The optimum choice of kG for the Gaussian window is (a somewhat spectrum-dependent) 1 to 1.5 times k(sub nl). Although all three windows produce similar power spectra and density distribution functions after application of the Zeldovich approximation, the agreement of the phases of the Fourier components with the n-body simulation is better for the Gaussian window. We therefore ascribe the success of the best-choice Gaussian window to its superior treatment
Chalasani, P.; Saias, I.; Jha, S.
1996-04-08
As increasingly large volumes of sophisticated options (called derivative securities) are traded in world financial markets, determining a fair price for these options has become an important and difficult computational problem. Many valuation codes use the binomial pricing model, in which the stock price is driven by a random walk. In this model, the value of an n-period option on a stock is the expected time-discounted value of the future cash flow on an n-period stock price path. Path-dependent options are particularly difficult to value since the future cash flow depends on the entire stock price path rather than on just the final stock price. Currently such options are approximately priced by Monte carlo methods with error bounds that hold only with high probability and which are reduced by increasing the number of simulation runs. In this paper the authors show that pricing an arbitrary path-dependent option is {number_sign}-P hard. They show that certain types f path-dependent options can be valued exactly in polynomial time. Asian options are path-dependent options that are particularly hard to price, and for these they design deterministic polynomial-time approximate algorithms. They show that the value of a perpetual American put option (which can be computed in constant time) is in many cases a good approximation to the value of an otherwise identical n-period American put option. In contrast to Monte Carlo methods, the algorithms have guaranteed error bounds that are polynormally small (and in some cases exponentially small) in the maturity n. For the error analysis they derive large-deviation results for random walks that may be of independent interest.
Beyond the Kirchhoff approximation
NASA Technical Reports Server (NTRS)
Rodriguez, Ernesto
1989-01-01
The three most successful models for describing scattering from random rough surfaces are the Kirchhoff approximation (KA), the small-perturbation method (SPM), and the two-scale-roughness (or composite roughness) surface-scattering (TSR) models. In this paper it is shown how these three models can be derived rigorously from one perturbation expansion based on the extinction theorem for scalar waves scattering from perfectly rigid surface. It is also shown how corrections to the KA proportional to the surface curvature and higher-order derivatives may be obtained. Using these results, the scattering cross section is derived for various surface models.
Modelling Metamorphism by Abstract Interpretation
NASA Astrophysics Data System (ADS)
Dalla Preda, Mila; Giacobazzi, Roberto; Debray, Saumya; Coogan, Kevin; Townsend, Gregg M.
Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interpretation of the standard trace semantics. Phase semantics precisely models the metamorphic code behavior by providing a set of traces of programs which correspond to the possible evolutions of the metamorphic code during execution. We show that metamorphic signatures can be automatically extracted by abstract interpretation of the phase semantics, and that regular metamorphism can be modelled as finite state automata abstraction of the phase semantics.
Mechanical Engineering Department technical abstracts
Not Available
1984-07-01
The Mechanical Engineering Department publishes 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). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division.
Meeting Abstracts - Annual Meeting 2016.
2016-04-01
The AMCP Abstracts program provides a forum through which authors can share their insights and outcomes of advanced managed care practice through publication in AMCP's Journal of Managed Care & Specialty Pharmacy (JMCP). Most of the reviewed and unreviewed abstracts are presented as posters so that interested AMCP meeting attendees can review findings and query authors. The Student/Resident/ Fellow poster presentation (unreviewed) is Wednesday, April 20, 2016, and the Professional poster presentation (reviewed) is Thursday, April 21. The Professional posters will also be displayed on Friday, April 22. The reviewed abstracts are published in the JMCP Meeting Abstracts supplement. The AMCP Managed Care & Specialty Pharmacy Annual Meeting 2016 in San Francisco, California, is expected to attract more than 3,500 managed care pharmacists and other health care professionals who manage and evaluate drug therapies, develop and manage networks, and work with medical managers and information specialists to improve the care of all individuals enrolled in managed care programs. Abstracts were submitted in the following categories: Research Report: describe completed original research on managed care pharmacy services or health care interventions. Examples include (but are not limited to) observational studies using administrative claims, reports of the impact of unique benefit design strategies, and analyses of the effects of innovative administrative or clinical programs. Economic Model: describe models that predict the effect of various benefit design or clinical decisions on a population. For example, an economic model could be used to predict the budget impact of a new pharmaceutical product on a health care system. Solving Problems in Managed Care: describe the specific steps taken to introduce a needed change, develop and implement a new system or program, plan and organize an administrative function, or solve other types of problems in managed care settings. These
Abstract communication for coordinated planning
NASA Technical Reports Server (NTRS)
Clement, Bradley J.; Durfee, Edmund H.
2003-01-01
work offers evidence that distributed planning agents can greatly reduce communication costs by reasoning at abstract levels. While it is intuitive that improved search can reduce communication in such cases, there are other decisions about how to communicate plan information that greatly affect communication costs. This paper identifies cases independent of search where communicating at multiple levels of abstraction can exponentially decrease costs and where it can exponentially add costs. We conclude with a process for determining appropriate levels of communication based on characteristics of the domain.
SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION
B.W. ARNOLD
2004-10-27
The purpose of the saturated zone (SZ) flow and transport model abstraction task is to provide radionuclide-transport simulation results for use in the total system performance assessment (TSPA) for license application (LA) calculations. This task includes assessment of uncertainty in parameters that pertain to both groundwater flow and radionuclide transport in the models used for this purpose. This model report documents the following: (1) The SZ transport abstraction model, which consists of a set of radionuclide breakthrough curves at the accessible environment for use in the TSPA-LA simulations of radionuclide releases into the biosphere. These radionuclide breakthrough curves contain information on radionuclide-transport times through the SZ. (2) The SZ one-dimensional (I-D) transport model, which is incorporated in the TSPA-LA model to simulate the transport, decay, and ingrowth of radionuclide decay chains in the SZ. (3) The analysis of uncertainty in groundwater-flow and radionuclide-transport input parameters for the SZ transport abstraction model and the SZ 1-D transport model. (4) The analysis of the background concentration of alpha-emitting species in the groundwater of the SZ.
Innovation Abstracts, Volume XIX, 1997.
ERIC Educational Resources Information Center
Roueche, Suanne D., Ed.
1997-01-01
The 52 abstracts in these 29 serial issues describe innovative approaches to teaching and learning in the community college. Sample topics include a checklist for conference presenters, plan to retain students, faculty home page, improvements in writing instruction, cooperative learning, support for high risk students, competitive colleges and the…
Handedness Shapes Children's Abstract Concepts
ERIC Educational Resources Information Center
Casasanto, Daniel; Henetz, Tania
2012-01-01
Can children's handedness influence how they represent abstract concepts like "kindness" and "intelligence"? Here we show that from an early age, right-handers associate rightward space more strongly with positive ideas and leftward space with negative ideas, but the opposite is true for left-handers. In one experiment, children indicated where on…
Innovation Abstracts, Volume XX, 1998.
ERIC Educational Resources Information Center
Roueche, Suanne D., Ed.
1998-01-01
The 52 abstracts in these 29 serial issues describe innovative approaches to teaching and learning in the community college. Sample topics include reading motivation, barriers to academic success, the learning environment, writing skills, leadership in the criminal justice profession, role-playing strategies, cooperative education, distance…
Abstract Journal Concept Being Examined
ERIC Educational Resources Information Center
Somerville, Brendan F.
1972-01-01
In order to control the information explosion, some European chemical groups are studying the idea of abandoning full publication in printed form of all primary journals and, in their place, substituting a new form of abstract journal combined with a microfilm record of full scientific papers. (Author/CP)
Metaphoric Images from Abstract Concepts.
ERIC Educational Resources Information Center
Vizmuller-Zocco, Jana
1992-01-01
Discusses children's use of metaphors to create meaning, using as an example the pragmatic and "scientific" ways in which preschool children explain thunder and lightning to themselves. Argues that children are being shortchanged by modern scientific notions of abstractness and that they should be encouraged to create their own explanations of…
ERGONOMICS ABSTRACTS 48347-48982.
ERIC Educational Resources Information Center
Ministry of Technology, London (England). Warren Spring Lab.
IN THIS COLLECTION OF ERGONOMICS ABSTRACTS AND ANNOTATIONS THE FOLLOWING AREAS OF CONCERN ARE REPRESENTED--GENERAL REFERENCES, METHODS, FACILITIES, AND EQUIPMENT RELATING TO ERGONOMICS, SYSTEMS OF MAN AND MACHINES, VISUAL, AUDITORY, AND OTHER SENSORY INPUTS AND PROCESSES (INCLUDING SPEECH AND INTELLIGIBILITY), INPUT CHANNELS, BODY MEASUREMENTS,…
Does "Social Work Abstracts" Work?
ERIC Educational Resources Information Center
Holden, Gary; Barker, Kathleen; Covert-Vail, Lucinda; Rosenberg, Gary; Cohen, Stephanie A.
2008-01-01
Objective: The current study seeks to provide estimates of the adequacy of journal coverage in the Social Work Abstracts (SWA) database. Method: A total of 23 journals listed in the Journal Citation Reports social work category during the 1997 to 2005 period were selected for study. Issue-level coverage estimates were obtained for SWA and…
Manpower Management Studies: Selected Abstracts.
ERIC Educational Resources Information Center
Ryerson, William R., Comp.
This bibliography contains 58 selected abstracts of research reports dating back to 1964 on the general subject of manpower management. It was prepared from a search of the National Technical Information Service data base of more than 300,000 documents submitted by agencies of the Federal Government and also by private organizations or individuals…
The Theatre Audience: An Abstraction.
ERIC Educational Resources Information Center
Campbell, Paul Newell
1981-01-01
Argues that theater is aimed at and presented to an ideal or abstract audience. Discusses the implications of performing for an actual audience, adaptation to various audiences, and the concept of the audience as an evaluative device. (See CS 705 536.) (JMF)
Chemical Abstracts' Document Delivery Service.
ERIC Educational Resources Information Center
Rollins, Stephen
1984-01-01
The Document Delivery Service offered by Chemical Abstracts is described in terms of the DIALORDER option on the Dialog information retrieval system, mail requests, and requests transmitted through OCLC's Interlibrary Loan system. Transmission costs, success rates, delivery rates, and other considerations in utilizing the service are included.…
Fostering Formal Commutativity Knowledge with Approximate Arithmetic
Hansen, Sonja Maria; Haider, Hilde; Eichler, Alexandra; Godau, Claudia; Frensch, Peter A.; Gaschler, Robert
2015-01-01
How can we enhance the understanding of abstract mathematical principles in elementary school? Different studies found out that nonsymbolic estimation could foster subsequent exact number processing and simple arithmetic. Taking the commutativity principle as a test case, we investigated if the approximate calculation of symbolic commutative quantities can also alter the access to procedural and conceptual knowledge of a more abstract arithmetic principle. Experiment 1 tested first graders who had not been instructed about commutativity in school yet. Approximate calculation with symbolic quantities positively influenced the use of commutativity-based shortcuts in formal arithmetic. We replicated this finding with older first graders (Experiment 2) and third graders (Experiment 3). Despite the positive effect of approximation on the spontaneous application of commutativity-based shortcuts in arithmetic problems, we found no comparable impact on the application of conceptual knowledge of the commutativity principle. Overall, our results show that the usage of a specific arithmetic principle can benefit from approximation. However, the findings also suggest that the correct use of certain procedures does not always imply conceptual understanding. Rather, the conceptual understanding of commutativity seems to lag behind procedural proficiency during elementary school. PMID:26560311
Fostering Formal Commutativity Knowledge with Approximate Arithmetic.
Hansen, Sonja Maria; Haider, Hilde; Eichler, Alexandra; Godau, Claudia; Frensch, Peter A; Gaschler, Robert
2015-01-01
How can we enhance the understanding of abstract mathematical principles in elementary school? Different studies found out that nonsymbolic estimation could foster subsequent exact number processing and simple arithmetic. Taking the commutativity principle as a test case, we investigated if the approximate calculation of symbolic commutative quantities can also alter the access to procedural and conceptual knowledge of a more abstract arithmetic principle. Experiment 1 tested first graders who had not been instructed about commutativity in school yet. Approximate calculation with symbolic quantities positively influenced the use of commutativity-based shortcuts in formal arithmetic. We replicated this finding with older first graders (Experiment 2) and third graders (Experiment 3). Despite the positive effect of approximation on the spontaneous application of commutativity-based shortcuts in arithmetic problems, we found no comparable impact on the application of conceptual knowledge of the commutativity principle. Overall, our results show that the usage of a specific arithmetic principle can benefit from approximation. However, the findings also suggest that the correct use of certain procedures does not always imply conceptual understanding. Rather, the conceptual understanding of commutativity seems to lag behind procedural proficiency during elementary school. PMID:26560311
Countably QC-Approximating Posets
Mao, Xuxin; Xu, Luoshan
2014-01-01
As a generalization of countably C-approximating posets, the concept of countably QC-approximating posets is introduced. With the countably QC-approximating property, some characterizations of generalized completely distributive lattices and generalized countably approximating posets are given. The main results are as follows: (1) a complete lattice is generalized completely distributive if and only if it is countably QC-approximating and weakly generalized countably approximating; (2) a poset L having countably directed joins is generalized countably approximating if and only if the lattice σc(L)op of all σ-Scott-closed subsets of L is weakly generalized countably approximating. PMID:25165730
Object Classification via Planar Abstraction
NASA Astrophysics Data System (ADS)
Oesau, Sven; Lafarge, Florent; Alliez, Pierre
2016-06-01
We present a supervised machine learning approach for classification of objects from sampled point data. The main idea consists in first abstracting the input object into planar parts at several scales, then discriminate between the different classes of objects solely through features derived from these planar shapes. Abstracting into planar shapes provides a means to both reduce the computational complexity and improve robustness to defects inherent to the acquisition process. Measuring statistical properties and relationships between planar shapes offers invariance to scale and orientation. A random forest is then used for solving the multiclass classification problem. We demonstrate the potential of our approach on a set of indoor objects from the Princeton shape benchmark and on objects acquired from indoor scenes and compare the performance of our method with other point-based shape descriptors.
An Abstract Plan Preparation Language
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Munoz, Cesar A.
2006-01-01
This paper presents a new planning language that is more abstract than most existing planning languages such as the Planning Domain Definition Language (PDDL) or the New Domain Description Language (NDDL). The goal of this language is to simplify the formal analysis and specification of planning problems that are intended for safety-critical applications such as power management or automated rendezvous in future manned spacecraft. The new language has been named the Abstract Plan Preparation Language (APPL). A translator from APPL to NDDL has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats Project (SAVH) sponsored by the Explorations Technology Development Program, which is seeking to mature autonomy technology for application to the new Crew Exploration Vehicle (CEV) that will replace the Space Shuttle.
Approximate Bayesian multibody tracking.
Lanz, Oswald
2006-09-01
Visual tracking of multiple targets is a challenging problem, especially when efficiency is an issue. Occlusions, if not properly handled, are a major source of failure. Solutions supporting principled occlusion reasoning have been proposed but are yet unpractical for online applications. This paper presents a new solution which effectively manages the trade-off between reliable modeling and computational efficiency. The Hybrid Joint-Separable (HJS) filter is derived from a joint Bayesian formulation of the problem, and shown to be efficient while optimal in terms of compact belief representation. Computational efficiency is achieved by employing a Markov random field approximation to joint dynamics and an incremental algorithm for posterior update with an appearance likelihood that implements a physically-based model of the occlusion process. A particle filter implementation is proposed which achieves accurate tracking during partial occlusions, while in cases of complete occlusion, tracking hypotheses are bound to estimated occlusion volumes. Experiments show that the proposed algorithm is efficient, robust, and able to resolve long-term occlusions between targets with identical appearance. PMID:16929730
Cryogenic foam insulation: Abstracted publications
NASA Technical Reports Server (NTRS)
Williamson, F. R.
1977-01-01
A group of documents were chosen and abstracted which contain information on the properties of foam materials and on the use of foams as thermal insulation at cryogenic temperatures. The properties include thermal properties, mechanical properties, and compatibility properties with oxygen and other cryogenic fluids. Uses of foams include applications as thermal insulation for spacecraft propellant tanks, and for liquefied natural gas storage tanks and pipelines.
Concrete and abstract Voronoi diagrams
Klein, R. )
1989-01-01
The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves which are required to have some simple properties that are actually possessed by most bisectors of concrete Voronoi diagrams. Abstract Voronoi diagrams can be computed efficiently and there exists a worst-case efficient algorithm of divide-and-conquer type that applies to all abstract Voronoi diagrams satisfying a certain constraint. The author shows that this constraint is fulfilled by the concrete diagrams based no large classes of metrics in the plane.
Approximation by hinge functions
Faber, V.
1997-05-01
Breiman has defined {open_quotes}hinge functions{close_quotes} for use as basis functions in least squares approximations to data. A hinge function is the max (or min) function of two linear functions. In this paper, the author assumes the existence of smooth function f(x) and a set of samples of the form (x, f(x)) drawn from a probability distribution {rho}(x). The author hopes to find the best fitting hinge function h(x) in the least squares sense. There are two problems with this plan. First, Breiman has suggested an algorithm to perform this fit. The author shows that this algorithm is not robust and also shows how to create examples on which the algorithm diverges. Second, if the author tries to use the data to minimize the fit in the usual discrete least squares sense, the functional that must be minimized is continuous in the variables, but has a derivative which jumps at the data. This paper takes a different approach. This approach is an example of a method that the author has developed called {open_quotes}Monte Carlo Regression{close_quotes}. (A paper on the general theory is in preparation.) The author shall show that since the function f is continuous, the analytic form of the least squares equation is continuously differentiable. A local minimum is solved for by using Newton`s method, where the entries of the Hessian are estimated directly from the data by Monte Carlo. The algorithm has the desirable properties that it is quadratically convergent from any starting guess sufficiently close to a solution and that each iteration requires only a linear system solve.
Multijet final states: exact results and the leading pole approximation
Ellis, R.K.; Owens, J.F.
1984-09-01
Exact results for the process gg ..-->.. ggg are compared with those obtained using the leading pole approximation. Regions of phase space where the approximation breaks down are discussed. A specific example relevant for background estimates to W boson production is presented. It is concluded that in this instance the leading pole approximation may underestimate the standard QCD background by more than a factor of two in certain kinematic regions of physical interest.
Youth Studies Abstracts. Vol. 4 No. 3.
ERIC Educational Resources Information Center
Youth Studies Abstracts, 1985
1985-01-01
This volume contains 169 abstracts of documents dealing with youth and educational programs for youth. Included in the volume are 97 abstracts of documents dealing with social and educational developments; 56 abstracts of program reports, reviews, and evaluations; and 16 abstracts of program materials. Abstracts are grouped according to the…
Phonological abstraction without phonemes in speech perception.
Mitterer, Holger; Scharenborg, Odette; McQueen, James M
2013-11-01
Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected perception of ambiguous stimuli on the same allophone continuum in a subsequent phonetic-categorization test: Listeners exposed to ambiguous phones in /r/-final words were more likely to perceive test stimuli as /r/ than listeners with exposure in /l/-final words. This effect was not found for test stimuli on continua using other allophones of /r/ and /l/. These results confirm that listeners use phonological abstraction in speech perception. They also show that context-sensitive allophones can play a role in this process, and hence that context-insensitive phonemes are not necessary. We suggest there may be no one unit of perception. PMID:23973464
Lynch, H.; Schwitters, R.F.; Toner, W.T.
1988-01-01
Important sources of background for PEP experiments are studied. Background particles originate from high-energy electrons and positrons which have been lost from stable orbits, ..gamma..-rays emitted by the primary beams through bremsstrahlung in the residual gas, and synchrotron radiation x-rays. The effect of these processes on the beam lifetime are calculated and estimates of background rates at the interaction region are given. Recommendations for the PEP design, aimed at minimizing background are presented. 7 figs., 4 tabs.
ERIC Educational Resources Information Center
Neuman, Susan B.; Kaefer, Tanya; Pinkham, Ashley
2014-01-01
This article make a case for the importance of background knowledge in children's comprehension. It suggests that differences in background knowledge may account for differences in understanding text for low- and middle-income children. It then describes strategies for building background knowledge in the age of common core standards.
Leadership Abstracts, Volume 2, Numbers 1-21, 1989.
ERIC Educational Resources Information Center
Doucette, Don, Ed.
This series of abstracts from the League for Innovation in the Community College and the Community College Leadership Program is published approximately bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. Addressing a variety of topics of interest to community college administrators,…
A Program Abstract for Translating Inkprint into Braille by Computer.
ERIC Educational Resources Information Center
Seims, John R.
A program abstract which corresponds to the computer program for braille translation at the American Printing House for the Blind presents an approach to computer processing of inkprint into braille including input, output, storage areas, and processing steps. The program runs on a 709 data processing system, requires approximately 9,400 36-bit…
Leadership Abstracts, Volume 3, Numbers 1-20, 1990.
ERIC Educational Resources Information Center
Doucette, Don, Ed.
This series of abstracts from the League for Innovation in the Community College and the Community College Leadership Program is published approximately bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. Addressing a variety of topics of interest to community college administrators,…
Operating System Abstraction Layer (OSAL)
NASA Technical Reports Server (NTRS)
Yanchik, Nicholas J.
2007-01-01
This viewgraph presentation reviews the concept of the Operating System Abstraction Layer (OSAL) and its benefits. The OSAL is A small layer of software that allows programs to run on many different operating systems and hardware platforms It runs independent of the underlying OS & hardware and it is self-contained. The benefits of OSAL are that it removes dependencies from any one operating system, promotes portable, reusable flight software. It allows for Core Flight software (FSW) to be built for multiple processors and operating systems. The presentation discusses the functionality, the various OSAL releases, and describes the specifications.
IEEE conference record--Abstracts
Not Available
1992-01-01
The following topics were covered in this meeting: basic plasma phenomena and plasma waves; plasma diagnostics; space plasma diagnostics; magnetic fusion; electron, ion and plasma sources; intense electron and ion beams; intense beam microwaves; fast wave M/W devices; microwave plasma interactions; plasma focus; ultrafast Z-pinches; plasma processing; electrical gas discharges; fast opening switches; magnetohydrodynamics; electromagnetic and electrothermal launchers; x-ray lasers; computational plasma science; solid state plasmas and switches; environmental/energy issues in plasma science; vacuum electronics; plasmas for lighting; gaseous electronics; and ball lightning and other spherical plasmas. Separate abstracts were prepared for 278 papers of this conference.
Characterizing inflationary perturbations: The uniform approximation
Habib, Salman; Heinen, Andreas; Heitmann, Katrin; Jungman, Gerard; Molina-Paris, Carmen
2004-10-15
The spectrum of primordial fluctuations from inflation can be obtained using a mathematically controlled, and systematically extendable, uniform approximation. Closed-form expressions for power spectra and spectral indices may be found without making explicit slow-roll assumptions. Here we provide details of our previous calculations, extend the results beyond leading-order in the approximation, and derive general error bounds for power spectra and spectral indices. Already at next-to-leading-order, the errors in calculating the power spectrum are less than a percent. This meets the accuracy requirement for interpreting next-generation cosmic microwave background observations.
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.
Toward Millimagnitude Photometric Calibration (Abstract)
NASA Astrophysics Data System (ADS)
Dose, E.
2014-12-01
(Abstract only) Asteroid roation, exoplanet transits, and similar measurements will increasingly call for photometric precisions better than about 10 millimagnitudes, often between nights and ideally between distant observers. The present work applies detailed spectral simulations to test popular photometric calibration practices, and to test new extensions of these practices. Using 107 synthetic spectra of stars of diverse colors, detailed atmospheric transmission spectra computed by solar-energy software, realistic spectra of popular astronomy gear, and the option of three sources of noise added at realistic millimagnitude levels, we find that certain adjustments to current calibration practices can help remove small systematic errors, especially for imperfect filters, high airmasses, and possibly passing thin cirrus clouds.
Experience with abstract notation one
NASA Technical Reports Server (NTRS)
Harvey, James D.; Weaver, Alfred C.
1990-01-01
The development of computer science has produced a vast number of machine architectures, programming languages, and compiler technologies. The cross product of these three characteristics defines the spectrum of previous and present data representation methodologies. With regard to computer networks, the uniqueness of these methodologies presents an obstacle when disparate host environments are to be interconnected. Interoperability within a heterogeneous network relies upon the establishment of data representation commonality. The International Standards Organization (ISO) is currently developing the abstract syntax notation one standard (ASN.1) and the basic encoding rules standard (BER) that collectively address this problem. When used within the presentation layer of the open systems interconnection reference model, these two standards provide the data representation commonality required to facilitate interoperability. The details of a compiler that was built to automate the use of ASN.1 and BER are described. From this experience, insights into both standards are given and potential problems relating to this development effort are discussed.
Abstraction Planning in Real Time
NASA Technical Reports Server (NTRS)
Washington, Richard
1994-01-01
When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. The agent needs to be able to fall back on an ability to construct plans at run time under time constraints. This thesis presents a method for planning at run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies. The method has been implemented, and experiments have been run to validate the overall approach and the theoretical model.
Abstraction Planning in Real Time
NASA Technical Reports Server (NTRS)
Washington, R.
1994-01-01
When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. This thesis presents a method for planning a run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies.
The Cosmic Background Explorer.
ERIC Educational Resources Information Center
Gulkis, Samuel; And Others
1990-01-01
Outlines the Cosmic Background Explorer (COBE) mission to measure celestial radiation. Describes the instruments used and experiments involving differential microwave radiometers, and a far infrared absolute spectrophotometer. (YP)
Concrete Model Checking with Abstract Matching and Refinement
NASA Technical Reports Server (NTRS)
Pasareanu Corina S.; Peianek Radek; Visser, Willem
2005-01-01
We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.
Impairment of shooting performance by background complexity and motion.
Caroux, Loïc; Le Bigot, Ludovic; Vibert, Nicolas
2015-01-01
In many visual displays such as virtual environments, human tasks involve objects superimposed on both complex and moving backgrounds. However, most studies investigated the influence of background complexity or background motion in isolation. Two experiments were designed to investigate the joint influences of background complexity and lateral motion on a simple shooting task typical of video games. Participants had to perform the task on the moving and static versions of backgrounds of three levels of complexity, while their eye movements were recorded. The backgrounds displayed either an abstract (Experiment 1) or a naturalistic (Experiment 2) virtual environment. The results showed that performance was impaired by background motion in both experiments. The effects of motion and complexity were additive for the abstract background and multiplicative for the naturalistic background. Eye movement recordings showed that performance impairments reflected at least in part the impact of the background visual features on gaze control. PMID:25384639
Educational Technology in Micro-Teaching Preparation. Abstract.
ERIC Educational Resources Information Center
Walters, Charles D.
This paper is an abstract of a longer paper which was read at the American Educational Research Association (AERA) Annual Meeting in 1974. It begins with a brief background discussion on microteaching and goes on to list the teaching skills which microteaching develops. A brief summary of the research on microteaching is then given. The abstract…
Bilingual/Bicultural Education: Titles and Abstracts of Doctoral Dissertations.
ERIC Educational Resources Information Center
California State Univ., Los Angeles. National Dissemination and Assessment Center.
Dissertation abstracts describing research on a wide variety of topics in bilingual education are presented. This publication is designed to provide background material for bilingual educators as well as practical procedures for bilingual teachers, administrators, counselors, and evaluators. The titles were acquired by using the two broad…
An approximation theory for the identification of linear thermoelastic systems
NASA Technical Reports Server (NTRS)
Rosen, I. G.; Su, Chien-Hua Frank
1990-01-01
An abstract approximation framework and convergence theory for the identification of thermoelastic systems is developed. Starting from an abstract operator formulation consisting of a coupled second order hyperbolic equation of elasticity and first order parabolic equation for heat conduction, well-posedness is established using linear semigroup theory in Hilbert space, and a class of parameter estimation problems is then defined involving mild solutions. The approximation framework is based upon generic Galerkin approximation of the mild solutions, and convergence of solutions of the resulting sequence of approximating finite dimensional parameter identification problems to a solution of the original infinite dimensional inverse problem is established using approximation results for operator semigroups. An example involving the basic equations of one dimensional linear thermoelasticity and a linear spline based scheme are discussed. Numerical results indicate how the approach might be used in a study of damping mechanisms in flexible structures.
ERIC Educational Resources Information Center
Maxwell, John C.; Long, Barbara K.
"Backgrounds in Language," a field-tested inservice course designed for use by groups of 15 or 25 language arts teachers, provides the subject matter background teachers need to make informed decisions about what curriculum materials to use in what way, at what time, and with which students. The course is comprised of eight 2-hour sessions,…
Correlators in nontrivial backgrounds
Mello Koch, Robert de; Ives, Norman; Stephanou, Michael
2009-01-15
Operators in N=4 super Yang-Mills theory with an R-charge of O(N{sup 2}) are dual to backgrounds which are asymtotically AdS{sub 5}xS{sup 5}. In this article we develop efficient techniques that allow the computation of correlation functions in these backgrounds. We find that (i) contractions between fields in the string words and fields in the operator creating the background are the field theory accounting of the new geometry, (ii) correlation functions of probes in these backgrounds are given by the free field theory contractions but with rescaled propagators and (iii) in these backgrounds there are no open string excitations with their special end point interactions; we have only closed string excitations.
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).
Background Underground at WIPP
NASA Astrophysics Data System (ADS)
Esch, Ernst-Ingo; Hime, A.; Bowles, T. J.
2001-04-01
Recent interest to establish a dedicated underground laboratory in the United States prompted an experimental program at to quantify the enviromental backgrounds underground at the Waste Isolation Pilot Plant (WIPP) in Carlsbad, New Mexico. An outline of this program is provided along with recent experimental data on the cosmic ray muon flux at the 650 meter level of WIPP. The implications of the cosmic ray muon and fast neutron background at WIPP will be discussed in the context of new generation, low background experiments envisioned in the future.
The cosmic neutrino background
NASA Technical Reports Server (NTRS)
Dar, Arnon
1991-01-01
The cosmic neutrino background is expected to consist of relic neutrinos from the big bang, of neutrinos produced during nuclear burning in stars, of neutrinos released by gravitational stellar collapse, and of neutrinos produced by cosmic ray interactions with matter and radiation in the interstellar and intergalactic medium. Formation of baryonic dark matter in the early universe, matter-antimatter annihilation in a baryonic symmetric universe, and dark matter annihilation could have also contributed significantly to the cosmic neutrino background. The purpose of this paper is to review the properties of these cosmic neutrino backgrounds, the indirect evidence for their existence, and the prospects for their detection.
NASA Astrophysics Data System (ADS)
Lu, Xiaochun; Xiao, Yijun; Chai, Zhi; Wang, Bangping
2007-11-01
An adaptive background model aiming at outdoor vehicle detection is presented in this paper. This model is an improved model of PICA (pixel intensity classification algorithm), it classifies pixels into K-distributions by color similarity, and then a hypothesis that the background pixel color appears in image sequence with a high frequency is used to evaluate all the distributions to determine which presents the current background color. As experiments show, the model presented in this paper is a robust, adaptive and flexible model, which can deal with situations like camera motions, lighting changes and so on.
Ormes, J.F.; Atwood, W.; Burnett, T.; Grove, E.; Longo, F.; McEnery, J.; Mizuno, T.; Ritz, S.; /NASA, Goddard
2007-10-17
In order to estimate the ability of the GLAST/LAT to reject unwanted background of charged particles, optimize the on-board processing, size the required telemetry and optimize the GLAST orbit, we developed a detailed model of the background particles that would affect the LAT. In addition to the well-known components of the cosmic radiation, we included splash and reentrant components of protons, electrons (e+ and e-) from 10 MeV and beyond as well as the albedo gamma rays produced by cosmic ray interactions with the atmosphere. We made estimates of the irreducible background components produced by positrons and hadrons interacting in the multilayered micrometeorite shield and spacecraft surrounding the LAT and note that because the orbital debris has increased, the shielding required and hence the background are larger than were present in EGRET. Improvements to the model are currently being made to include the east-west effect.
Ormes, J. F.; Atwood, W.; Burnett, T.; Grove, E.; Longo, F.; McEnery, J.; Ritz, S.; Mizuno, T.
2007-07-12
In order to estimate the ability of the GLAST/LAT to reject unwanted background of charged particles, optimize the on-board processing, size the required telemetry and optimize the GLAST orbit, we developed a detailed model of the background particles that would affect the LAT. In addition to the well-known components of the cosmic radiation, we included splash and reentrant components of protons, electrons (e+ and e-) from 10 MeV and beyond as well as the albedo gamma rays produced by cosmic ray interactions with the atmosphere. We made estimates of the irreducible background components produced by positrons and hadrons interacting in the multilayered micrometeorite shield and spacecraft surrounding the LAT and note that because the orbital debris has increased, the shielding required and hence the background are larger than were present in EGRET. Improvements to the model are currently being made to include the east-west effect.
Numerical Stability and Convergence of Approximate Methods for Conservation Laws
NASA Astrophysics Data System (ADS)
Galkin, V. A.
We present the new approach to background of approximate methods convergence based on functional solutions theory for conservation laws. The applications to physical kinetics, gas and fluid dynamics are considered.
Abstraction and reformulation in artificial intelligence.
Holte, Robert C.; Choueiry, Berthe Y.
2003-01-01
This paper contributes in two ways to the aims of this special issue on abstraction. The first is to show that there are compelling reasons motivating the use of abstraction in the purely computational realm of artificial intelligence. The second is to contribute to the overall discussion of the nature of abstraction by providing examples of the abstraction processes currently used in artificial intelligence. Although each type of abstraction is specific to a somewhat narrow context, it is hoped that collectively they illustrate the richness and variety of abstraction in its fullest sense. PMID:12903653
Annotating user-defined abstractions for optimization
Quinlan, D; Schordan, M; Vuduc, R; Yi, Q
2005-12-05
This paper discusses the features of an annotation language that we believe to be essential for optimizing user-defined abstractions. These features should capture semantics of function, data, and object-oriented abstractions, express abstraction equivalence (e.g., a class represents an array abstraction), and permit extension of traditional compiler optimizations to user-defined abstractions. Our future work will include developing a comprehensive annotation language for describing the semantics of general object-oriented abstractions, as well as automatically verifying and inferring the annotated semantics.
DOE-NABIR PI Workshop: Abstracts 2003
Various
2003-01-28
The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in situ to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program consists of four interrelated Science Elements (Biotransformation, Community Dynamics/Microbial Ecology, Biomolecular Science and Engineering, and Biogeochemistry). The program also has a cross-cutting Assessment Element that supports development of innovative approaches and technologies to support the science elements. An element called Bioremediation and its Societal Implications and Concerns (BASIC) addresses potential societal issues of implementing NABIR scientific findings. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2003 by the Environmental Remediation Sciences Division in DOE's Office of Biological and Environmental Research (BER) in the Office of Science. Abstracts of NABIR research projects are provided in this book.
DOE NABIR PI Workshop: Abstracts 2002
Hawkes , Dan
2002-01-09
The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in place to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program is implemented through four interrelated scientific research elements (Biogeochemistry, Biomolecular Science and Engineering, Biotransformation, and Community Dynamics/Microbial Ecology); and through an element called Bioremediation and its Societal Implications and Concerns (BASIC), which addresses societal issues and potential concerns of stakeholders. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2002 by DOE's Office of Biological and Environmental Research (BER). Abstracts of NABIR research projects are provided in this book.
Refining a taxonomy for guideline implementation: results of an exercise in abstract classification
2013-01-01
Background To better understand the efficacy of various implementation strategies, improved methods for describing and classifying the nature of these strategies are urgently required. The aim of this study was to develop and pilot the feasibility of a taxonomy to classify the nature and content of implementation strategies. Methods A draft implementation taxonomy was developed based on the Cochrane Effective Practice and Organisation of Care (EPOC) data collection checklist. The draft taxonomy had four domains (professional, financial, organisational and regulatory) covering 49 distinct strategies. We piloted the draft taxonomy by using it to classify the implementation strategies described in the conference abstracts of the implementation stream of the 2010 Guideline International Network Conference. Five authors classified the strategies in each abstract individually. Final categorisation was then carried out in a face-to-face consensus meeting involving three authors. Results The implementation strategies described in 71 conference abstracts were classified. Approximately 15.5% of abstracts utilised strategies that could not be categorised using the draft taxonomy. Of those strategies that could be categorised, the majority were professionally focused (57%). A total of 41% of projects used only one implementation strategy, with 29% using two and 31% three or more. The three most commonly used strategies were changes in quality assurance, quality improvement and/or performance measurement systems, changes in information and communication technology, and distribution of guideline materials (via hard-copy, audio-visual and/or electronic means). Conclusions Further refinement of the draft taxonomy is required to provide hierarchical dimensions and granularity, particularly in the areas of patient-focused interventions, those concerned with audit and feedback and quality improvement, and electronic forms of implementation, including electronic decision support. PMID
NASA Technical Reports Server (NTRS)
Littell, Justin
2015-01-01
Friction Pull Plug Welding (FPPW) is a solid-state process that is the primary close out method for Self- Reacting Friction Stir Welding (SR-FSW). This process uses a servo hydraulic machine to spin an aluminum plug to several thousand revolutions per minute and pull the plug with several thousand pound force into an aluminum piece of material. This process, which has been around for approximately a decade, has proven to be a very difficult process to develop. There are large number of variables with interactions and correlations that are difficult to detect. Historically this method only provided good results on aluminum material up to 0.327" thick. The SLS rocket required weld land configurations of up to 0.625" thick. This not only pushed the limits of the process but also of the tools procured for materials 1/2 as thick. Ultimate Tensile Results was typically the response used for FPPW input variables. The problem was there were multiple processes including, welding, post weld machining, Non Destructive Evaluation, specimen fabrication and mechanical testing between the FPPW inputs and the mechanical test results. This only compiled the list of variables and made the process of FPPW even more difficult to develop. This presentation and paper describes the new process development methodology, which uses the FPPW tool's feedback to observe the process and develop it systematically. It captures 6 months and 600 plugs worth of work using only the tool's feedback as a response to the process. This presentation describes the solution to the issue, a solution whose methodology could apply to a variety of other processes.
Micromagnetics at submicron dimensions (abstract)
NASA Astrophysics Data System (ADS)
Slonczewski, J. C.
1997-04-01
We represent the state of a circa 10-nm thick submicron dimensioned magnetic film with a superposition of two-dimensional (2D) magnetic pseudovortices. The effective intervortex exchange-stiffness potential and local magnetization angle at a complex distance z=x+iy from the kth vortex center are given by the real and imaginary parts respectively, of the function -wklnz. Each of the four corners of the rectangle has a stationary quarter vortex with negative winding (wk=-1). Two mobile semivortices with winding wk=+1 and N and S magnetic poles lie at general positions X1 and X2, respectively, along edges of the rectangle. The approximate boundary condition of vanishing M-component normal to each edge is satisfied by repeated reflections which generate a periodic extension of this vortex array to a lattice filling all of a 2D space. The internal energy V(X1,X2) is principally composed of the inter vortex exchange stiffness. Given this function, numerical evaluation of the integrated moment m=m(X1,X2) provides the functional dependence of V on m as parametrized by (X1,X2). The function V(X1,X2) has four equal minima representing states with the N and S vortices located at diagonally opposite corners, in agreement with direct numerical simulations. Therefore, the predicted hysteresis behavior of our vortex model has significantly more complex transitions than those of a uniaxial single-domain particle having only two minima. Our employment of but two variables, rather than the continuum of straightforward micromagnetics, makes possible a more insightful analysis of the smallscale structures used in storage and memory.
OIL POLLUTION ABSTRACTS. VOLUME 6, NUMBER 1
Oil Pollution Abstracts (formerly entitled Oil Pollution Reports) is a quarterly compilation of abstracts of current oil pollution related literature and research projects. Comprehensive coverage of oil pollution and its prevention and control is provided, with emphasis on the aq...
An algorithm for generating abstract syntax trees
NASA Technical Reports Server (NTRS)
Noonan, R. E.
1985-01-01
The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed.
2013 SYR Accepted Poster Abstracts.
2013-01-01
SYR 2013 Accepted Poster abstracts: 1. Benefits of Yoga as a Wellness Practice in a Veterans Affairs (VA) Health Care Setting: If You Build It, Will They Come? 2. Yoga-based Psychotherapy Group With Urban Youth Exposed to Trauma. 3. Embodied Health: The Effects of a Mind�Body Course for Medical Students. 4. Interoceptive Awareness and Vegetable Intake After a Yoga and Stress Management Intervention. 5. Yoga Reduces Performance Anxiety in Adolescent Musicians. 6. Designing and Implementing a Therapeutic Yoga Program for Older Women With Knee Osteoarthritis. 7. Yoga and Life Skills Eating Disorder Prevention Among 5th Grade Females: A Controlled Trial. 8. A Randomized, Controlled Trial Comparing the Impact of Yoga and Physical Education on the Emotional and Behavioral Functioning of Middle School Children. 9. Feasibility of a Multisite, Community based Randomized Study of Yoga and Wellness Education for Women With Breast Cancer Undergoing Chemotherapy. 10. A Delphi Study for the Development of Protocol Guidelines for Yoga Interventions in Mental Health. 11. Impact Investigation of Breathwalk Daily Practice: Canada�India Collaborative Study. 12. Yoga Improves Distress, Fatigue, and Insomnia in Older Veteran Cancer Survivors: Results of a Pilot Study. 13. Assessment of Kundalini Mantra and Meditation as an Adjunctive Treatment With Mental Health Consumers. 14. Kundalini Yoga Therapy Versus Cognitive Behavior Therapy for Generalized Anxiety Disorder and Co-Occurring Mood Disorder. 15. Baseline Differences in Women Versus Men Initiating Yoga Programs to Aid Smoking Cessation: Quitting in Balance Versus QuitStrong. 16. Pranayam Practice: Impact on Focus and Everyday Life of Work and Relationships. 17. Participation in a Tailored Yoga Program is Associated With Improved Physical Health in Persons With Arthritis. 18. Effects of Yoga on Blood Pressure: Systematic Review and Meta-analysis. 19. A Quasi-experimental Trial of a Yoga based Intervention to Reduce Stress and
Cavity approximation for graphical models.
Rizzo, T; Wemmenhove, B; Kappen, H J
2007-07-01
We reformulate the cavity approximation (CA), a class of algorithms recently introduced for improving the Bethe approximation estimates of marginals in graphical models. In our formulation, which allows for the treatment of multivalued variables, a further generalization to factor graphs with arbitrary order of interaction factors is explicitly carried out, and a message passing algorithm that implements the first order correction to the Bethe approximation is described. Furthermore, we investigate an implementation of the CA for pairwise interactions. In all cases considered we could confirm that CA[k] with increasing k provides a sequence of approximations of markedly increasing precision. Furthermore, in some cases we could also confirm the general expectation that the approximation of order k , whose computational complexity is O(N(k+1)) has an error that scales as 1/N(k+1) with the size of the system. We discuss the relation between this approach and some recent developments in the field. PMID:17677405
Approximate circuits for increased reliability
Hamlet, Jason R.; Mayo, Jackson R.
2015-08-18
Embodiments of the invention describe a Boolean circuit having a voter circuit and a plurality of approximate circuits each based, at least in part, on a reference circuit. The approximate circuits are each to generate one or more output signals based on values of received input signals. The voter circuit is to receive the one or more output signals generated by each of the approximate circuits, and is to output one or more signals corresponding to a majority value of the received signals. At least some of the approximate circuits are to generate an output value different than the reference circuit for one or more input signal values; however, for each possible input signal value, the majority values of the one or more output signals generated by the approximate circuits and received by the voter circuit correspond to output signal result values of the reference circuit.
Approximate circuits for increased reliability
Hamlet, Jason R.; Mayo, Jackson R.
2015-12-22
Embodiments of the invention describe a Boolean circuit having a voter circuit and a plurality of approximate circuits each based, at least in part, on a reference circuit. The approximate circuits are each to generate one or more output signals based on values of received input signals. The voter circuit is to receive the one or more output signals generated by each of the approximate circuits, and is to output one or more signals corresponding to a majority value of the received signals. At least some of the approximate circuits are to generate an output value different than the reference circuit for one or more input signal values; however, for each possible input signal value, the majority values of the one or more output signals generated by the approximate circuits and received by the voter circuit correspond to output signal result values of the reference circuit.
Structural optimization with approximate sensitivities
NASA Technical Reports Server (NTRS)
Patnaik, S. N.; Hopkins, D. A.; Coroneos, R.
1994-01-01
Computational efficiency in structural optimization can be enhanced if the intensive computations associated with the calculation of the sensitivities, that is, gradients of the behavior constraints, are reduced. Approximation to gradients of the behavior constraints that can be generated with small amount of numerical calculations is proposed. Structural optimization with these approximate sensitivities produced correct optimum solution. Approximate gradients performed well for different nonlinear programming methods, such as the sequence of unconstrained minimization technique, method of feasible directions, sequence of quadratic programming, and sequence of linear programming. Structural optimization with approximate gradients can reduce by one third the CPU time that would otherwise be required to solve the problem with explicit closed-form gradients. The proposed gradient approximation shows potential to reduce intensive computation that has been associated with traditional structural optimization.
ERIC Educational Resources Information Center
Berdit, Nancy
2006-01-01
Abstraction has long been a concept difficult to define for students. Students often feel the pressure of making their artwork "look real" and frustration can often lead to burnout in the classroom. In this article, the author describes how her lesson on abstraction has alleviated much of that pressure as students created an abstract acrylic…
Code of Federal Regulations, 2010 CFR
2010-07-01
... 37 Patents, Trademarks, and Copyrights 1 2010-07-01 2010-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...
Code of Federal Regulations, 2011 CFR
2011-07-01
... 37 Patents, Trademarks, and Copyrights 1 2011-07-01 2011-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...
Code of Federal Regulations, 2013 CFR
2013-07-01
... 37 Patents, Trademarks, and Copyrights 1 2013-07-01 2013-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...
Code of Federal Regulations, 2014 CFR
2014-07-01
... 37 Patents, Trademarks, and Copyrights 1 2014-07-01 2014-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...
Code of Federal Regulations, 2012 CFR
2012-07-01
... 37 Patents, Trademarks, and Copyrights 1 2012-07-01 2012-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...
Writing a Structured Abstract for the Thesis
ERIC Educational Resources Information Center
Hartley, James
2010-01-01
This article presents the author's suggestions on how to improve thesis abstracts. The author describes two books on writing abstracts: (1) "Creating Effective Conference Abstracts and Posters in Biomedicine: 500 tips for Success" (Fraser, Fuller & Hutber, 2009), a compendium of clear advice--a must book to have in one's hand as one prepares a…
The Cosmic Background Explorer
NASA Technical Reports Server (NTRS)
Gulkis, Samuel; Lubin, Philip M.; Meyer, Stephan S.; Silverberg, Robert F.
1990-01-01
The Cosmic Background Explorer (CBE), NASA's cosmological satellite which will observe a radiative relic of the big bang, is discussed. The major questions connected to the big bang theory which may be clarified using the CBE are reviewed. The satellite instruments and experiments are described, including the Differential Microwave Radiometer, which measures the difference between microwave radiation emitted from two points on the sky, the Far-Infrared Absolute Spectrophotometer, which compares the spectrum of radiation from the sky at wavelengths from 100 microns to one cm with that from an internal blackbody, and the Diffuse Infrared Background Experiment, which searches for the radiation from the earliest generation of stars.
Texture induced microwave background anisotropies
Borrill, Julian; Copeland, Edmund J.; Liddle, Andrew R.; Stebbins, Albert; Veeraraghavan, Shoba
1994-03-01
We use numerical simulations to calculate the cosmic microwave background anisotropy induced by the evolution of a global texture field, with special emphasis on individual textures. Both spherically symmetric and general configurations are analyzed, and in the latter case we consider field configurations which exhibit unwinding events and also ones which do not. We compare the results given by evolving the field numerically under both the expanded core (XCORE) and non-linear sigma model (NLSM) approximations with the analytic predictions of the NLSM exact solution for a spherically symmetric self-similar (SSSS) unwinding. We find that the random unwinding configuration spots' typical peak height is 60-75\\% and angular size typically only 10% of those of the SSSS unwinding, and that random configurations without an unwinding event nonetheless may generate indistinguishable hot and cold spots. A brief comparison is made with other work.
China: Background Notes Series.
ERIC Educational Resources Information Center
Reams, Joanne Reppert
Concise background information on the People's Republic of China is provided. The publication begins with a profile of the country, outlining the people, geography, economy, and membership in international organizations. The bulk of the document then discusses in more detail China's people, geography, history, government, education, economy, and…
Nonthermal cosmic neutrino background
NASA Astrophysics Data System (ADS)
Chen, Mu-Chun; Ratz, Michael; Trautner, Andreas
2015-12-01
We point out that, for Dirac neutrinos, in addition to the standard thermal cosmic neutrino background (C ν B ), there could also exist a nonthermal neutrino background with comparable number density. As the right-handed components are essentially decoupled from the thermal bath of standard model particles, relic neutrinos with a nonthermal distribution may exist until today. The relic density of the nonthermal (nt) background can be constrained by the usual observational bounds on the effective number of massless degrees of freedom Neff and can be as large as nν nt≲0.5 nγ. In particular, Neff can be larger than 3.046 in the absence of any exotic states. Nonthermal relic neutrinos constitute an irreducible contribution to the detection of the C ν B and, hence, may be discovered by future experiments such as PTOLEMY. We also present a scenario of chaotic inflation in which a nonthermal background can naturally be generated by inflationary preheating. The nonthermal relic neutrinos, thus, may constitute a novel window into the very early Universe.
Berkeley Low Background Facility
NASA Astrophysics Data System (ADS)
Thomas, K. J.; Smith, A. R.; Poon, A. W. P.; Chan, Y. D.; Norman, E. B.; Lesko, K. T.
2015-08-01
The Berkeley Low Background Facility (BLBF) at Lawrence Berkeley National Laboratory (LBNL) in Berkeley, California provides low background gamma spectroscopy services to a wide array of experiments and projects. The analysis of samples takes place within two unique facilities; locally within a carefully-constructed, low background laboratory on the surface at LBNL and at the Sanford Underground Research Facility (SURF) in Lead, SD. These facilities provide a variety of gamma spectroscopy services to low background experiments primarily in the form of passive material screening for primordial radioisotopes (U, Th, K) or common cosmogenic/anthropogenic products; active screening via neutron activation analysis for U,Th, and K as well as a variety of stable isotopes; and neutron flux/beam characterization measurements through the use of monitors. A general overview of the facilities, services, and sensitivities will be presented. Recent activities and upgrades will also be described including an overview of the recently installed counting system at SURF (recently relocated from Oroville, CA in 2014), the installation of a second underground counting station at SURF in 2015, and future plans. The BLBF is open to any users for counting services or collaboration on a wide variety of experiments and projects.
Berkeley Low Background Facility
Thomas, K. J.; Norman, E. B.; Smith, A. R.; Poon, A. W. P.; Chan, Y. D.; Lesko, K. T.
2015-08-17
The Berkeley Low Background Facility (BLBF) at Lawrence Berkeley National Laboratory (LBNL) in Berkeley, California provides low background gamma spectroscopy services to a wide array of experiments and projects. The analysis of samples takes place within two unique facilities; locally within a carefully-constructed, low background laboratory on the surface at LBNL and at the Sanford Underground Research Facility (SURF) in Lead, SD. These facilities provide a variety of gamma spectroscopy services to low background experiments primarily in the form of passive material screening for primordial radioisotopes (U, Th, K) or common cosmogenic/anthropogenic products; active screening via neutron activation analysis for U,Th, and K as well as a variety of stable isotopes; and neutron flux/beam characterization measurements through the use of monitors. A general overview of the facilities, services, and sensitivities will be presented. Recent activities and upgrades will also be described including an overview of the recently installed counting system at SURF (recently relocated from Oroville, CA in 2014), the installation of a second underground counting station at SURF in 2015, and future plans. The BLBF is open to any users for counting services or collaboration on a wide variety of experiments and projects.
ERIC Educational Resources Information Center
Robbins, Bruce
1998-01-01
Argues that when introductory activities to the classics begin with background information, it can upstage or confine the life of the story, and shows little faith in the students as readers or in the literature itself. Suggests sometimes letting the literature begin, and then helping students make sense of it. Discusses examples from "To Kill a…
Monitored background radiometer
NASA Technical Reports Server (NTRS)
Ruel, C.; Larouche, M.; Donato, M.
1986-01-01
The infrared (IR) testing of the Olympus thermal model has provided a capability to perform cost effective thermal balance testing of satellites and satellite components. A high-accuracy monitored background radiometer was developed for the measurement of absorbed radiation heat flux encountered during IR thermal vacuum testing of spacecraft. The design, development, and calibration of this radiometer is described.
Research & writing basics: elements of the abstract.
Krasner, D; Van Rijswijk, L
1995-04-01
Writing an abstract is a challenging skill that requires precision and care. Criteria for well-formulated abstracts and abstract guidelines for 2 types of articles (empirical studies and reviews or theoretical articles) as well as a description of the content of a structured abstract are presented. Details were gleaned from a review of the literature including the American Medical Association Manual of Style, Eighth Edition and the Publication Manual of the American Psychological Association, Fourth Edition. A good abstract is like a crystal: it is a clear, sharp synthesis that elucidates meaning for the reader. PMID:7546111
Coupling Radar Rainfall to Hydrological Models for Water Abstraction Management
NASA Astrophysics Data System (ADS)
Asfaw, Alemayehu; Shucksmith, James; Smith, Andrea; MacDonald, Ken
2015-04-01
propagated through the model to assess its influence on the forecasted flow uncertainty. Furthermore, the effects of uncertainties at different forecast lead times on potential abstraction strategies are assessed. The results show that over a 10 year period, an average of approximately 70 ML/d of potential water is missed in the study catchment under a convention abstraction regime. This indicates a considerable potential for the use of flow forecasting models to effectively implement advanced abstraction management and more efficiently utilize available water resources in the study catchment.
Why We Need a Structured Abstract in Education Research
ERIC Educational Resources Information Center
Mosteller, Frederick; Nave, Bill; Miech, Edward J.
2004-01-01
Background: Approximately 1,100 education journals collectively publish more than 20,000 education research articles each year. Under current practice, no systematic way exists to move the research findings from these studies into the hands of the millions of education practitioners and policymakers in the United States who might use them.…
Holographic thermalization in a quark confining background
Ageev, D. S. Aref’eva, I. Ya.
2015-03-15
We study holographic thermalization of a strongly coupled theory inspired by two colliding shock waves in a vacuum confining background. Holographic thermalization means a black hole formation, in fact, a trapped surface formation. As the vacuum confining background, we considered the well-know bottom-up AdS/QCD model that provides the Cornell potential and reproduces the QCD β-function. We perturb the vacuum background by colliding domain shock waves that are assumed to be holographically dual to heavy ions collisions. Our main physical assumption is that we can make a restriction on the time of trapped surface formation, which results in a natural limitation on the size of the domain where the trapped surface is produced. This limits the intermediate domain where the main part of the entropy is produced. In this domain, we can use an intermediate vacuum background as an approximation to the full confining background. We find that the dependence of the multiplicity on energy for the intermediate background has an asymptotic expansion whose first term depends on energy as E{sup 1/3}, which is very similar to the experimental dependence of particle multiplicities on the colliding ion energy obtained from the RHIC and LHC. However, this first term, at the energies where the approximation of the confining metric by the intermediate background works, does not saturate the exact answer, and we have to take the nonleading terms into account.
Selected Abstracts from ERIC. Resources in Vocational Education. Volume 14, Number 5, 1981-1982.
ERIC Educational Resources Information Center
Resources in Vocational Education, 1981
1981-01-01
This issue contains approximately 250 abstracts selected from the ERIC Clearinghouse on Adult, Career, and Vocational Education related to vocational and technical education research and development from the June through November 1980 Resources in Education. Abstracts, ordered by ED number, may include some or all of the following information:…
Mathematical algorithms for approximate reasoning
NASA Technical Reports Server (NTRS)
Murphy, John H.; Chay, Seung C.; Downs, Mary M.
1988-01-01
Most state of the art expert system environments contain a single and often ad hoc strategy for approximate reasoning. Some environments provide facilities to program the approximate reasoning algorithms. However, the next generation of expert systems should have an environment which contain a choice of several mathematical algorithms for approximate reasoning. To meet the need for validatable and verifiable coding, the expert system environment must no longer depend upon ad hoc reasoning techniques but instead must include mathematically rigorous techniques for approximate reasoning. Popular approximate reasoning techniques are reviewed, including: certainty factors, belief measures, Bayesian probabilities, fuzzy logic, and Shafer-Dempster techniques for reasoning. A group of mathematically rigorous algorithms for approximate reasoning are focused on that could form the basis of a next generation expert system environment. These algorithms are based upon the axioms of set theory and probability theory. To separate these algorithms for approximate reasoning various conditions of mutual exclusivity and independence are imposed upon the assertions. Approximate reasoning algorithms presented include: reasoning with statistically independent assertions, reasoning with mutually exclusive assertions, reasoning with assertions that exhibit minimum overlay within the state space, reasoning with assertions that exhibit maximum overlay within the state space (i.e. fuzzy logic), pessimistic reasoning (i.e. worst case analysis), optimistic reasoning (i.e. best case analysis), and reasoning with assertions with absolutely no knowledge of the possible dependency among the assertions. A robust environment for expert system construction should include the two modes of inference: modus ponens and modus tollens. Modus ponens inference is based upon reasoning towards the conclusion in a statement of logical implication, whereas modus tollens inference is based upon reasoning away
Exponential approximations in optimal design
NASA Technical Reports Server (NTRS)
Belegundu, A. D.; Rajan, S. D.; Rajgopal, J.
1990-01-01
One-point and two-point exponential functions have been developed and proved to be very effective approximations of structural response. The exponential has been compared to the linear, reciprocal and quadratic fit methods. Four test problems in structural analysis have been selected. The use of such approximations is attractive in structural optimization to reduce the numbers of exact analyses which involve computationally expensive finite element analysis.
Approximate factorization with source terms
NASA Technical Reports Server (NTRS)
Shih, T. I.-P.; Chyu, W. J.
1991-01-01
A comparative evaluation is made of three methodologies with a view to that which offers the best approximate factorization error. While two of these methods are found to lead to more efficient algorithms in cases where factors which do not contain source terms can be diagonalized, the third method used generates the lowest approximate factorization error. This method may be preferred when the norms of source terms are large, and transient solutions are of interest.
Background illumination simulator
Towry, E.R.
1992-05-12
This patent describes a testing apparatus for testing and evaluating the performance of laser seeking warheads for missiles, under simulated weather conditions. It comprises support means for supporting a warhead seeker; laser means for generating a laser beam and for directing a laser beam towards the seeker; a diffusion screen interposed between the seeker support means and the laser means for diffusing the laser beam; a collimating lens interposed between the diffusion screen and the seeker support means for collimating the diffused laser beam and for directing the collimated laser beam onto a warhead seeker, supported in the seeker support; background illuminator means for illuminating the seeker support and a seeker disposed therein, supported for movement into and out of an operating position between the diffusion means and the collimating lens for providing background lighting in simulation of weather lighting conditions; and control means for controlling the intensity of the light provided by the illuminator means to simulate various weather conditions.
Approximating random quantum optimization problems
NASA Astrophysics Data System (ADS)
Hsu, B.; Laumann, C. R.; Läuchli, A. M.; Moessner, R.; Sondhi, S. L.
2013-06-01
We report a cluster of results regarding the difficulty of finding approximate ground states to typical instances of the quantum satisfiability problem k-body quantum satisfiability (k-QSAT) on large random graphs. As an approximation strategy, we optimize the solution space over “classical” product states, which in turn introduces a novel autonomous classical optimization problem, PSAT, over a space of continuous degrees of freedom rather than discrete bits. Our central results are (i) the derivation of a set of bounds and approximations in various limits of the problem, several of which we believe may be amenable to a rigorous treatment; (ii) a demonstration that an approximation based on a greedy algorithm borrowed from the study of frustrated magnetism performs well over a wide range in parameter space, and its performance reflects the structure of the solution space of random k-QSAT. Simulated annealing exhibits metastability in similar “hard” regions of parameter space; and (iii) a generalization of belief propagation algorithms introduced for classical problems to the case of continuous spins. This yields both approximate solutions, as well as insights into the free energy “landscape” of the approximation problem, including a so-called dynamical transition near the satisfiability threshold. Taken together, these results allow us to elucidate the phase diagram of random k-QSAT in a two-dimensional energy-density-clause-density space.
Some background about satellites
NASA Technical Reports Server (NTRS)
Burns, Joseph A.
1986-01-01
Four tables of planetary and satellite data are presented which list satellite discoveries, planetary parameters, satellite orbits, and satellite physical properties respectively. A scheme for classifying the satellites is provided and it is noted that most known moons fall into three general classes: regular satellites, collisional shards, and irregular satellites. Satellite processes are outlined with attention given to origins, dynamical and thermal evolution, surface processes, and composition and cratering. Background material is provided for each family of satellites.
A Shallow Underground Laboratory for Low-Background Radiation Measurements and Materials Development
Aalseth, Craig E.; Bonicalzi, Ricco; Cantaloub, Michael G.; Day, Anthony R.; Erikson, Luke E.; Fast, James E.; Forrester, Joel B.; Fuller, Erin S.; Glasgow, Brian D.; Greenwood, Lawrence R.; Hoppe, Eric W.; Hossbach, Todd W.; Hyronimus, Brian J.; Keillor, Martin E.; Mace, Emily K.; McIntyre, Justin I.; Merriman, Jason H.; Myers, Allan W.; Overman, Cory T.; Overman, Nicole R.; Panisko, Mark E.; Seifert, Allen; Warren, Glen A.; Runkle, Robert C.
2012-11-08
Abstract: Pacific Northwest National Laboratory recently commissioned a new shallow underground laboratory, located at a depth of approximately 30 meters water-equivalent. This new addition to the small class of radiation measurement laboratories located at modest underground depths worldwide houses the latest generation of custom-made, high-efficiency, low-background gamma-ray spectrometers and gas proportional counters. This manuscript describes the unique capabilities present in the shallow underground laboratory; these include large-scale ultra-pure materials production and a suite of radiation detection systems. Reported data characterize the degree of background reduction achieved through a combination of underground location, graded shielding, and rejection of cosmic-ray events. We conclude by presenting measurement targets and future opportunities.
Wavelet Sparse Approximate Inverse Preconditioners
NASA Technical Reports Server (NTRS)
Chan, Tony F.; Tang, W.-P.; Wan, W. L.
1996-01-01
There is an increasing interest in using sparse approximate inverses as preconditioners for Krylov subspace iterative methods. Recent studies of Grote and Huckle and Chow and Saad also show that sparse approximate inverse preconditioner can be effective for a variety of matrices, e.g. Harwell-Boeing collections. Nonetheless a drawback is that it requires rapid decay of the inverse entries so that sparse approximate inverse is possible. However, for the class of matrices that, come from elliptic PDE problems, this assumption may not necessarily hold. Our main idea is to look for a basis, other than the standard one, such that a sparse representation of the inverse is feasible. A crucial observation is that the kind of matrices we are interested in typically have a piecewise smooth inverse. We exploit this fact, by applying wavelet techniques to construct a better sparse approximate inverse in the wavelet basis. We shall justify theoretically and numerically that our approach is effective for matrices with smooth inverse. We emphasize that in this paper we have only presented the idea of wavelet approximate inverses and demonstrated its potential but have not yet developed a highly refined and efficient algorithm.
Approximate entropy of network parameters.
West, James; Lacasa, Lucas; Severini, Simone; Teschendorff, Andrew
2012-04-01
We study the notion of approximate entropy within the framework of network theory. Approximate entropy is an uncertainty measure originally proposed in the context of dynamical systems and time series. We first define a purely structural entropy obtained by computing the approximate entropy of the so-called slide sequence. This is a surrogate of the degree sequence and it is suggested by the frequency partition of a graph. We examine this quantity for standard scale-free and Erdös-Rényi networks. By using classical results of Pincus, we show that our entropy measure often converges with network size to a certain binary Shannon entropy. As a second step, with specific attention to networks generated by dynamical processes, we investigate approximate entropy of horizontal visibility graphs. Visibility graphs allow us to naturally associate with a network the notion of temporal correlations, therefore providing the measure a dynamical garment. We show that approximate entropy distinguishes visibility graphs generated by processes with different complexity. The result probes to a greater extent these networks for the study of dynamical systems. Applications to certain biological data arising in cancer genomics are finally considered in the light of both approaches. PMID:22680542
Approximate entropy of network parameters
NASA Astrophysics Data System (ADS)
West, James; Lacasa, Lucas; Severini, Simone; Teschendorff, Andrew
2012-04-01
We study the notion of approximate entropy within the framework of network theory. Approximate entropy is an uncertainty measure originally proposed in the context of dynamical systems and time series. We first define a purely structural entropy obtained by computing the approximate entropy of the so-called slide sequence. This is a surrogate of the degree sequence and it is suggested by the frequency partition of a graph. We examine this quantity for standard scale-free and Erdös-Rényi networks. By using classical results of Pincus, we show that our entropy measure often converges with network size to a certain binary Shannon entropy. As a second step, with specific attention to networks generated by dynamical processes, we investigate approximate entropy of horizontal visibility graphs. Visibility graphs allow us to naturally associate with a network the notion of temporal correlations, therefore providing the measure a dynamical garment. We show that approximate entropy distinguishes visibility graphs generated by processes with different complexity. The result probes to a greater extent these networks for the study of dynamical systems. Applications to certain biological data arising in cancer genomics are finally considered in the light of both approaches.
Relativistic regular approximations revisited: An infinite-order relativistic approximation
Dyall, K.G.; van Lenthe, E.
1999-07-01
The concept of the regular approximation is presented as the neglect of the energy dependence of the exact Foldy{endash}Wouthuysen transformation of the Dirac Hamiltonian. Expansion of the normalization terms leads immediately to the zeroth-order regular approximation (ZORA) and first-order regular approximation (FORA) Hamiltonians as the zeroth- and first-order terms of the expansion. The expansion may be taken to infinite order by using an un-normalized Foldy{endash}Wouthuysen transformation, which results in the ZORA Hamiltonian and a nonunit metric. This infinite-order regular approximation, IORA, has eigenvalues which differ from the Dirac eigenvalues by order E{sup 3}/c{sup 4} for a hydrogen-like system, which is a considerable improvement over the ZORA eigenvalues, and similar to the nonvariational FORA energies. A further perturbation analysis yields a third-order correction to the IORA energies, TIORA. Results are presented for several systems including the neutral U atom. The IORA eigenvalues for all but the 1s spinor of the neutral system are superior even to the scaled ZORA energies, which are exact for the hydrogenic system. The third-order correction reduces the IORA error for the inner orbitals to a very small fraction of the Dirac eigenvalue. {copyright} {ital 1999 American Institute of Physics.}
Analysis of complex networks using aggressive abstraction.
Colbaugh, Richard; Glass, Kristin.; Willard, Gerald
2008-10-01
This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving - we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.
Neurobiological background of negative symptoms.
Galderisi, Silvana; Merlotti, Eleonora; Mucci, Armida
2015-10-01
Studies investigating neurobiological bases of negative symptoms of schizophrenia failed to provide consistent findings, possibly due to the heterogeneity of this psychopathological construct. We tried to review the findings published to date investigating neurobiological abnormalities after reducing the heterogeneity of the negative symptoms construct. The literature in electronic databases as well as citations and major articles are reviewed with respect to the phenomenology, pathology, genetics and neurobiology of schizophrenia. We searched PubMed with the keywords "negative symptoms," "deficit schizophrenia," "persistent negative symptoms," "neurotransmissions," "neuroimaging" and "genetic." Additional articles were identified by manually checking the reference lists of the relevant publications. Publications in English were considered, and unpublished studies, conference abstracts and poster presentations were not included. Structural and functional imaging studies addressed the issue of neurobiological background of negative symptoms from several perspectives (considering them as a unitary construct, focusing on primary and/or persistent negative symptoms and, more recently, clustering them into factors), but produced discrepant findings. The examined studies provided evidence suggesting that even primary and persistent negative symptoms include different psychopathological constructs, probably reflecting the dysfunction of different neurobiological substrates. Furthermore, they suggest that complex alterations in multiple neurotransmitter systems and genetic variants might influence the expression of negative symptoms in schizophrenia. On the whole, the reviewed findings, representing the distillation of a large body of disparate data, suggest that further deconstruction of negative symptomatology into more elementary components is needed to gain insight into underlying neurobiological mechanisms. PMID:25797499
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
Gadgets, approximation, and linear programming
Trevisan, L.; Sudan, M.; Sorkin, G.B.; Williamson, D.P.
1996-12-31
We present a linear-programming based method for finding {open_quotes}gadgets{close_quotes}, i.e., combinatorial structures reducing constraints of one optimization problems to constraints of another. A key step in this method is a simple observation which limits the search space to a finite one. Using this new method we present a number of new, computer-constructed gadgets for several different reductions. This method also answers a question posed by on how to prove the optimality of gadgets-we show how LP duality gives such proofs. The new gadgets improve hardness results for MAX CUT and MAX DICUT, showing that approximating these problems to within factors of 60/61 and 44/45 respectively is N P-hard. We also use the gadgets to obtain an improved approximation algorithm for MAX 3SAT which guarantees an approximation ratio of .801. This improves upon the previous best bound of .7704.
NASA Technical Reports Server (NTRS)
Snyder, W. A.; Gursky, H.; Heckathorn, H. M.; Lucke, R. L.; Berg, S. L.; Dombrowski, E. G.; Kessel, R. A.
1993-01-01
The Strategic Defense Initiative Organization has created data centers for midcourse, plumes, and backgrounds phenomenologies. The Backgrounds Data Center (BDC) has been designated as the prime archive for data collected by SDIO programs. The BDC maintains a Summary Catalog that contains 'metadata,' that is, information about data, such as when the data were obtained, what the spectral range of the data is, and what region of the Earth or sky was observed. Queries to this catalog result in a listing of all data sets (from all experiments in the Summary Catalog) that satisfy the specified criteria. Thus, the user can identify different experiments that made similar observations and order them from the BDC for analysis. On-site users can use the Science Analysis Facility (SAFE for this purpose. For some programs, the BDC maintains a Program Catalog, which can classify data in as many ways as desired (rather than just by position, time, and spectral range as in the Summary Catalog). For example, data sets could be tagged with such diverse parameters as solar illumination angle, signal level, or the value of a particular spectral ratio, as long as these quantities can be read from the digital record or calculated from it by the ingest program. All unclassified catalogs and unclassified data will be remotely accessible.
NASA Astrophysics Data System (ADS)
Snyder, William A.; Gursky, Herbert; Heckathorn, Harry M.; Lucke, Bob L.; Dorland, Bryan N.; Kessel, R. A.; Berg, S. L.; Dombrowski, E. G.
1994-09-01
The Backgrounds Data Center (BDC) is the designated archive for backgrounds data collected by Ballistic Missile Defense Organization (BMDO) programs, some of which include ultraviolet sensors. Currently, the BDC holds ultraviolet data from the IBSS, UVPI, UVLIM, and FUVCAM sensors. The BDC will also be the prime archive for Midcourse Space Experiment (MSX) data and is prepared to negotiate with program managers to handle other datasets. The purpose of the BDC is to make data accessible to users and to assist them in analyzing it. The BDC maintains the Science Catalog Information Exchange System (SCIES) allowing remote users to log in, read or post notices about current programs, search the catalogs for datasets of interest, and submit orders for data. On-site facilities are also available for the analysis of data, and consist of VMS and UNIX workstations with access to software analysis packages such as IDL, IRAF, and Khoros. Either on-site or remotely, users can employ the BDC-developed graphical user interface called the Visual Interface for Space and Terrestrial Analysis (VISTA) to generate catalog queries and to display and analyze data. SCIES and VISTA permit nearly complete access to BDC services and capabilities without the need to be physically present at the data center.
Heat pipe transient response approximation
NASA Astrophysics Data System (ADS)
Reid, Robert S.
2002-01-01
A simple and concise routine that approximates the response of an alkali metal heat pipe to changes in evaporator heat transfer rate is described. This analytically based routine is compared with data from a cylindrical heat pipe with a crescent-annular wick that undergoes gradual (quasi-steady) transitions through the viscous and condenser boundary heat transfer limits. The sonic heat transfer limit can also be incorporated into this routine for heat pipes with more closely coupled condensers. The advantages and obvious limitations of this approach are discussed. For reference, a source code listing for the approximation appears at the end of this paper. .
ERIC Educational Resources Information Center
BLANK, MARION
THE MOST DISABLING HANDICAP OF YOUNG CHILDREN FROM DEPRIVED SOCIOECONOMIC BACKGROUNDS IS THEIR DIFFICULTY IN USING LANGUAGE ABSTRACTLY. IN THIS STUDY, THEREFORE, IT WAS HYPOTHESIZED THAT IF AN EDUCATIONAL INTERVENTION PROGRAM WAS LIMITED TO THE DEVELOPMENT OF ABSTRACT LANGUAGE, THEN NOT ONLY LANGUAGE, BUT MANY OTHER ASPECTS OF THINKING WOULD BE…
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…
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…
Annual Abstract Series of Educational Material.
ERIC Educational Resources Information Center
Shelesnyak, M. C., Ed.
1980-01-01
This is the fifth annual collection of abstracts of educational materials presented by the Educational Materials Review Board of the American Physiological Society under the direction of the Education Committee. The collection includes abstracts of articles, papers, textbooks, books, handbooks, and symposia which are valuable in teaching…
Abstracting in the Context of Spontaneous Learning
ERIC Educational Resources Information Center
Williams, Gaye
2007-01-01
There is evidence that spontaneous learning leads to relational understanding and high positive affect. To study spontaneous abstracting, a model was constructed by combining the RBC model of abstraction with Krutetskii's mental activities. Using video-stimulated interviews, the model was then used to analyze the behavior of two Year 8 students…
National Workplace Literacy Program. 1993 Abstracts.
ERIC Educational Resources Information Center
Office of Vocational and Adult Education (ED), Washington, DC. National Workplace Literacy Program.
This publication presents the abstracts of the 57 National Workplace Literacy Program 1993 projects. Each abstract provides the following information: project title; award number; project director; awardee; address; telephone and fax numbers; funds by fiscal year (federal and nonfederal); award period; federal project officer; objectives;…
A Hybrid Method for Abstracting Newspaper Articles.
ERIC Educational Resources Information Center
Liu, James; Wu, Yan; Zhou, Lina
1999-01-01
Introduces a hybrid method for abstracting Chinese text that integrates the statistical approach with language understandings, incorporating some linguistics heuristics and segmentation into the abstracting process. Initial responses from application to Chinese newspaper articles show that the method contributes much to the flexibility and…
Abstractions of Awareness: Aware of What?
NASA Astrophysics Data System (ADS)
Metaxas, Georgios; Markopoulos, Panos
This chapter presents FN-AAR, an abstract model of awareness systems. The purpose of the model is to capture in a concise and abstract form essential aspects of awareness systems, many of which have been discussed in design essays or in the context of evaluating specific design solutions.
Foundations of the Bandera Abstraction Tools
NASA Technical Reports Server (NTRS)
Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby
2003-01-01
Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.
New Features in the ADS Abstract Service
NASA Technical Reports Server (NTRS)
Eichhorn, Guenther; Accomazzi, Alberto; Grant, Carolyn S.; Kurtz, Michael J.; Henneken, Edwin A.; Thompson, Donna M.; Murray, Stephen S.
2005-01-01
The NASA-ADS Abstract Service provides a sophisticated search capability for the literature in Astronomy, Planetary Sciences, Physics/Geophysics, and Space Instrumentation. The ADS is funded by NASA and access to the ADS services is free to anybody world-wide without restrictions. It allows the user to search the literature by author, title, and abstract text.
Interpreting Abstract Interpretations in Membership Equational Logic
NASA Technical Reports Server (NTRS)
Fischer, Bernd; Rosu, Grigore
2001-01-01
We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations "for free." Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks and abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specified loss of information during abstraction, and to compare different abstractions with each other.
Tour the Galaxy of the Abstract.
ERIC Educational Resources Information Center
Kennedy, Patricia
2003-01-01
Describes an abstract art unit in which students in an introductory art course created abstract art inspired by the work of M. C. Escher. Explains that some students are unsure of their drawing ability. States this unit helps them overcome their fears. (CMK)
Some Call It Stone: Teaching Abstract Sculpture
ERIC Educational Resources Information Center
Asher, Rikki
2004-01-01
Abstract visual art is not for everybody. Some people find it threatening, uncomfortable, and often, inaccessible. Understandably, this can result in a lack of attention paid to nonrepresentational works of art in the visual arts curriculum. This article describes an experiential, hands-on, field trip that sought to demystify abstract sculpture,…
Third LDEF Post-Retrieval Symposium Abstracts
NASA Technical Reports Server (NTRS)
Levine, Arlene S. (Compiler)
1993-01-01
This volume is a compilation of abstracts submitted to the Third Long Duration Exposure Facility (LDEF) Post-Retrieval Symposium. The abstracts represent the data analysis of the 57 experiments flown on the LDEF. The experiments include materials, coatings, thermal systems, power and propulsion, science (cosmic ray, interstellar gas, heavy ions, micrometeoroid, etc.), electronics, optics, and life science.
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…
Romanian Scientific Abstracts, Volume 10 Number 1.
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 problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 10 Number 6.
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 problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 10 Number 4.
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 problems and is provided with an index and with key-words. The entries are recorded in numeric sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 10 Number 5.
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 problems and is provided with an index and with key-words. The entries are recorded in numeric sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 9 Number 11.
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 problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 9 Number 12.
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 problems and is provided with an index and with key-words. T8e entries are recorded in numerical sequence. The December issue includes a subject index for the material included…
Romanian Scientific Abstracts, Volume 10 Number 2.
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 problems and is provided with an index and with key-words. T entries are recorded in numerical sequence. The December issue includes a subject index for the material included…
Youth Studies Abstracts. Vol. 4 No. 1.
ERIC Educational Resources Information Center
Youth Studies Abstracts, 1985
1985-01-01
This volume contains abstracts of 76 projects (most of which were conducted in Australia and New Zealand) concerned with programs for youth and with social and educational developments affecting youth. The abstracts are arranged in the following two categories: (1) Social and Educational Developments: Policy, Analysis, Research; and (2) Programs:…
Interactional Metadiscourse in Research Article Abstracts
ERIC Educational Resources Information Center
Gillaerts, Paul; Van de Velde, Freek
2010-01-01
This paper deals with interpersonality in research article abstracts analysed in terms of interactional metadiscourse. The evolution in the distribution of three prominent interactional markers comprised in Hyland's (2005a) model, viz. hedges, boosters and attitude markers, is investigated in three decades of abstract writing in the field of…
Writing Abstracts for Free-Text Searching.
ERIC Educational Resources Information Center
Fidel, Raya
1986-01-01
This study surveyed abstracting policies and guidelines used by producers of bibliographic databases that aim to enhance free-text retrieval. Results indicate editors consider content of abstracts and their language as primary factors in retrieval enhancement. Most recommend that concepts and form be coordinated with controlled vocabulary…
A Microfilm Index to "Chemical Abstracts"
ERIC Educational Resources Information Center
Robinson, F.
1973-01-01
To improve access to the recent Chemical Abstracts,'' a cumulative quarterly index, based on the keyword phrases, has been produced in microfilm form. The index is available soon after the end of each quarter. Abstract titles are included in the index, thus increasing its value as a working tool. (4 references) (Author/SJ)