Sample records for abstracts oezetler kitabi

Full Text Available The world map drawn by Piri Reis in 1513, of which only the Atlantic fragment kept in Istanbul is known, is justly famous. Its surprising modernity is fully explained by the use of Iberian sources, resulting from nearly a century of exploration of both sides of the Atlantic by Portuguese and Spanish navigators, along with other collaborators. The ‘Book of maritime affairs’, prepared in the 1520s by the Turkish cartographer, gathering precious geographic and cartographic information about the Mediterranean and many other regions, is equally important, although rather less well known. In the foreword to his Kitab-i Bahriye, Piri Reis appears to be especially well informed about Portuguese explorations along the African coast and in the Asian seas, after the voyages of Bartolomeu Dias and of Vasco da Gama. Is it possible to identify the textual and cartographic sources used by Piri Reis in the preparation of both his cartographic works?

The Western Theories of War Ethics and Contemporary Controversies Li Xiaodong U Ruijing （4） [ Abstract] In the field of international relations, war ethics is a concept with distinct westem ideological color. Due to factors of history and reality, the in

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.

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.

Detailed, complete, timely and reliable statistics are essential to monitor the energy situation at a country level as well as at an international level. Energy statistics on supply, trade, stocks, transformation and demand are indeed the basis for any sound energy policy decision. For instance, the market of oil -- which is the largest traded commodity worldwide -- needs to be closely monitored in order for all market players to know at any time what is produced, traded, stocked and consumed and by whom. In view of the role and importance of energy in world development, one would expect that basic energy information to be readily available and reliable. This is not always the case and one can even observe a decline in the quality, coverage and timeliness of energy statistics over the last few years.

Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal

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

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

anthropogenic pressures and international shared water. Here are the 320 abstracts proposed by authors and accepted by the Scientific Committee. More than 200 papers are presented during the Conference on 8 topics related to Hydrology, Climatology and Hydro biology: - Climate and Environment; - Hydrological regimes and water balances; - Droughts and Floods; -Integrated Water Resources Management; -Water bodies Protection and Eco hydrology; -Lakes; -Information Systems for decision support; -Hydrological modelling. Papers relevant to INIS are indexed separately

Full Text Available What lineage connects early abstract films and machine-generated YouTube videos? Hans Richter’s famous piece Rhythmus 21 is considered to be the first abstract film in the experimental tradition. The Webdriver Torso YouTube channel is composed of hundreds of thousands of machine-generated test patterns designed to check frequency signals on YouTube. This article discusses geometric abstraction vis-à-vis new vision, conceptual art and algorithmic art. It argues that the Webdriver Torso is an artistic marvel indicative of a form we call mathematical abstraction, which is art performed by computers and, quite possibly, for computers.

Abstracts of the papers given at the conference are presented. The abstracts are arranged under sessions entitled:Theoretical Physics; Nuclear Physics; Solid State Physics; Spectroscopy; Physics Education; SANCGASS; Astronomy; Plasma Physics; Physics in Industry; Applied and General Physics

Abstracts of the papers given at the conference are presented. The abstracts are arranged under sessions entitled:Theoretical Physics; Nuclear Physics; Solid State Physics; Spectroscopy; Physics Education; SANCGASS; Astronomy; Plasma Physics; Physics in Industry; Applied and General Physics.

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

This text provides a complete discussion of abstracts--their history, production, organization, publication--and of indexing. Instructions for abstracting are outlined, and standards and criteria for abstracting are stated. Management, automation, and personnel are discussed in terms of possible economies that can be derived from the introduction…

Each abstract has been indexed according to the first author. Abstracts appear as they were submitted and have not undergone editing or the Oncology Nursing Forum’s review process. Only abstracts that will be presented appear here. Poster numbers are subject to change. For updated poster numbers, visit congress.ons.org or check the Congress guide. Data published in abstracts presented at the ONS 43rd Annual Congress are embargoed until the conclusion of the presentation. Coverage and/or distribution of an abstract, poster, or any of its supplemental material to or by the news media, any commercial entity, or individuals, including the authors of said abstract, is strictly prohibited until the embargo is lifted. Promotion of general topics and speakers is encouraged within these guidelines.

Each abstract has been indexed according to first author. Abstracts appear as they were submitted and have not undergone editing or the Oncology Nursing Forum’s review process. Only abstracts that will be presented appear here. For Congress scheduling information, visit congress.ons.org or check the Congress guide. Data published in abstracts presented at the ONS 43rd Annual Congress are embargoed until the conclusion of the presentation. Coverage and/or distribution of an abstract, poster, or any of its supplemental material to or by the news media, any commercial entity, or individuals, including the authors of said abstract, is strictly prohibited until the embargo is lifted. Promotion of general topics and speakers is encouraged within these guidelines.

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...

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,…

indefinitely, finding neither a proof nor a disproof of a given subgoal. In this paper we characterize a family of truth-preserving abstractions from intuitionistic first-order logic to the monadic fragment of classical first-order logic. Because they are truthful, these abstractions can be used to disprove...

Full Text Available In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersection of sub-level sets of the partitioning functions defines cells, which are regarded as discrete objects. The union of cells makes up the state space of the dynamical systems. Our construction gives rise to a combinatorial object - a timed automaton. We examine sound and complete abstractions. An abstraction is said to be sound when the flow of the time automata covers the flow lines of the dynamical systems. If the dynamics of the dynamical system and the time automaton are equivalent, the abstraction is complete. The commonly accepted paradigm for partitioning functions is that they ought to be transversal to the studied vector field. We show that there is no complete partitioning with transversal functions, even for particular dynamical systems whose critical sets are isolated critical points. Therefore, we allow the directional derivative along the vector field to be non-positive in this work. This considerably complicates the abstraction technique. For understanding dynamical systems, it is vital to study stable and unstable manifolds and their intersections. These objects appear naturally in this work. Indeed, we show that for an abstraction to be complete, the set of critical points of an abstraction function shall contain either the stable or unstable manifold of the dynamical system.

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...

The following abstracts are compiled from Check Sample exercises published in 2008. These peer-reviewed case studies assist laboratory professionals with continuing medical education and are developed in the areas of clinical chemistry, cytopathology, forensic pathology, hematology, microbiology, surgical pathology, and transfusion medicine. Abstracts for all exercises published in the program will appear annually in AJCP.

PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.

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...

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

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

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.

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.

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...

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...

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...

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])

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 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]).

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...

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.

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)

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.

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.)

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...

A theoretical and historical account of the main preoccupations of makers of abstract films is presented in this book. The book's scope includes discussion of nonrepresentational forms as well as examination of experiments in the manipulation of time in films. The ten chapters discuss the following topics: art and cinematography, the first…

The 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...

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...

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

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...

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

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

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

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

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.

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.

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

The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment (TSPA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport

The 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

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)

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)

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.

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

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

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

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.

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.

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

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....

(Abstract only) To the ancients, the Earth was the Universe, of a size to be crossed by a god in a day, by boat or chariot, and by humans in a lifetime. Thus an exoplanet would have been a multiverse. The ideas gradually separated over centuries, with gradual acceptance of a sun-centered solar system, the stars as suns likely to have their own planets, other galaxies beyond the Milky Way, and so forth. And whenever the community divided between "just one' of anything versus "many," the "manies" have won. Discoveries beginning in 1991 and 1995 have gradually led to a battalion or two of planets orbiting other stars, very few like our own little family, and to moderately serious consideration of even larger numbers of other universes, again very few like our own. I'm betting, however, on habitable (though not necessarily inhabited) exoplanets to be found, and habitable (though again not necessarily inhabited) universes. Only the former will yield pretty pictures.

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)

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

