Moral Concepts Set Decision Strategies to Abstract Values

Science.gov (United States)

Caspers, Svenja; Heim, Stefan; Lucas, Marc G.; Stephan, Egon; Fischer, Lorenz; Amunts, Katrin; Zilles, Karl

2011-01-01

Persons have different value preferences. Neuroimaging studies where value-based decisions in actual conflict situations were investigated suggest an important role of prefrontal and cingulate brain regions. General preferences, however, reflect a superordinate moral concept independent of actual situations as proposed in psychological and socioeconomic research. Here, the specific brain response would be influenced by abstract value systems and moral concepts. The neurobiological mechanisms underlying such responses are largely unknown. Using functional magnetic resonance imaging (fMRI) with a forced-choice paradigm on word pairs representing abstract values, we show that the brain handles such decisions depending on the person's superordinate moral concept. Persons with a predominant collectivistic (altruistic) value system applied a “balancing and weighing” strategy, recruiting brain regions of rostral inferior and intraparietal, and midcingulate and frontal cortex. Conversely, subjects with mainly individualistic (egocentric) value preferences applied a “fight-and-flight” strategy by recruiting the left amygdala. Finally, if subjects experience a value conflict when rejecting an alternative congruent to their own predominant value preference, comparable brain regions are activated as found in actual moral dilemma situations, i.e., midcingulate and dorsolateral prefrontal cortex. Our results demonstrate that superordinate moral concepts influence the strategy and the neural mechanisms in decision processes, independent of actual situations, showing that decisions are based on general neural principles. These findings provide a novel perspective to future sociological and economic research as well as to the analysis of social relations by focusing on abstract value systems as triggers of specific brain responses. PMID:21483767

Abstraction and art.

Science.gov (United States)

Gortais, Bernard

2003-07-29

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.

Completeness of Lyapunov Abstraction

DEFF Research Database (Denmark)

Wisniewski, Rafal; Sloth, Christoffer

2013-01-01

the vector field, which allows the generation of a complete abstraction. To compute the functions that define the subdivision of the state space in an algorithm, we formulate a sum of squares optimization problem. This optimization problem finds the best subdivisioning functions, with respect to the ability......This paper addresses the generation of complete abstractions of polynomial dynamical systems by timed automata. For the proposed abstraction, the state space is divided into cells by sublevel sets of functions. We identify a relation between these functions and their directional derivatives along...

Metaphor: Bridging embodiment to abstraction.

Science.gov (United States)

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.

Technical abstracts: Mechanical engineering, 1990

International Nuclear Information System (INIS)

Broesius, J.Y.

1991-01-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

The triconnected abstraction of process models

OpenAIRE

Polyvyanyy, Artem; Smirnov, Sergey; Weske, Mathias

2009-01-01

Contents: Artem Polyvanny, Sergey Smirnow, and Mathias Weske The Triconnected Abstraction of Process Models 1 Introduction 2 Business Process Model Abstraction 3 Preliminaries 4 Triconnected Decomposition 4.1 Basic Approach for Process Component Discovery 4.2 SPQR-Tree Decomposition 4.3 SPQR-Tree Fragments in the Context of Process Models 5 Triconnected Abstraction 5.1 Abstraction Rules 5.2 Abstraction Algorithm 6 Related Work and Conclusions

A Modal-Logic Based Graph Abstraction

NARCIS (Netherlands)

Bauer, J.; Boneva, I.B.; Kurban, M.E.; Rensink, Arend; Ehrig, H; Heckel, R.; Rozenberg, G.; Taentzer, G.

2008-01-01

Infinite or very large state spaces often prohibit the successful verification of graph transformation systems. Abstract graph transformation is an approach that tackles this problem by abstracting graphs to abstract graphs of bounded size and by lifting application of productions to abstract

Seismic Consequence Abstraction

International Nuclear Information System (INIS)

Gross, M.

2004-01-01

The primary purpose of this model report is to develop abstractions for the response of engineered barrier system (EBS) components to seismic hazards at a geologic repository at Yucca Mountain, Nevada, and to define the methodology for using these abstractions in a seismic scenario class for the Total System Performance Assessment - License Application (TSPA-LA). A secondary purpose of this model report is to provide information for criticality studies related to seismic hazards. The seismic hazards addressed herein are vibratory ground motion, fault displacement, and rockfall due to ground motion. The EBS components are the drip shield, the waste package, and the fuel cladding. The requirements for development of the abstractions and the associated algorithms for the seismic scenario class are defined in ''Technical Work Plan For: Regulatory Integration Modeling of Drift Degradation, Waste Package and Drip Shield Vibratory Motion and Seismic Consequences'' (BSC 2004 [DIRS 171520]). The development of these abstractions will provide a more complete representation of flow into and transport from the EBS under disruptive events. The results from this development will also address portions of integrated subissue ENG2, Mechanical Disruption of Engineered Barriers, including the acceptance criteria for this subissue defined in Section 2.2.1.3.2.3 of the ''Yucca Mountain Review Plan, Final Report'' (NRC 2003 [DIRS 163274])

Seismic Consequence Abstraction

Energy Technology Data Exchange (ETDEWEB)

M. Gross

2004-10-25

The primary purpose of this model report is to develop abstractions for the response of engineered barrier system (EBS) components to seismic hazards at a geologic repository at Yucca Mountain, Nevada, and to define the methodology for using these abstractions in a seismic scenario class for the Total System Performance Assessment - License Application (TSPA-LA). A secondary purpose of this model report is to provide information for criticality studies related to seismic hazards. The seismic hazards addressed herein are vibratory ground motion, fault displacement, and rockfall due to ground motion. The EBS components are the drip shield, the waste package, and the fuel cladding. The requirements for development of the abstractions and the associated algorithms for the seismic scenario class are defined in ''Technical Work Plan For: Regulatory Integration Modeling of Drift Degradation, Waste Package and Drip Shield Vibratory Motion and Seismic Consequences'' (BSC 2004 [DIRS 171520]). The development of these abstractions will provide a more complete representation of flow into and transport from the EBS under disruptive events. The results from this development will also address portions of integrated subissue ENG2, Mechanical Disruption of Engineered Barriers, including the acceptance criteria for this subissue defined in Section 2.2.1.3.2.3 of the ''Yucca Mountain Review Plan, Final Report'' (NRC 2003 [DIRS 163274]).

Modal abstractions of concurrent behavior

DEFF Research Database (Denmark)

Nielson, Flemming; Nanz, Sebastian; Nielson, Hanne Riis

2011-01-01

We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking because they allow for the validation as well...... as refutation of safety and liveness properties. However, the algorithmic construction of finite abstractions from potentially infinite concurrent processes is a missing link that prevents their more widespread usage for model checking of concurrent systems. Our algorithm is a worklist algorithm using concepts...... from abstract interpretation and operating upon mappings from sets to intervals in order to express simultaneous over- and underapprox-imations of the multisets of process actions available in a particular state. We obtain a finite abstraction that is 3-valued in both states and transitions...

The deleuzian abstract machines

DEFF Research Database (Denmark)

Werner Petersen, Erik

2005-01-01

To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...

Typesafe Abstractions for Tensor Operations

OpenAIRE

Chen, Tongfei

2017-01-01

We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural layers such as convolution or recurrent neural networks. This abstraction could lay the foundation of future typesafe deep learning frameworks that runs on Scala/JVM.

Inventory Abstraction

International Nuclear Information System (INIS)

Leigh, C.

2000-01-01

The purpose of the inventory abstraction as directed by the development plan (CRWMS M and O 1999b) is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M and O 1999c, 1999d). (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) (NRC 1999) 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'' (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 accessible environment. The inventory abstraction is important in assessing system performance because

Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

Energy Technology Data Exchange (ETDEWEB)

Anon.

2000-07-01

This issue of the journal contains the abstracts of the 183 conference papers as well as 266 posters presented at the conference. Subject fields covered are: Neurology, psychology, oncology, pediatrics, radiopharmacy, endocrinology, EDP, measuring equipment and methods, radiological protection, cardiology, and therapy. (orig./CB) [German] Die vorliegende Zeitschrift enthaelt die Kurzfassungen der 183 auf der Tagung gehaltenen Vortraege sowie der 226 praesentierten Poster, die sich mit den folgenden Themen befassten: Neurologie, Psychiatrie, Onkologie, Paediatrie, Radiopharmazie, Endokrinologie, EDV, Messtechnik, Strahlenschutz, Kardiologie sowie Therapie. (MG)

Mechanical Engineering Department technical abstracts

International Nuclear Information System (INIS)

Denney, R.M.

1982-01-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

Constraint-Based Abstract Semantics for Temporal Logic

DEFF Research Database (Denmark)

Banda, Gourinath; Gallagher, John Patrick

2010-01-01

Abstract interpretation provides a practical approach to verifying properties of infinite-state systems. We apply the framework of abstract interpretation to derive an abstract semantic function for the modal mu-calculus, which is the basis for abstract model checking. The abstract semantic funct...

EBS Radionuclide Transport Abstraction

International Nuclear Information System (INIS)

Schreiner, R.

2001-01-01

The purpose of this work is to develop the Engineered Barrier System (EBS) radionuclide transport abstraction model, as directed by a written development plan (CRWMS M and O 1999a). This abstraction is the conceptual model that will be used to determine the rate of release of radionuclides from the EBS to the unsaturated zone (UZ) in the total system performance assessment-license application (TSPA-LA). In particular, this model will be used to quantify the time-dependent radionuclide releases from a failed waste package (WP) and their subsequent transport through the EBS to the emplacement drift wall/UZ interface. The development of this conceptual model will allow Performance Assessment Operations (PAO) and its Engineered Barrier Performance Department to provide a more detailed and complete EBS flow and transport abstraction. The results from this conceptual model will allow PA0 to address portions of the key technical issues (KTIs) presented in three NRC Issue Resolution Status Reports (IRSRs): (1) the Evolution of the Near-Field Environment (ENFE), Revision 2 (NRC 1999a), (2) the Container Life and Source Term (CLST), Revision 2 (NRC 1999b), and (3) the Thermal Effects on Flow (TEF), Revision 1 (NRC 1998). The conceptual model for flow and transport in the EBS will be referred to as the ''EBS RT Abstraction'' in this analysis/modeling report (AMR). The scope of this abstraction and report is limited to flow and transport processes. More specifically, this AMR does not discuss elements of the TSPA-SR and TSPA-LA that relate to the EBS but are discussed in other AMRs. These elements include corrosion processes, radionuclide solubility limits, waste form dissolution rates and concentrations of colloidal particles that are generally represented as boundary conditions or input parameters for the EBS RT Abstraction. In effect, this AMR provides the algorithms for transporting radionuclides using the flow geometry and radionuclide concentrations determined by other

Article Abstract

African Journals Online (AJOL)

Abstract. Simple learning tools to improve clinical laboratory practical skills training. B Taye, BSc, MPH. Addis Ababa University, College of Health Sciences, Addis Ababa, ... concerns about the competence of medical laboratory science graduates. ... standardised practical learning guides and assessment checklists would.

Water Pollution Abstracts. Volume 43, Number 4, Abstracts 645-849.

Science.gov (United States)

WATER POLLUTION, *ABSTRACTS, PURIFICATION, WASTES(INDUSTRIAL), CONTROL, SEWAGE, WATER SUPPLIES, PUBLIC HEALTH, PETROLEUM PRODUCTS, DEGRADATION, DAMS...ESTUARIES, PLANKTON, PHOTOSYNTHESIS, VIRUSES, SEA WATER , MICROBIOLOGY, UNITED KINGDOM.

INVENTORY ABSTRACTION

International Nuclear Information System (INIS)

Ragan, G.

2001-01-01

The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M andO 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 andO 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

Data Abstraction in GLISP.

Science.gov (United States)

Novak, Gordon S., Jr.

GLISP is a high-level computer language (based on Lisp and including Lisp as a sublanguage) which is compiled into Lisp. GLISP programs are compiled relative to a knowledge base of object descriptions, a form of abstract datatypes. A primary goal of the use of abstract datatypes in GLISP is to allow program code to be written in terms of objects,…

Knowledge acquisition for temporal abstraction.

Science.gov (United States)

Stein, A; Musen, M A; Shahar, Y

1996-01-01

Temporal abstraction is the task of detecting relevant patterns in data over time. The knowledge-based temporal-abstraction method uses knowledge about a clinical domain's contexts, external events, and parameters to create meaningful interval-based abstractions from raw time-stamped clinical data. In this paper, we describe the acquisition and maintenance of domain-specific temporal-abstraction knowledge. Using the PROTEGE-II framework, we have designed a graphical tool for acquiring temporal knowledge directly from expert physicians, maintaining the knowledge in a sharable form, and converting the knowledge into a suitable format for use by an appropriate problem-solving method. In initial tests, the tool offered significant gains in our ability to rapidly acquire temporal knowledge and to use that knowledge to perform automated temporal reasoning.

Nuclear code abstracts (1975 edition)

International Nuclear Information System (INIS)

Akanuma, Makoto; Hirakawa, Takashi

1976-02-01

Nuclear Code Abstracts is compiled in the Nuclear Code Committee to exchange information of the nuclear code developments among members of the committee. Enlarging the collection, the present one includes nuclear code abstracts obtained in 1975 through liaison officers of the organizations in Japan participating in the Nuclear Energy Agency's Computer Program Library at Ispra, Italy. The classification of nuclear codes and the format of code abstracts are the same as those in the library. (auth.)

Abstract Interpretation and Attribute Gramars

DEFF Research Database (Denmark)

Rosendahl, Mads

The objective of this thesis is to explore the connections between abstract interpretation and attribute grammars as frameworks in program analysis. Abstract interpretation is a semantics-based program analysis method. A large class of data flow analysis problems can be expressed as non-standard ...... is presented in the thesis. Methods from abstract interpretation can also be used in correctness proofs of attribute grammars. This proof technique introduces a new class of attribute grammars based on domain theory. This method is illustrated with examples....

Is the Abstract a Mere Teaser? Evaluating Generosity of Article Abstracts in the Environmental Sciences

Directory of Open Access Journals (Sweden)

Liana Ermakova

2018-05-01

Full Text Available An abstract is not only a mirror of the full article; it also aims to draw attention to the most important information of the document it summarizes. Many studies have compared abstracts with full texts for their informativeness. In contrast to previous studies, we propose to investigate this relation based not only on the amount of information given by the abstract but also on its importance. The main objective of this paper is to introduce a new metric called GEM to measure the “generosity” or representativeness of an abstract. Schematically speaking, a generous abstract should have the best possible score of similarity for the sections important to the reader. Based on a questionnaire gathering information from 630 researchers, we were able to weight sections according to their importance. In our approach, seven sections were first automatically detected in the full text. The accuracy of this classification into sections was above 80% compared with a dataset of documents where sentences were assigned to sections by experts. Second, each section was weighted according to the questionnaire results. The GEM score was then calculated as a sum of weights of sections in the full text corresponding to sentences in the abstract normalized over the total sum of weights of sections in the full text. The correlation between GEM score and the mean of the scores assigned by annotators was higher than the correlation between scores from different experts. As a case study, the GEM score was calculated for 36,237 articles in environmental sciences (1930–2013 retrieved from the French ISTEX database. The main result was that GEM score has increased over time. Moreover, this trend depends on subject area and publisher. No correlation was found between GEM score and citation rate or open access status of articles. We conclude that abstracts are more generous in recent publications and cannot be considered as mere teasers. This research should be pursued

Efficient abstraction selection in reinforcement learning

NARCIS (Netherlands)

Seijen, H. van; Whiteson, S.; Kester, L.

2013-01-01

This paper introduces a novel approach for abstraction selection in reinforcement learning problems modelled as factored Markov decision processes (MDPs), for which a state is described via a set of state components. In abstraction selection, an agent must choose an abstraction from a set of

Indico CONFERENCE: Define the Call for Abstracts

CERN Multimedia

CERN. Geneva; Ferreira, Pedro

2017-01-01

In this tutorial, you will learn how to define and open a call for abstracts. When defining a call for abstracts, you will be able to define settings related to the type of questions asked during a review of an abstract, select the users who will review the abstracts, decide when to open the call for abstracts, and more.

Introduction to abstract algebra, solutions manual

CERN Document Server

Nicholson, W Keith

2012-01-01

Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be

Abstracts of contributed papers

Energy Technology Data Exchange (ETDEWEB)

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.

Disciplinarity and sport science in Europe: A statistical and sociological study of ECSS conference abstracts.

Science.gov (United States)

Champely, Stéphane; Fargier, Patrick; Camy, Jean

2017-02-01

Abstracts of European College of Sports Science conferences (1995-2014) are studied. The number of abstracts has been increasing regularly (+90 per year). This rise is in recent years largely due to extra-European countries. The magnitude and accumulation of the different topics of discussion are examined. An operational criterion determines four stages of evolution of a topic: social network, cluster, specialty, and discipline. The scientific production can, therefore, be classified as disciplinary or non-disciplinary. The disciplinary part is more important but has been less dynamic recently. The cognitive content of sport science is then explored through a multidimensional scaling of the topics based on the keywords used in the abstracts. Three areas are visible: social sciences and humanities, sports medicine and physiology, and biomechanics and neurophysiology. According to the field theory of Bourdieu ( 1975 ), three scientific habitus are distinguished. The logic of academic disciplinary excellence is the consequence of the autonomy of this scientific field, its closure, peer-review process, and barriers to entry. The distribution of scientific capital and professional capital is unequal across the three areas. Basically, conservation strategies of academic disciplinary excellence are predicted in biomechanics and neurophysiology, subversion strategies of interdisciplinarity based on professional concerns can appear in the sports medicine and physiology area, and critical strategies of interdisciplinarity based on social utility in social sciences and humanities. Moreover, additional tensions within these areas are depicted. Lastly methods based on co-citations of disciplines and boundary objects are proposed to find tangible patterns of multidisciplinarity confirming these strategies.

Advance Organizers: Concret Versus Abstract.

Science.gov (United States)

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)

Automata Learning through Counterexample Guided Abstraction Refinement

DEFF Research Database (Denmark)

Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

2012-01-01

to a small set of abstract events that can be handled by automata learning tools. In this article, we show how such abstractions can be constructed fully automatically for a restricted class of extended finite state machines in which one can test for equality of data parameters, but no operations on data...... are allowed. Our approach uses counterexample-guided abstraction refinement: whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using Tomte, a prototype tool implementing our algorithm, we have succeeded to learn – fully......Abstraction is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct models of software components, researchers manually define abstractions which, depending on the history, map a large set of concrete events...

Analysis of complex networks using aggressive abstraction.

Energy Technology Data Exchange (ETDEWEB)

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.

Argonne Code Center: compilation of program abstracts

Energy Technology Data Exchange (ETDEWEB)

Butler, M.K.; DeBruler, M.; Edwards, H.S.

1976-08-01

This publication is the tenth supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the document are as follows: preface; history and acknowledgements; abstract format; recommended program package contents; program classification guide and thesaurus; and abstract collection. (RWR)

Argonne Code Center: compilation of program abstracts

International Nuclear Information System (INIS)

Butler, M.K.; DeBruler, M.; Edwards, H.S.

1976-08-01

This publication is the tenth supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the document are as follows: preface; history and acknowledgements; abstract format; recommended program package contents; program classification guide and thesaurus; and abstract collection

Abstraction by Set-Membership

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander

2010-01-01

The abstraction and over-approximation of protocols and web services by a set of Horn clauses is a very successful method in practice. It has however limitations for protocols and web services that are based on databases of keys, contracts, or even access rights, where revocation is possible, so...... that the set of true facts does not monotonically grow with the transitions. We extend the scope of these over-approximation methods by defining a new way of abstraction that can handle such databases, and we formally prove that the abstraction is sound. We realize a translator from a convenient specification...... language to standard Horn clauses and use the verifier ProVerif and the theorem prover SPASS to solve them. We show by a number of examples that this approach is practically feasible for wide variety of verification problems of security protocols and web services....

Abstract Objects of Verbs

DEFF Research Database (Denmark)

Robering, Klaus

2014-01-01

Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which these obj......Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... these objects represent non-objectual entities in contexts from which they are excluded by type restrictions. Thus these objects are "abstract'' in a functional rather than in an ontological sense: they function as representatives of other entities but they are otherwise quite normal objects. Three examples...

Argonne Code Center: compilation of program abstracts

Energy Technology Data Exchange (ETDEWEB)

Butler, M.K.; DeBruler, M.; Edwards, H.S.; Harrison, C. Jr.; Hughes, C.E.; Jorgensen, R.; Legan, M.; Menozzi, T.; Ranzini, L.; Strecok, A.J.

1977-08-01

This publication is the eleventh supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the complete document ANL-7411 are as follows: preface, history and acknowledgements, abstract format, recommended program package contents, program classification guide and thesaurus, and the abstract collection. (RWR)

Argonne Code Center: compilation of program abstracts

International Nuclear Information System (INIS)

Butler, M.K.; DeBruler, M.; Edwards, H.S.; Harrison, C. Jr.; Hughes, C.E.; Jorgensen, R.; Legan, M.; Menozzi, T.; Ranzini, L.; Strecok, A.J.

1977-08-01

This publication is the eleventh supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the complete document ANL-7411 are as follows: preface, history and acknowledgements, abstract format, recommended program package contents, program classification guide and thesaurus, and the abstract collection

Abstract concepts in grounded cognition

NARCIS (Netherlands)

Lakens, D.

2010-01-01

When people think about highly abstract concepts, they draw upon concrete experiences to structure their thoughts. For example, black knights in fairytales are evil, and knights in shining armor are good. The sensory experiences black and white are used to represent the abstract concepts of good and

Ghana Science Abstracts

International Nuclear Information System (INIS)

Entsua-Mensah, C.

2004-01-01

This issue of the Ghana Science Abstracts combines in one publication all the country's bibliographic output in science and technology. The objective is to provide a quick reference source to facilitate the work of information professionals, research scientists, lecturers and policy makers. It is meant to give users an idea of the depth and scope and results of the studies and projects carried out. The scope and coverage comprise research outputs, conference proceedings and periodical articles published in Ghana. It does not capture those that were published outside Ghana. Abstracts reported have been grouped under the following subject areas: Agriculture, Biochemistry, Biodiversity conservation, biological sciences, biotechnology, chemistry, dentistry, engineering, environmental management, forestry, information management, mathematics, medicine, physics, nuclear science, pharmacy, renewable energy and science education

Building Safe Concurrency Abstractions

DEFF Research Database (Denmark)

Madsen, Ole Lehrmann

2014-01-01

Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized into the no......Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized...

Hydrogen abstraction reactions by amide electron adducts

International Nuclear Information System (INIS)

Sevilla, M.D.; Sevilla, C.L.; Swarts, S.

1982-01-01

Electron reactions with a number of peptide model compounds (amides and N-acetylamino acids) in aqueous glasses at low temperature have been investigated using ESR spectroscopy. The radicals produced by electron attachment to amides, RC(OD)NDR', are found to act as hydrogen abstracting agents. For example, the propionamide electron adduct is found to abstract from its parent propionamide. Electron adducts of other amides investigated show similar behavior except for acetamide electron adduct which does not abstract from its parent compound, but does abstract from other amides. The tendency toward abstraction for amide electron adducts are compared to electron adducts of several carboxylic acids, ketones, aldehydes and esters. The comparison suggests the hydrogen abstraction tendency of the various deuterated electron adducts (DEAs) to be in the following order: aldehyde DEA > acid DEA = approximately ester DEA > ketone DEA > amide DEA. In basic glasses the hydrogen abstraction ability of the amide electron adducts is maintained until the concentration of base is increased sufficiently to convert the DEA to its anionic form, RC(O - )ND 2 . In this form the hydrogen abstracting ability of the radical is greatly diminished. Similar results were found for the ester and carboxylic acid DEA's tested. (author)

Minimalism in architecture: Abstract conceptualization of architecture

Directory of Open Access Journals (Sweden)

Vasilski Dragana

2015-01-01

Full Text Available Minimalism in architecture contains the idea of the minimum as a leading creative tend to be considered and interpreted in working through phenomena of empathy and abstraction. In the Western culture, the root of this idea is found in empathy of Wilhelm Worringer and abstraction of Kasimir Malevich. In his dissertation, 'Abstraction and Empathy' Worringer presented his thesis on the psychology of style through which he explained the two opposing basic forms: abstraction and empathy. His conclusion on empathy as a psychological basis of observation expression is significant due to the verbal congruence with contemporary minimalist expression. His intuition was enhenced furthermore by figure of Malevich. Abstraction, as an expression of inner unfettered inspiration, has played a crucial role in the development of modern art and architecture of the twentieth century. Abstraction, which is one of the basic methods of learning in psychology (separating relevant from irrelevant features, Carl Jung is used to discover ideas. Minimalism in architecture emphasizes the level of abstraction to which the individual functions are reduced. Different types of abstraction are present: in the form as well as function of the basic elements: walls and windows. The case study is an example of Sou Fujimoto who is unequivocal in its commitment to the autonomy of abstract conceptualization of architecture.

Abstracts of lectures presented at the XX annual meeting of the Spanish Nuclear Society

International Nuclear Information System (INIS)

1994-01-01

The abstracts of lectures are contained in this issue. The lectures are distributed in 18 sessions: 1) Advanced nuclear power plants. 2) Quality control. 3) Nuclear Safety. 4) Engineering. 5) Radioactive Wastes. 6) Emergency plans. 7) Inspection in service. 8) Radiation protection. 9) Probabilistic safety analysis. 10) Fusion nuclear energy. 11) Severe accidents. 12) Nuclear fuels. 13) Steam generators. 14) Environmental aspects. 15) Training and human resources. 16) Decommissioning of under installations. 17) Economic, sociological an juristic aspects. 18) European Est countries experiences

The Complexity of Abstract Machines

Directory of Open Access Journals (Sweden)

Beniamino Accattoli

2017-01-01

