WorldWideScience

Sample records for chemical abstracts service

  1. New Features in the ADS Abstract Service

    Science.gov (United States)

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

    2004-12-01

    The ADS now provides a search system for close to 4 million records. The data are organized in 4 databases, Astronomy/Planetary Sciences, Physics/Geophysics, Instrumentation, and ArXiv Preprints. The ADS is a NASA funded project and is free to use for everybody world-wide. We have recently extracted a large number of references from article reference lists. We now have over 16 million citing/cited reference pairs. This provides a very comprehensive citation database. During the last year we implemented a full text search system. This allows you to search the full text of all journals that we have scanned. This provides a unique way to find information, especially from the older literature. We recently implemented a customized notification service, called myADS. This service lets you specify several queries that are executed against new entries in the database whenever the database is updated. It also informs about new citations to your articles and new preprints, as well as what other articles are of interest to the users of the ADS. The ADS can be accessed at http://ads.harvard.edu

  2. Abstraction Layer For Development And Deployment Of Cloud Services

    Directory of Open Access Journals (Sweden)

    Binh Minh Nguyen

    2012-01-01

    Full Text Available In this paper, we will present an abstraction layer for cloud computing, which intends to simplify the manipulation with virtual machines in clouds for easy and controlled development and deployment of cloud services. It also ensures interoperability between different cloud infrastructures and allows developers to create cloud appliances easily via inheritance mechanisms.

  3. Book of Abstracts - Managing Forests to Promote Environmental Services

    DEFF Research Database (Denmark)

    -ES II), funded by Nordic Forest Research (SNS) 2011-2015. This is an open network that brings together Nordic and Baltic forest researchers in order to provide scientific knowledge on the impacts of forest management on major environmental services for decision making within the forestry sector......This book includes the abstracts of the oral and poster presentation of the conference ‘Managing Forests to Promote Environmental Services’, 3-5 November 2015, Copenhagen. The conference is arranged by the Centre of Advanced Research on Environmental Services from Nordic Forest Ecosystems (CAR...... and for policy development. Amongst key environmental services provided by the Nordic and Baltic forests are carbon sequestration, water protection, biodiversity, and soil quality. All these environmental services are affected by various types of forest management, and knowledge on how the forest management can...

  4. ABSTRACT

    African Journals Online (AJOL)

    Peters

    ABSTRACT. Many natural gums are employed as suspending agents in the formulation of pharmaceutical suspensions. The search to develop locally available natural gum from apparently a waste product as an alternative suspending agent stimulated the interest in this present study. Cola acuminata gum (CAG) extracted ...

  5. Abstract ~. ,

    African Journals Online (AJOL)

    Abstract ~. ,. A study was conducted to evaluate the extent of water adulteration of milk produced and marketed in. Morogoro municipality in Tanzania. 'A total of 90 milk samples were collec,ted from institutional, private and smallholder fdrms alid milk vendors, The-samples were analysed for lactometer reading.

  6. Abstract

    African Journals Online (AJOL)

    `123456789jkl''''#

    46. An Empirical Survey of Technology Application in Teaching Geography in Nigerian. Secondary Schools. 1Sofowora O. A. and 2Egbedokun A. Abstract. The main ... through stratified sampling techniques based on school types, location, Local Education Area and gender. .... children learn in two-ways, orally and visually.

  7. Abstract

    African Journals Online (AJOL)

    Francis

    Abstract. Aqueous, methanol and chloroform extracts from the leaves of Ficus religiosa, Thespesia populnea and Hibiscus tiliaceus were completely screened for antibacterial and antifungal activity. The chloroform extract of F. religiosa possessed a broad spectrum of antibacterial activity with a zone of inhibition of 10 to 21 ...

  8. abstract

    African Journals Online (AJOL)

    Deterioration of seed quality after harvest may occur as a result of chemical reactions brought ... It is an evidence of spoilage. ... food reserves. Early August may therefore be the best time to collect seeds for storage. Transportation ' ' '. Care should be taken in transporting seeds from the site of collection, in order to ensure.

  9. abstract

    Directory of Open Access Journals (Sweden)

    abstract abstract

    2016-07-01

    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

  10. NASA's Astrophysics Data System: new abstract service and article service features.

    Science.gov (United States)

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

    1997-09-01

    The NASA Astrophysics Data System provides access to about 1 million abstracts and 50,000 journal articles. This service is funded by NASA and is accessible world-wide through the World Wide Web free without restrictions at: http://adswww.harvard.edu The ADS abstract service allows the searching of a database of abstracts. The abstracts can be searched through a sophisticated search engine by author, astronomical object, title, and text. Various logical combinations of the search terms can be selected. Search results can be filtered by journal, publication date, and other criteria. The search returns a list of references with titles, author lists, and scores that indicate how closely the reference matches the query. The returned references also include hyperlinks to other information where available (e.g. abstracts, full journal articles, data tables, electronic on-line publications, references, citations, lists of astronomical objects, etc.) The ADS article service provides access to full journal articles for all major and many smaller journals. We scan the journals that give us permission at a resolution of 600 dpi. The scans can then be retrieved either for viewing on-screen in gif format, or for printing in Postscript or PCL format. We currently have articles back to 1975 on-line. We plan to eventually scan most of the historical astronomical literature as well. We have recently included the preprints from the Los Alamos preprint server. they are available in a separate database through the same search engine as the other abstracts. Preprints are kept on-line for 6 months. The American Astronomical Society has purchased citation information for 100,000 articles from the Institute for Scientific Information (ISI). This allows us to include links to lists of references and citations in our results page for articles in this set. In order to improve access times for non-US users, we are mirroring the abstract service. We currently have mirrors at the CDS in

  11. A Survey of Indexing and Abstracting Services for Water Resources Engineering.

    Science.gov (United States)

    Wellisch, Hans (Hanan)

    This report provides a complete and up-to-date review of the abstracting and indexing services available in water resources engineering. Between 1955 and 1970 the number of services in this field increased from about 20 to 40. This exponential growth or doubling every 15 years suggests that by 1985 there will be 80 abstracting services in…

  12. Eighteenth symposium on biotechnology for fuels and chemicals: Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-12-31

    This volume provides the proceedings for the Eighteenth Symposium on Biotechnology for Fuels and Chemicals held May 5-9, 1996 in Gatlinburg, Tennessee. The proceedings contains abstracts for oral and poster presentations.

  13. Seventeenth symposium on biotechnology for fuels and chemicals. Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-05-01

    This volume contains the abstracts of oral and poster presentations made at the Seventeenth Symposium on Biotechnology for Fuels and Chemicals. Session titles include Thermal, Chemical, and Biological Processing; Applied Biological Research; Bioprocessing Research; Special Topics Discussion Groups; Process Economics and Commercialization; and Environmental Biotechnology.

  14. Twelfth symposium on biotechnology for fuels and chemicals: Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Scheitlin, F.M. (ed.)

    1990-01-01

    This report is the program and abstracts of the twelfth symposium on biotechnology for fuels and chemicals, held on May 7--11, 1990, at Gatlinburg, Tennessee. The symposium, sponsored by the Department of Energy, Oak Ridge National Laboratory, Solar Energy Research Institute, Badger Engineers, Inc., Gas Research Institute, and American Chemical Society, consists of five sessions: Session 1, thermal, chemical, and biological processing; Session 2 and 3, applied biological research; Session 4, bioengineering research; and Session 5, biotechnology, bioengineering, and the solution of environmental problems. It also consists of a poster session of the same five subject categories.

  15. Abstract Platform and Transformations for Model-Driven Service-Oriented Development

    NARCIS (Netherlands)

    Andrade Almeida, João; Ferreira Pires, Luis; van Sinderen, Marten J.

    In this paper, we discuss the use of abstract platforms and transformation for designing applications according to the principles of the service-oriented architecture. We illustrate our approach by discussing the use of the service discovery pattern at a platform-independent design level. We show

  16. An Abstract Interaction Concept for Designing Interaction Behaviour of Service Compositions

    NARCIS (Netherlands)

    Dirgahayu, T.; Quartel, Dick; van Sinderen, Marten J.; Mertins, Kai; Ruggaber, Rainer; Popplewell, Keith; Xu, Xiaofei

    2008-01-01

    In a service composition, interaction behaviour specifies an information exchange protocol that must be complied with in order to guarantee interoperability between services. Interaction behaviour can be designed using a top-down design approach utilising high abstraction levels to control its

  17. 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services

    OpenAIRE

    Hull, Richard; Thiemann, Peter; Wadler, Philip

    2007-01-01

    From 28.01. to 02.02.2007, the Dagstuhl Seminar 07051 ``Programming Paradigms for the Web: Web Programming and Web Services'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The firs...

  18. An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services

    Directory of Open Access Journals (Sweden)

    Shahin Mehdipour Ataee

    2018-01-01

    Full Text Available We identify significant weaknesses in the original Abstract State Machine (ASM based choreography algorithm of Web Service Modeling Ontology (WSMO, which make it impractical for use in semantic web service choreography engines. We present an improved algorithm which rectifies the weaknesses of the original algorithm, as well as a practical, fully functional choreography engine implementation in Flora-2 based on the improved algorithm. Our improvements to the choreography algorithm include (i the linking of the initial state of the ASM to the precondition of the goal, (ii the introduction of the concept of a final state in the execution of the ASM and its linking to the postcondition of the goal, and (iii modification to the execution of the ASM so that it stops when the final state condition is satisfied by the current configuration of the machine. Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic. Furthermore, we prove the equivalence of ASMs (evolving algebras and evolving ontologies in the sense that one can simulate the other, a first in literature. Finally, we present a visual editor which facilitates the design and deployment of our F-logic based web service and goal specifications.

  19. Fifteenth symposium on biotechnology for fuels and chemicals: Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1993-07-01

    This collection contains 173 abstracts from presented papers and poster sessions. The five sessions of the conference were on the subjects of: (1) Thermal, Chemical, and Biological Processing, (2) Applied Biological Research, (3) Bioprocessing Research (4), Process Economics and Commercialization, and (5) Environmental Biotechnology. Examples of specific topics in the first session include the kinetics of ripening cheese, microbial liquefaction of lignite, and wheat as a feedstock for fuel ethanol. Typical topics in the second session were synergism studies of bacterial and fungal celluloses, conversion of inulin from jerusalem artichokes to sorbitol and ethanol by saccharomyces cerevisiae, and microbial conversion of high rank coals to methane. The third session entertained topics such as hydrodynamic modeling of a liquid fluidized bed bioreactor for coal biosolubilization, aqueous biphasic systems for biological particle partitioning, and arabinose utilization by xylose-fermenting yeast and fungi. The fourth session included such topics as silage processing of forage biomass to alcohol fuels, economics of molasses to ethanol in India, and production of lactic acid from renewable resources. the final session contained papers on such subjects as bioluminescent detection of contaminants in soils, characterization of petroleum contaminated soils in coral atolls in the south Pacific, and landfill management for methane generation and emission control.

  20. Measurement and Improvement of Subject Specialists Performance Searching Chemical Abstracts Online as Available on SDC Search Systems.

    Science.gov (United States)

    Copeland, Richard F.; And Others

    The first phase of a project to design a prompting system to help semi-experienced end users to search Chemical Abstracts online, this study focused on the differences and similarities in the search approaches used by experienced users and those with less expertise. Four online searches on topics solicited from chemistry professors in small…

  1. 20170313 - Mining Human Biomonitoring Data to Identify Prevalent Chemical Mixtures (SOT abstract)

    Science.gov (United States)

    Through food, water, air, and consumer products, humans are exposed to tens of thousands of environmental chemicals, and most of these have not been evaluated to determine their potential toxicities. In recent years, high-throughput screening (HTS) methods have been developed tha...

  2. Towards a model of services based on co-creation, abstraction and restriction

    OpenAIRE

    Bergholtz, Maria; Johannesson, Paul; Andersson, Birger

    2011-01-01

    The term service is today defined and used in a multitude of ways, and there is no usage characteristic that is common for all of these ways. As a consequence natural language terms used for describing services are ambiguous and often confusing. The lack of a common agreed upon definition of the term makes it difficult to understand and classify services as well as distinguish them from non-service concepts. In this paper, we do not propose a new definition of service but a model of services ...

  3. Demo Abstract: Service Oriented Wireless Sensor Networks - A Cluster-based Approach

    NARCIS (Netherlands)

    Marin Perianu, Raluca; Scholten, Johan; Havinga, Paul J.M.

    In this paper we demonstrate a service-oriented solution for heterogeneous WSNs. The main operations are service discovery and service usage. Our solution is integrated with mobile platforms (smartphones and PDAs), that act as gateways to the GSM network and the Internet.

  4. UniversAAL - universAAL execution environment, installation packages, hardware abstraction layer, generic platform services / AAL platform services and ontology artefacts

    OpenAIRE

    Girolami, Michele; Furfari, Francesco; Stockl?w, Carsten; Owda, Zaher

    2012-01-01

    This document corresponds to deliverable D2.1 of type "Prototype". It provides a report about software development within Task 2.1 "Create the universAAL Execution Environment and Hardware Abstraction Layer" and Task 2.2 "Implement universAAL Generic Platform Services, AAL Platform services and ontologies support". The requirements and the scope of D2.1 are equivalent to those defined among the following three expert groups: Middleware, Local Device Discovery and Integration (LDDI), and Secur...

  5. Assessment of the potential quality of preservative-treated pilings removed from service : [abstract

    Science.gov (United States)

    Xiping Wang; John W. Forsman; John R. Erickson; Robert J. Ross; Douglas J. Gardner; Gary D. McGinnis; Rodney C. DeGroot

    1999-01-01

    Preservative-treated wood products are important construction materials. Preservative-treated wood pilings, after removal from service, constitute a major disposal problem for managers of waterfront facilities. For example, approximately 7,000 to 8,000 tons of mechanically or biologically deteriorated wood pilings are currently removed from U.S. naval facilities...

  6. CAS (CHEMICAL ABSTRACTS SOCIETY) PARAMETER CODES and Other Data from FIXED STATIONS and Other Platforms from 19890801 to 19891130 (NODC Accession 9700156)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — Tissue, sediment, and Chemical Abstracts Society (CAS) parameter codes were collected from Columbia River Basin and other locations from 01 August 1989 to 30...

  7. CAS (CHEMICAL ABSTRACTS SOCIETY) PARAMETER CODES and Other Data from MULTIPLE SHIPS From Caribbean Sea and Others from 19790205 to 19890503 (NCEI Accession 9100017)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — The accession contains Chemical Abstracts Society (CAS) parameter codes and Other Data from MULTIPLE SHIPS From Caribbean Sea and Gulf of Mexico from February 5,...

  8. 78 FR 20101 - Access to Confidential Business Information by Chemical Abstract Services

    Science.gov (United States)

    2013-04-03

    ... about April 1, 2013. FOR FURTHER INFORMATION CONTACT: For technical information contact: Scott Sherlock... number: (202) 564-8251; email address: sherlock[email protected] . For general information contact: Colby...

  9. Nigerian Journal of Chemical Research

    African Journals Online (AJOL)

    The Nigerian Journal of Chemical Research is now abstracted by Chemical Abstract Service (CAS). The journal's target is to communicate annually results of researchers in the broad areas of Chemistry, namely Analyitcal; Inorganic; Organic; Physical and other subdivisions of Chemistry.

  10. A PhD abstract presentation on Cluster Framework for Internet of People, Things and Services (IoPTS)

    DEFF Research Database (Denmark)

    Shinde, Gitanjali; Olesen, Henning

    2014-01-01

    The Internet of Things (IoT) is a revolutionary technology, where devices around us are capable of sensing, reacting, responding and working autonomously to provide services to the users /people, e.g. smart homes, enterprise, utilities and e-Health. In the IoT paradigm, every device will be conne......The Internet of Things (IoT) is a revolutionary technology, where devices around us are capable of sensing, reacting, responding and working autonomously to provide services to the users /people, e.g. smart homes, enterprise, utilities and e-Health. In the IoT paradigm, every device...... will be connected to the Internet to provide services to the user. Bringing this together makes it relevant to talk about the "Internet of People, Things and Services (IoPTS)."However, managing such a huge number of devices is a major challenge for IoPTS. In any given context, a number of devices will work together...... announce their services to those who need them. Users can access these services with the help of widely interconnected devices. To access the services user has to provide some personal data. In IoPTS services are large in numbers, and to protect the user data there is a need to ensure that these services...

  11. Chemical Kinetics of Hydrogen Atom Abstraction from Allylic Sites by3O2; Implications for Combustion Modeling and Simulation.

    Science.gov (United States)

    Zhou, Chong-Wen; Simmie, John M; Somers, Kieran P; Goldsmith, C Franklin; Curran, Henry J

    2017-03-09

    Hydrogen atom abstraction from allylic C-H bonds by molecular oxygen plays a very important role in determining the reactivity of fuel molecules having allylic hydrogen atoms. Rate constants for hydrogen atom abstraction by molecular oxygen from molecules with allylic sites have been calculated. A series of molecules with primary, secondary, tertiary, and super secondary allylic hydrogen atoms of alkene, furan, and alkylbenzene families are taken into consideration. Those molecules include propene, 2-butene, isobutene, 2-methylfuran, and toluene containing the primary allylic hydrogen atom; 1-butene, 1-pentene, 2-ethylfuran, ethylbenzene, and n-propylbenzene containing the secondary allylic hydrogen atom; 3-methyl-1-butene, 2-isopropylfuran, and isopropylbenzene containing tertiary allylic hydrogen atom; and 1-4-pentadiene containing super allylic secondary hydrogen atoms. The M06-2X/6-311++G(d,p) level of theory was used to optimize the geometries of all of the reactants, transition states, products and also the hinder rotation treatments for lower frequency modes. The G4 level of theory was used to calculate the electronic single point energies for those species to determine the 0 K barriers to reaction. Conventional transition state theory with Eckart tunnelling corrections was used to calculate the rate constants. The comparison between our calculated rate constants with the available experimental results from the literature shows good agreement for the reactions of propene and isobutene with molecular oxygen. The rate constant for toluene with O 2 is about an order magnitude slower than that experimentally derived from a comprehensive model proposed by Oehlschlaeger and coauthors. The results clearly indicate the need for a more detailed investigation of the combustion kinetics of toluene oxidation and its key pyrolysis and oxidation intermediates. Despite this, our computed barriers and rate constants retain an important internal consistency. Rate constants

  12. CHEMICALS

    CERN Multimedia

    Medical Service

    2002-01-01

    It is reminded that all persons who use chemicals must inform CERN's Chemistry Service (TIS-GS-GC) and the CERN Medical Service (TIS-ME). Information concerning their toxicity or other hazards as well as the necessary individual and collective protection measures will be provided by these two services. Users must be in possession of a material safety data sheet (MSDS) for each chemical used. These can be obtained by one of several means : the manufacturer of the chemical (legally obliged to supply an MSDS for each chemical delivered) ; CERN's Chemistry Service of the General Safety Group of TIS ; for chemicals and gases available in the CERN Stores the MSDS has been made available via EDH either in pdf format or else via a link to the supplier's web site. Training courses in chemical safety are available for registration via HR-TD. CERN Medical Service : TIS-ME :73186 or service.medical@cern.ch Chemistry Service : TIS-GS-GC : 78546

  13. Abstract algebra

    CERN Document Server

    Deskins, W E

    1996-01-01

    This excellent textbook provides undergraduates with an accessible introduction to the basic concepts of abstract algebra and to the analysis of abstract algebraic systems. These systems, which consist of sets of elements, operations, and relations among the elements, and prescriptive axioms, are abstractions and generalizations of various models which evolved from efforts to explain or discuss physical phenomena.In Chapter 1, the author discusses the essential ingredients of a mathematical system, and in the next four chapters covers the basic number systems, decompositions of integers, diop

  14. The Forest Service, Rocky Mountain Research Station's Southwestern Borderlands Ecosystem Management Project: building on ten years of success [Abstract

    Science.gov (United States)

    Gerald J. Gottfried; Carleton B. Edminster

    2005-01-01

    The USDA Forest Service initiated the Southwestern Borderlands Ecosystem Management Project in 1994. The Project concentrates on the unique, relatively unfragmented landscape of exceptional biological diversity in southeastern Arizona and southwestern New Mexico. Its mission is to: "Contribute to the scientific basis for developing and implementing a comprehensive...

  15. Toward the Development of a Fundamentally Based Chemical Model for Cyclopentanone: High-Pressure-Limit Rate Constants for H Atom Abstraction and Fuel Radical Decomposition.

    Science.gov (United States)

    Zhou, Chong-Wen; Simmie, John M; Pitz, William J; Curran, Henry J

    2016-09-15

    Theoretical aspects of the development of a chemical kinetic model for the pyrolysis and combustion of a cyclic ketone, cyclopentanone, are considered. Calculated thermodynamic and kinetic data are presented for the first time for the principal species including 2- and 3-oxo-cyclopentyl radicals, which are in reasonable agreement with the literature. These radicals can be formed via H atom abstraction reactions by Ḣ and Ö atoms and ȮH, HȮ2, and ĊH3 radicals, the rate constants of which have been calculated. Abstraction from the β-hydrogen atom is the dominant process when ȮH is involved, but the reverse holds true for HȮ2 radicals. The subsequent β-scission of the radicals formed is also determined, and it is shown that recent tunable VUV photoionization mass spectrometry experiments can be interpreted in this light. The bulk of the calculations used the composite model chemistry G4, which was benchmarked in the simplest case with a coupled cluster treatment, CCSD(T), in the complete basis set limit.

  16. A framework for predicting impacts on ecosystem services from (sub)organismal responses to chemicals

    Science.gov (United States)

    Valery E. Forbes; Chris J. Salice; Bjorn Birnir; Randy J.F. Bruins; Peter Calow; Virginie Ducrot; Nika Galic; Kristina Garber; Bret C. Harvey; Henriette Jager; Andrew Kanarek; Robert Pastorok; Steve F. Railsback; Richard Rebarber; Pernille Thorbek

    2017-01-01

    Protection of ecosystem services is increasingly emphasized as a risk-assessment goal, but there are wide gaps between current ecological risk-assessment endpoints and potential effects on services provided by ecosystems. The authors present a framework that links common ecotoxicological endpoints to chemical impacts on populations and communities and the ecosystem...

  17. Argumentation Practices in Classroom: Pre-Service Teachers' Conceptual Understanding of Chemical Equilibrium

    Science.gov (United States)

    Kaya, Ebru

    2013-01-01

    This study examines the impact of argumentation practices on pre-service teachers' understanding of chemical equilibrium. The sample consisted of 100 pre-service teachers in two classes of a public university. One of these classes was assigned as experimental and the other as control group, randomly. In the experimental group, the subject of…

  18. International abstracting and indexing services

    African Journals Online (AJOL)

    African Index Medicus - In order to give access to information published in or related to Africa and to encourage local publishing, the World Health Organization, in collaboration with the Association for Health Information and Libraries in Africa (AHILA), has produced an international index to African health literature and ...

  19. Fertilizer/Chemical Sales and Service Worker. Ohio's Competency Analysis Profile.

    Science.gov (United States)

    Ohio State Univ., Columbus. Vocational Instructional Materials Lab.

    This Ohio Competency Analysis Profile (OCAP), derived from a modified Developing a Curriculum (DACUM) process, is a current comprehensive and verified employer competency program list for fertilizer/chemical sales and service workers. Each unit (with or without subunits) contains competencies and competency builders that identify the occupational,…

  20. Exploring the Impact of Argumentation on Pre-Service Science Teachers' Conceptual Understanding of Chemical Equilibrium

    Science.gov (United States)

    Aydeniz, Mehmet; Dogan, Alev

    2016-01-01

    This study examines the impact of argumentation on pre-service science teachers' (PST) conceptual understanding of chemical equilibrium. The sample consisted of 57 first-year PSTs enrolled in a teacher education program in Turkey. Thirty two of the 57 PSTs who participated in this study were in the experimental group and 25 in the control group.…

  1. CHEMICAL INTERACTIONS TO CLEANUP HIGHLY POLLUTED AUTOMOBILE SERVICE STATION WASTEWATER BY BIOADSORPTION-COAGULATION-FLOCCULATION

    Directory of Open Access Journals (Sweden)

    Carlos Banchon

    2017-01-01

    Full Text Available The present study addresses an ecofriendly solution to treat automobile service stations effluents with high concentrations of oily substances, surfactants, organic matter and heavy metals. Bioadsorption using sawdust from pine trees, sugar cane bagasse and coconut coir without any chemical modification removed colloidal contamination up to 70%. Polyaluminium chloride, ferric chloride and polyacrylamide were applied to remove dissolved and colloidal pollutants under saline conditions without change of initial pH. Both bioadsorption and coagulation-flocculation removed up to 97.8% of BOD, COD, surfactants and heavy metals at a saline concentration of 1.5% NaCl. The increase of ionic strength promoted a high sludge index and a representative cost saving in chemicals consumption of almost 70%. High levels of pollution removal with the minimal use of chemicals is herein presented.

  2. A framework for predicting impacts on ecosystem services from (sub)organismal responses to chemicals.

    Science.gov (United States)

    Forbes, Valery E; Salice, Chris J; Birnir, Bjorn; Bruins, Randy J F; Calow, Peter; Ducrot, Virginie; Galic, Nika; Garber, Kristina; Harvey, Bret C; Jager, Henriette; Kanarek, Andrew; Pastorok, Robert; Railsback, Steve F; Rebarber, Richard; Thorbek, Pernille

    2017-04-01

    Protection of ecosystem services is increasingly emphasized as a risk-assessment goal, but there are wide gaps between current ecological risk-assessment endpoints and potential effects on services provided by ecosystems. The authors present a framework that links common ecotoxicological endpoints to chemical impacts on populations and communities and the ecosystem services that they provide. This framework builds on considerable advances in mechanistic effects models designed to span multiple levels of biological organization and account for various types of biological interactions and feedbacks. For illustration, the authors introduce 2 case studies that employ well-developed and validated mechanistic effects models: the inSTREAM individual-based model for fish populations and the AQUATOX ecosystem model. They also show how dynamic energy budget theory can provide a common currency for interpreting organism-level toxicity. They suggest that a framework based on mechanistic models that predict impacts on ecosystem services resulting from chemical exposure, combined with economic valuation, can provide a useful approach for informing environmental management. The authors highlight the potential benefits of using this framework as well as the challenges that will need to be addressed in future work. Environ Toxicol Chem 2017;36:845-859. © 2017 SETAC. © 2017 SETAC.

  3. Advantages and challenges associated with implementing an ecosystem services approach to ecological risk assessment for chemicals.

    Science.gov (United States)

    Maltby, Lorraine; van den Brink, Paul J; Faber, Jack H; Marshall, Stuart

    2017-10-17

    The ecosystem services (ES) approach is gaining broad interest in regulatory and policy arenas for use in landscape management and ecological risk assessment. It has the potential to bring greater ecological relevance to the setting of environmental protection goals and to the assessment of the ecological risk posed by chemicals. A workshop, organised under the auspices of the Society of Environmental Toxicology and Chemistry Europe, brought together scientific experts from European regulatory authorities, the chemical industry and academia to discuss and evaluate the challenges associated with implementing an ES approach to chemical ecological risk assessment (ERA). Clear advantages of using an ES approach in prospective and retrospective ERA were identified, including: making ERA spatially explicit and of relevance to management decisions (i.e. indicating what ES to protect and where); improving transparency in communicating risks and trade-offs; integrating across multiple stressors, scales, habitats and policies. A number of challenges were also identified including: the potential for increased complexity in assessments; greater data requirements; limitations in linking endpoints derived from current ecotoxicity tests to impacts on ES. In principle, the approach was applicable to all chemical sectors, but the scale of the challenge of applying an ES approach to general chemicals with widespread and dispersive uses leading to broad environmental exposure, was highlighted. There was agreement that ES-based risk assessment should be based on the magnitude of impact rather than on toxicity thresholds. The need for more bioassays/tests with functional endpoints was recognized, as was the role of modelling and the need for ecological production functions to link measurement endpoints to assessment endpoints. Finally, the value of developing environmental scenarios that can be combined with spatial information on exposure, ES delivery and service provider

  4. Use of the ecosystem services concept in ecological risk assessment of chemicals.

    Science.gov (United States)

    Forbes, Valery E; Calow, Peter

    2013-04-01

    The reason for expressing ecological protection goals in terms of ecosystem services is to make a connection between ecosystems and what people get out of them in terms of marketed goods and nonmarketed welfare. Here our focus will be on how the ecosystem services framework is and can be applied to the ecological risk assessment (ERA) of chemicals. We provide 2 contrasting examples of how the ecosystem services framework is currently being applied in regulatory risk assessment, and we discuss the challenges and knowledge gaps that need to be addressed if such a framework is to substantially improve ERAs and their ability to inform management decisions. We make the point that formulating protection goals in terms of ecosystem services only makes sense if they can be used in managing environmental impacts and if they are useful in informing the risk assessments behind these. Ecosystem services can make a contribution to management by connecting ecosystem structure and process to what is valued, and analyzing risk in this context is a way of making risk assessment more policy- and value-relevant. Using an ecosystem services framework to its fullest potential to support ERA will require the successful development of a suite of coupled Valuation Methods, Ecological Production Functions, and Mechanistic Effect Models that will require the establishment of strong multidisciplinary collaborations among ecologists, computer scientists, social scientists, and possibly others. In addition, buy-in from environmental decision makers and other stakeholders will be crucial. Some progress is being made on the research front, and the implementation of new legislation is providing incentives for developing risk assessment outputs that are much more directly related to environmental protection goals than those used currently. Copyright © 2012 SETAC.

  5. From Abstract Art to Abstracted Artists

    Directory of Open Access Journals (Sweden)

    Romi Mikulinsky

    2016-11-01

    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.

  6. Fueling Chemical Engineering Concepts with Biodiesel Production: A Professional Development Experience for High School Pre-Service Teachers

    Science.gov (United States)

    Gupta, Anju

    2015-01-01

    This one-day workshop for pre-service teachers was aimed at implementing a uniquely designed and ready-to-implement chemical engineering curriculum in high school coursework. This educational and professional development opportunity introduced: 1) chemical engineering curriculum and career opportunities, 2) basic industrial processes and flow…

  7. ABSTRACTION OF DRIFT SEEPAGE

    Energy Technology Data Exchange (ETDEWEB)

    Michael L. Wilson

    2001-02-08

    , determining uncertainties in seepage, and providing probability distributions of seepage. These are all discussed in detail in this report. In addition, the work plan calls for evaluation of effects of episodic flow and thermal-hydrologic-chemical alteration of hydrologic properties. As discussed in Section 5, these effects are not addressed in detail in this report because they can be argued to be insignificant. Effects of thermal-mechanical alteration of hydrologic properties are also not addressed in detail in this report because suitable process-model results are not available at this time. If these effects are found to be important, they should be included in the seepage abstraction in a future revision.

  8. PRISMA for Abstracts

    DEFF Research Database (Denmark)

    Beller, Elaine M; Glasziou, Paul P; Altman, Douglas G

    2013-01-01

    Elaine Beller and colleagues from the PRISMA for Abstracts group provide a reporting guidelines for reporting abstracts of systematic reviews in journals and at conferences.......Elaine Beller and colleagues from the PRISMA for Abstracts group provide a reporting guidelines for reporting abstracts of systematic reviews in journals and at conferences....

  9. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

    2010-01-01

    The abstraction and over-approximation of protocols and web services by a set of Horn clauses is a very successful method in practice. It has however limitations for protocols and web services that are based on databases of keys, contracts, or even access rights, where revocation is possible, so...... 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....

  10. The Matthew effect in environmental science publication: a bibliometric analysis of chemical substances in journal articles

    National Research Council Canada - National Science Library

    Grandjean, Philippe; Eriksen, Mette L; Ellegaard, Ole; Wallin, Johan A

    2011-01-01

    .... In a bibliometric analysis, we used SciFinder to extract Chemical Abstract Service (CAS) numbers for chemicals addressed by publications in the 78 major environmental science journals during 2000-2009...

  11. Artificial muscles' enrichment text: Chemical Literacy Profile of pre-service teachers

    Science.gov (United States)

    Hernani, Ulum, Luthfi Lulul; Mudzakir, Ahmad

    2017-08-01

    This research aims to determine the profile of chemical literacy abilities of pre-service teachers based on scientific attitudes and scientific competencies in PISA 2015 through individualized learning by using an artificial muscle context based-enrichment book. This research uses descriptive method, involving 20 of the 90 randomly selected population. This research uses a multiple-choice questions instrument. The result of this research are : 1) in the attitude aspects of interest in science and technology, valuing scientific approaches to inquiry, and environmental awareness, the results obtained respectively for 90%, 80%, and 30%. 2) for scientific competence of apply appropriate scientific knowledge, identify models and representations, make appropriate predictions, and explain the potential implications of scientific knowledge for society, the results obtained respectively for 30%, 50%, 60%, and 55%. 3) For scientific competence of identify the question explored in a given scientific study and distinguish questions that could be investigated scientifically, the results obtained respectively for 30 % and 50%. 4) For scientific competence of transform data from one representation to another and draw appropriate conclusions, the results obtained respectively for 60% and 45%. Based on the results, which need to be developed in pre-service chemistry teachers are environmental awareness, apply appropriate scientific knowledge, identify the question explored in a given scientific study, and draw appropriate conclusions.

  12. Introduction to abstract algebra

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

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

  13. The influence of an intensive in-service workshop on pedagogical content knowledge growth among novice chemical demonstrators

    Science.gov (United States)

    Clermont, Christian P.; Krajcik, Joseph S.; Borko, Hilda

    This study examined the influence of an intensive chemical demonstration workshop on fostering pedagogical content knowledge growth among science teachers identified as novice chemical demonstrators. The two-week summer workshop was designed around four training elements considered important to effective teacher in-servicing: theory, modeling, practice, and feedback. Clinical interviews served to probe various aspects of novice demonstrators' pedagogical content knowledge prior to and after the workshop. The interview protocols were analyzed using the methods of taxonomic, componential, and theme analysis. Differences in pre- and postworkshop clinical interview responses suggested growth in novices' representational and adaptational repertoires for demonstrating fundamental topics in chemistry. This growth was reflected in the increased number of chemical demonstrations and demonstration variations on each of the target chemical concepts that the novice demonstrators discussed after the in-service intervention. Their interview responses also suggested an increased awareness of the complexity of several chemical demonstrations, how these complexities could interfere with learning, and how simplified variations of the chemical demonstrations could promote science concept understanding. The research findings suggest that science teachers' pedagogical content knowledge in chemistry can be enhanced through intensive, short-term in-service programs.

  14. Compilation of Theses Abstracts

    National Research Council Canada - National Science Library

    2005-01-01

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

  15. The first year pre-service teachers' chemical literacy in individual learning case using the fuel cell technology based-chemical enrichment book

    Science.gov (United States)

    Hernani, Saefulloh, Mudzakir, Ahmad

    2017-08-01

    This research aims to analyze chemical literacy ability of pre-service teachers based on PISA 2015 scientific competency. This research used descriptive method. Instrument that used in this research is multiple choice question that built based on scientific competency of PISA 2015. The result is grouping by PISA 2015 competency and mapped by high, medium and low GPA classified. This research involves 19 the first year pre-service teachers of 90 population that randomly chosen. According to the result, chemical literacy ability of pre-service described as follows: 1) 35.5% of sample are able to explain phenomena scientifically. Based on GPA, for high, medium and low GPA group respectively 25.0%, 40.3% and 29.2%; 2) 31.6% of sample are able to evaluate and design scientific enquiry. Based on GPA, for high, medium and low GPA group respectively 16.7%, 35.4% and 31.3%; 3) 31.6% of sample are able to Interpret data and evidence scientifically. Based on GPA, for high, medium and low GPA group respectively 50.0%, 25.0% and 37.5%; For the attitude competency, 68.4% of sample able to showing PISA attitude competency that consist of interest in science, environment awareness and Valuing scientific approaches to enquiry attitude. Based on GPA, for high, medium and low GPA group respectively 77.8%, 63.9% and 75.0%. According to the data, chemical literacy ability of pre-service teachers in average are bellow to 50.0% thereby need to be given special attention while scientific attitude are above to 50.0%.

  16. Completeness of Lyapunov Abstraction

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2013-08-01

    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.

  17. 40 CFR 766.25 - Chemical substances for testing.

    Science.gov (United States)

    2010-07-01

    ... Abstracts Service (CAS) Number and common name. Note: For purposes of guidance only, EPA lists the chemical substances subject to testing under this part in two classes—those known to be manufactured or imported...

  18. Productivity of Services: an Explorative Study in the Electrical and Chemical Engineering Sector

    Directory of Open Access Journals (Sweden)

    Andreas Petz

    2012-11-01

    Full Text Available Knowledge intensive, complex services play a crucial role in the economy and welfare of developed countries. However, service productivity management is not as much investigated as productivity in manufacturing. In this paper a literature based and empirically confirmed approach to a comprehensive description of service productivity is provided. Existing service productivity models are evaluated according to a literature based developed evaluation scheme and the results of 32 semi-structured interviews with service experts from two German companies are presented. The results will lay the foundation for the development of a novel comprehensive service productivity model

  19. Management plan abstract and keyword generator

    Data.gov (United States)

    US Fish and Wildlife Service, Department of the Interior — This fill-in-the-blank Word form will generate abstracts for common management plans including: cropland management, disease contingency, fire management, fishing,...

  20. Productivity of Services: an Explorative Study in the Electrical and Chemical Engineering Sector

    OpenAIRE

    Andreas Petz; Sönke Duckwitz; Christina Schmalz

    2012-01-01

    Knowledge intensive, complex services play a crucial role in the economy and welfare of developed countries. However, service productivity management is not as much investigated as productivity in manufacturing. In this paper a literature based and empirically confirmed approach to a comprehensive description of service productivity is provided. Existing service productivity models are evaluated according to a literature based developed evaluation scheme and the results of 32 semi-structured ...

  1. Mathematical games, abstract games

    CERN Document Server

    Neto, Joao Pedro

    2013-01-01

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

  2. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...... machines to singular, non-axiomatic and diagrammatic machines. That is: Machines which constitute becomings. This presentation gives a survey of the development of the concept of abstract machines in the philosophy of Deleuze and Guatari and the function of these abstract machines in the creation of works...... of art. From Difference and Repetition to Anti-Oedipus, the machines are conceived as binary machines based on the exclusive or inclusive use respectively of the three syntheses: conexa, disjuncta and conjuncta. The machines have a twofold embedment: In the desiring-production and in the social...

  3. Abstracts of contributed papers

    Energy Technology Data Exchange (ETDEWEB)

    1994-08-01

    This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.

  4. Introduction to abstract algebra

    CERN Document Server

    Smith, Jonathan D H

    2008-01-01

    Taking a slightly different approach from similar texts, Introduction to Abstract Algebra presents abstract algebra as the main tool underlying discrete mathematics and the digital world. It helps students fully understand groups, rings, semigroups, and monoids by rigorously building concepts from first principles. A Quick Introduction to Algebra The first three chapters of the book show how functional composition, cycle notation for permutations, and matrix notation for linear functions provide techniques for practical computation. The author also uses equivalence relations to introduc

  5. How chemistry supports cell biology: the chemical toolbox at your service.

    Science.gov (United States)

    Wijdeven, Ruud H; Neefjes, Jacques; Ovaa, Huib

    2014-12-01

    Chemical biology is a young and rapidly developing scientific field. In this field, chemistry is inspired by biology to create various tools to monitor and modulate biochemical and cell biological processes. Chemical contributions such as small-molecule inhibitors and activity-based probes (ABPs) can provide new and unique insights into previously unexplored cellular processes. This review provides an overview of recent breakthroughs in chemical biology that are likely to have a significant impact on cell biology. We also discuss the application of several chemical tools in cell biology research. Copyright © 2014 Elsevier Ltd. All rights reserved.

  6. Writing good abstracts.

    Science.gov (United States)

    Alexandrov, Andrei V; Hennerici, Michael G

    2007-01-01

    Writing an abstract means to extract and summarize (AB - absolutely, STR - straightforward, ACT - actual data presentation and interpretation). Thousands of abstracts are submitted to stroke conferences each year. The following suggestions may improve the chances of your work being selected for presentation, and to communicate results in the most efficient and unambiguous way. TITLE AND STRUCTURE: Make the title dynamic and informative, rather than descriptive. Structure the abstract following the IMRaD (Introduction, Methods, Results and Discussion) principle for your future original paper where background would become Introduction and conclusions would enter Discussion. Select the appropriate category for submission carefully. This determines which experts grade the abstract and the session where your competitors represent their work. If selected appropriately, your abstract is more likely to be graded by peers with similar interests and familiarity with your work or field. Methods should describe the study design and tools of data acquisition shortly, not data. Provide data that answer the research question. Describe most important data with numbers and statistics. Make your point with data, not speculations and opinions. Abbreviations should be avoided and only be used after they have been spelled out or defined. Common mistakes include failure to state the hypothesis, rationale for the study, sample size and conclusions. Highlight the novelty of your work by carefully chosen straightforward wording. Conclusions have to be based on the present study findings. Make sure your abstract is clear, concise and follows all rules. Show your draft to colleagues for critique, and if you are not a native English speaker show it to a person who can improve/correct your text. Remember that accepted abstracts of completed original research should be followed by published original papers - if this is not intended or fails, it may indicate an impaired ability to succeed in

  7. 75 FR 8889 - Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release Reporting

    Science.gov (United States)

    2010-02-26

    ... AGENCY 40 CFR Part 372 RIN 2025-AA27 Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release... toxic chemical release reporting requirements for hydrogen sulfide (Chemical Abstracts Service Number (CAS No.) 7783-06-4). Hydrogen sulfide was added to the EPCRA section 313 list of toxic chemicals in a...

  8. A framework for predicting impacts on ecosystem services from (sub)organismal responses to chemicals

    Science.gov (United States)

    Protection of ecosystem services is increasingly emphasized as a risk-assessment goal, but there are wide gaps between current ecological risk-assessment endpoints and potential effects on services provided by ecosystems. The authors present a framework that links common ecotoxic...

  9. Abstract 1. Introduction

    African Journals Online (AJOL)

    Maseh

    School of Information Sciences, Eldoret,. Kenya. Second affiliation: Research collaborator,. InterPARES Africa, coordinated by the. University of South Africa, Pretoria, South. Africa. Email: jmaseh@gmail.com. Abstract. Increasingly, governments all over the world are adopting e-government by deploying Information and.

  10. Humor, Abstraction, and Disbelief

    Science.gov (United States)

    Hoicka, Elena; Jutsum, Sarah; Gattis, Merideth

    2008-01-01

    We investigated humor as a context for learning about abstraction and disbelief. More specifically, we investigated how parents support humor understanding during book sharing with their toddlers. In Study 1, a corpus analysis revealed that in books aimed at 1- to 2-year-olds, humor is found more often than other forms of doing the wrong thing…

  11. Full Abstraction for HOPLA

    DEFF Research Database (Denmark)

    Nygaard, Mikkel; Winskel, Glynn

    2003-01-01

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

  12. Poster Session- Extended Abstracts

    Science.gov (United States)

    Jack D. Alexander III; Jean Findley; Brenda K. Kury; Jan L. Beyers; Douglas S. Cram; Terrell T. Baker; Jon C. Boren; Carl Edminster; Sue A. Ferguson; Steven McKay; David Nagel; Trent Piepho; Miriam Rorig; Casey Anderson; Jeanne Hoadley; Paulette L. Ford; Mark C. Andersen; Ed L. Fredrickson; Joe Truett; Gary W. Roemer; Brenda K. Kury; Jennifer Vollmer; Christine L. May; Danny C. Lee; James P. Menakis; Robert E. Keane; Zhi-Liang Zhu; Carol Miller; Brett Davis; Katharine Gray; Ken Mix; William P. Kuvlesky Jr.; D. Lynn Drawe; Marcia G. Narog; Roger D. Ottmar; Robert E. Vihnanek; Clinton S. Wright; Timothy E. Paysen; Burton K. Pendleton; Rosemary L. Pendleton; Carleton S. White; John Rogan; Doug Stow; Janet Franklin; Jennifer Miller; Lisa Levien; Chris Fischer; Emma Underwood; Robert Klinger; Peggy Moore; Clinton S. Wright

    2008-01-01

    Titles found within Poster Session-Extended Abstracts include:Assessment of emergency fire rehabilitation of four fires from the 2000 fire season on the Vale, Oregon, BLM district: review of the density sampling materials and methods: p. 329 Growth of regreen, seeded for erosion control, in the...

  13. Abstract Film and Beyond.

    Science.gov (United States)

    Le Grice, Malcolm

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

  14. SPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2015-04-01

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

  15. 2002 NASPSA Conference Abstracts.

    Science.gov (United States)

    Journal of Sport & Exercise Psychology, 2002

    2002-01-01

    Contains abstracts from the 2002 conference of the North American Society for the Psychology of Sport and Physical Activity. The publication is divided into three sections: the preconference workshop, "Effective Teaching Methods in the Classroom;" symposia (motor development, motor learning and control, and sport psychology); and free…

  16. Testing abstract behavioral specifications

    NARCIS (Netherlands)

    P.Y.H. Wong; R. Bubel (Richard); F.S. de Boer (Frank); C.P.T. de Gouw (Stijn); M. Gómez-Zamalloa; R Haehnle; K. Meinke; M.A. Sindhu

    2015-01-01

    htmlabstractWe present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to

  17. The Abstraction Engine

    DEFF Research Database (Denmark)

    Fortescue, Michael David

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

  18. Seismic Consequence Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    M. Gross

    2004-10-25

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

  19. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

    as well as programming, and we describe how this has had an impact on the design of the language. Although Beta supports the definition of high-level concurrency abstractions, the use of these rely on the discipline of the programmer as is the case for Java and other mainstream OO languages. We introduce...

  20. The impact of chemical pollution on biodiversity and ecosystem services: the need for an improved understanding

    Science.gov (United States)

    The Millennium Ecosystem Assessment (2005) provided a framework that acknowledges biodiversity as one key factor for ensuring the continuous supply of ecosystem services, facilitating ecosystem stability and consequently as a critical basis for sustainable development. The close...

  1. Beyond the abstractions?

    DEFF Research Database (Denmark)

    Olesen, Henning Salling

    2006-01-01

    the abstractions by broadening it's scope of interest, by focussing on differences of learners, by age, gender, ethnicity, social experience, and differences in context, by socioeconomic environment, culture etc. Practically, it is argued, this means to embrace the new focus on informal learning and work related......  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...... are set. The ideological discourse of recent policies seems to neglect the fact that history and resources for lifelong learning are different across Europe, and also neglects the multiplicity of adult learners. Instead of refusing the new agendas, however, adult education research should try to dissolve...

  2. Abstract Objects of Verbs

    DEFF Research Database (Denmark)

    2014-01-01

    Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... these objects represent non-objectual entities in contexts from which they are excluded by type restrictions. Thus these objects are "abstract'' in a functional rather than in an ontological sense: they function as representatives of other entities but they are otherwise quite normal objects. Three examples...... of such a representation are considered: the denotations of that-phrases are objects representing propositions, generic noun phrases denote objects standing for sorts, and infinitivals are viewed as denoting objects representing attributes, i.e., the "ordinary'' meanings of verb phrases....

  3. Research Abstracts of 1979.

    Science.gov (United States)

    1979-12-01

    Rat.0 (Abstract #886). a. LEONE’, S. A., YEAGER, J. S., WOODRUFF, L. L. and CLARK, G. S. - ’An In Vitro Evaluation of the Cytotoxicity of Dental...Evaluation of sixteen dyes, with aqueous and ethanol bases, using white and ultraviolet light has been conducted in vitro and in vivo. Naturally...mandibular incisors in 8 adult Rhesus monkeys. Doubled I/8", medium force orthodontic elastics were placed around the teeth and changed every two weeks for

  4. DEGRO 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-06-15

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

  5. SPR 2014. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2014-05-15

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

  6. Towards Composable Concurrency Abstractions

    Directory of Open Access Journals (Sweden)

    Janwillem Swalens

    2014-06-01

    Full Text Available In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but multiple concurrency models that help developers manage concurrency. Large end-user applications are rarely built using just a single concurrency model. Programmers need to manage a responsive UI, deal with file or network I/O, asynchronous workflows, and shared resources. Different concurrency models facilitate different requirements. This raises the issue of how these concurrency models interact, and whether they are composable. After all, combining different concurrency models may lead to subtle bugs or inconsistencies. In this paper, we perform an in-depth study of the concurrency abstractions provided by the Clojure language. We study all pairwise combinations of the abstractions, noting which ones compose without issues, and which do not. We make an attempt to abstract from the specifics of Clojure, identifying the general properties of concurrency models that facilitate or hinder composition.

  7. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    J. Prouty

    2006-07-14

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

  8. Joint Service Chemical and Biological Defense Program: FY 06-07 Overview

    Science.gov (United States)

    2006-01-01

    simulation capabilities, and limited medical research on radioprotectants . Various other radiological and nuclear defense efforts, including such systems...Biological, Radiological and Nuclear (CBRN) threats in both warfighter and homeland security missions. In order to accomplish this mission, the CBDP works...provided implementing procedures for management of the CBDP. The Joint Requirements Office for Chemical, Biological, Radiological and Nuclear defense

  9. Soil ecosystem health and services – Evaluation of ecological indicators susceptible to chemical stressors

    NARCIS (Netherlands)

    Thomsen, M.; Faber, J.H.; Sorensen, P.B.

    2012-01-01

    The paper presents a methodological framework for quantifying soil ecosystem health with special focus on chemical stressors and ecological integrity as determinant for biological productivity of soil ecosystems. Ecological risk assessment is needed to facilitate the assessment of soil health and

  10. IPR 2016. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2016-05-15

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

  11. SPR 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-05-15

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

  12. ESPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2015-05-10

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

  13. Abstract Objects of Verbs

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

    Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... of such a representation are considered: the denotations of that-phrases are objects representing propositions, generic noun phrases denote objects standing for sorts, and infinitivals are viewed as denoting objects representing attributes, i.e., the "ordinary'' meanings of verb phrases....

  14. Advantages and challenges associated with implementing an ecosystem services approach to ecological risk assessment for chemicals

    NARCIS (Netherlands)

    Maltby, Lorraine; Brink, van den Paul J.; Faber, Jack H.; Marshall, Stuart

    2017-01-01

    The ecosystem services (ES) approach is gaining broad interest in regulatory and policy arenas for use in landscape management and ecological risk assessment. It has the potential to bring greater ecological relevance to the setting of environmental protection goals and to the assessment of the

  15. Mathematical Abstraction: Constructing Concept of Parallel Coordinates

    Science.gov (United States)

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

    2017-09-01

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

  16. Building national public health capacity for managing chemical events: A case study of the development of health protection services in the United Kingdom

    OpenAIRE

    Palmer, Stephen; Coleman, Gary

    2013-01-01

    The revised International Health Regulations (2005) require that countries develop plans for chemical threats. In 2012, the World Health Assembly reported that most countries had not yet achieved ?adequate capacity'. We review the evolution of chemical hazards services in the United Kingdom, the result of 15 years of grass-roots pressure and an accumulating weight of chemical incidents that eventually convinced the UK Department of Health of the need for a new national public health function,...

  17. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    J.D. Schreiber

    2005-08-25

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

  18. Factors determining the concentration and chemical composition of particulate matter in the air of selected service facilities

    Directory of Open Access Journals (Sweden)

    Rogula-Kopiec Patrycja

    2018-01-01

    Full Text Available The link between increased morbidity and mortality and increasing concentrations of particulate matter (PM resulted in great attention being paid to the presence and physicochemical properties of PM in closed rooms, where people spends most of their time. The least recognized group of such indoor environments are small service facilities. The aim of this study was to identify factors which determine the concentration, chemical composition and sources of PM in the air of different service facilities: restaurant kitchen, printing office and beauty salon. The average PM concentration measured in the kitchen was 5-fold (PM4, particle fraction ≥ 4 μm and 5.3-fold (TSP, total PM greater than the average concentration of these PM fractions over the same period. During the same measurement period in the printing office and in the beauty salon, the mean PM concentration was 10- and 4-fold (PM4 and 8- and 3-fold (TSP respectively greater than the mean concentration of these PM fractions in outdoor air. In both facilities the main source of PM macro-components, especially organic carbon, were chemicals, which are normally used in such places - solvents, varnishes, paints, etc. The influence of some metals inflow from the outdoor air into indoor environment of those facilities was also recognized.

  19. IEEE conference record -- Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1994-01-01

    This conference covers the following areas: computational plasma physics; vacuum electronic; basic phenomena in fully ionized plasmas; plasma, electron, and ion sources; environmental/energy issues in plasma science; space plasmas; plasma processing; ball lightning/spherical plasma configurations; plasma processing; fast wave devices; magnetic fusion; basic phenomena in partially ionized plasma; dense plasma focus; plasma diagnostics; basic phenomena in weakly ionized gases; fast opening switches; MHD; fast z-pinches and x-ray lasers; intense ion and electron beams; laser-produced plasmas; microwave plasma interactions; EM and ETH launchers; solid state plasmas and switches; intense beam microwaves; and plasmas for lighting. Separate abstracts were prepared for 416 papers in this conference.

  20. Problems in abstract algebra

    CERN Document Server

    Wadsworth, A R

    2017-01-01

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

  1. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

    and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating...... the exploratory phase of a program development process. In some specific niches it is also expected that our approach will benefit professional programmers....... 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...

  2. NSF-RANN trace contaminants abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Copenhaver, E.D.; Harnden, D.S. (eds.)

    1976-10-01

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

  3. In-Package Chemistry Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    P.S. Domski

    2003-07-21

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

  4. Strategies for chemical reaction searching in SciFinder

    Science.gov (United States)

    Ridley

    2000-09-01

    The bibliographic, chemical structure, and chemical reaction databases produced by Chemical Abstracts Service allow a number of possibilities for chemical reaction searching. While these same databases may be searched through the STN network, many end-users find the intuitive software interface SciFinder simpler, but there still are issues to address. Searching may be performed through keywords, chemical structures, or chemical reactions, and the answers may vary with respect to precision and comprehension. Often combinations of search options may be needed to best solve the problem. Retrosynthetic analyses are easily performed in the chemical reaction database and can give unique insights into synthetic alternatives.

  5. Personal Notification Service from the ADS Abstract Service

    Science.gov (United States)

    Eichhorn, Guenther

    2005-04-01

    The ADS provides a search system for over 4 million records. The data are organized in 4 databases, Astronomy/Planetary Sciences, Physics/Geophysics, Instrumentation, and ArXiv Preprints. The ADS is a NASA funded project and is free to use for everybody world-wide. We have recently implemented a new version of the ADS notification system ``myADS.'' This system allows our users to specify, for each of the 4 databases, an author query and two subject matter queries. These queries are executed whenever the databases are updated, and the results are emailed to the user. This system makes it very easy to keep up-to-date with the literature in Astronomy and Physics, as well as the preprint ArXiv. We plan to offer this capability in collaboration with the preprint ArXiv to the users of the preprints, to allow for a more customized notification system for new preprints. The ADS can be accessed at http://ads.harvard.edu

  6. Chemical use

    Data.gov (United States)

    US Fish and Wildlife Service, Department of the Interior — This is a summary of research and activities related to chemical use on Neal Smith National Wildlife Refuge between 1992 and 2009. The chemicals used on the Refuge...

  7. Exoplanets and Multiverses (Abstract)

    Science.gov (United States)

    Trimble, V.

    2016-12-01

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

  8. Judgement of abstract paintings

    Directory of Open Access Journals (Sweden)

    Dakulović Sandra

    2006-01-01

    Full Text Available In two experiments the judgement of twenty one abstract paintings was investigated. In Experiment 1, subjects were asked to make similarity judgements of 210 pairs of paintings on a 7 step bipolar scale (similar-dissimilar. The Multi-dimensional scaling (MDS method was used for data analysis. The distribution of paintings within MDS 2-D space suggested two grouping criteria: colorfullness (e.g. from Klee to Kline and geometrization (e.g. from Vasarely to Kandinsky. In Experiment 2, subjects were asked to judge the same paintings on three factors of the instrument SDF 9 (Marković et al., 2002b: Evaluation, Arousal and Regularity. The purpose of this experiment was to specify the subjective criteria on which the (dissimilarity judgements were based. In the regression analysis the three factors of SDF 9 were defined as predictors, whereas the x and y coordinates of MDS 2-D space were defined as dependent variables. The results have shown that the dimension x was reducible to the Evaluation factor, and dimension y is reducible to the Regularity factor.

  9. Automated Supernova Discovery (Abstract)

    Science.gov (United States)

    Post, R. S.

    2015-12-01

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

  10. Stellar Presentations (Abstract)

    Science.gov (United States)

    Young, D.

    2015-12-01

    (Abstract only) The AAVSO is in the process of expanding its education, outreach and speakers bureau program. powerpoint presentations prepared for specific target audiences such as AAVSO members, educators, students, the general public, and Science Olympiad teams, coaches, event supervisors, and state directors will be available online for members to use. The presentations range from specific and general content relating to stellar evolution and variable stars to specific activities for a workshop environment. A presentation—even with a general topic—that works for high school students will not work for educators, Science Olympiad teams, or the general public. Each audience is unique and requires a different approach. The current environment necessitates presentations that are captivating for a younger generation that is embedded in a highly visual and sound-bite world of social media, twitter and U-Tube, and mobile devices. For educators, presentations and workshops for themselves and their students must support the Next Generation Science Standards (NGSS), the Common Core Content Standards, and the Science Technology, Engineering and Mathematics (STEM) initiative. Current best practices for developing relevant and engaging powerpoint presentations to deliver information to a variety of targeted audiences will be presented along with several examples.

  11. Abstraction of Drift Seepage

    Energy Technology Data Exchange (ETDEWEB)

    J.T. Birkholzer

    2004-11-01

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

  12. Toward a conceptual approach for assessing risks from chemical mixtures and other stressors to coastal ecosystem services

    DEFF Research Database (Denmark)

    Syberg, Kristian; Backhaus, Thomas; Banta, Gary Thomas

    2017-01-01

    , translate impacts into ES units; step F, assess cumulative risk in ES units; step G, rank stressors based on their contribution to adverse effects on ES; and step H, implement regulation and management as appropriate and necessary. Two illustrative case studies (Swedish coastal waters and a coastal lagoon......Growth of human populations and increased human activity, particularly in coastal areas, increase pressure on coastal ecosystems and the ecosystem services (ES) they provide. As a means toward being able to assess the impact of multiple stressors on ES, in the present study we propose an 8-step......, and trade-offs among ES. Lessons learned from the 2 case studies are discussed in relation to environmental risk assessment and management of chemical mixtures....

  13. The Triconnected Abstraction of Process Models

    Science.gov (United States)

    Polyvyanyy, Artem; Smirnov, Sergey; Weske, Mathias

    Companies use business process models to represent their working procedures in order to deploy services to markets, to analyze them, and to improve upon them. Competitive markets necessitate complex procedures, which lead to large process specifications with sophisticated structures. Real world process models can often incorporate hundreds of modeling constructs. While a large degree of detail complicates the comprehension of the processes, it is essential to many analysis tasks. This paper presents a technique to abstract, i.e., to simplify process models. Given a detailed model, we introduce abstraction rules which generalize process fragments in order to bring the model to a higher abstraction level. The approach is suited for the abstraction of large process specifications in order to aid model comprehension as well as decomposing problems of process model analysis. The work is based on process structure trees that have recently been introduced to the field of business process management.

  14. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    Directory of Open Access Journals (Sweden)

    M. G. Koveshnikov

    2015-05-01

    Full Text Available The paper is dedicated to issues of system objects securing (system files and user system or application configuration files against unauthorized access including denial of service attacks. We have suggested the method and developed abstract system virtualization models, which are used toresearch attack scenarios for different virtualization modes. Estimation for system tools virtualization technology effectiveness is given. Suggested technology is based on redirection of access requests to system objects shared among access subjects. Whole and partial system virtualization modes have been modeled. The difference between them is the following: in the whole virtualization mode all copies of access system objects are created whereon subjects’ requests are redirected including corresponding application objects;in the partial virtualization mode corresponding copies are created only for part of a system, for example, only system objects for applications. Alternative solutions effectiveness is valued relating to different attack scenarios. We consider proprietary and approved technical solution which implements system virtualization method for Microsoft Windows OS family. Administrative simplicity and capabilities of correspondingly designed system objects security tools are illustrated on this example. Practical significance of the suggested security method has been confirmed.

  15. 75 FR 19319 - Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release Reporting; Extension of Comment...

    Science.gov (United States)

    2010-04-14

    ... AGENCY 40 CFR Part 372 RIN 2025-AA27 Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release...) section 313 toxic chemical release reporting requirements for hydrogen sulfide (Chemical Abstracts Service... otherwise use hydrogen sulfide. Potentially affected categories and entities may include, but are not...

  16. Grounding abstractness: Abstract concepts and the activation of the mouth

    Directory of Open Access Journals (Sweden)

    Anna M Borghi

    2016-10-01

    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.

  17. Grounding Abstractness: Abstract Concepts and the Activation of the Mouth.

    Science.gov (United States)

    Borghi, Anna M; Zarcone, Edoardo

    2016-01-01

    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.

  18. Abstract shape analysis of RNA.

    Science.gov (United States)

    Janssen, Stefan; Giegerich, Robert

    2014-01-01

    Abstract shape analysis abstract shape analysis is a method to learn more about the complete Boltzmann ensemble of the secondary structures of a single RNA molecule. Abstract shapes classify competing secondary structures into classes that are defined by their arrangement of helices. It allows us to compute, in addition to the structure of minimal free energy, a set of structures that represents relevant and interesting structural alternatives. Furthermore, it allows to compute probabilities of all structures within a shape class. This allows to ensure that our representative subset covers the complete Boltzmann ensemble, except for a portion of negligible probability. This chapter explains the main functions of abstract shape analysis, as implemented in the tool RNA shapes. RNA shapes It reports on some other types of analysis that are based on the abstract shapes idea and shows how you can solve novel problems by creating your own shape abstractions.

  19. Recognition memory for concrete, regular abstract, and diverse abstract pictures.

    Science.gov (United States)

    Bellhouse-King, Mathew W; Standing, Lionel G

    2007-06-01

    Based on previous research by Goldstein and Chance in which poor recognition memory for abstract visual patterns was reported, this study compared recognition memory for pictures of everyday concrete objects, regular abstract stimuli as employed by Goldstein and Chance, and diverse abstract stimuli. A (3) x 2 design (stimulus type x test order) analysis of variance design was used. The subjects (N = 31) first viewed 30 target stimuli, followed by an immediate recognition test in which for 30 paired target and distractor stimuli shown they indicated which one they had seen previously. Concrete pictures were recognized with near perfect accuracy, and above the level for diverse abstract pictures; these in turn were better identified than regular abstract items, on which performance resembled that found by Goldstein and Chance. It is concluded that stimulus discriminability, rather than representational meaningfulness, may be crucial in picture recognition.

  20. SOVIET ABSTRACTS ON POWDER METALLURGY

    Science.gov (United States)

    CERMETS, * POWDER METALLURGY , ABSTRACTS, CERAMIC MATERIALS, HEAT RESISTANT ALLOYS, INDUSTRIAL PRODUCTION, MECHANICAL PROPERTIES, PIEZOELECTRIC CRYSTALS, POLARIZATION, POROUS METALS, POWDER ALLOYS, POWDER METALS, SINTERING.

  1. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    West African Journal of Industrial and Academic Research Vol.9 No.1 December 2013 62. After the design, it was coded using Visual basic 6.0, hyper text markup language (HTML) integrating Microsoft Agent and Microsoft Access at the back end .The general interface of the authoring system is as shown in the figure below.

  2. Abstract

    African Journals Online (AJOL)

    circles are further broken down in the zones, for convenience and effective supervision training and visit. The blocks are made up of many communities with the block extension supervisor resident and controlling all field visits in the block. The Extension Agents (EAs) are resident in the circle, and each circle consist of about ...

  3. abstract

    Directory of Open Access Journals (Sweden)

    . user

    2016-02-01

    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

  4. ABSTRACT

    Directory of Open Access Journals (Sweden)

    Michelle de Stefano Sabino

    2011-12-01

    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.

  5. Abstract

    African Journals Online (AJOL)

    concern include peer counselling and meetings with local community leaders or local cultural representatives. ... Dr Kyriaki Mystakidou is Associate Professor at the Department of Radiology, Areteion Hospital, University of Athens and in charge of the Pain ... and developing new strategies for treatment and prevention.

  6. ABSTRACT

    African Journals Online (AJOL)

    result of traumatic injury to the thoracic duct, the cisterna chyli, or the retroperitoneal lymphatic vessels. We report a case of a 56 year old female with thoracic spine disc prolapses with cord compression. She had chylous leakage following anterior .... or via nasogastric tube. This induces a change in the colour or the fluid ...

  7. Abstract

    African Journals Online (AJOL)

    Getachew

    Keywords: Overbooking, Monte Carlo Simulation, Nelder Mead algorithm, Revenue management, Ethiopian ..... direct search algorithms, namely, the Nelder Mead and Genetic Algorithms were used to solve the .... MatLab codes used to calculate the optimal number of overbooking, expected net revenue, and probability of ...

  8. Abstract

    Indian Academy of Sciences (India)

    18

    -friendly method of preservation and has been extensively studied to extend the shelf-life of food products. For example it has also been used to protect the grain and seeds from insect infestation and microbial contamination during storage ...

  9. ABSTRACT

    African Journals Online (AJOL)

    concluded that financing of these enterprises on gender basis would not significantly improve the contribution of ruminants to farm household net income and loan repayment capacity. It was recommended, among others, that the constraints imposed by factors such as poor marketing and research systems be addressed in ...

  10. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

    ... نوع المؤسسة التي تدعموها. وتتفاقم عواقب انعدام الاستقرار الاقتصادي المُستمر بحجم الدوران الوظيفي غير الاعتيادي للقيادات المكتبية، ولذلك يتطلب هذا الدوران إمدادات...

  11. ABSTRACT

    African Journals Online (AJOL)

    farmers in Ondo Statel Nigeria and its implication for food security. A .... has fertile soils, a tropical climate, abundant land and rain, and a staple diet based on ... domestic productive labour interface by diverting women's labour to care for .... HIV/AIDS thereby limiting their access to information about the deadly disease.

  12. Abstract

    African Journals Online (AJOL)

    Maureen L Chirwa is a Senior Lecturer, University of Malawi, specialising in health management and health systems. ..... and job satisfaction. The HASI-N was inductively derived and measures the stigma experienced and enacted by nurses (Uys et al., 2009). 3. HASI-P (HIV/AIDS Stigma Instrument – People Living With.

  13. abstract

    African Journals Online (AJOL)

    development in Nigeria. Nevertheless, having attempted yo' conceptualize the ' terms cooperatives and rural development, the paper'reveals that attempts by government to mobilize cooperatives to achieve rural development have not worked out. This, the paper attributed to government involvement in cooperatives, role of ...

  14. Abstract

    DEFF Research Database (Denmark)

    Tafdrup, Oliver

    2013-01-01

    Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf......Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf...

  15. abstract

    African Journals Online (AJOL)

    variables associated with technology changes and information needs. it is important to put into perspective the roles of information, communication and institutions activities in removing constraints which impede the acceptance and continued usage of technologies. Part of the solution to the earlier mentioned constraint is ...

  16. ABSTRACT

    African Journals Online (AJOL)

    that trip generation and trip attraction can be significantly season- detenwned. ... recommendations were then made, sequel to highlighting of policy implications of .... It is recommended that bus operator should increase their fleet size yearly to take advantage of the secular rend of growing annual demand for bus travel.

  17. Abstract

    African Journals Online (AJOL)

    From 2008 she has been working as a physician at the Pain Relief and Palliative Care Unit of Areteion Hospital, Department of Athens University Medical. School. .... Organizations of Medical Sciences (CIOMS, 2002): disclosure of all relevant ... to sex, relationship to older persons, and the caregiving arrangement (Shaibu ...

  18. Abstract

    African Journals Online (AJOL)

    Dr Osondu

    2011-10-26

    Oct 26, 2011 ... average travel cost between demand locations and facilities. a) Center problems (minimax problems): ... median problem, minimum travel cost is substituted with distance and waste generation points can then be allocated ... demand distributed in space. Several GIS software packages such as ArcInfo and ...

  19. Abstracts

    National Research Council Canada - National Science Library

    2012-01-01

    ... المكتبات والمعلومات على المستوى العالمي. يتناول المقال ثلاث فترات: الأولى من عام 1947م إلى عام م1977، عندما عملت الإفلا عن قرب مع قسم المكتبات التابع لليونسكو (الذي...

  20. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    forms and be delivered on different platform. (computer, mobile phone and printed document). They usually ... (Manipulative and observant). When learning about things in natural contexts, humans interact with ..... should also be geared towards developing authoring systems that will handle Simulation and Virtual Reality:.

  1. Abstracts

    National Research Council Canada - National Science Library

    2014-01-01

    ... الإنترنت كبديل، الذي يُقدم طرق أرخص وأسرع وأسهل كي تقوم المكتبات بالدعاية لأفضل مُقتنياتها، ولكن ما دور هذه المُجلدات وما مدى نجاحها في أن تكون محتوياتها مؤشرًّا...

  2. ABSTRACT

    African Journals Online (AJOL)

    Dr Obe

    The function of the frame system in a structure is to carry loads (dead, imposed and wind) acting on the structure. The frames ... structure's subsequent behaviour on the sub-base (soil) which is elastic in nature (5) has more to be desired: The paper investigates the ..... Building and Architecture Publisher,. Warsaw, 1996 ...

  3. Abstract

    African Journals Online (AJOL)

    The advances in electronic technology have created opportunities for new ... the necessary knowledge (both practical) on people to enable them survive in a ... Implementing this collaborative e-learning environment on a Linux thin-client ...

  4. Abstract

    African Journals Online (AJOL)

    ­E¢b

    (emotional stability and independence). So, the reviewed literature showed both the prevalence and the non-prevalence of gender differences on entrepreneurship. Methodology. Sampling: This study focused on privately owned pharmaceutical retail outlets that are found in Addis Ababa. According to. Ministry of Health ...

  5. ABSTRACT

    African Journals Online (AJOL)

    BSN

    pods and closed. It has been claimed that milk pn .. :.erved for 1-3 days maintains its original texture. taste and odour. Cowpca is an indigenous crop of Africa where it is eaten as processed dry grain. green pods. and tender green leaves. Co" pea grain has high protein content up to 24 percent. It is a seasonal plant with ...

  6. ABSTRACT

    Indian Academy of Sciences (India)

    During the last three decades or so research on rock art in several parts of the world has assumed great proportions. The study has progressed from the stage of discovery of rock shelters, identification of animals depicted in, animal distribution pattern during the periods of depiction and their extensions in the past ...

  7. ABSTRACT

    African Journals Online (AJOL)

    found that employment and education were the major reasons for rural- urban migration. It was also found that the migration affected various agricultural activities seriously. The study found that with the absence of youths in the area, agriculture labour force is continually costly and this has a negative effect on agricultural ...

  8. Abstracts

    National Research Council Canada - National Science Library

    2017-01-01

    ...، ويستكشف مُتطلبات النساء في هذه المناطق من المعلومات المُتعلقة بالصحة الإنجابية، إن أكثر من800 امرأة تموت كل يوم لأسباب مُتعلقة بالحمل، 99% منهم في الدول النامية، كان...

  9. Abstracts

    National Research Council Canada - National Science Library

    2013-01-01

    ...قتطفات وأد وثيقة الحق في المعلومات في بتسوانا:ًّ Emmanuel Kopang Botlhale Kaelo Molefhe العدد 39 (2013) من مجلة الإفلا المُتخصصة، رقم 3، ص.:204–213 تُناقش هذه...

  10. Abstract

    African Journals Online (AJOL)

    Getachew

    revenue management in the airline industry. The first overbooking model proposed by. Beckmann was a single leg single fare-class problem, which is a very simplified form of the actual overbooking problem that airline faces. His model tries to determine the optimal overbooking level by balancing the spoilage cost (lost ...

  11. Abstract

    African Journals Online (AJOL)

    dell

    work substituting the classroom teacher, students will practice for 8 weeks like that of practicum III. 1.6. Practicum V (Research. Project) (Prac 302) [3 cr. hrs]. This is the last phase of the practicum courses. During this course the student teacher finalizes his or her action research that was started during practicum two. Hence.

  12. Abstract

    Directory of Open Access Journals (Sweden)

    Maria Jose Carvalho de Souza Domingues

    2003-01-01

    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.

  13. Abstracts

    OpenAIRE

    2017-01-01

    Antoine Gaudin. “Fantastique” as a principle of composing: a question of narrative poetics The main goal of this paper is to state precisely the notion of “Fantastique” (as to call Horror Movies) in the theorical sphere, in order to build up a definition of the genre within the field of fiction arts. As an aesthetical category, Fantastique mainly consists in narrative poetics. This paper suggests a definition of the genre as a principle of composing. Keywords: horror movie, genre, narration, ...

  14. Abstract

    African Journals Online (AJOL)

    ATTAMAH C. O

    Climate change has been a major natural challenge facing entrepreneurship in agriculture especially livestock production (Anyadike, 2009), mainly arising from its impact on grassland and productivity. Heat stress suffered by animals will reduce the rate of animal feed intake and result in poor growth performance ...

  15. Abstracts

    National Research Council Canada - National Science Library

    2015-01-01

    ... Pearlstein العدد رقم 41،1 من مجلة الإفلا المُتخصصة: 5-12 لقد أعاقت الشبكات التي تُتيح قواعد بيانات النصوص الكاملة، عملية البحث في المكتبات الأكاديمية والمُشتركة، وقد...

  16. Abstracts

    National Research Council Canada - National Science Library

    2013-01-01

    ...–120 يُلقي هذا المقال نظرة شاملة على مشهد تطور المكتبات في سنغافورة. فقد لعبت مكتبة سنغافورة الوطنية وجامعة سنغافورة الوطنية دورًّا هامًّا في تأسيس المكتبات في هذه...

  17. Abstracts

    National Research Council Canada - National Science Library

    2015-01-01

    ... نقدية بأفكار مُستقبلية: Loriene Roy العدد رقم 41،3 من مجلة الإفلا المُتخصصة: تعرض هذه المُراجعة النقدية خبرات حفظ التراث الثقافي الخاص بالشعوب الأصلية في المكتبات...

  18. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

    ... مجلة الإفلا: المُلخص: تعمل الإدارة الوطنية لدراسة المحيطات والغلاف الجوي (NOAA) والمُنظمة الأوروبية لاستغلال السواتل المُخصصة للأرصاد الجوية (EUMETSAT) في ثلاثة...

  19. Abstract

    Indian Academy of Sciences (India)

    2017-03-10

    Mar 10, 2017 ... Genomic DNA from whole blood was extracted from peripheral blood leukocytes samples taken from patients and controls by standard methods (Gustincich et al. 1991). The rs6457617 and rs13192471 were genotyped with a TaqMan 5' allelic discrimination assay on an Applied Biosystems StepOne™ ...

  20. Abstract

    African Journals Online (AJOL)

    the Hyper Text Markup Language (HTML). This portal enabled the users of the collaborative e-learning environment to have access to the needed tools. 1 6.0 Implementation, Methodology and Updates. After 2X ThinClientOS has booted from the client's hard disk, it obtains the IP address of 2X ThinClientServer from the.

  1. Abstracts

    National Research Council Canada - National Science Library

    2013-01-01

    ... الورقة البحثية كون الحق في المعلومة أحد حقوق الإنسان الأساسية مُتبنية في ذلك منهجًّا قائمًّا على الحقوق. لذا؛ فالحكومات مُلزَمة بإتاحة المعلومات للمواطنين والتوقيع...

  2. Abstract

    African Journals Online (AJOL)

    unique firstlady

    The study hypothesized that the withdrawal of subsidy or increase in the price of Premium motor spirit (P.M.S) ... many substances mainly carbon and hydrogen usually referred to as hydrocarbon. Crude oil often called ... petrol in Nigeria, is used in sparking ignition engines, to dive pleasure cars and transport vehicles.

  3. ABSTRACT

    African Journals Online (AJOL)

    De DARWIN au géographe allemand RATZEL en passant par le zoologiste HEACKEL fondateur de l'Ecologie, il y ... Cette mondialisation qui a débuté au cours des années 80 se distingue par une activité accrue des ... d'origine allemande a même fondé en 1954 la "société par l'étude du système général". Il entendait par ...

  4. ABSTRACT

    African Journals Online (AJOL)

    According to Tindall (1989) the commercial production of vegetables is ... Growing vegetables is an old art in the West African sub region. Joy (1980) .... H. 111 в в. В в в о. 0н m. □^^^^^^^^^. □ щщщв. ^и^ш. □. □. ^^^п. N. (0. «л с га. § 2 £ ф. CL. 4-. (0. Ф га E £ 2. (А je. N га о>. О) со ф о». О. S ф r> со «s ^. E *. □о. O. Ф.

  5. Abstract

    African Journals Online (AJOL)

    UDS-CAPTURED

    difficult financial terrain in rural settings characterized by high covariant risks, missing markets for ... mining sector. This created the need to seek alternatives for the largely rural, non-business public who are also largely rural people, who were unbanked and outside of the commercial/investment banking system.

  6. Abstract models of transfinite reductions

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2010-01-01

    We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between a w...

  7. Abstract concepts in grounded cognition

    NARCIS (Netherlands)

    Lakens, D.|info:eu-repo/dai/nl/298811855

    2010-01-01

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

  8. Abstract algebra structure and application

    CERN Document Server

    Finston, David R

    2014-01-01

    This text seeks to generate interest in abstract algebra by introducing each new structure and topic via a real-world application. The down-to-earth presentation is accessible to a readership with no prior knowledge of abstract algebra. Students are led to algebraic concepts and questions in a natural way through their everyday experiences. Applications include: Identification numbers and modular arithmetic (linear) error-correcting codes, including cyclic codes ruler and compass constructions cryptography symmetry of patterns in the real plane Abstract Algebra: Structure and Application is suitable as a text for a first course on abstract algebra whose main purpose is to generate interest in the subject, or as a supplementary text for more advanced courses. The material paves the way to subsequent courses that further develop the theory of abstract algebra and will appeal to students of mathematics, mathematics education, computer science, and engineering interested in applications of algebraic concepts.

  9. Technical abstracts: Mechanical engineering, 1990

    Energy Technology Data Exchange (ETDEWEB)

    Broesius, J.Y. (comp.)

    1991-03-01

    This document is a compilation of the published, unclassified abstracts produced by mechanical engineers at Lawrence Livermore National Laboratory (LLNL) during the calendar year 1990. Many abstracts summarize work completed and published in report form. These are UCRL-JC series documents, which include the full text of articles to be published in journals and of papers to be presented at meetings, and UCID reports, which are informal documents. Not all UCIDs contain abstracts: short summaries were generated when abstracts were not included. Technical Abstracts also provides descriptions of those documents assigned to the UCRL-MI (miscellaneous) category. These are generally viewgraphs or photographs presented at meetings. An author index is provided at the back of this volume for cross referencing.

  10. Metaphor: bridging embodiment to abstraction

    Science.gov (United States)

    Jamrozik, Anja; McQuire, Marguerite; Cardillo, Eileen R.; Chatterjee, Anjan

    2016-01-01

    Embodied cognition accounts posit that concepts are grounded in our sensory and motor systems. An important challenge for these accounts is explaining how abstract concepts, which do not directly call upon sensory or motor information, can be informed by experience. We propose that metaphor is one important vehicle guiding the development and use of abstract concepts. Metaphors allow us to draw on concrete, familiar domains to acquire and reason about abstract concepts. Additionally, repeated metaphoric use drawing on particular aspects of concrete experience can result in the development of new abstract representations. These abstractions, which are derived from embodied experience but lack much of the sensorimotor information associated with it, can then be flexibly applied to understand new situations. PMID:27294425

  11. Energy partitioning in polyatomic chemical reactions: Quantum state resolved studies of highly exothermic atom abstraction reactions from molecules in the gas phase and at the gas-liquid interface

    Science.gov (United States)

    Zolot, Alexander M.

    This thesis recounts a series of experiments that interrogate the dynamics of elementary chemical reactions using quantum state resolved measurements of gas-phase products. The gas-phase reactions F + HCl → HF + Cl and F + H2O → HF + OH are studied using crossed supersonic jets under single collision conditions. Infrared (IR) laser absorption probes HF product with near shot-noise limited sensitivity and high resolution, capable of resolving rovibrational states and Doppler lineshapes. Both reactions yield inverted vibrational populations. For the HCl reaction, strongly bimodal rotational distributions are observed, suggesting microscopic branching of the reaction mechanism. Alternatively, such structure may result from a quantum-resonance mediated reaction similar to those found in the well-characterized F + HD system. For the H2O reaction, a small, but significant, branching into v = 2 is particularly remarkable because this manifold is accessible only via the additional center of mass collision energy in the crossed jets. Rotationally hyperthermal HF is also observed. Ab initio calculations of the transition state geometry suggest mechanisms for both rotational and vibrational excitation. Exothermic chemical reaction dynamics at the gas-liquid interface have been investigated by colliding a supersonic jet of F atoms with liquid squalane (C30H62), a low vapor pressure hydrocarbon compatible with the high vacuum environment. IR spectroscopy provides absolute HF( v,J) product densities and Doppler resolved velocity component distributions perpendicular to the surface normal. Compared to analogous gas-phase F + hydrocarbon reactions, the liquid surface is a more effective "heat sink," yet vibrationally excited populations reveal incomplete thermal accommodation with the surface. Non-Boltzmann J-state populations and hot Doppler lineshapes that broaden with HF excitation indicate two competing scattering mechanisms: (i) a direct reactive scattering channel

  12. Verification Based on Set-Abstraction Using the AIF Framework

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

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

  13. Biocards and Level of Abstraction

    DEFF Research Database (Denmark)

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

    2015-01-01

    Biocards are formal descriptions of biological phenomena and their underlying functional principles. They are used in bioinspired design to document search results and to communicate the findings for use in the further design process. The present study explored the effect of abstraction level used...... with concrete descriptions. The novelty of found solutions was evaluated by the students by rating novelty of each solution on a scale from 1 to 5. Mean values for abstract descriptions were 0,3 higher than for concrete descriptions indicating that more innovative solutions were found when students used...... biocards with abstract descriptions compared to concrete descriptions. The difference in mean value is significant with a confidence level better than 1%. It seems likely that more abstract descriptions in biocards helps avoiding design fixation in biomimetic design work....

  14. Spatial language and abstract concepts.

    Science.gov (United States)

    Casasanto, Daniel; Bottini, Roberto

    2014-03-01

    What is the relationship between spatial language and abstract concepts? When people talk about abstract things that they can never see or touch, they often use spatial metaphors (e.g., a long vacation, a high price, a close friendship). According to theories of metaphorical mental representation, linguistic metaphors reflect underlying mental metaphors. Yet, behavioral experiments show that this is only one of the possible relationships between spatial metaphors in language and our spatial conceptualizations of abstract domains. In some cases, linguistic metaphors not only reflect speakers' thoughts, they also change those thoughts, such that people who use different linguistic metaphors rely on correspondingly different mental metaphors. Alternatively, spatial metaphors in language may reflect the way people conceptualize an abstract domain in some circumstances, but not in others. Finally, spatial language may reflect the way an abstract domain is typically conceptualized by some people, but not by others. There is no single relationship between spatial language and abstract concepts. Discovering whether (and under what conditions) a linguistic metaphor corresponds to a mental metaphor can illuminate the ways in which our interactions with the physical and social environment shape our mental lives. WIREs Cogn Sci 2014, 5:139-149. doi: 10.1002/wcs.1271 CONFLICT OF INTEREST: The authors have declared no conflicts of interest for this article. For further resources related to this article, please visit the WIREs website. © 2013 John Wiley & Sons, Ltd.

  15. Abstract Interpretation and Attribute Gramars

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    The objective of this thesis is to explore the connections between abstract interpretation and attribute grammars as frameworks in program analysis. Abstract interpretation is a semantics-based program analysis method. A large class of data flow analysis problems can be expressed as non-standard ...... is presented in the thesis. Methods from abstract interpretation can also be used in correctness proofs of attribute grammars. This proof technique introduces a new class of attribute grammars based on domain theory. This method is illustrated with examples.......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 semantics where the ``meaning'' contains information about the runtime behaviour of programs. In an abstract interpretation the analysis is proved correct by relating it to the usual semantics for the language. Attribute grammars provide a method and notation to specify code generation and program analysis...

  16. 76 FR 64022 - Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release Reporting

    Science.gov (United States)

    2011-10-17

    ... AGENCY 40 CFR Part 372 RIN 2025-AA27 Hydrogen Sulfide; Community Right-to-Know Toxic Chemical Release Reporting AGENCY: Environmental Protection Agency (EPA). ACTION: Lifting of Administrative Stay for Hydrogen... hydrogen sulfide (Chemical Abstracts Service Number (CAS No.) 7783-06-4). Hydrogen sulfide was added to the...

  17. New Abstract Submission Software System for AGU Meetings

    Science.gov (United States)

    Ward, Joanna

    2009-07-01

    New software for submitting abstracts has been deployed by AGU for the 2009 Fall Meeting. “Abstract Central” is a simplified interface providing a secure, complete method for abstract submission with easy-to-follow steps and a fresh look. A major component of the system will be an itinerary planner, downloadable to mobile devices, to help meeting attendees schedule their time at AGU conferences. Increased access to customer service is a key element that abstract submitters will find especially helpful. A call center, as well as 24-hour Web-based and e-mail technical support, will be available to help members.

  18. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1984-07-01

    The Mechanical Engineering Department publishes abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division.

  19. Modelling Metamorphism by Abstract Interpretation

    Science.gov (United States)

    Dalla Preda, Mila; Giacobazzi, Roberto; Debray, Saumya; Coogan, Kevin; Townsend, Gregg M.

    Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interpretation of the standard trace semantics. Phase semantics precisely models the metamorphic code behavior by providing a set of traces of programs which correspond to the possible evolutions of the metamorphic code during execution. We show that metamorphic signatures can be automatically extracted by abstract interpretation of the phase semantics, and that regular metamorphism can be modelled as finite state automata abstraction of the phase semantics.

  20. Chemical Composition

    Science.gov (United States)

    May, Willie; Cavanagh, Richard; Turk, Gregory; Winchester, Michael; Travis, John; Smith, Melody; Derose, Paul; Choquette, Steven; Kramer, Gary; Sieber, John; Greenberg, Robert; Lindstrom, Richard; Lamaze, George; Zeisler, Rolf; Schantz, Michele; Sander, Lane; Phinney, Karen; Welch, Michael; Vetter, Thomas; Pratt, Kenneth; Scott, John; Small, John; Wight, Scott; Stranick, Stephan

    Measurements of the chemical compositions of materials and the levels of certain substances in them are vital when assessing and improving public health, safety and the environment, are necessary to ensure trade equity, and are required when monitoring and improving industrial products and services. Chemical measurements play a crucial role in most areas of the economy, including healthcare, food and nutrition, agriculture, environmental technologies, chemicals and materials, instrumentation, electronics, forensics, energy, and transportation.

  1. Elements of abstract harmonic analysis

    CERN Document Server

    Bachman, George

    2013-01-01

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

  2. Abstracts from Rambam Research Day

    Directory of Open Access Journals (Sweden)

    Shraga Blazer

    2015-01-01

    Full Text Available [Extract] This Supplement of Rambam Maimonides Medical Journal presents the abstracts from the Eleventh 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 today’s generation of physicians. Hence, the research presented on Rambam Research Day is a foundation for future generations to understand patient needs and improve treatment modalities. Bringing research from the bench to the bedside and from the bedside to the community is at the heart of Maimonides’ scholarly and ethical legacy.

  3. Static Analysis Using Abstract Interpretation

    Science.gov (United States)

    Arthaud, Maxime

    2017-01-01

    Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).

  4. Chemical and biological rhizosphere interactions in low zinc soils

    NARCIS (Netherlands)

    Duffner, A.

    2014-01-01

    Abstract of the PhD thesis entitled “Chemical and biological rhizosphere interactions in low zinc soils” by Andreas Duffner Soil provides ecosystem services critical for life. The availability of micronutrients, such as zinc (Zn), in soils is an

  5. Preliminary Investigation into Pyrotechnic Chemical Products via Mass Spectrometry Techniques

    Science.gov (United States)

    2015-03-11

    Conference Presentation 3. DATES COVERED (From - To) 2014-2015 4. TITLE AND SUBTITLE Preliminary Investigation into Pyrotechnic Chemical Products...STATEMENT A. Approved for public release; distribution is unlimited. 13. SUPPLEMENTARY NOTES 14. ABSTRACT It is imperative for pyrotechnic testing...chromates) within pyrotechnic formulations. Meanwhile, the actual byproducts of many in‐service multi‐component pyrotechnics remain relatively

  6. Abstract Résumé

    African Journals Online (AJOL)

    Journal des spects ociaux du VIH/ ID . 17. Article Original. Abstract. Discrimination against persons living with HIV/AIDS in hospital settings has been documented. This study examined the attitude of health care workers (HCWs) to nurses, doctors and patients infected with HIV. A total of 345 respondents selected by ...

  7. Understanding software through linguistic abstraction

    NARCIS (Netherlands)

    Visser, E.

    2013-01-01

    Preprint submitted to "Science of Computer Programming", Elsevier, http://dx.doi.org/10.1016/j.scico.2013.12.001 In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that

  8. Handedness Shapes Children's Abstract Concepts

    Science.gov (United States)

    Casasanto, Daniel; Henetz, Tania

    2012-01-01

    Can children's handedness influence how they represent abstract concepts like "kindness" and "intelligence"? Here we show that from an early age, right-handers associate rightward space more strongly with positive ideas and leftward space with negative ideas, but the opposite is true for left-handers. In one experiment, children indicated where on…

  9. Rolloff Roof Observatory Construction (Abstract)

    Science.gov (United States)

    Ulowetz, J. H.

    2015-12-01

    (Abstract only) Lessons learned about building an observatory by someone with limited construction experience, and the advantages of having one for imaging and variable star studies. Sample results shown of composite light curves for cataclysmic variables UX UMa and V1101 Aql with data from my observatory combined with data from others around the world.

  10. Transplantation as an abstract good

    DEFF Research Database (Denmark)

    Hoeyer, Klaus; Jensen, Anja Marie Bornø; Olejaz, Maria

    2015-01-01

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

  11. Teaching abstraction in introductory courses

    NARCIS (Netherlands)

    Koppelman, Hermannus; van Dijk, Elisabeth M.A.G.

    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

  12. Abstract Machines for Polymorphous Computing

    Science.gov (United States)

    2007-12-01

    4. TITLE AND SUBTITLE ABSTRACT MACHINES FOR POLYMORPHOUS COMPUTING (AMP) 5c. PROGRAM ELEMENT NUMBER 62712E 5d. PROJECT NUMBER AMPC 5e. TASK...since pathological communication patterns could incur higher overhead. To measure the performance of the communication APIs on more realistic mixes of

  13. Does "Social Work Abstracts" Work?

    Science.gov (United States)

    Holden, Gary; Barker, Kathleen; Covert-Vail, Lucinda; Rosenberg, Gary; Cohen, Stephanie A.

    2008-01-01

    Objective: The current study seeks to provide estimates of the adequacy of journal coverage in the Social Work Abstracts (SWA) database. Method: A total of 23 journals listed in the Journal Citation Reports social work category during the 1997 to 2005 period were selected for study. Issue-level coverage estimates were obtained for SWA and…

  14. Abstract Interpretation of Mobile Ambients

    DEFF Research Database (Denmark)

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

    1999-01-01

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

  15. Norddesign 2012 - Book of Abstract

    DEFF Research Database (Denmark)

    received more than 140 abstracts and through the review process this have resulted in approximately 70 accepted papers. One of the new research fields included in this conference is the area of Biomechanics – hence the cover graphics of the conference proceedings. With this short introduction we encourage...

  16. The Complexity of Abstract Machines

    Directory of Open Access Journals (Sweden)

    Beniamino Accattoli

    2017-01-01

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

  17. Learning abstract algebra with ISETL

    CERN Document Server

    Dubinsky, Ed

    1994-01-01

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

  18. Abstract Interpretation Using Attribute Grammar

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    1990-01-01

    This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof...... technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics....

  19. Combinatorial Abstractions of Dynamical Systems

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2013-08-01

    Full Text Available Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the verification of system properties, such as safety, is based on reachability calculations, which are the sources of insurmountable complexity. This talk addresses indirect verification methods, which are based on abstracting the dynamical systems by models of reduced complexity and preserving central properties of the original systems.

  20. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

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

    2011-01-01

    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...... and that supports the definition of a 3-valued modal logic for validating as well as refuting properties of systems. The construction is illustrated on a few examples, including the Ingemarsson-Tang-Wong key agreement protocol. © 2011 ACM....

  1. Abstraction Techniques for Parameterized Verification

    Science.gov (United States)

    2006-11-01

    Processes. Journal of the ACM, 39, 1992. [44] Steven German. Cache Coherence Examples, 2006. [45] Thomas Henzinger, Ranjit Jhala, and Rupak Majumdar...46] Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth L. McMillan. Abstractions from Proofs. In Proceedings of the 31st ACM Symposium on...Principles of Programming Languages (POPL), pages 232–244, 2004. [47] Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Soft

  2. Innovation in Services: From Service Concepts to Service Experiences

    OpenAIRE

    Fynes, Brian; Lally, Anne Marie

    2008-01-01

    ABSTRACT Identifying the nature of service experiences is recognised As being of primary importance in the shaping of an enhanced competitive position for industry; however service managers often have difficulty articulating the true nature of their service concept. The definition of service concept is a fundamental part of the strategic advantage seeking Processes of service design, service development and service innovation. In response to the competitive Imperative for improved product/...

  3. HYDROCARBONS - TOTAL RESOLVED, CAS (CHEMICAL ABSTRACTS SERVICE) PARAMETER CODES and PCB, and other data from FIXED STATIONS in the Coastal Waters of California from 1990-01-04 to 1990-03-15 (NCEI Accession 9000235)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — This data contains the results from a Survey of Sediment Toxicity in San Francisco Bay. The data were collected around the bay from January-April 1990 and different...

  4. HYDROCARBONS - TOTAL RESOLVED, CAS (CHEMICAL ABSTRACTS SERVICE) PARAMETER CODES and PCB, and other data from VARIOUS SMALL VESSELS in the New York Bight from 1984-06-24 to 1984-09-06 (NODC Accession 9100099)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — Data collected for the New York City Department Of Environmental Protection for submission to US Environmental Protection Agency as part of the application for...

  5. HYDROCARBONS - TOTAL RESOLVED, CAS (CHEMICAL ABSTRACTS SERVICE) PARAMETER CODES and PCB, and other data from UNKNOWN in the Gulf of Mexico and Caribbean Sea from 1979-02-05 to 1989-02-23 (NCEI Accession 8900193)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — The data in this submission consists of three files. It represents all of the Caripol Phase I data spanning a period of 10 years on file at Atlantic Oceanographic...

  6. HYDROCARBONS - TOTAL RESOLVED, CAS (CHEMICAL ABSTRACTS SERVICE) PARAMETER CODES and PCB, and other data from UNKNOWN in the New York Bight on 1901-01-01 (NODC Accession 8600271)

    Data.gov (United States)

    National Oceanic and Atmospheric Administration, Department of Commerce — This submission contains the master data set assembled in a study called "Contaminant Body Burdens, Variability and Monitoring Implications for the New York Bight"....

  7. Gasohol sourcebook - Literature survey and abstracts

    Science.gov (United States)

    Cheremisinoff, N. P.; Cheremisinoff, P. N.

    A review is provided of biomass and bioconversion technology literature, giving particular attention to gasohol and related fuels. Literature cited and reviewed covers a variety of subjects such as properties of biomass, overviews of bioconversion technologies, toxic and hazardous properties of alcohols, and sources of biomass. Source listings and selected abstracts are provided back to 1965. Both U.S. government reports and journal publications are listed. Foreign publications are also included. A listing is presented of both U.S. and foreign patents on various subjects related to bioconversion technology and gasohol production. Ethanol and methanol production is considered along with automotive and other fuel uses, the production of chemical feedstocks, and the economics of alcohol production.

  8. IEEE conference record--Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1992-01-01

    The following topics were covered in this meeting: basic plasma phenomena and plasma waves; plasma diagnostics; space plasma diagnostics; magnetic fusion; electron, ion and plasma sources; intense electron and ion beams; intense beam microwaves; fast wave M/W devices; microwave plasma interactions; plasma focus; ultrafast Z-pinches; plasma processing; electrical gas discharges; fast opening switches; magnetohydrodynamics; electromagnetic and electrothermal launchers; x-ray lasers; computational plasma science; solid state plasmas and switches; environmental/energy issues in plasma science; vacuum electronics; plasmas for lighting; gaseous electronics; and ball lightning and other spherical plasmas. Separate abstracts were prepared for 278 papers of this conference.

  9. Process mining meets abstract interpretation

    OpenAIRE

    Carmona Vargas, Josep; Cortadella Fortuny, Jordi

    2010-01-01

    The discovery of process models out of system traces is an interesting problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is presented. The method is based on the theory of abstract interpretation, which has been applied successfully in other areas. The principal application of the theory presented is Process Mining, an area that tries to incorporate the use of formal models both in the design and us...

  10. Operating System Abstraction Layer (OSAL)

    Science.gov (United States)

    Yanchik, Nicholas J.

    2007-01-01

    This viewgraph presentation reviews the concept of the Operating System Abstraction Layer (OSAL) and its benefits. The OSAL is A small layer of software that allows programs to run on many different operating systems and hardware platforms It runs independent of the underlying OS & hardware and it is self-contained. The benefits of OSAL are that it removes dependencies from any one operating system, promotes portable, reusable flight software. It allows for Core Flight software (FSW) to be built for multiple processors and operating systems. The presentation discusses the functionality, the various OSAL releases, and describes the specifications.

  11. Abstract decomposition theorem and applications

    CERN Document Server

    Grossberg, R; Grossberg, Rami; Lessmann, Olivier

    2005-01-01

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

  12. Indico CONFERENCE: Define the Call for Abstracts

    CERN Multimedia

    CERN. Geneva; Ferreira, Pedro

    2017-01-01

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

  13. Reports on Aquatic Sciences and Fisheries Abstracts (ASFA)

    OpenAIRE

    Odido, Mika

    2003-01-01

    The Intergovernmental Oceanographic Commission of UNESCO is one of the United Nation’s co-sponsoring partners for the Aquatic Sciences and Fisheries Abstracts (ASFA). This is an abstracting and indexing service covering the world's literature on the science, technology, management, and conservation of marine, brackish water, and freshwater resources and environments, including their socio-economic and legal aspects. The ASFA bibliographic database contains over 820,000 references, with cov...

  14. Abstract Résumé

    African Journals Online (AJOL)

    has been challenged to map out strategies of collaboration between the two systems as traditional healers can complement the services of biomedical ...... Porter, L. (1996). Do traditional healers have a role in the prevention and management of STDS and HIV/AIDS in Africa? A summary of the issues. Unpublished paper.

  15. Abstract Résumé

    African Journals Online (AJOL)

    2008-09-26

    Sep 26, 2008 ... 106 Journal of Social Aspects of HIV/AIDS. VOL. 5 NO. 3 SEPTEMBER 2008. Original ... care (PHC) infrastructure was able to mobilise the necessary inputs to effectively provide ART, without undermining other services within facilities. .... There were three methods of data collection. Firstly, semi- structured ...

  16. Abstract Résumé

    African Journals Online (AJOL)

    jafricabrown

    2008-12-05

    Dec 5, 2008 ... the project to have made various forms of positive progress in empowering volunteers to run a more effective home nursing service. However ... We conclude that those seeking to increase the role and capacity of community volunteers in .... confidence and capacity to tackle the impact of factors such as.

  17. Abstract Résumé

    African Journals Online (AJOL)

    STI), and it is important that STI/HIV health services reach men ... She also worked in South Africa on herpes simplex type 2 and syndromic management of genital ulcer disease. .... for HIV-positive men, daytime clinic hours and a belief that clinics.

  18. An introduction to abstract algebra

    CERN Document Server

    Robinson, Derek JS

    2003-01-01

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

  19. Content Differences for Abstract and Concrete Concepts

    National Research Council Canada - National Science Library

    Katja Wiemer‐Hastings, Katja; Xu, Xu

    2005-01-01

    ... number. Abstract concepts were predominantly related to social aspects of situations. Properties were significantly less specific for abstract than for concrete concepts. Thus, abstractness emerged as a function of several, both qualitative and quantitative, factors.

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

    Directory of Open Access Journals (Sweden)

    Ian J. Saldanha

    2016-11-01

    abstraction approaches. Trial registration The trial is registered at National Information Center on Health Services Research and Health Care Technology (NICHSR under Registration # HSRP20152269: https://wwwcf.nlm.nih.gov/hsr_project/view_hsrproj_record.cfm?NLMUNIQUE_ID=20152269&SEARCH_FOR=Tianjing%20Li . All items from the World Health Organization Trial Registration Data Set are covered at various locations in this protocol. Protocol version and date: This is version 2.0 of the protocol, dated September 6, 2016. As needed, we will communicate any protocol amendments to the Institutional Review Boards (IRBs of Johns Hopkins Bloomberg School of Public Health (JHBSPH and Brown University. We also will make appropriate as-needed modifications to the NICHSR website in a timely fashion.

  1. Abstracting application deployment on Cloud infrastructures

    Science.gov (United States)

    Aiftimiei, D. C.; Fattibene, E.; Gargana, R.; Panella, M.; Salomoni, D.

    2017-10-01

    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.

  2. Résumé Abstract

    African Journals Online (AJOL)

    1 juil. 2013 ... Transmission Me`re-Enfant (PTME) devraient induire environ 700 000 annonces du statut d'enfants nés de me`res séropositives ... veineux et aux écueils des méthodes de diagnostic et de gestion de l'information dans les services de soins. ..... cadre d'un projet de recherche portant sur les déterminants.

  3. Spectrophotometry of Symbiotic Stars (Abstract)

    Science.gov (United States)

    Boyd, D.

    2017-12-01

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

  4. Workers intake too much salt from dishes of eating out and food service cafeterias; direct chemical analysis of sodium content.

    Science.gov (United States)

    Park, Hae-Ryun; Jeong, Gye-Ok; Lee, Seung-Lim; Kim, Jin-Young; Kang, Soon-Ah; Park, Kun-Young; Ryou, Hyun-Joo

    2009-01-01

    The average sodium intake of Koreans was reported to be 5,279.9 mg/day, which is one of the highest intake levels worldwide. The average Koreans intake 19.6% of sodium from kimchi, showing kimchi as the main contributor of sodium in this country (Ministry of Health and Welfare, 2005). The sodium content of dishes that are frequently chosen by workers, and which were served by foodservice cafeterias were chemically analyzed. The average sodium content of one meal provided by 10 foodservice cafeterias was 2,777.7 mg. Twenty-one, one-dish-meals, frequently chosen by workers for a lunch menu, were collected at 4 different restaurants for each menu by one male, aged in the twenties and analyzed chemically also. Workers who eat lunch at a workplace cafeteria everyday could intake about 8 g of salt at a one-time meal and those who eat out for a one-dish-meal would intake 3-8 g of salt without counting sodium content from the side dishes. From these study results, one could estimate that over 10 g of salt could be possible for a single meal for workers who eat out everyday. A nationwide nutrition campaign and education for low salt diets for restaurant owners and foodservice providers should be seriously considered.

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

    Science.gov (United States)

    Saldanha, Ian J; Schmid, Christopher H; Lau, Joseph; Dickersin, Kay; Berlin, Jesse A; Jap, Jens; Smith, Bryant T; Carini, Simona; Chan, Wiley; De Bruijn, Berry; Wallace, Byron C; Hutfless, Susan M; Sim, Ida; Murad, M Hassan; Walsh, Sandra A; Whamond, Elizabeth J; Li, Tianjing

    2016-11-22

    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. 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). 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 abstraction approaches. The trial is registered

  6. Argonne Code Center: compilation of program abstracts

    Energy Technology Data Exchange (ETDEWEB)

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

    1977-08-01

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

  7. Argonne Code Center: compilation of program abstracts

    Energy Technology Data Exchange (ETDEWEB)

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

    1976-08-01

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

  8. Efficient abstractions for visualization and interaction

    NARCIS (Netherlands)

    van der Ploeg, A.J.

    2015-01-01

    Abstractions, such as functions and methods, are an essential tool for any programmer. Abstractions encapsulate the details of a computation: the programmer only needs to know what the abstraction achieves, not how it achieves it. However, using abstractions can come at a cost: the resulting program

  9. An abstract approach to music.

    Energy Technology Data Exchange (ETDEWEB)

    Kaper, H. G.; Tipei, S.

    1999-04-19

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

  10. Attracting Girls into Physics (abstract)

    Science.gov (United States)

    Gadalla, Afaf

    2009-04-01

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

  11. Patient-Centered Research Abstracts

    Science.gov (United States)

    Szerlip, MI; Desalvo, KB; Szerlip, HM

    2000-01-01

    PURPOSE Providing clinicians with predictors to aid in the diagnosis of HIV disease in older adults should facilitate the identification of infected individuals. METHODS A retrospective case-control study was conducted comparing 53 HIV-positive patients over the age of 55 who were age, gender, and race matched to 106 controls. The patients were drawn from the New Orleans Veterans Affairs Medical Center and a public hospital. Both institutions serve predominantly African-American, inner-city, indigent patients. Clinical predictors of interest were abstracted from medical records onto standardized data collection sheets by the authors. RESULTS The mean age of the cases and controls was 62 (55–74), 60% were African-American, and 97% percent were male. Several positive findings in the past medical history were associated with an increased odds of testing HIV-positive. The mean values for several routinely tested laboratory studies were significantly different between the two groups. The mean globulin level for HIV-positive patients was 4.8 g/dL vs. 3.7 g/dL for HIV-negative patients (p = .001). The mean serum sodium for HIV-positive patients was 137 mg/dL vs. 140 mg/dL for HIV negative patients (p = .003) and the mean albumin was 3.0 g/dL vs. 3.6 g/dL (p < .001). Hemoglobin was significantly different between HIV-positive and HIV-negative individuals(mean 12.0 g/dL vs. 13.9 g/dL, p = .029). CONCLUSION This data suggests that for patients over the age of 55, certain routine laboratory and medical history parameters may be useful in predicting patients at increased risk of being HIV-positive. A prospective study validating this data would be necessary to confirm this.

  12. ABSTRACT PRESENTATION--PHARMACEUTICALS AS ...

    Science.gov (United States)

    Pharmaceuticals comprise a large and diverse array of contaminants that can occur in the environmentfrom the combined activities and actions of multitudes of individuals as well as from veterinary andagricultural use. The research focused on in the subtasks is the development and application of state-of the-art technologies to meet the needs of the public, Office of Water, and ORD in the area of Water Quality. Located In the subtasks are the various research projects being performed in support of this Task and more in-depth coverage of each project. Briefly, each project's objective is stated below.Subtask 1: To integrate state-of-the-art technologies (polar organic chemical integrative samplers, advanced solid-phase extraction methodologies with liquid chromatography/electrospray/mass spectrometry) and apply them to studying the sources and fate of a select list of PPCPs. Application and improvement of analytical methodologies that can detect non-volatile, polar, water-soluble pharmaceuticals in source waters at levels that could be environmentally significant (at concentrations less than parts per billion, ppb). IAG with USGS ends in FY05. APM 20 due in FY05.Subtask 2: Coordination of interagency research and public outreach activities for PPCPs. Participate on NSTC Health and Environment subcommittee working group on PPCPs. Web site maintenance and expansion, invited technical presentations, invited articles for peer-reviewed journals, interviews for med

  13. SRS scientific and technical abstracts, July--September 1992

    Energy Technology Data Exchange (ETDEWEB)

    1992-10-01

    This document focuses on the scientific and technical information (STT) reports, articles, and presentations generated at the site by various authors and organizations of Westinghouse Savannah River Company and its subcontractors. Abstracts of these STI products are contained within this document. The abstracts have been compiled as they originally appeared in the source reports. No changes to the content have been made except as necessary to correct errors of spelling, to reduce abstract length, or to ensure that the information is unclassified. The abstracts are organized according to information categories (``UC`` categories) established by the Department of Energy`s Office of Scientific and Technical Information (OSTI). When reports fall into more than one category, their abstract is included as an entry in the most applicable section of this document. UC-700 General, Miscellaneous, and Progress Reports, UC-701 Chemistry, UC-702 Environmental Sciences, UC-703 Geosciences, UC-704 Materials, UC-705 Mathematics and Computer Sciences, UC-706 Engineering, Equipment, and Instruments, UC-707 Health and Safety, UC-708 Biological Sciences, UC-711 Chemical Separation Processes for Plutonium and Uranium, UC-712 Inertial Confinement Fusion, UC-713 Radioisotope and Radiation Applications, UC-714 Criticality Studies, UC-715 Technology - Feed Materials, UC-721 Defense Waste Management, UC-722 Transportation of Nuclear Materials, UC-731 Nuclear Materials Production, UC-732 Special Isotope Separation (Plutonium), UC-733 Nuclear Raw Materials, UC-741 Chemical High Explosives, UC-742 Applications of Explosions, UC-743 Nuclear Propulsion Systems, UC-744 Aerospace Nuclear Safety, and Index 91.

  14. SRS scientific and technical abstracts, July--September 1992

    Energy Technology Data Exchange (ETDEWEB)

    1992-10-01

    This document focuses on the scientific and technical information (STT) reports, articles, and presentations generated at the site by various authors and organizations of Westinghouse Savannah River Company and its subcontractors. Abstracts of these STI products are contained within this document. The abstracts have been compiled as they originally appeared in the source reports. No changes to the content have been made except as necessary to correct errors of spelling, to reduce abstract length, or to ensure that the information is unclassified. The abstracts are organized according to information categories ( UC'' categories) established by the Department of Energy's Office of Scientific and Technical Information (OSTI). When reports fall into more than one category, their abstract is included as an entry in the most applicable section of this document. UC-700 General, Miscellaneous, and Progress Reports, UC-701 Chemistry, UC-702 Environmental Sciences, UC-703 Geosciences, UC-704 Materials, UC-705 Mathematics and Computer Sciences, UC-706 Engineering, Equipment, and Instruments, UC-707 Health and Safety, UC-708 Biological Sciences, UC-711 Chemical Separation Processes for Plutonium and Uranium, UC-712 Inertial Confinement Fusion, UC-713 Radioisotope and Radiation Applications, UC-714 Criticality Studies, UC-715 Technology - Feed Materials, UC-721 Defense Waste Management, UC-722 Transportation of Nuclear Materials, UC-731 Nuclear Materials Production, UC-732 Special Isotope Separation (Plutonium), UC-733 Nuclear Raw Materials, UC-741 Chemical High Explosives, UC-742 Applications of Explosions, UC-743 Nuclear Propulsion Systems, UC-744 Aerospace Nuclear Safety, and Index 91.

  15. IN-PACKAGE CHEMISTRY ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    E. Thomas

    2005-07-14

    This report was developed in accordance with the requirements in ''Technical Work Plan for Postclosure Waste Form Modeling'' (BSC 2005 [DIRS 173246]). The purpose of the in-package chemistry model is to predict the bulk chemistry inside of a breached waste package and to provide simplified expressions of that chemistry as a function of time after breach to Total Systems Performance Assessment for the License Application (TSPA-LA). The scope of this report is to describe the development and validation of the in-package chemistry model. The in-package model is a combination of two models, a batch reactor model, which uses the EQ3/6 geochemistry-modeling tool, and a surface complexation model, which is applied to the results of the batch reactor model. The batch reactor model considers chemical interactions of water with the waste package materials, and the waste form for commercial spent nuclear fuel (CSNF) waste packages and codisposed (CDSP) waste packages containing high-level waste glass (HLWG) and DOE spent fuel. The surface complexation model includes the impact of fluid-surface interactions (i.e., surface complexation) on the resulting fluid composition. The model examines two types of water influx: (1) the condensation of water vapor diffusing into the waste package, and (2) seepage water entering the waste package as a liquid from the drift. (1) Vapor-Influx Case: The condensation of vapor onto the waste package internals is simulated as pure H{sub 2}O and enters at a rate determined by the water vapor pressure for representative temperature and relative humidity conditions. (2) Liquid-Influx Case: The water entering a waste package from the drift is simulated as typical groundwater and enters at a rate determined by the amount of seepage available to flow through openings in a breached waste package.

  16. 2013 SYR Accepted Poster Abstracts.

    Science.gov (United States)

    2013-01-01

    SYR 2013 Accepted Poster abstracts: 1. Benefits of Yoga as a Wellness Practice in a Veterans Affairs (VA) Health Care Setting: If You Build It, Will They Come? 2. Yoga-based Psychotherapy Group With Urban Youth Exposed to Trauma. 3. Embodied Health: The Effects of a Mind�Body Course for Medical Students. 4. Interoceptive Awareness and Vegetable Intake After a Yoga and Stress Management Intervention. 5. Yoga Reduces Performance Anxiety in Adolescent Musicians. 6. Designing and Implementing a Therapeutic Yoga Program for Older Women With Knee Osteoarthritis. 7. Yoga and Life Skills Eating Disorder Prevention Among 5th Grade Females: A Controlled Trial. 8. A Randomized, Controlled Trial Comparing the Impact of Yoga and Physical Education on the Emotional and Behavioral Functioning of Middle School Children. 9. Feasibility of a Multisite, Community based Randomized Study of Yoga and Wellness Education for Women With Breast Cancer Undergoing Chemotherapy. 10. A Delphi Study for the Development of Protocol Guidelines for Yoga Interventions in Mental Health. 11. Impact Investigation of Breathwalk Daily Practice: Canada�India Collaborative Study. 12. Yoga Improves Distress, Fatigue, and Insomnia in Older Veteran Cancer Survivors: Results of a Pilot Study. 13. Assessment of Kundalini Mantra and Meditation as an Adjunctive Treatment With Mental Health Consumers. 14. Kundalini Yoga Therapy Versus Cognitive Behavior Therapy for Generalized Anxiety Disorder and Co-Occurring Mood Disorder. 15. Baseline Differences in Women Versus Men Initiating Yoga Programs to Aid Smoking Cessation: Quitting in Balance Versus QuitStrong. 16. Pranayam Practice: Impact on Focus and Everyday Life of Work and Relationships. 17. Participation in a Tailored Yoga Program is Associated With Improved Physical Health in Persons With Arthritis. 18. Effects of Yoga on Blood Pressure: Systematic Review and Meta-analysis. 19. A Quasi-experimental Trial of a Yoga based Intervention to Reduce Stress and

  17. Abstract methods in partial differential equations

    CERN Document Server

    Carroll, Robert W

    2012-01-01

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

  18. Minimalism in architecture: Abstract conceptualization of architecture

    OpenAIRE

    Vasilski Dragana

    2015-01-01

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

  19. Introduction to abstract algebra, solutions manual

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

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

  20. In-Package Chemistry Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    E. Thomas

    2004-11-09

    This report was developed in accordance with the requirements in ''Technical Work Plan for: Regulatory Integration Modeling and Analysis of the Waste Form and Waste Package'' (BSC 2004 [DIRS 171583]). The purpose of the in-package chemistry model is to predict the bulk chemistry inside of a breached waste package and to provide simplified expressions of that chemistry as function of time after breach to Total Systems Performance Assessment for the License Application (TSPA-LA). The scope of this report is to describe the development and validation of the in-package chemistry model. The in-package model is a combination of two models, a batch reactor model that uses the EQ3/6 geochemistry-modeling tool, and a surface complexation model that is applied to the results of the batch reactor model. The batch reactor model considers chemical interactions of water with the waste package materials and the waste form for commercial spent nuclear fuel (CSNF) waste packages and codisposed waste packages that contain both high-level waste glass (HLWG) and DOE spent fuel. The surface complexation model includes the impact of fluid-surface interactions (i.e., surface complexation) on the resulting fluid composition. The model examines two types of water influx: (1) the condensation of water vapor that diffuses into the waste package, and (2) seepage water that enters the waste package from the drift as a liquid. (1) Vapor Influx Case: The condensation of vapor onto the waste package internals is simulated as pure H2O and enters at a rate determined by the water vapor pressure for representative temperature and relative humidity conditions. (2) Water Influx Case: The water entering a waste package from the drift is simulated as typical groundwater and enters at a rate determined by the amount of seepage available to flow through openings in a breached waste package. TSPA-LA uses the vapor influx case for the nominal scenario for simulations where the waste

  1. Engineering Abstractions in Model Checking and Testing

    DEFF Research Database (Denmark)

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

    Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet...... and implementing abstractions will improve the applicability of model checking in practice....

  2. Graph Subsumption in Abstract State Space Exploration

    NARCIS (Netherlands)

    Zambon, Eduardo; Rensink, Arend; Wijs, A.; Bosnacki, D.; Edelkamp, S.

    In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the

  3. Observational Activities at Manipur University, India (Abstract)

    Science.gov (United States)

    Singh, K. Y.; Meitei, I. A.; Singh, S. A.; Singh, R. B.

    2015-06-01

    (Abstract only) We have innovatively designed and constructed three observatories each costing a few hundred USD for housing three small Schmidt-Cassegrain type telescopes namely, Celestron CGE925, Celestron CGE1400, Meade 12-inch LX200GPS. These observatories are completely different in design and are found to be perfectly usable for doing serious work on astronomical observation and measurements. The observatory with the Celestron CGE1400 telescope has been inducted, since January 2012, as one of the observatories of the international “Orion Project” headquartered at Phoenix, Arizona, which is dedicated for photometric and spectroscopic observations of five bright variable stars of the Orion constellation namely, Betelgeuse (alpha Ori), Rigel (beta Ori), Mintaka (delta Ori), Alnilam (epsilon Ori) and Alnitak (zeta Ori). Using this observatory, we have been producing BVRI photometric data for the five stars of the Orion project. The other observatory with the Meade 12-inch LX200GPS telescope is being inducted into service for CCD photometric study of SU UMa stars in connection with implementation of a project funded by Indian Space Research Organization (ISRO). In the present paper, we would like to describe our self-built observatories, our observational facilities, the BVRI photometric data that we acquired for the Orion project, and our future plan for observation of variable stars of interest.

  4. Medical physics 2013. Abstracts; Medizinische Physik 2013. Abstractband

    Energy Technology Data Exchange (ETDEWEB)

    Treuer, Harald (ed.) [Koeln Univ. (Germany). Klinik fuer Stereotaxie und Funktionelle Neurochirurgie

    2013-07-01

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

  5. Abstract and concrete sentences, embodiment and languages

    Directory of Open Access Journals (Sweden)

    Claudia eScorolli

    2011-09-01

    Full Text Available One of the main challenges of embodied theories is accounting for meanings of abstract words. The most common explanation is that abstract words, like concrete ones, are grounded in perception and action systems. According to other explanations, abstract words, differently from concrete ones, would activate situations and introspection; alternatively, they would be represented through metaphoric mapping. However, evidence provided so far pertains to specific domains. To be able to account for abstract words in their variety we argue it is necessary to take into account not only the fact that language is grounded in the sensorimotor system, but also that language represents a linguistic-social experience. To study abstractness as a continuum we combined a concrete (C verb with both a concrete and an abstract (A noun; and an abstract verb with the same nouns previously used (grasp vs. describe a flower vs. a concept. To disambiguate between the semantic meaning and the grammatical class of the words, we focused on two syntactically different languages: German and Italian. Compatible combinations (CC, AA were processed faster than mixed ones (CA, AC. This is in line with the idea that abstract and concrete words are processed preferentially in parallel systems - abstract in the language system and concrete more in the motor system, thus costs of processing within one system are the lowest. This parallel processing takes place most probably within different anatomically predefined routes. With mixed combinations, when the concrete word preceded the abstract one (CA, participants were faster, regardless of the grammatical class and the spoken language. This is probably due to the peculiar mode of acquisition of abstract words, as they are acquired more linguistically than perceptually. Results confirm embodied theories which assign a crucial role to both perception-action and linguistic experience for abstract words.

  6. Minimalism in architecture: Abstract conceptualization of architecture

    Directory of Open Access Journals (Sweden)

    Vasilski Dragana

    2015-01-01

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

  7. Analysis of complex networks using aggressive abstraction.

    Energy Technology Data Exchange (ETDEWEB)

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  8. Automata Learning through Counterexample Guided Abstraction Refinement

    DEFF Research Database (Denmark)

    Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

    2012-01-01

    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...... 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...... automatically – models of several realistic software components, including the biometric passport and the SIP protocol....

  9. Injecting Abstract Interpretations into Linear Cost Models

    Directory of Open Access Journals (Sweden)

    David Cachera

    2010-06-01

    Full Text Available We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs. The dioid structure of the set of costs allows for defining the quantitative semantics as a linear operator. We then present an abstraction technique inspired from abstract interpretation in order to effectively compute global cost information from the program. Abstraction has to take two distinct notions of order into account: the order on costs and the order on states. We show that our abstraction technique provides a correct approximation of the concrete cost computations.

  10. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata

    OpenAIRE

    Braitling, Bettina; Fioriti, Luis María Ferrer; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger

    2014-01-01

    Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction refinement necessary. In this paper we present an abstraction and abstraction refinement technique for Markov automata, based on the game-based and menu-based abstraction of probabilistic automata...

  11. Data Abstraction Mechanisms in Sina/st

    NARCIS (Netherlands)

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

    1988-01-01

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

  12. Visual Abstraction and Stylisation of Maps

    NARCIS (Netherlands)

    Isenberg, Tobias

    We explore visual map abstraction for the generation of stylized renderings of 2D map data. We employ techniques that are centred around the concept of shape simplification and graph layout and that allow iterative abstraction of 2D maps. We use data from publicly available sources and show how we

  13. Abstract algebra an introduction with applications

    CERN Document Server

    Robinson, Derek JS

    2015-01-01

    This is the second edition of the introduction to abstract algebra. 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. There is ample material here for a two semester course in abstract algebra.

  14. Foundations of the Bandera Abstraction Tools

    Science.gov (United States)

    Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby

    2003-01-01

    Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.

  15. Abstract Machines for Programming Language Implementation

    NARCIS (Netherlands)

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

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

  16. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

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

    2012-01-01

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

  17. Interactional Metadiscourse in Research Article Abstracts

    Science.gov (United States)

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

    This paper deals with interpersonality in research article abstracts analysed in terms of interactional metadiscourse. The evolution in the distribution of three prominent interactional markers comprised in Hyland's (2005a) model, viz. hedges, boosters and attitude markers, is investigated in three decades of abstract writing in the field of…

  18. Abstraction Power in Computer Science Education

    DEFF Research Database (Denmark)

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

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

  19. On Abstraction Levels For Software Architecture Viewpoints

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun

    2005-01-01

    In the field of software architecture the abstraction level of a viewpoint has often been defined on a scale from low to high. However, the definition of abstraction levels on a scale from low to high makes it very subjective what is at each level. This makes it difficult to apply the different...... abstraction levels defined in this paper, viewpoints can be described more accurately and applied more consistently. This can help developers easier gain proficiency in the use of viewpoints to describe software architectures of systems. In this paper concepts which clarify the relation between the defined...... abstraction levels and viewpoints are also defined. Use of the three abstraction levels in practice will be illustrated by a case study which will present examples of viewpoints at the different levels. The role of the levels in connection with novice architects will also be discussed....

  20. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata

    Directory of Open Access Journals (Sweden)

    Bettina Braitling

    2014-06-01

    Full Text Available Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction refinement necessary. In this paper we present an abstraction and abstraction refinement technique for Markov automata, based on the game-based and menu-based abstraction of probabilistic automata. First experiments show that a significant reduction in size is possible using abstraction.

  1. Abstract spatial reasoning as an autistic strength.

    Directory of Open Access Journals (Sweden)

    Jennifer L Stevenson

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

  2. Abstract Spatial Reasoning as an Autistic Strength

    Science.gov (United States)

    Stevenson, Jennifer L.; Gernsbacher, Morton Ann

    2013-01-01

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

  3. Interdisciplinary perspectives on abstracts for information retrieval

    Directory of Open Access Journals (Sweden)

    Soon Keng Chan

    2004-10-01

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

  4. Abstract Generation based on Rhetorical Structure Extraction

    CERN Document Server

    Ono, K; Ono, Kenji; Sumita, Kazuo

    1994-01-01

    We have developed an automatic abstract generation system for Japanese expository writings based on rhetorical structure extraction. The system first extracts the rhetorical structure, the compound of the rhetorical relations between sentences, and then cuts out less important parts in the extracted structure to generate an abstract of the desired length. Evaluation of the generated abstract showed that it contains at maximum 74\\% of the most important sentences of the original text. The system is now utilized as a text browser for a prototypical interactive document retrieval system.

  5. Collected abstracts on particle beam diagnostic systems

    Energy Technology Data Exchange (ETDEWEB)

    Hickok, R.L.

    1979-01-01

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

  6. Abstraction in artificial intelligence and complex systems

    CERN Document Server

    Saitta, Lorenza

    2013-01-01

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

  7. ChemSpell Web Service API

    Data.gov (United States)

    U.S. Department of Health & Human Services — The ChemSpell Web Service API provides chemical name spell checking and chemical name synonym look-up. ChemSpell contains more than 1.3 million chemical names...

  8. GIBS Geospatial Data Abstraction Library (GDAL)

    Data.gov (United States)

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

  9. Complex of abstract cubes and median problem

    Directory of Open Access Journals (Sweden)

    Sergiu Cataranciuc

    2011-06-01

    Full Text Available In this paper a special complex $\\mathcal{K}^{n}$ of abstract cubes [2, 3], which contains only $n$-dimensional cubes is examined. The border of this complex is an abstract $(n-1$-dimensional sphere. It is proved that the abstract sphere contains at least one $0$-dimensional cube, which belongs to exactly $n$ cubes with dimension $1$, if the complex is a homogeneous $n$-dimensional tree. This result allows to solve, in an efficient way, the problem of median for a skeleton of size $1$ of the tree with weighted vertices and edges. The algorithm to calculate the median without using any metric is described. The proposed algorithm can be applied with some modifications, for arbitrary complex of abstract cubes. Mathematics subject classification: 18F15, 32Q60, 68R10

  10. Pulmonary toxicology of respirable particles. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-09-01

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

  11. Writing a research abstract: eloquence in miniature.

    Science.gov (United States)

    Papanas, N; Georgiadis, G S; Maltezos, E; Lazarides, M K

    2012-06-01

    Abstracts are summaries, usually of a full article or conference presentation, and may be classified into structured and unstructured ones. The former have a predefined layout necessitating the use of headings. Most journals and conferences now use the structured abstract format. Research abstracts are increasingly vital for scientific communication and are expected to continue playing a key role for the dissemination of medicine in the near future. Abstracts take time and need meticulous preparation. They must aptly summarise the content of the study or presentation and avoid vague statements and poor style. Moreover, they must comply with provided instructions. Finally, they should be pleasant to read and encourage study of the corresponding full work.

  12. Earth Sciences Division collected abstracts: 1980

    Energy Technology Data Exchange (ETDEWEB)

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

    1981-10-15

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

  13. Abstracting audit data for lightweight intrusion detection

    KAUST Repository

    Wang, Wei

    2010-01-01

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

  14. AGU Meeting abstract volumes—Important change for 1996

    Science.gov (United States)

    Beginning next year, abstract volumes for AGU meetings will be sent only to members who order them and who pay the delivery charges. Members can easily place their orders when they renew their dues for 1996. Institutional subscriptions will continue to include the abstract volumes.It has long been AGU's philosophy to keep dues low so that there is no economic barrier to membership for an interested scientist anywhere in the world. Even the current dues amount of $20 represents as much as a week's salary for some members. As an alternative to raising dues, and thereby excluding some individuals from participation in AGU, the number of products and services that are included in the dues has changed over the years.

  15. Abstracts and abstracting a genre and set of skills for the twenty-first century

    CERN Document Server

    Koltay, Tibor

    2010-01-01

    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

  16. Host-enhanced chemical indexing in technical databases.

    Science.gov (United States)

    Badger, E W; Siems, C D

    1989-11-01

    Many files that index engineering, physics, or other technical literature contain references to chemical compounds. Complex chemical formulas in the title or abstract often contain special characters, for example, (,), [,], +, -, degrees, and %. Upper and lower case letters often are also included. A search of these formulas and symbols in the basic index is next to impossible because the terms in this field are usually parsed to all alphanumeric characters without sensitivity to case. It is possible for an online host to use a character-recognition algorithm to scan the title and abstract data for special characters or character strings and place them in a separate index field when such files are loaded. Such an algorithm has been designed by Fachinformationszentrun Energie, Physik, Mathematik GmbH in Karlsruhe, West Germany (FIZ Karlsruhe), the European service center of STN International, the scientific and technical information network. This algorithm recognizes and analyzes chemical formulas, material descriptions, alloys, and eutectic systems as well as nuclear reactions and dopings that appear in the title, abstract, or other fields. These character strings are converted into a standardized form and placed in a new field (the element terms field) which is supplied by the online host during the loading process. A checklist of allowed terms (symbols and chemical formulas) is used to prevent irrelevant terms from being mistaken for legitimate chemical symbols. For instance, the algorithm can recognize that CPU (central processing unit) is not a legitimate chemical formula. It is easy to demonstrate the utility this additional index supplies.(ABSTRACT TRUNCATED AT 250 WORDS)

  17. Service Semantics Classification: an Approach Towards Modular Service Ontology

    NARCIS (Netherlands)

    Sorathia, V.S.; Ferreira Pires, Luis; van Sinderen, Marten J.; Wijnhoven, Alphonsus B.J.M.

    2009-01-01

    Since service systems are becoming increasingly complex in emerging technology, business, legal and economics environments, service abstractions are necessary to master this complexity. However, the term ‘service’ means different things to different people in different disciplines, which implies

  18. Fall Meeting abstract submission inspires science poetry

    Science.gov (United States)

    Balcerak, Ernie

    2011-08-01

    When the 4 August deadline for submitting Fall Meeting abstracts passed, AGU had received more than 20,000 abstracts, a record-breaking number. The submission process had an unexpected by-product: It inspired some scientists to write haiku on Twitter. (Haiku is a form of Japanese poetry typically having three lines, the first with five syllables, the second with seven, and the third with five.) The following are examples of the haiku tweets, with the hashtag #AGU11AbstractHaiku. (For those who want to keep updated about the Fall Meeting on Twitter, the hashtag is #AGU11.) For more information about the meeting, including registration and housing, visit http://sites.agu.org/fallmeeting/.

  19. A first graduate course in abstract algebra

    CERN Document Server

    Wickless, WJ

    2004-01-01

    Since abstract algebra is so important to the study of advanced mathematics, it is critical that students have a firm grasp of its principles and underlying theories before moving on to further study. To accomplish this, they require a concise, accessible, user-friendly textbook that is both challenging and stimulating. A First Graduate Course in Abstract Algebra is just such a textbook.Divided into two sections, this book covers both the standard topics (groups, modules, rings, and vector spaces) associated with abstract algebra and more advanced topics such as Galois fields, noncommutative rings, group extensions, and Abelian groups. The author includes review material where needed instead of in a single chapter, giving convenient access with minimal page turning. He also provides ample examples, exercises, and problem sets to reinforce the material. This book illustrates the theory of finitely generated modules over principal ideal domains, discusses tensor products, and demonstrates the development of det...

  20. Processing of abstract rule violations in audition.

    Directory of Open Access Journals (Sweden)

    Erich Schröger

    Full Text Available The ability to encode rules and to detect rule-violating events outside the focus of attention is vital for adaptive behavior. Our brain recordings reveal that violations of abstract auditory rules are processed even when the sounds are unattended. When subjects performed a task related to the sounds but not to the rule, rule violations impaired task performance and activated a network involving supratemporal, parietal and frontal areas although none of the subjects acquired explicit knowledge of the rule or became aware of rule violations. When subjects tried to behaviorally detect rule violations, the brain's automatic violation detection facilitated intentional detection. This shows the brain's capacity for abstraction - an important cognitive function necessary to model the world. Our study provides the first evidence for the task-independence (i.e. automaticity of this ability to encode abstract rules and for its immediate consequences for subsequent mental processes.

  1. 05421 Abstracts Collection - Data Always and Everywhere

    DEFF Research Database (Denmark)

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

    2006-01-01

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

  2. Abstracts – eine facettenreiche Textsorte der Wissenschaft

    Directory of Open Access Journals (Sweden)

    Ines Busch-Lauer

    2012-01-01

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

  3. Abstract Interpretation as a Programming Language

    Directory of Open Access Journals (Sweden)

    Mads Rosendahl

    2013-09-01

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

  4. TQM: A bibliography with abstracts. [total quality management

    Science.gov (United States)

    Gottlich, Gretchen L. (Editor)

    1992-01-01

    This document is designed to function as a special resource for NASA Langley scientists, engineers, and managers during the introduction and development of total quality management (TQM) practices at the Center. It lists approximately 300 bibliographic citations for articles and reports dealing with various aspects of TQM. Abstracts are also available for the majority of the citations. Citations are organized by broad subject areas, including case studies, customer service, senior management, leadership, communication tools, TQM basics, applications, and implementation. An introduction and indexes provide additional information on arrangement and availability of these materials.

  5. Generalizations of the Abstract Boundary singularity theorem

    CERN Document Server

    Whale, Ben E; Scott, Susan M

    2015-01-01

    The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations of this theorem: the first to continuous causal curves and the distinguishing condition, the second to locally Lipschitz curves in manifolds such that no inextendible locally Lipschitz curve is totally imprisoned. To do this we extend generalized affine parameters from $C^1$ curves to locally Lipschitz curves.

  6. Arche papers on the mathematics of abstraction

    CERN Document Server

    Cook, Roy T

    2007-01-01

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

  7. DECOLORIZATION AND CHEMICAL REGENERATION OF ...

    African Journals Online (AJOL)

    Preferred Customer

    2006-09-26

    Received September 26, 2006; revised September 22, 2008). ABSTRACT. Citric acid fermentation (CAF) liquor decolorization by granular activated carbon (GAC) was studied and an improved chemical regeneration method of the exhausted ...

  8. Geometric Abstract Art and Public Health Data

    Centers for Disease Control (CDC) Podcasts

    2016-10-18

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

  9. Simulation, Design Abstraction, and SystemC

    Science.gov (United States)

    Harcourt, Ed

    2007-01-01

    SystemC is a system-level design and simulation language based on C++. We've been using SystemC for computer organization and design projects for the past several years. Because SystemC is embedded in C++ it contains the powerful abstraction mechanisms of C++ not found in traditional hardware description languages, such as support for…

  10. A Sound Abstraction of the Parsing Problem

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Katsoris, Georgios

    2014-01-01

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

  11. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

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

    2013-01-01

    We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. The language allows immediate object construction, and it is possible to use the constructed objects for concrete problem solving tasks. Classes...

  12. OVERVIEW OF CORPORATE GOVERNANCE IN ETHIOPIA: Abstract

    African Journals Online (AJOL)

    eliasn

    Abstract. Good corporate governance is an important pillar of the market economy and it enhances investor confidence. A strong and balanced board of directors is necessary as a supervising body for the executive management of a company with dispersed ownership. The Ethiopian company law does not have adequate.

  13. Navigating abstract virtual environment : an eeg study

    NARCIS (Netherlands)

    Mahdizadeh Hakak, A.; Bhattacharya, J; Biloria, N.M.; de Kleijn, R.; Shah-Mohammadi, F.

    2016-01-01

    Perceptions of different environments are different for different people. An abstract designed environment, with a degree of freedom from any visual reference in the physical world requests a completely different perception than a fully or semi-designed environment that has some correlation with

  14. Global Citizenship: Abstraction or Framework for Action?

    Science.gov (United States)

    Davies, Lynn

    2006-01-01

    This paper explores whether the notion of "global citizenship" is too abstract to be valuable in driving curriculum policy and active citizenship for students. The paper looks firstly at three of the key aspects of an active role: a concern for social justice; rights; and culture and cultural conflict. It then examines actual curricula and…

  15. Language abstraction in word of mouth

    NARCIS (Netherlands)

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

    2010-01-01

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

  16. Abstraction of man-made shapes

    KAUST Repository

    Mehra, Ravish

    2009-01-01

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

  17. Abstraction of Dynamical Systems by Timed Automata

    DEFF Research Database (Denmark)

    Wisniewski, Rafael; Sloth, Christoffer

    2011-01-01

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

  18. Sounding Relationships. Conference programme & Book of abstracts

    DEFF Research Database (Denmark)

    2009-01-01

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

  19. Promoting Economic Security through Information Technology Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    2013-12-01

    Dec 1, 2013 ... Abstract. The problem of economic insecurity is a global threat to national security. In Nigeria today, we have witness a lot of national security issues that risks the continued existence of the country as one indivisible political entity with many calling for disintegration. Hitherto, many terrorist networks have ...

  20. ANNUAL REPORT-AUTOMATIC INDEXING AND ABSTRACTING.

    Science.gov (United States)

    Lockheed Missiles and Space Co., Palo Alto, CA. Electronic Sciences Lab.

    THE INVESTIGATION IS CONCERNED WITH THE DEVELOPMENT OF AUTOMATIC INDEXING, ABSTRACTING, AND EXTRACTING SYSTEMS. BASIC INVESTIGATIONS IN ENGLISH MORPHOLOGY, PHONETICS, AND SYNTAX ARE PURSUED AS NECESSARY MEANS TO THIS END. IN THE FIRST SECTION THE THEORY AND DESIGN OF THE "SENTENCE DICTIONARY" EXPERIMENT IN AUTOMATIC EXTRACTION IS OUTLINED. SOME OF…

  1. Abstract algebra an inquiry based approach

    CERN Document Server

    Hodge, Jonathan K; Sundstrom, Ted

    2013-01-01

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

  2. Cool Cats: Feline Fun with Abstract Art.

    Science.gov (United States)

    Lambert, Phyllis Gilchrist

    2002-01-01

    Presents a lesson that teaches students about abstract art in a fun way. Explains that students draw cats, learn about the work of Pablo Picasso, and, in the style of Picasso, combine the parts of the cats (tail, legs, head, body) together in unconventional ways. (CMK)

  3. Abstracts of Research Papers 1977 AAHPER Convention.

    Science.gov (United States)

    Sage, George H., Ed.

    This volume of abstracts describes papers written on the following topics: (1) Strength Physiology; (2) Learning Disabilities (motor); (3) Physiology - General; (4) Work Capacity; (5) Measurement and Recreation; (6) Biomechanics; (7) Professional Preparation (physical education); (8) Muscle Performance; (9) Sociology of Sport; (10) History of…

  4. Using Group Explorer in Teaching Abstract Algebra

    Science.gov (United States)

    Schubert, Claus; Gfeller, Mary; Donohue, Christopher

    2013-01-01

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

  5. Carbon Monoxide, A Bibliography With Abstracts.

    Science.gov (United States)

    Cooper, Anna Grossman

    Included is a review of the carbon monoxide related literature published from 1880 to 1966. The 983 references with abstracts are grouped into these broad categories: Analysis, Biological Effects, Blood Chemistry, Control, Criteria and Standards, Instruments and Techniques, Sampling and Network Operations, and Sources. The Biological Effects group…

  6. Abstract Résumé Introduction

    African Journals Online (AJOL)

    Abstract. Although in Ghana information on HIV infection and prevention, both in terms of quality and quantity, has increased considerably within the past few years, available literature indicates that behaviour change is yet to correspond with the amount of information and education provided. The objective of this study is to ...

  7. Managed data: modular strategies for data abstraction

    NARCIS (Netherlands)

    A. Loh; T. van der Storm (Tijs); W.R. Cook

    2012-01-01

    htmlabstractManaged Data is a two-level approach to data abstraction in which programmers first define data description and manipulation mechanisms, and then use these mechanisms to define specific kinds of data. Managed Data allows programmers to take control of many important aspects of data,

  8. Managed Data: Modular Strategies for Data Abstraction

    NARCIS (Netherlands)

    A. Loh; T. van der Storm (Tijs); W.R. Cook

    2012-01-01

    htmlabstractManaged Data is a two-level approach to data abstraction in which programmers first define data description and manipulation mechanisms, and then use these mechanisms to define specific kinds of data. Managed Data allows programmers to take control of many important aspects of data,

  9. Bilingual Education for Children: An Abstract Bibliography.

    Science.gov (United States)

    ERIC Clearinghouse on Early Childhood Education, Champaign, IL.

    This selective abstract bibliography prepared by ERIC Clearinghouse on Early Childhood Education is a guide to recent ERIC documents on bilingual education of children. Citations have been divided into four sections: (1) selected ethnic groups (Spanish speaking, native Americans, Chinese, Portuguese and Filipino); (2) migrants; (3) second language…

  10. Effect of Groundwater Abstraction on Fen Ecosystems

    DEFF Research Database (Denmark)

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

    2011-01-01

    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 exfil......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...... of the monitored ecosystems and the response towards groundwater abstraction and forms a solid foundation for hydrological modelling....

  11. A Mediator Architecture for Abstract Data Access

    Science.gov (United States)

    1990-02-23

    available include, retirees includes consultants Abstraction grain personal income versus family income from employ mcnt for taxation Temporal basis...Rosser, confluent and canonical [Hin 72]. Somewhere < ezpr > (and < ezpr’ >) is a conjunctive query. of these properties help us identify equivalence

  12. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

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

    2012-01-01

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

  13. Abstract Résumé Introduction

    African Journals Online (AJOL)

    134 Journal of Social Aspects of HIV/AIDS. VOL. 6 NO. 3 NOVEMBEr 2009. Original Article. Abstract. HIV prevalence in central Mozambique is the highest in the country with high urban rates impacting on the rural areas. To identify potential factors influencing the spread of HIV in three sparsely populated districts in ...

  14. Abstract: Implementing Infection Control Measures in Neonatology ...

    African Journals Online (AJOL)

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

  15. Natural radiation environment III. [Lead Abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-01-01

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

  16. Abstract: Validating a Questionnaire Assessing Knowledge and ...

    African Journals Online (AJOL)

    Abstract. Background Nurses and doctors need knowledge about and access to resuscitation materials quickly and efficiently to improve the quality of emergency care. This is especially difficult in a low resource setting. To address this need, emergency trolleys are being developed on a unit-based level at a referral hospital ...

  17. Reducing Abstraction When Learning Graph Theory

    Science.gov (United States)

    Hazzan, Orit; Hadar, Irit

    2005-01-01

    This article presents research on students' understanding of basic concepts in Graph Theory. Students' understanding is analyzed through the lens of the theoretical framework of reducing abstraction (Hazzan, 1999). As it turns out, in spite of the relative simplicity of the concepts that are introduced in the introductory part of a traditional…

  18. Depression and Abstract Problem Solving Ability.

    Science.gov (United States)

    Kalil, Kathleen M.; Doyal, Guy

    Depression has been linked to cognitive deficits and learned helplessness models in various theories. To examine depression effects on abstract problem solving ability and the relationship between intelligence and anxiety, 66 of 303 college students (23 male, 43 female), evidencing least and most depressed states as assessed by the Beck Depression…

  19. Does Abstracting Threaten a Sustainable Future?

    Science.gov (United States)

    Grant, Lyle K.

    2012-01-01

    In abstraction, or conceptual behavior, people discriminate features or properties of their surroundings. This permits people to respond selectively and precisely to specialized features of their environment, which has had many benefits, including steady advances in science and technology. Within psychology, J. R. Kantor and B. F. Skinner…

  20. Coding the Eggen Cards (Poster abstract)

    Science.gov (United States)

    Silvis, G.

    2014-06-01

    (Abstract only) A look at the Eggen Portal for accessing the Eggen cards. And a call for volunteers to help code the cards: 100,000 cards must be looked at and their star references identified and coded into the database for this to be a valuable resource.

  1. The Eggen Card Project (Poster abstract)

    Science.gov (United States)

    Silvis, G.

    2015-06-01

    (Abstract only) At the 2013 meeting we kicked off the Eggen Card project. This project was to make the huge collection of photometric observations made by Olin Eggen accessible to researchers. My poster this year is to report progress and encourage more members to participate.

  2. Conference Abstracts | Manda Taylor | Malawi Medical Journal

    African Journals Online (AJOL)

    Award-winning abstracts from the first Paediatric and Child Health Association of Malawi Conference. Theme: Using a multidisciplinary team approach to improve child health outcomes throughout Malawi. Full Text: EMAIL FREE FULL TEXT EMAIL FREE FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT.

  3. Hydrogen Abstraction from Hydrocarbons by NH2.

    Science.gov (United States)

    Siddique, Kamal; Altarawneh, Mohammednoor; Gore, Jeff; Westmoreland, Phillip R; Dlugogorski, Bogdan Z

    2017-03-23

    This contribution investigates thermokinetic parameters of bimolecular gas-phase reactions involving the amine (NH2) radical and a large number of saturated and unsaturated hydrocarbons. These reactions play an important role in combustion and pyrolysis of nitrogen-rich fuels, most notably biomass. Computations performed at the CBS-QB3 level and based on the conventional transition-state theory yield potential-energy surfaces and reaction rate constants, accounting for tunnelling effects and the presence of hindered rotors. In an analogy to other H abstraction systems, we demonstrate only a small influence of variational effects on the rate constants for selected reaction. The studied reactions cover the abstraction of hydrogen atoms by the NH2 radical from the C-H bonds in C1-C4 species, and four C5 hydrocarbons of 2-methylbutane, 2-methyl-1-butene, 3-methyl-1-butene, 3-methyl-2-butene, and 3-methyl-1-butyne. For the abstraction of H from methane, in the temperature windows 300-500 and 1600-2000 K, the calculated reaction rate constants concur with the available experimental measurements, i.e., kcalculated/kexperimetal = 0.3-2.5 and 1.1-1.4, and the previous theoretical estimates. Abstraction of H atom from ethane attains the ratio of kcalculated/kexperimetal equal to 0.10-1.2 and 1.3-1.5 over the temperature windows of available experimental measurements, i.e., 300-900 K and 1500-2000 K, respectively. For the remaining alkanes (propane and n-butane), the average kexperimental/kcalculated ratio remains 2.6 and 1.3 over the temperature range of experimental data. Also, comparing the calculated standard enthalpy of reaction (ΔrH°298) with the available experimental measurements for alkanes, we found the mean unsigned error of computations as 3.7 kJ mol-1. This agreement provides an accuracy benchmark of our methodology, affording the estimation of the unreported kinetic parameters for H abstractions from alkenes and alkynes. On the basis of the Evans-Polanyi plots

  4. Chemical Emergencies

    Science.gov (United States)

    When a hazardous chemical has been released, it may harm people's health. Chemical releases can be unintentional, as in the case of an ... the case of a terrorist attack with a chemical weapon. Some hazardous chemicals have been developed by ...

  5. Alemayehu Yismaw Demamu Abstract Ethiopia overhauled its ...

    African Journals Online (AJOL)

    exchange of goods or services; distribution agreement; commercial ... works; consulting; engineering; licensing; investment; financing; banking; insurance; ... possibility of adjudicating disputes relating to personal matters such as commercial disputes in .... LAW AND DEVELOPMENT AND LEGAL PLURALISM IN ETHIOPIA,.

  6. Abstract Level Parallelization of Finite Difference Methods

    Directory of Open Access Journals (Sweden)

    Edwin Vollebregt

    1997-01-01

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

  7. Abstraction of Dynamical Systems by Timed Automata

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2011-04-01

    Full Text Available 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 requirements, which by classical control methods is impossible. We put forward a method for abstracting dynamical systems, where level sets of Lyapunov functions are used to generate the partitioning of the state space. We propose to partition the state space using an entire family of functions. The properties of these functions ensure that the discrete model captures the behaviors of a dynamical system by generating appropriate equivalence classes of the states. These equivalence classes make up the partition of the state space.

  8. Automatic identification of abstract online groups

    Science.gov (United States)

    Engel, David W; Gregory, Michelle L; Bell, Eric B; Cowell, Andrew J; Piatt, Andrew W

    2014-04-15

    Online abstract groups, in which members aren't explicitly connected, can be automatically identified by computer-implemented methods. The methods involve harvesting records from social media and extracting content-based and structure-based features from each record. Each record includes a social-media posting and is associated with one or more entities. Each feature is stored on a data storage device and includes a computer-readable representation of an attribute of one or more records. The methods further involve grouping records into record groups according to the features of each record. Further still the methods involve calculating an n-dimensional surface representing each record group and defining an outlier as a record having feature-based distances measured from every n-dimensional surface that exceed a threshold value. Each of the n-dimensional surfaces is described by a footprint that characterizes the respective record group as an online abstract group.

  9. Old Romanian pluralized mass and abstract nouns

    Directory of Open Access Journals (Sweden)

    Gabriela Pană Dindelegan

    2017-09-01

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

  10. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

    The model-checking problem is to decide, given a formula φ and an interpretation M, whether M satisfies φ, written M |= φ. Model-checking algorithms for temporal logics were initially developed with finite models (such as models of hardware) in mind so that M |= φ is decidable. As interest grew...... in model-checking infinite systems, other approaches were developed based on approximating the model-checking algorithm so that it still terminates with some useful output. In this work we present a model-checking algorithm for a multiagent epistemic logic contain- ing operators for common and distributed...... knowledge. The model-checker is developed as a function directly from the semantics of the logic, in a style that could be applied straight- forwardly to derive model-checkers for other logics. Secondly, we consider how to abstract the model-checker using abstract interpretation, yielding a procedure...

  11. NASA Patent Abstracts October 2006: A Continuing Bibliography. Supplement 67

    Science.gov (United States)

    2006-01-01

    Several thousand inventions result each year from research supported by the National Aeronautics and Space Administration. NASA seeks patent protection on inventions to which it has title if the invention has important use in government programs or significant commercial potential. These inventions cover a broad range of technologies and include many that have useful and valuable commercial application. NASA inventions best serve the interests of the United States when their benefits are available to the public. In many instances, the granting of nonexclusive or exclusive licenses for the practice of these inventions may assist in the accomplishment of this objective. This bibliography is published as a service to companies, firms, and individuals seeking new, licensable products for the commercial market. The NASA Patent Abstracts Bibliography is an annual NASA publication containing comprehensive abstracts of NASA-owned inventions covered by U.S. patents. The citations included were originally published in NASA s Scientific and Technical Aerospace Reports (STAR) and cover STAR announcements made since May 1969. The citations published in this issue cover the period July 2005 through September 2006. The range of subjects covered includes the NASA Scope and Subject Category Guide's 10 broad subject divisions separated further into 76 specific categories. However, not all categories contain citations during the dates covered for this issue; therefore, the Table of Contents does not include all divisions and categories. This scheme was devised in 1975 and last revised in 2005 in lieu of the 34 category divisions which were utilized in supplements (01) through (06) covering STAR abstracts from May 1969 through January 1974. Each entry consists of a citation accompanied by an abstract and, when appropriate, a key illustration taken from the patent or application for patent. Entries are arranged by subject category in ascending order. When available, citations contain a

  12. Fully Abstract Game Semantics for Actors

    OpenAIRE

    Wang, Yong

    2014-01-01

    Along the way paved by the recent concurrent game semantics for process algebra CCS and $\\pi$-calculus, based on the basic characteristics of the actor computational model and the very reductive semantics for actors, we establish a fully abstract concurrent game semantics for actors by borrowing the algebraic structure from CCS. This semantics can both be seen as an innocent presheaf semantics, and a concurrent game semantics.

  13. Model Checking, Abstraction, and Compositional Verification

    Science.gov (United States)

    1993-07-01

    a mathematical model of the design is proved to satisfy a precise specification. Model checking is one formal verification technique. It consists of...involving the sequencing of events in time. One of the main drawbacks of model checking is the state explosion problem. This problem occurs in systems...considers two methods for avoiding the state explosion problem in the context of model checking : compositional verification and abstraction

  14. Conference Abstracts: Obstetrique | Various Authors | Clinics in ...

    African Journals Online (AJOL)

    Various Abstracts from \\"1er Congrès Franco – Camerounais de Gynécologie et Obstétrique. Clinics in Mother and Child Health Vol. 5 (1) 2008: pp. 830-839. AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians · for Authors · FAQ's · More about AJOL · AJOL's Partners · Terms and Conditions ...

  15. Conference Abstracts: Procration Medicalement Assistee (PMA ...

    African Journals Online (AJOL)

    Various Abstracts: 1er Congrès Franco – Camerounais de Gynécologie et Obstétrique. Clinics in Mother and Child Health Vol. 5 (1) 2008: pp. 840-841. AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians · for Authors · FAQ's · More about AJOL · AJOL's Partners · Terms and Conditions of ...

  16. Conference Abstracts: Gynecologie | Various Authors | Clinics in ...

    African Journals Online (AJOL)

    Various Abstracts: 1er Congrès Franco – Camerounais de Gynécologie et Obstétrique. Clinics in Mother and Child Health Vol. 5 (1) 2008: pp. 846-853. AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians · for Authors · FAQ's · More about AJOL · AJOL's Partners · Terms and Conditions of ...

  17. Heat Pipe Technology: A bibliography with abstracts

    Science.gov (United States)

    1974-01-01

    This bibliography lists 149 references with abstracts and 47 patents dealing with applications of heat pipe technology. Topics covered include: heat exchangers for heat recovery; electrical and electronic equipment cooling; temperature control of spacecraft; cryosurgery; cryogenic, cooling; nuclear reactor heat transfer; solar collectors; laser mirror cooling; laser vapor cavitites; cooling of permafrost; snow melting; thermal diodes variable conductance; artery gas venting; and venting; and gravity assisted pipes.

  18. Cryogenic adhesives and sealants: Abstracted publications

    Science.gov (United States)

    Williamson, F. R.; Olien, N. A.

    1977-01-01

    Abstracts of primary documents containing original experimental data on the properties of adhesives and sealants at cryogenic temperatures are presented. The most important references mentioned in each document are cited. In addition, a brief annotation is given for documents considered secondary in nature, such as republications or variations of original reports, progress reports leading to final reports included as primary documents, and experimental data on adhesive properties at temperatures between about 130 K and room temperature.

  19. Poster Abstract: Towards NILM for Industrial Settings

    DEFF Research Database (Denmark)

    Holmegaard, Emil; Kjærgaard, Mikkel Baun

    2015-01-01

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

  20. Earth Sciences Division, collected abstracts, 1978

    Energy Technology Data Exchange (ETDEWEB)

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

    1979-03-30

    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.

  1. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    B.W. ARNOLD

    2004-10-27

    The purpose of the saturated zone (SZ) flow and transport model abstraction task is to provide radionuclide-transport simulation results for use in the total system performance assessment (TSPA) for license application (LA) calculations. This task includes assessment of uncertainty in parameters that pertain to both groundwater flow and radionuclide transport in the models used for this purpose. This model report documents the following: (1) The SZ transport abstraction model, which consists of a set of radionuclide breakthrough curves at the accessible environment for use in the TSPA-LA simulations of radionuclide releases into the biosphere. These radionuclide breakthrough curves contain information on radionuclide-transport times through the SZ. (2) The SZ one-dimensional (I-D) transport model, which is incorporated in the TSPA-LA model to simulate the transport, decay, and ingrowth of radionuclide decay chains in the SZ. (3) The analysis of uncertainty in groundwater-flow and radionuclide-transport input parameters for the SZ transport abstraction model and the SZ 1-D transport model. (4) The analysis of the background concentration of alpha-emitting species in the groundwater of the SZ.

  2. Constraint-Based Abstract Semantics for Temporal Logic

    DEFF Research Database (Denmark)

    Banda, Gourinath; Gallagher, John Patrick

    2010-01-01

    Abstract interpretation provides a practical approach to verifying properties of infinite-state systems. We apply the framework of abstract interpretation to derive an abstract semantic function for the modal mu-calculus, which is the basis for abstract model checking. The abstract semantic funct...... abstract domains based on linear constraints. The implementation of the abstract semantic function makes use of an SMT solver. We describe an implemented system for proving properties of linear hybrid automata and give some experimental results....

  3. Argumentation to Foster Pre-Service Science Teachers' Knowledge, Competency, and Attitude on the Domains of Chemical Literacy of Acids and Bases

    Science.gov (United States)

    Cigdemoglu, C.; Arslan, H. O.; Cam, A.

    2017-01-01

    Argumentative practices have the potential to contribute to scientific literacy. However, these practices are not widely incorporated in science classrooms and so their effect on the domains of literacy is still not revealed. Therefore, this study proposes to reveal the effect of argumentation on the three domains of chemical literacy related to…

  4. Abstract template for the IDS 2006

    African Journals Online (AJOL)

    dr. Seres István

    The last one is attractive for all types of enzymes, in particular ... involves physical surface interactions between the enzyme and the ... All other chemicals, media, and reagents were of analytical grade. Microorganism and lipase production. The lipase used as model in this study was produced by the endophytic fungus C.

  5. 15. international conference on plant growth substances: Program -- Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-12-31

    Since the 14th Conference in Amsterdam in 1991, progress in plant hormone research and developmental plant biology has been truly astonishing. The five ``classical`` plant hormones, auxin, gibberellin, cytokinin, ethylene, and abscisic acid, have been joined by a number of new signal molecules, e.g., systemin, jasmonic acid, salicylic acid, whose biosynthesis and functions are being understood in ever greater detail. Molecular genetics has opened new vistas in an understanding of transduction pathways that regulate developmental processes in response to hormonal and environmental signals. The program of the 15th Conference includes accounts of this progress and brings together scientists whose work focuses on physiological, biochemical, and chemical aspects of plant growth regulation. This volume contains the abstracts of papers presented at this conference.

  6. Spaces of orderings and abstract real spectra

    CERN Document Server

    Marshall, Murray A

    1996-01-01

    This book is of interest to students as well as experts in the area of real algebraic geometry, quadratic forms, orderings, valuations, lattice ordered groups and rings, and in model theory. The original motivation comes from orderings on fields and commutative rings. This is explained as is the important application to minimal generation of semi-algebraic sets. Many results in the new theory of abstract real spectra (also called spaces of signs) appear here for the first time. The reader needs elementary knowledge of commutative rings, ordered fields and real closed fields and valuations.

  7. On implicit abstract neutral nonlinear differential equations

    Energy Technology Data Exchange (ETDEWEB)

    Hernández, Eduardo, E-mail: lalohm@ffclrp.usp.br [Universidade de São Paulo, Departamento de Computação e Matemática, Faculdade de Filosofia Ciências e Letras de Ribeirão Preto (Brazil); O’Regan, Donal, E-mail: donal.oregan@nuigalway.ie [National University of Ireland, School of Mathematics, Statistics and Applied Mathematics (Ireland)

    2016-04-15

    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.

  8. An Abstract Model of Historical Processes

    Directory of Open Access Journals (Sweden)

    Michael Poulshock

    2017-06-01

    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.

  9. Two-Level Semantics and Abstract Interpretation

    DEFF Research Database (Denmark)

    Nielson, Flemming

    1989-01-01

    Two-level semantics is a variant of Scott/Strachey denotational semantics in which the concept of binding time is treated explicitly. This is done by formally distinguishing between those computations that take place at run-time and those that take place at compile-time. Abstract interpretation...... is developed. This may also be used to compare the precision of various analyses. Next it is shown that, given a choice of properties of programs, one may specify a most precise analysis (or best induced analysis). This may also be used to investigate the collecting semantics (or static semantics). Finally...

  10. 173 Résumé Abstract

    African Journals Online (AJOL)

    AKA BOKO

    modèle mathématique de la cinétique de séchage du maïs. Nous validons le modèle adopté par rapport à l'autre modèle, nous observons que les résultats sont en accords. Mots-clés : Modèle, vitesse séchage, cinétique de séchage, produits hygroscopiques, maïs. Abstract. Modelisation of the speed drying of the corn.

  11. Software Security - The Dangers of Abstraction

    Science.gov (United States)

    Gollmann, Dieter

    Software insecurity can be explained as a potpourri of hacking methods, ranging from the familiar, e.g. buffer overruns, to the exotic, e.g. code insertion with Chinese characters. From such an angle software security would just be a collection of specific countermeasures. We will observe a common principle that can guide a structured presentation of software security and give guidance for future research directions: There exists a discrepancy between the abstract programming concepts used by software developers and their concrete implementation on the given execution platform. In support of this thesis, five case studies will be discussed, viz characters, integers, variables, atomic transactions, and double linked lists.

  12. Introduction to the theory of abstract algebras

    CERN Document Server

    Pierce, Richard S

    2014-01-01

    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

  13. The eighth national electromagnetics meeting. Extended abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Eloranta, E.; Jokela, K. [eds.

    1998-09-01

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

  14. Static analysis of software the abstract interpretation

    CERN Document Server

    Boulanger, Jean-Louis

    2013-01-01

    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

  15. The Mystery of V523 Lyrae (Abstract)

    Science.gov (United States)

    Simonsen, M.

    2016-12-01

    (Abstract only) In the course of vetting submissions to VSX, it was suggested by a user that V523 Lyrae might be a Z Cam star. Investigations led to quite a bit of confusion initially because V523 Lyr was addressed in two separate papers on Kepler observations of cataclysmic variables, with two different light curves and conclusions as to its nature and classification. Adding to the confusion was the fact that the principle author of one paper was also a co-author on the other paper.

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1977-01-01

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

  17. STARD for Abstracts : Essential items for reporting diagnostic accuracy studies in journal or conference abstracts

    NARCIS (Netherlands)

    Cohen, Jérémie F; Korevaar, Daniël A; Gatsonis, Constantine A.; Glasziou, Paul; Hooft, Lotty|info:eu-repo/dai/nl/279922078; Moher, David; Reitsma, Johannes B.|info:eu-repo/dai/nl/189853107; de Vet, Henrica C. W.; Bossuyt, Patrick Mm

    2017-01-01

    Many abstracts of diagnostic accuracy studies are currently insufficiently informative. We extended the STARD (Standards for Reporting Diagnostic Accuracy) statement by developing a list of essential items that authors should consider when reporting diagnostic accuracy studies in journal or

  18. STARD for Abstracts: essential items for reporting diagnostic accuracy studies in journal or conference abstracts

    NARCIS (Netherlands)

    Cohen, Jérémie F.; Korevaar, Daniël A.; Gatsonis, Constantine A.; Glasziou, Paul P.; Hooft, Lotty; Moher, David; Reitsma, Johannes B.; de Vet, Henrica Cw; Bossuyt, Patrick M.

    2017-01-01

    Many abstracts of diagnostic accuracy studies are currently insufficiently informative. We extended the STARD (Standards for Reporting Diagnostic Accuracy) statement by developing a list of essential items that authors should consider when reporting diagnostic accuracy studies in journal or

  19. The PubChem chemical structure sketcher

    Directory of Open Access Journals (Sweden)

    Ihlenfeldt Wolf D

    2009-12-01

    Full Text Available Abstract PubChem is an important public, Web-based information source for chemical and bioactivity information. In order to provide convenient structure search methods on compounds stored in this database, one mandatory component is a Web-based drawing tool for interactive sketching of chemical query structures. Web-enabled chemical structure sketchers are not new, being in existence for years; however, solutions available rely on complex technology like Java applets or platform-dependent plug-ins. Due to general policy and support incident rate considerations, Java-based or platform-specific sketchers cannot be deployed as a part of public NCBI Web services. Our solution: a chemical structure sketching tool based exclusively on CGI server processing, client-side JavaScript functions, and image sequence streaming. The PubChem structure editor does not require the presence of any specific runtime support libraries or browser configurations on the client. It is completely platform-independent and verified to work on all major Web browsers, including older ones without support for Web2.0 JavaScript objects.

  20. Magnus Osahon Igbinovia Oluwayinka Esther Solanke Abstract ...

    African Journals Online (AJOL)

    yinka

    service personnel develop their organisational citizen behaviour. It was also recommended that libraries should organised .... three needs correlated positively with optimal functioning (e.g., Lynch, Plant, &. Ryan, 2005), which ..... emotional intelligence, level of information literacy competence and learning styles so as to ...

  1. Language Abstraction in Word of Mouth

    NARCIS (Netherlands)

    G.A.C. Schellekens (Gaby)

    2010-01-01

    textabstractIn word of mouth, consumers talk about their experiences with products and services with other consumers. These conversations are important sources of information for consumers. While word of mouth has fascinated researchers and practitioners for many years, little attention has been

  2. DSNF and other waste form degradation abstraction

    Energy Technology Data Exchange (ETDEWEB)

    Thornton, Thomas A.

    2000-12-20

    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.

  3. Current Abstracts Nuclear Reactors and Technology

    Energy Technology Data Exchange (ETDEWEB)

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

    1993-01-01

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

  4. Chemical exchange program analysis.

    Energy Technology Data Exchange (ETDEWEB)

    Waffelaert, Pascale

    2007-09-01

    As part of its EMS, Sandia performs an annual environmental aspects/impacts analysis. The purpose of this analysis is to identify the environmental aspects associated with Sandia's activities, products, and services and the potential environmental impacts associated with those aspects. Division and environmental programs established objectives and targets based on the environmental aspects associated with their operations. In 2007 the most significant aspect identified was Hazardous Materials (Use and Storage). The objective for Hazardous Materials (Use and Storage) was to improve chemical handling, storage, and on-site movement of hazardous materials. One of the targets supporting this objective was to develop an effective chemical exchange program, making a business case for it in FY07, and fully implementing a comprehensive chemical exchange program in FY08. A Chemical Exchange Program (CEP) team was formed to implement this target. The team consists of representatives from the Chemical Information System (CIS), Pollution Prevention (P2), the HWMF, Procurement and the Environmental Management System (EMS). The CEP Team performed benchmarking and conducted a life-cycle analysis of the current management of chemicals at SNL/NM and compared it to Chemical Exchange alternatives. Those alternatives are as follows: (1) Revive the 'Virtual' Chemical Exchange Program; (2) Re-implement a 'Physical' Chemical Exchange Program using a Chemical Information System; and (3) Transition to a Chemical Management Services System. The analysis and benchmarking study shows that the present management of chemicals at SNL/NM is significantly disjointed and a life-cycle or 'Cradle-to-Grave' approach to chemical management is needed. This approach must consider the purchasing and maintenance costs as well as the cost of ultimate disposal of the chemicals and materials. A chemical exchange is needed as a mechanism to re-apply chemicals on site. This

  5. SASOP Biological Psychiatry Congress 2013 Abstracts

    Directory of Open Access Journals (Sweden)

    E Allers

    2013-08-01

    Full Text Available List of abstracts and authors: 1. Bipolar disorder not otherwise specified -overdiagnosed or underdiagnosed? E Allers 2. The prognosis of major depression untreated and treated: Does the data reflect the true picture of the prognosis of this very common disorder? E Allers 3. Can we prolong our patients' life expectancy? Providing a better quality of life for patients with severe mental illness O A Betencourt 4. The scope of ECT practice in South Africa J Benson-Martin, P Milligan 5. Biomarkers for schizophrenia: Can we evolve like cancer therapeutics? P Buckley 6. Relapse in schizophrenis: Major challenges in prediction and prevention P Buckley 7. Informed consent in biological treatments: The right to know the duty to inform I Chetty 8. Effectiveness of a long-acting injectable antipsychotic plus an assertive monitoring programme in first-episode schizophrenia B Chiliza, L Asmal, O Esan, A Ojagbemi, O Gureje, R Emsley 9. Name, shame, fame P Cilliers 10. Can we manage the increasing incidence of violent raging children? We have to! H Clark 11. Serotonin, depression and antidepressant action P Cowen 12. Prevalence and correlates of comorbid psychiatris illness in patients with heroin use disorder admitted to Stikland Opioid Detoxification Unit L Dannatt, K J Cloete, M Kidd, L Weich 13. Investigating the association between diabetes mellitus, depression and psychological distress in a cohort of South African teachers A K Domingo, S Seedat, T M Esterhuizen, C Laurence, J Volmink, L Asmal 14. Neuropeptide S -emerging evidence for a role in anxiety K Domschke 15. Pathogenetics of anxiety K Domschke 16. The effects of HIV on the fronto-striatal system S du Plessis, M Vink, J Joska, E Koutsilieri, C Scheller, B Spottiswoode, D Stein, R Emsley 17. Effects of acute antipsychotic treatment on brain morphology in schizophrenia R Emsley, L Asmal, B Chiliza, S du Plessis, J Carr, A Goosen, M Kidd, M Vink, R Kahn 18. Development of a genetic database resource

  6. Model Checking Abstract PLEXIL Programs with SMART

    Science.gov (United States)

    Siminiceanu, Radu I.

    2007-01-01

    We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

  7. MicroCar 2003. Abstracts of papers

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2003-07-01

    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.

  8. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

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

    1983-01-01

    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...... a]. The application area of BETA is programming of embedded as well as distributed computing systems. For this reason a major goal has been to develop constructs that may be efficiently implemented. Furthermore the BETA language is intended to have a few number of basic but general constructs....... 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...

  9. AUTOMATIC BUILDING ABSTRACTION FROM AERIAL PHOTOGRAMMETRY

    Directory of Open Access Journals (Sweden)

    A. Ley

    2017-09-01

    Full Text Available Multi-view stereo has been shown to be a viable tool for the creation of realistic 3D city models. Nevertheless, it still states significant challenges since it results in dense, but noisy and incomplete point clouds when applied to aerial images. 3D city modelling usually requires a different representation of the 3D scene than these point clouds. This paper applies a fully-automatic pipeline to generate a simplified mesh from a given dense point cloud. The mesh provides a certain level of abstraction as it only consists of relatively large planar and textured surfaces. Thus, it is possible to remove noise, outlier, as well as clutter, while maintaining a high level of accuracy.

  10. Automatic Building Abstraction from Aerial Photogrammetry

    Science.gov (United States)

    Ley, A.; Hänsch, R.; Hellwich, O.

    2017-09-01

    Multi-view stereo has been shown to be a viable tool for the creation of realistic 3D city models. Nevertheless, it still states significant challenges since it results in dense, but noisy and incomplete point clouds when applied to aerial images. 3D city modelling usually requires a different representation of the 3D scene than these point clouds. This paper applies a fully-automatic pipeline to generate a simplified mesh from a given dense point cloud. The mesh provides a certain level of abstraction as it only consists of relatively large planar and textured surfaces. Thus, it is possible to remove noise, outlier, as well as clutter, while maintaining a high level of accuracy.

  11. Interfacing microbiology and biotechnology. Conference abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Maupin, Julia A.

    2001-05-19

    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.

  12. Hydrogen-Abstraction/Acetylene-Addition Exposed.

    Science.gov (United States)

    Yang, Tao; Troy, Tyler P; Xu, Bo; Kostko, Oleg; Ahmed, Musahid; Mebel, Alexander M; Kaiser, Ralf I

    2016-11-21

    Polycyclic aromatic hydrocarbons (PAHs) are omnipresent in the interstellar medium (ISM) and also in carbonaceous meteorites (CM) such as Murchison. However, the basic reaction routes leading to the formation of even the simplest PAH-naphthalene (C10 H8 )-via the hydrogen-abstraction/acetylene-addition (HACA) mechanism still remain ambiguous. Here, by revealing the uncharted fundamental chemistry of the styrenyl (C8 H7 ) and the ortho-vinylphenyl radicals (C8 H7 )-key transient species of the HACA mechanism-with acetylene (C2 H2 ), we provide the first solid experimental evidence on the facile formation of naphthalene in a simulated combustion environment validating the previously postulated HACA mechanism for these two radicals. This study highlights, at the molecular level spanning combustion and astrochemistry, the importance of the HACA mechanism to the formation of the prototype PAH naphthalene. © 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.

  13. VEST: Abstract vector calculus simplification in Mathematica

    Science.gov (United States)

    Squire, J.; Burby, J.; Qin, H.

    2014-01-01

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

  14. Eggen Card Project: Progress and Plans (Abstract)

    Science.gov (United States)

    Silvis, G.

    2016-12-01

    (Abstract only) The Eggen Card Project has been running since 2009 and has involved 30+ AAVSO staff and volunteers. Let me offer a short review of the project, our progress this year and our plans for the future. Phase 1 of the project has been to index the 108,000 card images, identifying the stars they belong too. We've passed the 75% point on this phase. The next phase is how to use this data. Jack Crast has identified the photometric schemes used by Olin and developed a spreadsheet tool to prepare this data for inclusion into the AAVSO International Database (AID). Anyone want good photometry from 1970? We got it!

  15. Theoretical study of the reactivity trends in the Cl-abstraction ...

    Indian Academy of Sciences (India)

    Carbene radical anion; Cl-abstraction reaction; second-order Møller-Plesset perturbation theory (UMP2). ... Lanzhou, Gansu 730030, People's Republic of China; Gansu Key Laboratory of Polymer Materials, College of Chemistry and Chemical Engineering, Key Laboratory of Eco-environment-related Polymer Materials; ...

  16. Thirty-seventh ORNL/DOE conference on analytical chemistry in energy technology: Abstracts of papers

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-12-31

    Abstracts only are given for papers presented during the following topical sessions: Opportunities for collaboration: Industry, academic, national laboratories; Developments in sensor technology; Analysis in containment facilities; Improving the quality of environmental data; Process analysis; Field analysis; Radiological separations; Interactive analytical seminars; Measurements and chemical industry initiatives; and Isotopic measurements and mass spectroscopy.

  17. Chemical allergy in humans

    DEFF Research Database (Denmark)

    Kimber, Ian; Basketter, David A; Thyssen, Jacob P

    2014-01-01

    Abstract There is considerable interest in the immunobiological processes through which the development of allergic sensitization to chemicals is initiated and orchestrated. One of the most intriguing issues is the basis for the elicitation by chemical sensitizers of different forms of allergic...... reaction; that is, allergic contact dermatitis or sensitization of the respiratory tract associated with occupational asthma. Studies in rodents have revealed that differential forms of allergic sensitization to chemicals are, in large part at least, a function of the selective development of discrete...... functional sub-populations of CD4(+) and CD8(+) T-lymphocytes. Evidence for a similar association of chemical allergy in humans with discrete T-lymphocyte populations is, however, limited. It is of some interest, therefore, that two recent articles from different teams of investigators have shed new light...

  18. Exploiting the systematic review protocol for classification of medical abstracts.

    Science.gov (United States)

    Frunza, Oana; Inkpen, Diana; Matwin, Stan; Klement, William; O'Blenis, Peter

    2011-01-01

    To determine whether the automatic classification of documents can be useful in systematic reviews on medical topics, and specifically if the performance of the automatic classification can be enhanced by using the particular protocol of questions employed by the human reviewers to create multiple classifiers. The test collection is the data used in large-scale systematic review on the topic of the dissemination strategy of health care services for elderly people. From a group of 47,274 abstracts marked by human reviewers to be included in or excluded from further screening, we randomly selected 20,000 as a training set, with the remaining 27,274 becoming a separate test set. As a machine learning algorithm we used complement naïve Bayes. We tested both a global classification method, where a single classifier is trained on instances of abstracts and their classification (i.e., included or excluded), and a novel per-question classification method that trains multiple classifiers for each abstract, exploiting the specific protocol (questions) of the systematic review. For the per-question method we tested four ways of combining the results of the classifiers trained for the individual questions. As evaluation measures, we calculated precision and recall for several settings of the two methods. It is most important not to exclude any relevant documents (i.e., to attain high recall for the class of interest) but also desirable to exclude most of the non-relevant documents (i.e., to attain high precision on the class of interest) in order to reduce human workload. For the global method, the highest recall was 67.8% and the highest precision was 37.9%. For the per-question method, the highest recall was 99.2%, and the highest precision was 63%. The human-machine workflow proposed in this paper achieved a recall value of 99.6%, and a precision value of 17.8%. The per-question method that combines classifiers following the specific protocol of the review leads to better

  19. ChemInform Abstract: The Palladium-Catalyzed Aerobic Kinetic Resolution of Secondary Alcohols: Reaction Development, Scope, and Applications.

    KAUST Repository

    Ebner, David C.

    2010-03-30

    ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.

  20. DOE-NABIR PI Workshop: Abstracts 2003

    Energy Technology Data Exchange (ETDEWEB)

    Various

    2003-01-28

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

  1. DOE NABIR PI Workshop: Abstracts 2002

    Energy Technology Data Exchange (ETDEWEB)

    Hawkes (Editor), Dan

    2002-01-09

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

  2. The Transiting Exoplanet Survey Satellite (Abstract)

    Science.gov (United States)

    Oelkers, R. J.

    2017-06-01

    (Abstract only) The Transiting Exoplanet Survey Satellite (TESS) will be conducting a nearly all-sky, photometric survey over the course of two years, with a core mission goal to discover small transiting exoplanets orbiting nearby, bright stars. The satellite will obtain 30-minute cadence observations for more than 1 billion objects in the 26 TESS fields of view and 2-minute cadence observations of 200,000 to 400,000 selected stars. The TESS mission is expected to detect 1,500 transiting planet candidates, including 500 Earth-sized objects, over the course of its two-year mission. The choice of which stars to observe at the 2-minute cadence is driven by the need to detect small, transiting planets, leading to the selection of primarily bright, cool dwarfs. These stars will be 10 to 100 times brighter than the stars observed by Kepler, providing a unique opportunity for an amateur-professional collaboration to heavily contribute to candidate follow-up. I describe the TESS science mission, its current status and the mission's photometric and spectroscopic follow-up needs.

  3. Plans should abstractly describe intended behavior

    Energy Technology Data Exchange (ETDEWEB)

    Pfleger, K.; Hayes-Roth, B. [Stanford Univ., CA (United States)

    1996-12-31

    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.

  4. Going Over to the Dark Side (Abstract)

    Science.gov (United States)

    Cowall, D.

    2015-06-01

    (Abstract only) This is the tale of my continuing journey transforming from a visual to a CCD photometrist. It is my hope that sharing my experiences will help and encourage others to consider taking the same path. It has been hard, but fun; a wonderful opportunity as a newly retired physician to expand my horizons. However, my brain did have to make the switch from Biology to Physics. The major barrier that concerned me was cost, but change itself was also a challenge. Other issues included dealing with the complexity of technical systems and a myriad of details. My solution was to be patient and think small to insure success and then build upon all those little victories. The pedagogical component of this project was critical as well. It began with a good mentor and continued via networking with other members at meetings, taking CHOICE courses, and most importantly: practice, practice, practice. Each plateau suggested many new possibilities. I think “The Force” is now with me! The adventure continues.

  5. Types: A data abstraction package in FORTRAN

    Science.gov (United States)

    Youssef, Saul

    1990-08-01

    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.

  6. Metaphors are physical and abstract: ERPs to metaphorically modified nouns resemble ERPs to abstract language

    Directory of Open Access Journals (Sweden)

    Bálint eForgács

    2015-02-01

    Full Text Available Metaphorical expressions very often involve words referring to physical entities and experiences. Yet, figures of speech such as metaphors are not intended to be understood literally, word-by-word. We used event-related brain potentials (ERPs to determine whether metaphorical expressions are processed more like physical or more like abstract expressions. To this end, novel adjective-noun word pairs were presented visually in three conditions: (1 Physical, easy to experience with the senses (e.g., printed schedule; (2 Abstract, difficult to experience with the senses (e.g., conditional schedule; and (3 novel Metaphorical, expressions with a physical adjective, but a figurative meaning (e.g., thin schedule. We replicated the N400 lexical concreteness effect for concrete versus abstract adjectives. In order to increase the sensitivity of the concreteness manipulation on the expressions, we divided each condition into high and low groups according to rated concreteness. Mirroring the adjective result, we observed a N400 concreteness effect at the noun for physical expressions with high concreteness ratings versus abstract expressions with low concreteness ratings, even though the nouns per se did not differ in lexical concreteness. Paradoxically, the N400 to nouns in the metaphorical expressions was indistinguishable from that to nouns in the literal abstract expressions, but only for the more concrete subgroup of metaphors; the N400 to the less concrete subgroup of metaphors patterned with that to nouns in the literal concrete expressions. In sum, we not only find evidence for conceptual concreteness separable from lexical concreteness but also that the processing of metaphorical expressions is not driven strictly by either lexical or conceptual concreteness.

  7. Exploration of the Time Domain (Abstract)

    Science.gov (United States)

    Djorgovski, G.

    2017-06-01

    (Abstract only) Time-domain astronomy is one of the most active and growing areas of astronomical research today, thanks to the new generation of synoptic sky surveys, and leading to LSST. Catalina Real-Time Transient Survey (CRTS; http://crts.caltech.edu) is systematically exploring and characterizing the variable sky since 2008, with the archival data going back to 2005. The survey covers the total area of 33,000 deg2, down to 19±21 mag per exposure, with time baselines from 10 min to 10 years, and growing; there are now typically 200±400 exposures per pointing, and coadded images reach deeper than 23 magnitude. The survey has so far detected over 13,000 unique, high-amplitude transients, including 4,000 confirmed or likely supernovae, nearly 2,000 CVs (the great majority of them previously uncatalogued), about 4,000 blazars and other flaring AGN, and a broad variety of other types of objects. Many of these objects can benefit from a follow-up by the amateur community. CRTS is intended to be a data resource for the entire astronomical community. We have a completely open data policy: all discovered transient events are published in real time with no proprietary delay period, and all data are made public, in order to better serve the entire community, and maximize the scientific returns. This includes an archive of 500 million light curves, which are being updated continuously. This is an unprecedented data set for the exploration of the time domain, in terms of the area, depth, and temporal coverage. Numerous scientific projects have been enabled by this data stream, including: discoveries of ultraluminous and otherwise peculiar SNe; unusual CVs and dwarf novae; mapping of the structure in the Galactic halo using RR Lyrae; variability-based discovery of AGN and probes of their physics; and so on.

  8. Chemical substructure analysis in toxicology

    Energy Technology Data Exchange (ETDEWEB)

    Beauchamp, R.O. Jr. [Center for Information on Toxicology and Environment, Raleigh, NC (United States)

    1990-12-31

    A preliminary examination of chemical-substructure analysis (CSA) demonstrates the effective use of the Chemical Abstracts compound connectivity file in conjunction with the bibliographic file for relating chemical structures to biological activity. The importance of considering the role of metabolic intermediates under a variety of conditions is illustrated, suggesting structures that should be examined that may exhibit potential activity. This CSA technique, which utilizes existing large files accessible with online personal computers, is recommended for use as another tool in examining chemicals in drugs. 2 refs., 4 figs.

  9. Exploring consumer exposure pathways and patterns of use for chemicals in the environment

    Directory of Open Access Journals (Sweden)

    Kathie L. Dionisio

    Full Text Available •To assign use-related information to chemicals to help prioritize which will be given more scrutiny relative to human exposure potential.•Categorical chemical use and functional information are presented through the Chemical/Product Categories Database (CPCat.•CPCat contains information on >43,000 unique chemicals mapped to ∼800 terms categorizing their usage or function.•The CPCat database is useful for modeling and prioritizing human chemical exposures.Humans are exposed to thousands of chemicals in the workplace, home, and via air, water, food, and soil. A major challenge in estimating chemical exposures is to understand which chemicals are present in these media and microenvironments. Here we describe the Chemical/Product Categories Database (CPCat, a new, publically available (http://actor.epa.gov/cpcat database of information on chemicals mapped to “use categories” describing the usage or function of the chemical. CPCat was created by combining multiple and diverse sources of data on consumer- and industrial-process based chemical uses from regulatory agencies, manufacturers, and retailers in various countries. The database uses a controlled vocabulary of 833 terms and a novel nomenclature to capture and streamline descriptors of chemical use for 43,596 chemicals from the various sources. Examples of potential applications of CPCat are provided, including identifying chemicals to which children may be exposed and to support prioritization of chemicals for toxicity screening. CPCat is expected to be a valuable resource for regulators, risk assessors, and exposure scientists to identify potential sources of human exposures and exposure pathways, particularly for use in high-throughput chemical exposure assessment. keywords: ACToR,Aggregated Computational Toxicology Resource,AICS,Australian Inventory of Chemical Substances,CAS RN,Chemical Abstracts Service Registry Number,CDR,Chemical Data Reporting Rule,CPCat,Chemical

  10. RNA interference and Register Machines (extended abstract

    Directory of Open Access Journals (Sweden)

    Masahiro Hamano

    2012-11-01

    Full Text Available RNA interference (RNAi is a mechanism whereby small RNAs (siRNAs directly control gene expression without assistance from proteins. This mechanism consists of interactions between RNAs and small RNAs both of which may be single or double stranded. The target of the mechanism is mRNA to be degraded or aberrated, while the initiator is double stranded RNA (dsRNA to be cleaved into siRNAs. Observing the digital nature of RNAi, we represent RNAi as a Minsky register machine such that (i The two registers hold single and double stranded RNAs respectively, and (ii Machine's instructions are interpreted by interactions of enzyme (Dicer, siRNA (with RISC com- plex and polymerization (RdRp to the appropriate registers. Interpreting RNAi as a computational structure, we can investigate the computational meaning of RNAi, especially its complexity. Initially, the machine is configured as a Chemical Ground Form (CGF, which generates incorrect jumps. To remedy this problem, the system is remodeled as recursive RNAi, in which siRNA targets not only mRNA but also the machine instructional analogues of Dicer and RISC. Finally, probabilistic termination is investigated in the recursive RNAi system.

  11. Effect of Chemical Treatment of Flax Fiber and Resin Manipulation on Service Life of Their Composites Using Time-Temperature Superposition

    Directory of Open Access Journals (Sweden)

    Ali Amiri

    2015-10-01

    Full Text Available In recent years there has been a resurgence of interest in the usage of natural fiber reinforced composites in more advanced structural applications. As a result, the need for improving their mechanical properties, as well as service life modeling and predictions have arisen. In this study effect of alkaline treatment of flax fiber as well as addition of 1% acrylic resin to vinyl ester on mechanical properties and long-term creep behavior of flax/vinyl ester composites was investigated. To perform the alkaline treatment, fibers were immersed into 1500 mL of 10 g/L sodium hydroxide/ethanol solution at 78 °C for 2 h. Findings revealed that alkaline treatment was successful in increasing interlaminar shear, tensile and flexural strength of the composite but decreased the tensile and flexural modulus by 10%. Addition of acrylic resin to the vinyl ester resin improved all mechanical properties except the flexural modulus which was decreased by 5%. In order to evaluate the long-term behavior, creep compliance master curves were generated using the time-temperature superposition principle. Results suggests that fiber and matrix treatments delay the creep response and slows the process of creep in flax/vinyl ester composites in the steady state region, respectively.

  12. Water 2010. Abstracts; Wasser 2010. Kurzreferate

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2010-07-01

    Within the Annual Conference 2010 of the Wasserchemischen Gesellschaft (Berlin, Federal Republic of Germany) from 10th to 12th May, 2010, in Bayreuth (Federal Republic of Germany) the following lectures were held: (1) Retention and fouling in submerged membranes and hybrid procedure (F. Saravia); (2) Fouling of organic membranes in the ultrafiltration of municipal sewage sludges (J. Haberkamp); (3) Arsenic meets NOM - On the abiotic interactions of a toxic element with natural organic material (M. Bauer); (4) Application possibilities of modern bio-analytic methods in the water chemistry? (U. Billitewski); (5) Discussion of the applicability of new reporter cell test systems for the detection of pharmaceutical active substances in water (D. Sokolis); (6) Analytics of chlorine paraffines - a priority group of materials of the European Water Framework Directive (Preparation of ISO 12010) (S. Geiss); (7) Investigation of the disinfection side products in the chlorinbation of N,N-dimethyl sulfamid (DMS) (O. Happel); (8) Development of a photometric analysis method for polyfluorinated chemicals (PFC) as a basis for a cost-effective process monitoring analytics in the galvanic industry (A. Emmel), (9) An investigation of the elution of organic trace contaminants from artificial turf into the groundwater by means of HPTLC/AMD in combination with LC-MS (S.C. Weiss); (10) From the alchemy to contaminated sites - The chemical factory Marktredwitz: It began with the production of gold, at the end it cost million Euro (R. Roeder); (11) An investigation of the influence of the water quality on the effort for drinking water purification - a statistic model (B. Skibinski); (12) Phosphate adsorption onto granular ferric hydroxide: isotherm and fixed-bed column studies (A. Sperlich); (13) Advantages of an upstream bank filtration in the combination of ozonation and groundwater recharge (U. Huebner); (14) An oxidative treatment of barrage water in the purification of drinking water

  13. Abstracts from Dietetic Research Event: June 8 and 9, 2017.

    Science.gov (United States)

    2017-09-01

    St John's, Newfoundland was the host city of the 2017 Dietitians of Canada Annual Conference. Through the support of Dietitians of Canada and CFDR, the 2017 event was both an exciting and informative exchange of research and experience-sharing efforts that inspired attendees. The submissions for this year's Canadian Foundation for Dietetic Research (CFDR) event represented the diversity of dietetic research conducted within Canada. The topics highlighted from this year's abstracts included: Clinical Research; Community-based Nutritional Care; Determinants of Food Choice; Dietary Intake; Dietetic Practice and Education; Food Security; Nutrition and Health Education; Nutritional Assessment and Therapy; Nutrition Attitudes; Nutrition Strategy Development Patient Services; Professional Development; Vulnerable Groups and their Nutritional Needs; and, Wellness and Public Health. Each presenter provided an 11-minute oral presentation (8 minutes for presenting and 3 minutes for questions). This allowed for meaningful interaction between the presenters and those attending the sessions. These presentations offered the newest insights into important research findings that apply to dietetic practice. Attendance at the research presentations was approximately 200 and 125 on June 9 and 10, respectively. This research event would not be possible without the commitment and dedication of many people. On behalf of DC and CFDR, we would like to extend a special thank you to members of our abstract review committee: Susan Campisi (University of Toronto); Elaine Cawadias (Dietitian, Retired); Andrea Glenn (St. Francis Xavier University); Mahsa Jessri (University of Ottawa); Jessica Lieffers (University of Alberta); and Janet Madill (Brescia College). We would also like to thank all of our moderators, Jane Bellman (DC), Pierrette Buklis (CFDR Board), Marcia Cooper (Health Canada), Jenny Gusba (CFDR Board), Brenda Hartman (Brescia College), Sarah Hewko (CFDR Board Chair), Lisa Mina (CFDR

  14. Journals, Data and Abstracts Make an Integrated Electronic Resource

    Science.gov (United States)

    Boyce, P.

    1996-12-01

    Astronomy now has an integrated, Web-based information resource for research papers, data and bibliographic information. The major scholarly research journals, a comprehensive abstract service and the astronomical data centers are now linked together to provide an information resource which is not available to most other scientific disciplines. As of January, 1997, the Astrophysical Journal joins the ApJ Letters on the Web. Astronomy and Astrophysics Supplements now has a page image version. Elsevier's electronic journal New Astronomy has recently made its appearance. Over forty percent of the new peer-reviewed, astronomical literature is now available electronically. The main Astronomy and Astrophysics journal, the Astronomical Journal and others will be available by 1998, at which point ninety percent of the literature will be available electronically, a figure not approached by any other scientific discipline. With so many different sources, one of the challenges has been to integrate the on-line, peer-reviewed literature into a resource which serves the astronomical community in a unified and coherent manner. Following the lead of the AAS, the major publishers have chosen to rely upon the NASA-supported Astrophysics Data System (ADS) and the astronomical data centers to provide the means by which the various separate journals can interoperate. The data centers and the ADS have developed unique identification codes for journal articles. By adopting the existing standard "bibcodes" and integrating them into their WWW links, each of the major astronomical journals are able to link to the abstracts of most of the referenced articles. Since the ADS also serves as an on-line repository for page images of the past twenty years of the major astronomical journals, the full text of many of the referenced articles are available, too. The articles in the ADS have recently been linked through their references, both forward and backward in time. With the "bibcode" providing

  15. DSNF AND OTHER WASTE FORM DEGRADATION ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    J. CUNNANE

    2004-11-19

    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

  16. Chemical Kinetics Database

    Science.gov (United States)

    SRD 17 NIST Chemical Kinetics Database (Web, free access)   The NIST Chemical Kinetics Database includes essentially all reported kinetics results for thermal gas-phase chemical reactions. The database is designed to be searched for kinetics data based on the specific reactants involved, for reactions resulting in specified products, for all the reactions of a particular species, or for various combinations of these. In addition, the bibliography can be searched by author name or combination of names. The database contains in excess of 38,000 separate reaction records for over 11,700 distinct reactant pairs. These data have been abstracted from over 12,000 papers with literature coverage through early 2000.

  17. Chemical information systems

    Energy Technology Data Exchange (ETDEWEB)

    Zebora, M. [AT and T Bell Labs., Murray Hill, NJ (United States). Environmental Health and Safety Center

    1994-12-31

    The growing number of Federal and State regulations today from EPA to OSHA is putting a large burden on organizations to comply with regard to chemicals in the work place. The cornerstone of chemical information is the Material Safety Data Sheet (MSDS). The MSDS has been a requirement for chemical manufacturers for over fifteen years. Manufacturers of hazardous materials must provide MSDSs to purchasers. However, recent additional regulations from OSHA, in particular the Right To Know and the Hazard Communication Standard (Haz-Com) require that employers who use chemicals must be capable of providing an MSDS to every employee that requests one for a material that they work with. Paper filing systems to managing MSDSs are hard to maintain, costly, and inefficient. In multifacility organizations this can result in delays in distributions of those MSDSs to employees. At AT and T Bell Laboratories the Environmental Health and Safety Center has invested over a decade of development work into producing an integrated Chemical Inventory System/MSDS System. That system meets the requirements discussed in this paper and serves six major R and D laboratory facilities in three states. The system resides on a desktop personal computer. Operation of the system relies on teamwork between several diverse organizations which are involved in management of chemical safety at AT and T Bell Laboratories. The departments represented on that team are Industrial Hygiene and Safety, Environmental Management, Facilities Operations, Purchasing, Health Services, Research, and Environmental Data Management Services.

  18. Chemical Carcinogenesis Research Information System (CCRIS)

    Data.gov (United States)

    U.S. Department of Health & Human Services — The CCRIS database contains chemical records with carcinogenicity, mutagenicity, tumor promotion, and tumor inhibition test results. CCRIS provides historical...

  19. A logical correspondence between natural semantics and abstract machines

    DEFF Research Database (Denmark)

    Simmons, Robert J.; Zerny, Ian

    2013-01-01

    We present a logical correspondence between natural semantics and abstract machines. This correspondence enables the mechanical and fully-correct construction of an abstract machine from a natural semantics. Our logical correspondence mirrors the Reynolds functional correspondence, but we...

  20. BIBLIOGRAPHY ON SNOW, ICE AND PERMAFROST WITH ABSTRACTS. VOLUME 19

    Science.gov (United States)

    abstracted item, assigned call number, Universal Decimal Classification number, and the abstract. This volume has a geographic index which was included as a forerunner to future editions contingent on the value derived.

  1. Geographic information abstractions: conceptual clarity for geographic modeling

    OpenAIRE

    T L Nyerges

    1991-01-01

    Just as we abstract our reality to make life intellectually manageable, we must create abstractions when we build models of geographic structure and process. Geographic information abstractions with aspects of theme, time, and space can be used to provide a comprehensive description of geographic reality in a geographic information system (GIS). In the context of geographic modeling a geographic information abstraction is defined as a simultaneous focus on important characteristics of geograp...

  2. Adolescent Birth Planning and Sexuality: Abstracts of the Literature 1974.

    Science.gov (United States)

    Perkins, Barbara B.

    This is an annotated bibliography on adolescent birth control and sexuality. Materials cited come from Index Medicus, Dissertation Abstracts, ERIC, Population Index, Psychological Abstracts, and Sociological Abstracts. The bibliography is divided into six sections by subject: (1) "Adolescent Contraception: Laws and Public Opinion;" (2) "Adolescent…

  3. Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafal

    2010-01-01

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

  4. Converting One Type-Based Abstract Domain to Another

    DEFF Research Database (Denmark)

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

    2006-01-01

    The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported...

  5. DEGRO 2009. Radiation oncology - medical physics - radiation biology. Abstracts; DEGRO 2009. Radioonkologie - Medizinische Physik - Strahlenbiologie. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2009-06-15

    The special volume of the journal covers the abstracts of the DEGRO 2009 meeting on radiation oncology, medical physics, and radiation biology, covering the following topics: seldom diseases, gastrointestinal tumors, radiation reactions and radiation protection, medical care and science, central nervous system, medical physics, the non-parvicellular lung carcinomas, ear-nose-and throat, target-oriented radiotherapy plus ''X'', radio-oncology - young academics, lymphomas, mammary glands, modern radiotherapy, life quality and palliative radiotherapy, radiotherapy of the prostate carcinoma, imaging for planning and therapy, the digital documentation in clinics and practical experiences, NMR imaging and tomography, hadrons - actual status in Germany, urinal tract oncology, radiotoxicity.

  6. Abstracting across the Disciplines: A Content Analysis of Abstracts from the Natural Sciences, the Social Sciences, and the Humanities with Implications for Abstracting Standards and Online Information Retrieval.

    Science.gov (United States)

    Tibbo, Helen R.

    1992-01-01

    This study compared the content categories listed in the ANSI/ISO (American National Standards Institute/International Organization for Standardization) abstracting standards to actual content found in 120 abstracts from the chemistry, psychology, and history literature. A lack of correlation between the standards and history literature was found.…

  7. What is Chemical Engineering? | Alemayehu | Zede Journal

    African Journals Online (AJOL)

    Zede Journal. Journal Home · ABOUT · Advanced Search · Current Issue · Archives · Journal Home > Vol 3 (1968) >. Log in or Register to get access to full text downloads. Username, Password, Remember me, or Register. What is Chemical Engineering? M Alemayehu. Abstract. No Abstract. Full Text: EMAIL FREE FULL ...

  8. A grounded theory of abstraction in artificial intelligence.

    Science.gov (United States)

    Zucker, Jean-Daniel

    2003-07-29

    In artificial intelligence, abstraction is commonly used to account for the use of various levels of details in a given representation language or the ability to change from one level to another while preserving useful properties. Abstraction has been mainly studied in problem solving, theorem proving, knowledge representation (in particular for spatial and temporal reasoning) and machine learning. In such contexts, abstraction is defined as a mapping between formalisms that reduces the computational complexity of the task at stake. By analysing the notion of abstraction from an information quantity point of view, we pinpoint the differences and the complementary role of reformulation and abstraction in any representation change. We contribute to extending the existing semantic theories of abstraction to be grounded on perception, where the notion of information quantity is easier to characterize formally. In the author's view, abstraction is best represented using abstraction operators, as they provide semantics for classifying different abstractions and support the automation of representation changes. The usefulness of a grounded theory of abstraction in the cartography domain is illustrated. Finally, the importance of explicitly representing abstraction for designing more autonomous and adaptive systems is discussed.

  9. Journal of Chemical Education: Software: Abstract of "The Computer-Based Laboratory."

    Science.gov (United States)

    Krause, Daniel C.; Divis, Lynne M., Ed.

    1988-01-01

    Describes a chemistry laboratory software package for interfacing the Apple IIe for high school and introductory college courses. Topics include: thermistor calibration, phase change, heat of reaction, freezing point depression, Beer's law, and color decay in crystal violet. Explains the computer interface and the tools needed. (MVL)

  10. Thesis Abstract Bean (Phaseolus vulgaris L.) lines: chemical composition and protein digestibility.

    Science.gov (United States)

    Mesquita, F R; Silva, M I A; Corrêa, A D

    2016-05-09

    The bean represents the main source of proteins for the low income populations, although the digestibility of those proteins is relatively low. Consequently, the programs of plant genetic breeding have been working on the search for new lines with higher protein levels. Thus, with the purpose of supplying information to the researchers, in this study, 21 bean (Phaseolus vulgaris L.) lines were analyzed for the centesimal and mineral composition, protein digestibility, phenolic compounds, and trypsin inhibitor. The entirely randomized experimental design was used with 21 treatments (lines) and three repetitions. All values were within the following ranges: 22.34 to 36.28 g crude protein/100 g dry matter (DM); 7.56 to 20.91 g neutral detergent fiber/100 g DM; 0.53 to 2.55 g fat/100 g DM and 2.97 to 4.87 g ashes/100 g DM. The levels of phosphorus, potassium, calcium, magnesium, and sulfur, in g/100 g DM, varied from 0.45 to 0.72; 1.51 to 2.48; 0.03 to 0.28; 0.18 to 0.34 and 0.28 to 0.45, respectively. Regarding copper, manganese, zinc and iron, the levels, in mg/kg DM, varied from 11.37 to 17.73; 14.93 to 28.90; 36.67 to 69.90 and 71.37 to 126.90, respectively. The in vitro protein digestibility varied from 18.03 to 48.32%. The levels of phenolic compounds varied from 0.28 to 1.08 mg acid tanic/100 g DM and the one of trypsin inhibitor from 59.93 to 151.07 trypsin inhibited units/mg DM. Among the lines with higher protein contents, "ESAL 569" (beige with brown stripe) presented the largest protein digestibility and considerable levels of minerals. "P-180" (beige with brown stripe) was one of the lines with higher crude protein contents and digestibilities, and also presented high levels for most of the minerals. No relation between protein digestibility and the contents of phenolic compounds or trypsin inhibitor was observed.

  11. Biomedical Effects of Chemical-Threat-Agent Antidote and Pretreatment Drugs. An Abstracted Bibliography. Volume 1.

    Science.gov (United States)

    1986-04-01

    route [expired air]." Or (Cont’d) 500 "An effective reabsorption from the gut prevents atropine or its metabolic products from being excreted in the...Cats were injected with HS-6, and the pressor response of carotid artery occlusion was measured. The results of selective superior cervical ganglion

  12. [Chemical weapons and chemical terrorism].

    Science.gov (United States)

    Nakamura, Katsumi

    2005-10-01

    Chemical Weapons are kind of Weapons of Mass Destruction (WMD). They were used large quantities in WWI. Historically, large quantities usage like WWI was not recorded, but small usage has appeared now and then. Chemical weapons are so called "Nuclear weapon for poor countrys" because it's very easy to produce/possession being possible. They are categorized (1) Nerve Agents, (2) Blister Agents, (3) Cyanide (blood) Agents, (4) Pulmonary Agents, (5) Incapacitating Agents (6) Tear Agents from the viewpoint of human body interaction. In 1997 the Chemical Weapons Convention has taken effect. It prohibits chemical weapons development/production, and Organization for the Prohibition of Chemical Weapons (OPCW) verification regime contributes to the chemical weapons disposal. But possibility of possession/use of weapons of mass destruction by terrorist group represented in one by Matsumoto and Tokyo Subway Sarin Attack, So new chemical terrorism countermeasures are necessary.

  13. 77 FR 59891 - Proposed Information Collection; Comment Request; Chemical Weapons Convention Declaration and...

    Science.gov (United States)

    2012-10-01

    ... Bureau of Industry and Security Proposed Information Collection; Comment Request; Chemical Weapons[email protected] . SUPPLEMENTARY INFORMATION: ] I. Abstract The Chemical Weapons Convention Implementation Act of 1998 and Commerce Chemical Weapons Convention Regulations (CWCR) specify the rights...

  14. 77 FR 22559 - Proposed Information Collection; Comment Request; Chemical Weapons Convention Provisions of the...

    Science.gov (United States)

    2012-04-16

    ... Bureau of Industry and Security Proposed Information Collection; Comment Request; Chemical Weapons...) 482-4895, [email protected] . SUPPLEMENTARY INFORMATION: I. Abstract The Chemical Weapons... direct or indirect transfer of chemical weapons. This collection implements the following provision of...

  15. Writing Electron Dot Structures: Abstract of Issue 9905M

    Science.gov (United States)

    Magnell, Kenneth R.

    1999-10-01

    in Table 1. Ordering and Information Journal of Chemical Education Software (or JCE Software) is a publication of the Journal of Chemical Education. There is an order form inserted in this issue that provides prices and other ordering information. If this card is not available or if you need additional information, contact: JCE Software, University of Wisconsin­Madison, 1101 University Avenue, Madison, WI 53706-1396; phone; 608/262-5153 or 800/991-5534; fax: 608/265-8094; email: jcesoft@chem.wisc.edu. Information about all of our publications (including abstracts, descriptions, updates) is available from our World Wide Web site at: http://JChemEd.chem.wisc.edu/JCESoft/

  16. Chemical oceanography

    National Research Council Canada - National Science Library

    Millero, F.J

    1996-01-01

    Chemical Oceanography presents a comprehensive examination of the chemistry of oceans through discussions of such topics as descriptive physical oceanography, the composition of seawater and the major...

  17. Abstract Sifter: a comprehensive front-end system to PubMed [version 1; referees: 2 approved

    Directory of Open Access Journals (Sweden)

    Nancy Baker

    2017-12-01

    Full Text Available The Abstract Sifter is a Microsoft Excel based application that enhances existing search capabilities of PubMed. The Abstract Sifter assists researchers to search effectively, triage results, and keep track of articles of interest. The tool implements an innovative “sifter” functionality for relevance ranking, giving the researcher a way to find articles of interest quickly. The tool also gives researchers a view of the literature landscape for a set of entities such as chemicals or genes. The Abstract Sifter is available as a Microsoft Excel macro-enabled workbook application.

  18. Chemical intolerance

    DEFF Research Database (Denmark)

    Dantoft, Thomas Meinertz; Andersson, Linus; Nordin, Steven

    2015-01-01

    Chemical intolerance (CI) is a term used to describe a condition in which the sufferer experiences a complex array of recurrent unspecific symptoms attributed to low-level chemical exposure that most people regard as unproblematic. Severe CI constitutes the distinguishing feature of multiple...

  19. Chemical modification

    Science.gov (United States)

    R. M. Rowell

    2004-01-01

    Wood is a hygroscopic resource that was designed to perform, in nature, in a wet environment. Nature is programmed to recycle wood in a timely way through biological, thermal, aqueous, photochemical, chemical, and mechanical degradations. In simple terms, nature builds wood from carbon dioxide and water and has all the tools to recycle it back to the starting chemicals...

  20. Theoretical studies of a hydrogen abstraction tool for nanotechnology

    OpenAIRE

    Musgrave, Charles B.; Perry, Jason K.; Merkle, Ralph C.; Goddard, William A.

    1991-01-01

    In the design of a nanoscale, site-specific hydrogen abstraction tool, the authors suggest the use of an alkynyl radical tip. Using ab initio quantum-chemistry techniques including electron correlation they model the abstraction of hydrogen from dihydrogen, methane, acetylene, benzene and isobutane by the acetylene radical. By conservative estimates, the abstraction barrier is small (less than 7.7 kcal mol^-1) in all cases except for acetylene and zero in the case of isobutane. Thermal vibrat...

  1. Two Paths to Abstract Art: Kandinsky and Malevich

    OpenAIRE

    David W. Galenson

    2006-01-01

    Wassily Kandinsky and Kazimir Malevich were both great Russian painters who became pioneers of abstract art during the second decade of the twentieth century. Yet the forms of their art differed radically, as did their artistic methods and goals. Kandinsky, an experimental artist, approached abstraction tentatively and visually, by gradually and progressively concealing forms drawn from nature, whereas Malevich, a conceptual innovator, plunged precipitously into abstraction, by creating symbo...

  2. Reversible machine code and its abstract processor architecture

    DEFF Research Database (Denmark)

    Axelsen, Holger Bock; Glück, Robert; Yokoyama, Tetsuo

    2007-01-01

    A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building ...... on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper....

  3. Abstracts - Metadata Workshop – The way to open science, June 22, 2016

    OpenAIRE

    Blumesberger, Susanne; Preza, José Luis; Fensel, Anna; Head, Tim; Barbera, Roberto; Szepe, Stefan; Kopacsi, Sandor; Teetor, Sarah; Jeitler, Andreas; Petritsch, Barbara; Neubauer, Georg; Durco, Matej; Koch, Walter

    2016-01-01

    Abstracts *Roberto Barbera - From Metadata to Open Data to Open Science *Tim Head - How to get to a bright future of reusable science *Anna Fensel - Towards Semantic APIs for Research Data Services *Walter Koch - Aggregation and Management of Metadata in the Context of Europeana *Matej Durco - Metadata for the Humanities – a use case from ÖAW *Georg Neubauer - Visualization of typed links in linked data *Barbara Petritsch - Metadata for research data in practice *Andr...

  4. Selected Translated Abstracts of Chinese-Language Climate Change Publications

    Energy Technology Data Exchange (ETDEWEB)

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

    1999-05-01

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

  5. 1990 National Water Quality Laboratory Services Catalog

    Science.gov (United States)

    Pritt, Jeffrey; Jones, Berwyn E.

    1989-01-01

    PREFACE This catalog provides information about analytical services available from the National Water Quality Laboratory (NWQL) to support programs of the Water Resources Division of the U.S. Geological Survey. To assist personnel in the selection of analytical services, the catalog lists cost, sample volume, applicable concentration range, detection level, precision of analysis, and preservation techniques for samples to be submitted for analysis. Prices for services reflect operationa1 costs, the complexity of each analytical procedure, and the costs to ensure analytical quality control. The catalog consists of five parts. Part 1 is a glossary of terminology; Part 2 lists the bottles, containers, solutions, and other materials that are available through the NWQL; Part 3 describes the field processing of samples to be submitted for analysis; Part 4 describes analytical services that are available; and Part 5 contains indices of analytical methodology and Chemical Abstract Services (CAS) numbers. Nomenclature used in the catalog is consistent with WATSTORE and STORET. The user is provided with laboratory codes and schedules that consist of groupings of parameters which are measured together in the NWQL. In cases where more than one analytical range is offered for a single element or compound, different laboratory codes are given. Book 5 of the series 'Techniques of Water Resources Investigations of the U.S. Geological Survey' should be consulted for more information about the analytical procedures included in the tabulations. This catalog supersedes U.S. Geological Survey Open-File Report 86-232 '1986-87-88 National Water Quality Laboratory Services Catalog', October 1985.

  6. Process-annotated Service Discovery facilitated by an n-gram based index

    NARCIS (Netherlands)

    Mahleko, Bendick; Wombacher, Andreas; Fankhauser, Peter

    Service discovery in web service infrastructure must consider abstract processes to guarantee successful business interactions with the matched services. Unfortunately, matchmaking process annotations requires a significant processing effort, thus, finding relevant service providers in a large

  7. Hazardous Chemicals

    Centers for Disease Control (CDC) Podcasts

    2007-04-10

    Chemicals are a part of our daily lives, providing many products and modern conveniences. With more than three decades of experience, The Centers for Disease Control and Prevention (CDC) has been in the forefront of efforts to protect and assess people's exposure to environmental and hazardous chemicals. This report provides information about hazardous chemicals and useful tips on how to protect you and your family from harmful exposure.  Created: 4/10/2007 by CDC National Center for Environmental Health.   Date Released: 4/13/2007.

  8. Algorithmic Approach to Abstracting Linear Systems by Timed Automata

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafael

    2011-01-01

    This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov...

  9. Ecological Research Division Theoretical Ecology Program. [Contains abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1990-10-01

    This report presents the goals of the Theoretical Ecology Program and abstracts of research in progress. Abstracts cover both theoretical research that began as part of the terrestrial ecology core program and new projects funded by the theoretical program begun in 1988. Projects have been clustered into four major categories: Ecosystem dynamics; landscape/scaling dynamics; population dynamics; and experiment/sample design.

  10. Effects of Abstract and Concrete Simulation Elements on Science Learning

    Science.gov (United States)

    Jaakkola, T.; Veermans, K.

    2015-01-01

    Contemporary evidence on the effectiveness of concrete and abstract representations in science education is based solely on studies conducted in college context. There it has been found that learning with abstract representations produces predominantly better outcomes than learning with concrete representations and combining the representations…

  11. Abstraction and Modularization in the BETA Programming Language

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2000-01-01

    One of the characteristics of BETA is the unification of abstraction mechanisms such as class, procedure, process type, generic class, interface, etc. into one abstraction mechanism: the pattern. In addition to keeping the language small, the unification has given a systematic treatment of all...

  12. Abstracting massive data for lightweight intrusion detection in computer networks

    KAUST Repository

    Wang, Wei

    2016-10-15

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

  13. Tense Use and Move Analysis in Journal Article Abstracts

    Science.gov (United States)

    Wang, Shih-ping; Tu, Pin-ning

    2014-01-01

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

  14. Form and Space Abstraction in Architectural Rehabilitation of Industrial Buildings

    Directory of Open Access Journals (Sweden)

    Radu Andrei

    2010-03-01

    Full Text Available In classical art, form was considered to be reproduced in the most faithful way, representing a naturalistic reality. On the other hand, contemporary art strive to achieve its value by abstraction, and by intelectual and psychological approach. Corresponding to contextual art, the architectural rehabilitation of industrial buildings opens new paths towards form and space abstracting.

  15. Abstract Stobjs and Their Application to ISA Modeling

    Directory of Open Access Journals (Sweden)

    Shilpi Goel

    2013-04-01

    Full Text Available We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over traditional ("concrete'' stobjs can include faster execution, support for symbolic simulation, more efficient reasoning, and resilience of proof developments under modeling optimization.

  16. Contextualizing Action for the Abstraction of Scientific Knowledge

    Science.gov (United States)

    Saglam, Yilmaz

    2015-01-01

    In this paper, abstraction is associated with an activity in the sense of activity theory by Vygotsky. To him, participation in social activities is a fundamental act for the child in order to achieve higher mental functions. The present paper aimed to experimentally investigate the abstraction process and illustrate how meaning emerges on social…

  17. A Quantitative Empirical Analysis of the Abstract/Concrete Distinction

    Science.gov (United States)

    Hill, Felix; Korhonen, Anna; Bentz, Christian

    2014-01-01

    This study presents original evidence that abstract and concrete concepts are organized and represented differently in the mind, based on analyses of thousands of concepts in publicly available data sets and computational resources. First, we show that abstract and concrete concepts have differing patterns of association with other concepts.…

  18. Fixed Points on Abstract Structures without the Equality Test

    DEFF Research Database (Denmark)

    Korovina, Margarita

    2002-01-01

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

  19. Fixed Points on Abstract Structures without the Equality Test

    DEFF Research Database (Denmark)

    Korovina, Margarita V.

    2002-01-01

    In this paper we present a study of definability properties of fixed points of effective operators on abstract structures without the equality test. In particular we prove that Gandy theorem holds for abstract structures. This provides a useful tool for dealing with recursive definitions using -f...

  20. Recognition of logically related regions based heap abstraction

    Directory of Open Access Journals (Sweden)

    Mohamed A. El-Zawawy

    2012-07-01

    More precisely, this paper proposes algorithms for abstracting heap components with the layout of a singly linked list, a binary tree, a cycle, and a directed acyclic graph. The termination and correctness of these algorithms are studied in the paper. Towards presenting the algorithms the paper also presents concrete and abstract models for heap representations.

  1. Publication rates of abstracts from two pharmacy meetings.

    Science.gov (United States)

    Byerly, W G; Rheney, C C; Connelly, J F; Verzino, K C

    2000-10-01

    To determine the rate of publication of abstracts presented at the 1994 American Society of Health System Pharmacists (ASHP) Mid-year Clinical Meeting and the 1994 American College of Clinical Pharmacists (ACCP) Annual Meeting. Abstracts presented at the 1994 ASHP Midyear Clinical Meeting and the 1994 ACCP Annual Meeting were evaluated for subsequent publication as full articles in journals indexed in MEDLINE, International Pharmaceutical Abstracts, and Current Contents. Five hundred one abstracts presented at the 1994 ASHP Mid-year Clinical Meeting were evaluated; 55 (11%) of these had been published. Two hundred fifteen abstracts presented at the 1994 ACCP Annual Meeting were evaluated; 71 (33%) of these had been published. The publication rates for abstracts presented at ASHP and ACCP meetings were found to be lower than many of those for other medical groups. The presentation of research abstracts at professional meetings is an integral part of the exchange of scientific information; however, many of the presented abstracts are not subsequently published as full research reports. The failure to publish the results of the studies may limit the ability of a reader to judge the validity, reliability, and generalizability of the research. This could affect the use of the findings in clinical practice and in supporting or refuting other research findings.

  2. Hanford Personnel Dosimeter supporting studies FY-1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Endres, G.W.R.; Cummings, F.M.; Aldrich, J.M.; Thorson, M.R.; Kathren, R.L.

    1981-02-01

    Separate abstracts were prepared for the 10 sections of this report which describe fundamental characteristics of the Hanford multipurpose personnel dosimeter (HMPD). Abstracts were not prepared for Appendix A and Appendix B which deal with calculated standard deviations for 100 mrem mixed field exposures and detailed calculations of standard deviations, respectively. (KRM)

  3. The Characteristics of an Abstract System for the Transfer of ...

    African Journals Online (AJOL)

    ... of real rights; contential abstraction; external abstraction; real agreement'; animus transferendi et accipiendi; consensualism; traditionalism; iusta causa traditionis; causa remota; causa immediate/causa efficiens; legal ground or reason for transfer; void obligatory agreement; bona fide third parties; rei vindicatio; Savigny ...

  4. Does the corpus iuris civilis show characteristics of an abstract ...

    African Journals Online (AJOL)

    The real agreement is an invention of the German jurist Friedrich Carl von Savigny. The purpose with this article is to ascertain whether or not Roman law at the time of Justinian reflects any of the characteristics of an abstract system and the real agreement (which is generally associated with an abstract system). Can it be ...

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

    Science.gov (United States)

    Armour, Mim, Ed.

    2015-01-01

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

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

    Science.gov (United States)

    Armour, Mim, Ed.

    2014-01-01

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

  7. Abstract Algebra for Teachers: An Evaluative Case Study

    Science.gov (United States)

    Hoffman, Andrew Joseph

    2017-01-01

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

  8. Preparing and presenting effective abstracts and posters in psychiatry.

    Science.gov (United States)

    Singh, Manpreet K

    2014-12-01

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

  9. Reading and Abstracting Journal Articles in Sedimentology and Stratigraphy.

    Science.gov (United States)

    Conrad, Susan Howes

    1991-01-01

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

  10. Fate of abstracts presented at Association of Paediatric Surgeons of ...

    African Journals Online (AJOL)

    Background: The purpose of this study was to examine the characteristics of abstracts presented at the annual scientific meetings of Association of Paediatric Surgeons of Nigeria and their final publication rate. Materials and Methods: All abstracts accepted for presentation at the Association of Paediatric Surgeons of Nigeria ...

  11. Methods for solving reasoning problems in abstract argumentation - A survey.

    Science.gov (United States)

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

    2015-03-01

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

  12. Chemical Peel

    Science.gov (United States)

    ... complications in chemical peeling. Journal of Cutaneous and Aesthetic Surgery. 2010;3:186. Langsdon PR, et al. ... Discovery's Edge Magazine Search Publications Training Grant Positions Education Mayo Clinic College of Medicine and Science Mayo ...

  13. Chemical carcinogens

    National Research Council Canada - National Science Library

    Searle, Charles E

    1976-01-01

    Cancer causing agents are now known to exist throughout the environment-in polluted air and tobacco smoke, in various plants and foods, and in many chemicals that are used in industry and laboratories...

  14. Chemical Carcinogenesis

    OpenAIRE

    Oliveira, Paula A.; Aura Colaço; Raquel Chaves; Henrique Guedes-Pinto; Luis F. De-La-Cruz P.; Carlos Lopes

    1980-01-01

    The use of chemical compounds benefits society in a number of ways. Pesticides, for instance, enable foodstuffs to be produced in sufficient quantities to satisfy the needs of millions of people, a condition that has led to an increase in levels of life expectancy. Yet, at times, these benefits are offset by certain disadvantages, notably the toxic side effects of the chemical compounds used. Exposure to these compounds can have varying effects, ranging from instant death to a gradual process...

  15. Chemical carcinogenesis.

    Science.gov (United States)

    Oliveira, Paula A; Colaço, Aura; Chaves, Raquel; Guedes-Pinto, Henrique; De-La-Cruz P, Luis F; Lopes, Carlos

    2007-12-01

    The use of chemical compounds benefits society in a number of ways. Pesticides, for instance, enable foodstuffs to be produced in sufficient quantities to satisfy the needs of millions of people, a condition that has led to an increase in levels of life expectancy. Yet, at times, these benefits are offset by certain disadvantages, notably the toxic side effects of the chemical compounds used. Exposure to these compounds can have varying effects, ranging from instant death to a gradual process of chemical carcinogenesis. There are three stages involved in chemical carcinogenesis. These are defined as initiation, promotion and progression. Each of these stages is characterised by morphological and biochemical modifications and result from genetic and/or epigenetic alterations. These genetic modifications include: mutations in genes that control cell proliferation, cell death and DNA repair--i.e. mutations in proto-oncogenes and tumour suppressing genes. The epigenetic factors, also considered as being non-genetic in character, can also contribute to carcinogenesis via epigenetic mechanisms which silence gene expression. The control of responses to carcinogenesis through the application of several chemical, biochemical and biological techniques facilitates the identification of those basic mechanisms involved in neoplasic development. Experimental assays with laboratory animals, epidemiological studies and quick tests enable the identification of carcinogenic compounds, the dissection of many aspects of carcinogenesis, and the establishment of effective strategies to prevent the cancer which results from exposure to chemicals.

  16. Service quality, trust, and patient satisfaction in interpersonal-based medical service encounters

    OpenAIRE

    Chang Ching-Sheng; Chen Su-Yueh; Lan Yi-Ting

    2013-01-01

    Abstract Background Interaction between service provider and customer is the primary core of service businesses of different natures, and the influence of trust on service quality and customer satisfaction could not be ignored in interpersonal-based service encounters. However, lack of existing literature on the correlation between service quality, patient trust, and satisfaction from the prospect of interpersonal-based medical service encounters has created a research gap in previous studies...

  17. Customer Satisfaction in Internal Customer Service : Case: Abloy Oy Internal Customer Service

    OpenAIRE

    Turunen, Susanna

    2011-01-01

    ABSTRACT Turunen, Susanna Marita 2011. Customer Satisfaction in Internal Customer Service. Case: Abloy Oy Internal Customer Service. Master’s thesis. Kemi-Tornio University of Applied Sciences. Business and Culture. Pages 73. Appendix 1. This thesis discusses and studies service quality and customer satisfaction in internal customer service. The main objective is to find out what the service quality level in the internal customer service at Abloy Oy is and whether there exists a diffe...

  18. Pacifier Overuse and Conceptual Relations of Abstract and Emotional Concepts

    Science.gov (United States)

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

    2017-01-01

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

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

    NARCIS (Netherlands)

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

    2014-01-01

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

  20. Concrete Model Checking with Abstract Matching and Refinement

    Science.gov (United States)

    Pasareanu Corina S.; Peianek Radek; Visser, Willem

    2005-01-01

    We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.

  1. A RHETORICAL ANALYSIS OF STUDENTS‘ RESEARCH ARTICLE ABSTRACTS

    Directory of Open Access Journals (Sweden)

    Siyaswati Siyaswati

    2017-12-01

    Full Text Available The current study aimed to investigate the rhetorical structures employed in the students‘ research article abstracts. This qualitative study employed the five-move theory– IPMPrC structure (i.e. Introduction, Purpose, Method, Product, and Conclusion. which is especially designed to access the research article abstracts. In accordance with the principle aim of this current research, fifty abstracts of the research articles written by the students of Class of 2013 in the 2016/2017 academic year as one of the requirements for earning a bachelor‘s degree in English Language Education, were taken and constructed as the primary research corpora. The results indicated that all the five categories for authorial identity were found in the corpus since the student writers in general tended to play safe by including every move. In addition, the move ―product‖ and ―conclusion‖ are missing in a few abstracts. They are actually included in the ―structure move‖. There were the students‘ lengthy ―introduction‖ move and over brief ―product‖ move found in most abstracts. That indicated that the students tended to pay more attention to the informative role rather than the persuasive role of research article abstracts. It is also interesting to note that most of the abstracts contained the move of ―conclusion‖. It may reflect students‘ incomplete appropriation to disciplinary practices.

  2. Conveying Communicative Intent: Moves and Metadiscourse in Abstract Writing

    Directory of Open Access Journals (Sweden)

    Chuah Ek Lon

    2012-11-01

    Full Text Available Abstracts form the first reading contact of extended discourse in pursuance of a meaningful engagement with a report. An abstract possesses distinct features drawn from a specific genre of academic writing that communicates its discourse intent to any academic or professional community. Among the discourse conventions is the use of a move pattern and metadiscourse elements which together, establishes logical connections with the reader. This paper investigates good communication practice in abstract writing, a significant preliminary that fronts a report. The effectiveness of an abstract specifically, can be tied to the realization of a peculiar move structure that is accompanied by a judicious choice of words and phrases that relates to and involves the reader both interactively and interactionally. A content analysis of the move structure and its underlying metadiscourse in 100 randomly selected abstracts gives petite indication of how students manage abstract writing in a technical report. The results will have a bearing on situating appropriate pedagogical approaches for the teaching of a salient feature in academic writing and will also inform students of related genre expectations towards abstract writing. It is a skill that they may not have sufficient contact with in their university writing experience, though, nonetheless, one that needs to be accomplished to fulfill communicative intent that serves both local and international purposes insofar as academic writing is concerned.

  3. An Investigation of Cohesion and Rhetorical Moves in Thesis Abstracts

    Directory of Open Access Journals (Sweden)

    Luthfiyah Luthfiyah

    2016-05-01

    Full Text Available This study aimed at investigating cohesion and rhetorical moves in thesis abstracts of English Education students. This study employed a qualitative research design in which 10 abstracts were chosen as samples. The cohesion is analyzed based on Halliday's and Hasan's  concept while rhetorical moves are analyzed based on Swales' and Feak's framework. The results show that all cohesive devices are used except substitution. Among those devices, reference is the most frequently used. The results also show that some cohesive devices are used incorrectly. As a result, seven abstracts (70% are still in medium category of cohesion level while three abstracts (30% are in high category of cohesion level. Furthermore, 7 abstracts are organized in different move patterns which do not follow the Swales' and Feak's framework. From the results of the study, it can be concluded that most of the abstract samples achieve medium category level of cohesion, and the rhetorical moves in most of the abstracts samples are not organized well. Permalink/DOI: http://dx.doi.org/10.15408/ijee.v2i2.3086

  4. Experiencing Art: The Influence of Expertise and Painting Abstraction Level

    Science.gov (United States)

    Pihko, Elina; Virtanen, Anne; Saarinen, Veli-Matti; Pannasch, Sebastian; Hirvenkari, Lotta; Tossavainen, Timo; Haapala, Arto; Hari, Riitta

    2011-01-01

    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 esthetic judgments and emotional evaluations, gaze patterns, and electrodermal reactivity between the two groups of participants. The level of abstraction affected esthetic judgments and emotional valence ratings of the laypersons but had no effect on the opinions of the experts: the laypersons’ esthetic 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. PMID:21941475

  5. Experiencing art: the influence of expertise and painting abstraction level

    Directory of Open Access Journals (Sweden)

    Elina ePihko

    2011-09-01

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

  6. Logic and Abstraction in Engineering Education: A Necessary Relationship

    Directory of Open Access Journals (Sweden)

    Serna M. Edgar

    2014-04-01

    Full Text Available This article is about the logic and abstraction seen as a necessary relation in the formative process engineers. It describes the importance and the need for training in this area of knowledge and the relationship between professional exercise of the engineers and the development and/or potentiation of logical-interpretative and abstractive ability for problem solution. It is a research-review-reflection work about the importance of these two components, viewed structurally from the curriculum. It is the product of the first phase of the research "The capacity logical-interpretative and abstractive as a basic component for professional exercise of the engineers".

  7. A Community-Centered Astronomy Research Program (Abstract)

    Science.gov (United States)

    Boyce, P.; Boyce, G.

    2017-12-01

    (Abstract only) The Boyce Research Initiatives and Education Foundation (BRIEF) is providing semester-long, hands-on, astronomy research experiences for students of all ages that results in their publishing peer-reviewed papers. The course in astronomy and double star research has evolved from a face-to-face learning experience with two instructors to an online hybrid course that simultaneously supports classroom instruction at a variety of schools in the San Diego area. Currently, there are over 65 students enrolled in three community colleges, seven high schools, and one university as well as individual adult learners. Instructional experience, courseware, and supporting systems were developed and refined through experience gained in classroom settings from 2014 through 2016. Topics of instruction include Keplerís Laws, basic astrometry, properties of light, CCD imaging, use of filters for varying stellar spectral types, and how to perform research, scientific writing, and proposal preparation. Volunteer instructors were trained by taking the course and producing their own research papers. An expanded program was launched in the fall semester of 2016. Twelve papers from seven schools were produced; eight have been accepted for publication by the Journal of Double Star Observations (JDSO) and the remainder are in peer review. Three additional papers have been accepted by the JDSO and two more are in process papers. Three college professors and five advanced amateur astronomers are now qualified volunteer instructors. Supporting tools are provided by a BRIEF server and other online services. The server-based tools range from Microsoft Office and planetarium software to top-notch imaging programs and computational software for data reduction for each student team. Observations are performed by robotic telescopes worldwide supported by BRIEF. With this success, student demand has increased significantly. Many of the graduates of the first semester course wanted to

  8. Key economic sectors and services

    NARCIS (Netherlands)

    Arent, Douglas J.; Tol, Richard S.J.; Faust, Eberhard; Hella, Joseph P.; Kumar, Surender; Strzepek, Kenneth M.; Tóth, Ferenc L.; Yan, Denghua; Abdulla, Amjad; Kheshgi, Haroon; Xu, He; Ngeh, Julius

    2015-01-01

    Introduction and Context This chapter discusses the implications of climate change on key economic sectors and services, for example, economic activity. Other chapters discuss impacts from a physical, chemical, biological, or social perspective. Economic impacts cannot be isolated; therefore, there

  9. Density functional theory study on the formation of reactive benzoquinone imines by hydrogen abstraction

    DEFF Research Database (Denmark)

    Leth, Rasmus; Rydberg, Patrik; Jørgensen, Flemming Steen

    2015-01-01

    Many drug compounds are oxidized by cytochrome P450 (CYP) enzymes to form reactive metabolites. This study presents density functional theory calculations of the CYP-mediated metabolism of acetaminophen and a series of related compounds that can form reactive metabolites by hydrogen abstraction. ...... as an in silico method in the design of new compounds with improved metabolic stability.......Many drug compounds are oxidized by cytochrome P450 (CYP) enzymes to form reactive metabolites. This study presents density functional theory calculations of the CYP-mediated metabolism of acetaminophen and a series of related compounds that can form reactive metabolites by hydrogen abstraction...... the porphyrin model to determine the activation energies. We have used this correlation on monosubstituted phenols to rationalize the effect of the various substituents in the drug compounds. In addition to facilitating a chemical interpretation, the approach is sufficiently fast and reliable to be used...

  10. Formation of Service Ecosystems

    DEFF Research Database (Denmark)

    Jonas, Julia M.; Sörhammar, David; Satzger, Gerhard

    Purpose: Researchers in several different academic disciplines (such as marketing, information systems, and organization) have focused on investigating service and business ecosystems (e.g. Lusch and Nambisan, 2015; Gawer and Cusumano, 2014; Kude et al. 2012). We reviewed 69 papers in service...... science, operations management, marketing, and organization journals. The majority of these papers focus on describing established service ecosystems,often on a more abstract “meso-level” (Akaka et al., 2015). Key notions are “…self-contained, self-adjusting system[s] of resource integrating actors...... connected by shared institutional arrangements and mutual value creation” (Vargo & Lusch, 2015) or “value co-creation configurations of people, technology, value propositions … and shared information” (Maglio &Spohrer, 2008). Little is known, though, of how service ecosystems emerge and become established...

  11. Symposium on quantum electronics. Extended abstracts of contributed papers

    Energy Technology Data Exchange (ETDEWEB)

    1981-02-01

    Extended abstracts are provided for papers presented in these subject areas: lasers; quantum optics; nonlinear optics; laser photochemistry; laser spectroscopy; laser scattering; laser produced plasma; and laser applications. (GHT)

  12. Abstract Proceedings Signal and Imaging Sciences Workshop CASIS Workshop 2006

    Energy Technology Data Exchange (ETDEWEB)

    Roberts, R

    2006-11-07

    These abstracts cover the following topics: (1) Analysis of massive datasets; (2) Nondestructive evaluation; (3) Imaging methodology; (4) NIF optics inspection; (5) Model-based signal processing and estimation; and (6) Image processing and analysis.

  13. What does the brain tell us about abstract art?

    Directory of Open Access Journals (Sweden)

    Vered eAviv

    2014-02-01

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

  14. Advanced techniques for actinide spectroscopy (ATAS 2012). Abstract book

    Energy Technology Data Exchange (ETDEWEB)

    Foerstendorf, Harald; Mueller, Katharina; Steudtner, Robin (eds.)

    2012-07-01

    The abstract book of the International workshop on advanced techniques for actinide spectroscopy (ATAS 2012) include contributions concerning the following issues: environmental applications, NMR spectroscopy, vibrational spectroscopy, X-ray spectroscopy and theory, technical application: separation processes, emission spectroscopy.

  15. International congress on DNA damage and repair: Book of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1987-01-01

    This document contains the abstracts of 105 papers presented at the Congress. Topics covered include the Escherichia coli nucleotide excision repair system, DNA repair in malignant transformations, defective DNA repair, and gene regulation. (TEM)

  16. Earth Sciences Division annual report 1981. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1982-09-01

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

  17. DENOTATIVE ORIGINS OF ABSTRACT IMAGES IN LINGUISTIC EXPERIMENT

    Directory of Open Access Journals (Sweden)

    Elina, E.

    2017-03-01

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

  18. Concrete and abstract visualizations in history learning tasks

    NARCIS (Netherlands)

    Prangsma, M.E.; van Boxtel, C.A.M.; Kanselaar, G.; Kirschner, P.A.

    2009-01-01

    Background: History learning requires that students understand historical phenomena, abstract concepts and the relations between them. Students have problems grasping, using and relating complex historical developments and structures. Aims: A study was conducted to determine the effects of tasks

  19. Munatsi Shoko Abstract After leaving their home country ...

    African Journals Online (AJOL)

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

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1999-12-01

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

  1. Beyond the dichotomy of figurative and abstract art in hospitals

    DEFF Research Database (Denmark)

    Nielsen, Stine Maria Louring; Mullins, Michael Finbarr

    2017-01-01

    experiments. Six experiential domains are employed to understand the notion of experience of ‘well-being’: Space, Time, Inter-subjectivity, Body, Mood and Personal identity. The hypothesis that the ambiguity of abstract art leads to stressful effects is not confirmed by the study’s findings. The studies......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...

  2. Symposium on atomic spectroscopy (SAS-83): abstracts and program

    Energy Technology Data Exchange (ETDEWEB)

    1983-09-01

    Abstracts of papers given at the symposium are presented. Session topics include: Rydbergs, optical radiators, and planetary atoms; highly ionized atoms; ultraviolet radiation; theory, ion traps, and laser cooling; beam foil; and astronomy. (GHT)

  3. Abstract: Duke University School of Nursing's Impact on Nursing and ...

    African Journals Online (AJOL)

    Abstract: Duke University School of Nursing's Impact on Nursing and Midwifery Education in Rwanda. Patricia Moreland, Isabelle Soule, Linda Vanhook, Linda Baxter, Claire McKinley Yoder, Michael V Relf ...

  4. The Bioelectromagnetic Society Thirteenth Annual Meeting 1991: Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1992-12-31

    This volume contains author abstracts representing oral and poster presentations made at the Thirteenth Annual Meeting of The Bioelectromagnetic Society held in Salt Lake City, Utah June 23--27, 1991.

  5. SERS internship Fall 1992--Spring 1993: Abstract and research papers

    Energy Technology Data Exchange (ETDEWEB)

    1993-08-05

    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.

  6. Managing Associated Risks in Cloud Computer Applications Abstract

    African Journals Online (AJOL)

    2012-12-01

    Dec 1, 2012 ... dominated by IaaS followed by platform as a service (PaaS) [8]. Fig. 1 Cloud computing layers embedded in the "as a Service" components [5]. While the services are directly related, they don't require interdependence (e.g., a. Cloud Application does not necessarily have to be built upon a Cloud Platform or.

  7. The Matthew effect in environmental science publication: A bibliometric analysis of chemical substances in journal articles

    Directory of Open Access Journals (Sweden)

    Grandjean Philippe

    2011-11-01

    Full Text Available Abstract Background While environmental research addresses scientific questions of possible societal relevance, it is unclear to what degree research focuses on environmental chemicals in need of documentation for risk assessment purposes. Methods In a bibliometric analysis, we used SciFinder to extract Chemical Abstract Service (CAS numbers for chemicals addressed by publications in the 78 major environmental science journals during 2000-2009. The Web of Science was used to conduct title searches to determine long-term trends for prominent substances and substances considered in need of research attention. Results The 119,636 journal articles found had 760,056 CAS number links during 2000-2009. The top-20 environmental chemicals consisted of metals, (chlorinated biphenyls, polyaromatic hydrocarbons, benzene, and ethanol and contributed 12% toward the total number of links- Each of the top-20 substances was covered by 2,000-10,000 articles during the decade. The numbers for the 10-year period were similar to the total numbers of pre-2000 articles on the same chemicals. However, substances considered a high priority from a regulatory viewpoint, due to lack of documentation, showed very low publication rates. The persistence in the scientific literature of the top-20 chemicals was only weakly related to their publication in journals with a high impact factor, but some substances achieved high citation rates. Conclusions The persistence of some environmental chemicals in the scientific literature may be due to a 'Matthew' principle of maintaining prominence for the very reason of having been well researched. Such bias detracts from the societal needs for documentation on less well known environmental hazards, and it may also impact negatively on the potentials for innovation and discovery in research.

  8. Can words be read without abstract letter identities?

    Directory of Open Access Journals (Sweden)

    Simon Fischer-Baum

    2014-04-01

    CH’s acquired dyslexia and dysgraphia left him with a profound impairment in processing abstract letter identities. This impairment affected his ability to process strings of letters in a variety of tasks; for example nonword reading, spelling, recognizing orally spelled words. However, while impaired, his single word reading was surprisingly good given his single letter impairment, suggesting an additional route to word meaning from visually-presented familiar words that does not require abstract letter identities.

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1979-01-01

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

  10. Compositional Verification with Abstraction, Learning, and SAT Solving

    Science.gov (United States)

    2015-05-01

    Compositional Verification with Abstraction, Learning , and SAT Solving Anvesh Komuravelli CMU-CS-15-102 May 2015 School of Computer Science Computer...grant number F8721-05-C-0003, and the Portuguese Science Technology Foundation. The views and conclusions contained in this document are those of the...with Abstraction, Learning , and SAT Solving 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK

  11. 06101 Abstracts Collection -- Spatial Data:mining, processing and communicating

    OpenAIRE

    Sack, Jörg-Rüdiger; Sester, Monika; Worboys, Michael; van Oosterom, Peter

    2006-01-01

    From 05.03.06 to 10.03.06, the Dagstuhl Seminar 06101 ``Spatial Data: mining, processing and communicating'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section desc...

  12. A generalization of Dung's Abstract Framework for Argumentation

    DEFF Research Database (Denmark)

    Nielsen, Søren Holbech; Parsons, Simon

    2006-01-01

    One of the most widely studied systems of argumentation is the one described by Dung in a paper from 1995. Unfortunately, this framework does not allow for joint attacks on arguments, which we argue must be required of any truly abstract argumentation framework. A few frameworks can be said to al...... the semantics associated with the original framework to this generalization, and prove that all results in the paper by Dung have an equivalent in this more abstract framework....

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

    Energy Technology Data Exchange (ETDEWEB)

    Timberlake, W.E.

    1993-04-01

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

  14. Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation

    Science.gov (United States)

    2008-09-01

    Verification. Springer, 2004. 5 [37] Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani. Automatic predicate abstraction of C programs...Fischer, Ranjit Jhala, and Rupak Majumdar. Joining dataflow with predicates. In ESEC/SIGSOFT FSE, pages 227–236, 2005. 7 [79] M. K. Ganai, P. Ashar, A...Sutre. Lazy abstraction. In Principles of Programming Languages, pages 58–70, 2002. 5.1, 5.4.2 [89] Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

  15. Program and Abstracts, Boron Americas IX Final Report

    Energy Technology Data Exchange (ETDEWEB)

    Feakes, Debra A.

    2006-08-09

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

  16. Neural Network-Based Abstract Generation for Opinions and Arguments

    OpenAIRE

    Wang, Lu; Ling, Wang

    2016-01-01

    We study the problem of generating abstractive summaries for opinionated text. We propose an attention-based neural network model that is able to absorb information from multiple text units to construct informative, concise, and fluent summaries. An importance-based sampling method is designed to allow the encoder to integrate information from an important subset of input. Automatic evaluation indicates that our system outperforms state-of-the-art abstractive and extractive summarization syst...

  17. Automated Predicate Abstraction for Real-Time Models

    Directory of Open Access Journals (Sweden)

    Bahareh Badban

    2009-11-01

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

  18. Abstracts and research accomplishments of university coal research projects

    Energy Technology Data Exchange (ETDEWEB)

    1991-06-01

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

  19. Is searching full text more effective than searching abstracts?

    Directory of Open Access Journals (Sweden)

    Lin Jimmy

    2009-02-01

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

  20. Converging modalities ground abstract categories: the case of politics.

    Science.gov (United States)

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

    2013-01-01

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