(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.

(Abstract only) We are developing a system of robotic telescopes for automatic recognition of Supernovas as well as other transient events in collaboration with the Puckett Supernova Search Team. At the SAS2014 meeting, the discovery program, SNARE, was first described. Since then, it has been continuously improved to handle searches under a wide variety of atmospheric conditions. Currently, two telescopes are used to build a reference library while searching for PSN with a partial library. Since data is taken every night without clouds, we must deal with varying atmospheric and high background illumination from the moon. Software is configured to identify a PSN, reshoot for verification with options to change the run plan to acquire photometric or spectrographic data. The telescopes are 24-inch CDK24, with Alta U230 cameras, one in CA and one in NM. Images and run plans are sent between sites so the CA telescope can search while photometry is done in NM. Our goal is to find bright PSNs with magnitude 17.5 or less which is the limit of our planned spectroscopy. We present results from our first automated PSN discoveries and plans for PSN data acquisition.

This model report documents the abstraction of drift seepage, conducted to provide seepage-relevant parameters and their probability distributions for use in Total System Performance Assessment for License Application (TSPA-LA). Drift seepage refers to the flow of liquid water into waste emplacement drifts. Water that seeps into drifts may contact waste packages and potentially mobilize radionuclides, and may result in advective transport of radionuclides through breached waste packages [''Risk Information to Support Prioritization of Performance Assessment Models'' (BSC 2003 [DIRS 168796], Section 3.3.2)]. The unsaturated rock layers overlying and hosting the repository form a natural barrier that reduces the amount of water entering emplacement drifts by natural subsurface processes. For example, drift seepage is limited by the capillary barrier forming at the drift crown, which decreases or even eliminates water flow from the unsaturated fractured rock into the drift. During the first few hundred years after waste emplacement, when above-boiling rock temperatures will develop as a result of heat generated by the decay of the radioactive waste, vaporization of percolation water is an additional factor limiting seepage. Estimating the effectiveness of these natural barrier capabilities and predicting the amount of seepage into drifts is an important aspect of assessing the performance of the repository. The TSPA-LA therefore includes a seepage component that calculates the amount of seepage into drifts [''Total System Performance Assessment (TSPA) Model/Analysis for the License Application'' (BSC 2004 [DIRS 168504], Section 6.3.3.1)]. The TSPA-LA calculation is performed with a probabilistic approach that accounts for the spatial and temporal variability and inherent uncertainty of seepage-relevant properties and processes. Results are used for subsequent TSPA-LA components that may handle, for example, waste package corrosion or radionuclide transport

The document contains abstracts of 24 review papers, 24 invited papers, 24 oral contributions and 120 posters. 10 review papers summarize the status of laser fusion research and progress in high-power laser facilities in major world laboratories. Four papers review research programs (laser-matter interaction studies and X-ray source development) based on KrF laser systems. Other review papers discuss the problems of laser energy conversion into X-rays in laser-heated cavities, X-ray lasing at shorter wavelengths, optimization of targets for inertial fusion. Two review papers are devoted to light ion fusion. The subjects of most invited papers are special problems of current laser plasma research, such as hot electron generation, nonlinear resonance absorption, energy accumulation limits, pellet ignition, conversion of laser light into X-rays, high-pressure plasma generation. Three invited papers review laser plasma research in Czechoslovakia, Poland and Spain. One paper suggests a new method of producing muonic superdense matter. The remaining inivited papers deal with the progress in XUV lasers and with laser plasma applications for further laser development. Of the papers accepted for oral presentation 12 papers discuss various problems of laser-plasma interaction; 4 papers deal with laser targets, 4 papers with laser-initiated X-ray sources, 3 papers with the diagnostics of laser-produced plasma. The last oral contribution presents the main principles of the excimer laser theory. The largest group of posters is related to laser-plasma interaction and energy absorption problems, to laser-target interaction and various methods of laser plasma diagnostics. The other posters deal with plasma applications in laser development, plasma mirrors, Brillouin and Raman scattering, X-ray emission, harmonic generation, electron acceleration, production of high-Z plasmas and other related problems. (J.U.)

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)

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.

Full Text Available One key issue for theories of cognition is how abstract concepts, such as freedom, are represented. According to the WAT (Words As social Tools proposal, abstract concepts activate both sensorimotor and linguistic/social information, and their acquisition modality involves the linguistic experience more than the acquisition of concrete concepts. We report an experiment in which participants were presented with abstract and concrete definitions followed by concrete and abstract target-words. When the definition and the word matched, participants were required to press a key, either with the hand or with the mouth. Response times and accuracy were recorded. As predicted, we found that abstract definitions and abstract words yielded slower responses and more errors compared to concrete definitions and concrete words. More crucially, there was an interaction between the target-words and the effector used to respond (hand, mouth. While responses with the mouth were overall slower, the advantage of the hand over the mouth responses was more marked with concrete than with abstract concepts. The results are in keeping with grounded and embodied theories of cognition and support the WAT proposal, according to which abstract concepts evoke linguistic-social information, hence activate the mouth. The mechanisms underlying the mouth activation with abstract concepts (re-enactment of acquisition experience, or re-explanation of the word meaning, possibly through inner talk are discussed. To our knowledge this is the first behavioral study demonstrating with real words that the advantage of the hand over the mouth is more marked with concrete than with abstract concepts, likely because of the activation of linguistic information with abstract concepts.

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

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.)

descriptive statistics, Z-test and multiple regressiion analysis. Results show that the ... protein intake from animal sources, which is less than 10gm/capita /day ... production offish and fish products through effective fisheries extension efforts ...

in Imo state, the gender-perceived production constraints; the relative ... to establishing if stereotyping such operations along gender lines will ... difference in returns accruing to male and female small ruminant ..... The bias against Sheep and.

Commemorating the 100th Anniversary of the Revolution of 1911 Promoting the Deep Development of the CPC History and National History by the Research and Publication of the History of the Revolution of …………1911 Zhu Jiamu （4）

inner forces (bending moments, shearing forces etc) are usually redistributed. Cracks that often appear within the walls of tall buildings during constructions point to this phenomenon. It has also been recognized that foundation engineering is complicated. (1). Also settlement has been accepted as stress induced and time ...

Full Text Available Introduction: Strawberry (fragaria×ananassa Duch. fruit characterized by short storage life, often estimated last less than one week even under optimum conditions at 8°C. The loss of fruit quality is often caused by gray mold (Botrytis cinerea that is the most frequent reported postharvest disease in strawberry during storage (6. In recent years, considerable attention has given to elimination of synthetic chemical and fungicides application and development of various alternative strategies for controlling fruit and vegetables diseases (2. One strategy is replacement of natural products with plant origin such as essential oil and methyl salicylate (MeSA. Essential oils are volatile, natural and complex compounds characterized by a strong odor formed by aromatic plants in form of secondary metabolites. In nature, essential similar oils that extract from lavender (Lavandula angustifolia play an important role in protection of the plants against pathogen incidence that can be replaced by synthetic fungicides (1, 4 and 14. MeSA is also a volatile natural compound synthesized from salicylic acid which has an important role in the plant defense-mechanism, as well as plant growth and development (5, 19 and 20. Therefore, the main objective of this research was to study the effects of MeSA and lavender essential oil (LEO on decay control caused by Botrytis cinerea as well as post-harvest quality indices of strawberry fruits during cold storage. Material and Methods: First, antifungal activity was studied by using a contact assay (in vitro, which produces hyphal growth inhibition. Briefly, potato dextrose agar (PDA plates were prepared using 8 cm diameter glass petri dishes and inhibitory percentage was determined. For in-vivo assessment of LEO and MeSA effects on Botrytis-caused fungal disease control, the experiment was conducted as factorial in completely randomized design (CRD with 3 replicates. The treatments were 3 concentration of LEO including 0, 500 and 1000 µl L-1 and 3 level of MeSA including 0, 0.1 and 0.2 mM. After treatment, the fruits were inoculated by Botrytis suspension and transferred to storage and quality parameters were evaluated after 7, 14 and 21 days. At each sampling time, disease incidence, weight loss, titratable acidity, pH, soluble solids content, vitamin C and antioxidant activity were measured. Results and Discussion: The results showed that both LEO and MeSA treatments had significant effects on inhibition of mycelium growth within in-vitro condition (p < 0.05. Inhibition rate of mycelium growth significantly improved by LEO and MeSA concentration increase of, (Table 1. At in-vivo assessment, diseases incidence of treated fruits with 500 µl L-1 LEO and 0.1 mM MeSA were 32% and 64% lower than untreated fruits, respectively (Fig. 1 and 2. During storage period, the percentage of infected fruits increased. In addition, LEO and MeSA treatments affected quality parameters of strawberry fruits including titratable acidity, soluble solids content, vitamin C and antioxidant activity. Treated fruits had a high content of soluble solids, vitamin C and antioxidant activity in comparison to untreated fruits (Table 3 and 4. Probably ascorbic acid decreased through fungal infection duo to cell wall break down during storage. Any factors such as essential oil and salicylate that inhibit fungal growth can help preserving vitamin C in stored products. High level of vitamin C and antioxidant activity was observed in treated fruits with 0.1 mM MeSA and 500 µl L-1 LEO. In controlling weight loss of fruits, 0.2 mM of MeSA and 500 µl L-1 of LEO had significant effects, although MeSA was more effective than LEO treatments, possibly due to elimination of respiration rates and fungi infection (Table 4. Therefore, LEO and MeSA with fungicide effects could be replaced with synthetic fungicides in controlling fungal diseases of strawberry and maintain fruits quality during storage. Conclusion: In conclusion, our results showed that LEO and MeSA treatments could be safe and used to prevent infection of strawberry during storage, although LEO was more effective than MeSA treatments. Concentration of 500 μl L-1 of LEO and 0.1 mM MeSA could control fungal infection of fruits during storage. Also, LEO and MeSA treatments can extend shelf life for over the minimum period required to transit strawberries to foreign markets and without affecting quality, adversely. However, future studies are necessary to fully understand the mechanisms by which LEO and MeSA treatments may act as a fungicide and increase their postharvest life.

a route of HIV transmission with sex (p=0.003) and age (p=0.000) being highly ... preventing HIV, prevention of mother-to-child transmission of HIV (PMTCT), health behaviour and ..... order to determine which infant feeding methods were perceived ..... breast diseases, cancer, insufficient milk, work and pregnancy.

Objective: To determine the incidence of post operative SSI after primary total hip arthroplasty. Design: A retrospective cohort study. ... Conclusion: The risk of post operative SSI after total hip arthroplasties is low in the African setting. Further investigation is .... knee replacements for osteoarthritis. J. Bone Joint. Surg.

Mar 10, 2017 ... factors with low to moderate effect which have been described (Klareskog et al. 2006). The strongest ... 2014). Several studies in GWAS and meta-analyses ... All patients and healthy controls gave informed consent to .... HLA-DQB1 encoded chain of MHC-II protein and HLA-DQA2 encoded chain of MHC-II ...

business owned and controlled equally by the members that is targeted to break the ... The Poverty Reduction Strategy Programme of OSHO is focused in supporting the ..... The Report of United Nations (2005) indicates an improvement in the.

An Authoring system is a software with pre-programmed elements which allows both programmers ... doing things in all aspects of human endeavour. ... learning is offered through an Internet .... based or problem-based learning environment.

status of households in Owemi agricultural area of Imo state, isolate the determinants of ... importation, the country has hardly ever provided enough food for her teeming ..... Third in importance is the sale of valuable items as a coping strategy. The type ... while 70% preferred begging for food to dying of starvation. However,.

The proceedings contain 106 papers of which 2 fall under the INIS Scope. One concerns seismic risk assessment at radioactive waste repositories in the U.S., the other concerns the possibility of predicting earthquakes from changes in radon 222 levels in selected ground water springs of northern Italy. (M.D.)

The study was conducted on high schools around the vicinity of Jimma. University easy to ... and community/Kebele leaders were sources of information and media ... biological, health sciences, social sciences ...... and one or more elementary.

extent of the integration of the new technology in teaching and learning Geography in Nigerian ... mounted pressure advocating for the removal ... which reduce opportunities for developing .... the fact the subject has distance itself from the.

Full Text Available Introduction: One of the microbiological preparations used for this study was Effective Microorganisms (EM, being a commercial mixture of photosynthesizing bacteria, Actinomycetes, lactic acid bacteria, yeasts and fermenting fungi. The microbiological composition of the EM concentrateincludesStreptomyces albus, Propioni bacterium freudenreichil, Streptococcus lactis, Aspergillus oryzae, Mucor hiemalis, Saccharomycescerevisiae and Candida utilis. Moreover, EM also contains an unspecified amount of Lactobacillus sp. Rhodo pseudomonas sp. and Streptomyces griseus. Effective Microorganisms have a positive effect on the decomposition of organic matter, limiting putrefaction, increasing nitrogen content in the root medium of plants, phosphorus, improving soil fertility and as a result contributing to the growth and development of the root systems of plants. Selection of almond vegetative rootstocks for water stress tolerance is important for almond crop production in arid and semi-arid regions. The study of the eco-morphological characteristics that determine the success of a rootstock in a particular environment is a powerful tool for both agricultural management and breeding purposes. The aim of this work was to select the new rootstocks for water shortage tolerance, impact of water stress as well as Effective Microorganism (EM on morphological characteristics of almond rootstocks. Materials and Methods: In order to select the new rootstocks for water shortage tolerance, impact of water stress as well as EMonmorphologicalcharacteristics of almondrootstocks were studiedin thedepartment ofHorticulture, Ferdowsi University of Mashhad, in 2011-2012. The experiment was carried out with four replications in a completely random blockdesign to study the effects of two concentrations of EM (0 and 1%, three irrigation levels (normal irrigation 100%-control-and irrigation after depletion of 33 and 66% of available water, and four almond rootstocks including GF677 and selected natural hybrid of peach × almond (H1and H2, and almond vegetative rootstock (local control.In this study,EMtreatments for 60 days before stress treatments were applied so that in each irrigation, EM solution to a concentration of one percent was given to half of the experiment pots. Other pots were irrigated equally with normal water. Stress levels were applied from July as follow: full irrigation, watering after unloading 33% and 66% soil moisture availability. In order to evaluate the performance, seedling survival, plant growth, number of leaves, leaf area, root fresh and dry weight and leaves and root length were measured. Results and Discussion: Analysis of variance showed that between rootstock levels across all treatments were significantly differences at 0.01 level of probability. Comparison of means showed that the highest fresh and dry weight and leaf are awere observed forGF677and H1.Rootstockannualgrowth rate was also different. Most of the growth was related to the H1 Rootstocks. Thes urvival ratewas significantly different from the Rootstocks ofGF677,andH1showedthe highestpercentage of survival. The degree of adaptation to drought in varieties of almonds is different. The results showed that changes ingrowthparametersinGF677and H1were observed less often than other rootstocks. Because of strong roots,GF677and H1continue to attract more minerals under stress conditions. Analysis of variance showed that the between irrigation levels for all treatments were significantly different at 0.01 level of probability. Comparison of means showed that among the study traits, the highest amount was obtained from complete irrigation, while irrigationat66 percenthad the least amount. Water stress may directly affect photosyn thesis, through leaf photochemicalprocessorindirectly,byclosing stomata, reducingleaf area and growth. The results showed that the levels of(EM on the leaf surface, leaf number, annual growth, root dry weight and volume were significantly different (p

examines the extent of women farmers' access to credit from Rural Banks (RBs) in the Upper East. Region of Ghana. .... In this regard, anybody who does not attempt to get credit from formal, semi-formal/endogenous or ... District and the Builsa Community Rural Bank with its headquarters at Sandema in the Builsa. District.

development of its economy presupposes entrepreneurial direction, which is ... and independence. Ethiopian business men and women should take intelligent risks ... opportunities. Such a strategy helps Ethiopian entrepreneurship to grow. .... propensity, and high energy decreased as the cultural distance from the United ...

Mar 10, 2017 ... autoimmune and infectious diseases including type 1 diabetes (Nakanishi and Inoko 2006) and chronic HCV infection (Tibbs et al. 1996). Additionally, it was suggested that it may be a shared epitope for RA (Li et al. 2013). According to these data and our findings, we can suggest that there is an interaction ...

Full Text Available The practice of teaching, in actuality, shows the necessity of teachers and students coming together to form a behavior that is different from the traditional model of teaching. The unity formed from various types of knowledge and the relation between theory and practice show themselves to be fundamental. Starting in 2002, and in search of this unity, a project that hoped to unify the disciplines taught in the second semester of the course in Administration was implemented. During the semester, a single work sought to relate the theories studied with the reality of an organization. Each professor evaluated the works from the point of view of his discipline, as well as the presentation, in general, of the group. It can be affirmed that seeking to bring together various types of knowledge necessarily passes to a rethinking of the postures of teachers and students.

4The Current Trends in Global Mineral Exploration and Development LIU Shucken （Information Center of Ministry of Land and Resources, Beijing 100812, China） Abstract： This paper introduces the main issues that the global mineral exploration and development are faced with. The main issues of focus include： the mineral exploration has rapidly recovered from the short depression caused by the effects of global financial crisis; most of the important mineral reserves have continued to grow; there has been continued rapid growth in mining development investment; the supply capacity of mineral products has increased; mergers and acquisitions of mining company are stirring, and multinational mergers ＆ acquisitions has become mainstream,

realistic distribution of no-show data in modeling the cost function was considered using data collected from the .... the paper models the cost function based on a realistic probability distributions based on the historical data is a .... Plot of Revenue generated vs. overbooking for two class case (at $500. Compensation Cost ...

Full Text Available This paper aims to describe and to analyze the integration observed in the Sintonia project with respect to the comparison of project management processes to the model of the Stage-Gate ®. The literature addresses these issues conceptually, but lack an alignment between them that is evident in practice. As a method was used single case study. The report is as if the Sintonia project, developed by PRODESP - Data Processing Company of São Paulo. The results show the integration of project management processes with the Stage-Gate model developed during the project life cycle. The formalization of the project was defined in stages in which allowed the exploitation of economies of repetition and recombination to the development of new projects. This study contributes to the technical vision in dealing with the integration of project management processes. It was concluded that this system represents an attractive way, in terms of creating economic value and technological innovation for the organization.

Efforts have also been successfully made to include the study of rock art in the school/ college curriculum so as to help develop awareness amongst the students and general public about the need to preserve this cultural heritage for the posterity and also to highlight its importance in tourism industry. rock art and their ...

Many mathematical models of stochastic dynamical systems were based on the assumption that the drift ... stochastic process with state space S is a ..... The algorithm was implemented through a MatLab script and the result of the simulation is.

Wu Jie and Duan Yanchao. The current line drawing of Laterolog and its application. PI, 2011, 25（4） ： 1 - 4 The current line plays an important role in the directly understanding the characteristics of Laterolog tool. A method of drawing current lines for the discrete potential data based on the Finite Element calculation is studied. It solves a series of key problems, including the selection of step length, the identification of direction, treatment of nmtation point and the control of stop. A drawing program is written by MATLAB software. Taking the current line drawing of the dual Laterolog logging as an example, we analyze the tool＇s investigation characteristics in the several formations such as homogeneous, low or high invasion, and invasion with shoulder. These results verify the effectiveness of the new method. The method can be applied to the other kinds of Laterolog tools to draw their current lines and analyze their investigation characteristics.

on human development are sufficiently important to warrant an integration of. HIV and .... interaction of HIV and malaria22, The discussions that follow further sub- .... HIV —MTCT and the paediatric management of children born of ser0p0$l-.

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

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...

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

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.

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....

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.

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

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

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....

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

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...

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

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...

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

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.

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.

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...

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...

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...

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.

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 ...

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...

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.

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.

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

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

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).

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

(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.

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

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 ...

This chapter examines the use of Abstract Expression Grammars to perform the entire Symbolic Regression process without the use of Genetic Programming per se. The techniques explored produce a symbolic regression engine which has absolutely no bloat, which allows total user control of the search space and output formulas, which is faster, and more accurate than the engines produced in our previous papers using Genetic Programming. The genome is an all vector structure with four chromosomes plus additional epigenetic and constraint vectors, allowing total user control of the search space and the final output formulas. A combination of specialized compiler techniques, genetic algorithms, particle swarm, aged layered populations, plus discrete and continuous differential evolution are used to produce an improved symbolic regression sytem. Nine base test cases, from the literature, are used to test the improvement in speed and accuracy. The improved results indicate that these techniques move us a big step closer toward future industrial strength symbolic regression systems.

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

This carefully written textbook offers a thorough introduction to abstract algebra, covering the fundamentals of groups, rings and fields. The first two chapters present preliminary topics such as properties of the integers and equivalence relations. The author then explores the first major algebraic structure, the group, progressing as far as the Sylow theorems and the classification of finite abelian groups. An introduction to ring theory follows, leading to a discussion of fields and polynomials that includes sections on splitting fields and the construction of finite fields. The final part contains applications to public key cryptography as well as classical straightedge and compass constructions. Explaining key topics at a gentle pace, this book is aimed at undergraduate students. It assumes no prior knowledge of the subject and contains over 500 exercises, half of which have detailed solutions provided.

. Conceptualisation and Innovative thinking. Research approaches and topics: Human Behaviour and Cognition. Cooperation and Multidisciplinary Design. Staging and Management of Design. Communication in Design. Design education and teaching: Programmes and Syllabuses. New Courses. Integrated and Multi-disciplinary. We...... fate of the ideas behind the conferences. In that view the conferences have been thematically open and the organization has been tight with a limited number of participants that allows a good overview of all the papers and a lot of informal discussion between the participants. The present conference...... has been organized in line with the original ideas. The topics mentioned in the call for abstracts were: Product Development: Integrated, Multidisciplinary, Product life oriented and Distributed. Multi-product Development. Innovation and Business Models. Engineering Design and Industrial Design...

(Abstract only) Symbiotic stars are fascinating objects - complex binary systems comprising a cool red giant star and a small hot object, often a white dwarf, both embedded in a nebula formed by a wind from the giant star. UV radiation from the hot star ionizes the nebula, producing a range of emission lines. These objects have composite spectra with contributions from both stars plus the nebula and these spectra can change on many timescales. Being moderately bright, they lend themselves well to amateur spectroscopy. This paper describes the symbiotic star phenomenon, shows how spectrophotometry can be used to extract astrophysically useful information about the nature of these systems, and gives results for three symbiotic stars based on the author's observations.

This article investigates valuations of organ transfers that are currently seen as legitimising increasingly aggressive procurement methods in Denmark. Based on interviews with registered donors and the intensive care unit staff responsible for managing organ donor patients we identify three types...... a more general salience in the organ transplant field by way of facilitating a perception of organ transplantation as an abstract moral good rather than a specific good for specific people. Furthermore, we suggest that multiple forms of ignorance sustain each other: a desire for ignorance with respect...... to the prioritisation of recipients sustains pressure for more organs; this pressure necessitates more aggressive measures in organ procurement and these measures increase the need for ignorance in relation to the actual procedures as well as the actual recipients. These attempts to avoid knowledge are in remarkable...

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

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)

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)

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

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

In this article we have outlined a formal framework for an abstract approach to music and music composition. The model is formulated in terms of objects that have attributes, obey relationships, and are subject to certain well-defined operations. The motivation for this approach uses traditional terms and concepts of music theory, but the approach itself is formal and uses the language of mathematics. The universal object is an audio wave; partials, sounds, and compositions are special objects, which are placed in a hierarchical order based on time scales. The objects have both static and dynamic attributes. When we realize a composition, we assign values to each of its attributes: a (scalar) value to a static attribute, an envelope and a size to a dynamic attribute. A composition is then a trajectory in the space of aural events, and the complex audio wave is its formal representation. Sounds are fibers in the space of aural events, from which the composer weaves the trajectory of a composition. Each sound object in turn is made up of partials, which are the elementary building blocks of any music composition. The partials evolve on the fastest time scale in the hierarchy of partials, sounds, and compositions. The ideas outlined in this article are being implemented in a digital instrument for additive sound synthesis and in software for music composition. A demonstration of some preliminary results has been submitted by the authors for presentation at the conference.

(Abstract only) WD1145 is a 17th magnitude white dwarf star 570 light years away in Virgo that was discovered to have a disintegrating planetoid in close orbit by Andrew Vanderburg, a graduate student at Harvard CfA, while data mining the elucidate the nature of its rather bizarre transit light curves. I obtained multiple observations of WD1145 over the course of a year, and found a series of complex transit light curves that could only be interpreted as a ring complex or torus in close orbit around WD1145. Combined with data from other amateur astronomers, professional observations, and satellite data, it became clear that WD1145 has a small planetoid in close orbit at the Roche limit and is breaking apart, forming a ring of debris material that is then raining down on the white dwarf. The surface of the star is "polluted" by heavy metals, determined by spectroscopic data. Given that in the intense gravitational field of a white dwarf any heavy metals could not for long last on the surface, this confirms that we are tracking in real time the destruction of a small planet by its host star.

The second international EURORIB conference 'EURORIB'10' will be held from June 6. to June 11. 2010 in Lamoura (France). Our nuclear physics community is eagerly awaiting the construction of the next generation of Radioactive Ion Beam (RIB) facilities in Europe: HIE-ISOLDE at CERN, NUSTAR at FAIR, SPES at LNL, SPIRAL2 at GANIL and the future EURISOL. The collaborations built around these facilities are exploring new experimental and theoretical ideas that will advance our understanding of nuclear structure through studies of exotic nuclei. Following in the spirit of the conference held in Giens in 2008, EURORIB'10 will provide the opportunity for the different collaborations to come together and present these ideas, and explore the synergy between the research programmes based around the hypothetical severe acprojects. The main topics to be discussed at the conference are: 1) At and beyond the drip line, 2) Shell structure far from stability, 3) Fusion reactions and synthesis of heavy and superheavy nuclei, 4) Dynamics and thermodynamics of exotic nuclear systems, 5) Radioactive ion beams in nuclear astrophysics, 6) New modes of radioactivity, 7) Fundamental interactions, 8) Applications in other fields, 9) Future RIB facilities, 10) Production and manipulation of RIB, and 11) Working group meetings on synergy in instrumentation and data acquisition. This document gathers only the abstracts of the papers. (authors)

A recent international study of women in physics showed that enrollment in physics and science is declining for both males and females and that women are severely underrepresented in careers requiring a strong physics background. The gender gap begins early in the pipeline, from the first grade. Girls are treated differently than boys at home and in society in ways that often hinder their chances for success. They have fewer freedoms, are discouraged from accessing resources or being adventurous, have far less exposure to problem solving, and are not encouraged to choose their lives. In order to motivate more girl students to study physics in the Assiut governorate of Egypt, the Assiut Alliance for the Women and Assiut Education District collaborated in renovating the education of physics in middle and secondary school classrooms. A program that helps in increasing the number of girls in science and physics has been designed in which informal groupings are organized at middle and secondary schools to involve girls in the training and experiences needed to attract and encourage girls to learn physics. During implementation of the program at some schools, girls, because they had not been trained in problem-solving as boys, appeared not to be as facile in abstracting the ideas of physics, and that was the primary reason for girls dropping out of science and physics. This could be overcome by holding a topical physics and technology summer school under the supervision of the Assiut Alliance for the Women.

the conception of a LILW repository (Marc Mormont, Anne Bergmans), The contribution of Social Sciences and Humanities to the scientific program for radioactive waste management of Andra (Luis Aparicio), The public expert and the nuclear catastrophe (Christine Fassert); 5 - Nuclear governance: Did Fukushima put an end to nuclear revival? A post-Fukushima debates analysis in Finnish, French and British media (Markku Lehtonen), Nuclear secrecy at the test of the right to participation (Philippe Billet), Nuclear science, politics and national construction: what remains from Nehru's India in these times of uncertainty? (Berenice Girard); 6 - Working in the nuclear industry. Training and work collectives: Nuclear industry: a workers-less world? (Pierre Fournier), Ambiguity dynamics at NPPs, a pluri-disciplinary approach (Nicolas Lot), Sino-French nuclear engineering curriculums: what kind of innovation configuration? (Richard Marion). This document brings together the French and English abstracts of the different talks

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

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…

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

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...

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....

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.

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.

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.)

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.

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

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

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

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.

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

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

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

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....

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.

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)

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.

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...

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

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

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

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...

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.

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)

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)

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 ...

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

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...

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)

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.

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)

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

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.

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

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.

Despite their changing role, abstracts remain useful in the digital world. Highly beneficial to information professionals and researchers who work and publish in different fields, this book summarizes the most important and up-to-date theory of abstracting, as well as giving advice and examples for the practice of writing different kinds of abstracts. The book discusses the length, the functions and basic structure of abstracts, outlining a new approach to informative and indicative abstracts. The abstractors' personality, their linguistic and non-linguistic knowledge and skills are also discu

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.

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...

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.

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

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...

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

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

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...

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....

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

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

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

""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

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

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)

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…

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

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

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

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...

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.)

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

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

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

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.

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...

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

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

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…

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...

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;…

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.

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

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

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

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

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...

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

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

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

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

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

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

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.

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

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...

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

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. 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.

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.

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 ...

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

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

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

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…

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

. 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...

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

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.

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.

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...

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

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

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

Industry consumes a large share of the worldwide electricity consumption. Disaggregated information about electricity consumption enables better decision-making and feedback tools to optimize electricity consumption. In industrial settings electricity loads consist of a variety of equipment, whic...... consumption for six months, at an industrial site. In this poster abstract we provide initial results for how industrial equipment challenge NILM algorithms. These results thereby open up for evaluating the use of NILM in industrial settings....

The book is a collection of abstracts submitted to the International Nuclear Physics Conference held on August 21-26, 1995 in Beijing, China. The conference is organized by China Institute of Atomic Energy. The main topics of the conference are: relativistic nuclear collisions, mesons and baryons in nuclei, hadron structure and quarks in nuclei, formation and properties of hot nuclei, nuclear reactions at low and intermediate energies, nuclear structure, radioactive nuclear beams, nuclear astrophysics, fundamental interaction and symmetries, applied nuclear physics

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

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...

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

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

(Abstract only) This paper will review the now well-established best practices for conducting high precision exoplanet observing with small telescopes. The paper will also review the AAVSO's activities in promoting these best practices among the amateur astronomer community through training material and online courses, as well as through the establishment of an AAVSO Exoplanet Database. This latter development will be an essential element in supporting followup exoplanet observations for upcoming space telescope missions such as TESS and JWST.

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

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.

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

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.

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...

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/

The National Electromagnetics Meeting has been arranged annually since 1991 in Finland. The purpose of the meeting is to convene the persons working with problems of electromagnetics and to enhance the interaction between different research groups in different disciplines. The eighth meeting was held at the Radiation and Nuclear Safety Authority (STUK) August 27, 1998. The meeting is also the national meeting of the URSI (L'Union Radio-Scientifique Internationals)(Commission B: Fields and Waves) and the IEEE MTT/AP/ED Finland Chapter (Institute of Electrical and Electronics Engineers, Inc.). The report includes the extended abstracts of the presentations given in the National Electromagnetics Meeting at STUK. (orig.)

The First National Congress of Environmental Sciences had a plural participation in the environmental thematic. The public universities and the research institutes of the different states of Mexico submitted papers containing proposals of scientific and technological solutions to the problems of management of hazardous wastes: water and land pollution; new methods of evaluation to pollutants of air and water; protection and conservation of relevant species of the ecology; control of genetic alterations; development and conservation of natural resources, and environmental education. Another part of the abstracts is dedicated to the posters session (Author)

No. 13 of Health Physics Research Abstracts is the continuation of a series of bulletins published by the IAEA since 1967 and which collect reports from Member States on health physics research in progress or just completed. The present issue contains 370 reports received up to March 1987 and covers the following topics: Personnel monitoring, dosimetry, assessment of dose to man, operational radiation protection techniques, radiation levels, effects of radiation, environmental studies, pathways and monitoring, analysis and evaluation of radiation hazards resulting from the operation of nuclear facilities, radiation accidents and emergency preparedness, epidemiology of radiation damage, optimization of radiation protection, research programmes and projects

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr

The publication contains abstracts of 20 contributions, out of which 2 have been inputted in INIS. One describes computed tomography methods employed by the Faculty Hospital in Hradec Kralove for liver angiography by using a contrast medium and for locating small hypervascular pancreatic islet-cell tumors. The other contribution informs about the use of linear accelerators and an afterloading system by the Faculty Hospital in Ceske Budejovice for radiotherapy of tumors of mammary glands, lymphatic nodes, the cervix, and of metastases. (M.D.)

The bibliographies and abstracts of China Nuclear Science and Technology Reports published in 1993 (Report Numbers CNIC-00675∼CNIC-00800) are presented. The items are arranged according to INIS subject categories, which mainly are physical sciences, chemistry, materials, earth sciences, life sciences, isotopes, isotope and radiation applications, engineering and technology, and other aspects of nuclear energy. The numbers on the left corners of the entries are report numbers, and on the right corners the serial numbers. A report number index is annexed

This brochure contains the abstracts of reports delivered by 40 participants at the 13. International Workshop on Nuclear Theory organized by the Nuclear Theory Group in the Institute for Nuclear research and Nuclear Energy of the Bulgarian academy of Sciences. The main topics treated in the lectures were nucleon correlation effects in nuclei, collective nuclear motions, Wigner quantum systems, pre-equilibrium neutron and photon emission from nuclei, particle-nuclei collision processes at high energies, few-body states, optical potential for neutron-nucleus scattering, relativistic generator coordinate calculations and variational nuclear structure calculations. All reports are included in INIS separately

The National Electromagnetics Meeting has been arranged annually since 1991 in Finland. The purpose of the meeting is to convene the persons working with problems of electromagnetics and to enhance the interaction between different research groups in different disciplines. The eighth meeting was held at the Radiation and Nuclear Safety Authority (STUK) August 27, 1998. The meeting is also the national meeting of the URSI (L`Union Radio-Scientifique Internationals)(Commission B: Fields and Waves) and the IEEE MTT/AP/ED Finland Chapter (Institute of Electrical and Electronics Engineers, Inc.). The report includes the extended abstracts of the presentations given in the National Electromagnetics Meeting at STUK. (orig.)

Full Text Available A theoretical model is presented which provides a way to simulate, at a very abstract level, power struggles in the social world. In the model, agents can benefit or harm each other, to varying degrees and with differing levels of influence. The agents interact over time, using the power they have to try to get more of it, while being constrained in their strategic choices by social inertia. The outcomes of the model are probabilistic. More research is needed to determine whether the model has any empirical validity.

Intended for beginning graduate-level courses, this text introduces various aspects of the theory of abstract algebra. The book is also suitable as independent reading for interested students at that level as well as a primary source for a one-semester course that an instructor may supplement to expand to a full year. Author Richard S. Pierce, a Professor of Mathematics at Seattle's University of Washington, places considerable emphasis on applications of the theory and focuses particularly on lattice theory.After a preliminary review of set theory, the treatment presents the basic definitions

In this paper we continue our developments in Hernández and O’Regan (J Funct Anal 261:3457–3481, 2011) on the existence of solutions for abstract neutral differential equations. In particular we extend the results in Hernández and O’Regan (J Funct Anal 261:3457–3481, 2011) for the case of implicit nonlinear neutral equations and we focus on applications to partial “nonlinear” neutral differential equations. Some applications involving partial neutral differential equations are presented.

RPP (Meetings on Particle Physics) annual meetings are aimed at gathering the theoretical particle physicists' community, providing the participants with the opportunity not only to present their research topics, but also to make contact with the latest developments in adjacent fields. RPP-2012 will have a few review talks on topics such as flavors, Higgs bosons, astro-particle physics and cosmology, heavy ions, physics beyond the standard model, and quantum chromodynamics. This document gathers the slides of the presentations, a few presentations are accompanied by an abstract.

The book is a collection of abstracts submitted to the International Nuclear Physics Conference held in August 21-26 1995 in Beijing, China. The conference is organized by China Institute of Atomic Energy. The main topics of the conference are: relativistic nuclear collisions, mesons and baryons in nuclei, hadron structure and quarks in nuclei, formation and properties of hot nuclei, nuclear reactions at low and intermediate energies, nuclear structure, radioactive nuclear beams, nuclear astrophysics, fundamental interaction and symmetries, applied nuclear physics. This second part contains papers about nuclear reactions at low and intermediate energies, nuclear structure, radioactive nuclear beams, nuclear astrophysics, fundamental interaction and symmetries, applied nuclear physics, and the author index

This book presents new accurate and efficient exponentially convergent methods for abstract differential equations with unbounded operator coefficients in Banach space. These methods are highly relevant for the practical scientific computing since the equations under consideration can be seen as the meta-models of systems of ordinary differential equations (ODE) as well as the partial differential equations (PDEs) describing various applied problems. The framework of functional analysis allows one to obtain very general but at the same time transparent algorithms and mathematical results which

The No. 12 of Health Physics Research Abstracts is the continuation of a series of Bulletins published by the IAEA since 1967 and which collect reports from Member States on Health Physics research in progress or just completed. The present issue contains 386 reports received up to December 1984 and covering the following topics: personnel monitoring, dosimetry, assessment of dose to man, operational radiation protection techniques, biological effects of radiations, environmental studies, pathways and monitoring, radiation hazards resulting from the operation of nuclear facilities, radiation accidents and emergency plans, epidemiology of radiation damage, optimization of radiation protection, research programs and projects

The bibliographies and abstracts of China Nuclear Science and Technology Reports published in 1993 (Report Numbers CNIC-00675{approx}CNIC-00800) are presented. The items are arranged according to INIS subject categories, which mainly are physical sciences, chemistry, materials, earth sciences, life sciences, isotopes, isotope and radiation applications, engineering and technology, and other aspects of nuclear energy. The numbers on the left corners of the entries are report numbers, and on the right corners the serial numbers. A report number index is annexed.

The publication contains abstracts of 20 contributions, out of which 2 have been inputted in INIS. One describes computed tomography methods employed by the Faculty Hospital in Hradec Kralove for liver angiography by using a contrast medium and for locating small hypervascular pancreatic islet-cell tumors. The other contribution informs about the use of linear accelerators and an afterloading system by the Faculty Hospital in Ceske Budejovice for radiotherapy of tumors of mammary glands, lymphatic nodes, the cervix, and of metastases. (M.D.).

The purpose of this analysis/model report (AMR) is to select and/or abstract conservative degradation models for DOE-(US. Department of Energy) owned spent nuclear fuel (DSNF) and the immobilized ceramic plutonium (Pu) disposition waste forms for application in the proposed monitored geologic repository (MGR) postclosure Total System Performance Assessment (TSPA). Application of the degradation models abstracted herein for purposes other than TSPA should take into consideration the fact that they are, in general, very conservative. Using these models, the forward reaction rate for the mobilization of radionuclides, as solutes or colloids, away from the waste fondwater interface by contact with repository groundwater can then be calculated. This forward reaction rate generally consists of the dissolution reaction at the surface of spent nuclear fuel (SNF) in contact with water, but the degradation models, in some cases, may also include and account for the physical disintegration of the SNF matrix. The models do not, however, account for retardation, precipitation, or inhibition of the migration of the mobilized radionuclides in the engineered barrier system (EBS). These models are based on the assumption that all components of the DSNF waste form are released congruently with the degradation of the matrix

The purpose of this analysis/model report (AMR) is to select and/or abstract conservative degradation models for DOE-(US. Department of Energy) owned spent nuclear fuel (DSNF) and the immobilized ceramic plutonium (Pu) disposition waste forms for application in the proposed monitored geologic repository (MGR) postclosure Total System Performance Assessment (TSPA). Application of the degradation models abstracted herein for purposes other than TSPA should take into consideration the fact that they are, in general, very conservative. Using these models, the forward reaction rate for the mobilization of radionuclides, as solutes or colloids, away from the waste fondwater interface by contact with repository groundwater can then be calculated. This forward reaction rate generally consists of the dissolution reaction at the surface of spent nuclear fuel (SNF) in contact with water, but the degradation models, in some cases, may also include and account for the physical disintegration of the SNF matrix. The models do not, however, account for retardation, precipitation, or inhibition of the migration of the mobilized radionuclides in the engineered barrier system (EBS). These models are based on the assumption that all components of the DSNF waste form are released congruently with the degradation of the matrix.

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.

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.

As directed by a written development plan (CRWMS M and O 1999a), Task 1, an overall conceptualization of the physical and chemical environment (P/CE) in the emplacement drift is documented in this Analysis/Model Report (AMR). Included are the physical components of the engineered barrier system (EBS). The intended use of this descriptive conceptualization is to assist the Performance Assessment Department (PAD) in modeling the physical and chemical environment within a repository drift. It is also intended to assist PAD in providing a more integrated and complete in-drift geochemical model abstraction and to answer the key technical issues raised in the U.S. Nuclear Regulatory Commission (NRC) Issue Resolution Status Report (IRSR) for the Evolution of the Near-Field Environment (NFE) Revision 2 (NRC 1999). EBS-related features, events, and processes (FEPs) have been assembled and discussed in ''EBS FEPs/Degradation Modes Abstraction'' (CRWMS M and O 2000a). Reference AMRs listed in Section 6 address FEPs that have not been screened out. This conceptualization does not directly address those FEPs. Additional tasks described in the written development plan are recommended for future work in Section 7.3. To achieve the stated purpose, the scope of this document includes: (1) the role of in-drift physical and chemical environments in the Total System Performance Assessment (TSPA) (Section 6.1); (2) the configuration of engineered components (features) and critical locations in drifts (Sections 6.2.1 and 6.3, portions taken from EBS Radionuclide Transport Abstraction (CRWMS M and O 2000b)); (3) overview and critical locations of processes that can affect P/CE (Section 6.3); (4) couplings and relationships among features and processes in the drifts (Section 6.4); and (5) identities and uses of parameters transmitted to TSPA by some of the reference AMRs (Section 6.5). This AMR originally considered a design with backfill, and is now being updated (REV 00 ICN1) to address

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

Total System Performance Assessments (TSPAs) are likely to be one of the most significant parts of making safety cases for the continued development and licensing of geologic repositories for the disposal of spent fuel and HLW. Thus, it is critical that the TSPA model capture the 'essence' of the physical processes relevant to demonstrating the appropriate regulation is met. But how much detail about the physical processes must be modeled and understood before there is enough confidence that the appropriate essence has been captured? In this summary the level of model abstraction that is required is discussed. Approaches for subsystem and total system performance analyses are outlined, and the role of best estimate models is examined. It is concluded that a conservative approach for repository performance, based on limited amount of field and laboratory data, can provide sufficient confidence for a regulatory decision

PNST (Programme National Soleil-Terre/Sun-Earth National Program) is dedicated to analysis of the Sun-Earth system, from generation of the solar magnetic field, flares and coronal mass ejections, until impact on the terrestrial magnetosphere, ionosphere and thermosphere. Research activities carried out in the frame of Programme National Soleil-Terre (PNST) rely on both ground-based and space-borne instruments. One of the main objectives of PNST is to stimulate coordinated studies and to optimize scientific return of these instruments. The 2009 PNST prospective colloquium comprised 9 sessions: 1 - Eruptive activity in plasmas; 2 - Particles heating and acceleration; 3 - Energy transfers at different scales and turbulence; 4 - Coupling between the different envelopes; 5 - Sun-Earth relations and space meteorology; 6 - Sun and star prototypes; 7 - Databases, services; 8 - Instrumentation; 9 - Prospective. This document is the book of abstracts of the colloquium

The amazing progresses made in the recent years by the instrumentation in terms of spectral brightness of the X-ray sources (new synchrotron radiation facilities, X-ray Free Electron Lasers etc.), detection schemes (multi-channel analysis due to intensive use of position sensitive detectors, time-resolved techniques etc.) and production sources of clusters (pure and mixed, atomic and molecular clusters) and nano-particles permit nowadays highly accurate spectroscopic studies of more and more complex objects. There were dedicated sessions on the following topics: 1) recent progress in Nano-object's investigations, 2) synchrotron radiation based spectroscopic investigations of clusters and nano-particles, 3) Structure and properties of size-selected clusters, 4) electronic and nuclear decay of clusters, 5) new insights in structure and dynamics of complex species, and 6) clusters and nano-particles and new light sources. This document gathers only the abstracts of the papers

We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce three-dimensional scalar and vector expressions of a very general type to a well defined standard form. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by reduction, subsequently applying these to simplify large expressions. In a companion paper Burby et al. (2013) [12], we employ VEST in the automation of the calculation of high-order Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations.

Mechatronics for automotive applications is an important trend, combining mechanics, electronics and information technology. Micro- and nanomechatronics, particularly innovative research disciplines, will help create, in combination with advanced solutions from microsystem technologies, e.g. the electronic packaging, a range of entirely new developments in automobiles. Under the umbrella of the Automotive Suppliers Fair Z2003, it is happening for the very first time now that a momentous scientific conference, such as the MicroCar 2003, brings together representatives from car manufacturers and the electronics industry, as well as a large number of experts from technical colleges, universities and research institutes to discuss the new potentials and possibilities presented by the use of micro and nanomaterials in Leipzig. With the presentation of 50 papers, speakers will inform about their latest research results as well as current trends in micro and nanotechnologies for automotives. This issue is publishing the abstracts of this scientific event.

The report contains abstracts of 132 case studies of bioremediation technology applied to hazardous waste clean-up. It was prepared to compile bioremediation studies in a variety of locations and treating diverse contaminants, most of which were previously undocumented. All data are based on vendor-supplied information and there was no opportunity to independently confirm its accuracy. These 132 case studies, from 10 different biotechnology companies, provide users with reference information about on-going and/or completed field applications and studies. About two-thirds of the cases were at full-scale clean-up level with the remainder at pilot or laboratory scale. In 74 percent of the cases, soil was at least one of the media treated. Soil alone accounts for 46 percent of the cases. Petroleum-related wastes account for the largest contaminant with 82 cases. Thirty-one states are represented in the case studies

This conference on 'Particle Physics and Cosmology' will emphasize the increasing interplay between high energy accelerator based physics and cosmology. The meeting will be articulated around the results and their impact on current theories from the 3 major new experimental and observational facilities which are coming on line or have recently been commissioned: the Large Hadron Collider at CERN, the Planck satellite, and the Herschel satellite. The topics will include: -) the Standard Model in particle physics, in new data and analyses, -) the search for the Higgs boson, -) theories of and searches for physics beyond the Standard Model, -) heavy flavour physics, -) neutrino physics (astrophysical and laboratory), -) dark matter, dark energy and recent advances in cosmology. This document gathers the program, the slides and some abstracts of the presentations

The Interfacing Microbiology and Biotechnology Conference was attended by over 100 faculty, post-docs, students, and research scientists from the US, Europe, and Latin America. The conference successfully stimulated communication and the dissemination of knowledge among scientists involved in basic and applied research. The focus of the conference was on microbial physiology and genetics and included sessions on C1 metabolism, archaeal metabolism, proteases and chaperones, gene arrays, and metabolic engineering. The meeting provided the setting for in-depth discussions between scientists who are internationally recognized for their research in these fields. The following objectives were met: (1) The promotion of interaction and future collaborative projects among scientists involved in basic and applied research which incorporates microbial physiology, genetics, and biochemistry; (2) the facilitation of communication of new research findings through seminars, posters, and abstracts; (3 ) the stimulation of enthusiasm and education among participants including graduate and undergraduate students.

The present 14th issue is the second of the new series of Waste Management Research Abstracts, which are reappearing after a three-year suspension. The new series appears in a substantially innovated form. Although the objective of the publication is the same as before, namely to collect and disseminate information on research in progress in the field of nuclear waste management, the format for presentation of the information is a new data sheet in a standardized form, access to which will be made possible by different indexes. The 408 research data sheets contained in this issue have been collected during recent months, ending 15 January 1983, and reflect research currently in progress. They were sent by the Governments of twenty-five Member States, by the International Atomic Energy Agency, and by the Commission of the European Communities. Though the information contained in this publication covers a wide range of subjects in various countries, the WMRA should not be interpreted as providing a complete survey of on-going research in IAEA Member States

Planning is the process of formulating a potential course of action. How courses of action (plans) produced by a planning module are represented and how they are used by execution-oriented modules of a complex agent to influence or dictate behavior are critical architectural issues. In contrast to the traditional model of plans as executable programs that dictate precise behaviors, we claim that autonomous agents inhabiting dynamic, unpredictable environments can make better use of plans that only abstractly describe their intended behavior. Such plans only influence or constrain behavior, rather than dictating it. This idea has been discussed in a variety of contexts, but it is seldom incorporated into working complex agents. Experiments involving instantiations of our Adaptive Intelligent Systems architecture in a variety of domains have demonstrated the generality and usefulness of the approach, even with our currently simple plan representation and mechanisms for plan following. The behavioral benefits include (1) robust improvisation of goal-directed behavior in response to dynamic situations, (2) ready exploitation of dynamically acquired knowledge or behavioral capabilities, and (3) adaptation based on dynamic aspects of coordinating diverse behaviors to achieve multiple goals. In addition to these run-time advantages, the approach has useful implications for the design and configuration of agents. Indeed, the core ideas of the approach are natural extensions of fundamental ideas in software engineering.

The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in place to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program is implemented through four interrelated scientific research elements (Biogeochemistry, Biomolecular Science and Engineering, Biotransformation, and Community Dynamics/Microbial Ecology); and through an element called Bioremediation and its Societal Implications and Concerns (BASIC), which addresses societal issues and potential concerns of stakeholders. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2002 by DOE's Office of Biological and Environmental Research (BER). Abstracts of NABIR research projects are provided in this book.

In this study, we examined rats' discrimination learning of the numerical ordering positions of objects. In Experiments 1 and 2, five out of seven rats successfully learned to respond to the third of six identical objects in a row and showed reliable transfer of this discrimination to novel stimuli after being trained with three different training stimuli. In Experiment 3, the three rats from Experiment 2 continued to be trained to respond to the third object in an object array, which included an odd object that needed to be excluded when identifying the target third object. All three rats acquired this selective-counting task of specific stimuli, and two rats showed reliable transfer of this selective-counting performance to test sets of novel stimuli. In Experiment 4, the three rats from Experiment 3 quickly learned to respond to the third stimulus in object rows consisting of either six identical or six different objects. These results offer strong evidence for abstract numerical discrimination learning in rats.

The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in place to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program is implemented through four interrelated scientific research elements (Biogeochemistry, Biomolecular Science and Engineering, Biotransformation, and Community Dynamics/Microbial Ecology); and through an element called Bioremediation and its Societal Implications and Concerns (BASIC), which addresses societal issues and potential concerns of stakeholders. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2002 by DOE's Office of Biological and Environmental Research (BER). Abstracts of NABIR research projects are provided in this book

The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in situ to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program consists of four interrelated Science Elements (Biotransformation, Community Dynamics/Microbial Ecology, Biomolecular Science and Engineering, and Biogeochemistry). The program also has a cross-cutting Assessment Element that supports development of innovative approaches and technologies to support the science elements. An element called Bioremediation and its Societal Implications and Concerns (BASIC) addresses potential societal issues of implementing NABIR scientific findings. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2003 by the Environmental Remediation Sciences Division in DOE's Office of Biological and Environmental Research (BER) in the Office of Science. Abstracts of NABIR research projects are provided in this book.

An extensive program of research in the past 2 decades has focused on the role of modal sensory, motor, and affective brain systems in storing and retrieving concept knowledge. This focus has led in some circles to an underestimation of the need for more abstract, supramodal conceptual representations in semantic cognition. Evidence for supramodal processing comes from neuroimaging work documenting a large, well-defined cortical network that responds to meaningful stimuli regardless of modal content. The nodes in this network correspond to high-level "convergence zones" that receive broadly crossmodal input and presumably process crossmodal conjunctions. It is proposed that highly conjunctive representations are needed for several critical functions, including capturing conceptual similarity structure, enabling thematic associative relationships independent of conceptual similarity, and providing efficient "chunking" of concept representations for a range of higher order tasks that require concepts to be configured as situations. These hypothesized functions account for a wide range of neuroimaging results showing modulation of the supramodal convergence zone network by associative strength, lexicality, familiarity, imageability, frequency, and semantic compositionality. The evidence supports a hierarchical model of knowledge representation in which modal systems provide a mechanism for concept acquisition and serve to ground individual concepts in external reality, whereas broadly conjunctive, supramodal representations play an equally important role in concept association and situation knowledge.

TYPES is a collection of Fortran programs which allow the creation and manipulation of abstract ''data objects'' without the need for a preprocessor. Each data object is assigned a ''type'' as it is created which implies participation in a set of characteristic operations. Available types include scalars, logicals, ordered sets, stacks, queues, sequences, trees, arrays, character strings, block text, histograms, virtual and allocatable memories. A data object may contain integers, reals, or other data objects in any combination. In addition to the type specific operations, a set of universal utilities allows for copying input/output to disk, naming, editing, displaying, user input, interactive creation, tests for equality of contents or structure, machine to machine translation or source code creation for and data object. TYPES is available on VAX/VMS, SUN 3, SPARC, DEC/Ultrix, Silicon Graphics 4D and Cray/Unicos machines. The capabilities of the package are discussed together with characteristic applications and experience in writing the GVerify package

Deploying a complex application on a Cloud-based infrastructure can be a challenging task. In this contribution we present an approach for Cloud-based deployment of applications and its present or future implementation in the framework of several projects, such as “!CHAOS: a cloud of controls” [1], a project funded by MIUR (Italian Ministry of Research and Education) to create a Cloud-based deployment of a control system and data acquisition framework, “INDIGO-DataCloud” [2], an EC H2020 project targeting among other things high-level deployment of applications on hybrid Clouds, and “Open City Platform”[3], an Italian project aiming to provide open Cloud solutions for Italian Public Administrations. We considered to use an orchestration service to hide the complex deployment of the application components, and to build an abstraction layer on top of the orchestration one. Through Heat [4] orchestration service, we prototyped a dynamic, on-demand, scalable platform of software components, based on OpenStack infrastructures. On top of the orchestration service we developed a prototype of a web interface exploiting the Heat APIs. The user can start an instance of the application without having knowledge about the underlying Cloud infrastructure and services. Moreover, the platform instance can be customized by choosing parameters related to the application such as the size of a File System or the number of instances of a NoSQL DB cluster. As soon as the desired platform is running, the web interface offers the possibility to scale some infrastructure components. In this contribution we describe the solution design and implementation, based on the application requirements, the details of the development of both the Heat templates and of the web interface, together with possible exploitation strategies of this work in Cloud data centers.

Full Text Available The key issue of the present paper is clustering of narrow-domain short texts, such as scientific abstracts. The work is based on the observations made when improving the performance of key phrase extraction algorithm. An extended stop-words list was used that was built automatically for the purposes of key phrase extraction and gave the possibility for a considerable quality enhancement of the phrases extracted from scientific publications. A description of the stop- words list creation procedure is given. The main objective is to investigate the possibilities to increase the performance and/or speed of clustering by the above-mentioned list of stop-words as well as information about lexeme parts of speech. In the latter case a vocabulary is applied for the document representation, which contains not all the words that occurred in the collection, but only nouns and adjectives or their sequences encountered in the documents. Two base clustering algorithms are applied: k-means and hierarchical clustering (average agglomerative method. The results show that the use of an extended stop-words list and adjective-noun document representation makes it possible to improve the performance and speed of k-means clustering. In a similar case for average agglomerative method a decline in performance quality may be observed. It is shown that the use of adjective-noun sequences for document representation lowers the clustering quality for both algorithms and can be justified only when a considerable reduction of feature space dimensionality is necessary.

The purpose of this model report is to develop the summary cladding degradation abstraction that will be used in the Total System Performance Assessment for the License Application (TSPA-LA). Most civilian commercial nuclear fuel is encased in Zircaloy cladding. The model addressed in this report is intended to describe the postulated condition of commercial Zircaloy-clad fuel as a function of postclosure time after it is placed in the repository. Earlier total system performance assessments analyzed the waste form as exposed UO 2 , which was available for degradation at the intrinsic dissolution rate. Water in the waste package quickly became saturated with many of the radionuclides, limiting their release rate. In the total system performance assessments for the Viability Assessment and the Site Recommendation, cladding was analyzed as part of the waste form, limiting the amount of fuel available at any time for degradation. The current model is divided into two stages. The first considers predisposal rod failures (most of which occur during reactor operation and associated activities) and postdisposal mechanical failure (from static loading of rocks) as mechanisms for perforating the cladding. Other fuel failure mechanisms including those caused by handling or transportation have been screened out (excluded) or are treated elsewhere. All stainless-steel-clad fuel, which makes up a small percentage of the overall amount of fuel to be stored, is modeled as failed upon placement in the waste packages. The second stage of the degradation model is the splitting of the cladding from the reaction of water or moist air and UO 2 . The splitting has been observed to be rapid in comparison to the total system performance assessment time steps and is modeled to be instantaneous. After the cladding splits, the rind buildup inside the cladding widens the split, increasing the diffusion area from the fuel rind to the waste package interior. This model report summarizes the

Several hundred distinct types of DOE-owned spent nuclear fuel (DSNF) may potentially be disposed in the Yucca Mountain repository. These fuel types represent many more types than can be viably individually examined for their effect on the Total System Performance Assessment for the License Application (TSPA-LA). Additionally, for most of these fuel types, there is no known direct experimental test data for the degradation and dissolution of the waste form in repository groundwaters. The approach used in the TSPA-LA model is, therefore, to assess available information on each of 11 groups of DSNF, and to identify a model that can be used in the TSPA-LA model without differentiating between individual codisposal waste packages containing different DSNF types. The purpose of this report is to examine the available data and information concerning the dissolution kinetics of DSNF matrices for the purpose of abstracting a degradation model suitable for use in describing degradation of the DSNF inventory in the Total System Performance Assessment for the License Application. The data and information and associated degradation models were examined for the following types of DSNF: Group 1--Naval spent nuclear fuel; Group 2--Plutonium/uranium alloy (Fermi 1 SNF); Group 3--Plutonium/uranium carbide (Fast Flux Test Facility-Test Fuel Assembly SNF); Group 4--Mixed oxide and plutonium oxide (Fast Flux Test Facility-Demonstration Fuel Assembly/Fast Flux Test Facility-Test Demonstration Fuel Assembly SNF); Group 5--Thorium/uranium carbide (Fort St. Vrain SNF); Group 6--Thorium/uranium oxide (Shippingport light water breeder reactor SNF); Group 7--Uranium metal (N Reactor SNF); Group 8--Uranium oxide (Three Mile Island-2 core debris); Group 9--Aluminum-based SNF (Foreign Research Reactor SNF); Group 10--Miscellaneous Fuel; and Group 11--Uranium-zirconium hydride (Training Research Isotopes-General Atomics SNF). The analyses contained in this document provide an ''upper-limit'' (i

Several hundred distinct types of DOE-owned spent nuclear fuel (DSNF) may potentially be disposed in the Yucca Mountain repository. These fuel types represent many more types than can be viably individually examined for their effect on the Total System Performance Assessment for the License Application (TSPA-LA). Additionally, for most of these fuel types, there is no known direct experimental test data for the degradation and dissolution of the waste form in repository groundwaters. The approach used in the TSPA-LA model is, therefore, to assess available information on each of 11 groups of DSNF, and to identify a model that can be used in the TSPA-LA model without differentiating between individual codisposal waste packages containing different DSNF types. The purpose of this report is to examine the available data and information concerning the dissolution kinetics of DSNF matrices for the purpose of abstracting a degradation model suitable for use in describing degradation of the DSNF inventory in the Total System Performance Assessment for the License Application. The data and information and associated degradation models were examined for the following types of DSNF: Group 1--Naval spent nuclear fuel; Group 2--Plutonium/uranium alloy (Fermi 1 SNF); Group 3--Plutonium/uranium carbide (Fast Flux Test Facility-Test Fuel Assembly SNF); Group 4--Mixed oxide and plutonium oxide (Fast Flux Test Facility-Demonstration Fuel Assembly/Fast Flux Test Facility-Test Demonstration Fuel Assembly SNF); Group 5--Thorium/uranium carbide (Fort St. Vrain SNF); Group 6--Thorium/uranium oxide (Shippingport light water breeder reactor SNF); Group 7--Uranium metal (N Reactor SNF); Group 8--Uranium oxide (Three Mile Island-2 core debris); Group 9--Aluminum-based SNF (Foreign Research Reactor SNF); Group 10--Miscellaneous Fuel; and Group 11--Uranium-zirconium hydride (Training Research Isotopes-General Atomics SNF). The analyses contained in this document provide an &apos

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.)

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

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.).

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.

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.

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…

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....

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

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...

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...

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

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

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.

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

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…

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…

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...

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…

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....

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;…

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.

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...

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…

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...

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)

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…

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…

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

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...

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.

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.

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/

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

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

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.

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.

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...

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...

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

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

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)

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

This report contains the abstracts and research papers by students on a variety of topics in engineering, genetics, solid state physics, thermonuclear energy, astrophysics, and other science related topics.

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.

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.

Abstract: The Evolution of the Nursing Profession Post Genocide. ... Journal Home > Vol 2, No 2 (2015) > ... In 1997, in collaboration with the MoH, Minister of Education, AMREF Health Africa, and the World Health Organization, health ...

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.

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.

The volume on the 50th annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie includes the abstracts concerning the following issues: infectious central nervous system diseases, neurodegenerations, infarction, petrosal bone pathology, neurointerventions.

Abstracts are given of the total of 137 papers presented at the symposium. The papers discussed radiation dosimetry methods, dosemeters and detectors, the metrology and calibration of radiation sources, calibration standards, and radioactivity monitoring. (J.P.)

This report contains the abstracts and research papers by students on a variety of topics in engineering, genetics, solid state physics, thermonuclear energy, astrophysics, and other science related topics

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.

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

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.

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

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

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 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)

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)

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...

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.

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...

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.

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.

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.

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.

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

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.

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.

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.

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.

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).

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.

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.

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.

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).

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

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.

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.

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.

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....

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.

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

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.

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...

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

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.

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.

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...

- 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...

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.

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

The Workshop was a satellite event of the 14 th International Congress of Radiation Research (ICRR-2011). It was held in Cracow, Poland, on the 2 and 3 September 2011, at the Collegium Novum of the Jagiellonian University. The Workshop organized, jointly by the Institute of Nuclear Physics of the Polish Academy of Sciences and the Polish Radiation Research Society, would provide its participants with an opportunity to discuss current topics in proton and carbon radiotherapy, clinical aspects of ion radiotherapy, ion beam dosimetry, unwanted patient exposure, radiobiology for ion radiotherapy and other relevant subjects. Book of Abstracts contains abstracts of 33 oral presentations and 12 posters.

This preliminary report of research conducted at the Linguistics Documentation Centre of the University of Ottawa describes a bilingual experiment into the elaboration of well structured formulary routines for making the writing of abstracts easier, and at the same time standardizing and generally augmenting the information given in them. The…

system, well grounded in category theory, at the right level of abstraction for the analysis of large and complex reaction networks. An extension of the basic formalism into the realm of integer hyperflows allows for the identification of complex reaction patterns, such as autocatalysis, in large...

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.

The abstracts of information presented in posters during '1st Warsaw School of Statistical Physics' which held in Kazimierz Dolny - Poland are presented. They cover different aspects of statistical processes like diffusion, fluid hydrodynamics as well as modern quantum mechanical methods of their solutions

The publication has been set up as a abstracts of the international conference dealing with separation of ionic solutes. The book consists of the sections: (A) Theory of solutions and processes; (B) Solvent extraction, liquid membranes and biphasic separations; (C) Capillary electrophoresis and isotachophoresis; (D) Selective and natural sorbents; (E) Fractionation of radionuclides and metals in natural systems - transfer and speciation

With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. This book introduces the role Magma plays in advanced mathematical research through 14 case studies which, in most cases, describe computations underpinning theoretical results.

This report contains Part 2 of a two-part report to reflect research and progress in the US Department of Energy Human Genome Program from 1994 through 1996, with specified updates made just before publication. Part 2 consists of 1996 research abstracts. Attention is focused on the following: sequencing; mapping; informatics; ethical, legal, and social issues; infrastructure; and small business innovation research.

The present issue of the journal contains the abstracts of all papers presented at the meeting as well as short descriptions of the posters. The main heading of the oral presentations were: Neurology, cardiology, oncology, nephrology, endocrinology, computers, chemistry, lung, tumors, pediatrics, gastroenterology, therapy, receptor imaging, radiation protection, bone and hematology. (MG)