Full Text Available The lambda-calculus is a peculiar computational model whose definition does not come with a notion of machine. Unsurprisingly, implementations of the lambda-calculus have been studied for decades. Abstract machines are implementations schema for fixed evaluation strategies that are a compromise between theory and practice: they are concrete enough to provide a notion of machine and abstract enough to avoid the many intricacies of actual implementations. There is an extensive literature about abstract machines for the lambda-calculus, and yet—quite mysteriously—the efficiency of these machines with respect to the strategy that they implement has almost never been studied. This paper provides an unusual introduction to abstract machines, based on the complexity of their overhead with respect to the length of the implemented strategies. It is conceived to be a tutorial, focusing on the case study of implementing the weak head (call-by-name strategy, and yet it is an original re-elaboration of known results. Moreover, some of the observation contained here never appeared in print before.

Abstraction of man-made shapes

KAUST Repository

Mehra, Ravish; Zhou, Qingnan; Long, Jeremy; Sheffer, Alla; Gooch, Amy Ashurst; Mitra, Niloy J.

2009-01-01

Man-made objects are ubiquitous in the real world and in virtual environments. While such objects can be very detailed, capturing every small feature, they are often identified and characterized by a small set of defining curves. Compact, abstracted shape descriptions based on such curves are often visually more appealing than the original models, which can appear to be visually cluttered. We introduce a novel algorithm for abstracting three-dimensional geometric models using characteristic curves or contours as building blocks for the abstraction. Our method robustly handles models with poor connectivity, including the extreme cases of polygon soups, common in models of man-made objects taken from online repositories. In our algorithm, we use a two-step procedure that first approximates the input model using a manifold, closed envelope surface and then extracts from it a hierarchical abstraction curve network along with suitable normal information. The constructed curve networks form a compact, yet powerful, representation for the input shapes, retaining their key shape characteristics while discarding minor details and irregularities. © 2009 ACM.

Scientific meeting abstracts

International Nuclear Information System (INIS)

1999-01-01

The document is a collection of the scientific meeting abstracts in the fields of nuclear physics, medical sciences, chemistry, agriculture, environment, engineering, different aspects of energy and presents research done in 1999 in these fields

Abstract Objects of Verbs

DEFF Research Database (Denmark)

2014-01-01

Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... these objects represent non-objectual entities in contexts from which they are excluded by type restrictions. Thus these objects are "abstract'' in a functional rather than in an ontological sense: they function as representatives of other entities but they are otherwise quite normal objects. Three examples...

Evaluating Data Abstraction Assistant, a novel software application for data abstraction during systematic reviews: protocol for a randomized controlled trial

Directory of Open Access Journals (Sweden)

Ian J. Saldanha

2016-11-01

Full Text Available Abstract Background Data abstraction, a critical systematic review step, is time-consuming and prone to errors. Current standards for approaches to data abstraction rest on a weak evidence base. We developed the Data Abstraction Assistant (DAA, a novel software application designed to facilitate the abstraction process by allowing users to (1 view study article PDFs juxtaposed to electronic data abstraction forms linked to a data abstraction system, (2 highlight (or “pin” the location of the text in the PDF, and (3 copy relevant text from the PDF into the form. We describe the design of a randomized controlled trial (RCT that compares the relative effectiveness of (A DAA-facilitated single abstraction plus verification by a second person, (B traditional (non-DAA-facilitated single abstraction plus verification by a second person, and (C traditional independent dual abstraction plus adjudication to ascertain the accuracy and efficiency of abstraction. Methods This is an online, randomized, three-arm, crossover trial. We will enroll 24 pairs of abstractors (i.e., sample size is 48 participants, each pair comprising one less and one more experienced abstractor. Pairs will be randomized to abstract data from six articles, two under each of the three approaches. Abstractors will complete pre-tested data abstraction forms using the Systematic Review Data Repository (SRDR, an online data abstraction system. The primary outcomes are (1 proportion of data items abstracted that constitute an error (compared with an answer key and (2 total time taken to complete abstraction (by two abstractors in the pair, including verification and/or adjudication. Discussion The DAA trial uses a practical design to test a novel software application as a tool to help improve the accuracy and efficiency of the data abstraction process during systematic reviews. Findings from the DAA trial will provide much-needed evidence to strengthen current recommendations for data

Abstract Spatial Reasoning as an Autistic Strength

Science.gov (United States)

Stevenson, Jennifer L.; Gernsbacher, Morton Ann

2013-01-01

Autistic individuals typically excel on spatial tests that measure abstract reasoning, such as the Block Design subtest on intelligence test batteries and the Raven’s Progressive Matrices nonverbal test of intelligence. Such well-replicated findings suggest that abstract spatial processing is a relative and perhaps absolute strength of autistic individuals. However, previous studies have not systematically varied reasoning level – concrete vs. abstract – and test domain – spatial vs. numerical vs. verbal, which the current study did. Autistic participants (N = 72) and non-autistic participants (N = 72) completed a battery of 12 tests that varied by reasoning level (concrete vs. abstract) and domain (spatial vs. numerical vs. verbal). Autistic participants outperformed non-autistic participants on abstract spatial tests. Non-autistic participants did not outperform autistic participants on any of the three domains (spatial, numerical, and verbal) or at either of the two reasoning levels (concrete and abstract), suggesting similarity in abilities between autistic and non-autistic individuals, with abstract spatial reasoning as an autistic strength. PMID:23533615

Science meeting. Abstracts

International Nuclear Information System (INIS)

2000-01-01

the document is a collection of the science meeting abstracts in the fields of nuclear physics, medical sciences, chemistry, agriculture, environment, engineering, material sciences different aspects of energy and presents research done in 2000 in these fields

National fuel cell seminar. Program and abstracts. [Abstracts of 40 papers

Energy Technology Data Exchange (ETDEWEB)

None

1977-01-01

Abstracts of 40 papers are presented. Topics include fuel cell systems, phosphoric acid fuel cells, molten carbonate fuel cells, solid fuel and solid electrolyte fuel cells, low temperature fuel cells, and fuel utilization. (WHK)

Construct Abstraction for Automatic Information Abstraction from Digital Images

Science.gov (United States)

2006-05-30

objects and features and the names of objects of objects and features. For example, in Figure 15 the parts of the fish could be named the ‘mouth... fish -1 fish -2 fish -3 tennis shoe tennis racquet...of abstraction and generality. For example, an algorithm might usefully find a polygon ( blob ) in an image and calculate numbers such as the

Abstract methods in partial differential equations

CERN Document Server

Carroll, Robert W

2012-01-01

Detailed, self-contained treatment examines modern abstract methods in partial differential equations, especially abstract evolution equations. Suitable for graduate students with some previous exposure to classical partial differential equations. 1969 edition.

Mechanical Engineering Department technical abstracts

International Nuclear Information System (INIS)

1984-01-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

Interdisciplinary perspectives on abstracts for information retrieval

Directory of Open Access Journals (Sweden)

Soon Keng Chan

2004-10-01

Full Text Available The paper examines the abstract genre from the perspectives of English for Specific Purposes (ESP practitioners and information professionals. It aims to determine specific interdisciplinary interests in the abstract, and to explore areas of collaboration in terms of research and pedagogical practices. A focus group (FG comprising information professionals from the Division of Information Studies, Nanyang Technological University, Singapore, convened for a discussion on the subject of abstracts and abstracting. Two major issues that have significant implications for ESP practices emerged during the discussion. While differences in terms of approach to and objectives of the abstract genre are apparent between information professionals and language professionals, the demands for specific cognitive processes involved in abstracting proved to be similar. This area of similarity provides grounds for awareness raising and collaboration between the two disciplines. While ESP practitioners need to consider adding the dimension of information science to the rhetorical and linguistic scaffolding that they have been providing to novice-writers, information professionals can contribute useful insights about the qualities of abstracts that have the greatest impact in meeting the end-users' needs in information search.

Annual Conference Abstracts

Science.gov (United States)

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…

Abstracts

Institute of Scientific and Technical Information of China (English)

2017-01-01

Supplementary Short Board: Orderly Cultivate Housing Leasing Market WANG Guangtao (Former Minister of Ministry of Construction) Abstract: In December 2016, Central Economic Work Conference proposed that to promote the steady and healthy development of the real estate market, it should adhere to the “house is used to live, not used to speculate” position. At present, the development of housing leasing market in China is lagging behind. It is urgent to improve the housing conditions of large cities and promote the urbanization of small and medium-sized cities. Therefore, it is imperative to innovate and supplement the short board to accelerate the development of housing leasing market.

Abstracting audit data for lightweight intrusion detection

KAUST Repository

Wang, Wei

2010-01-01

High speed of processing massive audit data is crucial for an anomaly Intrusion Detection System (IDS) to achieve real-time performance during the detection. Abstracting audit data is a potential solution to improve the efficiency of data processing. In this work, we propose two strategies of data abstraction in order to build a lightweight detection model. The first strategy is exemplar extraction and the second is attribute abstraction. Two clustering algorithms, Affinity Propagation (AP) as well as traditional k-means, are employed to extract the exemplars, and Principal Component Analysis (PCA) is employed to abstract important attributes (a.k.a. features) from the audit data. Real HTTP traffic data collected in our institute as well as KDD 1999 data are used to validate the two strategies of data abstraction. The extensive test results show that the process of exemplar extraction significantly improves the detection efficiency and has a better detection performance than PCA in data abstraction. © 2010 Springer-Verlag.

Beyond the abstractions?

DEFF Research Database (Denmark)

Olesen, Henning Salling

2006-01-01

  The anniversary of the International Journal of Lifelong Education takes place in the middle of a conceptual landslide from lifelong education to lifelong learning. Contemporary discourses of lifelong learning etc are however abstractions behind which new functions and agendas for adult education...

Monadic abstract interpreters

DEFF Research Database (Denmark)

Sergey, Ilya; Devriese, Dominique; Might, Matthew

2013-01-01

to instrument an analysis with high-level strategies for improving precision and performance, such as abstract garbage collection and widening. While the paper itself runs the development for continuationpassing style, our generic implementation replays it for direct-style lambda-calculus and Featherweight Java...

Abstractions for Fault-Tolerant Distributed System Verification

Science.gov (United States)

Pike, Lee S.; Maddalon, Jeffrey M.; Miner, Paul S.; Geser, Alfons

2004-01-01

Four kinds of abstraction for the design and analysis of fault tolerant distributed systems are discussed. These abstractions concern system messages, faults, fault masking voting, and communication. The abstractions are formalized in higher order logic, and are intended to facilitate specifying and verifying such systems in higher order theorem provers.

Abstract Interpretation as a Programming Language

DEFF Research Database (Denmark)

Rosendahl, Mads

2013-01-01

examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus...... in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen...

Nuclear medicine. Abstracts

International Nuclear Information System (INIS)

Anon.

2000-01-01

This issue of the journal contains the abstracts of the 183 conference papers as well as 266 posters presented at the conference. Subject fields covered are: Neurology, psychology, oncology, pediatrics, radiopharmacy, endocrinology, EDP, measuring equipment and methods, radiological protection, cardiology, and therapy. (orig./CB) [de

Abstract Machines for Programming Language Implementation

NARCIS (Netherlands)

Diehl, Stephan; Hartel, Pieter H.; Sestoft, Peter

We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular

Writing a Structured Abstract for the Thesis

Science.gov (United States)

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…

When abstraction does not increase stereotyping : Preparing for intragroup communication enables abstract construal of stereotype-inconsistent information

NARCIS (Netherlands)

Greijdanus, Hedy; Postmes, Tom; Gordijn, Ernestine H.; van Zomeren, Martijn

2014-01-01

Two experiments investigated when perceivers can construe stereotype-inconsistent information abstractly (i.e., interpret observations as generalizable) and whether stereotype-consistency delimits the positive relation between abstract construal level and stereotyping. Participants (N1=104, N2=83)

Geometry of abstraction in quantum computation

NARCIS (Netherlands)

Pavlovic, Dusko; Abramsky, S.; Mislove, M.W.

2012-01-01

Quantum algorithms are sequences of abstract operations, per formed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contribu tions of Abramsky, Goecke and Selinger. In particular, we analyze function abstraction

The Abstraction Engine

DEFF Research Database (Denmark)

Fortescue, Michael David

The main thesis of this book is that abstraction, far from being confined to higher formsof cognition, language and logical reasoning, has actually been a major driving forcethroughout the evolution of creatures with brains. It is manifest in emotive as well as rationalthought. Wending its way th...

Transport safety research abstracts. No. 1

International Nuclear Information System (INIS)

1991-07-01

The Transport Safety Research Abstracts is a collection of reports from Member States of the International Atomic Energy Agency, and other international organizations on research in progress or just completed in the area of safe transport of radioactive material. The main aim of TSRA is to draw attention to work that is about to be published, thus enabling interested parties to obtain further information through direct correspondence with the investigators. Information contained in this issue covers work being undertaken in 6 Member States and contracted by 1 international organization; it is hoped with succeeding issues that TSRA will be able to widen this base. TSRA is modelled after other IAEA publications describing work in progress in other programme areas, namely Health Physics Research Abstracts (No. 14 was published in 1989), Waste Management Research Abstracts (No. 20 was published in 1990), and Nuclear Safety Research Abstracts (No. 2 was published in 1990)

Abstract Object Creation in Dynamic Logic

NARCIS (Netherlands)

I. Grabe (Immo); F.S. de Boer (Frank); W. Ahrendt (Wolfgang); A. Cavalcanti; D.R. Dams

2009-01-01

textabstractIn this paper we give a representation of a weakest precondition calculus for abstract object creation in dynamic logic, the logic underlying the KeY theorem prover. This representation allows to both specify and verify properties of objects at the abstraction level of the

Using fairness to make abstractions work

NARCIS (Netherlands)

D. Bosnacki; N. Ioustinova (Natalia); N. Sidorova

2003-01-01

textabstractAbstractions often introduce infinite traces which have no corresponding traces at the concrete level and can lead to the failure of the verification. Refinement does not always help to eliminate those traces. In this paper, we consider a timer abstraction that introduces a cyclic

Compilation of Theses Abstracts

National Research Council Canada - National Science Library

2005-01-01

This publication contains unclassified/unrestricted abstracts of classified or restricted theses submitted for the degrees of Doctor of Philosophy, Master of Business Administration, Master of Science...

Data Abstraction Mechanisms in Sina/st

NARCIS (Netherlands)

Meyrowitz, N.K.; Aksit, Mehmet; Tripathi, Anand

1988-01-01

This paper describes a new data abstraction mechanism in an object-oriented model of computing. The data abstraction mechanism described here has been devised in the context of the design of Sina/st language. In Sina/st no language constructs have been adopted for specifying inheritance or

8th Czechoslovak spectroscopic conference. Abstracts

International Nuclear Information System (INIS)

1988-01-01

Volume 2 of the conference proceedings contains abstracts of 17 invited papers and 119 poster presentations, devoted to molecular spectroscopy. Abstracts of 2 poster presentations were inputted in INIS, one dealing with organic complexes of 99 Tc, the other with electronic spectra of lanthanide ions. (A.K.)

Photochemical hydrogen abstractions as radiationless transitions

International Nuclear Information System (INIS)

Burrows, H.D.; Formosinho, S.J.

1977-01-01

The tunnel-effect theory of radiationless transitions is applied to the quenching of the uranyl ion excited state by aliphatic compounds. The most important mechanism kinetically is suggested to involve chemical quenching via hydrogen abstraction, and rates for these reactions are analysed theoretically. Good agreement between theory and experiment is observed for a number of alcohols and ethers, and the reactions are suggested to possess considerable charge-transfer character. With t-butanol it is suggested that abstraction occurs preferentially from the hydroxylic hydrogen. Theoretical analysis of the rates of hydrogen abstraction from carboxylic acids suggests that the reaction geometry in this case may be different from the reaction with alcohols or ethers. The possibility that excited uranyl ion can abstract a hydrogen atom from water is examined, and theoretical evidence is presented to suggest that this is the main route for deactivation of uranyl ion lowest excited state in water at room temperature. (author)

Mathematical Abstraction: Constructing Concept of Parallel Coordinates

Science.gov (United States)

Nurhasanah, F.; Kusumah, Y. S.; Sabandar, J.; Suryadi, D.

2017-09-01

Mathematical abstraction is an important process in teaching and learning mathematics so pre-service mathematics teachers need to understand and experience this process. One of the theoretical-methodological frameworks for studying this process is Abstraction in Context (AiC). Based on this framework, abstraction process comprises of observable epistemic actions, Recognition, Building-With, Construction, and Consolidation called as RBC + C model. This study investigates and analyzes how pre-service mathematics teachers constructed and consolidated concept of Parallel Coordinates in a group discussion. It uses AiC framework for analyzing mathematical abstraction of a group of pre-service teachers consisted of four students in learning Parallel Coordinates concepts. The data were collected through video recording, students’ worksheet, test, and field notes. The result shows that the students’ prior knowledge related to concept of the Cartesian coordinate has significant role in the process of constructing Parallel Coordinates concept as a new knowledge. The consolidation process is influenced by the social interaction between group members. The abstraction process taken place in this group were dominated by empirical abstraction that emphasizes on the aspect of identifying characteristic of manipulated or imagined object during the process of recognizing and building-with.

Engineering Abstractions in Model Checking and Testing

DEFF Research Database (Denmark)

Achenbach, Michael; Ostermann, Klaus

2009-01-01

Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet...... and testing is still state of the art in falsification. We show how user-defined abstractions can be integrated into a Java PathFinder setting with tools like AspectJ or Javassist and discuss implications of remaining weaknesses of these tools. We believe that a principled engineering approach to designing...... and implementing abstractions will improve the applicability of model checking in practice....

Abstraction of continuous dynamical systems utilizing lyapunov functions

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2010-01-01

This paper considers the development of a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification...... of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse......-Smale systems and complete and refinable abstractions for linear systems are shown....

Abstraction Power in Computer Science Education

DEFF Research Database (Denmark)

Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

2006-01-01

The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program.......The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program....

WWNPQFT-2013 - Abstracts

International Nuclear Information System (INIS)

Cessac, B.; Bianchi, E.; Bellon, M.; Fried, H.; Krajewski, T.; Schubert, C.; Barre, J.; Hofmann, R.; Muller, B.; Raffaelli, B.

2014-01-01

The object of this Workshop is to consolidate and publicize new efforts in non perturbative-like Field Theories, relying in Functional Methods, Renormalization Group, and Dyson-Schwinger Equations. A presentation deals with effective vertices and photon-photon scattering in SU(2) Yang-Mills thermodynamics. This document gathers the abstracts of the presentations

The challenge of the social sciences: The impact of Sociology ...

African Journals Online (AJOL)

The challenge of the social sciences: The impact of Sociology among first year students. JF Graaff. Abstract. No Abstract. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT. Article Metrics. Metrics Loading ... Metrics powered by PLOS ALM

SPR 2015. Abstracts

International Nuclear Information System (INIS)

2015-01-01

The volume contains the abstracts of the SPR (society for pediatric radiology) 2015 meeting covering the following issues: fetal imaging, muscoskeletal imaging, cardiac imaging, chest imaging, oncologic imaging, tools for process improvement, child abuse, contrast enhanced ultrasound, image gently - update of radiation dose recording/reporting/monitoring - meaningful or useless meaning?, pediatric thoracic imaging, ALARA.

SPR 2015. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2015-04-01

The volume contains the abstracts of the SPR (society for pediatric radiology) 2015 meeting covering the following issues: fetal imaging, muscoskeletal imaging, cardiac imaging, chest imaging, oncologic imaging, tools for process improvement, child abuse, contrast enhanced ultrasound, image gently - update of radiation dose recording/reporting/monitoring - meaningful or useless meaning?, pediatric thoracic imaging, ALARA.

Mathematical games, abstract games

CERN Document Server

Neto, Joao Pedro

2013-01-01

User-friendly, visually appealing collection offers both new and classic strategic board games. Includes abstract games for two and three players and mathematical games such as Nim and games on graphs.

An abstract machine for module replacement

OpenAIRE

Walton, Chris; Krl, Dilsun; Gilmore, Stephen

1998-01-01

In this paper we define an abstract machine model for the mλ typed intermediate language. This abstract machine is used to give a formal description of the operation of run-time module replacement from the programming language Dynamic ML. The essential technical device which we employ for module replacement is a modification of two-space copying garbage collection.

User-Extensible Graphics Using Abstract Structure,

Science.gov (United States)

1987-08-01

Flex 6 The Algol68 model of the graphical abstract structure 5 The creation of a PictureDefinition 6 The making of a picture from a PictureDefinition 7...data together with the operations that can be performed on that data. i 7! ś I _ § 4, The Alqol68 model of the graphical abstract structure Every

Elements of abstract harmonic analysis

CERN Document Server

Bachman, George

2013-01-01

Elements of Abstract Harmonic Analysis provides an introduction to the fundamental concepts and basic theorems of abstract harmonic analysis. In order to give a reasonably complete and self-contained introduction to the subject, most of the proofs have been presented in great detail thereby making the development understandable to a very wide audience. Exercises have been supplied at the end of each chapter. Some of these are meant to extend the theory slightly while others should serve to test the reader's understanding of the material presented. The first chapter and part of the second give

Abstraction networks for terminologies: Supporting management of "big knowledge".

Science.gov (United States)

Halper, Michael; Gu, Huanying; Perl, Yehoshua; Ochs, Christopher

2015-05-01

Terminologies and terminological systems have assumed important roles in many medical information processing environments, giving rise to the "big knowledge" challenge when terminological content comprises tens of thousands to millions of concepts arranged in a tangled web of relationships. Use and maintenance of knowledge structures on that scale can be daunting. The notion of abstraction network is presented as a means of facilitating the usability, comprehensibility, visualization, and quality assurance of terminologies. An abstraction network overlays a terminology's underlying network structure at a higher level of abstraction. In particular, it provides a more compact view of the terminology's content, avoiding the display of minutiae. General abstraction network characteristics are discussed. Moreover, the notion of meta-abstraction network, existing at an even higher level of abstraction than a typical abstraction network, is described for cases where even the abstraction network itself represents a case of "big knowledge." Various features in the design of abstraction networks are demonstrated in a methodological survey of some existing abstraction networks previously developed and deployed for a variety of terminologies. The applicability of the general abstraction-network framework is shown through use-cases of various terminologies, including the Systematized Nomenclature of Medicine - Clinical Terms (SNOMED CT), the Medical Entities Dictionary (MED), and the Unified Medical Language System (UMLS). Important characteristics of the surveyed abstraction networks are provided, e.g., the magnitude of the respective size reduction referred to as the abstraction ratio. Specific benefits of these alternative terminology-network views, particularly their use in terminology quality assurance, are discussed. Examples of meta-abstraction networks are presented. The "big knowledge" challenge constitutes the use and maintenance of terminological structures that

Frontopolar cortex mediates abstract integration in analogy.

Science.gov (United States)

Green, Adam E; Fugelsang, Jonathan A; Kraemer, David J M; Shamosh, Noah A; Dunbar, Kevin N

2006-06-22

Integration of abstractly similar relations during analogical reasoning was investigated using functional magnetic resonance imaging. Activation elicited by an analogical reasoning task that required both complex working memory and integration of abstractly similar relations was compared to activation elicited by a non-analogical task that required complex working memory in the absence of abstract relational integration. A left-sided region of the frontal pole of the brain (BA 9/10) was selectively active for the abstract relational integration component of analogical reasoning. Analogical reasoning also engaged a left-sided network of parieto-frontal regions. Activity in this network during analogical reasoning is hypothesized to reflect categorical alignment of individual component terms that make up analogies. This parieto-frontal network was also engaged by the complex control task, which involved explicit categorization, but not by a simpler control task, which did not involve categorization. We hypothesize that frontopolar cortex mediates abstract relational integration in complex reasoning while parieto-frontal regions mediate working memory processes, including manipulation of terms for the purpose of categorical alignment, that facilitate this integration.

Abstraction in artificial intelligence and complex systems

CERN Document Server

Saitta, Lorenza

2013-01-01

Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences.  After discussing the characterizing properties of abstraction, a formal model, the K

8th Czechoslovak spectroscopic conference. Abstracts

International Nuclear Information System (INIS)

1988-01-01

Volume 3 of the conference proceedings contains abstracts of 17 invited papers, 101 poster presentations and 7 papers of instrument manufacturers, devoted to special spectroscopic techniques including X-ray microanalysis, X-ray spectral analysis, Moessbauer spectrometry, mass spectrometry, instrumental activation analysis and other instrumental radioanalytical methods, electron spectrometry, and techniques of environmental analysis. Sixty abstracts were inputted in INIS. (A.K.)

AfSBT Congress Abstracts: Zimbabwe 2014 | Adewuyi | Africa ...

African Journals Online (AJOL)

AfSBT Congress Abstracts: Zimbabwe 2014. James Ola-Banji Adewuyi. Abstract. No Abstract. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians · for Authors · FAQ's · More about AJOL ...

Abstraction of Drift-Scale Coupled Processes

International Nuclear Information System (INIS)

Francis, N.D.; Sassani, D.

2000-01-01

This Analysis/Model Report (AMR) describes an abstraction, for the performance assessment total system model, of the near-field host rock water chemistry and gas-phase composition. It also provides an abstracted process model analysis of potentially important differences in the thermal hydrologic (TH) variables used to describe the performance of a geologic repository obtained from models that include fully coupled reactive transport with thermal hydrology and those that include thermal hydrology alone. Specifically, the motivation of the process-level model comparison between fully coupled thermal-hydrologic-chemical (THC) and thermal-hydrologic-only (TH-only) is to provide the necessary justification as to why the in-drift thermodynamic environment and the near-field host rock percolation flux, the essential TH variables used to describe the performance of a geologic repository, can be obtained using a TH-only model and applied directly into a TSPA abstraction without recourse to a fully coupled reactive transport model. Abstraction as used in the context of this AMR refers to an extraction of essential data or information from the process-level model. The abstraction analysis reproduces and bounds the results of the underlying detailed process-level model. The primary purpose of this AMR is to abstract the results of the fully-coupled, THC model (CRWMS M andO 2000a) for effects on water and gas-phase composition adjacent to the drift wall (in the near-field host rock). It is assumed that drift wall fracture water and gas compositions may enter the emplacement drift before, during, and after the heating period. The heating period includes both the preclosure, in which the repository drifts are ventilated, and the postclosure periods, with backfill and drip shield emplacement at the time of repository closure. Although the preclosure period (50 years) is included in the process models, the postclosure performance assessment starts at the end of this initial period

Writing business research article abstracts: A genre approach

Directory of Open Access Journals (Sweden)

Carmen Piqué-Noguera

2012-10-01

Full Text Available A great deal has been published about oral and written genres in business (e.g., letters, research articles, oral presentations, etc., and less attention has been paid to business research article abstracts as a written genre, as many experts would argue. This research intends to raise rhetorical awareness about the role of abstracts in today’s academic world. To this effect, the abstracts of two official publications of the Association of Business Communication, Journal of Business Communication and Business Communication Quarterly, have been analyzed and compared in terms of structure and content according to models published in the specialized literature. The results show an irregular and inconsistent presentation of abstracts, a good number of them following no set pattern and thus lacking in important information for researchers. These findings suggest, first of all, that abstracts have a specific mission to fulfil and should not be disregarded; and, secondly, that journal guidelines for authors should be more explicit in their instructions on how to write and structure abstracts.

2002 Conference Programme and Book of Abstracts

International Nuclear Information System (INIS)

2002-01-01

The 25th Annual (Silver Jubilee) Conference 2002 Conference Programme and Book of Abstracts gives a brief on the Nigerian Institute of Physics, the Sheda Science and Technology Complex. It carries the Conference programme and carries the abstracts of all the papers presented. The abstracts cover a wide range of subjects including topics in atmospheric physics, education, policy and planning, geophysics, instrumentation, mathematical sciences, theoretical physics, nuclear and health physics, solid state, electronic and health physics. We are grateful to the Nigerian Institute of Physics for this volume

Functional Correspondence between Evaluators and Abstract Machines

DEFF Research Database (Denmark)

Ager, Mads Stig; Biernacki, Dariusz; Danvy, Olivier

2003-01-01

We bridge the gap between functional evaluators and abstract machines for the λ-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization.We illustrate this approach by deriving Krivine's abstract machine from an ordinary call-by-name evaluator...... and by deriving an ordinary call-by-value evaluator from Felleisen et al.'s CEK machine. The first derivation is strikingly simpler than what can be found in the literature. The second one is new. Together, they show that Krivine's abstract machine and the CEK machine correspond to the call-by-name and call...

Abstracting audit data for lightweight intrusion detection

KAUST Repository

Wang, Wei; Zhang, Xiangliang; Pitsilis, Georgios

2010-01-01

are used to validate the two strategies of data abstraction. The extensive test results show that the process of exemplar extraction significantly improves the detection efficiency and has a better detection performance than PCA in data abstraction. © 2010

International beta-dosimetry symposium. Program and abstracts

International Nuclear Information System (INIS)

1983-02-01

Abstracts of the presentations at the symposium are contained in this volume. Problems associated with beta dosimetry, beta detectors and dosemeters, and current development programs are described. Each abstract has been indexed separately for inclusion in the Energy Data Base

Abstracts of SIG Sessions.

Science.gov (United States)

Proceedings of the ASIS Annual Meeting, 1994

1994-01-01

Includes abstracts of 18 special interest group (SIG) sessions. Highlights include natural language processing, information science and terminology science, classification, knowledge-intensive information systems, information value and ownership issues, economics and theories of information science, information retrieval interfaces, fuzzy thinking…

Converting One Type-Based Abstract Domain to Another

DEFF Research Database (Denmark)

Gallagher, John Patrick; Puebla, German; Albert, Elvira

2006-01-01

The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported....... We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain...

EBS Radionuclide Transport Abstraction

International Nuclear Information System (INIS)

J.D. Schreiber

2005-01-01

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

EBS Radionuclide Transport Abstraction

Energy Technology Data Exchange (ETDEWEB)

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

EBS Radionuclide Transport Abstraction

Energy Technology Data Exchange (ETDEWEB)

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

EBS Radionuclide Transport Abstraction

International Nuclear Information System (INIS)

J. Prouty

2006-01-01

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

Content Abstract Classification Using Naive Bayes

Science.gov (United States)

Latif, Syukriyanto; Suwardoyo, Untung; Aldrin Wihelmus Sanadi, Edwin

2018-03-01

This study aims to classify abstract content based on the use of the highest number of words in an abstract content of the English language journals. This research uses a system of text mining technology that extracts text data to search information from a set of documents. Abstract content of 120 data downloaded at www.computer.org. Data grouping consists of three categories: DM (Data Mining), ITS (Intelligent Transport System) and MM (Multimedia). Systems built using naive bayes algorithms to classify abstract journals and feature selection processes using term weighting to give weight to each word. Dimensional reduction techniques to reduce the dimensions of word counts rarely appear in each document based on dimensional reduction test parameters of 10% -90% of 5.344 words. The performance of the classification system is tested by using the Confusion Matrix based on comparative test data and test data. The results showed that the best classification results were obtained during the 75% training data test and 25% test data from the total data. Accuracy rates for categories of DM, ITS and MM were 100%, 100%, 86%. respectively with dimension reduction parameters of 30% and the value of learning rate between 0.1-0.5.

Full Abstraction for HOPLA

DEFF Research Database (Denmark)

Nygaard, Mikkel; Winskel, Glynn

2003-01-01

A fully abstract denotational semantics for the higher-order process language HOPLA is presented. It characterises contextual and logical equivalence, the latter linking up with simulation. The semantics is a clean, domain-theoretic description of processes as downwards-closed sets of computation...

DEGRO 2017. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2017-06-15

The volume includes abstracts of the Annual DEGRO Meeting 2017 covering lectures and poster sessions with the following issues: lymphoma, biology, physics, radioimmunotherapy, sarcomas and rare tumors, prostate carcinoma, lung tumors, benign lesions and new media, mamma carcinoma, gastrointestinal tumors, quality of life, care science and quality assurance, high-technology methods and palliative situation, head-and-neck tumors, brain tumors, central nervous system metastases, guidelines, radiation sensitivity, radiotherapy, radioimmunotherapy.

Collected abstracts on particle beam diagnostic systems

International Nuclear Information System (INIS)

Hickok, R.L.

1979-01-01

This report contains a compilation of abstracts on work related to particle beam diagnostics for high temperature plasmas. The abstracts were gathered in early 1978 and represent the status of the various programs as of that date. It is not suggested that this is a comprehensive list of all the work that is going on in the development of particle beam diagnostics, but it does provide a representative view of the work in this field. For example, no abstracts were received from the U.S.S.R. even though they have considerable activity in particle beam diagnostics

Argument structure and the representation of abstract semantics.

Directory of Open Access Journals (Sweden)

Javier Rodríguez-Ferreiro

Full Text Available According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

Argument structure and the representation of abstract semantics.

Science.gov (United States)

Rodríguez-Ferreiro, Javier; Andreu, Llorenç; Sanz-Torrent, Mònica

2014-01-01

According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

DENOTATIVE ORIGINS OF ABSTRACT IMAGES IN LINGUISTIC EXPERIMENT

Directory of Open Access Journals (Sweden)

Elina, E.

2017-03-01

Full Text Available The article discusses the refusal from denotation (the subject, as the basic principle of abstract images, and semiotic problems arising in connection with this principle: how to solve the contradiction between the pointlessness and iconic nature of the image? Is it correct in the absence of denotation to recognize abstract representation of a single-level entity? The solution is proposed to decide these questions with the help of a psycholinguistic experiment in which the verbal interpretation of abstract images made by both experienced and “naive” audience-recipients demonstrates the objectivity of perception of denotative “traces” and the presence of denotative invariant in an abstract form.

Composing Interfering Abstract Protocols

Science.gov (United States)

2016-04-01

Tecnologia , Universidade Nova de Lisboa, Caparica, Portugal. This document is a companion technical report of the paper, “Composing Interfering Abstract...a Ciência e Tecnologia (Portuguese Foundation for Science and Technology) through the Carnegie Mellon Portugal Program under grant SFRH / BD / 33765

Abstracting massive data for lightweight intrusion detection in computer networks

KAUST Repository

Wang, Wei; Liu, Jiqiang; Pitsilis, Georgios; Zhang, Xiangliang

2016-01-01

detection. Data abstraction refers to abstract or extract the most relevant information from the massive dataset. In this work, we propose three strategies of data abstraction, namely, exemplar extraction, attribute selection and attribute abstraction. We

Earth Sciences Division collected abstracts: 1980

Energy Technology Data Exchange (ETDEWEB)

Henry, A.L.; Hornady, B.F. (eds.)

1981-10-15

This report is a compilation of abstracts of papers, reports, and talks presented during 1980 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore National Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract itself is given only under the name of the first author (indicated in capital letters) or the first Earth Sciences Division author.

Earth Sciences Division collected abstracts: 1980

International Nuclear Information System (INIS)

Henry, A.L.; Hornady, B.F.

1981-01-01

This report is a compilation of abstracts of papers, reports, and talks presented during 1980 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore National Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract itself is given only under the name of the first author (indicated in capital letters) or the first Earth Sciences Division author

Annotating abstract pronominal anaphora in the DAD project

DEFF Research Database (Denmark)

Navarretta, Costanza; Olsen, Sussi Anni

2008-01-01

n this paper we present an extension of the MATE/GNOME annotation scheme for anaphora (Poesio 2004) which accounts for abstract anaphora in Danish and Italian. By abstract anaphora it is here meant pronouns whose linguistic antecedents are verbal phrases, clauses and discourse segments. The exten......n this paper we present an extension of the MATE/GNOME annotation scheme for anaphora (Poesio 2004) which accounts for abstract anaphora in Danish and Italian. By abstract anaphora it is here meant pronouns whose linguistic antecedents are verbal phrases, clauses and discourse segments....... The extended scheme, which we call the DAD annotation scheme, allows to annotate information about abstract anaphora which is important to investigate their use, see Webber (1988), Gundel et al. (2003), Navarretta (2004) and which can influence their automatic treatment. Intercoder agreement scores obtained...... by applying the DAD annotation scheme on texts and dialogues in the two languages are given and show that th information proposed in the scheme can be recognised in a reliable way....

Subsequent publication of oral and maxillofacial surgery meeting abstracts.

Science.gov (United States)

Rodriguez, Joseph L; Laskin, Daniel M

2012-05-01

Previous studies in various medical specialties have shown that fewer than 50% of abstracts presented at meetings are subsequently published. The purpose of the present study was to determine the publication rate of abstracts presented at the annual meetings of the American Association of Oral and Maxillofacial Surgeons. The titles and authors of the abstracts from all oral abstract session presentations and posters by American contributors were collected from the Final Programs of the American Association of Oral and Maxillofacial Surgeons annual meetings for 2006 to 2009. A PubMed search for published articles through December 2010 was then performed using the authors' names, abstract titles, and key words. A total of 311 abstract presentations were done at the 4 annual meetings. Of these, only 85 (24%) were subsequently published. No difference was found between abstracts from oral or poster presentations. Most of the articles were published in the Journal of Oral and Maxillofacial Surgery. Because of deficiencies that can occur in abstracts and the need to disseminate the information they contain, it is important to take the appropriate measures to ensure that full articles are subsequently published. Copyright © 2012 American Association of Oral and Maxillofacial Surgeons. Published by Elsevier Inc. All rights reserved.

Preparing and presenting effective abstracts and posters in psychiatry.

Science.gov (United States)

Singh, Manpreet K

2014-12-01

Presenting an abstract and a poster gives scientists from all fields, including psychiatry, an important opportunity to introduce their research to others. Researchers and mental health professionals at all levels of career development can use several media resources to assist them with the technical aspects of preparing an abstract or a poster. This article will focus on major principles associated with preparing and presenting an abstract and a poster at a scientific meeting. A literature search using NIH PubMed was conducted to identify peer and nonpeer-reviewed articles that provide methods for effective abstract and poster presentation for the period of 1966 to June 2014. First, the author reviews the purpose and relative importance of abstracts and posters in academic settings. Next, the author describes the qualities of an effective abstract and poster and common pitfalls that may occur. Finally, the author presents a systematic approach to preparing and presenting an abstract and a poster in a scientific setting. Several sources consistently suggest that readability, organization, and succinctness are qualities that make an effective and successful abstract and poster. Mental health professionals in all stages of their career development may benefit from following these guidelines in presenting their scientific work.

Preparing and presenting effective abstracts and posters in psychiatry

Science.gov (United States)

Singh, Manpreet K.

2014-01-01

Presenting an abstract and a poster gives scientists from all fields, including psychiatry, an important opportunity to introduce their research to others. Researchers and mental health professionals at all levels of career development can use several media resources to assist them with the technical aspects of preparing an abstract or a poster. This article will focus on major principles associated with preparing and presenting an abstract and a poster at a scientific meeting. A literature search using NIH PubMed was conducted to identify peer and non-peer-reviewed articles that provide methods for effective abstract and poster presentation for the period of 1966 to June 2014. First, we review the purpose and relative importance of abstracts and posters in academic settings. Next, we describe the qualities of an effective abstract and poster and common pitfalls that may occur. Finally, we present a systematic approach to preparing and presenting an abstract and a poster in a scientific setting. Several sources consistently suggest that readability, organization, and succinctness are qualities that make an effective and successful abstract and poster. Mental health professionals in all stages of their career development may benefit from following these guidelines in presenting their scientific work. PMID:25085499

SPR 2014. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2014-05-15

The proceedings of the SPR 2014 meeting include abstracts on the following topics: Body imaging techniques: practical advice for clinic work; thoracic imaging: focus on the lungs; gastrointestinal imaging: focus on the pancreas and bowel; genitourinary imaging: focus on gonadal radiology; muscoskeletal imaging; focus on oncology; child abuse and nor child abuse: focus on radiography; impact of NMR and CT imaging on management of CHD; education and communication: art and practice in pediatric radiology.

SPR 2014. Abstracts

International Nuclear Information System (INIS)

2014-01-01

The proceedings of the SPR 2014 meeting include abstracts on the following topics: Body imaging techniques: practical advice for clinic work; thoracic imaging: focus on the lungs; gastrointestinal imaging: focus on the pancreas and bowel; genitourinary imaging: focus on gonadal radiology; muscoskeletal imaging; focus on oncology; child abuse and nor child abuse: focus on radiography; impact of NMR and CT imaging on management of CHD; education and communication: art and practice in pediatric radiology.

WWNPQFT-2011 - Abstracts

International Nuclear Information System (INIS)

Bianchi, E.; Bender, C.; Culetu, H.; Fried, H.; Grossmann, A.; Hofmann, R.; Le Bellac, M.; Martinetti, P.; Muller, B.; Patras, F.; Raffaeli, B.; Vitting Andersen, J.

2013-01-01

The object of this workshop is to consolidate and publicize new efforts in non-perturbative field theories. This year the presentations deal with quantum gravity, non-commutative geometry, fat-tailed wave-functions, strongly coupled field theories, space-times two time-like dimensions, and multiplicative renormalization. A presentation is dedicated to the construction of a nucleon-nucleon potential from an analytical, non-perturbative gauge invariant QCD. This document gathers the abstracts of the presentations

Impredicative concurrent abstract predicates

DEFF Research Database (Denmark)

Svendsen, Kasper; Birkedal, Lars

2014-01-01

We present impredicative concurrent abstract predicates { iCAP { a program logic for modular reasoning about concurrent, higher- order, reentrant, imperative code. Building on earlier work, iCAP uses protocols to reason about shared mutable state. A key novel feature of iCAP is the ability to dene...

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

Science.gov (United States)

Bogomolov, Sergiy; Frehse, Goran; Greitschus, Marius; Grosu, Radu; Pasareanu, Corina S.; Podelski, Andreas; Strump, Thomas

2014-01-01

Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

Bounded Rationality of Generalized Abstract Fuzzy Economies

Directory of Open Access Journals (Sweden)

Lei Wang

2014-01-01

Full Text Available By using a nonlinear scalarization technique, the bounded rationality model M for generalized abstract fuzzy economies in finite continuous spaces is established. Furthermore, by using the model M, some new theorems for structural stability and robustness to (λ,ϵ-equilibria of generalized abstract fuzzy economies are proved.

ESGAR 2007. Book of abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2007-06-15

The book includes the abstracts of all contributions presented during ESGAR (European Society of Gastrointestinal and Abdominal Radiology) 2007. The contributions of the symposium and the scientific sessions cover the following topics: abdominal MRI; interactive liver diagnosis; rectal cancer; liver metastases; pancreas: technical advances, lesion characterisation and staging; hepatic interventions; upper GI tract: multimodality evaluation; Crohn's disease evaluation; focal liver lesions: multimodality evaluation; CTC-computer aided diagnosis; bile ducts: imaging and intervention; GI tract: imaging and intervention; small bowel and appendix: cross-sectional imaging; CT and MR colonography; trauma and acute abdominal conditions: imaging and intervention; vascular and diffuse liver disease; liver contrast enhanced US. The second part covers the abstract of 248 presentations.

Abstract processing and observer vantage perspective in dysphoria.

Science.gov (United States)

Hart-Smith, Ly; Moulds, Michelle L

2018-05-07

processing and observer vantage perspective have been associated with negative consequences in depression. We investigated the relationship between mode of processing and vantage perspective bidirectionally in high and low dysphoric individuals, using abstract and concrete descriptions of experimenter-provided everyday actions. When vantage perspective was manipulated and processing mode was measured (Study 1a), participants who adopted a field perspective did not differ from those who adopted an observer perspective in their preference for abstract descriptions, irrespective of dysphoria status. When processing mode was manipulated and vantage perspective was measured (Study 1b), participants provided with abstract descriptions had a greater tendency to adopt an observer perspective than those provided with concrete descriptions, irrespective of dysphoria status. These results were replicated in larger online samples (Studies 2a and 2b). Together, they indicate a unidirectional causal relationship, whereby processing mode causally influences vantage perspective, in contrast to the bidirectional relationship previously reported in an unselected sample (Libby, Shaeffer, & Eibach, 2009). Further, these findings demonstrate that abstract processing increases the likelihood of adopting an observer perspective, and support targeting abstract processing in the treatment of depression to address the negative consequences associated with both abstract processing and recalling/imagining events from an observer perspective. (PsycINFO Database Record (c) 2018 APA, all rights reserved).

Controlling groundwater over abstraction

NARCIS (Netherlands)

Naber, Al Majd; Molle, Francois

2017-01-01

The control of groundwater over abstraction is a vexing problem worldwide. Jordan is one of the countries facing severe water scarcity which has implemented a wide range of measures and policies over the past 20 years. While the gap between formal legal and policy frameworks and local practices on

Circularity and Lambda Abstraction

DEFF Research Database (Denmark)

Danvy, Olivier; Thiemann, Peter; Zerny, Ian

2013-01-01

unknowns from what is done to them, which we lambda-abstract with functions. The circular unknowns then become dead variables, which we eliminate. The result is a strict circu- lar program a la Pettorossi. This transformation is reversible: given a strict circular program a la Pettorossi, we introduce...

Abstract Interpretation as a Programming Language

Directory of Open Access Journals (Sweden)

Mads Rosendahl

2013-09-01

Full Text Available In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen as a programming paradigm and be used to write programs in a circular style.

The Contradictions of Public Sociology: A View from a Graduate Student at Berkeley

Science.gov (United States)

Noy, Darren

2009-01-01

Reflecting on my experiences as a graduate student, I argue that the terminology of public sociology should be dropped. The public sociology rhetoric is at odds with the fundamental professional reality in the discipline. Sociology, as a "hyper-professionalized" endeavor, primarily values abstract, explanatory theories, even if those theories make…

In-Package Chemistry Abstraction

Energy Technology Data Exchange (ETDEWEB)

P.S. Domski

2003-07-21

The work associated with the development of this model report was performed in accordance with the requirements established in ''Technical Work Plan for Waste Form Degradation Modeling, Testing, and Analyses in Support of SR and LA'' (BSC 2002a). The in-package chemistry model and in-package chemistry model abstraction are developed to predict the bulk chemistry inside of a failed waste package and to provide simplified expressions of that chemistry. The purpose of this work is to provide the abstraction model to the Performance Assessment Project and the Waste Form Department for development of geochemical models of the waste package interior. The scope of this model report is to describe the development and validation of the in-package chemistry model and in-package chemistry model abstraction. The in-package chemistry model will consider chemical interactions of water with the waste package materials and the waste form for commercial spent nuclear fuel (CSNF) and codisposed high-level waste glass (HLWG) and N Reactor spent fuel (CDNR). The in-package chemistry model includes two sub-models, the first a water vapor condensation (WVC) model, where water enters a waste package as vapor and forms a film on the waste package components with subsequent film reactions with the waste package materials and waste form--this is a no-flow model, the reacted fluids do not exit the waste package via advection. The second sub-model of the in-package chemistry model is the seepage dripping model (SDM), where water, water that may have seeped into the repository from the surrounding rock, enters a failed waste package and reacts with the waste package components and waste form, and then exits the waste package with no accumulation of reacted water in the waste package. Both of the submodels of the in-package chemistry model are film models in contrast to past in-package chemistry models where all of the waste package pore space was filled with water. The

In-Package Chemistry Abstraction

International Nuclear Information System (INIS)

P.S. Domski

2003-01-01

The work associated with the development of this model report was performed in accordance with the requirements established in ''Technical Work Plan for Waste Form Degradation Modeling, Testing, and Analyses in Support of SR and LA'' (BSC 2002a). The in-package chemistry model and in-package chemistry model abstraction are developed to predict the bulk chemistry inside of a failed waste package and to provide simplified expressions of that chemistry. The purpose of this work is to provide the abstraction model to the Performance Assessment Project and the Waste Form Department for development of geochemical models of the waste package interior. The scope of this model report is to describe the development and validation of the in-package chemistry model and in-package chemistry model abstraction. The in-package chemistry model will consider chemical interactions of water with the waste package materials and the waste form for commercial spent nuclear fuel (CSNF) and codisposed high-level waste glass (HLWG) and N Reactor spent fuel (CDNR). The in-package chemistry model includes two sub-models, the first a water vapor condensation (WVC) model, where water enters a waste package as vapor and forms a film on the waste package components with subsequent film reactions with the waste package materials and waste form--this is a no-flow model, the reacted fluids do not exit the waste package via advection. The second sub-model of the in-package chemistry model is the seepage dripping model (SDM), where water, water that may have seeped into the repository from the surrounding rock, enters a failed waste package and reacts with the waste package components and waste form, and then exits the waste package with no accumulation of reacted water in the waste package. Both of the submodels of the in-package chemistry model are film models in contrast to past in-package chemistry models where all of the waste package pore space was filled with water. The current in

Embodied cognition, abstract concepts, and body manipulation

Directory of Open Access Journals (Sweden)

Katinka eDijkstra

2014-08-01

Full Text Available Current approaches on cognition hold that concrete concepts are grounded in concrete experiences. There is no consensus, however, as to whether this is equally true for abstract concepts. In this review we discuss how the body might be involved in understanding abstract concepts through metaphor activation. Substantial research has been conducted on the activation of common orientational metaphors with bodily manipulations, such as ‘power is up’ and ‘more is up’ representations. We will focus on the political metaphor that has a more complex association between the concept and the concrete domain. However, the outcomes of studies on this political metaphor have not always been consistent, possibly because the experimental manipulation was not implicit enough. The inclusion of new technological devices in this area of research, such as the Wii Balance Board, seems promising in order to assess the groundedness of abstract conceptual spatial metaphors in an implicit manner. This may aid further research to effectively demonstrate the interrelatedness between the body and more abstract representations.

Abstract algebra for physicists

International Nuclear Information System (INIS)

Zeman, J.

1975-06-01

Certain recent models of composite hadrons involve concepts and theorems from abstract algebra which are unfamiliar to most theoretical physicists. The algebraic apparatus needed for an understanding of these models is summarized here. Particular emphasis is given to algebraic structures which are not assumed to be associative. (2 figures) (auth)

Abstract: Notes from the Field: Establishing Baseline Data for ...

African Journals Online (AJOL)

Abstract: Notes from the Field: Establishing Baseline Data for Pressure Ulcers in a Rwandan Intensive Care Unit. Gedeon Mutabazi, Jessie Silver. Abstract. Abstract. Background Pressure ulcers are a common iatrogenic medical problem. Pressure ulcers increase the morbidity and mortality of hospitalized patients as well as ...

Abstract spatial concept priming dynamically influences real-world actions

Directory of Open Access Journals (Sweden)

Sarah M Tower-Richardi

2012-09-01

Full Text Available Experienced regularities in our perceptions and actions play important roles in grounding abstract concepts such as social status, time, and emotion. Might we similarly ground abstract spatial concepts in more experienced-based domains? The present experiment explores this possibility by implicitly priming abstract spatial terms (north, south, east, west and then measuring participants’ hand movement trajectories while they respond to a body-referenced spatial target (up, down, left, right in a verbal (Exp. 1 or spatial (Exp. 2 format. Results from two experiments demonstrate temporally-dynamic and prime-biased movement trajectories when the primes are incongruent with the targets (e.g., north – left, west – up. That is, priming abstract coordinate directions influences subsequent actions in response to concrete target directions. These findings provide the first evidence that abstract concepts of world-centered coordinate axes are implicitly understood in the context of concrete body-referenced axes; critically, this abstract-concrete relationship manifests in motor movements, and may have implications for spatial memory organization.

Object-oriented programming with gradual abstraction

DEFF Research Database (Denmark)

Nørmark, Kurt; Thomsen, Lone Leth; Thomsen, Bent

2013-01-01

We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. The language allows immediate object construction, and it is possible to use the constructed objects for concrete problem solving tasks. Classes...... restrictive. As a central mechanism, weakly classified objects are allowed to borrow methods from each other. ASL2 supports class generalization, as a counterpart to class specialization and inheritance in mainstream object-oriented programming languages. The final abstraction step discussed in this paper...

Selected Translated Abstracts of Chinese-Language Climate Change Publications

Energy Technology Data Exchange (ETDEWEB)

Cushman, R.M.; Burtis, M.D.

1999-05-01

This report contains English-translated abstracts of important Chinese-language literature concerning global climate change for the years 1995-1998. This body of literature includes the topics of adaptation, ancient climate change, climate variation, the East Asia monsoon, historical climate change, impacts, modeling, and radiation and trace-gas emissions. In addition to the biological citations and abstracts translated into English, this report presents the original citations and abstracts in Chinese. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

Abstract Film and Beyond.

Science.gov (United States)

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…

Sentence retrieval for abstracts of randomized controlled trials

Directory of Open Access Journals (Sweden)

Chung Grace Y

2009-02-01

Full Text Available Abstract Background The practice of evidence-based medicine (EBM requires clinicians to integrate their expertise with the latest scientific research. But this is becoming increasingly difficult with the growing numbers of published articles. There is a clear need for better tools to improve clinician's ability to search the primary literature. Randomized clinical trials (RCTs are the most reliable source of evidence documenting the efficacy of treatment options. This paper describes the retrieval of key sentences from abstracts of RCTs as a step towards helping users find relevant facts about the experimental design of clinical studies. Method Using Conditional Random Fields (CRFs, a popular and successful method for natural language processing problems, sentences referring to Intervention, Participants and Outcome Measures are automatically categorized. This is done by extending a previous approach for labeling sentences in an abstract for general categories associated with scientific argumentation or rhetorical roles: Aim, Method, Results and Conclusion. Methods are tested on several corpora of RCT abstracts. First structured abstracts with headings specifically indicating Intervention, Participant and Outcome Measures are used. Also a manually annotated corpus of structured and unstructured abstracts is prepared for testing a classifier that identifies sentences belonging to each category. Results Using CRFs, sentences can be labeled for the four rhetorical roles with F-scores from 0.93–0.98. This outperforms the use of Support Vector Machines. Furthermore, sentences can be automatically labeled for Intervention, Participant and Outcome Measures, in unstructured and structured abstracts where the section headings do not specifically indicate these three topics. F-scores of up to 0.83 and 0.84 are obtained for Intervention and Outcome Measure sentences. Conclusion Results indicate that some of the methodological elements of RCTs are

Abstraction carrying code and resource-awareness

OpenAIRE

Hermenegildo, Manuel V.; Albert Albiol, Elvira; López García, Pedro; Puebla Sánchez, Alvaro Germán

2005-01-01

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t. the "untrusted" program by means of a certifícate checker—a process which should be much simpler, eíñcient, and automatic than generating the original proof. Abstraction Carrying Code (ACC) is an enabling technology for PCC in which an abstract mod...

Language practice as games: Implications for sociology of ...

African Journals Online (AJOL)

Language practice as games: Implications for sociology of translation in development contexts in Africa. ... Abstract. Drawing from Game Theory, the article conceptualises language practice as games, that is ... AJOL African Journals Online.

A Brief Introduction to Chinese Biological Abstracts

Institute of Scientific and Technical Information of China (English)

无

2005-01-01

Chinese Biological Abstracts (CBA), a state-level indexing and abstracting journal published monthly, is jointly sponsored by the Library of the Chinese Academy of Sciences, the Shanghai Institutes for Biological Sciences as well as the Biological Information Network of the Chinese Academy of Sciences, published and distributed by the Shanghai Institutes for Biological Sciences, and approved by the State Scientific and Technological Commission.

Abstracts – eine facettenreiche Textsorte der Wissenschaft

Directory of Open Access Journals (Sweden)

Ines Busch-Lauer

2012-01-01

Full Text Available Der Beitrag beschreibt die Relevanz der informationsverdichtenden Textsorte Abstract in der Wissenschaftskommunikation. Im Mittelpunkt stehen die Definition, die Klassifikation und die Struktur sowie ausgewählte Merkmale dieser Textsorte.Im ersten Teil des Beitrags werden die unterschiedlichen Arten von Abstracts anhand von Textbeispielen aus der Linguistik, der Medizin und den Technikwissenschaften expliziert. Im zweiten Teil untersucht der Beitrag anhand von Abstracts, die von deutschen Studierenden der Technik- und Ingenieurwissenschaften im Rahmen ihrer fachbezogenen Englischausbildung verfasst wurden, inwieweit die textsortenimmanenten Merkmale auch von Lernenden in der Textproduktion in der Fremdsprache umgesetzt wurden. Mit dieser qualitativ beschreibenden Untersuchung trägt die Studie zur kontrastiven Fachtextsortenbeschreibung und andererseits als Praxisbericht zur Vermittlung von Textsorten im fachbezogenen Fremdsprachenunterricht an Hochschulen bei.

05421 Abstracts Collection - Data Always and Everywhere

DEFF Research Database (Denmark)

Alonso, G.; Jensen, Christian Søndergaard; Mitschang, B.

2006-01-01

From 16.10.05 to 21.10.05, the Dagstuhl Seminar 05421, Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data, was held in the International Conference and Research Center, Schloss Dagstuhl. During the seminar, all participants were given the opportunity...... to present their current research, and ongoing activities and open problems were discussed. This document is a collection of the abstracts of the presentations given during the seminar. Some abstracts offer links to extended abstracts, full papers, and other supporting documents. A separate companion...... document summarizes the seminar. The authors wish to acknowledge Victor Teixeira de Almeida, who served as collector for the seminar and thus played a key role in collecting materials from the seminar participants...

A "how-to" guide in preparing abstracts and poster presentations.

Science.gov (United States)

Boullata, Joseph I; Mancuso, Carissa E

2007-12-01

The preparation of an abstract or poster to share information from a project or case report with colleagues is a professional goal for many nutrition support practitioners. This paper provides an approach to help practitioners prepare an abstract for submission and subsequently a poster for presentation at a meeting. A nutrition support question that required collecting and evaluating information, or a unique patient case or case series, can serve as the focus of an abstract and subsequent poster. The professional meeting selected should be appropriate for the abstract topic, and the authors should closely adhere to the organization's abstract submission guidelines. The well-prepared abstract will then serve as the outline for the poster content; the visual aspect of the poster is also important to effectively communicate the information to colleagues at the meeting. Adequate time is required to prepare both the abstract and the poster in order to fittingly reflect the value of the information. Efforts in preparing the abstract will be worthwhile once the abstract has been accepted by reviewers for a poster session at the meeting. Likewise, the effort in preparing the poster in advance allows the presenter to enjoy the poster session and discuss the project with colleagues.

Reasoning abstractly about resources

Science.gov (United States)

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.

SPR 2017. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2017-05-15

The conference proceedings SPR 2017 include abstracts on the following issues: gastrointestinal radiography - inflammatory bowel diseases, cardiovascular CTA, general muscoskeletal radiology, muscoskeletal congenital development diseases, general pediatric radiology - chest, muscoskeletal imaging - marrow and infectious disorders, state-of-the-art body MR imaging, practical pediatric sonography, quality and professionalism, CT imaging in congenital heart diseases, radiographic courses, body MT techniques, contrast enhanced ultrasound, machine learning, forensic imaging, the radiation dos conundrum - reconciling imaging, imagining and managing, the practice of radiology, interventional radiology, neuroradiology, PET/MR.

Model and information abstraction for description-driven systems

International Nuclear Information System (INIS)

Estrella, F.; McClatchey, R.; Kovacs, Z.; Goff, J.-M.L.

2001-01-01

A crucial factor in the creation of adaptable systems dealing with changing requirements is the suitability of the underlying technology in allowing the evolution of the system. A reflective system utilizes an open architecture where implicit system aspects are reified to become explicit first-class (meta-data) objects. These implicit system aspects are often fundamental structures which are inaccessible and immutable, and their reification as meta-data objects can serve as the basis for changes and extensions to the system, making it self-describing. To address the evolvability issue, the author proposes a reflective architecture based on two orthogonal abstractions-model abstraction and information abstraction. In this architecture the modeling abstractions allow for the separation of the description meta-data from the system aspects they represent so that they can be managed and versioned independently, asynchronously and explicitly

Orthopaedic Section Poster Presentations (Abstracts OPO1-OPO300).

Science.gov (United States)

2018-01-01

These abstracts are presented here as prepared by the authors. The accuracy and content of each abstract remain the responsibility of the authors. In the identification number above each abstract, OPO designates an Orthopaedic Section poster presentation. J Orthop Sports Phys Ther 2018;48(1):A67-A202. doi:10.2519/jospt.2018.48.1.A67.

Land Application of Sewage Effluents and Sludges: Selected Abstracts.

Science.gov (United States)

Environmental Protection Agency, Washington, DC. Office of Research and Development.

This report contains 568 selected abstracts concerned with the land application of sewage effluents and sludges. The abstracts are arranged in chronological groupings of ten-year periods from the l940's to the mid-l970's. The report also includes an author index and a subject matter index to facilitate reference to specific abstracts or narrower…

Is searching full text more effective than searching abstracts?

Directory of Open Access Journals (Sweden)

Lin Jimmy

2009-02-01

Full Text Available Abstract Background With the growing availability of full-text articles online, scientists and other consumers of the life sciences literature now have the ability to go beyond searching bibliographic records (title, abstract, metadata to directly access full-text content. Motivated by this emerging trend, I posed the following question: is searching full text more effective than searching abstracts? This question is answered by comparing text retrieval algorithms on MEDLINE® abstracts, full-text articles, and spans (paragraphs within full-text articles using data from the TREC 2007 genomics track evaluation. Two retrieval models are examined: bm25 and the ranking algorithm implemented in the open-source Lucene search engine. Results Experiments show that treating an entire article as an indexing unit does not consistently yield higher effectiveness compared to abstract-only search. However, retrieval based on spans, or paragraphs-sized segments of full-text articles, consistently outperforms abstract-only search. Results suggest that highest overall effectiveness may be achieved by combining evidence from spans and full articles. Conclusion Users searching full text are more likely to find relevant articles than searching only abstracts. This finding affirms the value of full text collections for text retrieval and provides a starting point for future work in exploring algorithms that take advantage of rapidly-growing digital archives. Experimental results also highlight the need to develop distributed text retrieval algorithms, since full-text articles are significantly longer than abstracts and may require the computational resources of multiple machines in a cluster. The MapReduce programming model provides a convenient framework for organizing such computations.

Advanced light source: Compendium of user abstracts 1993-1996

International Nuclear Information System (INIS)

1997-04-01

This compendium contains abstracts written by users summarizing research completed or in progress from 1993-1996, ALS technical reports describing ongoing efforts related to improvement in machine operations and research and development projects, and information on ALS beamlines planned through 1998. Two tables of contents organize the user abstracts by beamline and by area of research, and an author index makes abstracts accessible by author and by principal investigator. Technical details for each beamline including whom to contact for additional information can be found in the beamline information section. Separate abstracts have been indexed into the database for contributions to this compendium

A Functional Correspondence Between Evaluators and Abstract Machines

DEFF Research Database (Denmark)

Ager, Mads Sig; Biernacki, Dariusz; Danvy, Olivier

2003-01-01

We bridge the gap between functional evaluators and abstract machines for the λ-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization.We illustrate this approach by deriving Krivine's abstract machine from an ordinary call-by-name evaluator an...

ABSTRACTION OF DRIFT SEEPAGE

International Nuclear Information System (INIS)

Wilson, Michael L.

2001-01-01

Drift seepage refers to flow of liquid water into repository emplacement drifts, where it can potentially contribute to degradation of the engineered systems and release and transport of radionuclides within the drifts. Because of these important effects, seepage into emplacement drifts is listed as a ''principal factor for the postclosure safety case'' in the screening criteria for grading of data in Attachment 1 of AP-3.15Q, Rev. 2, ''Managing Technical Product Inputs''. Abstraction refers to distillation of the essential components of a process model into a form suitable for use in total-system performance assessment (TSPA). Thus, the purpose of this analysis/model is to put the information generated by the seepage process modeling in a form appropriate for use in the TSPA for the Site Recommendation. This report also supports the Unsaturated-Zone Flow and Transport Process Model Report. The scope of the work is discussed below. This analysis/model is governed by the ''Technical Work Plan for Unsaturated Zone Flow and Transport Process Model Report'' (CRWMS MandO 2000a). Details of this activity are in Addendum A of the technical work plan. The original Work Direction and Planning Document is included as Attachment 7 of Addendum A. Note that the Work Direction and Planning Document contains tasks identified for both Performance Assessment Operations (PAO) and Natural Environment Program Operations (NEPO). Only the PAO tasks are documented here. The planning for the NEPO activities is now in Addendum D of the same technical work plan and the work is documented in a separate report (CRWMS MandO 2000b). The Project has been reorganized since the document was written. The responsible organizations in the new structure are the Performance Assessment Department and the Unsaturated Zone Department, respectively. The work plan for the seepage abstraction calls for determining an appropriate abstraction methodology, determining uncertainties in seepage, and providing

Earth Sciences Division collected abstracts: 1979

International Nuclear Information System (INIS)

Henry, A.L.; Schwartz, L.L.

1980-01-01

This report is a compilation of abstracts of papers, internal reports, and talks presented during 1979 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract iself is given only under the name of the first author or the first Earth Sciences Division author. A topical index at the end of the report provides useful cross references, while indicating major areas of research interest in the Earth Sciences Division

Pacifier Overuse and Conceptual Relations of Abstract and Emotional Concepts.

Science.gov (United States)

Barca, Laura; Mazzuca, Claudia; Borghi, Anna M

2017-01-01

This study explores the impact of the extensive use of an oral device since infancy (pacifier) on the acquisition of concrete, abstract, and emotional concepts. While recent evidence showed a negative relation between pacifier use and children's emotional competence (Niedenthal et al., 2012), the possible interaction between use of pacifier and processing of emotional and abstract language has not been investigated. According to recent theories, while all concepts are grounded in sensorimotor experience, abstract concepts activate linguistic and social information more than concrete ones. Specifically, the Words As Social Tools (WAT) proposal predicts that the simulation of their meaning leads to an activation of the mouth (Borghi and Binkofski, 2014; Borghi and Zarcone, 2016). Since the pacifier affects facial mimicry forcing mouth muscles into a static position, we hypothesize its possible interference on acquisition/consolidation of abstract emotional and abstract not-emotional concepts, which are mainly conveyed during social and linguistic interactions, than of concrete concepts. Fifty-nine first grade children, with a history of different frequency of pacifier use, provided oral definitions of the meaning of abstract not-emotional, abstract emotional, and concrete words. Main effect of concept type emerged, with higher accuracy in defining concrete and abstract emotional concepts with respect to abstract not-emotional concepts, independently from pacifier use. Accuracy in definitions was not influenced by the use of pacifier, but correspondence and hierarchical clustering analyses suggest that the use of pacifier differently modulates the conceptual relations elicited by abstract emotional and abstract not-emotional. While the majority of the children produced a similar pattern of conceptual relations, analyses on the few (6) children who overused the pacifier (for more than 3 years) showed that they tend to distinguish less clearly between concrete and

Pacifier Overuse and Conceptual Relations of Abstract and Emotional Concepts

Directory of Open Access Journals (Sweden)

Laura Barca

2017-12-01

Full Text Available This study explores the impact of the extensive use of an oral device since infancy (pacifier on the acquisition of concrete, abstract, and emotional concepts. While recent evidence showed a negative relation between pacifier use and children's emotional competence (Niedenthal et al., 2012, the possible interaction between use of pacifier and processing of emotional and abstract language has not been investigated. According to recent theories, while all concepts are grounded in sensorimotor experience, abstract concepts activate linguistic and social information more than concrete ones. Specifically, the Words As Social Tools (WAT proposal predicts that the simulation of their meaning leads to an activation of the mouth (Borghi and Binkofski, 2014; Borghi and Zarcone, 2016. Since the pacifier affects facial mimicry forcing mouth muscles into a static position, we hypothesize its possible interference on acquisition/consolidation of abstract emotional and abstract not-emotional concepts, which are mainly conveyed during social and linguistic interactions, than of concrete concepts. Fifty-nine first grade children, with a history of different frequency of pacifier use, provided oral definitions of the meaning of abstract not-emotional, abstract emotional, and concrete words. Main effect of concept type emerged, with higher accuracy in defining concrete and abstract emotional concepts with respect to abstract not-emotional concepts, independently from pacifier use. Accuracy in definitions was not influenced by the use of pacifier, but correspondence and hierarchical clustering analyses suggest that the use of pacifier differently modulates the conceptual relations elicited by abstract emotional and abstract not-emotional. While the majority of the children produced a similar pattern of conceptual relations, analyses on the few (6 children who overused the pacifier (for more than 3 years showed that they tend to distinguish less clearly between

Ghana energy abstracts

International Nuclear Information System (INIS)

Entsua-Mensah, Clement

1994-01-01

Ghana Energy Abstracts 1994 is the first issue of an annual publication of the Energy information Centre. The aim is to combine in one publication the country' s bibliographic output on energy so as to provide a valuable source of reference for policy makers, planners,and researchers. It covers the broad spectrum of energy including; energy conservation, energy resource management, petroleum and renewable energy resources.The documents listed comprise research reports, baseline studies,conference proceedings, periodical articles dissertations and theses. Keywords and author indexes have been provided to facilitate easy reference. (C.E.M)

ESPR 2015. Abstracts

International Nuclear Information System (INIS)

2015-01-01

The volume includes the abstracts of the ESPR 2015 covering the following topics: PCG (post graduate courses): Radiography; fluoroscopy and general issue; nuclear medicine, interventional radiology and hybrid imaging, pediatric CT, pediatric ultrasound; MRI in childhood. Scientific sessions and task force sessions: International aspects; neuroradiology, neonatal imaging, engineering techniques to simulate injury in child abuse, CT - dose and quality, challenges in the chest, cardiovascular and chest, muscoskeletal, oncology, pediatric uroradiology and abdominal imaging, fetal and postmortem imaging, education and global challenges, neuroradiology - head and neck, gastrointestinal and genitourinary.

ESPR 2015. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2015-05-10

The volume includes the abstracts of the ESPR 2015 covering the following topics: PCG (post graduate courses): Radiography; fluoroscopy and general issue; nuclear medicine, interventional radiology and hybrid imaging, pediatric CT, pediatric ultrasound; MRI in childhood. Scientific sessions and task force sessions: International aspects; neuroradiology, neonatal imaging, engineering techniques to simulate injury in child abuse, CT - dose and quality, challenges in the chest, cardiovascular and chest, muscoskeletal, oncology, pediatric uroradiology and abdominal imaging, fetal and postmortem imaging, education and global challenges, neuroradiology - head and neck, gastrointestinal and genitourinary.

Automated Predicate Abstraction for Real-Time Models

Directory of Open Access Journals (Sweden)

Bahareh Badban

2009-11-01

Full Text Available We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.

Abstracts of submitted papers

International Nuclear Information System (INIS)

1987-01-01

The conference proceedings contain 152 abstracts of presented papers relating to various aspects of personnel dosimetry, the dosimetry of the working and living environment, various types of dosemeters and spectrometers, the use of radionuclides in various industrial fields, the migration of radionuclides on Czechoslovak territory after the Chernobyl accident, theoretical studies of some parameters of ionizing radiation detectors, and their calibration. (M.D.)

Brain network response underlying decisions about abstract reinforcers.

Science.gov (United States)

Mills-Finnerty, Colleen; Hanson, Catherine; Hanson, Stephen Jose

2014-12-01

Decision making studies typically use tasks that involve concrete action-outcome contingencies, in which subjects do something and get something. No studies have addressed decision making involving abstract reinforcers, where there are no action-outcome contingencies and choices are entirely hypothetical. The present study examines these kinds of choices, as well as whether the same biases that exist for concrete reinforcer decisions, specifically framing effects, also apply during abstract reinforcer decisions. We use both General Linear Model as well as Bayes network connectivity analysis using the Independent Multi-sample Greedy Equivalence Search (IMaGES) algorithm to examine network response underlying choices for abstract reinforcers under positive and negative framing. We find for the first time that abstract reinforcer decisions activate the same network of brain regions as concrete reinforcer decisions, including the striatum, insula, anterior cingulate, and VMPFC, results that are further supported via comparison to a meta-analysis of decision making studies. Positive and negative framing activated different parts of this network, with stronger activation in VMPFC during negative framing and in DLPFC during positive, suggesting different decision making pathways depending on frame. These results were further clarified using connectivity analysis, which revealed stronger connections between anterior cingulate, insula, and accumbens during negative framing compared to positive. Taken together, these results suggest that not only do abstract reinforcer decisions rely on the same brain substrates as concrete reinforcers, but that the response underlying framing effects on abstract reinforcers also resemble those for concrete reinforcers, specifically increased limbic system connectivity during negative frames. Copyright © 2014 Elsevier Inc. All rights reserved.

Abstracts of Research, July 1973 through June 1974.

Science.gov (United States)

Ohio State Univ., Columbus. Computer and Information Science Research Center.

Abstracts of research papers in the fields of computer and information science are given; 72 papers are abstracted in the areas of information storage and retrieval, information processing, linguistic analysis, artificial intelligence, mathematical techniques, systems programing, and computer networks. In addition, the Ohio State University…

From abstract to peer-reviewed publication: country matters

DEFF Research Database (Denmark)

Østergaard, Lauge; Fosbøl, Philip L.; Harrington, Robert A.

2014-01-01

Medical conferences are key in the sharing of new scientific findings. However, results reported as conference-abstracts are generally not considered final before publication in a peer-reviewed journal. It is known that approximately 1/3 of the scientific results presented as abstracts at large...

Odors and Air Pollution: A Bibliography with Abstracts.

Science.gov (United States)

Environmental Protection Agency, Research Triangle Park, NC. Office of Air Programs.

The annotated bibliography presents a compilation of abstracts which deal with odors as they relate to air pollution. The abstracts are arranged within the following categories: Emission sources; Control methods; Measurement methods; Air quality measurements; Atmospheric interaction; Basic science and technology; Effects-human health;…

The Conversion of Cardiovascular Conference Abstracts to Publications

DEFF Research Database (Denmark)

Fosbøl, Emil L.; Fosbøl, Philip Loldrup; Harrington, Robert A.

2012-01-01

a systematic and automated evaluation of rates, timing, and correlates of publication from scientific abstracts presented at 3 major cardiovascular conferences. Methods and Results—Using an automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts......–3, 2.5–5.8) for ESC (P for difference between groups 0.01). Clinical science and population science were less likely to be published compared with basic science. Conclusions—One third of abstracts were translated into publications by 2 years after presentation and less than one half by 5 years after...

Differential emotional processing in concrete and abstract words.

Science.gov (United States)

Yao, Bo; Keitel, Anne; Bruce, Gillian; Scott, Graham G; O'Donnell, Patrick J; Sereno, Sara C

2018-02-12

Emotion (positive and negative) words are typically recognized faster than neutral words. Recent research suggests that emotional valence, while often treated as a unitary semantic property, may be differentially represented in concrete and abstract words. Studies that have explicitly examined the interaction of emotion and concreteness, however, have demonstrated inconsistent patterns of results. Moreover, these findings may be limited as certain key lexical variables (e.g., familiarity, age of acquisition) were not taken into account. We investigated the emotion-concreteness interaction in a large-scale, highly controlled lexical decision experiment. A 3 (Emotion: negative, neutral, positive) × 2 (Concreteness: abstract, concrete) design was used, with 45 items per condition and 127 participants. We found a significant interaction between emotion and concreteness. Although positive and negative valenced words were recognized faster than neutral words, this emotion advantage was significantly larger in concrete than in abstract words. We explored potential contributions of participant alexithymia level and item imageability to this interactive pattern. We found that only word imageability significantly modulated the emotion-concreteness interaction. While both concrete and abstract emotion words are advantageously processed relative to comparable neutral words, the mechanisms of this facilitation are paradoxically more dependent on imageability in abstract words. (PsycINFO Database Record (c) 2018 APA, all rights reserved).

Abstracting massive data for lightweight intrusion detection in computer networks

KAUST Repository

Wang, Wei

2016-10-15

Anomaly intrusion detection in big data environments calls for lightweight models that are able to achieve real-time performance during detection. Abstracting audit data provides a solution to improve the efficiency of data processing in intrusion detection. Data abstraction refers to abstract or extract the most relevant information from the massive dataset. In this work, we propose three strategies of data abstraction, namely, exemplar extraction, attribute selection and attribute abstraction. We first propose an effective method called exemplar extraction to extract representative subsets from the original massive data prior to building the detection models. Two clustering algorithms, Affinity Propagation (AP) and traditional . k-means, are employed to find the exemplars from the audit data. . k-Nearest Neighbor (k-NN), Principal Component Analysis (PCA) and one-class Support Vector Machine (SVM) are used for the detection. We then employ another two strategies, attribute selection and attribute extraction, to abstract audit data for anomaly intrusion detection. Two http streams collected from a real computing environment as well as the KDD\\'99 benchmark data set are used to validate these three strategies of data abstraction. The comprehensive experimental results show that while all the three strategies improve the detection efficiency, the AP-based exemplar extraction achieves the best performance of data abstraction.

Abstract Algebra for Teachers: An Evaluative Case Study

Science.gov (United States)

Hoffman, Andrew Joseph

2017-01-01

This manuscript describes the study of an abstract algebra course for preservice secondary mathematics teachers (PSMTs). Often, courses in abstract algebra have not been viewed as productive, beneficial learning experiences for future teachers, both by researchers and PSMTs themselves. This despite calls for increased content knowledge for…

EIA data index: an abstract journal

International Nuclear Information System (INIS)

1980-12-01

The individual tables, graphs, and formatted data presented in the statistical publications of the Energy Information Administration (EIA) are abstracted and indexed. Included are a complete subject index and a report number listing for all EIA publications as well as complete ordering information for these publications. The abstracts of the tables and graphs are arranged by broad subject categories (e.g., coal, petroleum, natural gas, energy analysis and modeling) with further division occurring by subcategories (e.g., reserves, drilling and production, processing). Included here are those publications and their statistical contents which were released by the EIA from its formation in October 1977 through approximately the first half of 1980. Updates will be on a semiannual basis. The EIA Data Index is a companion volume to the EIA Publications Directory: A User's Guide (DOE/EIA-0149), which provides abstracts and indexes to all EIA publications at the document level. Both of these publications are generated from the Federal Energy Data Index (FEDEX) data base which has been developed by the EIA in cooperation with the Technical Information Center of the US Department of Energy

The abstract representations in speech processing.

Science.gov (United States)

Cutler, Anne

2008-11-01

Speech processing by human listeners derives meaning from acoustic input via intermediate steps involving abstract representations of what has been heard. Recent results from several lines of research are here brought together to shed light on the nature and role of these representations. In spoken-word recognition, representations of phonological form and of conceptual content are dissociable. This follows from the independence of patterns of priming for a word's form and its meaning. The nature of the phonological-form representations is determined not only by acoustic-phonetic input but also by other sources of information, including metalinguistic knowledge. This follows from evidence that listeners can store two forms as different without showing any evidence of being able to detect the difference in question when they listen to speech. The lexical representations are in turn separate from prelexical representations, which are also abstract in nature. This follows from evidence that perceptual learning about speaker-specific phoneme realization, induced on the basis of a few words, generalizes across the whole lexicon to inform the recognition of all words containing the same phoneme. The efficiency of human speech processing has its basis in the rapid execution of operations over abstract representations.

Moves Analysis on Abstracts Written by the Students in Academic Writing Class

Directory of Open Access Journals (Sweden)

Ajeng Setyorini

2017-09-01

Full Text Available This paper contains analysis results on abstracts written by students in Academic Writing course. The analysis includes analyses on moves and linguistic features. The analysis aims at finding out how the abstract writing structures of the English Education students are in the Academic Writing course. The abstract analysis also includes the analysis on the use of the linguistic features in the abstracts. The analysis uses a qualitative research approach. There are totally 10 abstracts that are analyzed. These are then called as the data. Data obtained is analyzed using genre analysis approach. Results of analysis on the 10 abstracts showed that some of the abstracts are written using 5 kinds of moves. All of the abstracts are found using Purpose Move and Method Move. Meanwhile, Situation Move is found in 5 abstracts. 8 abstracts are identified using Result Move. Conclusion Move is found in 5 abstracts. The results also show that all of the abstract writers use pronouns ‘the writer’ and ‘the researcher’. The use of personal pronoun ‘she’ is also found in 1 abstract. Hedges used in abstracts written by students in Academic Writing course vary from modal auxiliary verbs, adjectival, adverbial, nominal to Approximates of degree.

Enhancements to the NASA Astrophysics Science Information and Abstract Service

Science.gov (United States)

Kurtz, M. J.; Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Murray, S. S.

1995-05-01

The NASA Astrophysics Data System Astrophysics Science Information and Abstract Service, the extension of the ADS Abstract Service continues rapidly to expand in both use and capabilities. Each month the service is used by about 4,000 different people, and returns about 1,000,000 pieces of bibliographic information. Among the recent additions to the system are: 1. Whole Text Access. In addition to the ApJ Letters we now have whole text for the ApJ on-line, soon we will have AJ and Rev. Mexicana. Discussions with other publishers are in progress. 2. Space Instrumentation Database. We now provide a second abstract service, covering papers related to space instruments. This is larger than the astronomy and astrophysics database in terms of total abstracts. 3. Reference Books and Historical Journals. We have begun putting the SAO Annals and the HCO Annals on-line. We have put the Handbook of Space Astronomy and Astrophysics by M.V. Zombeck (Cambridge U.P.) on-line. 4. Author Abstracts. We can now include original abstracts in addition to those we get from the NASA STI Abstracts Database. We have included abstracts for A&A in collaboration with the CDS in Strasbourg, and are collaborating with the AAS and the ASP on others. We invite publishers and editors of journals and conference proceedings to include their original abstracts in our service; send inquiries via e-mail to ads@cfa.harvard.edu. 5. Author Notes. We now accept notes and comments from authors of articles in our database. These are arbitrary html files and may contain pointers to other WWW documents, they are listed along with the abstracts, whole text, and data available in the index listing for every reference. The ASIAS is available at: http://adswww.harvard.edu/

Analysis of subsequent publication of scientific orally presented abstracts of the French National Congress of Radiology. Part II: Focus on the French abstracts.

Science.gov (United States)

Dangouloff-Ros, V; Ronot, M; Lagadec, M; Vilgrain, V

2015-05-01

To evaluate the publication rate of scientific abstracts that were presented orally at the 2008, 2009, and 2010 annual meetings of the French Society of Radiology by French radiologists, and to perform a French regional analysis. Orally presented abstracts were identified by examining online abstract books of the 2008, 2009, and 2010 annual meetings of the French Society of Radiology, and cross-checked by reviewing the paper version of abstracts for the same period. Only abstracts from French teams were selected. The administrative region of submission was noted for each abstract and for each region the total population, the number of active radiologists, the number of active members of the French Society of Radiology and the number of academic radiologists were noted. Imaging subspecialties were also noted. 625 abstracts were identified resulting in 268 publications (publication rate: 43%). The median number of presentations and publications per region was 18 (range: 1-255) and 7 (range: 0-101), respectively. The ratio per million inhabitants was 7.5 and 3 respectively. The median number of presentations and publications per 100 active radiologists (respectively members of the FSR) was 7 and 3 (respectively 10 and 4). The median number of presentations and publications per academic radiologist were 2.6, and 1.2, respectively. The regional variations for each indicator were high (40-180%). Three subspecialties had a publication rate of more than 50%: thoracic imaging (58%), abdominal imaging (52%), and genitourinary imaging (51%). The publication rate of orally presented French scientific abstracts was high, with important variations according to the regions of origin and imaging subspecialties. Copyright © 2015 Éditions françaises de radiologie. Published by Elsevier Masson SAS. All rights reserved.

Abstract Cauchy problems three approaches

CERN Document Server

Melnikova, Irina V

2001-01-01

Although the theory of well-posed Cauchy problems is reasonably understood, ill-posed problems-involved in a numerous mathematical models in physics, engineering, and finance- can be approached in a variety of ways. Historically, there have been three major strategies for dealing with such problems: semigroup, abstract distribution, and regularization methods. Semigroup and distribution methods restore well-posedness, in a modern weak sense. Regularization methods provide approximate solutions to ill-posed problems. Although these approaches were extensively developed over the last decades by many researchers, nowhere could one find a comprehensive treatment of all three approaches.Abstract Cauchy Problems: Three Approaches provides an innovative, self-contained account of these methods and, furthermore, demonstrates and studies some of the profound connections between them. The authors discuss the application of different methods not only to the Cauchy problem that is not well-posed in the classical sense, b...

Is searching full text more effective than searching abstracts?

Science.gov (United States)

Lin, Jimmy

2009-02-03

With the growing availability of full-text articles online, scientists and other consumers of the life sciences literature now have the ability to go beyond searching bibliographic records (title, abstract, metadata) to directly access full-text content. Motivated by this emerging trend, I posed the following question: is searching full text more effective than searching abstracts? This question is answered by comparing text retrieval algorithms on MEDLINE abstracts, full-text articles, and spans (paragraphs) within full-text articles using data from the TREC 2007 genomics track evaluation. Two retrieval models are examined: bm25 and the ranking algorithm implemented in the open-source Lucene search engine. Experiments show that treating an entire article as an indexing unit does not consistently yield higher effectiveness compared to abstract-only search. However, retrieval based on spans, or paragraphs-sized segments of full-text articles, consistently outperforms abstract-only search. Results suggest that highest overall effectiveness may be achieved by combining evidence from spans and full articles. Users searching full text are more likely to find relevant articles than searching only abstracts. This finding affirms the value of full text collections for text retrieval and provides a starting point for future work in exploring algorithms that take advantage of rapidly-growing digital archives. Experimental results also highlight the need to develop distributed text retrieval algorithms, since full-text articles are significantly longer than abstracts and may require the computational resources of multiple machines in a cluster. The MapReduce programming model provides a convenient framework for organizing such computations.

Biocards and Level of Abstraction

DEFF Research Database (Denmark)

Lenau, Torben Anker; Keshwani, Sonal; Chakrabarti, Amaresh

2015-01-01

Biocards are formal descriptions of biological phenomena and their underlying functional principles. They are used in bioinspired design to document search results and to communicate the findings for use in the further design process. The present study explored the effect of abstraction level used...

Abstract Interpretation of Mobile Ambients

DEFF Research Database (Denmark)

Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming

1999-01-01

We demonstrate that abstract interpretation is useful for analysing calculi of computation such as the ambient calculus (which is based on the p-calculus); more importantly, we show that the entire development can be expressed in a constraint-based formalism that is becoming exceedingly popular...

Abstract Interpretation Using Attribute Grammar

DEFF Research Database (Denmark)

Rosendahl, Mads

1990-01-01

This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof...

Research Abstracts of 1979.

Science.gov (United States)

1979-12-01

abscess formation and tissue necrosis, its relationship to periodontal pockets was investigated. Specimens were obtained from maxillary and mandibular...of Organisms and Periodontal Pockets." (Abstract 4853). 10. SIMONSON, Lo Go, LAMDERTS, B. L. and JACROLA, Do R. - "Effects of Dextranases and other...the tip of the periodontal probe rests within epithelium, at or slightly apical to the coronal extent of the junctional epithelium. The purpose of

NPP life management (abstracts)

International Nuclear Information System (INIS)

Litvinskij, L.L.; Barbashev, S.V.

2002-01-01

Abstracts of the papers presented at the International conference of the Ukrainian Nuclear Society 'NPP Life Management'. The following problems are considered: modernization of the NPP; NPP life management; waste and spent nuclear fuel management; decommissioning issues; control systems (including radiation and ecological control systems); information and control systems; legal and regulatory framework. State nuclear regulatory control; PR in nuclear power; training of personnel; economics of nuclear power engineering

A logical correspondence between natural semantics and abstract machines

DEFF Research Database (Denmark)

Simmons, Robert J.; Zerny, Ian

2013-01-01

We present a logical correspondence between natural semantics and abstract machines. This correspondence enables the mechanical and fully-correct construction of an abstract machine from a natural semantics. Our logical correspondence mirrors the Reynolds functional correspondence, but we...... manipulate semantic specifications encoded in a logical framework instead of manipulating functional programs. Natural semantics and abstract machines are instances of substructural operational semantics. As a byproduct, using a substructural logical framework, we bring concurrent and stateful models...

Selected Translated Abstracts of Chinese-Language Climate Change Publications; TOPICAL

International Nuclear Information System (INIS)

Cushman, R.M.; Burtis, M.D.

1999-01-01

This report contains English-translated abstracts of important Chinese-language literature concerning global climate change for the years 1995-1998. This body of literature includes the topics of adaptation, ancient climate change, climate variation, the East Asia monsoon, historical climate change, impacts, modeling, and radiation and trace-gas emissions. In addition to the biological citations and abstracts translated into English, this report presents the original citations and abstracts in Chinese. Author and title indexes are included to assist the reader in locating abstracts of particular interest

Complete Abstractions of Dynamical Systems by Timed Automata

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2013-01-01

This paper addresses the generation of complete abstractions of polynomial dynamical systems by timed automata. For the proposed abstraction, the state space is divided into cells by sublevel sets of functions. We identify a relation between these functions and their directional derivatives along...... to approximate the dynamical system, in a subset of admissible subdivisioning functions....

Comprehension of concrete and abstract words in semantic dementia

Science.gov (United States)

Jefferies, Elizabeth; Patterson, Karalyn; Jones, Roy W.; Lambon Ralph, Matthew A.

2009-01-01

The vast majority of brain-injured patients with semantic impairment have better comprehension of concrete than abstract words. In contrast, several patients with semantic dementia (SD), who show circumscribed atrophy of the anterior temporal lobes bilaterally, have been reported to show reverse imageability effects, i.e., relative preservation of abstract knowledge. Although these reports largely concern individual patients, some researchers have recently proposed that superior comprehension of abstract concepts is a characteristic feature of SD. This would imply that the anterior temporal lobes are particularly crucial for processing sensory aspects of semantic knowledge, which are associated with concrete not abstract concepts. However, functional neuroimaging studies of healthy participants do not unequivocally predict reverse imageability effects in SD because the temporal poles sometimes show greater activation for more abstract concepts. We examined a case-series of eleven SD patients on a synonym judgement test that orthogonally varied the frequency and imageability of the items. All patients had higher success rates for more imageable as well as more frequent words, suggesting that (a) the anterior temporal lobes underpin semantic knowledge for both concrete and abstract concepts, (b) more imageable items – perhaps due to their richer multimodal representations – are typically more robust in the face of global semantic degradation and (c) reverse imageability effects are not a characteristic feature of SD. PMID:19586212

NSF-RANN trace contaminants abstracts

International Nuclear Information System (INIS)

Copenhaver, E.D.; Harnden, D.S.

1976-10-01

Specific areas of interest of the Environmental Aspects of Trace Contaminants Program are organic chemicals of commerce, metals and organometallic compounds, air-borne contaminants, and environmental assay methodology. Fifty-three abstracts of literature on trace contaminants are presented. Author, keyword, and permuted title indexes are included

Ad Oculos. Images, Imagination and Abstract Thinking

Directory of Open Access Journals (Sweden)

Alessandra Cirafici

2018-03-01

Full Text Available The unusual edition of Elements of Euclid released for publishing in 1847 by Oliver Byrne offers the occasion to suggest a few elements for discussion on the uniqueness of the ‘representation’ of geometric-mathematical thinking—and more in general of the abstract thinking—enshrined in its ‘nature of a pure imaginative vision able to connect the intelligible with the tangible’. The purpose is, thus, a reasoning on images and communicative artefacts, that, when articulated, provide different variations of the idea of ‘transcription’ of complex theoretical structures from one language (that of abstract logic to another (that of sensory experience, with a view to facilitate, ease and make more accurate the noetic process. Images able over time to facilitate the understanding of complex and abstract theoretical principles—since able to show them in an extremely concrete way, ad oculos,—and which at some points could reveal the horizons of art interpretation to inscrutable and figurative meaningless formulas.

Learning abstract algebra with ISETL

CERN Document Server

Dubinsky, Ed

1994-01-01

Most students in abstract algebra classes have great difficulty making sense of what the instructor is saying. Moreover, this seems to remain true almost independently of the quality of the lecture. This book is based on the constructivist belief that, before students can make sense of any presentation of abstract mathematics, they need to be engaged in mental activities which will establish an experiential base for any future verbal explanation. No less, they need to have the opportunity to reflect on their activities. This approach is based on extensive theoretical and empirical studies as well as on the substantial experience of the authors in teaching astract algebra. The main source of activities in this course is computer constructions, specifically, small programs written in the mathlike programming language ISETL; the main tool for reflections is work in teams of 2-4 students, where the activities are discussed and debated. Because of the similarity of ISETL expressions to standard written mathematics...

Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

CERN Document Server

Raynal, Michel

2010-01-01

Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction

Information literacy and abstracting: interdisciplinary issues for linguists and information professionals

Directory of Open Access Journals (Sweden)

Tibor Koltay

2010-04-01

Full Text Available Information literacy is a complex phenomenon that requires a multifaceted interdisciplinary approach as it is related to verbal communication, literacy, functional literacy and academic literacy, including issues of plagiarism. It also includes text authoring in a full range of genres, among others abstracts. Abstracting is a well-known act of verbal communication, and abstracts are a genre of written communication. The essence of abstracting is summarizing information making use of critical reading. Abstracting thus can be regarded as one of the instances of exercising information literacy on a higher level. Both information literacy and abstracting are of prime professional interest for linguists (among others in the field of ESP and information professionals.

Experiencing art: the influence of expertise and painting abstraction level

Directory of Open Access Journals (Sweden)

Elina ePihko

2011-09-01

Full Text Available How does expertise influence the perception of representational and abstract paintings? We asked 20 experts on art history and 20 laypersons to explore and evaluate a series of paintings ranging in style from representational to abstract in five categories. We compared subjective aesthetic judgments and emotional evaluations, gaze patterns, and electrodermal reactivity between the two groups of participants. The level of abstraction affected aesthetic judgments and emotional valence ratings of the laypersons but had no effect on the opinions of the experts: the laypersons’ aesthetic and emotional ratings were highest for representational paintings and lowest for abstract paintings, whereas the opinions of the experts were independent of the abstraction level. The gaze patterns of both groups changed as the level of abstraction increased: the number of fixations and the length of the scanpaths increased while the duration of the fixations decreased. The viewing strategies—reflected in the target, location and path of the fixations—however indicated that experts and laypersons paid attention to different aspects of the paintings. The electrodermal reactivity did not vary according to the level of abstraction in either group but expertise was reflected in weaker responses, compared with laypersons, to information received about the paintings.

Fate of abstracts presented at a National Turkish Orthopedics and Traumatology Congress: publication rates and consistency of abstracts compared with their subsequent full-text publications.

Science.gov (United States)

Yalçınkaya, Merter; Bagatur, Erdem

2013-01-01

The aim of this study was to evaluate the publication rates of full-text articles after presentation of abstracts at a Turkish National Orthopaedics and Traumatology Congress, determine the time lag from the congress date to publication of full-text articles and assess the consistency between abstracts and the subsequent publications. All abstracts from the scientific program of the 20th Turkish National Orthopaedics and Traumatology Congress (2007) were identified and computerized PubMed searches were conducted to determine whether an abstract had been followed by publication of a full-text article and key features were compared to evaluate their consistency. The time lag to publication and the impact factors of the journals where the articles were published were noted. Of the 770 abstracts (264 oral, 506 poster presentations), 227 (29.5%) were followed by a full-text and 116 (44%) of the 264 oral and 111 (22%) of the 506 poster presentations were published. The mean time to publication was 14.9±16.075 (range: 33 to 55) months. Thirty-three (14.5%) were published prior to the presentation at the congress. The likelihood of publication decreased after the third year (26 of 227, 11.5%). A total of 182 (80.2%) articles showed inconsistencies with the abstract; 74 (32.6%) minor, 14 (6.2%) major, and 94 (41.4%) minor and major inconsistencies. The mean impact factor of the journals was 1.152±0.858. The vast majority of abstracts presented at this congress were not followed by publication of a full-text article. Additionally, frequent inconsistencies between the final published article and the original abstract indicated the inadequacy of quality of reporting in abstracts.

The neural representation of abstract words: the role of emotion.

Science.gov (United States)

Vigliocco, Gabriella; Kousta, Stavroula-Thaleia; Della Rosa, Pasquale Anthony; Vinson, David P; Tettamanti, Marco; Devlin, Joseph T; Cappa, Stefano F

2014-07-01

It is generally assumed that abstract concepts are linguistically coded, in line with imaging evidence of greater engagement of the left perisylvian language network for abstract than concrete words (Binder JR, Desai RH, Graves WW, Conant LL. 2009. Where is the semantic system? A critical review and meta-analysis of 120 functional neuroimaging studies. Cerebral Cortex. 19:2767-2796; Wang J, Conder JA, Blitzer DN, Shinkareva SV. 2010. Neural representation of abstract and concrete concepts: A meta-analysis of neuroimaging studies. Hum Brain Map. 31:1459-1468). Recent behavioral work, which used tighter matching of items than previous studies, however, suggests that abstract concepts also entail affective processing to a greater extent than concrete concepts (Kousta S-T, Vigliocco G, Vinson DP, Andrews M, Del Campo E. The representation of abstract words: Why emotion matters. J Exp Psychol Gen. 140:14-34). Here we report a functional magnetic resonance imaging experiment that shows greater engagement of the rostral anterior cingulate cortex, an area associated with emotion processing (e.g., Etkin A, Egner T, Peraza DM, Kandel ER, Hirsch J. 2006. Resolving emotional conflict: A role for the rostral anterior cingulate cortex in modulating activity in the amygdala. Neuron. 52:871), in abstract processing. For abstract words, activation in this area was modulated by the hedonic valence (degree of positive or negative affective association) of our items. A correlation analysis of more than 1,400 English words further showed that abstract words, in general, receive higher ratings for affective associations (both valence and arousal) than concrete words, supporting the view that engagement of emotional processing is generally required for processing abstract words. We argue that these results support embodiment views of semantic representation, according to which, whereas concrete concepts are grounded in our sensory-motor experience, affective experience is crucial in the

Selected Translated Abstracts of Russian-Language Climate-Change Publications, II. Clouds

Energy Technology Data Exchange (ETDEWEB)

Ravina, C.B.

1994-01-01

This report presents abstracts (translated into English) of important Russian-language literature concerning clouds as they relate to climate change. In addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included, to assist the reader in locating abstracts of particular interest.

What does the brain tell us about abstract art?

Directory of Open Access Journals (Sweden)

Vered eAviv

2014-02-01

Full Text Available In this essay I focus on the question of why we are attracted to abstract art (or, perhaps more accurately, non-representational art. After elaborating on the processing of visual art in general and abstract art in particular, I discuss recent data from neuroscience and behavioral studies related to abstract art. I conclude with several speculations concerning our apparent appeal to this particular type of art. In particular, I claim that abstract art frees our brain from the dominance of reality, enabling it to flow within its inner states, create new emotional and cognitive associations, and activate brain-states that are otherwise harder to access. This process is apparently rewarding as it enables the exploration of yet undiscovered inner territories of the viewer’s brain.

Arche papers on the mathematics of abstraction

CERN Document Server

Cook, Roy T

2007-01-01

This volume collects together a number of important papers concerning both the method of abstraction generally and the use of particular abstraction principles to reconstruct central areas of mathematics along logicist lines. Gottlob Frege's original logicist project was, in effect, refuted by Russell's paradox. Crispin Wright has recently revived Frege's enterprise, however, providing a philosophical and technical framework within which a reconstruction of arithmetic is possible. While the Neo-Fregean project has recieved extensive attention and discussion, the present volume is unique in pre

From Outermost Reduction Semantics to Abstract Machine

DEFF Research Database (Denmark)

Danvy, Olivier; Johannsen, Jacob

to transform a reduction-based normalization function into a reduction-free one where the reduction sequence is not enumerated. This reduction-free normalization function takes the form of an abstract machine that navigates from one redex site to the next without systematically detouring via the root...... of a redex. In this article, we consider such an outermost reduction semantics with backward-overlapping rules, and we investigate how to apply refocusing to still obtain a reduction-free normalization function in the form of an abstract machine....

Research Abstracts of 1982.

Science.gov (United States)

1982-12-01

Third Molars in Naval Personnel,- (Abstract #1430) 7. A. SEROWSKI* and F. AKER --"The Effect of Marine and Fresh-Water Atmospheric Environments on...record to determine changes in surface coverage or other outcomes -- extraction, endodontic therapy , crown placement -- which occurred over time. The...MR0412002-0443. 0 e5 History of Retention and Extraction of Third Molars in Naval Personnel. D. C. SCHROEDER*, J. C. CECIL and M. E. COHEN. Naval

Teaching abstraction in introductory courses

NARCIS (Netherlands)

Koppelman, Herman; van Dijk, Betsy

Abstraction is viewed as a key concept in computer science. It is not only an important concept but also one that is difficult to master. This paper focuses on the problems that novices experience when they first encounter this concept. Three assignments from introductory courses are analyzed, to

Control-flow analysis of function calls and returns by abstract interpretation

DEFF Research Database (Denmark)

Midtgaard, Jan; Jensen, Thomas P.

2009-01-01

We derive a control-flow analysis that approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. In addition to an abstract environment, our analysis computes for each expression an abstract control stack......, effectively approximating where function calls return across optimized tail calls. The analysis is systematically calculated by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. Abstract interpretation provides a unifying setting in which...

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2011-01-01

This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov...... functions. This partitioning ensures that the vector field of the dynamical system is transversal to all facets of the cells, which induces some desirable properties of the abstraction. The algorithm is based on identifying intersections of level sets of quadratic Lyapunov functions, and determining...

Program and abstracts

International Nuclear Information System (INIS)

1978-01-01

This volume contains the program and abstracts of the conference. The following topics are included: metal vapor molecular lasers, magnetohydrodynamics, rare gas halide and nuclear pumped lasers, transfer mechanisms in arcs, kinetic processes in rare gas halide lasers, arcs and flows, XeF kinetics and lasers, fundamental processes in excimer lasers, electrode effects and vacuum arcs, electron and ion transport, ion interactions and mobilities, glow discharges, diagnostics and afterglows, dissociative recombination, electron ionization and excitation, rare gas excimers and group VI lasers, breakdown, novel laser pumping techniques, electrode-related discharge phenomena, photon interactions, attachment, plasma chemistry and infrared lasers, electron scattering, and reactions of excited species

IPR 2016. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2016-05-15

The volume on the meeting of pediatric radiology includes abstract on the following issues: chest, cardiovascular system, neuroradiology, CT radiation DRs (diagnostic reference levels) and dose reporting guidelines, genitourinary imaging, gastrointestinal radiology, oncology an nuclear medicine, whole body imaging, fetal/neonates imaging, child abuse, oncology and hybrid imaging, value added imaging, muscoskeletal imaging, dose and radiation safety, imaging children - immobilization and distraction techniques, information - education - QI and healthcare policy, ALARA, the knowledge skills and competences for a technologist/radiographer in pediatric radiology, full exploitation of new technological features in pediatric CT, image quality issues in pediatrics, abdominal imaging, interventional radiology, MR contrast agents, tumor - mass imaging, cardiothoracic imaging, ultrasonography.

IPR 2016. Abstracts

International Nuclear Information System (INIS)

2016-01-01

The volume on the meeting of pediatric radiology includes abstract on the following issues: chest, cardiovascular system, neuroradiology, CT radiation DRs (diagnostic reference levels) and dose reporting guidelines, genitourinary imaging, gastrointestinal radiology, oncology an nuclear medicine, whole body imaging, fetal/neonates imaging, child abuse, oncology and hybrid imaging, value added imaging, muscoskeletal imaging, dose and radiation safety, imaging children - immobilization and distraction techniques, information - education - QI and healthcare policy, ALARA, the knowledge skills and competences for a technologist/radiographer in pediatric radiology, full exploitation of new technological features in pediatric CT, image quality issues in pediatrics, abdominal imaging, interventional radiology, MR contrast agents, tumor - mass imaging, cardiothoracic imaging, ultrasonography.

Abstract concepts, language and sociality: from acquisition to inner speech.

Science.gov (United States)

Borghi, Anna M; Barca, Laura; Binkofski, Ferdinand; Tummolini, Luca

2018-08-05

The problem of representation of abstract concepts, such as 'freedom' and 'justice', has become particularly crucial in recent years, owing to the increased success of embodied and grounded views of cognition. We will present a novel view on abstract concepts and abstract words. Since abstract concepts do not have single objects as referents, children and adults might rely more on input from others to learn them; we, therefore, suggest that linguistic and social experience play an important role for abstract concepts. We will discuss evidence obtained in our and other laboratories showing that processing of abstract concepts evokes linguistic interaction and social experiences, leading to the activation of the mouth motor system. We will discuss the possible mechanisms that underlie this activation. Mouth motor system activation can be due to re-enactment of the experience of conceptual acquisition, which occurred through the mediation of language. Alternatively, it could be due to the re-explanation of the word meaning, possibly through inner speech. Finally, it can be due to a metacognitive process revealing low confidence in the meaning of our concepts. This process induces in us the need to rely on others to ask/negotiate conceptual meaning. We conclude that with abstract concepts language works as a social tool: it extends our thinking abilities and pushes us to rely on others to integrate our knowledge.This article is part of the theme issue 'Varieties of abstract concepts: development, use, and representation in the brain'. © 2018 The Author(s).

Abstract generalized vector quasi-equilibrium problems in noncompact Hadamard manifolds

Directory of Open Access Journals (Sweden)

Haishu Lu

2017-05-01

Full Text Available Abstract This paper deals with the abstract generalized vector quasi-equilibrium problem in noncompact Hadamard manifolds. We prove the existence of solutions to the abstract generalized vector quasi-equilibrium problem under suitable conditions and provide applications to an abstract vector quasi-equilibrium problem, a generalized scalar equilibrium problem, a scalar equilibrium problem, and a perturbed saddle point problem. Finally, as an application of the existence of solutions to the generalized scalar equilibrium problem, we obtain a weakly mixed variational inequality and two mixed variational inequalities. The results presented in this paper unify and generalize many known results in the literature.

ILL2020 Vision - Posters and Abstracts

International Nuclear Information System (INIS)

Baker, M.L.; Bocian, A.; Bousige, C.; Cermak, P.; Cooper, J.F.K.; Cronenberg, G.; Ford, S.; Hennig, M.; Jones, A.O.F.; Knoll, W.; Leung, K.; Mourigal, M.; Sigrist, M.S.; Trapp, M.; Wang, Weiwei; Martinez Pena, J.L.; Ruegg, C.; Bramwell, S.; Klotz, S.; Fragneto, G.; Fouquet, P.; Nesvizhevsky, V.V.; Harrison, A.; Andersen, K.; Lelievre-Berna, E.; Schober, H.; Enderle, M.; Jobic, H.; Wilson, C.C.; Teschner, D.; Bourges, P.; Braden, M.; McMorrow, D.; Snogerup Linse, S.; Podjarny, A.; Richardson, J.; Schurtenberger, P.; Farago, B.; Pfrang, C.; Simpson, G.; Plonka-Spehr, C.; Nuttall, W.J.; Chapon, L.C.; Koza, M.M.; Withers, P.J.; Zabel, H.; Lyonnard, S.; Morineau, D.; Salmon, P.S.; Johnson, M.; Forsyth, T.; Wagner, R.

2011-01-01

The aim of the Millennium Programme is to maintain and develop the ILL's instrument suite as the world reference, as well as to upgrade our support facilities and basic neutron technologies so that they continue to satisfy changing demands from the user community. This document gathers the abstracts of the poster session and the paper abstracts. The posters present the latest achievements in the application of neutrons diffraction for instance to the dynamics of molecules or the study of magnetism. The topics of the papers is more about the need for new equipment than about research topics. The proposals for new or upgraded equipment includes neutron spin-echo spectrometers, multimodal diffractometers, time-of-flight spectrometers, small angle neutron spectrometers, and high magnetic field devices for spectroscopy

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1994-03-01

This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission staff and its contractors. There are four types of reports included: staff reports, conference reports, contractor reports, and international agreement reports. In addition to the main citations with abstracts, the following are also included: Secondary report number index; Personal author index; Subject index; NRC originating organization indices for staff reports and international agreement reports; NRC contract sponsor index; Contractor index; International organization index; and Licensed facility index

13th International Mass Spectrometry Conference. Book of Abstracts

International Nuclear Information System (INIS)

1994-01-01

The collection contains abstracts of several hundred papers presented at the international conference on new research and development results and applications of mass spectrometry. Abstracts falling into the INIS scope were indexed separately in the INIS database. (Roboz, P.)

13th International Mass Spectrometry Conference. Book of Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1994-12-31

The collection contains abstracts of several hundred papers presented at the international conference on new research and development results and applications of mass spectrometry. Abstracts falling into the INIS scope were indexed separately in the INIS database. (Roboz, P.).

Coupling Radar Rainfall to Hydrological Models for Water Abstraction Management

Science.gov (United States)

Asfaw, Alemayehu; Shucksmith, James; Smith, Andrea; MacDonald, Ken

2015-04-01

The impacts of climate change and growing water use are likely to put considerable pressure on water resources and the environment. In the UK, a reform to surface water abstraction policy has recently been proposed which aims to increase the efficiency of using available water resources whilst minimising impacts on the aquatic environment. Key aspects to this reform include the consideration of dynamic rather than static abstraction licensing as well as introducing water trading concepts. Dynamic licensing will permit varying levels of abstraction dependent on environmental conditions (i.e. river flow and quality). The practical implementation of an effective dynamic abstraction strategy requires suitable flow forecasting techniques to inform abstraction asset management. Potentially the predicted availability of water resources within a catchment can be coupled to predicted demand and current storage to inform a cost effective water resource management strategy which minimises environmental impacts. The aim of this work is to use a historical analysis of UK case study catchment to compare potential water resource availability using modelled dynamic abstraction scenario informed by a flow forecasting model, against observed abstraction under a conventional abstraction regime. The work also demonstrates the impacts of modelling uncertainties on the accuracy of predicted water availability over range of forecast lead times. The study utilised a conceptual rainfall-runoff model PDM - Probability-Distributed Model developed by Centre for Ecology & Hydrology - set up in the Dove River catchment (UK) using 1km2 resolution radar rainfall as inputs and 15 min resolution gauged flow data for calibration and validation. Data assimilation procedures are implemented to improve flow predictions using observed flow data. Uncertainties in the radar rainfall data used in the model are quantified using artificial statistical error model described by Gaussian distribution and

Medical physics 2013. Abstracts

International Nuclear Information System (INIS)

Treuer, Harald

2013-01-01

The proceedings of the medical physics conference 2013 include abstract of lectures and poster sessions concerning the following issues: Tele-therapy - application systems, nuclear medicine and molecular imaging, neuromodulation, hearing and technical support, basic dosimetry, NMR imaging -CEST (chemical exchange saturation transfer), medical robotics, magnetic particle imaging, audiology, radiation protection, phase contrast - innovative concepts, particle therapy, brachytherapy, computerized tomography, quantity assurance, hybrid imaging techniques, diffusion and lung NMR imaging, image processing - visualization, cardiac and abdominal NMR imaging.

GIBS Geospatial Data Abstraction Library (GDAL)

Data.gov (United States)

National Aeronautics and Space Administration — GDAL is an open source translator library for raster geospatial data formats that presents a single abstract data model to the calling application for all supported...

IRAP 2006, Book of Abstracts

International Nuclear Information System (INIS)

2006-01-01

This publications related with Hacettepe University, Turkish Atomic Energy Authority, The Scientific and Technological Research Council of Turkey, International Atomic Energy Agency, CEA-Saclay, CEA-Saclay Drecam, ANKAmall Shopping Center and Ion Beam Applications Industrial that was held in Antalya, Turkey, 23-28 September 2006. A separate abstract was prepared for each paper

IRAP 2006, Book of Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2006-07-01

This publications related with Hacettepe University, Turkish Atomic Energy Authority, The Scientific and Technological Research Council of Turkey, International Atomic Energy Agency, CEA-Saclay, CEA-Saclay Drecam, ANKAmall Shopping Center and Ion Beam Applications Industrial that was held in Antalya, Turkey, 23-28 September 2006. A separate abstract was prepared for each paper.

GOClonto: an ontological clustering approach for conceptualizing PubMed abstracts.

Science.gov (United States)

Zheng, Hai-Tao; Borchert, Charles; Kim, Hong-Gee

2010-02-01

Concurrent with progress in biomedical sciences, an overwhelming of textual knowledge is accumulating in the biomedical literature. PubMed is the most comprehensive database collecting and managing biomedical literature. To help researchers easily understand collections of PubMed abstracts, numerous clustering methods have been proposed to group similar abstracts based on their shared features. However, most of these methods do not explore the semantic relationships among groupings of documents, which could help better illuminate the groupings of PubMed abstracts. To address this issue, we proposed an ontological clustering method called GOClonto for conceptualizing PubMed abstracts. GOClonto uses latent semantic analysis (LSA) and gene ontology (GO) to identify key gene-related concepts and their relationships as well as allocate PubMed abstracts based on these key gene-related concepts. Based on two PubMed abstract collections, the experimental results show that GOClonto is able to identify key gene-related concepts and outperforms the STC (suffix tree clustering) algorithm, the Lingo algorithm, the Fuzzy Ants algorithm, and the clustering based TRS (tolerance rough set) algorithm. Moreover, the two ontologies generated by GOClonto show significant informative conceptual structures.

SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

International Nuclear Information System (INIS)

B.W. ARNOLD

2004-01-01

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

Variability-Specific Abstraction Refinement for Family-Based Model Checking

DEFF Research Database (Denmark)

Dimovski, Aleksandar; Wasowski, Andrzej

2017-01-01

and property, while the number of possible scenarios is very large. In this work, we present an automatic iterative abstraction refinement procedure for family-based model checking. We use Craig interpolation to refine abstract variational models based on the obtained spurious counterexamples (traces...

Reading and Abstracting Journal Articles in Sedimentology and Stratigraphy.

Science.gov (United States)

Conrad, Susan Howes

1991-01-01

An assignment centered on reading journal articles and writing abstracts is an effective way to improve student reading and writing skills in sedimentology and stratigraphy laboratories. Each student reads two articles and writes informative abstracts from the author's point of view. (PR)

Abstract analogical reasoning in high-functioning children with autism spectrum disorders.

Science.gov (United States)

Green, Adam E; Kenworthy, Lauren; Mosner, Maya G; Gallagher, Natalie M; Fearon, Edward W; Balhana, Carlos D; Yerys, Benjamin E

2014-12-01

Children with autism spectrum disorders (ASD) exhibit a deficit in spontaneously recognizing abstract similarities that are crucial for generalizing learning to new situations. This may contribute to deficits in the development of appropriate schemas for navigating novel situations, including social interactions. Analogical reasoning is the central cognitive mechanism that enables typically developing children to understand abstract similarities between different situations. Intriguingly, studies of high-functioning children with ASD point to a relative cognitive strength in basic, nonabstract forms of analogical reasoning. If this analogical reasoning ability extends to abstract analogical reasoning (i.e., between superficially dissimilar situations), it may provide a bridge between a cognitive capability and core ASD deficits in areas such as generalization and categorization. This study tested whether preserved analogical reasoning abilities in ASD can be extended to abstract analogical reasoning, using photographs of real-world items and situations. Abstractness of the analogies was determined via a quantitative measure of semantic distance derived from latent semantic analysis. Children with ASD performed as well as typically developing children at identifying abstract analogical similarities when explicitly instructed to apply analogical reasoning. Individual differences in abstract analogical reasoning ability predicted individual differences in a measure of social function in the ASD group. Preliminary analyses indicated that children with ASD, but not typically developing children, showed an effect of age on abstract analogical reasoning. These results provide new evidence that children with ASD are capable of identifying abstract similarities through analogical reasoning, pointing to abstract analogical reasoning as a potential lever for improving generalization skills and social function in ASD. © 2014 International Society for Autism Research, Wiley

Abstract Interpretation-based verification/certification in the ciaoPP system

OpenAIRE

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira; Hermenegildo, Manuel V.

2005-01-01

CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approximations thus produced have been applied to perform high- and low-level optimizations during program compilation, including transformations such as múltiple abstract specialization, parallelization, partial evaluation, resource...

From mind to matter: neural correlates of abstract and concrete mindsets

Science.gov (United States)

Liberman, Nira; Maril, Anat

2014-01-01

Much work in the field of social cognition shows that adopting an abstract (vs concrete) mindset alters the way people construe the world, thereby exerting substantial effects across innumerable aspects of human behavior. In order to investigate the cognitive and neural basis of these effects, we scanned participants as they performed two widely used tasks that induce an abstracting vs concretizing mindsets. Specifically, participants: (i) indicated ‘why’ perform certain activities (a task that involves abstraction) or ‘how’ the same activities are performed (a task that involves concretization) and (ii) generated superordinate categories for certain objects (a task that involves abstraction) or subordinate exemplars for the same objects (a task that involves concretization). We conducted a conjunction analysis of the two tasks, in order to uncover the neural activity associated with abstraction and concretization. The results showed that concretization was associated with activation in fronto-parietal regions implicated in goal-directed action; abstraction was associated with activity within posterior regions implicated in visual perception. We discuss these findings in light of construal-level theory’s notion of abstraction. PMID:23482624

Abstracts

Institute of Scientific and Technical Information of China (English)

2012-01-01

Strategic Realism： An Option for China＇ s Grand Strategy Song Dexing （4） [ Abstract] As a non-Western emerging power, China should positively adapt its grand strategy to the strategic psychological traits in the 21st century, maintain a realist tone consistent with the national conditions of China, and avoid adventurist policies while awaring both strategic strength and weakness. In the 21st century, China＇ s grand strategy should be based on such core values as security, development, peace and justice, especially focusing on development in particular, which we named ＂strategic realism＂. Given the profound changes in China and the world, strategic realism encourages active foreign policy to safe- guard the long-term national interests of China. Following the self-help logic and the fun- damental values of security and prosperity, strategic realism concerns national interests as its top-priority. It advocates smart use of power, and aims to achieve its objectives by optimizing both domestic and international conditions. From the perspective of diplomatic phi- losophy, strategic realism is not a summarization of concrete policies but a description of China＇ s grand strategy orientations in the new century. [ Key Words] China, grand strategy, strategic realism [ Author]Song Dexing, Professor, Ph.D. Supervisor, and Director of the Center for International Strategic Studies, University of International Studies of PLA.

Computational Abstraction Steps

DEFF Research Database (Denmark)

Thomsen, Lone Leth; Thomsen, Bent; Nørmark, Kurt

2010-01-01

and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating...... or capturing concrete values, objects, or actions. As the next step, some of these are lifted to a higher level by computational means. In the object-oriented paradigm the target of such steps is classes. We hypothesise that the proposed approach primarily will be beneficial to novice programmers or during...... the exploratory phase of a program development process. In some specific niches it is also expected that our approach will benefit professional programmers....

An introduction to abstract algebra

CERN Document Server

Robinson, Derek JS

2003-01-01

This is a high level introduction to abstract algebra which is aimed at readers whose interests lie in mathematics and in the information and physical sciences. In addition to introducing the main concepts of modern algebra, the book contains numerous applications, which are intended to illustrate the concepts and to convince the reader of the utility and relevance of algebra today. In particular applications to Polya coloring theory, latin squares, Steiner systems and error correcting codes are described. Another feature of the book is that group theory and ring theory are carried further than is often done at this level. There is ample material here for a two semester course in abstract algebra. The importance of proof is stressed and rigorous proofs of almost all results are given. But care has been taken to lead the reader through the proofs by gentle stages. There are nearly 400 problems, of varying degrees of difficulty, to test the reader''s skill and progress. The book should be suitable for students ...

Verification Based on Set-Abstraction Using the AIF Framework

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander

The AIF framework is a novel method for analyzing advanced security protocols, web services, and APIs, based a new abstract interpretation method. It consists of the specification language AIF and a translation/abstraction processes that produces a set of first-order Horn clauses. These can...

Early positivity signals changes in an abstract linguistic pattern.

Directory of Open Access Journals (Sweden)

Júlia Monte-Ordoño

Full Text Available The extraction of abstract structures from speech (or from gestures in the case of sign languages has been claimed to be a fundamental mechanism for language acquisition. In the present study we registered the neural responses that are triggered when a violation of an abstract, token-independent rule is detected. We registered ERPs while presenting participants with trisyllabic CVCVCV nonsense words in an oddball paradigm. Standard stimuli followed an ABB rule (where A and B are different syllables. Importantly, to distinguish neural responses triggered by changes in surface information from responses triggered by changes in the underlying abstract structure, we used two types of deviant stimuli. Phoneme deviants differed from standards only in their phonemes. Rule deviants differed from standards in both their phonemes and their composing rule. We observed a significant positivity as early as 300 ms after the presentation of deviant stimuli that violated the abstract rule (Rule deviants. The amplitude of this neural response was correlated with participants' performance in a behavioral rule learning test. Differences in electrophysiological responses observed between learners and non-learners suggest that individual differences in an abstract rule learning task might be related to how listeners select relevant sources of information.

The Emotions of Abstract Words: A Distributional Semantic Analysis.

Science.gov (United States)

Lenci, Alessandro; Lebani, Gianluca E; Passaro, Lucia C

2018-04-06

Recent psycholinguistic and neuroscientific research has emphasized the crucial role of emotions for abstract words, which would be grounded by affective experience, instead of a sensorimotor one. The hypothesis of affective embodiment has been proposed as an alternative to the idea that abstract words are linguistically coded and that linguistic processing plays a key role in their acquisition and processing. In this paper, we use distributional semantic models to explore the complex interplay between linguistic and affective information in the representation of abstract words. Distributional analyses on Italian norming data show that abstract words have more affective content and tend to co-occur with contexts with higher emotive values, according to affective statistical indices estimated in terms of distributional similarity with a restricted number of seed words strongly associated with a set of basic emotions. Therefore, the strong affective content of abstract words might just be an indirect byproduct of co-occurrence statistics. This is consistent with a version of representational pluralism in which concepts that are fully embodied either at the sensorimotor or at the affective level live side-by-side with concepts only indirectly embodied via their linguistic associations with other embodied words. Copyright © 2018 Cognitive Science Society, Inc.

A half century of abstracting at the African Studies Centre Leiden

NARCIS (Netherlands)

Doorn, van M.C.A.

2013-01-01

The article discusses the history of the abstracts and indexing journal originally known as 'Documentatieblad,' which was renamed to 'African Studies Abstracts (ASA)' and later to 'African Studies Abstracts Online' (ASAO), published by the African Studies Centre (ASC) in Leiden, the Netherlands

Fixed Points on Abstract Structures without the Equality Test

DEFF Research Database (Denmark)

Korovina, Margarita

2002-01-01

The aim of this talk is to present a study of definability properties of fixed points of effective operators on abstract structures without the equality test. The question of definability of fixed points of -operators on abstract structures with equality was first studied by Gandy, Barwise, Mosch...

Final program and book of abstracts

International Nuclear Information System (INIS)

1999-01-01

The Israel Nuclear Society, Israel Society of radiation protection, Israel Society of medical Physics and Israel Society of Radiation Research combined in the 20th conference of the Nuclear Societies in Israel. Extended abstracts are presented

Final program and book of abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1999-12-20

The Israel Nuclear Society, Israel Society of radiation protection, Israel Society of medical Physics and Israel Society of Radiation Research combined in the 20th conference of the Nuclear Societies in Israel. Extended abstracts are presented.

Small Business Innovation Research. Abstracts of Phase I awards, 1999

Energy Technology Data Exchange (ETDEWEB)

None

1999-12-01

This booklet presents technical abstracts of Phase I awards made in Fiscal Year (FY) 1999 under the DOE Small Business Innovation Research (SBIR) program. SBIR research explores innovative concepts in important technological and scientific areas that can lead to valuable new technology and products. The work described in the abstracts is novel, high-risk research, but the benefits will also be potentially high if the objectives are met. Brief comments on the potential applications, as described by the awardee, are given after each abstract. Individuals and organizations, including venture capital and larger industrial firms, with an interest in the research described in any of the abstracts are encouraged to contact the appropriate small business directly.

Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation

DEFF Research Database (Denmark)

Midtgaard, Jan; Jensen, Thomas P.

, effectively approximating where function calls return across optimized tail calls. The analysis is systematically calculated by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. Abstract interpretation provides a unifying setting in which...

The value of Institute of Human Virology meeting abstracts and beyond

Directory of Open Access Journals (Sweden)

Jeang Kuan-Teh

2005-12-01

Full Text Available Abstract This month Retrovirology publishes the meeting abstracts from the 10th annual Institute of Human Virology conference held August 29th to September 2nd, 2005 in Baltimore, Maryland, USA. In this editorial, the rationale for publishing meeting abstracts is discussed.

Abstraction and climate change in Europe

OpenAIRE

Laize, Cedric

2014-01-01

Invited oral presentation at the British Hydrological Society National meeting on "Hydroecology and water abstraction: science, practice and licence reform", Birmingham, 18 December 2013. Link below: full paper in River Research and Applications (Laize et al., 2014)

Moves Analysis on Abstracts Written by the Students in Academic Writing Class

OpenAIRE

Ajeng Setyorini

2017-01-01

This paper contains analysis results on abstracts written by students in Academic Writing course. The analysis includes analyses on moves and linguistic features. The analysis aims at finding out how the abstract writing structures of the English Education students are in the Academic Writing course. The abstract analysis also includes the analysis on the use of the linguistic features in the abstracts. The analysis uses a qualitative research approach. There are totally 10 abstracts that are...

Low-level radioactive waste from commercial nuclear reactors. Volume 3. Bibliographic abstracts of significant source documents. Part 1. Open-literature abstracts for low-level radioactive waste

International Nuclear Information System (INIS)

Bowers, M.K.; Rodgers, B.R.; Jolley, R.L.

1986-05-01

The overall task of this program was to provide an assessment of currently available technology for treating commercial low-level radioactive waste (LLRW), to initiate development of a methodology for choosing one technology for a given application, and to identify research needed to improve current treatment techniques and decision methodology. The resulting report is issued in four volumes. Volume 3 of this series is a collection of abstracts of most of the reference documents used for this study. Because of the large volume of literature, the abstracts have been printed in two separate parts. Volume 3, part 1 presents abstracts of the open literature relating to LLRW treatment methodologies. Some of these references pertain to treatment processes for hazardous wastes that may also be applicable to LLRW management. All abstracts have been limited to 21 lines (for brevity), but each abstract contains sufficient information to enable the reader to determine the potential usefulness of the source document and to locate each article. The abstracts are arranged alphabetically by author or organization, and indexed by keyword

Low-level radioactive waste from commercial nuclear reactors. Volume 3. Bibliographic abstracts of significant source documents. Part 1. Open-literature abstracts for low-level radioactive waste

Energy Technology Data Exchange (ETDEWEB)

Bowers, M.K.; Rodgers, B.R.; Jolley, R.L.

1986-05-01

The overall task of this program was to provide an assessment of currently available technology for treating commercial low-level radioactive waste (LLRW), to initiate development of a methodology for choosing one technology for a given application, and to identify research needed to improve current treatment techniques and decision methodology. The resulting report is issued in four volumes. Volume 3 of this series is a collection of abstracts of most of the reference documents used for this study. Because of the large volume of literature, the abstracts have been printed in two separate parts. Volume 3, part 1 presents abstracts of the open literature relating to LLRW treatment methodologies. Some of these references pertain to treatment processes for hazardous wastes that may also be applicable to LLRW management. All abstracts have been limited to 21 lines (for brevity), but each abstract contains sufficient information to enable the reader to determine the potential usefulness of the source document and to locate each article. The abstracts are arranged alphabetically by author or organization, and indexed by keyword.

Radioactive isotopes in clinical medicine and research. Abstracts

International Nuclear Information System (INIS)

2005-01-01

The contribution displays 44 abstracts and 35 posters from the 27th International Symposium on ''radioactive isotopes in clinical medicine and research'', organized by the Austrian society of nuclear medicine and the department of nuclear medicine and the center for biomedical engineering and physics of the Vienna medical university. The abstracts are sorted according to lecture headers: radiopharmaceutical sciences, endocrinology, clinical PET, neurology, oncology, physics and instrumentation, cardiology, inflammation, therapy and varia. (uke)

Visually defining and querying consistent multi-granular clinical temporal abstractions.

Science.gov (United States)

Combi, Carlo; Oliboni, Barbara

2012-02-01

The main goal of this work is to propose a framework for the visual specification and query of consistent multi-granular clinical temporal abstractions. We focus on the issue of querying patient clinical information by visually defining and composing temporal abstractions, i.e., high level patterns derived from several time-stamped raw data. In particular, we focus on the visual specification of consistent temporal abstractions with different granularities and on the visual composition of different temporal abstractions for querying clinical databases. Temporal abstractions on clinical data provide a concise and high-level description of temporal raw data, and a suitable way to support decision making. Granularities define partitions on the time line and allow one to represent time and, thus, temporal clinical information at different levels of detail, according to the requirements coming from the represented clinical domain. The visual representation of temporal information has been considered since several years in clinical domains. Proposed visualization techniques must be easy and quick to understand, and could benefit from visual metaphors that do not lead to ambiguous interpretations. Recently, physical metaphors such as strips, springs, weights, and wires have been proposed and evaluated on clinical users for the specification of temporal clinical abstractions. Visual approaches to boolean queries have been considered in the last years and confirmed that the visual support to the specification of complex boolean queries is both an important and difficult research topic. We propose and describe a visual language for the definition of temporal abstractions based on a set of intuitive metaphors (striped wall, plastered wall, brick wall), allowing the clinician to use different granularities. A new algorithm, underlying the visual language, allows the physician to specify only consistent abstractions, i.e., abstractions not containing contradictory conditions on

Abstracting event-based control models for high autonomy systems

Science.gov (United States)

Luh, Cheng-Jye; Zeigler, Bernard P.

1993-01-01

A high autonomy system needs many models on which to base control, management, design, and other interventions. These models differ in level of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. The paper deals with the abstraction processes for systematic derivation of related models for use in event-based control. The multifaceted modeling methodology is briefly reviewed. The morphism concepts needed for application to model abstraction are described. A theory for supporting the construction of DEVS models needed for event-based control is then presented. An implemented morphism on the basis of this theory is also described.

Health physics research abstracts no. 11

International Nuclear Information System (INIS)

1984-07-01

The present issue No. 11 of Health Physics Research Abstracts is the continuation of a series of Bulletins published by the Agency since 1967. They collect reports from Member States on Health Physics research in progress or just completed. The main aim in issuing such reports is to draw attention to work that is about to be published and to enable interested scientists to obtain further information through direct correspondence with the investigators. The attention of users of this publication is drawn to the fact that abstracts of published documents on Health Physics are published eventually in INIS Atomindex, which is one of the output products of the Agency's International Nuclear Information System. The present issue contains 235 reports received up to December 1983 from the following Member States. In parentheses the country's ISO code and number of reports are given

AIF-ω: Set-Based Protocol Abstraction with Countable Families

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander; Bruni, Alessandro

2016-01-01

this limitation by abstracting state into countable families of sets. We can then formalize a problem with unbounded agents, where each agent maintains its own set of keys. Still, our method does not loose the benefits of the abstraction approach, in particular, it translates a verification problem to a set...

Making Sense of the Abstraction Hierarchy in the Power Plant Domain

DEFF Research Database (Denmark)

Lind, Morten

2003-01-01

The paper discusses the abstraction hierarchy proposed by Rasmussen [(1986) Information processing and human-machine interaction, North-Holland] for design of human-machine interfaces for supervisory control. The purpose of the abstraction hierarchy is to represent a work domain by multiple levels...... of means-end and part-whole abstractions. It is argued in the paper that the abstraction hierarchy suffers from both methodological and conceptual problems. A cluster of selected problems are analyzed and illustrated by concrete examples from the power plant domain. It is concluded that the semantics...... in the model-building process. It is also pointed out that attempts to clarify the semantics of the abstraction hierarchy will invariably reduce the range of work domains where it can be applied....

Methods for solving reasoning problems in abstract argumentation – A survey

Science.gov (United States)

Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan

2015-01-01

Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice. PMID:25737590

ICENES 2007 Abstracts

Energy Technology Data Exchange (ETDEWEB)

Sahin, S [Gazi University, Technical Education Faculty, Ankara (Turkey)

2007-07-01

In this book Conference Program and Abstracts were included 13th International Conference on Emerging Nuclear Energy Systems which held between 03-08 June 2007 in Istanbul, Turkey. The main objective of International Conference series on Emerging Nuclear Energy Systems (ICENES) is to provide an international scientific and technical forum for scientists, engineers, industry leaders, policy makers, decision makers and young professionals who will shape future energy supply and technology , for a broad review and discussion of various advanced, innovative and non-conventional nuclear energy production systems. The main topics of 159 accepted papers from 35 countries are fusion science and technology, fission reactors, accelerator driven systems, transmutation, laser in nuclear technology, radiation shielding, nuclear reactions, hydrogen energy, solar energy, low energy physics and societal issues.

ICENES 2007 Abstracts

International Nuclear Information System (INIS)

Sahin, S.

2007-01-01

In this book Conference Program and Abstracts were included 13th International Conference on Emerging Nuclear Energy Systems which held between 03-08 June 2007 in Istanbul, Turkey. The main objective of International Conference series on Emerging Nuclear Energy Systems (ICENES) is to provide an international scientific and technical forum for scientists, engineers, industry leaders, policy makers, decision makers and young professionals who will shape future energy supply and technology , for a broad review and discussion of various advanced, innovative and non-conventional nuclear energy production systems. The main topics of 159 accepted papers from 35 countries are fusion science and technology, fission reactors, accelerator driven systems, transmutation, laser in nuclear technology, radiation shielding, nuclear reactions, hydrogen energy, solar energy, low energy physics and societal issues

Beauty in abstract paintings: Perceptual contrast and statistical properties

Directory of Open Access Journals (Sweden)

Birgit eMallon

2014-03-01

Full Text Available In this study, we combined the behavioral and objective approach in the field of empirical aesthetics. First, we studied the perception of beauty by investigating shifts in evaluation on perceived beauty of abstract artworks (Experiment 1. Because the participants showed heterogeneous individual preferences for the paintings, we divided them into seven clusters for the test. The experiment revealed a clear pattern of perceptual contrast. The perceived beauty of abstract paintings increased after exposure to paintings that were rated as less beautiful, and it decreased after exposure to paintings that were rated as more beautiful. Next, we searched for correlations of beauty ratings and perceptual contrast with statistical properties of abstract artworks (Experiment 2. The participants showed significant preferences for certain image properties. These preferences differed between the clusters of participants. Strikingly, next to color measures like hue, saturation, value and lightness, the recently described PHOG self-similarity value seems to be a predictor for aesthetic appreciation of abstract artworks. We speculate that the shift in evaluation in Experiment 1 was, at least in part, based on low-level adaptation to some of the statistical image properties analyzed in Experiment 2. In conclusion, our findings demonstrate that the perception of beauty in abstract artworks is altered after exposure to beautiful or non-beautiful images and correlates with particular image properties, especially color measures and self-similarity.

STEM Education Related Dissertation Abstracts: A Bounded Qualitative Meta-study

Science.gov (United States)

Banning, James; Folkestad, James E.

2012-12-01

This article utilizes a bounded qualitative meta-study framework to examine the 101 dissertation abstracts found by searching the ProQuest Dissertation and Theses™ digital database for dissertations abstracts from 1990 through 2010 using the search terms education, science, technology, engineer, and STEM/SMET. Professional search librarians established the search criteria used to establish the database. The overarching research question for this study was: What can we learn from the examination of doctoral dissertations abstracts that focus on the STEM education found from 1990 through 2010? The study's findings provide an overview of doctoral research related to STEM education and the discussion section focuses on quality of abstracts, questions regarding the use of the pipeline metaphor, and location of instructional innovation.

An abstract machine model of dynamic module replacement

OpenAIRE

Walton, Chris; Kırlı, Dilsun; Gilmore, Stephen

2000-01-01

In this paper we define an abstract machine model for the mλ typed intermediate language. This abstract machine is used to give a formal description of the operation of run-time module replacement for the programming language Dynamic ML. The essential technical device which we employ for module replacement is a modification of two-space copying garbage collection. We show how the operation of module replacement could be applied to other garbage-collected languages such as Java.

Program and Abstracts, Boron Americas IX Final Report

Energy Technology Data Exchange (ETDEWEB)

Feakes, Debra A.

2006-08-09

The Scientific and Technical Information (STI) submitted includes the final report and a collection of abstracts for the Ninth Boron in the Americas Conference which was held May 19-22, 2004, in San Marcos, Texas. The topics covered in the abstracts include: Application in Medicine, Application in Organic Synthesis and Catalysis, Boranes and Carboranes, Materials and Polymers, Metallaboranes and Metallacarboranes, Organoboron Compounds, Synthesis and Catalysis, and Theoretical Studies. Attendees represented researchers from government, industry, and academia.

RESULTS OF 2011 STATE DUMA ELECTIONS: SOCIOLOGICAL ANALYSIS

Directory of Open Access Journals (Sweden)

Larisa Fedotova

2012-01-01

Full Text Available Abstract: Sociological forecasting of political processes arose as a powerful industry. Nevertheless, results of the polls conducted by the major agencies diverged significantly with the voting in 2011 State Duma elections. The article analyses major complications in forecasting results of elections using sociological data, including psychological factors, role of mass media and administrative resource. The author identifies strategies of the opposition, as well as proves predominant importance of Vladimir Putin for the electoral success of the ruling party on the basis of the polls.

Reconstruing intolerance: abstract thinking reduces conservatives' prejudice against nonnormative groups.

Science.gov (United States)

Luguri, Jamie B; Napier, Jaime L; Dovidio, John F

2012-07-01

Myrdal (1944) described the "American dilemma" as the conflict between abstract national values ("liberty and justice for all") and more concrete, everyday prejudices. We leveraged construal-level theory to empirically test Myrdal's proposition that construal level (abstract vs. concrete) can influence prejudice. We measured individual differences in construal level (Study 1) and manipulated construal level (Studies 2 and 3); across these three studies, we found that adopting an abstract mind-set heightened conservatives' tolerance for groups that are perceived as deviating from Judeo-Christian values (gay men, lesbians, Muslims, and atheists). Among participants who adopted a concrete mind-set, conservatives were less tolerant of these nonnormative groups than liberals were, but political orientation did not have a reliable effect on tolerance among participants who adopted an abstract mind-set. Attitudes toward racial out-groups and dominant groups (e.g., Whites, Christians) were unaffected by construal level. In Study 3, we found that the effect of abstract thinking on prejudice was mediated by an increase in concerns about fairness.

Abstract Word Definition in Patients with Amnestic Mild Cognitive Impairment

Science.gov (United States)

Kim, Soo Ryon; Baek, Min Jae; Kim, HyangHee

2015-01-01

The aims of this study were to investigate concrete and abstract word definition ability (1) between patients with amnestic mild cognitive impairment (aMCI) and normal adults and (2) between the aMCI subtypes (i.e., amnestic single-domain MCI and amnestic multidomain MCI; asMCI and amMCI) and normal controls. The 68 patients with aMCI (29 asMCI and 39 amMCI) and 93 age- and education-matched normal adults performed word definition tasks composed of five concrete (e.g., train) and five abstract nouns (e.g., jealousy). Task performances were analyzed on total score, number of core meanings, and number of supplementary meanings. The results were as follows. First, the aMCI patients scored significantly poorer than the normal controls in only abstract word definition. Second, both subtypes of aMCI performed worse than the controls in only abstract word definition. In conclusion, a definition task of abstract rather than concrete concepts may provide richer information to show semantic impairment of aMCI. PMID:26347214

Abstract Word Definition in Patients with Amnestic Mild Cognitive Impairment

Directory of Open Access Journals (Sweden)

Soo Ryon Kim

2015-01-01

Full Text Available The aims of this study were to investigate concrete and abstract word definition ability (1 between patients with amnestic mild cognitive impairment (aMCI and normal adults and (2 between the aMCI subtypes (i.e., amnestic single-domain MCI and amnestic multidomain MCI; asMCI and amMCI and normal controls. The 68 patients with aMCI (29 asMCI and 39 amMCI and 93 age- and education-matched normal adults performed word definition tasks composed of five concrete (e.g., train and five abstract nouns (e.g., jealousy. Task performances were analyzed on total score, number of core meanings, and number of supplementary meanings. The results were as follows. First, the aMCI patients scored significantly poorer than the normal controls in only abstract word definition. Second, both subtypes of aMCI performed worse than the controls in only abstract word definition. In conclusion, a definition task of abstract rather than concrete concepts may provide richer information to show semantic impairment of aMCI.

Elements of abstract algebra

CERN Document Server

Clark, Allan

1984-01-01

This concise, readable, college-level text treats basic abstract algebra in remarkable depth and detail. An antidote to the usual surveys of structure, the book presents group theory, Galois theory, and classical ideal theory in a framework emphasizing proof of important theorems.Chapter I (Set Theory) covers the basics of sets. Chapter II (Group Theory) is a rigorous introduction to groups. It contains all the results needed for Galois theory as well as the Sylow theorems, the Jordan-Holder theorem, and a complete treatment of the simplicity of alternating groups. Chapter III (Field Theory)

Parameterized Dataflow (Extended Abstract

Directory of Open Access Journals (Sweden)

Dominic Duggan

2016-10-01

Full Text Available Dataflow networks have application in various forms of stream processing, for example for parallel processing of multimedia data. The description of dataflow graphs, including their firing behavior, is typically non-compositional and not amenable to separate compilation. This article considers a dataflow language with a type and effect system that captures the firing behavior of actors. This system allows definitions to abstract over actor firing rates, supporting the definition and safe composition of actor definitions where firing rates are not instantiated until a dataflow graph is launched.

Effects of semantic neighborhood density in abstract and concrete words.

Science.gov (United States)

Reilly, Megan; Desai, Rutvik H

2017-12-01

Concrete and abstract words are thought to differ along several psycholinguistic variables, such as frequency and emotional content. Here, we consider another variable, semantic neighborhood density, which has received much less attention, likely because semantic neighborhoods of abstract words are difficult to measure. Using a corpus-based method that creates representations of words that emphasize featural information, the current investigation explores the relationship between neighborhood density and concreteness in a large set of English nouns. Two important observations emerge. First, semantic neighborhood density is higher for concrete than for abstract words, even when other variables are accounted for, especially for smaller neighborhood sizes. Second, the effects of semantic neighborhood density on behavior are different for concrete and abstract words. Lexical decision reaction times are fastest for words with sparse neighborhoods; however, this effect is stronger for concrete words than for abstract words. These results suggest that semantic neighborhood density plays a role in the cognitive and psycholinguistic differences between concrete and abstract words, and should be taken into account in studies involving lexical semantics. Furthermore, the pattern of results with the current feature-based neighborhood measure is very different from that with associatively defined neighborhoods, suggesting that these two methods should be treated as separate measures rather than two interchangeable measures of semantic neighborhoods. Copyright © 2017 Elsevier B.V. All rights reserved.

Terrestrial ecology in South Africa - project abstracts for 1980-1981

CSIR Research Space (South Africa)

Huntley, BJ

1982-12-01

Full Text Available Abstracts are provided for research projects conducted during 1980-1981 in South African terrestrial ecosystems. The abstracts are arranged alphabetically according to author name and a keyword index is provided....

Reconstruction of abstract quantum theory

International Nuclear Information System (INIS)

Drieschner, M.; Goernitz, T.; von Weizsaecker, C.F.

1988-01-01

Understanding quantum theory as a general theory of prediction, we reconstruct abstract quantum theory. Abstract means the general frame of quantum theory, without reference to a three-dimensional position space, to concepts like particle or field, or to special laws of dynamics. Reconstruction is the attempt to do this by formulating simple and plausible postulates on prediction in order to derive the basic concepts of quantum theory from them. Thereby no law of classical physics is presupposed which would then have to be quantized. We briefly discuss the relationship of theory and interpretation in physics and the fundamental role of time as a basic concept for physics. Then a number of assertions are given, formulated as succinctly as possible in order to make them easily quotable and comparable. The assertations are arranged in four groups: heuristic principles, verbal definitions of some terms, three basic postulates, and consequences. The three postulates of separable alternatives, indeterminism, and kinematics are the central points of this work. These brief assertions are commented upon, and their relationship with the interpretation of quantum theory is discussed. Also given are an outlook on the further development into concrete quantum theory and some philosophical reflections

Tense Use and Move Analysis in Journal Article Abstracts

Science.gov (United States)

Wang, Shih-ping; Tu, Pin-ning

2014-01-01

There has long been a growing interest in journal article (JA) abstract writing, and this pervading interest has boosted the exigency for further research. This current study therefore aims to investigate both the various applications of verb tense and the rhetorical structure within JA abstracts. A corpus of 1,000 JAs was collected from four…

Student Scientific Conference 2001. Abstracts of papers of students and post-graduate students

International Nuclear Information System (INIS)

Stankovicova, H.

2001-04-01

The aim of the Student Scientific Conference was to review the works of students and post-graduate students from universities of the Slovak Republic and Czech Republic as well as from Slovak Academy of Sciences and Czech Academy of Sciences. The proceedings of the conference contain 63 abstracts of Biological Section, 16 abstracts of Didactic Section, 39 abstracts of Environmental Section, 15 abstracts of Geography Section, 12 abstracts of Geology Section, and 42 abstracts of Chemical Section

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

DEFF Research Database (Denmark)

Banda, Gourinath; Gallagher, John Patrick

Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal t...... to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver....

Full-text publication of abstracts presented at European Orthodontic Society congresses.

Science.gov (United States)

Livas, Christos; Pandis, Nikolaos; Ren, Yijin

2014-10-01

Empirical evidence has indicated that only a subsample of studies conducted reach full-text publication and this phenomenon has become known as publication bias. A form of publication bias is the selectively delayed full publication of conference abstracts. The objective of this article was to examine the publication status of oral abstracts and poster-presentation abstracts, included in the scientific program of the 82nd and 83rd European Orthodontic Society (EOS) congresses, held in 2006 and 2007, and to identify factors associated with full-length publication. A systematic search of PubMed and Google Scholar databases was performed in April 2013 using author names and keywords from the abstract title to locate abstract and full-article publications. Information regarding mode of presentation, type of affiliation, geographical origin, statistical results, and publication details were collected and analyzed using univariable and multivariable logistic regression. Approximately 51 per cent of the EOS 2006 and 55 per cent of the EOS 2007 abstracts appeared in print more than 5 years post congress. A mean period of 1.32 years elapsed between conference and publication date. Mode of presentation (oral or poster), use of statistical analysis, and research subject area were significant predictors for publication success. Inherent discrepancies of abstract reporting, mainly related to presentation of preliminary results and incomplete description of methods, may be considered in analogous studies. On average 52.2 per cent of the abstracts presented at the two EOS conferences reached full publication. Abstracts presented orally, including statistical analysis, were more likely to get published. © The Author 2013. Published by Oxford University Press on behalf of the European Orthodontic Society. All rights reserved. For permissions, please email: journals.permissions@oup.com.

Natural radiation environment III. [Lead Abstract

Energy Technology Data Exchange (ETDEWEB)

Gesell, T.F.; Lowder, W.M. (eds.)

1980-01-01

Separate abstracts were prepared for the 52 research papers presented at this symposium in April 1978. The major topics in this volume deal with penetrating radiation measurements, radiation surveys and population exposure, radioactivity in the indoor environment, and technologically enhanced natural radioactivity. (KRM)

Functional Abstraction of Stochastic Hybrid Systems

NARCIS (Netherlands)

Bujorianu, L.M.; Blom, Henk A.P.; Hermanns, H.

2006-01-01

The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways

Waste management research abstracts No. 18

International Nuclear Information System (INIS)

1987-12-01

The eighteenth issue of this publication contains over 750 abstracts from 33 IAEA member countries comprehending various aspects of radioactive waste management. Radioactive waste disposal, processing and storage, geochemical and geological investigations related to waste management, mathematical models and environmental impacts are reviewed

Nuclear medicine 2009. Abstracts; NuklearMedizin 2009. Vortraege

Energy Technology Data Exchange (ETDEWEB)

NONE

2009-07-01

The journal contains the abstracts of 188 lectures and the abstracts of 103 poster contributions concerning the following topics: systemic therapy; oncology: PET/therapy; physics: device technology; oncology: PET/new pharmaceuticals; neurology: receptors; motion correction methods; oncology: PET/FDG; cardiology; malign thyroid tumors; neuroendocrine tumors; radiochemistry {sup 1}8F, oncology: pre-clinic PET; neurology-oncology-activation; physics: quantification; various topics; radiochemistry: radioactive metals; benign thyroid tumors; therapeutical studies; neurology: neurodegeneration; oncology: SPECT/planar scintigraphy; local therapy; inflammation; dosimetry - radiation protection; radiochemistry: halogens.

Cryogenic foam insulation: Abstracted publications

Science.gov (United States)

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.

Les rapports de l’art abstrait (Kandinsky, Klee, Mondrian avec les tendances d’abstraction de l’art sacré / The Connections of Abstract Art (Kandinsky, Klee, Mondrian with the Abstractization Tendencies of Sacred Art

Directory of Open Access Journals (Sweden)

Gabriel Badea

2016-11-01

Full Text Available The main purpose of this paper is to study the connections that can be established between the modern abstractionism and the abstract tendencies from other historical eras. In the first part I will present three distinct interpretations: the first direction is based on authors as Mircea Eliade and Roger Lipsey, who see modern art through the links still alive between art and religion, from a syncretic perspective, or, after Eliade’s expression, based on a creative hermeneutics. The second direction is represented by the work of Adorno, Compagnon, Greenberg, Lyotard, for whom the modern art is a manifestation of radical discontinuity in relation to the art of the past, and the emergence of abstractionism is due primarily to a historical necessity (the increasing rupture between form and content, the increased autonomy of the sensible over the intelligible. The third direction is represented to Wilhelm Worringer, whose work (Abstraktion und Einfühlung, 1907 predates the emergence of the first abstract paintings, but relying on the German aesthetic tradition, manages to go beyond the threshold distinction between figurative and abstract, thus identifying a type of Einfühlung art and another of abstract type, namely the predominance of one or the other in different historical contexts and civilizational patterns. In the second part of the paper I will refer to instances of the spirit of abstraction in the case of Byzantine sacred art, especially in the footsteps of Plotinian aesthetics and as a result of the iconoclastic crisis. In the last part, I will present the key ideas for three major representatives of abstractionism (Kandinsky, Klee, Mondrian and the survival of the concepts of sacred art in their works and art theories.

The Pipeline From Abstract Presentation to Publication in Pediatric Hospital Medicine.

Science.gov (United States)

Herrmann, Lisa E; Hall, Matthew; Kyler, Kathryn; Cochran, Joseph; Andrews, Annie L; Williams, Derek J; Wilson, Karen M; Shah, Samir S

2018-02-01

The annual Pediatric Hospital Medicine (PHM) conference serves as a venue for the dissemination of research in this rapidly growing discipline. A measure of research validity is subsequent publication in peer-reviewed journals. To identify the publication rate of abstracts submitted to the 2014 PHM conference and determine whether presentation format was associated with subsequent journal publication or time to publication. We identified abstracts submitted to the 2014 PHM conference. Presentation formats included rejected abstracts and poster and oral presentations. Abstracts subsequently published in journals were identified by searching the author and abstract title in PubMed, MedEdPORTAL, and Google Scholar. We used logistic regression and Cox proportional hazards models to determine if presentation format was associated with publication, time to publication, and publishing journal impact factor. Of 226 submitted abstracts, 19.0% were rejected, 68.0% were selected for posters, and 12.8% were selected for oral presentations; 36.3% were subsequently published within 30 months after the conference. Abstracts accepted for oral presentation had more than 7-fold greater odds of publication (adjusted odds ratio 7.8; 95% confidence interval [CI], 2.6-23.5) and a 4-fold greater likelihood of publication at each month (adjusted hazard ratio 4.5; 95% CI, 2.1-9.7) compared with rejected abstracts. Median journal impact factor was significantly higher for oral presentations than other presentation formats (P presentation; however, the low overall publication rate may indicate that presented results are preliminary or signify a need for increased mentorship and resources for research development in PHM.

Towards Measuring the Abstractness of State Machines based on Mutation Testing

Directory of Open Access Journals (Sweden)

Thomas Baar

2017-01-01

Full Text Available Abstract. The notation of state machines is widely adopted as a formalism to describe the behaviour of systems. Usually, multiple state machine models can be developed for the very same software system. Some of these models might turn out to be equivalent, but, in many cases, different state machines describing the same system also differ in their level of abstraction. In this paper, we present an approach to actually measure the abstractness level of state machines w.r.t. a given implemented software system. A state machine is considered to be less abstract when it is conceptionally closer to the implemented system. In our approach, this distance between state machine and implementation is measured by applying coverage criteria known from software mutation testing. Abstractness of state machines can be considered as a new metric. As for other metrics as well, a known value for the abstractness of a given state machine allows to assess its quality in terms of a simple number. In model-based software development projects, the abstract metric can help to prevent model degradation since it can actually measure the semantic distance from the behavioural specification of a system in form of a state machine to the current implementation of the system. In contrast to other metrics for state machines, the abstractness cannot be statically computed based on the state machine’s structure, but requires to execute both state machine and corresponding system implementation. The article is published in the author’s wording. 

United European Gastroenterology Week scientific abstracts and their progression to full publication.

Science.gov (United States)

Raju, Suneil A; Sanders, David S; Akram, Rahim; Glover, Rebecca; Al-Rifaie, Ammar; Peever, Elise; Purves, Josh; Scanu, Emily; Kurien, Matthew

2017-10-01

Abstracts presentations at scientific meetings enable rapid dissemination of novel research. The percentage of abstracts that proceed to full publication from differing medical specialties is highly variable. This study aims to evaluate the outcomes of abstracts presented at the United European Gastroenterology Week (UEGW). All abstracts presented at UEGW between 2009 and 2011 were assessed. Cross-referencing of the first author, senior author and at least one keyword of the abstract was performed using PubMed and EMBASE databases. Abstracts and possible resultant full publications were then examined in tandem to ensure that they represented the same study. Data were also collected on lag time to publication, journal impact factors, country of the author and factors influencing subsequent publication. A total of 6785 abstracts (1438 oral and 5347 poster presentations) were presented during the period assessed. Of these, 2099 (30.9%) proceeded to full publication in indexed journals. Oral abstract presentations were most likely to proceed to full publication compared with poster presentations (odds ratio: 1.38, 95% confidence interval: 1.22-1.56) and were more likely to achieve publication in higher impact journals (median impact factor 4.78 vs. 2.89, PEuropean Gastroenterology abstract conversion rate to full publication (46.8%). This is the first study to assess the publication rates of UEGW. Findings are favourable with similar studies from other societies.

Graphical Abstract: Publishing with Objective Charisma: Breaking Science’s Paradox

OpenAIRE

Science, Animate Your

2018-01-01

Graphical abstract for Doubleday, Z. A., & Connell, S. D. (2017). Publishing with objective charisma: breaking science’s paradox. Trends in ecology & evolution, 32(11), 803-805.Graphical abstract by Animate Your Science (www.animate-science.com)

Automatic Probabilistic Program Verification through Random Variable Abstraction

Directory of Open Access Journals (Sweden)

Damián Barsotti

2010-06-01

Full Text Available The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automatic method for proving quantitative linear properties on any denumerable state space using iterative backwards fixed point calculation in the general framework of abstract interpretation. In order to accomplish this task we present the technique of random variable abstraction (RVA and we also postulate a sufficient condition to achieve exact fixed point computation in the abstract domain. The feasibility of our approach is shown with two examples, one obtaining the expected running time of a probabilistic program, and the other the expected gain of a gambling strategy. Our method works on general guarded probabilistic and nondeterministic transition systems instead of plain pGCL programs, allowing us to easily model a wide range of systems including distributed ones and unstructured programs. We present the operational and weakest precondition semantics for this programs and prove its equivalence.

Single neurons in prefrontal cortex encode abstract rules.

Science.gov (United States)

Wallis, J D; Anderson, K C; Miller, E K

2001-06-21

The ability to abstract principles or rules from direct experience allows behaviour to extend beyond specific circumstances to general situations. For example, we learn the 'rules' for restaurant dining from specific experiences and can then apply them in new restaurants. The use of such rules is thought to depend on the prefrontal cortex (PFC) because its damage often results in difficulty in following rules. Here we explore its neural basis by recording from single neurons in the PFC of monkeys trained to use two abstract rules. They were required to indicate whether two successively presented pictures were the same or different depending on which rule was currently in effect. The monkeys performed this task with new pictures, thus showing that they had learned two general principles that could be applied to stimuli that they had not yet experienced. The most prevalent neuronal activity observed in the PFC reflected the coding of these abstract rules.

Development of abstract mathematical reasoning: the case of algebra.

Science.gov (United States)

Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja

2014-01-01

Algebra typically represents the students' first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students' ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16-17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students' transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

Beauty in abstract paintings: perceptual contrast and statistical properties

Science.gov (United States)

Mallon, Birgit; Redies, Christoph; Hayn-Leichsenring, Gregor U.

2014-01-01

In this study, we combined the behavioral and objective approach in the field of empirical aesthetics. First, we studied the perception of beauty by investigating shifts in evaluation on perceived beauty of abstract artworks (Experiment 1). Because the participants showed heterogeneous individual preferences for the paintings, we divided them into seven clusters for the test. The experiment revealed a clear pattern of perceptual contrast. The perceived beauty of abstract paintings increased after exposure to paintings that were rated as less beautiful, and it decreased after exposure to paintings that were rated as more beautiful. Next, we searched for correlations of beauty ratings and perceptual contrast with statistical properties of abstract artworks (Experiment 2). The participants showed significant preferences for particular image properties. These preferences differed between the clusters of participants. Strikingly, next to color measures like hue, saturation, value and lightness, the recently described Pyramid of Histograms of Orientation Gradients (PHOG) self-similarity value seems to be a predictor for aesthetic appreciation of abstract artworks. We speculate that the shift in evaluation in Experiment 1 was, at least in part, based on low-level adaptation to some of the statistical image properties analyzed in Experiment 2. In conclusion, our findings demonstrate that the perception of beauty in abstract artworks is altered after exposure to beautiful or non-beautiful images and correlates with particular image properties, especially color measures and self-similarity. PMID:24711791

Student Scientific Conference 2000. Abstracts of papers of students and post-graduate students

International Nuclear Information System (INIS)

Ilias, M.

2000-04-01

The aim of the Student Scientific Conference was review of works of students and post-graduate students from universities of the Slovak Republic and Czech Republic. The proceedings of the conference contain 43 abstracts of Biological Section, 69 abstracts of Chemical Section, 18 abstracts of Environmental Section, 15 abstracts of Geography and Cartography Section, and 31 abstracts of Geology Section

Geometry of abstraction in quantum computation

NARCIS (Netherlands)

Pavlovic, Dusko; Abramsky, S.; Mislove, M.W.

2012-01-01

Quantum algorithms are sequences of abstract operations, per­ formed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contribu­ tions of Abramsky, Goecke and Selinger. In particular, we analyze function

Old Romanian pluralized mass and abstract nouns

Directory of Open Access Journals (Sweden)

Gabriela Pană Dindelegan

2017-09-01

Full Text Available The analysis of a rich old Romanian corpus shows that the ‘pluralization’ of mass and abstract nouns is extremely frequent in old Romanian. The semantic effects of pluralization are similar for mass and abstract nouns, consisting in the creation of denotative and/or connotative semantic variants. Of the plural endings, –uri is specialized for the pluralization of mass nouns in Daco-Romanian. The evolution of the ending –uri illustrates the specific process by which a grammatical (plural morpheme is converted into a lexical morpheme (the so-called ‘lexical plurals’. ‘Lexical plurals’ have isolated occurrences in other Romance languages, but they have not reached the spread and regularity they display in Romanian.

FFCAct Clearinghouse, Directory of abstracts. Revision 1

International Nuclear Information System (INIS)

Harwood, T.

1994-05-01

The Federal Facility Compliance Act (FFCAct) Clearinghouse is a card catalog of information about the FFCAct and its requirements for developing Site Treatment Plans (STP). The information available in the clearinghouse includes abstracts describing computer applications, technical reports, and a list of technical experts. Information can be accessed for use in responding to FFCAct requirements, and the clearinghouse provides search capabilities on particular topics and issues related to STP development. Appendix A includes: contacts from each site, for which contact has been made, who are developing STPs; the FFCAct Clearinghouse Fact Sheet and; additional hard copy forms to be used to populate the database. This report contains 50 abstracts related to the Radioactive Waste Technical Support Program

Evidence for cross-script abstract identities in learners of Japanese kana.

Science.gov (United States)

Schubert, Teresa; Gawthrop, Roderick; Kinoshita, Sachiko

2018-05-07

The presence of abstract letter identity representations in the Roman alphabet has been well documented. These representations are invariant to letter case (upper vs. lower) and visual appearance. For example, "a" and "A" are represented by the same abstract identity. Recent research has begun to consider whether the processing of non-Roman orthographies also involves abstract orthographic representations. In the present study, we sought evidence for abstract identities in Japanese kana, which consist of two scripts, hiragana and katakana. Abstract identities would be invariant to the script used as well as to the degree of visual similarity. We adapted the cross-case masked-priming letter match task used in previous research on Roman letters, by presenting cross-script kana pairs and testing adult beginning -to- intermediate Japanese second-language (L2) learners (first-language English readers). We found robust cross-script priming effects, which were equal in magnitude for visually similar (e.g., り/リ) and dissimilar (e.g., あ/ア) kana pairs. This pattern was found despite participants' imperfect explicit knowledge of the kana names, particularly for katakana. We also replicated prior findings from Roman abstract letter identities in the same participants. Ours is the first study reporting abstract kana identity priming (in adult L2 learners). Furthermore, these representations were acquired relatively early in our adult L2 learners.

Sports Physical Therapy Section Poster Presentations (Abstracts SPO1-SPO166).

Science.gov (United States)

2018-01-01

These abstracts are presented here as prepared by the authors. The accuracy and content of each abstract remain the responsibility of the authors. In the identification number above each abstract, SPO designates a Sports Physical Therapy Section poster presentation. J Orthop Sports Phys Ther 2018;48(1):A203-A276. doi:10.2519/jospt.2018.48.1.A203.

Geothermal environmental projects publication list with abstracts 1975-1978

Energy Technology Data Exchange (ETDEWEB)

Ricker, Y.E.; Anspaugh, L.R.

1979-05-15

This report contains 119 abstracts of publication resulting from or closely related to geothermal environmental projects conducted by the Environmental Sciences Division at Lawrence Livermore Laboratory. Publications are listed chronologically from 1975 through 1978. The main entries are numbered sequentially, and include the full citation, an abstract, and selected keywords. This section is followed by an author index, and a keyword index.

A critical analysis of publication rates of national oncology meeting abstracts in Turkey

Directory of Open Access Journals (Sweden)

S. Kilickap

2018-04-01

Full Text Available Purpose: In this study our aim is to analyze the publication rates of abstracts, which were presented between 2006 and 2011 years in biennial National Cancer Meeting of Turkey (NCM and Turkish Medical Oncology Society Meeting (TMOSM and to determine the timely change of publication rates and to predict the quality of the abstracts. Methods: All abstracts, which are either accepted as podium or poster presentations in NCM and TMOM between 2006 and 2011, are extracted. Subsequent publication rate of those abstracts were defined by searching PubMed and Turkish Medical Index. Results: Between 2006 and 2011, overall 2451 abstracts were presented in annual NC and TMOS meetings. Of these 2451 abstracts, 286 of them (11.7% were published in consecutive years. Median publication interval was 11 months. While 28 of 286 (9.8% abstracts were published in national journals, 258 of them (90.2% were published in international journals. 97 of a total of 424 podium presentations (22.9% were published. The publication rate was correlated with the type of presentation (OP vs. PP: 22.9% vs. 9.3%, p < 0.001. The highest publication rate was for prospective studies (%14.4. Majority of abstracts (53.1% were published in journals indexed within the science citation index (SCI. Rest of the published abstracts were in index of SCI-expanded. Conclusions: Non-publication of research abstracts is a problem for 88.3% of abstracts of this study. The data presented in this study should lead abstract authors to criticize themselves and find a way to improve their study quality. Keywords: Abstract, Full-text, Manuscript, Peer-review, Publication rate

Language abstraction in word of mouth

NARCIS (Netherlands)

Schellekens, G.A.C.; Verlegh, P.W.J.; Smidts, A.

2010-01-01

This research examines the language that consumers use in word of mouth. For both positive and negative product experiences, we demonstrate that consumers use more abstract terms when they describe experiences that are in line with the valence of their product attitude. This effect cannot be

Semantic Neighborhood Effects for Abstract versus Concrete Words.

Science.gov (United States)

Danguecan, Ashley N; Buchanan, Lori

2016-01-01

Studies show that semantic effects may be task-specific, and thus, that semantic representations are flexible and dynamic. Such findings are critical to the development of a comprehensive theory of semantic processing in visual word recognition, which should arguably account for how semantic effects may vary by task. It has been suggested that semantic effects are more directly examined using tasks that explicitly require meaning processing relative to those for which meaning processing is not necessary (e.g., lexical decision task). The purpose of the present study was to chart the processing of concrete versus abstract words in the context of a global co-occurrence variable, semantic neighborhood density (SND), by comparing word recognition response times (RTs) across four tasks varying in explicit semantic demands: standard lexical decision task (with non-pronounceable non-words), go/no-go lexical decision task (with pronounceable non-words), progressive demasking task, and sentence relatedness task. The same experimental stimulus set was used across experiments and consisted of 44 concrete and 44 abstract words, with half of these being low SND, and half being high SND. In this way, concreteness and SND were manipulated in a factorial design using a number of visual word recognition tasks. A consistent RT pattern emerged across tasks, in which SND effects were found for abstract (but not necessarily concrete) words. Ultimately, these findings highlight the importance of studying interactive effects in word recognition, and suggest that linguistic associative information is particularly important for abstract words.

The meaning of 'life' and other abstract words: Insights from neuropsychology.

Science.gov (United States)

Hoffman, Paul

2016-09-01

There are a number of long-standing theories on how the cognitive processing of abstract words, like 'life', differs from that of concrete words, like 'knife'. This review considers current perspectives on this debate, focusing particularly on insights obtained from patients with language disorders and integrating these with evidence from functional neuroimaging studies. The evidence supports three distinct and mutually compatible hypotheses. (1) Concrete and abstract words differ in their representational substrates, with concrete words depending particularly on sensory experiences and abstract words on linguistic, emotional, and magnitude-based information. Differential dependence on visual versus verbal experience is supported by the evidence for graded specialization in the anterior temporal lobes for concrete versus abstract words. In addition, concrete words have richer representations, in line with better processing of these words in most aphasic patients and, in particular, patients with semantic dementia. (2) Abstract words place greater demands on executive regulation processes because they have variable meanings that change with context. This theory explains abstract word impairments in patients with semantic-executive deficits and is supported by neuroimaging studies showing greater response to abstract words in inferior prefrontal cortex. (3) The relationships between concrete words are governed primarily by conceptual similarity, while those of abstract words depend on association to a greater degree. This theory, based primarily on interference and priming effects in aphasic patients, is the most recent to emerge and the least well understood. I present analyses indicating that patterns of lexical co-occurrence may be important in understanding these effects. © 2015 The Authors. Journal of Neuropsychology published by John Wiley & Sons Ltd on behalf of the British Psychological Society.

Generation and exploration of aggregation abstractions for scheduling and resource allocation

Science.gov (United States)

Lowry, Michael R.; Linden, Theodore A.

1993-01-01

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

From abstract to peer-reviewed publication: country matters

DEFF Research Database (Denmark)

Fosbol, E.; Fosbøl, Philip Loldrup; Eapen, Z. J.

2013-01-01

within 2 years of the conference. Less is known about the relative difference between countries in regards to likelihood of publication. Methods: Using a validated automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts presented at the AHA...... observed a significant variation among countries in terms of odds of subsequent publication (Figure). Conclusions: Our results show that conversion of science from an abstract into a peer-reviewed publication varies significantly by country. Local national initiatives should be deployed in order to break...

Proceedings of the international conference on nuclear physics, August 24-30, 1980, Berkeley, California. Volume 1. Abstracts. [Berkeley, California, August 24-30, 1980 (abstracts only)

Energy Technology Data Exchange (ETDEWEB)

1980-01-01

This volume contains all abstracts (931) received by the conference organizers before June 20, 1980. The abstracts are grouped according to the following topics: nucleon-nucleon interactions, free and in nuclei; distribution of matter, charge, and magnetism; exotic nuclei and exotic probes; giant resonances and other high-lying excitations; applications of nuclear science; nuclei with large angular momentum and deformation; heavy-ion reactions and relaxation phenomena; new techniques and instruments; pion absorption and scattering by nuclei; and miscellaneous. Some of these one-page abstracts contain data. A complete author index is provided. (RWR)

Correlations and fluctuations '98. Collected abstracts

International Nuclear Information System (INIS)

Csoergoe, T.; Hegyi, S.; Hwa, R.C.; Jancso, G.

1998-01-01

The proceedings of the 8. International workshop on multiparticle production contains the abstracts of papers on various topics of correlations and fluctuations. Hydrodynamic models, Bose-Einstein correlations, hadron-hadron interactions, heavy ion reactions are discussed in detail. 54 items are indexed separately for the INIS database. (K.A.)

Abstracts: NRC Waste Management Program reports

Energy Technology Data Exchange (ETDEWEB)

Heckman, R.A.; Minichino, C.

1979-11-01

This document consists of abstracts of all reports published by the Nuclear Regulatory Commission (NRC) Waste Management Program at Lawrence Livermore Laboratory (LLL). It will be updated at regular intervals. Reports are arranged in numerical order, within each category. Unless otherwise specified, authors are LLL scientists and engineers.

Abstracts: NRC Waste Management Program reports

International Nuclear Information System (INIS)

Heckman, R.A.; Minichino, C.

1979-11-01

This document consists of abstracts of all reports published by the Nuclear Regulatory Commission (NRC) Waste Management Program at Lawrence Livermore Laboratory (LLL). It will be updated at regular intervals. Reports are arranged in numerical order, within each category. Unless otherwise specified, authors are LLL scientists and engineers

Abstracts and research accomplishments of university coal research projects

Energy Technology Data Exchange (ETDEWEB)

1991-06-01

The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their projects in time for distribution at a grantees conference. This book is a compilation of the material received in response to the request. Abstracts discuss the following area: coal science, coal surface science, reaction chemistry, advanced process concepts, engineering fundamentals and thermodynamics, environmental science.

Abstracts and research accomplishments of university coal research projects

International Nuclear Information System (INIS)

1991-06-01

The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their projects in time for distribution at a grantees conference. This book is a compilation of the material received in response to the request. Abstracts discuss the following area: coal science, coal surface science, reaction chemistry, advanced process concepts, engineering fundamentals and thermodynamics, environmental science

How Sustainable is Groundwater Abstraction? A Global Assessment.

Science.gov (United States)

de Graaf, I.; Van Beek, R.; Gleeson, T. P.; Sutanudjaja, E.; Wada, Y.; Bierkens, M. F.

2017-12-01

Groundwater is the world's largest accessible freshwater resource and is of critical importance for irrigation, and thus for global food security. For regions with high demands, groundwater abstractions often exceed recharge and persistent groundwater depletion occurs. The direct effects of depletion are falling groundwater levels, increased pumping costs, land subsidence, and reduced baseflows to rivers. Water demands are expected to increase further due to growing population, economic development, and climate change, posing the urgent question how sustainable current water abstractions are worldwide and where and when these abstractions approach conceivable economic and environmental limits. In this study we estimated trends over 1960-2100 in groundwater levels, resulting from changes in demand and climate. We explored the limits of groundwater abstraction by predicting where and when groundwater levels drop that deep that groundwater gets unattainable for abstraction (economic limit) or, that groundwater baseflows to rivers drop below environmental requirements (environmental limit). We used a global hydrological model coupled to a groundwater model, meaning lateral groundwater flows, river infiltration and drainage, and infiltration and capillary-rise are simulated dynamically. Historical data and projections are used to prescribe water demands and climate forcing to the model. For the near future we used RCP8.5 and applied globally driest, average, and wettest GCM to test climate sensitivity. Results show that in general environmental limits are reached before economic limits, for example starting as early as the 1970s compared to the 1980s for economic limits in the upper Ganges basin. Economic limits are mostly related to regions with depletion, while environmental limits are reached also in regions were groundwater and surface water withdrawals are significant but depletion is not taking place (yet), for example in Spain and Portugal. In the near future

Seminar on the use of research reactors in fundamental and applied sciences. Programme and abstracts

International Nuclear Information System (INIS)

1984-01-01

The document includes the programme and the abstracts of papers presented at the ''Seminar on the use of research reactors in fundamental and applied sciences'' organized by the Tajoura Nuclear Research Centre in cooperation with the IAEA at Tajoura, Tripoli (Libya) between 16-20 September 1984. The abstracts are grouped in seven sessions: reactor physics (five abstracts), research reactor programmes (three abstracts), solid state physics (two abstracts), nuclear physics (two abstracts), radiochemistry (eleven abstracts), activation analysis (five abstracts), diverse topics (six abstracts). Separate indexing was provided for each abstract

CUBE (Computer Use By Engineers) symposium abstracts

International Nuclear Information System (INIS)

Ruminer, J.J.

1978-07-01

This report presents the abstracts for the CUBE (Computer Use by Engineers) Symposium, October 4, through 6, 1978. Contributors are from Lawrence Livermore Laboratory, Los Alamos Scientific Laboratory, and Sandia Laboratories

Abstraction to Implementation: A Two Stage Introduction to Computer Science.

Science.gov (United States)

Wolz, Ursula; Conjura, Edward

A three-semester core curriculum for undergraduate computer science is proposed and described. Both functional and imperative programming styles are taught. The curriculum particularly addresses the problem of effectively presenting both abstraction and implementation. Two courses in the first semester emphasize abstraction. The next courses…

Sleep Supports the Slow Abstraction of Gist from Visual Perceptual Memories.

Science.gov (United States)

Lutz, Nicolas D; Diekelmann, Susanne; Hinse-Stern, Patricia; Born, Jan; Rauss, Karsten

2017-02-17

Sleep benefits the consolidation of individual episodic memories. In the long run, however, it may be more efficient to retain the abstract gist of single, related memories, which can be generalized to similar instances in the future. While episodic memory is enhanced after one night of sleep, effective gist abstraction is thought to require multiple nights. We tested this hypothesis using a visual Deese-Roediger-McDermott paradigm, examining gist abstraction and episodic-like memory consolidation after 20 min, after 10 hours, as well as after one year of retention. While after 10 hours, sleep enhanced episodic-like memory for single items, it did not affect gist abstraction. One year later, however, we found significant gist knowledge only if subjects had slept immediately after encoding, while there was no residual memory for individual items. These findings indicate that sleep after learning strengthens episodic-like memories in the short term and facilitates long-term gist abstraction.

The abstract unconscious in painting

OpenAIRE

Parker, David

2009-01-01

The Abstract Unconscious in Painting addresses painting as experiential process, critically examining the psychological factors involved in the formation of imagery as it emerges through imaginative responses to the process of mark making and the structuring of space and form. The paper sets this process in relation to theoretical material drawn from Jungian and Post Jungian Psychology ( Avens, 1980; Hillman, 1975) the arts ( Gombrich, 1960; Kuspit, 2000; McKeever, 2005; Worringer, 1908) and ...

Abstract specialization and its applications

OpenAIRE

Puebla Sánchez, Alvaro Germán; Hermenegildo, Manuel V.

2003-01-01

The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing the program in different ways. Among them, one of the best known techniques is partial evaluation, often referred to simply as program specialization, which optimizes programs by specializing them for (partially) known input data. In this work we describe abstract specia...

Waste management research abstracts no. 13. Information on research in progress

Energy Technology Data Exchange (ETDEWEB)

NONE

1982-05-01

The 222 research abstracts contained in this issue have been collected during recent months ending 15 January 1982. The abstracts reflect research currently in progress in the field of radioactive waste management: environmental impacts, site selection, decontamination and decommissioning, environmental restoration and legal aspects of radioactive waste management. The abstracts have been printed in the language and in the form of submittal and without any changes other than minor editorial ones.

Waste management research abstracts no. 13. Information on research in progress

International Nuclear Information System (INIS)

1982-05-01

The 222 research abstracts contained in this issue have been collected during recent months ending 15 January 1982. The abstracts reflect research currently in progress in the field of radioactive waste management: environmental impacts, site selection, decontamination and decommissioning, environmental restoration and legal aspects of radioactive waste management. The abstracts have been printed in the language and in the form of submittal and without any changes other than minor editorial ones

Final program and book of abstracts

International Nuclear Information System (INIS)

Alfassi, Z.; German, U.; Goldstein, M.; Weinstein, M.

2004-01-01

The Israel Nuclear Societies consists of the following individual societies: The Israel Nuclear Society, Israel Society of Radiation Protection, Israel Society of Medical Physics and Israel Society of Nuclear Medicine. The annual meeting book of abstracts contains the full text of the presentations in the scopes of each participating society

Small Business Innovation Research. Abstracts of Phase I awards, 1999; TOPICAL

International Nuclear Information System (INIS)

1999-01-01

This booklet presents technical abstracts of Phase I awards made in Fiscal Year (FY) 1999 under the DOE Small Business Innovation Research (SBIR) program. SBIR research explores innovative concepts in important technological and scientific areas that can lead to valuable new technology and products. The work described in the abstracts is novel, high-risk research, but the benefits will also be potentially high if the objectives are met. Brief comments on the potential applications, as described by the awardee, are given after each abstract. Individuals and organizations, including venture capital and larger industrial firms, with an interest in the research described in any of the abstracts are encouraged to contact the appropriate small business directly

Radiological and Environmental Research Division. Annual report. [Lead abstract

Energy Technology Data Exchange (ETDEWEB)

None

1979-01-01

Seventeen papers are presented with abstracts. In addition, five abstracts without papers are included for related topics, i.e., in-vitro inhibition of cell growth; suppression of B.P.-transformed foci in cells; plutonium in drinking water; radioactive properties and biological behavior of radon; and radioactivity and health status of former thorium workers. Two appendices dealing with exposure data for radium patients and radium-induced malignancies are included. (DAD)

Fifth international fungus spore conference. [Abstracts]: Final technical report

Energy Technology Data Exchange (ETDEWEB)

Timberlake, W.E.

1993-04-01

This folio contains the proceedings of the Fifth International Fungal Spore Conference held August 17-21, 1991 at the Unicoi State Park at Helen, Georgia. The volume contains abstracts of each oral presentation as well as a collection of abstracts describing the poster sessions. Presentations were organized around the themes (1) Induction of Sporulation, (2) Nuclear Division, (3) Spore Formation, (4) Spore Release and Dispersal, and (4) Spore Germination.

The method of abstraction in the design of databases and the interoperability

Science.gov (United States)

Yakovlev, Nikolay

2018-03-01

When designing the database structure oriented to the contents of indicators presented in the documents and communications subject area. First, the method of abstraction is applied by expansion of the indices of new, artificially constructed abstract concepts. The use of abstract concepts allows to avoid registration of relations many-to-many. For this reason, when built using abstract concepts, demonstrate greater stability in the processes. The example abstract concepts to address structure - a unique house number. Second, the method of abstraction can be used in the transformation of concepts by omitting some attributes that are unnecessary for solving certain classes of problems. Data processing associated with the amended concepts is more simple without losing the possibility of solving the considered classes of problems. For example, the concept "street" loses the binding to the land. The content of the modified concept of "street" are only the relations of the houses to the declared name. For most accounting tasks and ensure communication is enough.

Abstracts of Remediation Case Studies, Volume 9

Science.gov (United States)

This report, published by the Federal Remediation Technologies Roundtable (FRTR), is a collection of recently published abstracts summarizing 13 cost and performance case studies on the use of remediation technologies at contaminated sites.

Leveraging spatial abstraction in traffic analysis and forecasting with visual analytics

OpenAIRE

Andrienko, N.; Andrienko, G.; Rinzivillo, S.

2016-01-01

A spatially abstracted transportation network is a graph where nodes are territory compartments (areas in geographic space) and edges, or links, are abstract constructs, each link representing all possible paths between two neighboring areas. By applying visual analytics techniques to vehicle traffic data from different territories, we discovered that the traffic intensity (a.k.a. traffic flow or traffic flux) and the mean velocity are interrelated in a spatially abstracted transportation net...

Abstract algebra an inquiry based approach

CERN Document Server

Hodge, Jonathan K; Sundstrom, Ted

2013-01-01

""This book arose from the authors' approach to teaching abstract algebra. They place an emphasis on active learning and on developing students' intuition through their investigation of examples. … The text is organized in such a way that it is possible to begin with either rings or groups.""-Florentina Chirtes, Zentralblatt MATH 1295

IEEE conference record -- Abstracts

International Nuclear Information System (INIS)

Anon.

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

Compositional Abstraction of PEPA Models for Transient Analysis

DEFF Research Database (Denmark)

Smith, Michael James Andrew

2010-01-01

- or interval - Markov chains allow us to aggregate states in such a way as to safely bound transient probabilities of the original Markov chain. Whilst we can apply this technique directly to a PEPA model, it requires us to obtain the CTMC of the model, whose state space may be too large to construct......Stochastic process algebras such as PEPA allow complex stochastic models to be described in a compositional way, but this leads to state space explosion problems. To combat this, there has been a great deal of work in developing techniques for abstracting Markov chains. In particular, abstract...

Towards Identify Selective Antibacterial Peptides Based on Abstracts Meaning

Directory of Open Access Journals (Sweden)

Liliana I. Barbosa-Santillán

2016-01-01

Full Text Available We present an Identify Selective Antibacterial Peptides (ISAP approach based on abstracts meaning. Laboratories and researchers have significantly increased the report of their discoveries related to antibacterial peptides in primary publications. It is important to find antibacterial peptides that have been reported in primary publications because they can produce antibiotics of different generations that attack and destroy the bacteria. Unfortunately, researchers used heterogeneous forms of natural language to describe their discoveries (sometimes without the sequence of the peptides. Thus, we propose that learning the words meaning instead of the antibacterial peptides sequence is possible to identify and predict antibacterial peptides reported in the PubMed engine. The ISAP approach consists of two stages: training and discovering. ISAP founds that the 35% of the abstracts sample had antibacterial peptides and we tested in the updated Antimicrobial Peptide Database 2 (APD2. ISAP predicted that 45% of the abstracts had antibacterial peptides. That is, ISAP found that 810 antibacterial peptides were not classified like that, so they are not reported in APD2. As a result, this new search tool would complement the APD2 with a set of peptides that are candidates to be antibacterial. Finally, 20% of the abstracts were not semantic related to APD2.

Fine-grained semantic categorization across the abstract and concrete domains.

Directory of Open Access Journals (Sweden)

Marta Ghio

Full Text Available A consolidated approach to the study of the mental representation of word meanings has consisted in contrasting different domains of knowledge, broadly reflecting the abstract-concrete dichotomy. More fine-grained semantic distinctions have emerged in neuropsychological and cognitive neuroscience work, reflecting semantic category specificity, but almost exclusively within the concrete domain. Theoretical advances, particularly within the area of embodied cognition, have more recently put forward the idea that distributed neural representations tied to the kinds of experience maintained with the concepts' referents might distinguish conceptual meanings with a high degree of specificity, including those within the abstract domain. Here we report the results of two psycholinguistic rating studies incorporating such theoretical advances with two main objectives: first, to provide empirical evidence of fine-grained distinctions within both the abstract and the concrete semantic domains with respect to relevant psycholinguistic dimensions; second, to develop a carefully controlled linguistic stimulus set that may be used for auditory as well as visual neuroimaging studies focusing on the parametrization of the semantic space beyond the abstract-concrete dichotomy. Ninety-six participants rated a set of 210 sentences across pre-selected concrete (mouth, hand, or leg action-related and abstract (mental state-, emotion-, mathematics-related categories, with respect either to different semantic domain-related scales (rating study 1, or to concreteness, familiarity, and context availability (rating study 2. Inferential statistics and correspondence analyses highlighted distinguishing semantic and psycholinguistic traits for each of the pre-selected categories, indicating that a simple abstract-concrete dichotomy is not sufficient to account for the entire semantic variability within either domains.

Selected translated abstracts of Russian-language climate-change publications. 4: General circulation models

Energy Technology Data Exchange (ETDEWEB)

Burtis, M.D. [comp.] [Oak Ridge National Lab., TN (United States). Carbon Dioxide Information Analysis Center; Razuvaev, V.N.; Sivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information--World Data Center, Obninsk (Russian Federation)

1996-10-01

This report presents English-translated abstracts of important Russian-language literature concerning general circulation models as they relate to climate change. Into addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

Selected translated abstracts of Russian-language climate-change publications: II, Clouds. Issue 159

Energy Technology Data Exchange (ETDEWEB)

Burtis, M.D. [comp.

1994-01-01

This report presents abstracts (translated into English) of important Russian-language literature concerning clouds as they relate to climate change. In addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

Ecosystem models (a bibliography with abstracts). Report for 1964-Nov 1975

International Nuclear Information System (INIS)

Harrison, E.A.

1975-11-01

The bibliography contains abstracts which cover marine biology, natural resources, wildlife, plants, water pollution, microorganisms, food chains, radioactive substances, limnology, and diseases as related to ecosystem models. Contains 214 abstracts

USSR and Eastern Europe Scientific Abstracts Chemistry No. 53

Science.gov (United States)

1977-03-23

16. Abstracts The report contains abstracts and news items on adsorption phenomena, aerosols, alkaloids, analytica, electro- and biochemistry, coal...purification, a desorption- adsorption method of extracting aromatic hydrocarbons from industrial sewage is presented. For removing toxic nitrogen...124-5; Br, H, H, C6H3ClBrN03, 78, 74-5. USSR UDC 661:632.952 NEW MEANS FOR CHEMICAL PROCESSING OF FURFURAL Riga ISPOL’Z PENTOZANSODERZH SYR’YA [USE

The left inferior frontal gyrus: A neural crossroads between abstract and concrete knowledge.

Science.gov (United States)

Della Rosa, Pasquale Anthony; Catricalà, Eleonora; Canini, Matteo; Vigliocco, Gabriella; Cappa, Stefano F

2018-07-15

Evidence from both neuropsychology and neuroimaging suggests that different types of information are necessary for representing and processing concrete and abstract word meanings. Both abstract and concrete concepts, however, conjointly rely on perceptual, verbal and contextual knowledge, with abstract concepts characterized by low values of imageability (IMG) (low sensory-motor grounding) and low context availability (CA) (more difficult to contextualize). Imaging studies supporting differences between abstract and concrete concepts show a greater recruitment of the left inferior frontal gyrus (LIFG) for abstract concepts, which has been attributed either to the representation of abstract-specific semantic knowledge or to the request for more executive control than in the case of concrete concepts. We conducted an fMRI study on 27 participants, using a lexical decision task involving both abstract and concrete words, whose IMG and CA values were explicitly modelled in separate parametric analyses. The LIFG was significantly more activated for abstract than for concrete words, and a conjunction analysis showed a common activation for words with low IMG or low CA only in the LIFG, in the same area reported for abstract words. A regional template map of brain activations was then traced for words with low IMG or low CA, and BOLD regional time-series were extracted and correlated with the specific LIFG neural activity elicited for abstract words. The regions associated to low IMG, which were functionally correlated with LIFG, were mainly in the left hemisphere, while those associated with low CA were in the right hemisphere. Finally, in order to reveal which LIFG-related network increased its connectivity with decreases of IMG or CA, we conducted generalized psychophysiological interaction analyses. The connectivity strength values extracted from each region connected with the LIFG were correlated with specific LIFG neural activity for abstract words, and a regression

South Carolina Higher Education Statistical Abstract, 2014. 36th Edition

Science.gov (United States)

Armour, Mim, Ed.

2014-01-01

The South Carolina Higher Education Statistical Abstract is a comprehensive, single-source compilation of tables and graphs which report data frequently requested by the Governor, Legislators, college and university staff, other state government officials, and the general public. The 2014 edition of the Statistical Abstract marks the 36th year of…

South Carolina Higher Education Statistical Abstract, 2015. 37th Edition

Science.gov (United States)

Armour, Mim, Ed.

2015-01-01

The South Carolina Higher Education Statistical Abstract is a comprehensive, single-source compilation of tables and graphs which report data frequently requested by the Governor, Legislators, college and university staff, other state government officials, and the general public. The 2015 edition of the Statistical Abstract marks the 37th year of…

Earth Sciences Division, collected abstracts-1977

International Nuclear Information System (INIS)

Quitiquit, W.A.; Ledbetter, G.P.; Henry, A.L.

1978-01-01

This report is a compilation of abstracts of papers, internal reports, and talks presented during 1977 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore Laboratory. It is arranged alphabetically by author and includes a cross-reference by subject indicating the areas of research interest of the Earth Sciences Division

Full-text publication of abstract-presented work in sport and exercise psychology.

Science.gov (United States)

Shue, Sarah; Warden, Stuart

2018-01-01

Meetings promote information sharing, but do not enable full dissemination of details. A systematic search was conducted for abstracts presented at the 2010 and 2011 Association of Applied Sport Psychology Annual Conferences to determine the full-text dissemination rate of work presented in abstract form and investigate factors influencing this rate. Systematic searches were sequentially conducted to determine whether the abstract-presented work had been published in full-text format in the 5 years following presentation. If a potential full-text publication was identified, information from the conference abstract (eg, results, number of participants in the sample(s), measurement tools used and so on) was compared with the full text to ensure the two entities represented the same body of work. Abstract factors of interest were assessed using logistic regression. Ninety-four out of 423 presented abstracts (22.2%) were published in full text. Odds of full-text publication increased if the abstract was from an international institution, presented in certain conference sections or presented as a lecture. Those attending professional conferences should be cautious when translating data presented at conferences into their applied work because of the low rate of peer-reviewed and full-text publication of the information.

Selected translated abstracts of Russian-language climate-change publications, III aerosols: Issue 164

Energy Technology Data Exchange (ETDEWEB)

Razuvaev, V.N.; Ssivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information-World Data Center, Obninsk (Russian Federation)

1995-10-01

This report presents abstracts in Russian and translated into English of important Russian-language literature concerning aerosols as they relate to climate change. In addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms

KAUST Repository

Efendiev, Yalchin; Galvis, Juan; Lazarov, Raytcho; Willems, Joerg

2012-01-01

An abstract framework for constructing stable decompositions of the spaces corresponding to general symmetric positive definite problems into "local" subspaces and a global "coarse" space is developed. Particular applications of this abstract

Shared liking and association valence for representational art but not abstract art.

Science.gov (United States)

Schepman, Astrid; Rodway, Paul; Pullen, Sarah J; Kirkham, Julie

2015-01-01

We examined the finding that aesthetic evaluations are more similar across observers for representational images than for abstract images. It has been proposed that a difference in convergence of observers' tastes is due to differing levels of shared semantic associations (Vessel & Rubin, 2010). In Experiment 1, student participants rated 20 representational and 20 abstract artworks. We found that their judgments were more similar for representational than abstract artworks. In Experiment 2, we replicated this finding, and also found that valence ratings given to associations and meanings provided in response to the artworks converged more across observers for representational than for abstract art. Our empirical work provides insight into processes that may underlie the observation that taste for representational art is shared across individual observers, while taste for abstract art is more idiosyncratic.

Towards Abstract Interpretation of Epistemic Logic

DEFF Research Database (Denmark)

Ajspur, Mai; Gallagher, John Patrick

applicable to infinite models. The abstract model-checker allows model-checking with infinite-state models. When applied to the problem of whether M |= φ, it terminates and returns the set of states in M at which φ might hold. If the set is empty, then M definitely does not satisfy φ, while if the set is non...

Pulmonary toxicology of respirable particles. [Lead abstract

Energy Technology Data Exchange (ETDEWEB)

Sanders, C.L.; Cross, F.T.; Dagle, G.E.; Mahaffey, J.A. (eds.)

1980-09-01

Separate abstracts were prepared for the 44 papers presented in these proceedings. The last paper (Stannard) in the proceedings is an historical review of the field of inhalation toxicology and is not included in the analytics. (DS)

Abstract: Cultural Humility in Nursing Practice | Nkurunziza ...

African Journals Online (AJOL)

Abstract: Cultural Humility in Nursing Practice. ... For example, Rwandan colleagues work from a collectivist viewpoint. ... In contrast, the U.S. healthcare system is based on individualism, rooted in a belief in the separation and autonomy of ...

Completion is an Instance of Abstract Canonical System Inference

OpenAIRE

Burel , Guillaume; Kirchner , Claude

2006-01-01

http://www.springerlink.com/content/u222753gl333221p/; Abstract canonical systems and inference (ACSI) were introduced to formalize the intuitive notions of good proof and good inference appearing typically in first-order logic or in Knuth-Bendix like completion procedures. Since this abstract framework is intended to be generic, it is of fundamental interest to show its adequacy to represent the main systems of interest. This has been done for ground completion (where all equational axioms a...

14th National Conference on Physics. Abstracts. Volume 2

International Nuclear Information System (INIS)

Calboreanu, Alexandru; Grecu, Dan

2005-01-01

The National Conference on Physics 2005, is dedicated to 'The International Year of Physics' by the scientific community of physicists in Romania. Within the frame of this 'Festival of Physics', The First Symposium on Technical Physics and Physical Engineering' TPPE 2005, was organized as a satellite event at the Polytechnic University of Bucharest. As it is well known, the contributed papers to the National Conference on Physics were structured on chapters, corresponding to 'the sections' of The Romanian Society of Physics, their abstracts being then published in a two volume 'Book of Abstracts'. All the chapters of this book, except the 8th and the 9th, can be found in 'Abstracts Volume I'. According to the topics of the TPPE 2005, these two chapters, namely: 8. Technical Physics and Physical Engineering and 9. Physics and Energy are published separately in the 'Abstracts Volume II', but as it can be seen, the unitary character of the Conference is preserved and developed. The most important topics of this second volume are: optoelectronics; advanced materials and technologies; physics, electronics and electrical engineering; physics and mechanical engineering; physics and chemical engineering; physics, information and computer engineering; physics and industry; physics, biology and medical engineering; renewable energy sources and energy efficiency; nuclear engineering. We present the progress made in physics education concerning: physics teaching in technical education; E-learning and modern methods in physics teaching; physics education in schools and universities, in a special section of the first volume of abstracts. Regarding the essential role of physics in the realizing of a knowledge-based society of the new millennium the strengthening of the relationship between researchers and academics becomes thus the main message of this scientific meeting. (P.S.)

Exploiting Spatial Abstraction in Predictive Analytics of Vehicle Traffic

Directory of Open Access Journals (Sweden)

Natalia Andrienko

2015-04-01

Full Text Available By applying visual analytics techniques to vehicle traffic data, we found a way to visualize and study the relationships between the traffic intensity and movement speed on links of a spatially abstracted transportation network. We observed that the traffic intensities and speeds in an abstracted network are interrelated in the same way as they are in a detailed street network at the level of street segments. We developed interactive visual interfaces that support representing these interdependencies by mathematical models. To test the possibility of utilizing them for performing traffic simulations on the basis of abstracted transportation networks, we devised a prototypical simulation algorithm employing these dependency models. The algorithm is embedded in an interactive visual environment for defining traffic scenarios, running simulations, and exploring their results. Our research demonstrates a principal possibility of performing traffic simulations on the basis of spatially abstracted transportation networks using dependency models derived from real traffic data. This possibility needs to be comprehensively investigated and tested in collaboration with transportation domain specialists.

Utilization of chemical abstracts service (CAS) data bases

International Nuclear Information System (INIS)

Ehrhardt, F.; Gesellschaft Deutscher Chemiker, Berlin

1979-04-01

A method is developed describing the economic utilization of the Chemical Abstracts Service data bases CA Condensates and Chemical Abstracts Subject Index Alertin order to supplement the data base of the IDC-Inorganica-Documentationsystem built up to meet the peculiarities of the inorganic chemistry. The method consists of EDP-Programs and processes at which special authority files for coded compound and subject entries play an important role. One of the advantages of the method is that the intellectual effort necessary to create such a data base is reduced to a minimum. The authority files may be also used for orther purposes. (orig.) 891 WB 892 MB [de

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

DEFF Research Database (Denmark)

Hahn, Ernst Moritz; Norman, Gethin; Parker, David

2011-01-01

We consider a class of hybrid systems that involve random phenomena, in addition to discrete and continuous behaviour. Examples of such systems include wireless sensing and control applications. We propose and compare two abstraction techniques for this class of models, which yield lower and upper...... bounds on the optimal probability of reaching a particular class of states. We also demonstrate the applicability of these abstraction techniques to the computation of long-run average reward properties and the synthesis of controllers. The first of the two abstractions yields more precise information......, while the second is easier to construct. For the latter, we demonstrate how existing solvers for hybrid systems can be leveraged to perform the computation....

Abstraction Mechanisms in the BETA Programming Language

DEFF Research Database (Denmark)

Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger

1983-01-01

. It is then necessary that the abstraction mechanisms are powerful in order to define more specialized constructs. BETA is an object oriented language like SIMULA 67 ([SIMULA]) and SMALLTALK ([SMALLTALK]). By this is meant that a construct like the SIMULA class/subclass mechanism is fundamental in BETA. In contrast......]) --- covering both data, procedural and control abstractions, substituting constructs like class, procedure, function and type. Correspondingly objects, procedure activation records and variables are all regarded as special cases of the basic building block of program executions: the entity. A pattern thus......The BETA programming language is developed as part of the BETA project. The purpose of this project is to develop concepts, constructs and tools in the field of programming and programming languages. BETA has been developed from 1975 on and the various stages of the language are documented in [BETA...

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

DEFF Research Database (Denmark)

Kafle, Bishoksan; Gallagher, John Patrick

2017-01-01

In this paper we apply tree-automata techniques to refinement of abstract interpretation in Horn clause verification. We go beyond previous work on refining trace abstractions; firstly we handle tree automata rather than string automata and thereby can capture traces in any Horn clause derivations...... underlying the Horn clauses. Experiments using linear constraint problems and the abstract domain of convex polyhedra show that the refinement technique is practical and that iteration of abstract interpretation with tree automata-based refinement solves many challenging Horn clause verification problems. We...... compare the results with other state-of-the-art Horn clause verification tools....

Advanced light source: Compendium of user abstracts and technical reports,1993-1996

Energy Technology Data Exchange (ETDEWEB)

None, None

1997-04-01

This compendium contains abstracts written by users summarizing research completed or in progress from 1993-1996, ALS technical reports describing ongoing efforts related to improvement in machine operations and research and development projects, and information on ALS beamlines planned through 1998. Two tables of contents organize the user abstracts by beamline and by area of research, and an author index makes abstracts accessible by author and by principal investigator. Technical details for each beamline including whom to contact for additional information can be found in the beamline information section. Separate abstracts have been indexed into the database for contributions to this compendium.

Stochastic abstract policies: generalizing knowledge to improve reinforcement learning.

Science.gov (United States)

Koga, Marcelo L; Freire, Valdinei; Costa, Anna H R

2015-01-01

Reinforcement learning (RL) enables an agent to learn behavior by acquiring experience through trial-and-error interactions with a dynamic environment. However, knowledge is usually built from scratch and learning to behave may take a long time. Here, we improve the learning performance by leveraging prior knowledge; that is, the learner shows proper behavior from the beginning of a target task, using the knowledge from a set of known, previously solved, source tasks. In this paper, we argue that building stochastic abstract policies that generalize over past experiences is an effective way to provide such improvement and this generalization outperforms the current practice of using a library of policies. We achieve that contributing with a new algorithm, AbsProb-PI-multiple and a framework for transferring knowledge represented as a stochastic abstract policy in new RL tasks. Stochastic abstract policies offer an effective way to encode knowledge because the abstraction they provide not only generalizes solutions but also facilitates extracting the similarities among tasks. We perform experiments in a robotic navigation environment and analyze the agent's behavior throughout the learning process and also assess the transfer ratio for different amounts of source tasks. We compare our method with the transfer of a library of policies, and experiments show that the use of a generalized policy produces better results by more effectively guiding the agent when learning a target task.

The Israel Physical Society 1997 Annual Meeting. Program and abstracts

International Nuclear Information System (INIS)

1997-01-01

The book of program and abstracts of the 43rd meeting of the Israel physical society presents abstracts of presentations in various field of physics. Follow is the list of these fields. Astrophysics, condensed matter, laser and quantum optics, nuclear physics, particle and fields, physics in biology, physics in industry, plasma and space physics, statistical physics and nonlinear dynamics

Perceptual, semantic and affective dimensions of experience of abstract and representational paintings

Directory of Open Access Journals (Sweden)

Marković Slobodan

2011-01-01

Full Text Available In this study the difference between representational and abstract paintings in judgments on perceptual, semantic and affective dimensions was investigated. Two groups of participants judged the sets of representational and abstract paintings on three groups of dimensions: perceptual (Form, Color, Space and Complexity, semantic (Illusion-Construction of Reality, Expression, Ideology and Decoration, and affective (Hedonic Tone, Arousal, Relaxation and Regularity. The results have shown that representational paintings have higher judgments on the perceptual dimensions of Form and Complexity, the semantic dimension of the Illusion of Reality (the opposite pole of the Construction of Reality, and the affective dimension of Regularity. On the other hand, abstract paintings have higher judgments on the perceptual dimension of Color, the semantic dimensions of Construction of Reality (the opposite pole of the Illusion of Reality and Expression, and the affective dimension Arousal. A discriminant analysis indicated that all three sets of dimensions are relatively good predictors of the classification of representational and abstract paintings (61-100%. The results suggest that the subjective categorization of paintings is generally based on the recognizability of pictorial content (representational vs. abstract, but some formal or stylistic properties play a role in the categorization, as well: some expressionistic representational paintings were classified in an abstract category, and some geometrically abstract paintings were classified as representational.

Converging modalities ground abstract categories: the case of politics.

Science.gov (United States)

Farias, Ana Rita; Garrido, Margarida V; Semin, Gün R

2013-01-01

Three studies are reported examining the grounding of abstract concepts across two modalities (visual and auditory) and their symbolic representation. A comparison of the outcomes across these studies reveals that the symbolic representation of political concepts and their visual and auditory modalities is convergent. In other words, the spatial relationships between specific instances of the political categories are highly overlapping across the symbolic, visual and auditory modalities. These findings suggest that abstract categories display redundancy across modal and amodal representations, and are multimodal.

Hydrogen abstraction from n-butanol by the methyl radical: high level ab initio study of abstraction pathways and the importance of low energy rotational conformers.

Science.gov (United States)

Katsikadakos, D; Hardalupas, Y; Taylor, A M K P; Hunt, P A

2012-07-21

Hydrogen abstraction reactions by the methyl radical from n-butanol have been investigated at the ROCBS-QB3 level of theory. Reaction energies and product geometries for the most stable conformer of n-butanol (ROH) have been computed, the reaction energies order α channel more stable than the β-channel? Why do the two C(γ)-H H-abstraction TS differ in energy? The method and basis set dependence of the TS barriers is investigated. The Boltzmann probability distribution for the n-butanol conformers suggests that low energy conformers are present in approximately equal proportions to the most stable conformer at combustion temperatures where ĊH(3) radicals are present. Thus, the relative significance of the various H-abstraction channels has been assessed for a selection of higher energy conformers (ROH'). Key results include finding that higher energy n-butanol conformers (E(ROH') > E(ROH)) can generate lower energy product radicals, E(ROH') < E(ROH). Moreover, higher energy conformers can also have a globally competitive TS energy for H-abstraction.

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1994-06-01

This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission (NRC) Staff and its contractors. It is NRC's intention to publish this compilation quarterly and to cumulate it annually

Mixed metaphors: Electrophysiological brain responses to (un)expected concrete and abstract prepositional phrases.

Science.gov (United States)

Zane, Emily; Shafer, Valerie

2018-02-01

Languages around the world use spatial terminology, like prepositions, to describe non-spatial, abstract concepts, including time (e.g., in the moment). The Metaphoric Mapping Theory explains this pattern by positing that a universal human cognitive process underlies it, whereby abstract concepts are conceptualized via the application of concrete, three-dimensional space onto abstract domains. The alternative view is that the use of spatial propositions in abstract phrases is idiomatic, and thus does not trigger metaphoric mapping. In the current study, event-related potentials (ERPs) were used to examine the time-course of neural processing of concrete and abstract phrases consisting of the prepositions in or on followed by congruent and incongruent nouns (e.g., in the bowl/plate and in the moment/mend). ERPs were recorded from the onset of reference nouns in 28 adult participants using a 128-channel electrode net. Results show that congruency has differential effects on neural measures, depending on whether the noun is concrete or abstract. Incongruent reference nouns in concrete phrases (e.g., on the bowl) elicited a significant central negativity (an N400 effect), while incongruent reference nouns in abstract phrases (e.g., on the moment) did not. These results suggest that spatially incongruent concrete nouns are semantically unexpected (N400 effect). A P600 effect, which might indicate rechecking, reanalysis and/or reconstruction, was predicted for incongruent abstract nouns, but was not observed, possibly due to the variability in abstract stimuli. Findings cast doubt on accounts claiming that abstract uses of prepositions are cognitively and metaphorically linked to their spatial sense during natural, on-line processing. Copyright © 2017 Elsevier B.V. All rights reserved.

International symposium on in vivo body composition studies: Program and abstracts

Energy Technology Data Exchange (ETDEWEB)

1986-01-01

This booklet contains the program and individual abstracts for papers presented at the International symposium on in vivo body composition studies. The presentations were divided into five sessions. Individual abstracts were indexed for the Energy Data Base. (DT)

Waste management research abstracts No. 17

International Nuclear Information System (INIS)

1986-11-01

The research data sheets contained in this issue have been collected during the period ending August 1986, and reflect research currently in progress in the field of radioactive waste management. This publication covers a wide range of programmes in the IAEA Member States. Abstracts intended for inclusion in this publication were submitted in the English, French, Russian or Spanish language

Water cooled reactor technology: Safety research abstracts no. 1

International Nuclear Information System (INIS)

1990-01-01

The Commission of the European Communities, the International Atomic Energy Agency and the Nuclear Energy Agency of the OECD publish these Nuclear Safety Research Abstracts within the framework of their efforts to enhance the safety of nuclear power plants and to promote the exchange of research information. The abstracts are of nuclear safety related research projects for: pressurized light water cooled and moderated reactors (PWRs); boiling light water cooled and moderated reactors (BWRs); light water cooled and graphite moderated reactors (LWGRs); pressurized heavy water cooled and moderated reactors (PHWRs); gas cooled graphite moderated reactors (GCRs). Abstracts of nuclear safety research projects for fast breeder reactors are published independently by the Nuclear Energy Agency of the OECD and are not included in this joint publication. The intention of the collaborating international organizations is to publish such a document biannually. Work has been undertaken to develop a common computerized system with on-line access to the stored information

Perception of emotion in abstract artworks: a multidisciplinary approach.

Science.gov (United States)

Melcher, David; Bacci, Francesca

2013-01-01

There is a long-standing and fundamental debate regarding how emotion can be expressed by fine art. Some artists and theorists have claimed that certain features of paintings, such as color, line, form, and composition, can consistently express an "objective" emotion, while others have argued that emotion perception is subjective and depends more on expertise of the observer. Here, we discuss two studies in which we have found evidence for consistency in observer ratings of emotion for abstract artworks. We have developed a stimulus set of abstract art images to test emotional priming, both between different painting images and between paintings and faces. The ratings were also used in a computational vision analysis of the visual features underlying emotion expression. Overall, these findings suggest that there is a strong bottom-up and objective aspect to perception of emotion in abstract artworks that may tap into basic visual mechanisms. © 2013 Elsevier B.V. All rights reserved.

Concentration and size distribution of particles in abstracted groundwater.

Science.gov (United States)

van Beek, C G E M; de Zwart, A H; Balemans, M; Kooiman, J W; van Rosmalen, C; Timmer, H; Vandersluys, J; Stuyfzand, P J

2010-02-01

Particle number concentrations have been counted and particle size distributions calculated in groundwater derived by abstraction wells. Both concentration and size distribution are governed by the discharge rate: the higher this rate the higher the concentration and the higher the proportion of larger particles. However, the particle concentration in groundwater derived from abstraction wells, with high groundwater flow velocities, is much lower than in groundwater from monitor wells, with minimal flow velocities. This inconsistency points to exhaustion of the particle supply in the aquifer around wells due to groundwater abstraction for many years. The particle size distribution can be described with the help of a power law or Pareto distribution. Comparing the measured particle size distribution with the Pareto distribution shows that particles with a diameter >7 microm are under-represented. As the particle size distribution is dependent on the flow velocity, so is the value of the "Pareto" slope beta. (c) 2009 Elsevier Ltd. All rights reserved.

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

NARCIS (Netherlands)

C.P.T. de Gouw (Stijn); F.S. de Boer (Frank); W. Ahrendt (Wolfgang); R. Bubel (Richard)

2016-01-01

textabstractWe present a fully abstract weakest precondition calculus and its integration with symbolic execution. Our assertion language allows both specifying and verifying properties of objects at the abstraction level of the programming language, abstracting from a specific implementation of

Abstraction ability as an indicator of success for learning object-oriented programming?

DEFF Research Database (Denmark)

Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

2006-01-01

ability is operationalized as stages of cognitive development (for which validated tests exist). Programming ability is operationalized as grade in the final assessment of a model-based objects-first CS1. The validity of the operationalizations is discussed. Surprisingly, our study shows......Computer science educators generally agree that abstract thinking is a crucial component for learning computer science in general and programming in particular. We report on a study to confirm the hypothesis that general abstraction ability has a positive impact on programming ability. Abstraction...... that there is no correlation between stage of cognitive development (abstraction ability) and final grade in CS1 (programming ability). Possible explanations are identified....

Beyond the dichotomy of figurative and abstract art in hospitals

DEFF Research Database (Denmark)

Nielsen, Stine Maria Louring; Mullins, Michael Finbarr

2017-01-01

from two experimental case studies on 98 patients’ well-being in relation to their experience and use of visual art during hospitalization. The case studies employed a mixed-method approach, including interviews and observations informed by thermal video recording, surveys and psychophysiological......Within the evidence-based design discourse, and deriving particularly from the theory of emotional congruence, abstract art has been indicated as unsuitable for hospitals. As patients may often experience unfamiliarity, vulnerability, stress, unpredictability and uneasiness in hospitals......, these negative factors in terms of patients’ well-being are predicted to be detrimentally reinforced by abstract art, but alleviated by particular forms of figurative art. The present paper focuses particularly on this question of the suitability of abstract art in Danish hospital settings and presents findings...

CONSORT recommendations in abstracts of randomised, controlled trials on migraine and headache

DEFF Research Database (Denmark)

Tfelt-Hansen, Peer Carsten

2011-01-01

A CONSORT statement on the content of abstracts of randomised, controlled trials (RCTs) was published in 2008. I therefore reviewed the abstracts from 2009 to 2010 published on RCTs in Cephalalgia, Headache and other (non-headache) journals. The following items were reviewed: number of patients, ....... The influence of the CONSORT statement on reporting in abstracts has so far only had a limited influence on the headache literature....

Geometric Abstract Art and Public Health Data

Centers for Disease Control (CDC) Podcasts

2016-10-18

Dr. Salaam Semaan, a CDC behavioral scientist, discusses the similarities between geometric abstract art and public health data analysis.  Created: 10/18/2016 by National Center for Emerging and Zoonotic Infectious Diseases (NCEZID).   Date Released: 10/18/2016.

Abstracts of Research, July 1975-June 1976.

Science.gov (United States)

Ohio State Univ., Columbus. Computer and Information Science Research Center.

Abstracts of research papers in computer and information science are given for 62 papers in the areas of information storage and retrieval; computer facilities; information analysis; linguistics analysis; artificial intelligence; information processes in physical, biological, and social systems; mathematical technigues; systems programming;…

Alemayehu Yismaw Demamu Abstract Ethiopia overhauled its ...

African Journals Online (AJOL)

Abstract. Ethiopia overhauled its arbitration laws with the enactment of the Civil Code and .... 2 United Nations Commission on International Trade Law, UNCITRAL Model Law on International Commercial ...... investment agreement between Ethiopia and Great Britain and Northern Ireland under Article 8, Ethiopia and.

Converging modalities ground abstract categories: the case of politics.

Directory of Open Access Journals (Sweden)

Ana Rita Farias

Full Text Available Three studies are reported examining the grounding of abstract concepts across two modalities (visual and auditory and their symbolic representation. A comparison of the outcomes across these studies reveals that the symbolic representation of political concepts and their visual and auditory modalities is convergent. In other words, the spatial relationships between specific instances of the political categories are highly overlapping across the symbolic, visual and auditory modalities. These findings suggest that abstract categories display redundancy across modal and amodal representations, and are multimodal.

Effect of Groundwater Abstraction on Fen Ecosystems

DEFF Research Database (Denmark)

Johansen, Ole; Pedersen, Morten Lauge; Jensen, Jacob Birk

2011-01-01

within a distance of 1.5 km to a planned well field. In the river valley the interaction between groundwater and surface water is strongly affected by low permeable sediments. These sediments reduce the direct discharge to the river and have a large impact on the functioning and presence of the rich fen......Quantifying the effects of groundwater abstraction on fen ecosystems located in discharge areas can be complicated. The water level in fens is close to the terrain surface most of the year and it is controlled by a relatively constant groundwater exfiltration. It is difficult to measure...... the exfiltration fluxes and thus water level data is typically used to evaluate if the ecosystem is affected. The paper presents collected data and analysis from a case study, where the hydrological effect of groundwater abstraction on rich fens and springs in a Danish river valley has been studied. The natural...

Back to Hegel? On Gillian Rose's critique of sociological reason.

Science.gov (United States)

Fuller, Brian W

2017-08-22

Thirty-five years ago, Gillian Rose articulated a significant critique of classical sociological reason, emphasizing its relationship to its philosophical forebears. In a series of works, but most significantly in her Hegel contra Sociology, Rose worked to specify the implications of sociology's failure, both in its critical Marxist and its 'scientific' forms, to move beyond Kant and to fully come to terms with the thought of Hegel. In this article, I unpack and explain the substance of her criticisms, developing the necessary Hegelian philosophical background on which she founded them. I argue that Rose's attempted recuperation of 'speculative reason' for social theory remains little understood, despite its continued relevance to contemporary debates concerning the nature and scope of sociological reason. As an illustration, I employ Rose to critique Chernilo's recent call for a more philosophically sophisticated sociology. From the vantage point of Rose, this particular account of a 'philosophical sociology' remains abstract and rooted in the neo-Kantian contradictions that continue to characterize sociology. © London School of Economics and Political Science 2017.

Current Abstracts Nuclear Reactors and Technology

Energy Technology Data Exchange (ETDEWEB)

Bales, J.D.; Hicks, S.C. [eds.

1993-01-01

This publication Nuclear Reactors and Technology (NRT) announces on a monthly basis the current worldwide information available from the open literature on nuclear reactors and technology, including all aspects of power reactors, components and accessories, fuel elements, control systems, and materials. This publication contains the abstracts of DOE reports, journal articles, conference papers, patents, theses, and monographs added to the Energy Science and Technology Database during the past month. Also included are US information obtained through acquisition programs or interagency agreements and international information obtained through acquisition programs or interagency agreements and international information obtained through the International Energy Agency`s Energy Technology Data Exchange or government-to-government agreements. The digests in NRT and other citations to information on nuclear reactors back to 1948 are available for online searching and retrieval on the Energy Science and Technology Database and Nuclear Science Abstracts (NSA) database. Current information, added daily to the Energy Science and Technology Database, is available to DOE and its contractors through the DOE Integrated Technical Information System. Customized profiles can be developed to provide current information to meet each user`s needs.

Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

NARCIS (Netherlands)

Halkes, G.P.; Langendoen, K.G.

2010-01-01

The evaluation ofMAC protocols forWireless Sensor Networks (WSNs) is often performed through simulation. These simulations necessarily abstract away from reality inmany ways. However, the impact of these abstractions on the results of the simulations has received only limited attention. Moreover,

Automatically identifying gene/protein terms in MEDLINE abstracts.

Science.gov (United States)

Yu, Hong; Hatzivassiloglou, Vasileios; Rzhetsky, Andrey; Wilbur, W John

2002-01-01

Natural language processing (NLP) techniques are used to extract information automatically from computer-readable literature. In biology, the identification of terms corresponding to biological substances (e.g., genes and proteins) is a necessary step that precedes the application of other NLP systems that extract biological information (e.g., protein-protein interactions, gene regulation events, and biochemical pathways). We have developed GPmarkup (for "gene/protein-full name mark up"), a software system that automatically identifies gene/protein terms (i.e., symbols or full names) in MEDLINE abstracts. As a part of marking up process, we also generated automatically a knowledge source of paired gene/protein symbols and full names (e.g., LARD for lymphocyte associated receptor of death) from MEDLINE. We found that many of the pairs in our knowledge source do not appear in the current GenBank database. Therefore our methods may also be used for automatic lexicon generation. GPmarkup has 73% recall and 93% precision in identifying and marking up gene/protein terms in MEDLINE abstracts. A random sample of gene/protein symbols and full names and a sample set of marked up abstracts can be viewed at http://www.cpmc.columbia.edu/homepages/yuh9001/GPmarkup/. Contact. hy52@columbia.edu. Voice: 212-939-7028; fax: 212-666-0140.

Publication outcomes of neonatology abstracts presented at the Pediatric Academic Societies meeting.

Science.gov (United States)

Levinsky, Y; Berger, T; Brameli, A; Goldstein, T; Akerman, E; Mimouni, M; Mimouni, F B; Amarilyo, G

2017-04-06

To examine publication outcomes of neonatology abstracts presented at Pediatric Academic Society (PAS) meeting, and to analyze variables affecting publication. All neonatology studies accepted for presentation (oral or poster) at 2008 PAS meeting were identified. A biphasic manual PubMed search of published articles was performed using a pre-designed algorithm. A total of 1078 neonatology abstracts were presented at the meeting, among them 481 (44.62%) published by 2016. Abstracts presented orally versus posters (56.11 versus 42.32%; P<0.001) and basic science versus clinical abstracts (53.08 versus 40.2%; P<0.001) were more likely to be published. Positive or negative results of a study or its sample size did not predict rates of publication. Less than half of the abstracts presented at the PAS meeting were published within 8 years. Oral presentations were more likely to be published than posters.Journal of Perinatology advance online publication, 6 April 2017; doi:10.1038/jp.2017.46.

Research Article Abstracts in Two Related Disciplines: Rhetorical Variation between Linguistics and Applied Linguistics

Science.gov (United States)

Suntara, Watinee; Usaha, Siriluck

2013-01-01

The previous studies on abstracts (e.g., Santos, 1996; Samraj, 2002; Pho, 2008) illustrate that disciplinary variation in research article abstracts is discernible. However, the studies of abstracts from two related disciplines are still limited. The present study aimed to explore the rhetorical moves of abstracts in the fields of linguistics and…

A Sound Abstraction of the Parsing Problem

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander; Katsoris, Georgios

2014-01-01

In formal verification, cryptographic messages are often represented by algebraic terms. This abstracts not only from the intricate details of the real cryptography, but also from the details of the non-cryptographic aspects: the actual formatting and structuring of messages. We introduce a new a...

A Brief Introduction to Chinese Biological Abstracts

Institute of Scientific and Technical Information of China (English)

无

2005-01-01

Chinese Biological Abstracts sponsored by the Library, the Shanghai Institutes for Biological Sciences, the Biological Documentation and Information Network, all of the Chinese Academy of Sciences, commenced publication in 1987 and was initiated to provide access to the Chinese information in the field of biology.

Behavioral technique for workflow abstraction and matching

NARCIS (Netherlands)

Klai, K.; Ould Ahmed M'bareck, N.; Tata, S.; Dustdar, S.; Fiadeiro, J.L.; Sheth, A.

2006-01-01

This work is in line with the CoopFlow approach dedicated for workflow advertisement, interconnection, and cooperation in virtual organizations. In order to advertise workflows into a registry, we present in this paper a novel method to abstract behaviors of workflows into symbolic observation

Abstract: Implementing Infection Control Measures in Neonatology ...

African Journals Online (AJOL)

Abstract. Background Neonatal infection is a primary cause of morbidity and mortality globally. Objective The project's objective is to facilitate quality improvement by reduction of hospital-acquired infection (HAI) in hospitalized neonates. Methods Current infection control practices were surveyed and three main areas were ...

The Neural Correlates of Abstract and Concrete Words: Evidence from Brain-Damaged Patients

Directory of Open Access Journals (Sweden)

Giorgia Martello

2013-08-01

Full Text Available Neuropsychological and activation studies on the neural correlates of abstract and concrete words have produced contrasting results. The present study explores the anatomical substrates of abstract/concrete words in 22 brain-damaged patients with a single vascular lesion either in the right or left hemisphere. One hundred and twenty (60 concrete and 60 abstract noun triplets were used for a semantic similarity judgment task. We found a significant interaction in word type × group since left temporal brain-damaged patients performed significantly better with concrete than abstract words. Lesion mapping of patients with predominant temporal damage showed that the left superior and middle temporal gyri and the insula were the areas of major overlapping, while the anterior portion of the left temporal lobe was generally spared. Errors on abstract words mainly concerned (although at a non-significant level semantically associate targets, while in the case of concrete words, coordinate targets were significantly more impaired than associate ones. Our results suggest that the left superior and middle temporal gyri and the insula are crucial regions in processing abstract words. They also confirm the hypothesis of a semantic similarity vs. associative organization of concrete and abstract concepts.

The Components of Abstracts: the Logical Structure of Abstractsin the Area of Technical Sciences

Directory of Open Access Journals (Sweden)

Nina Jamar

2014-04-01

Full Text Available ABSTRACTPurpose: The main purpose of this research was to find out what kind of structure would be the most appropriate for abstracts in the area of technical sciences, and on the basis of these findings develop guidelines for their writing.Methodology/approach: First, the components of abstracts published in journals were analyzed. Then the prototypes and recommended improved abstracts were presented. Third, the satisfaction of the readers with the different forms of abstracts was examined. According to the results of these three parts of the research, the guidelines for writing abstracts in the area of technical sciences were developed.Results: The results showed that it is possible to determine the optimum structure for abstracts from the area of technical sciences. This structure should follow the known IMRD format or BMRC structure according to the coding scheme.Research limitations: The presented research included in the analysis only abstracts from several areas that represent technical studies. In order to develop the guidelines for writing abstracts more broadly, the research should be extended with at least one more area from the natural sciences and two areas from social sciences and humanities.Original/practical implications: It is important to emphasize that even if the guidelines for writing abstracts by the individual journal exist, authors do not always take them into account. Therefore, it is important that the abstracts that are actually published in journals were analysed. It is also important that with the development of guidelines for writing abstracts the opinion of researchers was also taken into account.

Grounded understanding of abstract concepts: The case of STEM learning.

Science.gov (United States)

Hayes, Justin C; Kraemer, David J M

2017-01-01

Characterizing the neural implementation of abstract conceptual representations has long been a contentious topic in cognitive science. At the heart of the debate is whether the "sensorimotor" machinery of the brain plays a central role in representing concepts, or whether the involvement of these perceptual and motor regions is merely peripheral or epiphenomenal. The domain of science, technology, engineering, and mathematics (STEM) learning provides an important proving ground for sensorimotor (or grounded) theories of cognition, as concepts in science and engineering courses are often taught through laboratory-based and other hands-on methodologies. In this review of the literature, we examine evidence suggesting that sensorimotor processes strengthen learning associated with the abstract concepts central to STEM pedagogy. After considering how contemporary theories have defined abstraction in the context of semantic knowledge, we propose our own explanation for how body-centered information, as computed in sensorimotor brain regions and visuomotor association cortex, can form a useful foundation upon which to build an understanding of abstract scientific concepts, such as mechanical force. Drawing from theories in cognitive neuroscience, we then explore models elucidating the neural mechanisms involved in grounding intangible concepts, including Hebbian learning, predictive coding, and neuronal recycling. Empirical data on STEM learning through hands-on instruction are considered in light of these neural models. We conclude the review by proposing three distinct ways in which the field of cognitive neuroscience can contribute to STEM learning by bolstering our understanding of how the brain instantiates abstract concepts in an embodied fashion.

Adaptation and Extension of the Framework of Reducing Abstraction in the Case of Differential Equations

Science.gov (United States)

Raychaudhuri, Debasree

2014-01-01

Although there is no consensus in regard to a unique meaning for abstraction, there is a recognition of the existence of several theories of abstraction, and that the ability to abstract is imperative to learning and doing meaningful mathematics. The theory of "reducing abstraction" maps the abstract nature of mathematics to the nature…

Concept of Triangle: Examples of Mathematical Abstraction in Two Different Contexts

Directory of Open Access Journals (Sweden)

Farida Nurhasanah

2017-02-01

Full Text Available In attempt to explain how students learning geometry in concept of triangle, this study explore the learning process of students and the process of solving geometry problems in the topic of triangle.  As known as one of the domain in school of mathematics, geometry has abstract notions to be learnt so that all those notions cannot be just transferred into students’ mind like a bunch of information that should be memorized. Students need to construct those concepts during their learning process. This process of knowledge construction can be considered as an abstraction process. This study aimed to qualitatively compare students’ abstraction process who learn topic of triangle in conventional method of teaching and in van Hiele model of teaching aided by Geometers’ sketchpad. Subjects of this study were junir high school students in grade 7. Based on the aims of this study, this is a qualitative study with grounded theory design. Data were collected through classroom observation, test, and task-based interview. Results of the study show that theoretical abstraction processes tend to dominate classrom with conventional method of teaching while classroom with van Hiele model of teaching aided by Geometers’ sketchpad accommodated empirical abstraction process of the students

JTSA: an open source framework for time series abstractions.

Science.gov (United States)

Sacchi, Lucia; Capozzi, Davide; Bellazzi, Riccardo; Larizza, Cristiana

2015-10-01

The evaluation of the clinical status of a patient is frequently based on the temporal evolution of some parameters, making the detection of temporal patterns a priority in data analysis. Temporal abstraction (TA) is a methodology widely used in medical reasoning for summarizing and abstracting longitudinal data. This paper describes JTSA (Java Time Series Abstractor), a framework including a library of algorithms for time series preprocessing and abstraction and an engine to execute a workflow for temporal data processing. The JTSA framework is grounded on a comprehensive ontology that models temporal data processing both from the data storage and the abstraction computation perspective. The JTSA framework is designed to allow users to build their own analysis workflows by combining different algorithms. Thanks to the modular structure of a workflow, simple to highly complex patterns can be detected. The JTSA framework has been developed in Java 1.7 and is distributed under GPL as a jar file. JTSA provides: a collection of algorithms to perform temporal abstraction and preprocessing of time series, a framework for defining and executing data analysis workflows based on these algorithms, and a GUI for workflow prototyping and testing. The whole JTSA project relies on a formal model of the data types and of the algorithms included in the library. This model is the basis for the design and implementation of the software application. Taking into account this formalized structure, the user can easily extend the JTSA framework by adding new algorithms. Results are shown in the context of the EU project MOSAIC to extract relevant patterns from data coming related to the long term monitoring of diabetic patients. The proof that JTSA is a versatile tool to be adapted to different needs is given by its possible uses, both as a standalone tool for data summarization and as a module to be embedded into other architectures to select specific phenotypes based on TAs in a large

Abstraction of Dynamical Systems by Timed Automata

DEFF Research Database (Denmark)

Wisniewski, Rafael; Sloth, Christoffer

2011-01-01

To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the verification of reachability and timing re...

Youth Studies Abstracts, Vol. 3 No. 1.

Science.gov (United States)

Youth Studies Abstracts, 1984

1984-01-01

These abstracts summarize 73 research projects that were conducted in Australia during 1982 and 1983 to investigate various issues related to youth employment and unemployment. Included among the topics addressed in the individual research projects are the following: economic developments, education and rural communities; employment (changing…

Science Day 2005 Poster Abstracts: Nuclear Physics

International Nuclear Information System (INIS)

Kline, K.M.

2005-01-01

Abstracts for 11 posters are presented from the Nuclear Physics section. Titles and authors of the posters/abstracts are as follows: 'Fusion and fission: converting mass to energy' by Jeffery Latkowski, 'Studies of inertial confinement fusion targets wtih HYDRA' by Marty Marinak, 'Prospects for demonstrating ignition on the National Ignition Facility in 2010 with noncryogenic double-shell targets' by Peter Amendt, 'Exploring the fast-ignition approach to fusion energy' by Richard Town, 'Simulating the National Ignition Facility with arbitrary Langrangian Eulerian methods and adaptive grids' by Alice Koniges, 'New energy sources: extracting energy from radioisotope materials' by Jeff Morse, 'Production of superheavy elements' by Ken Moody and Josh Patten, 'Nuclear physics from scratch: ab initio description of nuclei with effective interaction' by Eric Ormand, 'Finding fission with scintillator and a stopwatch: statistical theory of fission chains' by Neal Snyderman, 'Mass to energy: how Einstein's equation is helping homeland security' by Jason Pruet, and 'Nuclear Car Wash' by Dennis Slaughter

Abstract Level Parallelization of Finite Difference Methods

Directory of Open Access Journals (Sweden)

Edwin Vollebregt

1997-01-01

Full Text Available A formalism is proposed for describing finite difference calculations in an abstract way. The formalism consists of index sets and stencils, for characterizing the structure of sets of data items and interactions between data items (“neighbouring relations”. The formalism provides a means for lifting programming to a more abstract level. This simplifies the tasks of performance analysis and verification of correctness, and opens the way for automaticcode generation. The notation is particularly useful in parallelization, for the systematic construction of parallel programs in a process/channel programming paradigm (e.g., message passing. This is important because message passing, unfortunately, still is the only approach that leads to acceptable performance for many more unstructured or irregular problems on parallel computers that have non-uniform memory access times. It will be shown that the use of index sets and stencils greatly simplifies the determination of which data must be exchanged between different computing processes.

Abstraction/Representation Theory for heterotic physical computing.

Science.gov (United States)

Horsman, D C

2015-07-28

We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. © 2015 The Author(s) Published by the Royal Society. All rights reserved.

Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

Directory of Open Access Journals (Sweden)

G. P. Halkes

2010-01-01

Full Text Available The evaluation of MAC protocols for Wireless Sensor Networks (WSNs is often performed through simulation. These simulations necessarily abstract away from reality in many ways. However, the impact of these abstractions on the results of the simulations has received only limited attention. Moreover, many studies on the accuracy of simulation have studied either the physical layer and per link effects or routing protocol effects. To the best of our knowledge, no other work has focused on the study of the simulation abstractions with respect to MAC protocol performance. In this paper, we present the results of an experimental study of two often used abstractions in the simulation of WSN MAC protocols. We show that a simple SNR-based reception model can provide quite accurate results for metrics commonly used to evaluate MAC protocols. Furthermore, we provide an analysis of what the main sources of deviation are and thereby how the simulations can be improved to provide even better results.

Abstracting ICU Nursing Care Quality Data From the Electronic Health Record.

Science.gov (United States)

Seaman, Jennifer B; Evans, Anna C; Sciulli, Andrea M; Barnato, Amber E; Sereika, Susan M; Happ, Mary Beth

2017-09-01

The electronic health record is a potentially rich source of data for clinical research in the intensive care unit setting. We describe the iterative, multi-step process used to develop and test a data abstraction tool, used for collection of nursing care quality indicators from the electronic health record, for a pragmatic trial. We computed Cohen's kappa coefficient (κ) to assess interrater agreement or reliability of data abstracted using preliminary and finalized tools. In assessing the reliability of study data ( n = 1,440 cases) using the finalized tool, 108 randomly selected cases (10% of first half sample; 5% of last half sample) were independently abstracted by a second rater. We demonstrated mean κ values ranging from 0.61 to 0.99 for all indicators. Nursing care quality data can be accurately and reliably abstracted from the electronic health records of intensive care unit patients using a well-developed data collection tool and detailed training.

Work and Consumption in Digital Capitalism: From Commodity Abstraction to 'Eidetisation'

Directory of Open Access Journals (Sweden)

Xavi Cava

2018-05-01

Full Text Available The digital sphere can be studied as one of the most mature materialisations of the process of abstraction that accompanies capitalism. It is also a framework where subjectivity internalises the abstract form of commodities even further. In this sense, the Internet is the home of an abstract nature that is linked to a particular reification process that characterises post-Fordist production and consumption. This process can be named “eidetisation”. My basic assumption is that the process of reification is being intensified with the digitalisation of the capitalist system. I will begin discussing the concept of reification as a specific form of alienation, stressing that the reification of society changes and intensifies in as much as capitalist production and consumption evolve. Then I will consider the process of abstraction as one of the main elements of reification. Finally, I will try to identify some distinctive traits within the process of “eidetisation”.

Concrete and abstract visualizations in history learning tasks

NARCIS (Netherlands)

Prangsma, Maaike; Van Boxtel, Carla; Kanselaar, Gellof; Kirschner, Paul A.

2010-01-01

Prangsma, M. E., Van Boxtel, C. A. M., Kanselaar, G., & Kirschner, P. A. (2009). Concrete and abstract visualizations in history learning tasks. British Journal of Educational Psychology, 79, 371-387.

Challenges in Quantitative Abstractions for Collective Adaptive Systems

Directory of Open Access Journals (Sweden)

Mirco Tribastone

2016-07-01

Full Text Available Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of engineered systems to runtime monitoring and control. Unfortunately it is a difficult problem to tackle in general, due to the typically high computational cost involved in the analysis. This calls for the development of appropriate quantitative abstraction techniques that preserve most of the system's dynamical behaviour using a more compact representation. This paper focuses on models based on ordinary differential equations and reviews recent results where abstraction is achieved by aggregation of variables, reflecting on the shortcomings in the state of the art and setting out challenges for future research.

Nonclassical Problem for Ultraparabolic Equation in Abstract Spaces

Directory of Open Access Journals (Sweden)

Gia Avalishvili

2016-01-01

Full Text Available Nonclassical problem for ultraparabolic equation with nonlocal initial condition with respect to one time variable is studied in abstract Hilbert spaces. We define the space of square integrable vector-functions with values in Hilbert spaces corresponding to the variational formulation of the nonlocal problem for ultraparabolic equation and prove trace theorem, which allows one to interpret initial conditions of the nonlocal problem. We obtain suitable a priori estimates and prove the existence and uniqueness of solution of the nonclassical problem and continuous dependence upon the data of the solution to the nonlocal problem. We consider an application of the obtained abstract results to nonlocal problem for ultraparabolic partial differential equation with second-order elliptic operator and obtain well-posedness result in Sobolev spaces.

Book of Abstracts

International Nuclear Information System (INIS)

2013-06-01

ANIMMA 2013 is the third of a series of conferences devoted to endorsing and promoting scientific and technical activities based on nuclear instrumentation and measurements. The main objective of ANIMMA conference is to unite the various scientific communities not only involved in nuclear instrumentation and measurements, but also in nuclear medicine and radiation. The conference is all about getting scientists, engineers and the industry to meet, exchange cultures and identify new scientific and technical prospects to help overcome both current and future unresolved issues. The conference provides scientists and engineers with a veritable opportunity to compare their latest research and development in different areas: physics, nuclear energy, nuclear fuel cycle, safety, security, future energies (GEN III+, GENIV, ITER, ...). The conference topics include instrumentation and measurement methods for: Fundamental physics; Fusion diagnostics and technology; Nuclear power reactors; Research reactors; Nuclear fuel cycle; Decommissioning, dismantling and remote handling; Safeguards, homeland security; Severe accident monitoring; Environmental and medical sciences; Education, training and outreach. This document brings together the abstracts of the presentations. Each presentation (full paper) is analysed separately and entered in INIS

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Directory of Open Access Journals (Sweden)

Markus Rabe

2010-06-01

Full Text Available We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a paramount role in dependability analysis and the modelling of manufacturing and queueing systems. Consequently, their analysis has been studied intensively, and techniques for the approximation of optimal control are well understood. From a mathematical point of view, however, the question of approximation is secondary compared to the fundamental question whether or not optimal control exists. We demonstrate the existence of optimal schedulers for the time-abstract scheduler classes for all CTMDPs. Our proof is constructive: We show how to compute optimal time-abstract strategies with finite memory. It turns out that these optimal schedulers have an amazingly simple structure---they converge to an easy-to-compute memoryless scheduling policy after a finite number of steps. Finally, we show that our argument can easily be lifted to Markov games: We show that both players have a likewise simple optimal strategy in these more general structures.

Contextual analysis of Biology and Chemistry academic graphical abstracts

Directory of Open Access Journals (Sweden)

Cristiane Salete Florek

2016-10-01

Full Text Available http://dx.doi.org/10.5007/1984-8412.2016v13n3p1363 The Graphical Abstract (GA is a non-regular discursive practice held in the academic context, and that, when occurs, coexists with the academic abstract (AA in the table of contents of scientific journals, and in HTML versions of academic articles, materializing by the combination of the verbal and visual semiotics. In this paper, in the light of the Critical Analysis genres (MEURER, 2002; BHATIA, 2004; MOTTA-ROTH, 2006, 2008, which allow us to study a text based on the investigation of its context’s critical research, we present the results of the contextual analysis of GAs in the areas of Biology and Chemistry. This analysis was done by: i interviews with researchers of the investigated areas; and ii documentary analysis. Results show that, in general, GA: i is highlighted by presenting an advertising nature, which seeks to attract the reader’s attention; ii: summarizes the topic and the main findings of scientific research; and iii does not replace the academia abstract (AA.

Earth Sciences Division, collected abstracts, 1978

International Nuclear Information System (INIS)

Taasevigen, D.K.; Henry, A.L.; Madsen, S.K.

1979-01-01

Abstracts of papers, internal reports, and talks presented during 1978 at national and international meetings by members of the Earth Sciences Division of the Lawrence Livermore Laboratory are compiled. The arrangement is alphabetical (by author). For any given report, a bibliographic reference appears under the name of each coauthor. A topical index at the end provides useful cross references, while indicating major areas of research interest in the Earth Sciences Division

Squeezed States and Uncertainty Relations. Abstracts

International Nuclear Information System (INIS)

Masahito, Hayashi; Reynaud, S.; Jaekel, M.Th.; Fiuraaek, J.; Garcia-Patron, R.; Cerf, N.J.; Hage, B.; Chelkowski, S.; Franzen, A.; Lastzka, N.; Vahlbruch, N.; Danzmann, K.; Schnabel, R.; Hassan, S.S.; Joshi, A.; Jakob, M.; Bergou, J.A.; Kozlovskii, A.V.; Prakash, H.; Kumar, R.

2005-01-01

The purpose of the conference was to bring together people working in the field of quantum optics, with special emphasis on non-classical light sources and related areas, quantum computing, statistical mechanics and mathematical physics. As a novelty, this edition will include the topics of quantum imaging, quantum phase noise and number theory in quantum mechanics. This document gives the program of the conference and gathers the abstracts

A Modal Logic for Abstract Delta Modeling

NARCIS (Netherlands)

F.S. de Boer (Frank); M. Helvensteijn (Michiel); J. Winter (Joost)

2012-01-01

htmlabstractAbstract Delta Modeling is a technique for implementing (software) product lines. Deltas are put in a partial order which restricts their application and are then sequentially applied to a core product in order to form specific products in the product line. In this paper we explore the

Normalization by evaluation with typed abstract syntax

DEFF Research Database (Denmark)

Danvy, Olivier; Rhiger, Morten; Rose, Kristoffer H.

2001-01-01

In higher-order abstract syntax, the variables and bindings of an object language are represented by variables and bindings of a meta-language. Let us consider the simply typed λ-calculus as object language and Haskell as meta-language. For concreteness, we also throw in integers and addition, bu...

The S-matrix for abstract scattering systems

International Nuclear Information System (INIS)

Amrein, W.O.; Pearson, D.B.

1979-01-01

Let S(lambda) be the S-matrix at energy lambda for an abstract scattering system. A bound is derived in terms of the interaction, on integrals of the form ∫ h(lambda)/S(lambda) - I/ 2 sub(HS) dlambda, where /./sub(HS) denotes the Hilbert-Schmidt norm. (Auth.)

New Features in the ADS Abstract Service

Science.gov (United States)

Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Kurtz, M. J.; ReyBacaicoa, V.; Murray, S. S.

2001-11-01

The ADS Abstract Service contains over 2.3 million references in four databases: Astronomy/Astrophysics/Planetary Sciences, Instrumentation, Physics/Geophysics, and Preprints. We provide abstracts and articles free to the astronomical community for all major and many smaller astronomy journals, PhD theses, conference proceedings, and technical reports. These four databases can be queried either separately of jointly. The ADS also has scanned 1.3 million pages in 180,000 articles in the ADS Article Service. This literature archive contains all major Astronomy journals and many smaller journals, as well as conference proceedings, including the abstract books from all the LPSCs back to volume 2. A new feature gives our users the ability to see list of articles that were also read by the readers of a given article. This is a powerful tool to find out what current articles are relevant in a particular field of study. We have recently expanded the citation and reference query capabilities. It allows our users to select papers for which they want to see references or citations and then retrieve these citations/references. Another new capability is the ability to sort a list of articles by their citation count. As usual, users should be reminded that the citations in ADS are incomplete because we do not obtain reference lists from all publishers. In addition, we cannot match all references (e.g. in press, private communications, author errors, some conference papers, etc.). Anyone using the citations for analysis of publishing records should keep this in mind. More work on expanding the citation and reference features is planned over the next year. ADS Home Page http://ads.harvard.edu/

Taste in Art-Exposure to Histological Stains Shapes Abstract Art Preferences.

Science.gov (United States)

Böthig, Antonia M; Hayn-Leichsenring, Gregor U

2017-01-01

Exposure to art increases the appreciation of artworks. Here, we showed that this effect is domain independent. After viewing images of histological stains in a lecture, ratings increased for restricted subsets of abstract art images. In contrast, a lecture on art history generally enhanced ratings for all art images presented, while a lecture on town history without any visual stimuli did not increase the ratings. Therefore, we found a domain-independent exposure effect of images of histological stains to particular abstract paintings. This finding suggests that the 'taste' for abstract art is altered by visual impressions that are presented outside of an artistic context.

An assessment of Internet Abuse in Nigeria Abstract

African Journals Online (AJOL)

Anambra State Nigeria, Email : drhcinyiama@gmail.com Phone: 08034701121. Abstract ... Is the addiction paradigm appropriate for Internet use? Is ... proposed a global network of computers in. 1962 ... biggest reference library, social media.

Problems in abstract algebra

CERN Document Server

Wadsworth, A R

2017-01-01

This is a book of problems in abstract algebra for strong undergraduates or beginning graduate students. It can be used as a supplement to a course or for self-study. The book provides more variety and more challenging problems than are found in most algebra textbooks. It is intended for students wanting to enrich their learning of mathematics by tackling problems that take some thought and effort to solve. The book contains problems on groups (including the Sylow Theorems, solvable groups, presentation of groups by generators and relations, and structure and duality for finite abelian groups); rings (including basic ideal theory and factorization in integral domains and Gauss's Theorem); linear algebra (emphasizing linear transformations, including canonical forms); and fields (including Galois theory). Hints to many problems are also included.

Abstraction and Model Checking in the PEPA Plug-in for Eclipse

DEFF Research Database (Denmark)

Smith, Michael James Andrew

2010-01-01

lead to very large Markov chains. One way of analysing such models is to use abstraction - constructing a smaller model that bounds the properties of the original. We present an extension to the PEPA plug-in for Eclipse that enables abstracting and model checking of PEPA models. This implements two new...

Rhetorical Interpretation of Abstracts in Sci-Tech Theses Based on Burke's Identification Theory

Science.gov (United States)

Zhong, Jihong

2017-01-01

Abstract of a thesis is the brief and accurate representation of the thesis, with the important function of persuading readers to read on the thesis. So how the writer constructs the abstract and wins readers' recognition is our main focus. On the basis of Burke's Identification Theory, this paper analyzed 10 abstracts from "Nature" from…

Automatic Processing of Metallurgical Abstracts for the Purpose of Information Retrieval. Final Report.

Science.gov (United States)

Melton, Jessica S.

Objectives of this project were to develop and test a method for automatically processing the text of abstracts for a document retrieval system. The test corpus consisted of 768 abstracts from the metallurgical section of Chemical Abstracts (CA). The system, based on a subject indexing rational, had two components: (1) a stored dictionary of words…

Operating System Abstraction Layer (OSAL)

Science.gov (United States)

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.

National Physics Conference. Paper Abstracts

International Nuclear Information System (INIS)

Marinela Dumitriu, Editorial Coordination.

1995-01-01

This book contains the abstracts of the proceedings of the annual Romanian Physics Conference organized by Romanian Physics Society. The conference was held on November 30 to December 2, 1995 in the city of Baia Mare. It was organized in the following nine sections: 1 - Astrophysics, Particle Physics, Nuclear Physics, Molecular and Atomic Physics; 2 - Plasma Physics; 3 - Biophysics; 4 - Technical Physics; 5 - Theoretical Physics; 6 -The Physics of Energy; 7 - The Physics of Environment 8 - Solid State Physics; 9 - Optical and Quantum Electronics. The full texts can be obtained on request from the Romanian Physical Society or directly from authors

Abstract decomposition theorem and applications

CERN Document Server

Grossberg, R; Grossberg, Rami; Lessmann, Olivier

2005-01-01

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies a main gap result for the class K. The setting is general enough to cover \\aleph_0-stable first-order theories (proved by Shelah in 1982), Excellent Classes of atomic models of a first order tehory (proved Grossberg and Hart 1987) and the class of submodels of a large sequentially homogenuus \\aleph_0-stable model (which is new).

Abstracts from the Fourteenth Rambam Research Day, December 7, 2017

OpenAIRE

Shraga Blazer (Editor); Ehud Klein (Editor)

2018-01-01

This Supplement of Rambam Maimonides Medical Journal presents the abstracts from the Fourteenth Annual Rambam Research Day. These abstracts represent the newest basic and clinical research coming out of Rambam Health Care Campus—research that is the oxygen for education and development of tomorrow’s generation of physicians. Hence, the research presented on Rambam Research Day is the foundation for understanding patient needs and improving treatment modalities. Bringing research from the benc...

Topological superposition of abstractions of stochastic processes

NARCIS (Netherlands)

Bujorianu, L.M.; Bujorianu, M.C.

2008-01-01

In this paper, we present a sound integration mechanism for Markov processes that are abstractions of stochastic hybrid systems (SHS). In a previous work, we have defined a very general model of SHS and we proved that the realization of an SHS is a Markov process. Moreover, we have developed a

Hilson Adolescent Profile (HAP): Hilson Research Abstracts.

Science.gov (United States)

Hilson Research Inc., Kew Gardens, NY.

Abstracts and bibliographic citations are given for the following documents concerned with the use and characteristics of the Hilson Adolescent Profile (HAP): (1) "Use of the Hilson Adolescent Profile To Compare Juvenile Offenders with Junior and Senior High School Students" (R. E. Inwald and K. E. Brobst); (2) "The Effectiveness of…

Development of Abstract Grammatical Categorization in Infants

Science.gov (United States)

Cyr, Marilyn; Shi, Rushen

2013-01-01

This study examined abstract syntactic categorization in infants, using the case of grammatical gender. Ninety-six French-learning 14-, 17-, 20-, and 30-month-olds completed the study. In a preferential looking procedure infants were tested on their generalized knowledge of grammatical gender involving pseudonouns and gender-marking determiners.…

From Functions to Object-Orientation by Abstraction

OpenAIRE

Diertens, Bob

2012-01-01

In previous work we developed a framework of computational models for function and object execution. The models on an higher level of abstraction in this framework allow for concurrent execution of functions and objects. We show that the computational model for object execution complies with the fundamentals of object-orientation.

6th international conference on biophysics and synchrotron radiation. Program/Abstracts

International Nuclear Information System (INIS)

Pittroff, Connie; Strasser, Susan Barr

1999-01-01

This STI product consists of the Program/Abstracts book that was prepared for the participants in the Sixth International Conference on Biophysics and Synchrotron Radiation that was held August 4-8, 1998, at the Advanced Photon Source, Argonne National Laboratory. This book contains the full conference program and abstracts of the scientific presentations

6th international conference on biophysics and synchrotron radiation. Program/Abstracts

Energy Technology Data Exchange (ETDEWEB)

Pittroff, Connie; Strasser, Susan Barr [lead editors

1999-08-03

This STI product consists of the Program/Abstracts book that was prepared for the participants in the Sixth International Conference on Biophysics and Synchrotron Radiation that was held August 4-8, 1998, at the Advanced Photon Source, Argonne National Laboratory. This book contains the full conference program and abstracts of the scientific presentations.

Waste management research abstracts no. 21

International Nuclear Information System (INIS)

1992-12-01

The 21th issue of this publication contains over 700 abstracts from 35 IAEA Member Countries comprehending various aspects of radioactive waste management. Radioactive waste disposal, processing and storage, geochemical and geological investigations related to waste management, mathematical models and environmental impacts are reviewed. Many programs involve cooperation among several countries and further international cooperation is expected to be promoted through availability of compiled information on research programs, institutions and scientists engaged in waste management

Waste management research abstracts. No. 20

International Nuclear Information System (INIS)

1990-10-01

The 20th issue of this publication contains over 700 abstracts from 32 IAEA Member Countries comprehending various aspects of radioactive waste management. Radioactive waste disposal, processing and storage, geochemical and geological investigations related to waste management, mathematical models and environmental impacts are reviewed. Many programs involve cooperation among several countries and further international cooperation is expected to be promoted through availability of compiled information on research programs, institutions and scientists engaged in waste management

Waste management research abstracts no. 22. Information on radioactive waste programmes in progress

International Nuclear Information System (INIS)

1995-07-01

The research abstracts contained in this issue have been collected during recent months and cover the period between January 1992 - February 1994 (through July 1994 for abstracts from the United States). The abstracts reflect research currently in progress in the field of radioactive waste management: environmental impacts, site selection, decontamination and decommissioning, environmental restoration and legal aspects of radioactive waste management. Though the information contained in this publication covers a wide range of programmes in many countries, the WMRA should not be interpreted as providing a complete survey of on-going research and IAEA Member States. For the first time, the abstracts published in document are only in English language. In addition, the abstracts received for this issue have been assigned INIS subject category codes and thesaurus terms to facilitate searches and also to fully utilize established sets of technical categories and terms

EVOLUTION OF ABSTRACT VEGETAL ORNAMENTS IN ISLAMIC ARCHITECTURE

Directory of Open Access Journals (Sweden)

Yahya Abdullahi

2015-03-01

Full Text Available This research investigated the history of Islamic abstract vegetal ornaments and sketched their evolution to understand their creation process and innovations. We studied these ornaments regionally to identify regional variations and classified them based on tastes of patrons. Meanwhile, we analysed the formal aspects of these ornaments, including their dimension, proportion, dominant colour, material, and techniques. In addition, the study conducted detailed observations of their characteristics, such as margins, apex, thickness of stem scrolls and vents, to define their constructive elements, aesthetical properties, and design principles that reveal date, region, and styles. This research not only provides a comprehensive guide to the evolution of Islamic abstract vegetal ornaments for architectural conservation projects but also serves as a reference for the comparative and critical analysis of contemporary Islamic-inspired ornaments.

CMP 2009: conference of moldavian physicists. Abstracts

International Nuclear Information System (INIS)

2009-11-01

This book includes 151 abstracts on various aspects of: materials processing and characterization, crystal growth methods, solid-state and crystal technology, development of condensed matter theory and modeling of materials properties, solid-state device physics, nano science and nano technology, heterostructures, superlattices, quantum wells and wires, advanced quantum physics for nano systems, etc.

CMP 2012: conference of moldavian physicists. Abstracts

International Nuclear Information System (INIS)

2012-10-01

This book includes abstracts on various aspects of: materials processing and characterization, crystal growth methods, solid-state and crystal technology, development of condensed matter theory and modeling of materials properties, solid-state device physics, nano science and nano technology, heterostructures, superlattices, quantum wells and wires, advanced quantum physics for nano systems, etc.

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

DEFF Research Database (Denmark)

Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim Guldstrand

2004-01-01

Timed automata have an infinite semantics. For verification purposes, one usually uses zone based abstractions w.r.t. the maximal constants to which clocks of the timed automaton are compared. We show that by distinguishing maximal lower and upper bounds, significantly coarser abstractions can...... dramatically increases the scalability of the real-time model checker Uppaal....

Eastern and Central Europe Decommissioning, ECED 2015 - Book of Abstracts

International Nuclear Information System (INIS)

2015-01-01

Scientific conference deals with problems of reactor decommissioning and radioactive waste management in the Central Europe. The Conference included the following sessions: (1): Characterisation and Radioactive Waste Management; (2) Managerial Aspects of Decommissioning; (3) JAVYS Experience with Back-End of Nuclear Power Engineering - Progress in Last 2 Years; (4) Decommissioning Planning and Costing and Education; (5) Technical Aspects of Decommissioning; (6) Radioactive Waste Management; (4) Poster Session. The Book of Abstracts contains two invitation speeches and 30 abstracts.

A Bayesian Theory of Sequential Causal Learning and Abstract Transfer.

Science.gov (United States)

Lu, Hongjing; Rojas, Randall R; Beckers, Tom; Yuille, Alan L

2016-03-01

Two key research issues in the field of causal learning are how people acquire causal knowledge when observing data that are presented sequentially, and the level of abstraction at which learning takes place. Does sequential causal learning solely involve the acquisition of specific cause-effect links, or do learners also acquire knowledge about abstract causal constraints? Recent empirical studies have revealed that experience with one set of causal cues can dramatically alter subsequent learning and performance with entirely different cues, suggesting that learning involves abstract transfer, and such transfer effects involve sequential presentation of distinct sets of causal cues. It has been demonstrated that pre-training (or even post-training) can modulate classic causal learning phenomena such as forward and backward blocking. To account for these effects, we propose a Bayesian theory of sequential causal learning. The theory assumes that humans are able to consider and use several alternative causal generative models, each instantiating a different causal integration rule. Model selection is used to decide which integration rule to use in a given learning environment in order to infer causal knowledge from sequential data. Detailed computer simulations demonstrate that humans rely on the abstract characteristics of outcome variables (e.g., binary vs. continuous) to select a causal integration rule, which in turn alters causal learning in a variety of blocking and overshadowing paradigms. When the nature of the outcome variable is ambiguous, humans select the model that yields the best fit with the recent environment, and then apply it to subsequent learning tasks. Based on sequential patterns of cue-outcome co-occurrence, the theory can account for a range of phenomena in sequential causal learning, including various blocking effects, primacy effects in some experimental conditions, and apparently abstract transfer of causal knowledge. Copyright © 2015

Sociological theory and social reality

Directory of Open Access Journals (Sweden)

J Díez Nicolás

2014-12-01

Full Text Available This paper pretends to demonstrate the complementary relations between three relatively recent sociological theories, each one of which explains a different aspect of the same social object: the origin, diffusion and change of social and cultural values, aiming at demonstrating that there is not such a thing as a sociological theory that explains all, but rather diverse theories that offer partial explanations of social reality. To that effect, and on the basis of the necessary relationship between theory and research, three different theories are evaluated separately: Hawley’s and Duncan’s theory of the social ecosystem, Galtung’s centre-periphery theory, and Inglehart’s theory of values’ change in modern-industrial societies, offering theoretical and empirical evidence of their complementary relations, based on Spanish and international data. Social ecosystem and centre-periphery theories show a high level of generalization (through space and time and a high level of abstraction, though both can easily operationalize their main concepts through valid and reliable indicators. The theory of values’ change, however, though showing a high level of generalization, is limited in time to the historical period after World War II, and also shows a high level of abstraction. Centre-periphery theory and values’ change theory use individual and collective units of analysis, but social ecosystem theory only uses collective units, by definition. The three theories lead to the conclusion that ‘security’ values will gain a growing importance in present societies.

South African Association of Veterinary Technologists : congress abstracts

Directory of Open Access Journals (Sweden)

Editorial Office

2010-05-01

Full Text Available The following are abstracts of papers and posters presented at the 'Back to Basics Congress' of the South African Association of Veterinary Technologists (SAAVT, 15-16 September 2009, Batter Boys, Pretoria, South Africa.

Control-flow analysis of function calls and returns by abstract interpretation

DEFF Research Database (Denmark)

Midtgaard, Jan; Jensen, Thomas P.

2012-01-01

Abstract interpretation techniques are used to derive a control-flow analysis for a simple higher-order functional language. The analysis approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. In additi...... a rational reconstruction of a constraint-based CFA from abstract interpretation principles....

Geochemistry Model Abstraction and Sensitivity Studies for the 21 PWR CSNF Waste Package

International Nuclear Information System (INIS)

Bernot, P.; LeStrange, S.; Thomas, E.; Zarrabi, K.; Arthur, S.

2002-01-01

The CSNF geochemistry model abstraction, as directed by the TWP (BSC 2002b), was developed to provide regression analysis of EQ6 cases to obtain abstracted values of pH (and in some cases HCO 3 - concentration) for use in the Configuration Generator Model. The pH of the system is the controlling factor over U mineralization, CSNF degradation rate, and HCO 3 - concentration in solution. The abstraction encompasses a large variety of combinations for the degradation rates of materials. The ''base case'' used EQ6 simulations looking at differing steel/alloy corrosion rates, drip rates, and percent fuel exposure. Other values such as the pH/HCO 3 - dependent fuel corrosion rate and the corrosion rate of A516 were kept constant. Relationships were developed for pH as a function of these differing rates to be used in the calculation of total C and subsequently, the fuel rate. An additional refinement to the abstraction was the addition of abstracted pH values for cases where there was limited O 2 for waste package corrosion and a flushing fluid other than J-13, which has been used in all EQ6 calculation up to this point. These abstractions also used EQ6 simulations with varying combinations of corrosion rates of materials to abstract the pH (and HCO 3 - in the case of the limiting O 2 cases) as a function of WP materials corrosion rates. The goodness of fit for most of the abstracted values was above an R 2 of 0.9. Those below this value occurred during the time at the very beginning of WP corrosion when large variations in the system pH are observed. However, the significance of F-statistic for all the abstractions showed that the variable relationships are significant. For the abstraction, an analysis of the minerals that may form the ''sludge'' in the waste package was also presented. This analysis indicates that a number a different iron and aluminum minerals may form in the waste package other than those described in the EQ6 output files which are based on the use

Using Group Explorer in Teaching Abstract Algebra

Science.gov (United States)

Schubert, Claus; Gfeller, Mary; Donohue, Christopher

2013-01-01

This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in…

Processing abstract language modulates motor system activity.

Science.gov (United States)

Glenberg, Arthur M; Sato, Marc; Cattaneo, Luigi; Riggio, Lucia; Palumbo, Daniele; Buccino, Giovanni

2008-06-01

Embodiment theory proposes that neural systems for perception and action are also engaged during language comprehension. Previous neuroimaging and neurophysiological studies have only been able to demonstrate modulation of action systems during comprehension of concrete language. We provide neurophysiological evidence for modulation of motor system activity during the comprehension of both concrete and abstract language. In Experiment 1, when the described direction of object transfer or information transfer (e.g., away from the reader to another) matched the literal direction of a hand movement used to make a response, speed of responding was faster than when the two directions mismatched (an action-sentence compatibility effect). In Experiment 2, we used single-pulse transcranial magnetic stimulation to study changes in the corticospinal motor pathways to hand muscles while reading the same sentences. Relative to sentences that do not describe transfer, there is greater modulation of activity in the hand muscles when reading sentences describing transfer of both concrete objects and abstract information. These findings are discussed in relation to the human mirror neuron system.

Abstracts of 21. International Symposium Radiation Protection Physics

International Nuclear Information System (INIS)

1989-01-01

45 papers are presented as titles with abstracts which are processed individually for the INIS data base. They deal with general aspects of radiation protection physics, chiefly problems of radiation detection and measuring techniques in radiation protection

Munatsi Shoko Abstract After leaving their home country ...

African Journals Online (AJOL)

Munatsi Shoko Abstract After leaving their home country, international migrants are faced with a challenge to seek a new family, friends, support networks, accommodation and employment. Married migrants may be forced to live separately from their spouses.

Earth Sciences Division annual report 1981. [Lead abstract

Energy Technology Data Exchange (ETDEWEB)

1982-09-01

Separate abstracts were prepared for the 59 papers of the 1981 annual report of the Earth Sciences Division at Lawrence Berkeley Laboratory. The general topics covered included nuclear waste isolation, geophysics and reservoir engineering, and geosciences. (KRM)

A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

DEFF Research Database (Denmark)

Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan

2004-01-01

by name and call by value. Here, however, we consider call by need. We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update......We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call...

European Association of Nuclear Medicine Congress, 14-18 September 1996, Copenhagen, Denmark. Abstracts

International Nuclear Information System (INIS)

Anon.

1996-01-01

The European Association of Nuclear Medicine Congress, held from 14-18 September 1996 in Copenhagen, Denmark, was devoted to all aspects of applications of nuclear medicine for diagnostic evaluation and therapy. The scientific programme and all in all 943 abstracts are presented in this issue, 474 abstracts of scientific lectures and 469 abstracts of poster presentations. There also is an author affiliations index. (VHE) [de

SENSE 2010, Abstracts

International Nuclear Information System (INIS)

Lumsden, M.D.; Argyriou, D.N.; Inosov, D.

2012-01-01

The microscopic origin of unconventional superconductivity continues to attract the attention of the condensed matter community. Whereas rare-earth / actinide-based intermetallic and copper oxide-based high temperature superconductors are studied for more than twenty years, the iron-based superconductors have been in the focus of interest since their recent discovery. Inelastic neutron scattering experiments have been of particular importance for the understanding of the magnetic and superconducting properties of these compounds. With its 29 talks and 14 posters the workshop provided a forum for the 71 registered participants to review and discuss experimental achievements, recognize the observed synergy and differences as well as discuss theoretical efforts to identify the symmetry of the superconducting order parameter in addition to the coupling mechanisms of the Cooper pairs. The workshop covered different topics relevant for the study of unconventional superconductivity. Magnetization and lattice dynamics such as spin resonances, phonons, magnetic and other excitations as studied by spectroscopic methods were presented. Investigations of (doping, pressure and magnetic field dependent) phase diagrams, electronic states as well as vortex physics by the various diffraction techniques were also addressed. This document gathers only the abstracts of the papers. (authors)

Stellar Presentations (Abstract)

Science.gov (United States)

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.

WIPR-2010 Book of abstracts

International Nuclear Information System (INIS)

2015-01-01

The main objective of the workshop was to review advanced and preclinical studies on innovative positron emitting radionuclides to assess their usefulness and potentials. Presentations were organized around 4 issues: 1) preclinical and clinical point of view, 2) production of innovative PET radionuclides, 3) from complexation chemistry to PET imaging and 4) from research to clinic. Emphasis has been put on "6"4Cu, "6"8Ga, "8"9Zr, "4"4Sc but specific aspects such as production or purification have been considered for "6"6Ga, "6"7Ga, "5"2Fe, "8"6Y, and "6"8Ge radionuclides. This document gathers the abstracts of most contributions

Shoestring Budget Radio Astronomy (Abstract)

Science.gov (United States)

Hoot, J. E.

2017-12-01

(Abstract only) The commercial exploitation of microwave frequencies for cellular, WiFi, Bluetooth, HDTV, and satellite digital media transmission has brought down the cost of the components required to build an effective radio telescope to the point where, for the cost of a good eyepiece, you can construct and operate a radio telescope. This paper sets forth a family of designs for 1421 MHz telescopes. It also proposes a method by which operators of such instruments can aggregate and archive data via the Internet. With 90 or so instruments it will be possible to survey the entire radio sky for transients with a 24 hour cadence.

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1992-11-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1990-03-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, international organization, and licensed facility

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1993-02-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Abstracts, Third Space Processing Symposium, Skylab results

Science.gov (United States)

1974-01-01

Skylab experiments results are reported in abstracts of papers presented at the Third Space Processing Symposium. Specific areas of interest include: exothermic brazing, metals melting, crystals, reinforced composites, glasses, eutectics; physics of the low-g processes; electrophoresis, heat flow, and convection demonstrations flown on Apollo missions; and apparatus for containerless processing, heating, cooling, and containing materials.

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1991-12-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Abstract quantum computing machines and quantum computational logics

Science.gov (United States)

Chiara, Maria Luisa Dalla; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto

2016-06-01

Classical and quantum parallelism are deeply different, although it is sometimes claimed that quantum Turing machines are nothing but special examples of classical probabilistic machines. We introduce the concepts of deterministic state machine, classical probabilistic state machine and quantum state machine. On this basis, we discuss the question: To what extent can quantum state machines be simulated by classical probabilistic state machines? Each state machine is devoted to a single task determined by its program. Real computers, however, behave differently, being able to solve different kinds of problems. This capacity can be modeled, in the quantum case, by the mathematical notion of abstract quantum computing machine, whose different programs determine different quantum state machines. The computations of abstract quantum computing machines can be linguistically described by the formulas of a particular form of quantum logic, termed quantum computational logic.

NASA SBIR abstracts of 1991 phase 1 projects

Science.gov (United States)

Schwenk, F. Carl; Gilman, J. A.; Paige, J. B.

1992-01-01

The objectives of 301 projects placed under contract by the Small Business Innovation Research (SBIR) program of the National Aeronautics and Space Administration (NASA) are described. These projects were selected competitively from among proposals submitted to NASA in response to the 1991 SBIR Program Solicitation. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 301, in order of its appearance in the body of the report. Appendixes to provide additional information about the SBIR program and permit cross-reference of the 1991 Phase 1 projects by company name, location by state, principal investigator, NASA Field Center responsible for management of each project, and NASA contract number are included.

NASA SBIR abstracts of 1990 phase 1 projects

Science.gov (United States)

Schwenk, F. C.; Gilman, J. A.; Paige, J. B.

1991-01-01

The research objectives of the 280 projects placed under contract in the National Aeronautics and Space Administration (NASA) 1990 Small Business Innovation Research (SBIR) Phase 1 program are described. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses in response to NASA's 1990 SBIR Phase 1 Program Solicitation. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 280, in order of its appearance in the body of the report. The document also includes Appendixes to provide additional information about the SBIR program and permit cross-reference in the 1990 Phase 1 projects by company name, location by state, principal investigator, NASA field center responsible for management of each project, and NASA contract number.

NASA SBIR abstracts of 1992, phase 1 projects

Science.gov (United States)

Schwenk, F. C.; Gilman, J. A.; Paige, J. B.; Sacknoff, S. M.

1993-01-01

The objectives of 346 projects placed under contract by the Small Business Innovation Research (SBIR) program of the National Aeronautics and Space Administration (NASA) are described. These projects were selected competitively from among proposals submitted to NASA in response to the 1992 SBIR Program Solicitation. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 346, in order of its appearance in the body of the report. Appendixes to provide additional information about the SBIR program and permit cross-reference of the 1992 Phase 1 projects by company name, location by state, principal investigator, NASA Field Center responsible for management of each project, and NASA contract number are included.

Abstract knowledge versus direct experience in processing of binomial expressions.

Science.gov (United States)

Morgan, Emily; Levy, Roger

2016-12-01

We ask whether word order preferences for binomial expressions of the form A and B (e.g. bread and butter) are driven by abstract linguistic knowledge of ordering constraints referencing the semantic, phonological, and lexical properties of the constituent words, or by prior direct experience with the specific items in questions. Using forced-choice and self-paced reading tasks, we demonstrate that online processing of never-before-seen binomials is influenced by abstract knowledge of ordering constraints, which we estimate with a probabilistic model. In contrast, online processing of highly frequent binomials is primarily driven by direct experience, which we estimate from corpus frequency counts. We propose a trade-off wherein processing of novel expressions relies upon abstract knowledge, while reliance upon direct experience increases with increased exposure to an expression. Our findings support theories of language processing in which both compositional generation and direct, holistic reuse of multi-word expressions play crucial roles. Copyright © 2016 The Authors. Published by Elsevier B.V. All rights reserved.

Concrete and abstract visualizations in history learning tasks

NARCIS (Netherlands)

Prangsma, M.E.; van Boxtel, C.A.M.; Kanselaar, G.; Kirschner, P.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

Abstraction of iodine from aromatic iodides by alkyl radicals: steric and electronic effects.

Science.gov (United States)

Dolenc, Darko; Plesnicar, Bozo

2006-10-13

Abstraction of the iodine atom from aryl iodides by alkyl radicals takes place in some cases very efficiently despite the unfavorable difference in bond dissociation energies of C-I bonds in alkyl and aryl iodides. The abstraction is most efficient in iodobenzenes, ortho-substituted with bulky groups. The ease of abstraction can be explained by the release of steric strain during the elimination of the iodine atom. The rate of abstraction correlates fairly well with the strain energy, calculated by density functional theory (DFT) and Hartree-Fock (HF) methods as a difference in the total energy of ortho and para isomers. However, besides the steric bulk, the presence of some other functional groups in an ortho substituent also influences the rate. The stabilization of the transition state, resembling a 9-I-2 iodanyl radical, by electron-withdrawing groups seems to explain a positive sign of the Hammett rho value in the radical abstraction of halogen atoms.

A unified software framework for deriving, visualizing, and exploring abstraction networks for ontologies

Science.gov (United States)

Ochs, Christopher; Geller, James; Perl, Yehoshua; Musen, Mark A.

2016-01-01

Software tools play a critical role in the development and maintenance of biomedical ontologies. One important task that is difficult without software tools is ontology quality assurance. In previous work, we have introduced different kinds of abstraction networks to provide a theoretical foundation for ontology quality assurance tools. Abstraction networks summarize the structure and content of ontologies. One kind of abstraction network that we have used repeatedly to support ontology quality assurance is the partial-area taxonomy. It summarizes structurally and semantically similar concepts within an ontology. However, the use of partial-area taxonomies was ad hoc and not generalizable. In this paper, we describe the Ontology Abstraction Framework (OAF), a unified framework and software system for deriving, visualizing, and exploring partial-area taxonomy abstraction networks. The OAF includes support for various ontology representations (e.g., OWL and SNOMED CT's relational format). A Protégé plugin for deriving “live partial-area taxonomies” is demonstrated. PMID:27345947

Adaptation and extension of the framework of reducing abstraction in the case of differential equations

Science.gov (United States)

Raychaudhuri, Debasree

2014-01-01

Although there is no consensus in regard to a unique meaning for abstraction, there is a recognition of the existence of several theories of abstraction, and that the ability to abstract is imperative to learning and doing meaningful mathematics. The theory of reducing abstraction maps the abstract nature of mathematics to the nature of knowledge construction by offering three interpretations of how students reduce abstraction while learning mathematical concepts. We apply this framework to explain students' cognition processes as they construct the concept of solution to differential equations and related concepts during a semester long study. Additionally, we refine and extend the framework to elucidate various nuances of the interplay between mathematical structures and human thoughts.

Waste management research abstracts no. 16. Information on radioactive waste programmes in progress

Energy Technology Data Exchange (ETDEWEB)

NONE

1985-11-01

The research abstracts contained in this issue have been collected during recent months ending August 1985. The abstracts reflect research currently in progress in the field of radioactive waste management: environmental impacts, site selection, decontamination and decommissioning, environmental restoration and legal aspects of radioactive waste management. The abstracts have been printed in the language and in the form of submittal and without any changes other than minor editorial ones.

Waste management research abstracts no. 16. Information on radioactive waste programmes in progress

International Nuclear Information System (INIS)

1985-11-01

The research abstracts contained in this issue have been collected during recent months ending August 1985. The abstracts reflect research currently in progress in the field of radioactive waste management: environmental impacts, site selection, decontamination and decommissioning, environmental restoration and legal aspects of radioactive waste management. The abstracts have been printed in the language and in the form of submittal and without any changes other than minor editorial ones

Reporting quality of randomized controlled trial abstracts: survey of leading general dental journals.

Science.gov (United States)

Hua, Fang; Deng, Lijia; Kau, Chung How; Jiang, Han; He, Hong; Walsh, Tanya

2015-09-01

The authors conducted a study to assess the reporting quality of randomized controlled trial (RCT) abstracts published in leading general dental journals, investigate any improvement after the release of the Consolidated Standards of Reporting Trials (CONSORT) for Abstracts guidelines, and identify factors associated with better reporting quality. The authors searched PubMed for RCTs published in 10 leading general dental journals during the periods from 2005 to 2007 (pre-CONSORT period) and 2010 to 2012 (post-CONSORT period). The authors evaluated and scored the reporting quality of included abstracts by using the original 16-item CONSORT for Abstracts checklist. The authors used risk ratios and the t test to compare the adequate reporting rate of each item and the overall quality in the 2 periods. The authors used univariate and multivariate regressions to identify predictors of better reporting quality. The authors included and evaluated 276 RCT abstracts. Investigators reported significantly more checklist items during the post-CONSORT period (mean [standard deviation {SD}], 4.53 [1.69]) than during the pre-CONSORT period (mean [SD], 3.87 [1.10]; mean difference, -0.66 [95% confidence interval, -0.99 to -0.33]; P 80%). In contrast, the authors saw sufficient reporting of randomization, recruitment, outcome in the results section, and funding in none of the pre-CONSORT abstracts and less than 2% of the post-CONSORT abstracts. On the basis of the multivariate analysis, a higher impact factor (P general dental journals has improved significantly, but there is still room for improvement. Joint efforts by authors, reviewers, journal editors, and other stakeholders to improve the reporting of dental RCT abstracts are needed. Copyright © 2015 American Dental Association. Published by Elsevier Inc. All rights reserved.

Conversion of Plastic Surgery meeting abstract presentations to full manuscripts: a brazilian perspective.

Science.gov (United States)

Denadai, Rafael; Pinho, André Silveira; Samartine, Hugo; Denadai, Rodrigo; Raposo-Amaral, Cassio Eduardo

2017-01-01

to assess the conversion rate of Plastic Surgery meeting abstract presentations to full manuscript publications and examine factors associated with this conversion. we assessed the abstracts presented at the 47th and 48th Brazilian Congresses of Plastic Surgery by cross-referencing with multiple databases. We analyzed the Abstracts' characteristics associated with full manuscript publications. of the 200 abstracts presented, 50 abstracts were subsequently published in full, giving the conference a conversion rate of 25%. The mean time to publish was 15.00±13.75 months. In total, there were 4.93±1.63 authors per abstract and 67.8±163 subjects per abstract; 43.5% of the abstracts were of retrospective studies; 69% comprised the plastic surgery topics head and neck, and chest and trunk, and 88.5% had no statistical analysis. Overall, 80% of the manuscripts were published in plastic surgery journals, 76% had no impact factor and 52% had no citations. Bivariate and multivariate analyses revealed the presence of statistical analysis to be the most significant (previstas de Cirurgia Plástica, 76% não exibiam fator de impacto e 52% não possuíam citações. As análises bivariada e multivariada revelaram que a presença de análise estatística foi o fator preditivo significativo (p<0,05) para a conversão de resumos em manuscritos completos. a taxa de conversão deste estudo bibliométrico foi inferior à tendência de conversão descrita em congressos internacionais de Cirurgia Plástica, e a presença de análise estatística foi um determinante para o sucesso de conversão.

Multi-valued simulation and abstraction using lattice operations

NARCIS (Netherlands)

Vijzelaar, Stefan; Fokkink, W.J.

2017-01-01

Abstractions can cause spurious results, which need to be verified in the concrete system to gain conclusive results. Verification based on a multi-valued logic can distinguish between conclusive and inconclusive results, provides increased precision, and allows for encoding additional information

Video Abstracting at a Semantical Level

OpenAIRE

von Wenzlawowicz, Till

2018-01-01

One the most common form of a video abstract is the movie trailer. Contemporary movie trailers share a common structure across genres which allows for an automatic generation and also reflects the corresponding moviea s composition. In this thesis a system for the automatic generation of trailers is presented. In addition to action trailers, the system is able to deal with further genres such as Horror and comedy trailers, which were first manually analyzed in order to identify their basic st...

97. German Roentgen congress of the DRG. Program with abstracts; 97. Deutscher Roentgenkongress der DRG. Vollstaendiges Programm mit Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2016-05-15

The Volume with program and abstracts of the 97. German Roentgen congress of the DRG covers the following issues: The future of radiology - where are we heading? Cardiovascular imaging - the future; brain imaging - the essentials; chest imaging - not only nodules; abdominal imaging - the liver and beyond; muscoskeletal imaging - joints and bones; head and neck radiology - made easy.

Full Text Searching and Customization in the NASA ADS Abstract Service

Science.gov (United States)

Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Kurtz, M. J.; Henneken, E. A.; Thompson, D. M.; Murray, S. S.

2004-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 worldwide without restrictions. It allows the user to search the literature by author, title, and abstract text. The ADS database contains over 3.6 million references, with 965,000 in the Astronomy/Planetary Sciences database, and 1.6 million in the Physics/Geophysics database. 2/3 of the records have full abstracts, the rest are table of contents entries (titles and author lists only). The coverage for the Astronomy literature is better than 95% from 1975. Before that we cover all major journals and many smaller ones. Most of the journal literature is covered back to volume 1. We now get abstracts on a regular basis from most journals. Over the last year we have entered basically all conference proceedings tables of contents that are available at the Harvard Smithsonian Center for Astrophysics library. This has greatly increased the coverage of conference proceedings in the ADS. The ADS also covers the ArXiv Preprints. We download these preprints every night and index all the preprints. They can be searched either together with the other abstracts or separately. There are currently about 260,000 preprints in that database. In January 2004 we have introduced two new services, full text searching and a personal notification service called "myADS". As all other ADS services, these are free to use for anybody.

Tipo abstracto de datos "Biblioteca" Library Abstract data type

Directory of Open Access Journals (Sweden)

Silvana Temesio Vizoso

2010-12-01

Full Text Available Análisis de la descripción bibliográfica desde un punto de vista conceptual a partir de la especificación formal: tipo abstracto de datos "biblioteca". Se detallan otros abordajes usando el modelo entidad-relación y el lenguaje XML. Se concluye la relevancia del enfoque abstracto y su aplicabilidad genérica en un sujeto de cambio permanente.Analysis of bibliographic description from a conceptual point of view from the formal specification: "library" abstract data type. Other approaches are detailed using the entity-relationship model and XML language. We conclude the relevance of abstract approach and its general applicability in a subject of constant change.

Title TBA: Revising the Abstract Submission Process.

Science.gov (United States)

Tibon, Roni; Open Science Committee, Cbu; Henson, Richard

2018-04-01

Academic conferences are among the most prolific scientific activities, yet the current abstract submission and review process has serious limitations. We propose a revised process that would address these limitations, achieve some of the aims of Open Science, and stimulate discussion throughout the entire lifecycle of the scientific work. Copyright © 2018 The Authors. Published by Elsevier Ltd.. All rights reserved.

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1991-06-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract index journal)

International Nuclear Information System (INIS)

1990-12-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Sounding Relationships. Conference programme & Book of abstracts

DEFF Research Database (Denmark)

2009-01-01

Content: Welcome to Aalborg.  Inge Nygaard Pedersen: Welcome from the chair of the organizing committee Tony Wigram Wlcome from the chair of the scientific committee Rita Cancino: Welcome from the head of faculty Hanne Mette Ridder: Welcome from the Danish Association of Music Therapists (MTL......) Sounding Relationships General Information Daily Program Social Program List of Participants Scientific Program Book of Abstracts...

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1991-03-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1993-08-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1989-11-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1990-05-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1992-06-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1993-05-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract index journal)

International Nuclear Information System (INIS)

1989-08-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (abstract index journal)

International Nuclear Information System (INIS)

1991-11-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

Regulatory and technical reports (Abstract Index Journal)

International Nuclear Information System (INIS)

1989-07-01

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility