WorldWideScience

Sample records for abstract interpretation constructing

  1. Monadic abstract interpreters

    DEFF Research Database (Denmark)

    Sergey, Ilya; Devriese, Dominique; Might, Matthew

    2013-01-01

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

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

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

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

  5. Abstract Interpretation as a Programming Language

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    2013-01-01

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

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

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

  8. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

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

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

  10. Construct Abstraction for Automatic Information Abstraction from Digital Images

    Science.gov (United States)

    2006-05-30

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

  11. Interpretation for scales of measurement linking with abstract algebra.

    Science.gov (United States)

    Sawamura, Jitsuki; Morishita, Shigeru; Ishigooka, Jun

    2014-01-01

    THE STEVENS CLASSIFICATION OF LEVELS OF MEASUREMENT INVOLVES FOUR TYPES OF SCALE: "Nominal", "Ordinal", "Interval" and "Ratio". This classification has been used widely in medical fields and has accomplished an important role in composition and interpretation of scale. With this classification, levels of measurements appear organized and validated. However, a group theory-like systematization beckons as an alternative because of its logical consistency and unexceptional applicability in the natural sciences but which may offer great advantages in clinical medicine. According to this viewpoint, the Stevens classification is reformulated within an abstract algebra-like scheme; 'Abelian modulo additive group' for "Ordinal scale" accompanied with 'zero', 'Abelian additive group' for "Interval scale", and 'field' for "Ratio scale". Furthermore, a vector-like display arranges a mixture of schemes describing the assessment of patient states. With this vector-like notation, data-mining and data-set combination is possible on a higher abstract structure level based upon a hierarchical-cluster form. Using simple examples, we show that operations acting on the corresponding mixed schemes of this display allow for a sophisticated means of classifying, updating, monitoring, and prognosis, where better data mining/data usage and efficacy is expected.

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

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Jensen, Thomas P.

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

  13. Abstract Interpretation of PIC programs through Logic Programming

    DEFF Research Database (Denmark)

    Henriksen, Kim Steen; Gallagher, John Patrick

    2006-01-01

    , are applied to the logic based model of the machine. A small PIC microcontroller is used as a case study. An emulator for this microcontroller is written in Prolog, and standard programming transformations and analysis techniques are used to specialise this emulator with respect to a given PIC program....... The specialised emulator can now be further analysed to gain insight into the given program for the PIC microcontroller. The method describes a general framework for applying abstractions, illustrated here by linear constraints and convex hull analysis, to logic programs. Using these techniques on the specialised...

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

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Jensen, Thomas P.

    2012-01-01

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

  15. Abstract Interpretation-based verification/certification in the ciaoPP system

    OpenAIRE

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

    2005-01-01

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

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

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Jensen, Thomas P.

    2009-01-01

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

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

    Science.gov (United States)

    Zhong, Jihong

    2017-01-01

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

  18. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2017-01-01

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

  19. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

    OpenAIRE

    Garoche, Pierre-Loïc; Pantel, Marc; Thirioux, Xavier

    2006-01-01

    International audience; The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was not able to deal with precise properties for communications of behaviors. We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors. W...

  20. Psychological effects and epistemological education through mathematics "abstraction" and "construction"

    Directory of Open Access Journals (Sweden)

    Aurel Pera

    2015-10-01

    Full Text Available This study is part of a broader research which will be found in future work, Psychology and epistemology of mathematical creation, complementary work of experimental research psychology mathematics, whose investigative approach, promoting the combination type cross section paradigms and quantitative methods and qualitative and comparative method and the analytic-synthetic, based on the following idea: to make learning as efficient, contents and methods must be appropriate to the individual particularities of the pupils, a measure of the balance between converging and diverging dosing tasks as a promising opening to the transition from education proficiency in math performance. At this juncture, mathematical existence as ontological approach against the background of a history of "abstraction" mathematical and theoretical observations on the abstraction, realization and other mathematical thought processes, explanatory approach fulfills the context in which s mathematics constituted an important factor in psychological and methodological perspective, in a context of maximizing the educational effectiveness that depends on the quality of the methods used in teaching, focused on knowledge of the general principles of psycho-didactics not only mathematical and mental organization individual student or knowledge of the factors that make possible psycho-educational learning process.

  1. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  2. Social construction of American sign language--English interpreters.

    Science.gov (United States)

    McDermid, Campbell

    2009-01-01

    Instructors in 5 American Sign Language--English Interpreter Programs and 4 Deaf Studies Programs in Canada were interviewed and asked to discuss their experiences as educators. Within a qualitative research paradigm, their comments were grouped into a number of categories tied to the social construction of American Sign Language--English interpreters, such as learners' age and education and the characteristics of good citizens within the Deaf community. According to the participants, younger students were adept at language acquisition, whereas older learners more readily understood the purpose of lessons. Children of deaf adults were seen as more culturally aware. The participants' beliefs echoed the theories of P. Freire (1970/1970) that educators consider the reality of each student and their praxis and were responsible for facilitating student self-awareness. Important characteristics in the social construction of students included independence, an appropriate attitude, an understanding of Deaf culture, ethical behavior, community involvement, and a willingness to pursue lifelong learning.

  3. Heartbeat Classification Using Abstract Features From the Abductive Interpretation of the ECG.

    Science.gov (United States)

    Teijeiro, Tomas; Felix, Paulo; Presedo, Jesus; Castro, Daniel

    2018-03-01

    This paper aims to prove that automatic beat classification on ECG signals can be effectively solved with a pure knowledge-based approach, using an appropriate set of abstract features obtained from the interpretation of the physiological processes underlying the signal. A set of qualitative morphological and rhythm features are obtained for each heartbeat as a result of the abductive interpretation of the ECG. Then, a QRS clustering algorithm is applied in order to reduce the effect of possible errors in the interpretation. Finally, a rule-based classifier assigns a tag to each cluster. The method has been tested with the MIT-BIH Arrhythmia Database records, showing a significantly better performance than any other automatic approach in the state-of-the-art, and even improving most of the assisted approaches that require the intervention of an expert in the process. The most relevant issues in ECG classification, related to a large extent to the variability of the signal patterns between different subjects and even in the same subject over time, will be overcome by changing the reasoning paradigm. This paper demonstrates the power of an abductive framework for time-series interpretation to make a qualitative leap in the significance of the information extracted from the ECG by automatic methods.

  4. ABSTRACT

    African Journals Online (AJOL)

    Dr Obe

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

  5. Spatial distance effects on incremental semantic interpretation of abstract sentences: evidence from eye tracking.

    Science.gov (United States)

    Guerra, Ernesto; Knoeferle, Pia

    2014-12-01

    A large body of evidence has shown that visual context information can rapidly modulate language comprehension for concrete sentences and when it is mediated by a referential or a lexical-semantic link. What has not yet been examined is whether visual context can also modulate comprehension of abstract sentences incrementally when it is neither referenced by, nor lexically associated with, the sentence. Three eye-tracking reading experiments examined the effects of spatial distance between words (Experiment 1) and objects (Experiment 2 and 3) on participants' reading times for sentences that convey similarity or difference between two abstract nouns (e.g., 'Peace and war are certainly different...'). Before reading the sentence, participants inspected a visual context with two playing cards that moved either far apart or close together. In Experiment 1, the cards turned and showed the first two nouns of the sentence (e.g., 'peace', 'war'). In Experiments 2 and 3, they turned but remained blank. Participants' reading times at the adjective (Experiment 1: first-pass reading time; Experiment 2: total times) and at the second noun phrase (Experiment 3: first-pass times) were faster for sentences that expressed similarity when the preceding words/objects were close together (vs. far apart) and for sentences that expressed dissimilarity when the preceding words/objects were far apart (vs. close together). Thus, spatial distance between words or entirely unrelated objects can rapidly and incrementally modulate the semantic interpretation of abstract sentences. Copyright © 2014 Elsevier B.V. All rights reserved.

  6. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  7. A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software

    DEFF Research Database (Denmark)

    Henriksen, Kim Steen

    anvendt til at analysere programmer udviklet til indlejrede systemer. Et givet indlejret system modelleres som en emulator skrevet i en variant af logikprogrammering kaldet constraint logic programming (CLP). Emulatoren specialiseres med hensyn til et givet program, hvilket resulterer i et nyt program i...... programmeringsparadigme der har et solidt matematisk fundament. Et af dets karakteristika er adskillelsen af logik (betydningen af et program) og kontrol (hvordan programmet udføres), hvilket gør logikprogrammering til et meget anvendeligt sprog hvad angår programanalyse. I denne afhandling bliver logikprogrammering...... skrevet i sproget CLP der samtidig er isomorft med programmet skrevet til det indlejrede system. Anvendes abstract interpretation baserede analysatorer på det specialiserede program, kan resultater fra denne analyse direkte overføres til den indlejrede program, da dette program og den specialiserede...

  8. Analyzing Mathematics Textbooks through a Constructive-Empirical Perspective on Abstraction: The Case of Pythagoras' Theorem

    Science.gov (United States)

    Yang, Kai-Lin

    2016-01-01

    This study aims at analyzing how Pythagoras' theorem is handled in three versions of Taiwanese textbooks using a conceptual framework of a constructive-empirical perspective on abstraction, which comprises three key attributes: the generality of the object, the connectivity of the subject and the functionality of diagrams as the focused semiotic…

  9. Knowledge-Based Decision Model Construction for Dynamic Interpretation Tasks

    National Research Council Canada - National Science Library

    Wellman, Michael

    1997-01-01

    ...) is highly variable, precluding specification of a fixed model in advance. The project yielded technical results in four areas of reasoning and decision making under uncertainty involving model construction: (1...

  10. Undergraduate Student Construction and Interpretation of Graphs in Physics Lab Activities

    Science.gov (United States)

    Nixon, Ryan S.; Godfrey, T. J.; Mayhew, Nicholas T.; Wiegert, Craig C.

    2016-01-01

    Lab activities are an important element of an undergraduate physics course. In these lab activities, students construct and interpret graphs in order to connect the procedures of the lab with an understanding of the related physics concepts. This study investigated undergraduate students' construction and interpretation of graphs with best-fit…

  11. Alternate performance standard project: Interpreting the post-construction test

    International Nuclear Information System (INIS)

    Williamson, A.D.; McDonough, S.E.

    1993-01-01

    The paper describes the results of a project commissioned by the State of Florida, in cooperation with the US Environmental Protection Agency, as one portion of the Florida Radon Research Program (FRRP). The purpose of the FRRP is to provide technical support for a statewide Building Standard for Radon-Resistant Construction currently in the rulemaking process. In this case the information provides technical background for a post-construction radon test specified as a performance element of the code which accompanies the prescriptive alternative that does not incorporate active radon reduction systems

  12. Content-rich biological network constructed by mining PubMed abstracts

    Directory of Open Access Journals (Sweden)

    Sharp Burt M

    2004-10-01

    Full Text Available Abstract Background The integration of the rapidly expanding corpus of information about the genome, transcriptome, and proteome, engendered by powerful technological advances, such as microarrays, and the availability of genomic sequence from multiple species, challenges the grasp and comprehension of the scientific community. Despite the existence of text-mining methods that identify biological relationships based on the textual co-occurrence of gene/protein terms or similarities in abstract texts, knowledge of the underlying molecular connections on a large scale, which is prerequisite to understanding novel biological processes, lags far behind the accumulation of data. While computationally efficient, the co-occurrence-based approaches fail to characterize (e.g., inhibition or stimulation, directionality biological interactions. Programs with natural language processing (NLP capability have been created to address these limitations, however, they are in general not readily accessible to the public. Results We present a NLP-based text-mining approach, Chilibot, which constructs content-rich relationship networks among biological concepts, genes, proteins, or drugs. Amongst its features, suggestions for new hypotheses can be generated. Lastly, we provide evidence that the connectivity of molecular networks extracted from the biological literature follows the power-law distribution, indicating scale-free topologies consistent with the results of previous experimental analyses. Conclusions Chilibot distills scientific relationships from knowledge available throughout a wide range of biological domains and presents these in a content-rich graphical format, thus integrating general biomedical knowledge with the specialized knowledge and interests of the user. Chilibot http://www.chilibot.net can be accessed free of charge to academic users.

  13. Research on the Construction of Remote Sensing Automatic Interpretation Symbol Big Data

    Science.gov (United States)

    Gao, Y.; Liu, R.; Liu, J.; Cheng, T.

    2018-04-01

    Remote sensing automatic interpretation symbol (RSAIS) is an inexpensive and fast method in providing precise in-situ information for image interpretation and accuracy. This study designed a scientific and precise RSAIS data characterization method, as well as a distributed and cloud architecture massive data storage method. Additionally, it introduced an offline and online data update mode and a dynamic data evaluation mechanism, with the aim to create an efficient approach for RSAIS big data construction. Finally, a national RSAIS database with more than 3 million samples covering 86 land types was constructed during 2013-2015 based on the National Geographic Conditions Monitoring Project of China and then annually updated since the 2016 period. The RSAIS big data has proven to be a good method for large scale image interpretation and field validation. It is also notable that it has the potential to solve image automatic interpretation with the assistance of deep learning technology in the remote sensing big data era.

  14. Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma

    Directory of Open Access Journals (Sweden)

    Thomas Powell

    2012-10-01

    Full Text Available We use Gödel's Dialectica interpretation to analyse Nash-Williams' elegant but non-constructive "minimal bad sequence" proof of Higman's Lemma. The result is a concise constructive proof of the lemma (for arbitrary decidable well-quasi-orders in which Nash-Williams' combinatorial idea is clearly present, along with an explicit program for finding an embedded pair in sequences of words.

  15. Theatre and Oral Interpretation: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," January through June 1982 (Vol. 42 Nos. 7 through 12).

    Science.gov (United States)

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 25 titles deal with a variety of topics, including the following: (1) the development of American theatre management practices between 1830 and 1896; (2) the aesthetics of audience response; (3) P. Picasso as a theatrical…

  16. Applying total interpretive structural modeling to study factors affecting construction labour productivity

    Directory of Open Access Journals (Sweden)

    Sayali Shrikrishna Sandbhor

    2014-03-01

    Full Text Available Construction sector has always been dependent on manpower. Most of the activities carried out on any construction site are labour intensive. Since productivity of any project depends directly on productivity of labour, it is a prime responsibility of the employer to enhance labour productivity. Measures to improve the same depend on analysis of positive and negative factors affecting productivity. Major attention should be given to factors that decrease the productivity of labour. Factor analysis thus is an integral part of any study aiming to improve productivity.  Interpretive structural modeling is a methodology for identifying and summarizing relationships among factors which define an issue or problem. It provides a means to arrange the factors in an order as per their complexity. This study attempts to use the latest version of interpretive structural modeling i.e. total interpretive structural modeling to analyze factors negatively affecting construction labour productivity. It establishes interpretive relationship among these factors facilitating improvement in the overall productivity of construction site.

  17. Interpretations of bullying by bullies, victims, and bully-victims in interactions at different levels of abstraction

    NARCIS (Netherlands)

    Pouwels, J.L.; Scholte, R.H.J.; Noorden, T.H.J. van; Cillessen, A.H.N.

    2016-01-01

    According to the Social Information Processing Model of children's adjustment, children develop general interpretation styles for future social events based on past social experiences. Previous research has shown associations between interpretations of social situations and internalizing and

  18. The Abstraction Ability in Constructing Relation Within Triangles by The Seventh Grade Students of Junior High School

    Science.gov (United States)

    Annas, Suwardi; Djadir; Mutmainna Hasma, Sitti

    2018-01-01

    on is an activity to organize a mathematical concept that has been previously owned into a new mathematical structure. Activites in abstraction are recognizing, organizing and constructing. Recognizing is a process of identifying a mathematical structure that had existed before. Organizing is a process of using structural knowledge to be assembled into a solution of a problem and constructing is a process of organizing the characteristics of the object into a new structure that does not exist. In abstraction process, the students use attributes to address the object, including routine attribute, nonroutine attributes, and meaningless attributes. This research applied descriptive qualitative research which aimed to describe the abstraction ability of students from high, moderate, and low groups to construct a relation within triangle. In collecting the data, this research used students’ pre-ability math test, abstraction test, and guided interview. The sampling technique in this research was based on the students’ scores in pre-ability math test, which were divided into three groups. Two students from each group were opted as the subjects of this research. Questions of the test are based on the indicators of steps in abstraction activity. Thus, based on the data gained in this research, researcher determined the tendency of attributes used in each abstraction activity. The result of this research revealed that students from high, moderate and low groups were prone to use routine attributes in recognizing triangles. In organizing the characteristics within triangles, high group tended to organize the triangle correctly, while the moderate and low groups tended to organize the triangle incorrectly. In constructing relation within triangles, students in high, moderate and low groups construct it incompletely.

  19. RESEARCH ON THE CONSTRUCTION OF REMOTE SENSING AUTOMATIC INTERPRETATION SYMBOL BIG DATA

    Directory of Open Access Journals (Sweden)

    Y. Gao

    2018-04-01

    Full Text Available Remote sensing automatic interpretation symbol (RSAIS is an inexpensive and fast method in providing precise in-situ information for image interpretation and accuracy. This study designed a scientific and precise RSAIS data characterization method, as well as a distributed and cloud architecture massive data storage method. Additionally, it introduced an offline and online data update mode and a dynamic data evaluation mechanism, with the aim to create an efficient approach for RSAIS big data construction. Finally, a national RSAIS database with more than 3 million samples covering 86 land types was constructed during 2013–2015 based on the National Geographic Conditions Monitoring Project of China and then annually updated since the 2016 period. The RSAIS big data has proven to be a good method for large scale image interpretation and field validation. It is also notable that it has the potential to solve image automatic interpretation with the assistance of deep learning technology in the remote sensing big data era.

  20. Factors Influencing Implementation of OHSAS 18001 in Indian Construction Organizations: Interpretive Structural Modeling Approach.

    Science.gov (United States)

    Rajaprasad, Sunku Venkata Siva; Chalapathi, Pasupulati Venkata

    2015-09-01

    Construction activity has made considerable breakthroughs in the past two decades on the back of increases in development activities, government policies, and public demand. At the same time, occupational health and safety issues have become a major concern to construction organizations. The unsatisfactory safety performance of the construction industry has always been highlighted since the safety management system is neglected area and not implemented systematically in Indian construction organizations. Due to a lack of enforcement of the applicable legislation, most of the construction organizations are forced to opt for the implementation of Occupational Health Safety Assessment Series (OHSAS) 18001 to improve safety performance. In order to better understand factors influencing the implementation of OHSAS 18001, an interpretive structural modeling approach has been applied and the factors have been classified using matrice d'impacts croises-multiplication appliqué a un classement (MICMAC) analysis. The study proposes the underlying theoretical framework to identify factors and to help management of Indian construction organizations to understand the interaction among factors influencing in implementation of OHSAS 18001. Safety culture, continual improvement, morale of employees, and safety training have been identified as dependent variables. Safety performance, sustainable construction, and conducive working environment have been identified as linkage variables. Management commitment and safety policy have been identified as the driver variables. Management commitment has the maximum driving power and the most influential factor is safety policy, which states clearly the commitment of top management towards occupational safety and health.

  1. [Adolescence, sexuality, and reproduction: cultural constructions, normative controversies, and interpretative alternatives].

    Science.gov (United States)

    Ventura, Miriam; Corrêa, Sonia

    2006-07-01

    This research note discusses the cultural and legal constructs referring to the sexual and reproductive rights of adolescents. Beginning with the expansion of human rights to include the prerogatives of children and adolescents, a veritable change occurred in the way families, society, and communities are expected to deal with these stages in life. Despite recent positive and progressive changes in legislation and healthcare for this age group, Brazil and other countries still experience difficulties in enforcing and interpreting the specific legislation, especially in dealing with teenage sexuality and reproduction. This article discusses possible alternatives and attempts to demonstrate that such legal reforms are not indispensable, since it is possible to weigh ethical and legal principles and then develop an interpretation that ensures the exercise of sexual and reproductive rights by adolescents.

  2. Abstract interpretation over non-deterministic finite tree automate for set-based analysis of logic programs

    DEFF Research Database (Denmark)

    Gallagher, John Patrick; Puebla, G.

    2002-01-01

    , and describe its implementation. Both goal-dependent and goal-independent analysis are considered. Variations on the abstract domains operations are introduced, and we discuss the associated tradeoffs of precision and complexity. The experimental results indicate that this approach is a practical way...

  3. A Communitarian Approach to Constructing Accountability and Strategies for Sustainable Abstract Development

    Directory of Open Access Journals (Sweden)

    Murugesh Arunachalam

    2007-12-01

    formulating strategies for sustainable development of the Taupo District in New Zealand. Alternating between our pre-understanding and the empirical data, a process known as “fusion of horizons” (Gadamer, 1975 in philosophical hermeneutics, is a means by which theories can be developed. This interpretive study indicates that meaning of accountability can be extended beyond a narrow conventional sense portraying accountability as a process of providing an account. Accountability also involves other dimensions such as moral responsibility, cooperative enquiry, information sharing, transparency and joint responsibility. From a communitarian perspective these dimensions of accountability emphasise the centrality of community and communal values. Accountability for environmental and social issues extends beyond the domain of corporations, and involves community participation.

  4. Construct validity of the reporter-interpreter-manager-educator structure for assessing students' patient encounter skills

    DEFF Research Database (Denmark)

    Tolsgaard, Martin G.; Arendrup, Henrick; Lindhardt, Bjarne O.

    2012-01-01

    PURPOSE: The aim of this study, done in Denmark, was to explore the construct validity of a Reporter-Interpreter-Manager-Educator (RIME)-structured scoring format for assessing patient encounter skills. METHOD: The authors developed a RIME-structured scoring form and explored its construct validity...... in a two-step procedure. The first step (implemented in 2009) was a randomized, controlled, experimental study in which the performance of three groups (16 fourth-year medical students, 16 sixth-year medical students, and 16 interns) was assessed in two simulated patient encounters. The second step...... (carried out during 2009-2010) was an observational study of patient encounter skills where clinician examiners used the scoring form in end-of-clerkship oral examinations of three consecutive cohorts of a total of 547 fourth-year medical students. RESULTS: In the experimental study, RIME scores showed...

  5. The impact of image test bank construction on radiographic interpretation outcomes: A comparison study

    International Nuclear Information System (INIS)

    Hardy, M.; Flintham, K.; Snaith, B.; Lewis, E.F.

    2016-01-01

    Introduction: Assessment of image interpretation competency is commonly undertaken through review of a defined image test bank. Content of these image banks has been criticised for the high percentage of abnormal examinations which contrasts with lower reported incidences of abnormal radiographs in clinical practice. As a result, questions have been raised regarding the influence of prevalence bias on the accuracy of interpretive decision making. This article describes a new and novel approach to the design of musculoskeletal image test banks. Methods: Three manufactured image banks were compiled following a standard academic menu in keeping with previous studies. Three further image test banks were constructed to reflect local clinical workload within a single NHS Trust. Eighteen radiographers, blinded to the method of test bank composition, were randomly assigned 2 test banks to review (1 manufactured, 1 clinical workload). Comparison of interpretive accuracy was undertaken. Results: Inter-rater agreement was moderate to good for all image banks (manufactured: range k = 0.45–0.68; clinical workload: k = 0.49–0.62). A significant difference in mean radiographer sensitivity was noted between test bank designs (manufactured 87.1%; clinical workload 78.5%; p = 0.040, 95% CI = 0.4–16.8; t = 2.223). Relative parity in radiographer specificity and overall accuracy was observed. Conclusion: This study confirms the findings of previous research that high abnormality prevalence image banks over-estimate the ability of observers to identify abnormalities. Assessment of interpretive competency using an image bank that reflects local clinical practice is a better approach to accurately establish interpretive competency and the learning development needs of individual practitioners. - Highlights: • High prevalence image test banks over-estimate the ability of observers. • Clinical workload test banks may better reflect image interpretation competency.

  6. The interpretation of proverbs by elderly with high, medium and low educational level: Abstract reasoning as an aspect of executive functions

    Science.gov (United States)

    Wachholz, Thalita Bianchi de Oliveira; Yassuda, Mônica Sanches

    2011-01-01

    It is now known that cognitive functions tend to decline with age. Executive functions (EF) are among the first abilities to decline with aging. A subcomponent of the EF is abstract reasoning. The Test of Proverbs is an instrument that can be used to evaluate the capacity of abstract reasoning. Objective To examine the association of performance in interpretation of proverbs, with education and with episodic memory and EF tasks. Methods A total of 67 individuals aged between 60 and 75 years were evaluated, and divided into three categories of education: 1-4 years, 5-8 years, and 9 or more years of schooling. The instruments used were a sociodemographic questionnaire (gender, age, marital status, education, income, previous occupation, current occupation and health perception), the Mini Mental State Examination, Brief Cognitive Screening Battery; Geriatric Depression Scale; Forward and Backward Digit Span (WAIS-III), and the Test of Proverbs. Results A high impact of education was seen on the interpretation of proverbs, with lower performance among the elderly with less education. A significant association between performance on the Test of Proverbs and scores on the MMSE, GDS, and verbal fluency tests was found. There was a modest association with incidental memory. Conclusions The capacity to interpret proverbs is strongly associated with education and with performance on other EF tasks. PMID:29213717

  7. Applying Interpretive Structural Modeling to Cost Overruns in Construction Projects in the Sultanate of Oman

    Directory of Open Access Journals (Sweden)

    K. Alzebdeh

    2015-06-01

    Full Text Available Cost overruns in construction projects are a problem faced by project managers, engineers, and clients throughout the Middle East.  Globally, several studies in the literature have focused on identifying the causes of these overruns and used statistical methods to rank them according to their impacts. None of these studies have considered the interactions among these factors. This paper examines interpretive structural modelling (ISM as a viable technique for modelling complex interactions among factors responsible for cost overruns in construction projects in the Sultanate of Oman. In particular, thirteen interrelated factors associated with cost overruns were identified, along with their contextual interrelationships. Application of ISM leads to organizing these factors in a hierarchical structure which effectively demonstrates their interactions in a simple way. Four factors were found to be at the root of cost overruns: instability of the US dollar, changes in governmental regulations, faulty cost estimation, and poor coordination among projects’ parties. Taking appropriate actions to minimize the influence of these factors can ultimately lead to better control of future project costs. Thisstudy is of value to managers and decision makers because it provides a powerful yet very easy to apply approach for investigating the problem of cost overruns and other similar issues.

  8. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

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

    2011-01-01

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

  9. Applying total interpretive structural modeling to study factors affecting construction labour productivity

    OpenAIRE

    Sayali Shrikrishna Sandbhor; Rohan P. Botre

    2014-01-01

    Construction sector has always been dependent on manpower. Most of the activities carried out on any construction site are labour intensive. Since productivity of any project depends directly on productivity of labour, it is a prime responsibility of the employer to enhance labour productivity. Measures to improve the same depend on analysis of positive and negative factors affecting productivity. Major attention should be given to factors that decrease the productivity of labour. Factor anal...

  10. How to Make a Good Animation: A Grounded Cognition Model of How Visual Representation Design Affects the Construction of Abstract Physics Knowledge

    Science.gov (United States)

    Chen, Zhongzhou; Gladding, Gary

    2014-01-01

    Visual representations play a critical role in teaching physics. However, since we do not have a satisfactory understanding of how visual perception impacts the construction of abstract knowledge, most visual representations used in instructions are either created based on existing conventions or designed according to the instructor's intuition,…

  11. Abstract of articles presented at the seminar of investigating the construction of nuclear power plant in Iran

    International Nuclear Information System (INIS)

    Hariri, A.; Khonsari Moosavi, R.; Shoai-Naini, J.; Motamedi, M.A.

    1982-01-01

    Under five subtitles papers had been presented to the seminar of investigating the construction of nuclear power plant held at Isfahan by Atomic Energy Organization of Iran (AEOI). 1.The necessity of constructing nuclear power plants in Iran with relation to the development of nuclear technology. 2.Seven articles survey the problem of fuel cycling and the potentiallity of AEOI in this field. 3. Four papers allocate to the technology of nuclear safety and radiation protection. 4.Three papers evaluate technical and scientific capabitities of AEOI for constructing nuclear power plants, and two paper about planning and training man power with an aim toward construction of nuclear power plants

  12. Interpretation of Pronouns in VP-Ellipsis Constructions in Dutch Broca's and Wernicke's Aphasia

    Science.gov (United States)

    Vasic, Nada; Avrutin, Sergey; Ruigendijk, Esther

    2006-01-01

    In this paper, we investigate the ability of Dutch agrammatic Broca's and Wernicke's aphasics to assign reference to possessive pronouns in elided VP constructions. The assumption is that the comprehension problems in these two populations have different sources that are revealed in distinct patterns of responses. The focus is primarily on the…

  13. Comprehensive Interpretation of the Laboratory Experiments Results to Construct Model of the Polish Shale Gas Rocks

    Science.gov (United States)

    Jarzyna, Jadwiga A.; Krakowska, Paulina I.; Puskarczyk, Edyta; Wawrzyniak-Guz, Kamila; Zych, Marcin

    2018-03-01

    More than 70 rock samples from so-called sweet spots, i.e. the Ordovician Sa Formation and Silurian Ja Member of Pa Formation from the Baltic Basin (North Poland) were examined in the laboratory to determine bulk and grain density, total and effective/dynamic porosity, absolute permeability, pore diameters size, total surface area, and natural radioactivity. Results of the pyrolysis, i.e., TOC (Total Organic Carbon) together with S1 and S2 - parameters used to determine the hydrocarbon generation potential of rocks, were also considered. Elemental composition from chemical analyses and mineral composition from XRD measurements were also included. SCAL analysis, NMR experiments, Pressure Decay Permeability measurements together with water immersion porosimetry and adsorption/ desorption of nitrogen vapors method were carried out along with the comprehensive interpretation of the outcomes. Simple and multiple linear statistical regressions were used to recognize mutual relationships between parameters. Observed correlations and in some cases big dispersion of data and discrepancies in the property values obtained from different methods were the basis for building shale gas rock model for well logging interpretation. The model was verified by the result of the Monte Carlo modelling of spectral neutron-gamma log response in comparison with GEM log results.

  14. [Primary healthcare and the construction of meanings for oral health: a social constructionist interpretation of discourses by the elderly].

    Science.gov (United States)

    Bulgarelli, Alexandre Favero; Lorenzi, Carla Guanáes; Silva, Rosalina Carvalho da; Mestriner, Soraya Fernandes; Villa, Teresa Cristina Scatena; Pinto, Ione Carvalho

    2012-08-01

    Dentistry is nowadays open to new ideas about the constructions of meanings for oral health. This openness tallies with the social production of health and shows the need to contextualize the social, historical and sundry knowledge in the development of oral health for different communities. The scope of this research is to build meanings for oral health with a group of elderly people. With this in mind, we propose an approximation between the discourses of the elderly on oral health and the Social Constructionist discourse. Thus, we interviewed 14 elderly people registered with a Family Health Unit in Ribeirão Preto in the State of São Paulo in the first semester of 2010. This enabled us to identify two Interpretative Repertoires with the use of Discourse Analysis, which showed the relationship between: 1 - Lack of dental information and assistance in childhood; and 2 - Primary Healthcare constructing meaning for oral health. We concluded that Social Constructionism assists epistemologically for the construction of meaning for oral health and that Primary Healthcare is essential for valuing healthcare for the construction of meaning for oral health on the part of the elderly by fostering conditions for self care and healthy attitudes.

  15. German Children’s Use of Word Order and Case Marking to Interpret Simple and Complex Sentences: Testing Differences Between Constructions and Lexical Items

    Science.gov (United States)

    Brandt, Silke; Lieven, Elena; Tomasello, Michael

    2016-01-01

    ABSTRACT Children and adults follow cues such as case marking and word order in their assignment of semantic roles in simple transitives (e.g., the dog chased the cat). It has been suggested that the same cues are used for the interpretation of complex sentences, such as transitive relative clauses (RCs) (e.g., that’s the dog that chased the cat) (Bates, Devescovi, & D’Amico, 1999). We used a pointing paradigm to test German-speaking 3-, 4-, and 6-year-old children’s sensitivity to case marking and word order in their interpretation of simple transitives and transitive RCs. In Experiment 1, case marking was ambiguous. The only cue available was word order. In Experiment 2, case was marked on lexical NPs or demonstrative pronouns. In Experiment 3, case was marked on lexical NPs or personal pronouns. Whereas the younger children mainly followed word order, the older children were more likely to base their interpretations on the more reliable case-marking cue. In most cases, children from both age groups were more likely to use these cues in their interpretation of simple transitives than in their interpretation of transitive RCs. Finally, children paid more attention to nominative case when it was marked on first-person personal pronouns than when it was marked on third-person lexical NPs or demonstrative pronouns, such as der Löwe ‘the-NOM lion’ or der ‘he-NOM.’ They were able to successfully integrate this case-marking cue in their sentence processing even when it appeared late in the sentence. We discuss four potential reasons for these differences across development, constructions, and lexical items. (1) Older children are relatively more sensitive to cue reliability. (2) Word order is more reliable in simple transitives than in transitive RCs. (3) The processing of case marking might initially be item-specific. (4) The processing of case marking might depend on its saliency and position in the sentence. PMID:27019652

  16. [Primary healthcare and the construction of meanings of oral health: a social constructionist interpretation of discourses of the elderly].

    Science.gov (United States)

    Bulgarelli, Alexandre Favero; Pinto, Ione Carvalho; Lorenzi, Carla Guanaes; Villa, Teresa Cristina Scatena; Mestriner, Soraya Fernandes; Silva, Rosalina Carvalho da

    2012-05-01

    Dentistry currently reveals itself to be open to new ideas about the construction of meanings for oral health. This openness leads to the social production of health revealing the contextualization of the social and historical aspects of the sundry knowledge in the development of oral health for different communities. With this research, we seek to build meanings for oral health with a group of elderly people. With this objective in mind, we propose an approximation between discourses on oral health mentioned by the elderly and the Social Constructionist discourse. We interviewed 14 elderly people enrolled in a Family Health Unit in Ribeirão Preto, State of São Paulo, in the first semester of 2010, and identified two interpretative repertoires through Discourse Analysis, which showed the relationship between 1 - Lack of information and dental assistance in childhood, and 2 - Primary Health Care building the meaning of oral health. We concluded that Social Constructionism works epistemologically for the construction of meanings for oral health and that primary health is essential for appreciation and health care that enables the construction of meanings in oral health by the elderly that create conditions for self-care and healthy attitudes.

  17. Graphing the order of the sexes: constructing, recalling, interpreting, and putting the self in gender difference graphs.

    Science.gov (United States)

    Hegarty, Peter; Lemieux, Anthony F; McQueen, Grant

    2010-03-01

    Graphs seem to connote facts more than words or tables do. Consequently, they seem unlikely places to spot implicit sexism at work. Yet, in 6 studies (N = 741), women and men constructed (Study 1) and recalled (Study 2) gender difference graphs with men's data first, and graphed powerful groups (Study 3) and individuals (Study 4) ahead of weaker ones. Participants who interpreted graph order as evidence of author "bias" inferred that the author graphed his or her own gender group first (Study 5). Women's, but not men's, preferences to graph men first were mitigated when participants graphed a difference between themselves and an opposite-sex friend prior to graphing gender differences (Study 6). Graph production and comprehension are affected by beliefs and suppositions about the groups represented in graphs to a greater degree than cognitive models of graph comprehension or realist models of scientific thinking have yet acknowledged.

  18. Inventory Abstraction

    International Nuclear Information System (INIS)

    Leigh, C.

    2000-01-01

    The purpose of the inventory abstraction as directed by the development plan (CRWMS M and O 1999b) is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M and O 1999c, 1999d). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) (NRC 1999) key technical issue (KTI): ''The rate at which radionuclides in SNF [Spent Nuclear Fuel] are released from the EBS [Engineered Barrier System] through the oxidation and dissolution of spent fuel'' (Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest contributors to the dose given a release to the accessible environment. The inventory abstraction is important in assessing system performance because

  19. INVENTORY ABSTRACTION

    International Nuclear Information System (INIS)

    Ragan, G.

    2001-01-01

    The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M andO 2000e for/ICN--02 of the present analysis, and BSC 2001e for ICN 03 of the present analysis), is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M andO 2000c, 2000f). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) key technical issue (KTI): ''The rate at which radionuclides in SNF [spent nuclear fuel] are released from the EBS [engineered barrier system] through the oxidation and dissolution of spent fuel'' (NRC 1999, Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest contributors to the dose given a release

  20. How to make a good animation: A grounded cognition model of how visual representation design affects the construction of abstract physics knowledge

    Directory of Open Access Journals (Sweden)

    Zhongzhou Chen

    2014-04-01

    Full Text Available Visual representations play a critical role in teaching physics. However, since we do not have a satisfactory understanding of how visual perception impacts the construction of abstract knowledge, most visual representations used in instructions are either created based on existing conventions or designed according to the instructor’s intuition, which leads to a significant variance in their effectiveness. In this paper we propose a cognitive mechanism based on grounded cognition, suggesting that visual perception affects understanding by activating “perceptual symbols”: the basic cognitive unit used by the brain to construct a concept. A good visual representation activates perceptual symbols that are essential for the construction of the represented concept, whereas a bad representation does the opposite. As a proof of concept, we conducted a clinical experiment in which participants received three different versions of a multimedia tutorial teaching the integral expression of electric potential. The three versions were only different by the details of the visual representation design, only one of which contained perceptual features that activate perceptual symbols essential for constructing the idea of “accumulation.” On a following post-test, participants receiving this version of tutorial significantly outperformed those who received the other two versions of tutorials designed to mimic conventional visual representations used in classrooms.

  1. Soviet-French working group interpretation of the scientific information during the search for celestial sources of gamma pulses, abstract of reports, 24-30 March 1977

    Science.gov (United States)

    Estulin, I. V.

    1977-01-01

    The progress made and techniques used by the Soviet-French group in the study of gamma and X ray pulses are described in abstracts of 16 reports. Experiments included calibration and operation of various recording instruments designed for measurements involving these pulses, specifically the location of sources of such pulses in outer space. Space vehicles are utilized in conjunction with ground equipment to accomplish these tests.

  2. Interpreting 9/11: The Role of Language and Narrative in the Construction of “American” Identity

    Directory of Open Access Journals (Sweden)

    Chad Tallman

    2014-02-01

    Full Text Available Following the attacks on September 11, 2001 (that killed approximately three thousand people the United States began waging war abroad, resulting in the deaths of hundreds of thousands of civilians and permanently displacing millions of innocent people. The interpretation of 9/11 as an act of war by the U.S. government and the mainstream news media provided the pretext for military aggression, legitimating war and militarization—on the basis of “national security”. This produced conditions for the heroic-narrative of the savior-nation to emerge, expressing itself in the United States’ “War on Terror”. The idea of the “War on Terror” was introduced in the aftermath of a lingering national trauma—in many ways generated by the government and the mainstream news media. Its repetition allowed it to become physically embodied in the human brain, and thereby, orienting people toward nationalism and the use of violence. This study places identity at the center of the problem, arguing that “American” identity is dependent upon the existence of an enemy- other (negative identity. Drawing upon discoveries in cognitive science and neuroscience permits one to appreciate the role of language and narrative in the construction of identity and the implications it has for both war and peace. Combining this research with a philosophical and religious analysis of the United States captures a trend in the actions, thought, and beliefs that help form the “American” self and its relationship to violence.

  3. 'They don't understand…you cut yourself in order to live.' Interpretative repertoires jointly constructing interactions between adult women who self-harm and professional caregivers.

    Science.gov (United States)

    Lindgren, Britt-Marie; Oster, Inger; Aström, Sture; Hällgren Graneheim, Ulla

    2011-01-01

    The aim of the study was to illuminate interpretative repertoires that jointly construct the interaction between adult women who self-harm and professional caregivers in psychiatric inpatient care. Participant observations and informal interviews were conducted among six women who self-harm and their professional caregivers in two psychiatric inpatient wards, and analysed using the concept of interpretative repertoires from the discipline of discursive psychology. The analysis revealed four interpretative repertoires that jointly constructed the interaction. The professional caregivers used a "fostering repertoire" and a "supportive repertoire" and the women who self-harmed used a "victim repertoire" and an "expert repertoire." The women and the caregivers were positioned and positioned themselves and people around them within and among these interpretative repertoires to make sense of their experiences of the interaction. It was necessary to consider each woman's own life chances and knowledge about herself and her needs. The participants made it clear that it was essential for them to be met with respect as individuals. Professional caregivers need to work in partnership with individuals who self-harm-experts by profession collaborating with experts by experience. Caregivers need to look beyond behavioural symptoms and recognise each individual's possibilities for agency.

  4. Abstract algebra

    CERN Document Server

    Garrett, Paul B

    2007-01-01

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

  5. 263 Abstract

    African Journals Online (AJOL)

    Osondu

    management staff include provision of residential accommodation, company car with free fuel allocation, pension ... Olomolaiye and Price (1989) argued that construction work .... exceed its budget, by measuring the quantity of work done in ...

  6. Article Abstract

    African Journals Online (AJOL)

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

  7. Interpreting future physics teachers reflections on their professional practice during initial formation: the search for teaching autonomy construction

    OpenAIRE

    Rodolfo Langhi; Roberto Nardi

    2012-01-01

    This research intends to answer the following main question: which traces of teacher autonomy construction are possible to achieve during reflective formative processes in disciplines like Methodology and Physics Teaching Practice carried out during three semesters, in an undergraduate program designed to physics teachers´ initial education? Using an analytical device based on teachers education research assumptions, which we called convergent formative triangulation for progressive teaching ...

  8. Unifying Abstractions

    DEFF Research Database (Denmark)

    Torgersen, Mads

    This thesis presents the RUNE language, a semantic construction of related and tightly coupled programming constructs presented in the shape of a programming language. The major contribution is the succesfull design of a highly unified and general programming model, capable of expressing some of ...... a unified name declaration mechanism. The resulting expressiveness allows for argument covariance, dependent types and module types, plus a solution to the so-called expression problem of two way extensibility in object-oriented languages....... of the most complex type relations put forth in type systems research, without compromising such fundamental qualities as conceptuality, modularity and static typing. While many new constructs and unifications are put forth  to substantiate their conceptual validity, type rules are given to support...

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

  10. Interpreting future physics teachers reflections on their professional practice during initial formation: the search for teaching autonomy construction

    Directory of Open Access Journals (Sweden)

    Rodolfo Langhi

    2012-01-01

    Full Text Available This research intends to answer the following main question: which traces of teacher autonomy construction are possible to achieve during reflective formative processes in disciplines like Methodology and Physics Teaching Practice carried out during three semesters, in an undergraduate program designed to physics teachers´ initial education? Using an analytical device based on teachers education research assumptions, which we called convergent formative triangulation for progressive teaching autonomy, we had as a main objective the search for the chance to achieve progressive levels of teachers autonomy, according to its three teacher professionalization models, present in a critical and transformative perspective, relating them to the current formative paradigms: the contents based one, the humanist, the activist, the reflective and the technical (approaches we called CHART. Taking into consideration future physics teachers´ collective reflections about their own teaching practice, this research was supported by the following methodological instruments: focus group, coaching, self-confrontation and formative assessment, taking the discourse analysis as background. The outcomes of this research, which followed a sample of 40 future High School physics teachers during three semesters, through the use of five formative steps (planning, implementation, reflection, socialization, involvement and continuity, revealed the evidences of teachers autonomy construction, probably provided by their own teaching practice collective reflections, according to the analytical device used. This research showed that the reflections brakes provided during the process can allow the future teachers to position themselves critically in relation to their future pedagogical activities, even after their initial training. This experience leads us to rethink how subjects like Methodology and Teaching Practice have been teaching in the teachers’ education programs at

  11. [Abstract painting, a mental esthetic construction without exact correspondence with reality (José Guerrero: manuel and corporal expressions in his paintings)].

    Science.gov (United States)

    Portera Sánchez, Alberto

    2006-01-01

    It is desirable that a truthful aesthetic experience should be the consequence of a complete observation detached from all sorts of commercial, social, political or cultural ties. If during this period of admiration of a work of art a personal concentration is reached, the admirer perceives a liberation from all sorts of limiting ties and a rewarding artistic feeling. A similar type of mental freedom must be reached by the artist and prevail during the process of creation which must reach its greatest dimension in abstract paintings because not being illustrations they demand from the spectator a well developed habit to detect its esthetic values, difficult to perceive because they are in the abstract order. The dimensions such as perspective, symmetry, lights and shadows, usually integrated in figurative paintings to create well defined tridimensional spaces are not included in abstractions because this type of geometrical composition is not needed. In contemporary abstraction the design itself has lost its formal meaning and its protagonist role. It is frequently replaced by abrupt gestures as it is the case in the styles named "action painting" (Jackson Pollack) or "abstract expressionism" (Antonio Saura). Other abstract painters close to "minimalism" simply drop the colors on the canvas without any attempt to design but full of aesthetic energy and even single colors uniformly bathe the surface of the linen (Rothko). Other american artists of the sixties (Monis Louis) are also to be admired. They allow that the deposited and sliding colors themselves initiate and finish interesting artistic compositions. They become esential creative agents in the painting without being forced to be figurative nor to follow the creative will of the artist who, is simply acting as the first observer and only intervenes "a posteriori" accepting or rejecting the results. Only the colors and under the single influence of their sliding density create the shapes and artistic

  12. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Reflection on Some Issues Regarding the System of Socialism with Chinese Characteristics Zhang Xingmao The establishment of the system of socialism with Chinese characteristics, as the symbol of China's entry into the socialist society with Chinese characteristics, is the significant development of Marist theory of social formation. The Chinese model is framed and defined by the socialist system with Chinese characteristics, therefore the study of different levels and aspects of the Chinese model should be related to the relevant Chinese system to guarantee a scientific interpretation. Under the fundamental system of socialism, the historical and logical starting point of the formation of socialism with Chinese characteristics lies in eliminating the private ownership first and then allowing the existence and rapid development of the non-public sectors of the economy. With the gradual establishment and on the basis of the basic economic system in the preliminary stage of Socialism, and with the adaptive adjustments in the economic, political, cultural, and social systems, the socialist system with Chinese characteristics is gradually formed.

  13. Reliability, Construct Validity and Interpretability of the Brazilian version of the Rapid Upper Limb Assessment (RULA) and Strain Index (SI).

    Science.gov (United States)

    Valentim, Daniela Pereira; Sato, Tatiana de Oliveira; Comper, Maria Luiza Caíres; Silva, Anderson Martins da; Boas, Cristiana Villas; Padula, Rosimeire Simprini

    There are very few observational methods for analysis of biomechanical exposure available in Brazilian-Portuguese. This study aimed to cross-culturally adapt and test the measurement properties of the Rapid Upper Limb Assessment (RULA) and Strain Index (SI). The cross-cultural adaptation and measurement properties test were established according to Beaton et al. and COSMIN guidelines, respectively. Several tasks that required static posture and/or repetitive motion of upper limbs were evaluated (n>100). The intra-raters' reliability for the RULA ranged from poor to almost perfect (k: 0.00-0.93), and SI from poor to excellent (ICC 2.1 : 0.05-0.99). The inter-raters' reliability was very poor for RULA (k: -0.12 to 0.13) and ranged from very poor to moderate for SI (ICC 2.1 : 0.00-0.53). The agreement was good for RULA (75-100% intra-raters, and 42.24-100% inter-raters) and to SI (EPM: -1.03% to 1.97%; intra-raters, and -0.17% to 1.51% inter-raters). The internal consistency was appropriate for RULA (α=0.88), and low for SI (α=0.65). Moderate construct validity were observed between RULA and SI, in wrist/hand-wrist posture (rho: 0.61) and strength/intensity of exertion (rho: 0.39). The adapted versions of the RULA and SI presented semantic and cultural equivalence for the Brazilian Portuguese. The RULA and SI had reliability estimates ranged from very poor to almost perfect. The internal consistency for RULA was better than the SI. The correlation between methods was moderate only of muscle request/movement repetition. Previous training is mandatory to use of observations methods for biomechanical exposure assessment, although it does not guarantee good reproducibility of these measures. Copyright © 2017 Associação Brasileira de Pesquisa e Pós-Graduação em Fisioterapia. Publicado por Elsevier Editora Ltda. All rights reserved.

  14. BALWOIS: Abstracts

    International Nuclear Information System (INIS)

    Morell, Morell; Todorovik, Olivija; Dimitrov, Dobri

    2004-01-01

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

  15. WWNPQFT-2011 - Abstracts

    International Nuclear Information System (INIS)

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

    2013-01-01

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

  16. Construction and modernization of small hydroelectric installations with funding by programmes of the EU. Abstract; Neubau und Modernisierung von Kleinwasserkraftanlagen durch Foerderprogramme der E.U.. Kurzfassung

    Energy Technology Data Exchange (ETDEWEB)

    Hauck, E. [Ingenieurgesellschaft fuer Wasserbau und Bautechnik mbH, Rheinstetten (Germany)

    1997-12-31

    The report gives a brief introduction into the EU grant programmes since 1984 and explains the philosophy behind them. The current situation regarding grant opportunities for the construction and modernization of small hydroelectric installations is outlined. Hints are given with a view to grant applications. A selection of small hydro power stations supported by grants (since 1984) are described with their economic and technical features. (orig.) [Deutsch] In diesem Beitrag wird eine kurze Einfuehrung in die EU-Foerderprogramme seit 1984 und Erlaeuterungen zu der Programmphilosophie gegeben. Die derzeitige Situation bezueglich der Foerderung von Kleinwasserkraftanlagen fuer Neubauten und Modernisierungsmassnahmen wird dargestellt. Es werden Hinweise zur Stellung eines Foerderantrags beschrieben. Abschliessend erfolgt die Vorstellung einer Auswahl von gefoerderten Kleinwasserkraftanlagen (seit 1984) mit den wirtschaftlichen und technischen Besonderheiten. (orig.)

  17. Journal Abstracts

    Directory of Open Access Journals (Sweden)

    Mete Korkut Gülmen

    1996-07-01

    kanına difüzyon daha azdı. Sol böbrek ve sol akciğer, sağ böbrek ve sağ akciğerden daha fazla etkilenmişti, aynısı sol ve sağ psoas kasları için de doğmdur. En az etkilenenler ise karaciğerin ön lobu ve akciğer apeksleridir. Bu olay karaciğerde ve vücut organlarından alınan kanlarda ilaç konsantrasyonlarını, sonuç olarakta karaciğer/kan ilaç oranlarını anlamlı olarak etkileyebilmektedir. Mideden postmortem ilaç difüzyonunıın etkilerini azaltmak için, örneklerin periferik kan damarlarından, bir ekstremitedeki iskelet kaslarından, karaciğer sağ lobunun derin bölgelerinden ve akciğerin tabanından çok apeklerinden alınması önerilmektedir. POSTMORTEM ETANOL ÜRETİMİ VE DEĞERLENDİRMEYİ ETKİLEYEN FAKTÖRLER Postmortem production of ethanol and factors that influence interpretation Pounder DJ, Cox DE, Kuroda N. Am J Forensic Med Pathol. 1996; 17(1: 8-20. Etanol incelemesi adli toksikoloji laboratuvarlarında en sık yapılan incelemedir. Postmortem etanol incelemesi sıklıkla postmortem etanol üretimi sebebi ile zorlaşmaktadır. Bir çok bakteri türleri, kültür mantarları ve küf mantarları çeşitli maddelerden etanol üretebilmektedir. Ölüm ve otopsi yapılması arasındaki süre ve saklama sıcaklığı arttıkça etanol sentezi olasılığı da artmaktadır. Postmortem alkol üretimi ve antemoıtem alkol aliminin ayırımı sıklıkla zor olmaktadır. Bu derlemede postmortem etanol sentezinin tanınma kriterleri ve postmortem etanol bulgularının yommlanmasında dikkate alınacak faktörler sunulmuştur. Kriterler olgu hikayesi, örneklerin saklama şartları, var olan mikrop tipleri, eta- nolün atipik sıvı ve doku dağılımı, etanol konsantrasyonu, diğer alkol ve uçucu maddelerin tespit edilmesidir. Elde edilebilen tüm bilgilerin dikkatlice değerlendirilmesi ile etanolün antemortem veya postmortem kaynaklı olduğunun geçerli bir yorumu yapılabilmektadir. KAPALI KAFA TRAVMASI SONUCUNDA GEL

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

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

    Science.gov (United States)

    Raychaudhuri, Debasree

    2014-01-01

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

  20. An investigation of developmental changes in interpretation and construction of graphic AAC symbol sequences through systematic combination of input and output modalities.

    Science.gov (United States)

    Trudeau, Natacha; Sutton, Ann; Morford, Jill P

    2014-09-01

    While research on spoken language has a long tradition of studying and contrasting language production and comprehension, the study of graphic symbol communication has focused more on production than comprehension. As a result, the relationships between the ability to construct and to interpret graphic symbol sequences are not well understood. This study explored the use of graphic symbol sequences in children without disabilities aged 3;0 to 6;11 (years; months) (n=111). Children took part in nine tasks that systematically varied input and output modalities (speech, action, and graphic symbols). Results show that in 3- and 4-year-olds, attributing meaning to a sequence of symbols was particularly difficult even when the children knew the meaning of each symbol in the sequence. Similarly, while even 3- and 4-year-olds could produce a graphic symbol sequence following a model, transposing a spoken sentence into a graphic sequence was more difficult for them. Representing an action with graphic symbols was difficult even for 5-year-olds. Finally, the ability to comprehend graphic-symbol sequences preceded the ability to produce them. These developmental patterns, as well as memory-related variables, should be taken into account in choosing intervention strategies with young children who use AAC.

  1. On the Dogmatics of Contract Interpretation

    Institute of Scientific and Technical Information of China (English)

    Yang Guoqing

    2017-01-01

    The interpretation of contract has attracted much attention in the practice of contract law and the basic problems to be solved are what the parties agree on and how to set up the rules of adjudication. The present domestic studies are not conducive to contract prac-tices because they either unnecessarily elevate scientific problems to the speculative realm of fantasy, or make the problems become more unreal and abstract. The two traditional theories of contract interpretation do not conflict in values in terms of the autonomy of the will and trust protection. However, in today' s society where cultural pluralism and legal value plural-ism exist, because of different contract practices, differentiation and individualization of con-tract interpretation will become the basic patterns. Therefore, it is impossible and unnecessary to construct a unitary model, but it is of great significance to introduce the dogmatics-orien-ted contract interpretation.

  2. In Search of Validity Evidence in Support of the Interpretation and Use of Assessments of Complex Constructs: Discussion of Research on Assessing 21st Century Skills

    Science.gov (United States)

    Ercikan, Kadriye; Oliveri, María Elena

    2016-01-01

    Assessing complex constructs such as those discussed under the umbrella of 21st century constructs highlights the need for a principled assessment design and validation approach. In our discussion, we made a case for three considerations: (a) taking construct complexity into account across various stages of assessment development such as the…

  3. Construction and Identification of a Recombinant Plasmid Encoding Echinococcus granulosus Oncosphere Antigen (EG95Abstract Background: Cystic echinococcosis (CE, as a zoonotic disease cause to health threat and economic losses. Despite implemented cont

    Directory of Open Access Journals (Sweden)

    Nahideh MAZAHERI

    2017-12-01

    Full Text Available AbstractBackground: Cystic echinococcosis (CE, as a zoonotic disease cause to health threat and economic losses. Despite implemented control programs, few countries have been able to decrease or eliminate this infection. Vaccination of the intermediate host offers an additional strategy to control the parasite transmission and EG95 antigen is considered more than the others in the vaccine issue. According to the high protection induced by the EG95 recombinant vaccine, this study was designed to construct recombinant plasmid formulation of EG95 antigen.Methods: In 2015, the Echinococcus granulosus eggs were recovered from an infected dog in Parasitological laboratory of Tarbiat Modares University in Tehran, Iran. Following hatching, the oncospheres of E. granulosus were activated to increase the presence of the desired mRNA. The extracted mRNA was transcribed to the cDNA which used as template in RT-PCR. Then the EG95 gene cloned into pET28a vector and the recombinant plasmids expression was  investigated in prokaryotic and eukaryotic cells.Results:  The recombinant plasmid encoding EG95 antigen was successfully constructed and identified by PCR, restriction enzyme digestion and sequencing. In vitro expression of the EG95 antigen was confirmed in prokary­otic and eukaryotic systems by SDS-PAGE and western blotting analysis.Conclusion: Because of potential advantages of DNA vaccines, including ability to induce long-term immune responses, low production cost and stability in different temperatures, this study carried out to construct the EG95 gene into a vector. This recombinant vector can be evaluated in further studies as a DNA vaccine may provide new prospects for the development of a vaccine against cystic hydatid disease.

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

  5. Programme and abstracts

    International Nuclear Information System (INIS)

    1975-01-01

    Abstracts of 25 papers presented at the congress are given. The abstracts cover various topics including radiotherapy, radiopharmaceuticals, radioimmunoassay, health physics, radiation protection and nuclear medicine

  6. German Children's Use of Word Order and Case Marking to Interpret Simple and Complex Sentences: Testing Differences between Constructions and Lexical Items

    Science.gov (United States)

    Brandt, Silke; Lieven, Elena; Tomasello, Michael

    2016-01-01

    Children and adults follow cues such as case marking and word order in their assignment of semantic roles in simple transitives (e.g., "the dog chased the cat"). It has been suggested that the same cues are used for the interpretation of complex sentences, such as transitive relative clauses (RCs) (e.g., "that's the dog that chased…

  7. Abstracts of the Canadian Society for Civil Engineering annual conference including the general conference, the 1. international structural specialty conference, the 1. international construction specialty conference, and the 1. specialty conference on disaster mitigation : towards a sustainable future

    International Nuclear Information System (INIS)

    El-Badry, M.; Loov, R.E.; Ruwanpura, J.; El-Hacha, R.; Kroman, J.; Rankin, J.

    2006-01-01

    This conference provided a forum for national and international practicing engineers, researchers and technical experts to discuss sustainable solutions to infrastructure development. Discussions focused on recent developments in new technologies for building more economic and sustainable infrastructure, while improving the safety of buildings, bridges, roads, water supply and sewage treatment systems. The conference was held in conjunction with associated specialty conferences, including a first international structures specialty conference, a first international construction specialty conference, and a first specialty conference on disaster mitigation. This book of abstracts highlights all the specialty conferences and accompanies a CD-ROM that has the full text of all the papers. Manuscripts of the full papers submitted to the specialty conferences were peer-reviewed by international scientific committees. The general conference provided a forum to learn about new technologies and future directions in various areas of civil engineering. It included a special theme session on sustainable development and a special session on innovation and information technology. Other technical sessions focused on topics such as civil engineering history and education; infrastructure management and renewal; asset management; risk assessment and management; engineering materials and mechanics; environmental engineering and science; hydrotechnical engineering; cold region engineering; and, transportation engineering. The general conference featured 88 presentations, of which 15 have been catalogued separately for inclusion in this database

  8. Automata Learning through Counterexample Guided Abstraction Refinement

    DEFF Research Database (Denmark)

    Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

    2012-01-01

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

  9. Program and abstracts

    International Nuclear Information System (INIS)

    1975-01-01

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

  10. Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1975-01-01

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

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

  12. Interpretative commenting.

    Science.gov (United States)

    Vasikaran, Samuel

    2008-08-01

    * Clinical laboratories should be able to offer interpretation of the results they produce. * At a minimum, contact details for interpretative advice should be available on laboratory reports.Interpretative comments may be verbal or written and printed. * Printed comments on reports should be offered judiciously, only where they would add value; no comment preferred to inappropriate or dangerous comment. * Interpretation should be based on locally agreed or nationally recognised clinical guidelines where available. * Standard tied comments ("canned" comments) can have some limited use.Individualised narrative comments may be particularly useful in the case of tests that are new, complex or unfamiliar to the requesting clinicians and where clinical details are available. * Interpretative commenting should only be provided by appropriately trained and credentialed personnel. * Audit of comments and continued professional development of personnel providing them are important for quality assurance.

  13. Abstracting Concepts and Methods.

    Science.gov (United States)

    Borko, Harold; Bernier, Charles L.

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

  14. The southern gate of the walled city of León, Spain (I-XII centuries. Stratigraphic and interpretive analysis of a new constructive evidence

    Directory of Open Access Journals (Sweden)

    Ángel Morillo

    2017-09-01

    Full Text Available In 2000 took place the discovery of a large wall ashlar, actually integrated into the basement of a shop in the historic town of León (Spain. The typology of his constructive system and its topographic position into the plan of the town, allow us to identify it as the front of one of the flanking towers of the southern gate (porta praetoria of the roman legionary fortress of legio VII gemina. This camp was built at the end of the first century-early second century AD. The wall has many architectural reforms and adjustments. Their analysis testifies its evolution between Early Roman Empire and the twelfth and thirteenth centuries AD. The analysis of the mural stratigraphy presented here show the relative chronologies of different masonry and constructive activities determining the diachronic development of the construction. We can also clarify historical aspects about the south wall of León. The data obtained have been compared with three-dimensional topographic space in which are found, illustrating on the evolution of the urban landscape.

  15. Objective interpretation as conforming interpretation

    Directory of Open Access Journals (Sweden)

    Lidka Rodak

    2011-12-01

    Full Text Available The practical discourse willingly uses the formula of “objective interpretation”, with no regards to its controversial nature that has been discussed in literature.The main aim of the article is to investigate what “objective interpretation” could mean and how it could be understood in the practical discourse, focusing on the understanding offered by judicature.The thesis of the article is that objective interpretation, as identified with textualists’ position, is not possible to uphold, and should be rather linked with conforming interpretation. And what this actually implies is that it is not the virtue of certainty and predictability – which are usually associated with objectivity- but coherence that makes the foundation of applicability of objectivity in law.What could be observed from the analyses, is that both the phenomenon of conforming interpretation and objective interpretation play the role of arguments in the interpretive discourse, arguments that provide justification that interpretation is not arbitrary or subjective. With regards to the important part of the ideology of legal application which is the conviction that decisions should be taken on the basis of law in order to exclude arbitrariness, objective interpretation could be read as a question “what kind of authority “supports” certain interpretation”? that is almost never free of judicial creativity and judicial activism.One can say that, objective and conforming interpretation are just another arguments used in legal discourse.

  16. Abstract interpretation of reactive systems : preservation of CTL*

    NARCIS (Netherlands)

    Dams, D.; Grumberg, O.; Gerth, R.

    The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verification techniques. Model checking is one such technique, which has proven quite successful. However, the state explosion problem remains the stumbling block in many

  17. Interpreting values in the daily practices of Nordic preschools

    DEFF Research Database (Denmark)

    Broström, Stig; Anna-Maija, Puriola; Johannesson, Eva Marianne

    2016-01-01

    Abstract This study explored how practitioners interpreted educational practices from the perspective of values in Nordic preschools. Drawing data from group interviews in five Nordic countries (Denmark, Finland, Iceland, Norway and Sweden), practitioners reflected on an observational episode about...... children dressing for outdoor play in a Swedish preschool. The research material consisted of extracts from group interviews in ten preschools (two from each Nordic country). The research questions included: How do values emerge in practitioners’ interpretations? What is the interpretive process like...... and the co-construction of interpretations in the group dialogues. The practitioners employed indirect means more often than direct means to express their values. The group interviews contained themes that were connected to caring, disciplinary, competence and democratic values. The study provided evidence...

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

  19. 2018 Congress Poster Abstracts

    Science.gov (United States)

    2018-02-21

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

  20. 2018 Congress Podium Abstracts

    Science.gov (United States)

    2018-02-21

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

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

  2. Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Anon.

    2000-07-01

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

  3. Penultimate interpretation.

    Science.gov (United States)

    Neuman, Yair

    2010-10-01

    Interpretation is at the center of psychoanalytic activity. However, interpretation is always challenged by that which is beyond our grasp, the 'dark matter' of our mind, what Bion describes as ' O'. O is one of the most central and difficult concepts in Bion's thought. In this paper, I explain the enigmatic nature of O as a high-dimensional mental space and point to the price one should pay for substituting the pre-symbolic lexicon of the emotion-laden and high-dimensional unconscious for a low-dimensional symbolic representation. This price is reification--objectifying lived experience and draining it of vitality and complexity. In order to address the difficulty of approaching O through symbolization, I introduce the term 'Penultimate Interpretation'--a form of interpretation that seeks 'loopholes' through which the analyst and the analysand may reciprocally save themselves from the curse of reification. Three guidelines for 'Penultimate Interpretation' are proposed and illustrated through an imaginary dialogue. Copyright © 2010 Institute of Psychoanalysis.

  4. Data Abstraction in GLISP.

    Science.gov (United States)

    Novak, Gordon S., Jr.

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

  5. Truthful Monadic Abstractions

    DEFF Research Database (Denmark)

    Brock-Nannestad, Taus; Schürmann, Carsten

    2012-01-01

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

  6. Program and abstracts

    International Nuclear Information System (INIS)

    1976-01-01

    Abstracts of the papers given at the conference are presented. The abstracts are arranged under sessions entitled: Theoretical Physics; Nuclear Physics; Solid State Physics; Spectroscopy; Plasma Physics; Solar-Terrestrial Physics; Astrophysics and Astronomy; Radioastronomy; General Physics; Applied Physics; Industrial Physics

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

  8. Check Sample Abstracts.

    Science.gov (United States)

    Alter, David; Grenache, David G; Bosler, David S; Karcher, Raymond E; Nichols, James; Rajadhyaksha, Aparna; Camelo-Piragua, Sandra; Rauch, Carol; Huddleston, Brent J; Frank, Elizabeth L; Sluss, Patrick M; Lewandrowski, Kent; Eichhorn, John H; Hall, Janet E; Rahman, Saud S; McPherson, Richard A; Kiechle, Frederick L; Hammett-Stabler, Catherine; Pierce, Kristin A; Kloehn, Erica A; Thomas, Patricia A; Walts, Ann E; Madan, Rashna; Schlesinger, Kathie; Nawgiri, Ranjana; Bhutani, Manoop; Kanber, Yonca; Abati, Andrea; Atkins, Kristen A; Farrar, Robert; Gopez, Evelyn Valencerina; Jhala, Darshana; Griffin, Sonya; Jhala, Khushboo; Jhala, Nirag; Bentz, Joel S; Emerson, Lyska; Chadwick, Barbara E; Barroeta, Julieta E; Baloch, Zubair W; Collins, Brian T; Middleton, Owen L; Davis, Gregory G; Haden-Pinneri, Kathryn; Chu, Albert Y; Keylock, Joren B; Ramoso, Robert; Thoene, Cynthia A; Stewart, Donna; Pierce, Arand; Barry, Michelle; Aljinovic, Nika; Gardner, David L; Barry, Michelle; Shields, Lisa B E; Arnold, Jack; Stewart, Donna; Martin, Erica L; Rakow, Rex J; Paddock, Christopher; Zaki, Sherif R; Prahlow, Joseph A; Stewart, Donna; Shields, Lisa B E; Rolf, Cristin M; Falzon, Andrew L; Hudacki, Rachel; Mazzella, Fermina M; Bethel, Melissa; Zarrin-Khameh, Neda; Gresik, M Vicky; Gill, Ryan; Karlon, William; Etzell, Joan; Deftos, Michael; Karlon, William J; Etzell, Joan E; Wang, Endi; Lu, Chuanyi M; Manion, Elizabeth; Rosenthal, Nancy; Wang, Endi; Lu, Chuanyi M; Tang, Patrick; Petric, Martin; Schade, Andrew E; Hall, Geraldine S; Oethinger, Margret; Hall, Geraldine; Picton, Avis R; Hoang, Linda; Imperial, Miguel Ranoa; Kibsey, Pamela; Waites, Ken; Duffy, Lynn; Hall, Geraldine S; Salangsang, Jo-Anne M; Bravo, Lulette Tricia C; Oethinger, Margaret D; Veras, Emanuela; Silva, Elvia; Vicens, Jimena; Silva, Elvio; Keylock, Joren; Hempel, James; Rushing, Elizabeth; Posligua, Lorena E; Deavers, Michael T; Nash, Jason W; Basturk, Olca; Perle, Mary Ann; Greco, Alba; Lee, Peng; Maru, Dipen; Weydert, Jamie Allen; Stevens, Todd M; Brownlee, Noel A; Kemper, April E; Williams, H James; Oliverio, Brock J; Al-Agha, Osama M; Eskue, Kyle L; Newlands, Shawn D; Eltorky, Mahmoud A; Puri, Puja K; Royer, Michael C; Rush, Walter L; Tavora, Fabio; Galvin, Jeffrey R; Franks, Teri J; Carter, James Elliot; Kahn, Andrea Graciela; Lozada Muñoz, Luis R; Houghton, Dan; Land, Kevin J; Nester, Theresa; Gildea, Jacob; Lefkowitz, Jerry; Lacount, Rachel A; Thompson, Hannis W; Refaai, Majed A; Quillen, Karen; Lopez, Ana Ortega; Goldfinger, Dennis; Muram, Talia; Thompson, Hannis

    2009-02-01

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

  9. Reconstruction of abstract quantum theory

    International Nuclear Information System (INIS)

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

    1988-01-01

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

  10. Abstract Datatypes in PVS

    Science.gov (United States)

    Owre, Sam; Shankar, Natarajan

    1997-01-01

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

  11. Interpreting Physics

    CERN Document Server

    MacKinnon, Edward

    2012-01-01

    This book is the first to offer a systematic account of the role of language in the development and interpretation of physics. An historical-conceptual analysis of the co-evolution of mathematical and physical concepts leads to the classical/quatum interface. Bohrian orthodoxy stresses the indispensability of classical concepts and the functional role of mathematics. This book analyses ways of extending, and then going beyond this orthodoxy orthodoxy. Finally, the book analyzes how a revised interpretation of physics impacts on basic philosophical issues: conceptual revolutions, realism, and r

  12. How do we know about Earth's history? Constructing the story of Earth's geologic history by collecting and interpreting evidence based scenarios.

    Science.gov (United States)

    Ruthford, Steven; DeBari, Susan; Linneman, Scott; Boriss, Miguel; Chesbrough, John; Holmes, Randall; Thibault, Allison

    2013-04-01

    " activity at the beginning of the unit. After the review and reflection, students collect and interpret six evidence based scenarios dealing with the absolute ages of various rocks, including moon and meteorite samples, microfossil data, banded iron formations, plant and animal fossils, tectonic movement, extinction events, and human migration. The scenarios are dated and allow students to have a more complete view of geologic time. Using this more complete view, students are prompted to revisit and reorganize the timeline from the "Initial Ideas." By the end of the lesson, students will demonstrate a more complete understanding of the age of the Earth, the geologic time scale, and the role of biotic factors in Earth's systems.

  13. Performing Interpretation

    Science.gov (United States)

    Kothe, Elsa Lenz; Berard, Marie-France

    2013-01-01

    Utilizing a/r/tographic methodology to interrogate interpretive acts in museums, multiple areas of inquiry are raised in this paper, including: which knowledge is assigned the greatest value when preparing a gallery talk; what lies outside of disciplinary knowledge; how invitations to participate invite and disinvite in the same gesture; and what…

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

  15. Completeness of Lyapunov Abstraction

    DEFF Research Database (Denmark)

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

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

  16. Shoestring Budget Radio Astronomy (Abstract)

    Science.gov (United States)

    Hoot, J. E.

    2017-12-01

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

  17. Scientific meeting abstracts

    International Nuclear Information System (INIS)

    1999-01-01

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

  18. Science meeting. Abstracts

    International Nuclear Information System (INIS)

    2000-01-01

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

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

  20. Working memory and simultaneous interpreting

    OpenAIRE

    Timarova, Sarka

    2009-01-01

    Working memory is a cognitive construct underlying a number of abilities, and it has been hypothesised for many years that it is crucial for interpreting. A number of studies have been conducted with the aim to support this hypothesis, but research has not yielded convincing results. Most researchers focused on studying working memory differences between interpreters and non-interpreters with the rationale that differences in working memory between the two groups would provide evidence of wor...

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

  2. Abstract algebra an introductory course

    CERN Document Server

    Lee, Gregory T

    2018-01-01

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

  3. Interpreting conjunctions.

    Science.gov (United States)

    Bott, Lewis; Frisson, Steven; Murphy, Gregory L

    2009-04-01

    The interpretation generated from a sentence of the form P and Q can often be different to that generated by Q and P, despite the fact that and has a symmetric truth-conditional meaning. We experimentally investigated to what extent this difference in meaning is due to the connective and and to what extent it is due to order of mention of the events in the sentence. In three experiments, we collected interpretations of sentences in which we varied the presence of the conjunction, the order of mention of the events, and the type of relation holding between the events (temporally vs. causally related events). The results indicated that the effect of using a conjunction was dependent on the discourse relation between the events. Our findings contradict a narrative marker theory of and, but provide partial support for a single-unit theory derived from Carston (2002). The results are discussed in terms of conjunction processing and implicatures of temporal order.

  4. Interpretive Medicine

    Science.gov (United States)

    Reeve, Joanne

    2010-01-01

    Patient-centredness is a core value of general practice; it is defined as the interpersonal processes that support the holistic care of individuals. To date, efforts to demonstrate their relationship to patient outcomes have been disappointing, whilst some studies suggest values may be more rhetoric than reality. Contextual issues influence the quality of patient-centred consultations, impacting on outcomes. The legitimate use of knowledge, or evidence, is a defining aspect of modern practice, and has implications for patient-centredness. Based on a critical review of the literature, on my own empirical research, and on reflections from my clinical practice, I critique current models of the use of knowledge in supporting individualised care. Evidence-Based Medicine (EBM), and its implementation within health policy as Scientific Bureaucratic Medicine (SBM), define best evidence in terms of an epistemological emphasis on scientific knowledge over clinical experience. It provides objective knowledge of disease, including quantitative estimates of the certainty of that knowledge. Whilst arguably appropriate for secondary care, involving episodic care of selected populations referred in for specialist diagnosis and treatment of disease, application to general practice can be questioned given the complex, dynamic and uncertain nature of much of the illness that is treated. I propose that general practice is better described by a model of Interpretive Medicine (IM): the critical, thoughtful, professional use of an appropriate range of knowledges in the dynamic, shared exploration and interpretation of individual illness experience, in order to support the creative capacity of individuals in maintaining their daily lives. Whilst the generation of interpreted knowledge is an essential part of daily general practice, the profession does not have an adequate framework by which this activity can be externally judged to have been done well. Drawing on theory related to the

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

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

  7. Objective interpretation as conforming interpretation

    OpenAIRE

    Lidka Rodak

    2011-01-01

    The practical discourse willingly uses the formula of “objective interpretation”, with no regards to its controversial nature that has been discussed in literature.The main aim of the article is to investigate what “objective interpretation” could mean and how it could be understood in the practical discourse, focusing on the understanding offered by judicature.The thesis of the article is that objective interpretation, as identified with textualists’ position, is not possible to uphold, and ...

  8. Abstract Objects of Verbs

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

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

  9. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

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

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

  11. Nuclear medicine. Abstracts

    International Nuclear Information System (INIS)

    Anon.

    2000-01-01

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

  12. Seismic Consequence Abstraction

    International Nuclear Information System (INIS)

    Gross, M.

    2004-01-01

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

  13. Annual Conference Abstracts

    Science.gov (United States)

    Journal of Engineering Education, 1972

    1972-01-01

    Includes abstracts of papers presented at the 80th Annual Conference of the American Society for Engineering Education. The broad areas include aerospace, affiliate and associate member council, agricultural engineering, biomedical engineering, continuing engineering studies, chemical engineering, civil engineering, computers, cooperative…

  14. WWNPQFT-2013 - Abstracts

    International Nuclear Information System (INIS)

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

    2014-01-01

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

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

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

  17. Abstraction and art.

    Science.gov (United States)

    Gortais, Bernard

    2003-07-29

    In a given social context, artistic creation comprises a set of processes, which relate to the activity of the artist and the activity of the spectator. Through these processes we see and understand that the world is vaster than it is said to be. Artistic processes are mediated experiences that open up the world. A successful work of art expresses a reality beyond actual reality: it suggests an unknown world using the means and the signs of the known world. Artistic practices incorporate the means of creation developed by science and technology and change forms as they change. Artists and the public follow different processes of abstraction at different levels, in the definition of the means of creation, of representation and of perception of a work of art. This paper examines how the processes of abstraction are used within the framework of the visual arts and abstract painting, which appeared during a period of growing importance for the processes of abstraction in science and technology, at the beginning of the twentieth century. The development of digital platforms and new man-machine interfaces allow multimedia creations. This is performed under the constraint of phases of multidisciplinary conceptualization using generic representation languages, which tend to abolish traditional frontiers between the arts: visual arts, drama, dance and music.

  18. Composing Interfering Abstract Protocols

    Science.gov (United States)

    2016-04-01

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

  19. Abstract algebra for physicists

    International Nuclear Information System (INIS)

    Zeman, J.

    1975-06-01

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

  20. Reasoning abstractly about resources

    Science.gov (United States)

    Clement, B.; Barrett, A.

    2001-01-01

    r describes a way to schedule high level activities before distributing them across multiple rovers in order to coordinate the resultant use of shared resources regardless of how each rover decides how to perform its activities. We present an algorithm for summarizing the metric resource requirements of an abstract activity based n the resource usages of its potential refinements.

  1. Abstracts of submitted papers

    International Nuclear Information System (INIS)

    1987-01-01

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

  2. The Abstraction Engine

    DEFF Research Database (Denmark)

    Fortescue, Michael David

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

  3. Impredicative concurrent abstract predicates

    DEFF Research Database (Denmark)

    Svendsen, Kasper; Birkedal, Lars

    2014-01-01

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

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

  5. SPR 2015. Abstracts

    International Nuclear Information System (INIS)

    2015-01-01

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

  6. Beyond the abstractions?

    DEFF Research Database (Denmark)

    Olesen, Henning Salling

    2006-01-01

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

  7. Abstracts of SIG Sessions.

    Science.gov (United States)

    Proceedings of the ASIS Annual Meeting, 1994

    1994-01-01

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

  8. Circularity and Lambda Abstraction

    DEFF Research Database (Denmark)

    Danvy, Olivier; Thiemann, Peter; Zerny, Ian

    2013-01-01

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

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

  10. Controlling groundwater over abstraction

    NARCIS (Netherlands)

    Naber, Al Majd; Molle, Francois

    2017-01-01

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

  11. EBS Radionuclide Transport Abstraction

    International Nuclear Information System (INIS)

    Schreiner, R.

    2001-01-01

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

  12. Mammographic interpretation

    International Nuclear Information System (INIS)

    Tabor, L.

    1987-01-01

    For mammography to be an effective diagnostic method, it must be performed to a very high standard of quality. Otherwise many lesions, in particular cancer in its early stages, will simply not be detectable on the films, regardless of the skill of the mammographer. Mammographic interpretation consists of two basic steps: perception and analysis. The process of mammographic interpretation begins with perception of the lesion on the mammogram. Perception is influenced by several factors. One of the most important is the parenchymal pattern of the breast tissue, detection of pathologic lesions being easier with fatty involution. The mammographer should use a method for the systematic viewing of the mammograms that will ensure that all parts of each mammogram are carefully searched for the presence of lesions. The method of analysis proceeds according to the type of lesion. The contour analysis of primary importance in the evaluation of circumscribed tumors. After having analyzed the contour and density of a lesion and considered its size, the mammographer should be fairly certain whether the circumscribed tumor is benign or malignant. Fine-needle puncture and/or US may assist the mammographer in making this decision. Painstaking analysis is required because many circumscribed tumors do not need to be biopsied. The perception of circumscribed tumors seldom causes problems, but their analysis needs careful attention. On the other hand, the major challenge with star-shaped lesions is perception. They may be difficult to discover when small. Although the final diagnosis of a stellate lesion can be made only with the help of histologic examination, the preoperative mammorgraphic differential diagnosis can be highly accurate. The differential diagnostic problem is between malignant tumors (scirrhous carcinoma), on the one hand, and traumatic fat necrosis as well as radial scars on the other hand

  13. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  14. Ghana Science Abstracts

    International Nuclear Information System (INIS)

    Entsua-Mensah, C.

    2004-01-01

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

  15. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

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

    1983-01-01

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

  16. Contents, Abstracts and Keywords

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Ethnic Minority Rights from the Angle of Multiculturalism Zhou Shaoqing(1) Abstract: Historically, multiculturalism was closely related to the ethnic minority rights. Currently there are two features in the research on multiculturalism and the ethnic minority rights. One is that most researchers do not strictly distinguish the different dimensions of multiculturalism, the other is that they tend to regard only multiculturalism as a theory of the ethnic minority rights, and less attach its importance to the multi-ethnie state construction. The thesis argues that multiculturalism has at least five dimensions, such as fact, theory, ideology, policy, and normative principle. The concept of the ethnic minority rights in each dimension has its special meaning and effect. The ethnic minority rights protection and the multi-ethnic state construction are two different aspects in the same historical process. Multiculturalism is not only a theory of the ethnic minority rights, but also an important supportive theory of the multi-ethnic state construction.

  17. An Interpreter's Interpretation: Sign Language Interpreters' View of Musculoskeletal Disorders

    National Research Council Canada - National Science Library

    Johnson, William L

    2003-01-01

    Sign language interpreters are at increased risk for musculoskeletal disorders. This study used content analysis to obtain detailed information about these disorders from the interpreters' point of view...

  18. Research Abstracts of 1979.

    Science.gov (United States)

    1979-12-01

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

  19. NPP life management (abstracts)

    International Nuclear Information System (INIS)

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

    2002-01-01

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

  20. Research Abstracts of 1982.

    Science.gov (United States)

    1982-12-01

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

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

  2. Medical physics 2013. Abstracts

    International Nuclear Information System (INIS)

    Treuer, Harald

    2013-01-01

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

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

  4. SPR 2014. Abstracts

    International Nuclear Information System (INIS)

    2014-01-01

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

  5. EBS Radionuclide Transport Abstraction

    International Nuclear Information System (INIS)

    J. Prouty

    2006-01-01

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

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

  7. Books of invited abstracts

    International Nuclear Information System (INIS)

    2006-01-01

    The objective of the Symposium on Fusion Technology (SOFT) is to exchange information on design, construction and operation of fusion experiments and on the technology for present fusion machines, the next step and power plants. It includes oral and poster presentations as well as an industrial and R (and) D exhibition. The ITER project will be a significant theme of the symposium

  8. Books of invited abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2006-07-01

    The objective of the Symposium on Fusion Technology (SOFT) is to exchange information on design, construction and operation of fusion experiments and on the technology for present fusion machines, the next step and power plants. It includes oral and poster presentations as well as an industrial and R (and) D exhibition. The ITER project will be a significant theme of the symposium.

  9. Interpreting the Customary Rules on Interpretation

    NARCIS (Netherlands)

    Merkouris, Panos

    2017-01-01

    International courts have at times interpreted the customary rules on interpretation. This is interesting because what is being interpreted is: i) rules of interpretation, which sounds dangerously tautological, and ii) customary law, the interpretation of which has not been the object of critical

  10. Program and abstracts

    International Nuclear Information System (INIS)

    1978-01-01

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

  11. Elements of abstract algebra

    CERN Document Server

    Clark, Allan

    1984-01-01

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

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

  13. Ghana energy abstracts

    International Nuclear Information System (INIS)

    Entsua-Mensah, Clement

    1994-01-01

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

  14. Parameterized Dataflow (Extended Abstract

    Directory of Open Access Journals (Sweden)

    Dominic Duggan

    2016-10-01

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

  15. ESPR 2015. Abstracts

    International Nuclear Information System (INIS)

    2015-01-01

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

  16. ABSTRACTION OF DRIFT SEEPAGE

    International Nuclear Information System (INIS)

    Wilson, Michael L.

    2001-01-01

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

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

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

  19. IPR 2016. Abstracts

    International Nuclear Information System (INIS)

    2016-01-01

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

  20. Localized Smart-Interpretation

    Science.gov (United States)

    Lundh Gulbrandsen, Mats; Mejer Hansen, Thomas; Bach, Torben; Pallesen, Tom

    2014-05-01

    The complex task of setting up a geological model consists not only of combining available geological information into a conceptual plausible model, but also requires consistency with availably data, e.g. geophysical data. However, in many cases the direct geological information, e.g borehole samples, are very sparse, so in order to create a geological model, the geologist needs to rely on the geophysical data. The problem is however, that the amount of geophysical data in many cases are so vast that it is practically impossible to integrate all of them in the manual interpretation process. This means that a lot of the information available from the geophysical surveys are unexploited, which is a problem, due to the fact that the resulting geological model does not fulfill its full potential and hence are less trustworthy. We suggest an approach to geological modeling that 1. allow all geophysical data to be considered when building the geological model 2. is fast 3. allow quantification of geological modeling. The method is constructed to build a statistical model, f(d,m), describing the relation between what the geologists interpret, d, and what the geologist knows, m. The para- meter m reflects any available information that can be quantified, such as geophysical data, the result of a geophysical inversion, elevation maps, etc... The parameter d reflects an actual interpretation, such as for example the depth to the base of a ground water reservoir. First we infer a statistical model f(d,m), by examining sets of actual interpretations made by a geological expert, [d1, d2, ...], and the information used to perform the interpretation; [m1, m2, ...]. This makes it possible to quantify how the geological expert performs interpolation through f(d,m). As the geological expert proceeds interpreting, the number of interpreted datapoints from which the statistical model is inferred increases, and therefore the accuracy of the statistical model increases. When a model f

  1. Dialectica Interpretation with Marked Counterexamples

    Directory of Open Access Journals (Sweden)

    Trifon Trifonov

    2011-01-01

    Full Text Available Goedel's functional "Dialectica" interpretation can be used to extract functional programs from non-constructive proofs in arithmetic by employing two sorts of higher-order witnessing terms: positive realisers and negative counterexamples. In the original interpretation decidability of atoms is required to compute the correct counterexample from a set of candidates. When combined with recursion, this choice needs to be made for every step in the extracted program, however, in some special cases the decision on negative witnesses can be calculated only once. We present a variant of the interpretation in which the time complexity of extracted programs can be improved by marking the chosen witness and thus avoiding recomputation. The achieved effect is similar to using an abortive control operator to interpret computational content of non-constructive principles.

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

  3. EBS Radionuclide Transport Abstraction

    International Nuclear Information System (INIS)

    J.D. Schreiber

    2005-01-01

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

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

  5. ICENES 2007 Abstracts

    Energy Technology Data Exchange (ETDEWEB)

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

    2007-07-01

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

  6. ICENES 2007 Abstracts

    International Nuclear Information System (INIS)

    Sahin, S.

    2007-01-01

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

  7. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  8. IEEE conference record -- Abstracts

    International Nuclear Information System (INIS)

    Anon.

    1994-01-01

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

  9. WD1145+017 (Abstract)

    Science.gov (United States)

    Motta, M.

    2017-12-01

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

  10. Abstracts and Key Words

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Religion, State and Civil Religion: Assumption and Practice of Confucian Religion in the Course of Nation-state Construction CAN Chun-song Abstract: In late Qing Dynasty and the early years of the Republic of China, Kang You-wei made a proposal to set Confucian religion as state religion. After analyzing carefully Kang's related texts, however, it can be shown that Kang had unique understandings of "religion" and "state religion". Kang defined Confucianism as religion in the sense of cultivation, and emphasized that the function of Confucianism was moral education. Kang's understanding of "state religion" aims to conserve Chinese traditional cultures and customs, shape the identity of nation-state, and enhance the state's cohesion. In this sense, Kang's definition of "national religion" is similar to to Bellah's "civil religion".

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

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

  13. SENSE 2010, Abstracts

    International Nuclear Information System (INIS)

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

    2012-01-01

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

  14. Book of Abstracts

    International Nuclear Information System (INIS)

    2013-06-01

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

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

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

  17. Defunctionalized Interpreters for Programming Languages

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2008-01-01

    by Reynolds in ``Definitional Interpreters for Higher-Order Programming Languages'' for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his......This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each other. These transformations were foreshadowed...... students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion and that functional implementations of reduction semantics and of small-step abstract machines are related using refocusing and transition...

  18. Default Sarcastic Interpretations: On the Priority of Nonsalient Interpretations

    Science.gov (United States)

    Giora, Rachel; Drucker, Ari; Fein, Ofer; Mendelson, Itamar

    2015-01-01

    Findings from five experiments support the view that negation generates sarcastic utterance-interpretations by default. When presented in isolation, novel negative constructions ("Punctuality is not his forte," "Thoroughness is not her most distinctive feature"), free of semantic anomaly or internal incongruity, were…

  19. Abstraction of Drift Seepage

    International Nuclear Information System (INIS)

    J.T. Birkholzer

    2004-01-01

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

  20. Book of abstracts

    International Nuclear Information System (INIS)

    1987-01-01

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

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

  2. Abstract numeric relations and the visual structure of algebra.

    Science.gov (United States)

    Landy, David; Brookes, David; Smout, Ryan

    2014-09-01

    Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition, it has often been assumed that skilled users of these formalisms treat situations in terms of semantic properties encoded in an abstract syntax that governs the use of notation without particular regard to the details of the physical structure of the equation itself (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). We explore how the notational structure of verbal descriptions or algebraic equations (e.g., the spatial proximity of certain words or the visual alignment of numbers and symbols in an equation) plays a role in the process of interpreting or constructing symbolic equations. We propose in particular that construction processes involve an alignment of notational structures across representation systems, biasing reasoners toward the selection of formal notations that maintain the visuospatial structure of source representations. For example, in the statement "There are 5 elephants for every 3 rhinoceroses," the spatial proximity of 5 and elephants and 3 and rhinoceroses will bias reasoners to write the incorrect expression 5E = 3R, because that expression maintains the spatial relationships encoded in the source representation. In 3 experiments, participants constructed equations with given structure, based on story problems with a variety of phrasings. We demonstrate how the notational alignment approach accounts naturally for a variety of previously reported phenomena in equation construction and successfully predicts error patterns that are not accounted for by prior explanations, such as the left to right transcription heuristic.

  3. EURORIB 2010, Book of abstracts

    International Nuclear Information System (INIS)

    Tsoneva, N.; Lenske, H.; Casten, R.

    2012-01-01

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

  4. Advance Organizers: Concret Versus Abstract.

    Science.gov (United States)

    Corkill, Alice J.; And Others

    1988-01-01

    Two experiments examined the relative effects of concrete and abstract advance organizers on students' memory for subsequent prose. Results of the experiments are discussed in terms of the memorability, familiarity, and visualizability of concrete and abstract verbal materials. (JD)

  5. Typesafe Abstractions for Tensor Operations

    OpenAIRE

    Chen, Tongfei

    2017-01-01

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

  6. Interpretive Media Study and Interpretive Social Science.

    Science.gov (United States)

    Carragee, Kevin M.

    1990-01-01

    Defines the major theoretical influences on interpretive approaches in mass communication, examines the central concepts of these perspectives, and provides a critique of these approaches. States that the adoption of interpretive approaches in mass communication has ignored varied critiques of interpretive social science. Suggests that critical…

  7. Interpreters, Interpreting, and the Study of Bilingualism.

    Science.gov (United States)

    Valdes, Guadalupe; Angelelli, Claudia

    2003-01-01

    Discusses research on interpreting focused specifically on issues raised by this literature about the nature of bilingualism. Suggests research carried out on interpreting--while primarily produced with a professional audience in mind and concerned with improving the practice of interpreting--provides valuable insights about complex aspects of…

  8. Defunctionalized Interpreters for Programming Languages

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2008-01-01

    by Reynolds in ``Definitional Interpreters for Higher-Order Programming Languages'' for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his...... operational semantics can be expressed as a reduction semantics: for deterministic languages, a reduction semantics is a structural operational semantics in continuation style, where the reduction context is a defunctionalized continuation. As the defunctionalized counterpart of the continuation of a one...

  9. A Generator for Composition Interpreters

    DEFF Research Database (Denmark)

    Steensgaard-Madsen, Jørgen

    1997-01-01

    programming language design, specification and implementation then apply. A component can be considered as defining objects or commands according to convenience. A description language including type information provides sufficient means to describe component interaction according to the underlying abstract......Composition of program components must be expressed in some language, and late composition can be achieved by an interpreter for the composition language. A suitable notion of component is obtained by identifying it with the semantics of a generalised structured command. Experiences from...

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

    DEFF Research Database (Denmark)

    Banda, Gourinath; Gallagher, John Patrick

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

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

  12. A logical correspondence between natural semantics and abstract machines

    DEFF Research Database (Denmark)

    Simmons, Robert J.; Zerny, Ian

    2013-01-01

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

  13. Mechanical Engineering Department technical abstracts

    International Nuclear Information System (INIS)

    Denney, R.M.

    1982-01-01

    The Mechanical Engineering Department publishes listings of technical abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). Overall information about current activities of each of the Department's seven divisions precedes the technical abstracts

  14. Nuclear code abstracts (1975 edition)

    International Nuclear Information System (INIS)

    Akanuma, Makoto; Hirakawa, Takashi

    1976-02-01

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

  15. A functional interpretation for nonstandard arithmetic

    NARCIS (Netherlands)

    van den Berg, B.; Briseid, E.; Safarik, P.

    2012-01-01

    We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our

  16. ABSTRACT

    African Journals Online (AJOL)

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

  17. ABSTRACT

    African Journals Online (AJOL)

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

  18. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  19. Abstract

    African Journals Online (AJOL)

    1 Uyole Agr.icultural Research Institute, Ministry of Agriculture, Food Security and Co-operatives,. P.o Box 400 ... from this study suggest that participation in dairy market depended on access to both in-put and output ..... Socio-economics and.

  20. 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 0, 500 and 1000 µl L-1 and 3 level of MeSA including 0, 0.1 and 0.2 mM. After treatment, the fruits were inoculated by Botrytis suspension and transferred to storage and quality parameters were evaluated after 7, 14 and 21 days. At each sampling time, disease incidence, weight loss, titratable acidity, pH, soluble solids content, vitamin C and antioxidant activity were measured. Results and Discussion: The results showed that both LEO and MeSA treatments had significant effects on inhibition of mycelium growth within in-vitro condition (p < 0.05. Inhibition rate of mycelium growth significantly improved by LEO and MeSA concentration increase of, (Table 1. At in-vivo assessment, diseases incidence of treated fruits with 500 µl L-1 LEO and 0.1 mM MeSA were 32% and 64% lower than untreated fruits, respectively (Fig. 1 and 2. During storage period, the percentage of infected fruits increased. In addition, LEO and MeSA treatments affected quality parameters of strawberry fruits including titratable acidity, soluble solids content, vitamin C and antioxidant activity. Treated fruits had a high content of soluble solids, vitamin C and antioxidant activity in comparison to untreated fruits (Table 3 and 4. Probably ascorbic acid decreased through fungal infection duo to cell wall break down during storage. Any factors such as essential oil and salicylate that inhibit fungal growth can help preserving vitamin C in stored products. High level of vitamin C and antioxidant activity was observed in treated fruits with 0.1 mM MeSA and 500 µl L-1 LEO. In controlling weight loss of fruits, 0.2 mM of MeSA and 500 µl L-1 of LEO had significant effects, although MeSA was more effective than LEO treatments, possibly due to elimination of respiration rates and fungi infection (Table 4. Therefore, LEO and MeSA with fungicide effects could be replaced with synthetic fungicides in controlling fungal diseases of strawberry and maintain fruits quality during storage. Conclusion: In conclusion, our results showed that LEO and MeSA treatments could be safe and used to prevent infection of strawberry during storage, although LEO was more effective than MeSA treatments. Concentration of 500 μl L-1 of LEO and 0.1 mM MeSA could control fungal infection of fruits during storage. Also, LEO and MeSA treatments can extend shelf life for over the minimum period required to transit strawberries to foreign markets and without affecting quality, adversely. However, future studies are necessary to fully understand the mechanisms by which LEO and MeSA treatments may act as a fungicide and increase their postharvest life.

  1. Abstract

    African Journals Online (AJOL)

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

  2. Abstract

    African Journals Online (AJOL)

    ATTAMAH C. O

    female ̅=3.50; difference in mean{dm} = -0.70). Male entrepreneurs ... with the variance more on lack of information facilities (male ̅= 2.28; female. ̅= 2.60; dm = -0.32). ..... Issa R. (2009). Climate Change and Livestock Production Frontier.

  3. Abstract ~. ,

    African Journals Online (AJOL)

    and Marketed in'Morogoro Municipality,"Taniania. lR. ... It was concluded that water adulteration ofmilk in ... Despite the fact that infofmal milk marketing i{ ..... Least sqoares ~einsand standard error of means (SEM) for'milk quality variables;.

  4. ABSTRACT

    African Journals Online (AJOL)

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

  5. Abstract

    Indian Academy of Sciences (India)

    2017-03-10

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

  6. Abstract

    African Journals Online (AJOL)

    Maru Shete

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

  7. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

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

  8. abstract

    African Journals Online (AJOL)

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

  9. Abstracts

    International Nuclear Information System (INIS)

    1989-09-01

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

  10. Abstract

    African Journals Online (AJOL)

    dell

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

  11. Abstract

    African Journals Online (AJOL)

    `123456789jkl''''#

    1, 2Department of Educational Technology Obafemi Awolowo University, Ile-Ife, Nigeria oasofowora@yahoo.com. 46 ... Geography teachers drawn from secondary schools in Osun State. ..... Elementary/Secondary Education Handbook an.

  12. Abstract

    African Journals Online (AJOL)

    `123456789jkl''''#

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

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

  14. Abstract

    African Journals Online (AJOL)

    UDS-CAPTURED

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

  15. Abstract

    African Journals Online (AJOL)

    ­E¢b

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

  16. Abstract

    Indian Academy of Sciences (India)

    2017-03-10

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

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

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. Abstract

    African Journals Online (AJOL)

    used standardised scales to measure the level of HIV stigma over time. A repeated .... with studies that focused so heavily 'on the beliefs and attitudes of those who are .... to harm the PLHA (e.g. ridicule, insults, blame), 8 items, alpha. = 0.886; (ii) ... self based on HIV status, 5 items, alpha = 0.906; (iii) health care neglect – in ...

  20. Abstract

    African Journals Online (AJOL)

    Getachew

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

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

  2. Abstracts

    International Nuclear Information System (INIS)

    2001-01-01

    The minutes of the Latinamerican Geology Meeting and the 3. Uruguayan Meeting organized by the National Direction of Mining and Geology (DINAMIGE) and Uruguayan Geology Society (Uruguay) includes topics such as: paleontology, sedimentation, stratigraphy, fossils, paleoclimatology, geo tectonics, coal deposits, minerals res sources, tectonic evolution of the Andes Mountain Ranges, IGCP Project, Environmental geology, Hydrogeology, fuels, and geomorphology

  3. Abstracts

    International Nuclear Information System (INIS)

    2013-01-01

    The power point presentation is about: danger identification, caracterization, evaluation exposition, risk (CAC, 1997; FAO, 2007), European food safety authority, foodrisk organization, pathogens risk ranking, risk reduction, gubernamental responsability

  4. ABSTRACT

    Indian Academy of Sciences (India)

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

  5. ABSTRACT

    African Journals Online (AJOL)

    BSN

    A CHEMICAL STlJDY OF AN I 'DI GENO KNOWLED<:E SYSTEM OF ... preservation of "kindirmo" with water and ethanol extracts of seeds and husk of. CO\\\\'J)Ca for ... Such facilities arc ho1\\·ever not a\\ailable to most peasant animal farmers.

  6. Abstract

    African Journals Online (AJOL)

    PROF. OLIVER OSUAGWA

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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  8. Abstract

    African Journals Online (AJOL)

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

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

  10. Abstract concepts in grounded cognition

    NARCIS (Netherlands)

    Lakens, D.

    2010-01-01

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

  11. On court interpreters' visibility

    DEFF Research Database (Denmark)

    Dubslaff, Friedel; Martinsen, Bodil

    of the service they receive. Ultimately, the findings will be used for training purposes. Future - and, for that matter, already practising - interpreters as well as the professional users of interpreters ought to take the reality of the interpreters' work in practice into account when assessing the quality...... on the interpreter's interpersonal role and, in particular, on signs of the interpreter's visibility, i.e. active co-participation. At first sight, the interpreting assignment in question seems to be a short and simple routine task which would not require the interpreter to deviate from the traditional picture...

  12. Technical abstracts: Mechanical engineering, 1990

    International Nuclear Information System (INIS)

    Broesius, J.Y.

    1991-01-01

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

  13. Metaphor: Bridging embodiment to abstraction.

    Science.gov (United States)

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

    2016-08-01

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

  14. Nuclear works. Book of abstracts

    International Nuclear Information System (INIS)

    Candel, Danielle; Calberg-Challot, Marie; Alexander, Catherine; Bergsman, Anne; Meyer, Morgan; Taebi, Behnam; Kloosterman, Jan Leen; Kelfaoui, Mahdi; Gingras, Yves; Laborie, Leonard; Beltran, Alain; Bouvier, Yves; Raineau, Laurence; Poirot-Delpech, Sophie; Ollivon, Franck; Mueller, Birgit; Lemarchand, Frederick; Rivat, Emmanuel; Mormont, Marc; Aparicio, Luis; Fassert, Christine; Lehtonen, Markku; Billet, Philippe; Girard, Berenice; Fournier, Pierre; Marion, Richard; Lot, Nicolas

    2012-01-01

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

  15. Interpreting Impoliteness: Interpreters’ Voices

    Directory of Open Access Journals (Sweden)

    Tatjana Radanović Felberg

    2017-11-01

    Full Text Available Interpreters in the public sector in Norway interpret in a variety of institutional encounters, and the interpreters evaluate the majority of these encounters as polite. However, some encounters are evaluated as impolite, and they pose challenges when it comes to interpreting impoliteness. This issue raises the question of whether interpreters should take a stance on their own evaluation of impoliteness and whether they should interfere in communication. In order to find out more about how interpreters cope with this challenge, in 2014 a survey was sent to all interpreters registered in the Norwegian Register of Interpreters. The survey data were analyzed within the theoretical framework of impoliteness theory using the notion of moral order as an explanatory tool in a close reading of interpreters’ answers. The analysis shows that interpreters reported using a variety of strategies for interpreting impoliteness, including omissions and downtoning. However, the interpreters also gave examples of individual strategies for coping with impoliteness, such as interrupting and postponing interpreting. These strategies border behavioral strategies and conflict with the Norwegian ethical guidelines for interpreting. In light of the ethical guidelines and actual practice, mapping and discussing different strategies used by interpreters might heighten interpreters’ and interpreter-users’ awareness of the role impoliteness can play in institutional interpreter– mediated encounters. 

  16. Abstraction of man-made shapes

    KAUST Repository

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

    2009-01-01

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

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

  18. Ad Oculos. Images, Imagination and Abstract Thinking

    Directory of Open Access Journals (Sweden)

    Alessandra Cirafici

    2018-03-01

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

  19. From Interpreter to Logic Engine by Defunctionalization

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2003-01-01

    Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

  20. From Interpreter to Logic Engine by Defunctionalization

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2004-01-01

    Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

  1. From Interpreter to logic Engine by Defunctionalization

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2003-01-01

    Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

  2. Knowledge acquisition for temporal abstraction.

    Science.gov (United States)

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

    1996-01-01

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

  3. Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms

    KAUST Repository

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

    2012-01-01

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

  4. Genre and Interpretation

    DEFF Research Database (Denmark)

    Auken, Sune

    2015-01-01

    Despite the immensity of genre studies as well as studies in interpretation, our understanding of the relationship between genre and interpretation is sketchy at best. The article attempts to unravel some of intricacies of that relationship through an analysis of the generic interpretation carrie...

  5. Engineering Definitional Interpreters

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Ramsay, Norman; Larsen, Bradford

    2013-01-01

    A definitional interpreter should be clear and easy to write, but it may run 4--10 times slower than a well-crafted bytecode interpreter. In a case study focused on implementation choices, we explore ways of making definitional interpreters faster without expending much programming effort. We imp...

  6. Mechanical Engineering Department technical abstracts

    International Nuclear Information System (INIS)

    1984-01-01

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

  7. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

    2010-01-01

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

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

  9. From Interpreter to Logic Engine by Defunctionalization

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2004-01-01

    Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

  10. From Interpreter to Logic Engine by Defunctionalization

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2003-01-01

    Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

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

  12. Teaching abstraction in introductory courses

    NARCIS (Netherlands)

    Koppelman, Herman; van Dijk, Betsy

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

  13. IRAP 2006, Book of Abstracts

    International Nuclear Information System (INIS)

    2006-01-01

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

  14. IRAP 2006, Book of Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2006-07-01

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

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

  16. A study of the use of abstract types for the representation of engineering units in integration and test applications

    Science.gov (United States)

    Johnson, Charles S.

    1986-01-01

    Physical quantities using various units of measurement can be well represented in Ada by the use of abstract types. Computation involving these quantities (electric potential, mass, volume) can also automatically invoke the computation and checking of some of the implicitly associable attributes of measurements. Quantities can be held internally in SI units, transparently to the user, with automatic conversion. Through dimensional analysis, the type of the derived quantity resulting from a computation is known, thereby allowing dynamic checks of the equations used. The impact of the possible implementation of these techniques in integration and test applications is discussed. The overhead of computing and transporting measurement attributes is weighed against the advantages gained by their use. The construction of a run time interpreter using physical quantities in equations can be aided by the dynamic equation checks provided by dimensional analysis. The effects of high levels of abstraction on the generation and maintenance of software used in integration and test applications are also discussed.

  17. Medical interpreters as tools: dangers and challenges in the utilitarian approach to interpreters' roles and functions.

    Science.gov (United States)

    Hsieh, Elaine; Kramer, Eric Mark

    2012-10-01

    This study explores the tensions, challenges, and dangers when a utilitarian view of interpreter is constructed, imposed, and/or reinforced in health care settings. We conducted in-depth interviews and focus groups with 26 medical interpreters from 17 different languages and cultures and 39 providers of five specialties. Grounded theory was used for data analysis. The utilitarian view to interpreters' roles and functions influences providers in the following areas: (a) hierarchical structure and unidirectional communication, (b) the interpreter seen as information gatekeeper, (c) the interpreter seen as provider proxy, and (d) interpreter's emotional support perceived as tools. When interpreters are viewed as passive instruments, a utilitarian approach may compromise the quality of care by silencing patients' and interpreters' voice, objectifying interpreters' emotional work, and exploiting patients' needs. Providers need to recognize that a utilitarian approach to the interpreter's role and functions may create interpersonal and ethical dilemmas that compromise the quality of care. By viewing interpreters as smart technology (rather than passive instruments), both providers and interpreters can learn from and co-evolve with each other, allowing them to maintain control over their expertise and to work as collaborators in providing quality care. Copyright © 2012 Elsevier Ireland Ltd. All rights reserved.

  18. Interpreting land records

    CERN Document Server

    Wilson, Donald A

    2014-01-01

    Base retracement on solid research and historically accurate interpretation Interpreting Land Records is the industry's most complete guide to researching and understanding the historical records germane to land surveying. Coverage includes boundary retracement and the primary considerations during new boundary establishment, as well as an introduction to historical records and guidance on effective research and interpretation. This new edition includes a new chapter titled "Researching Land Records," and advice on overcoming common research problems and insight into alternative resources wh

  19. Abstracting event-based control models for high autonomy systems

    Science.gov (United States)

    Luh, Cheng-Jye; Zeigler, Bernard P.

    1993-01-01

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

  20. Heinrich's idea of abstract labour

    OpenAIRE

    Cockshott, Paul

    2013-01-01

    The article reviews Heinrich’s An Introduction to the Three Volumes of Karl Marx’s\\ud Capital. It questions three main features of Heinrich’s work: its defence of teleology, its\\ud view that no empirical proof is needed of the labour theory of value and its particular\\ud monetary interpretation of the theory of value. This approach, it argues, is anti-scientific.

  1. Abstract Cauchy problems three approaches

    CERN Document Server

    Melnikova, Irina V

    2001-01-01

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

  2. ESGAR 2007. Book of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2007-06-15

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

  3. Cryogenic foam insulation: Abstracted publications

    Science.gov (United States)

    Williamson, F. R.

    1977-01-01

    A group of documents were chosen and abstracted which contain information on the properties of foam materials and on the use of foams as thermal insulation at cryogenic temperatures. The properties include thermal properties, mechanical properties, and compatibility properties with oxygen and other cryogenic fluids. Uses of foams include applications as thermal insulation for spacecraft propellant tanks, and for liquefied natural gas storage tanks and pipelines.

  4. The abstract unconscious in painting

    OpenAIRE

    Parker, David

    2009-01-01

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

  5. Abstract specialization and its applications

    OpenAIRE

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

    2003-01-01

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

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

  7. Integrating Emotions Into the Critical Interpretive Synthesis.

    Science.gov (United States)

    McFerran, Katrina Skewes; Hense, Cherry; Medcalf, Laura; Murphy, Melissa; Fairchild, Rebecca

    2017-01-01

    Critical interpretive synthesis is a particular form of systematic review that critically examines the decisions made by authors while conducting and publishing about their research and practices. It differs from empirical syntheses of qualitative research by emphasizing the interpreted and constructed nature of this form of secondary analysis. In this article, we extend previous literature on critical interpretive syntheses by highlighting the integration of emotional responses when developing critical questions for interrogating the literature and interpreting results. Our extension of the critical interpretive synthesis is illustrated through examples from five studies examining literature in our own field of music therapy, as well as related fields of disability studies, mental health, music psychology, and child welfare. The methodology we have refined uses an iterative and recursive method that promotes increased critical awareness of the assumptions driving the production of research in health contexts. © The Author(s) 2016.

  8. TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY

    Science.gov (United States)

    2017-07-28

    ORGANIZATION REPORT NUMBER 9. SPONSORING/MONITORING AGENCY NAME(S) AND ADDRESS(ES) Air Force Research Laboratory/RISC 525 Brooks Road Rome NY 13441-4505...SUPPLEMENTARY NOTES 14. ABSTRACT In this report, we describe TeamBlocks, a software library and underlying theory for the construction , analysis, and execution...synthesis [13]. The contribution of this paper is the TeamBlocks framework that facilitates the correct construction of cyber-physical systems from

  9. Linguistics in Text Interpretation

    DEFF Research Database (Denmark)

    Togeby, Ole

    2011-01-01

    A model for how text interpretation proceeds from what is pronounced, through what is said to what is comunicated, and definition of the concepts 'presupposition' and 'implicature'.......A model for how text interpretation proceeds from what is pronounced, through what is said to what is comunicated, and definition of the concepts 'presupposition' and 'implicature'....

  10. (abstract) Cryogenic Telescope Test Facility

    Science.gov (United States)

    Luchik, T. S.; Chave, R. G.; Nash, A. E.

    1995-01-01

    An optical test Dewar is being constructed with the unique capability to test mirrors of diameter less than or equal to 1 m, f less than or equal to 6, at temperatures from 300 to 4.2 K with a ZYGO Mark IV interferometer. The design and performance of this facility will be presented.

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

    DEFF Research Database (Denmark)

    Kafle, Bishoksan; Gallagher, John Patrick

    2017-01-01

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

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

  14. National Physics Conference. Paper Abstracts

    International Nuclear Information System (INIS)

    Marinela Dumitriu, Editorial Coordination.

    1995-01-01

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

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

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

  17. In-Package Chemistry Abstraction

    International Nuclear Information System (INIS)

    P.S. Domski

    2003-01-01

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

  18. Proceedings: 1995 SERDP Symposium (Abstracts)

    Science.gov (United States)

    1995-04-01

    Clays Compliance-l0 Development of Hydrothermal Reduction of Energetic Wastes Compliance-ll Metal Perovskite Catalysts for NOx Reduction Compliance-12... Perovskite Catalysts for NOx Reduction Dr. Joseph Wander Air Force Armstrong Laboratory, Environics Directorate 139 Barnes Drive, Suite 2 Bldg. 1120...processes involved in facility design, construction, and operation and, 2) to place on the Internet a life cycle assessment database ( LCA ) for building

  19. On the consistency of Koomen's fair abstraction rule

    NARCIS (Netherlands)

    Bergstra, J.A.; Baeten, J.C.M.; Klop, J.W.

    1987-01-01

    We construct a graph model for ACP,, the algebra of communicating processes w%h silent steps, in which Koomen’s Fair Abstraction Rule (KFAR) holds, and also versions of the Approximation Induction Principle (AIP) and the Recursive Definition & Specification Principles (RDP&RSP). We use this model

  20. Abstracts of the 1. Regional Meeting on Chemistry

    International Nuclear Information System (INIS)

    Abstracts from papers on Analytical, Inorganic and Organic Chemistry as well as on Physico-Chemistry are presented. Emphasis is given to the following subjects: use of nuclear techniques for chemical analysis, separation processes, studies about reaction kinetics and thermodynamic properties, radioisotopes production and applications, labelled compounds, electron-molecule collisions, construction of measuring instruments and data acquisition systems. (C.L.B.) [pt

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

  2. The Interpretive Function

    DEFF Research Database (Denmark)

    Agerbo, Heidi

    2017-01-01

    Approximately a decade ago, it was suggested that a new function should be added to the lexicographical function theory: the interpretive function(1). However, hardly any research has been conducted into this function, and though it was only suggested that this new function was relevant...... to incorporate into lexicographical theory, some scholars have since then assumed that this function exists(2), including the author of this contribution. In Agerbo (2016), I present arguments supporting the incorporation of the interpretive function into the function theory and suggest how non-linguistic signs...... can be treated in specific dictionary articles. However, in the current article, due to the results of recent research, I argue that the interpretive function should not be considered an individual main function. The interpretive function, contrary to some of its definitions, is not connected...

  3. Cytological artifacts masquerading interpretation

    Directory of Open Access Journals (Sweden)

    Khushboo Sahay

    2013-01-01

    Conclusions: In order to justify a cytosmear interpretation, a cytologist must be well acquainted with delayed fixation-induced cellular changes and microscopic appearances of common contaminants so as to implicate better prognosis and therapy.

  4. Schrodinger's mechanics interpretation

    CERN Document Server

    Cook, David B

    2018-01-01

    The interpretation of quantum mechanics has been in dispute for nearly a century with no sign of a resolution. Using a careful examination of the relationship between the final form of classical particle mechanics (the Hamilton–Jacobi Equation) and Schrödinger's mechanics, this book presents a coherent way of addressing the problems and paradoxes that emerge through conventional interpretations.Schrödinger's Mechanics critiques the popular way of giving physical interpretation to the various terms in perturbation theory and other technologies and places an emphasis on development of the theory and not on an axiomatic approach. When this interpretation is made, the extension of Schrödinger's mechanics in relation to other areas, including spin, relativity and fields, is investigated and new conclusions are reached.

  5. Normative interpretations of diversity

    DEFF Research Database (Denmark)

    Lægaard, Sune

    2009-01-01

    Normative interpretations of particular cases consist of normative principles or values coupled with social theoretical accounts of the empirical facts of the case. The article reviews the most prominent normative interpretations of the Muhammad cartoons controversy over the publication of drawings...... of the Prophet Muhammad in the Danish newspaper Jyllands-Posten. The controversy was seen as a case of freedom of expression, toleration, racism, (in)civility and (dis)respect, and the article notes different understandings of these principles and how the application of them to the controversy implied different...... social theoretical accounts of the case. In disagreements between different normative interpretations, appeals are often made to the ‘context', so it is also considered what roles ‘context' might play in debates over normative interpretations...

  6. Principles of radiological interpretation

    International Nuclear Information System (INIS)

    Rowe, L.J.; Yochum, T.R.

    1987-01-01

    Conventional radiographic procedures (plain film) are the most frequently utilized imaging modality in the evaluation of the skeletal system. This chapter outlines the essentials of skeletal imaging, anatomy, physiology, and interpretation

  7. Interpretable Active Learning

    OpenAIRE

    Phillips, Richard L.; Chang, Kyu Hyun; Friedler, Sorelle A.

    2017-01-01

    Active learning has long been a topic of study in machine learning. However, as increasingly complex and opaque models have become standard practice, the process of active learning, too, has become more opaque. There has been little investigation into interpreting what specific trends and patterns an active learning strategy may be exploring. This work expands on the Local Interpretable Model-agnostic Explanations framework (LIME) to provide explanations for active learning recommendations. W...

  8. Augmented reality for improved communication of construction and maintenance plans in nuclear power plants

    International Nuclear Information System (INIS)

    Sorensen, Soren S.

    2010-01-01

    The purpose of implementing Augmented Reality, AR, in the planning, construction and maintenance of Nuclear Power Plants is to secure strict control, precise and correct constructions, exact execution of assignments and heightened safety at all levels. Communication of construction plans to ensure precise and correct assembly of structural elements is essential in all building projects. This is especially crucial in the construction of nuclear plants and installation of new components. The current ways in which construction plans are communicated, blueprints, 3D digital models and written descriptions all embody the need for significant levels of abstraction and interpretation, and are thus both difficult to understand and can lead to misinterpretations. A simulation system with full scale three dimensional models experienced in the physical setting where operations are to take place would bring operators closer to the real life assignments. Augmented Reality is a visualization technology that provides this motivation. (author)

  9. Interpreter-mediated dentistry.

    Science.gov (United States)

    Bridges, Susan; Drew, Paul; Zayts, Olga; McGrath, Colman; Yiu, Cynthia K Y; Wong, H M; Au, T K F

    2015-05-01

    The global movements of healthcare professionals and patient populations have increased the complexities of medical interactions at the point of service. This study examines interpreter mediated talk in cross-cultural general dentistry in Hong Kong where assisting para-professionals, in this case bilingual or multilingual Dental Surgery Assistants (DSAs), perform the dual capabilities of clinical assistant and interpreter. An initial language use survey was conducted with Polyclinic DSAs (n = 41) using a logbook approach to provide self-report data on language use in clinics. Frequencies of mean scores using a 10-point visual analogue scale (VAS) indicated that the majority of DSAs spoke mainly Cantonese in clinics and interpreted for postgraduates and professors. Conversation Analysis (CA) examined recipient design across a corpus (n = 23) of video-recorded review consultations between non-Cantonese speaking expatriate dentists and their Cantonese L1 patients. Three patterns of mediated interpreting indicated were: dentist designated expansions; dentist initiated interpretations; and assistant initiated interpretations to both the dentist and patient. The third, rather than being perceived as negative, was found to be framed either in response to patient difficulties or within the specific task routines of general dentistry. The findings illustrate trends in dentistry towards personalized care and patient empowerment as a reaction to product delivery approaches to patient management. Implications are indicated for both treatment adherence and the education of dental professionals. Copyright © 2015 Elsevier Ltd. All rights reserved.

  10. Abstract Expression Grammar Symbolic Regression

    Science.gov (United States)

    Korns, Michael F.

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

  11. WIPR-2010 Book of abstracts

    International Nuclear Information System (INIS)

    2015-01-01

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

  12. Norddesign 2012 - Book of Abstract

    DEFF Research Database (Denmark)

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

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

  14. Transplantation as an abstract good

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  15. Constructed Wetlands

    Science.gov (United States)

    these systems can improve water quality, engineers and scientists construct systems that replicate the functions of natural wetlands. Constructed wetlands are treatment systems that use natural processes

  16. Waste management research abstracts no. 14

    International Nuclear Information System (INIS)

    1983-04-01

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

  17. A Modal-Logic Based Graph Abstraction

    NARCIS (Netherlands)

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

    2008-01-01

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

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

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

  20. Argonne Code Center: compilation of program abstracts

    International Nuclear Information System (INIS)

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

    1977-08-01

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

  1. Argonne Code Center: compilation of program abstracts

    International Nuclear Information System (INIS)

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

    1976-08-01

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

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

  3. 1986 annual information meeting. Abstracts

    International Nuclear Information System (INIS)

    1986-01-01

    Abstracts are presented for the following papers: Geohydrological Research at the Y-12 Plant (C.S. Haase); Ecological Impacts of Waste Disposal Operations in Bear Creek Valley Near the Y-12 Plant (J.M. Loar); Finite Element Simulation of Subsurface Contaminant Transport: Logistic Difficulties in Handling Large Field Problems (G.T. Yeh); Dynamic Compaction of a Radioactive Waste Burial Trench (B.P. Spalding); Comparative Evaluation of Potential Sites for a High-Level Radioactive Waste Repository (E.D. Smith); Changing Priorities in Environmental Assessment and Environmental Compliance (R.M. Reed); Ecology, Ecotoxicology, and Ecological Risk Assessment (L.W. Barnthouse); Theory and Practice in Uncertainty Analysis from Ten Years of Practice (R.H. Gardner); Modeling Landscape Effects of Forest Decline (V.H. Dale); Soil Nitrogen and the Global Carbon Cycle (W.M. Post); Maximizing Wood Energy Production in Short-Rotation Plantations: Effect of Initial Spacing and Rotation Length (L.L. Wright); and Ecological Communities and Processes in Woodland Streams Exhibit Both Direct and Indirect Effects of Acidification (J.W. Elwood)

  4. Handedness shapes children's abstract concepts.

    Science.gov (United States)

    Casasanto, Daniel; Henetz, Tania

    2012-03-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 a diagram a preferred toy and a dispreferred toy should go. Right-handers tended to assign the preferred toy to a box on the right and the dispreferred toy to a box on the left. Left-handers showed the opposite pattern. In a second experiment, children judged which of two cartoon animals looked smarter (or dumber) or nicer (or meaner). Right-handers attributed more positive qualities to animals on the right, but left-handers to animals on the left. These contrasting associations between space and valence cannot be explained by exposure to language or cultural conventions, which consistently link right with good. Rather, right- and left-handers implicitly associated positive valence more strongly with the side of space on which they can act more fluently with their dominant hands. Results support the body-specificity hypothesis (Casasanto, 2009), showing that children with different kinds of bodies think differently in corresponding ways. Copyright © 2011 Cognitive Science Society, Inc.

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

  6. The triconnected abstraction of process models

    OpenAIRE

    Polyvyanyy, Artem; Smirnov, Sergey; Weske, Mathias

    2009-01-01

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

  7. Construction management

    CERN Document Server

    Pellicer, Eugenio; Teixeira, José C; Moura, Helder P; Catalá, Joaquín

    2014-01-01

    The management of construction projects is a wide ranging and challenging discipline in an increasingly international industry, facing continual challenges and demands for improvements in safety, in quality and cost control, and in the avoidance of contractual disputes. Construction Management grew out of a Leonardo da Vinci project to develop a series of Common Learning Outcomes for European Managers in Construction. Financed by the European Union, the project aimed to develop a library of basic materials for developing construction management skills for use in a pan-European context. Focused exclusively on the management of the construction phase of a building project from the contractor's point of view, Construction Management covers the complete range of topics of which mastery is required by the construction management professional for the effective delivery of new construction projects. With the continued internationalisation of the construction industry, Construction Management will be required rea...

  8. Conjunctive interpretations of disjunctions

    Directory of Open Access Journals (Sweden)

    Robert van Rooij

    2010-09-01

    Full Text Available In this extended commentary I discuss the problem of how to account for "conjunctive" readings of some sentences with embedded disjunctions for globalist analyses of conversational implicatures. Following Franke (2010, 2009, I suggest that earlier proposals failed, because they did not take into account the interactive reasoning of what else the speaker could have said, and how else the hearer could have interpreted the (alternative sentence(s. I show how Franke's idea relates to more traditional pragmatic interpretation strategies. doi:10.3765/sp.3.11 BibTeX info

  9. Compositional Abstraction of PEPA Models for Transient Analysis

    DEFF Research Database (Denmark)

    Smith, Michael James Andrew

    2010-01-01

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

  10. Grammatical Constructions as Relational Categories.

    Science.gov (United States)

    Goldwater, Micah B

    2017-07-01

    This paper argues that grammatical constructions, specifically argument structure constructions that determine the "who did what to whom" part of sentence meaning and how this meaning is expressed syntactically, can be considered a kind of relational category. That is, grammatical constructions are represented as the abstraction of the syntactic and semantic relations of the exemplar utterances that are expressed in that construction, and it enables the generation of novel exemplars. To support this argument, I review evidence that there are parallel behavioral patterns between how children learn relational categories generally and how they learn grammatical constructions specifically. Then, I discuss computational simulations of how grammatical constructions are abstracted from exemplar sentences using a domain-general relational cognitive architecture. Last, I review evidence from adult language processing that shows parallel behavioral patterns with expert behavior from other cognitive domains. After reviewing the evidence, I consider how to integrate this account with other theories of language development. Copyright © 2017 Cognitive Science Society, Inc.

  11. 30 CFR 75.1708-1 - Surface structures; fireproof construction.

    Science.gov (United States)

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Surface structures; fireproof construction. 75... Surface structures; fireproof construction. Structures of fireproof construction is interpreted to mean structures with fireproof exterior surfaces. ...

  12. Interpreting & Biomechanics. PEPNet Tipsheet

    Science.gov (United States)

    PEPNet-Northeast, 2001

    2001-01-01

    Cumulative trauma disorder (CTD) refers to a collection of disorders associated with nerves, muscles, tendons, bones, and the neurovascular (nerves and related blood vessels) system. CTD symptoms may involve the neck, back, shoulders, arms, wrists, or hands. Interpreters with CTD may experience a variety of symptoms including: pain, joint…

  13. Tokens: Facts and Interpretation.

    Science.gov (United States)

    Schmandt-Besserat, Denise

    1986-01-01

    Summarizes some of the major pieces of evidence concerning the archeological clay tokens, specifically the technique for their manufacture, their geographic distribution, chronology, and the context in which they are found. Discusses the interpretation of tokens as the first example of visible language, particularly as an antecedent of Sumerian…

  14. Life Cycle Interpretation

    DEFF Research Database (Denmark)

    Hauschild, Michael Z.; Bonou, Alexandra; Olsen, Stig Irving

    2018-01-01

    The interpretation is the final phase of an LCA where the results of the other phases are considered together and analysed in the light of the uncertainties of the applied data and the assumptions that have been made and documented throughout the study. This chapter teaches how to perform an inte...

  15. Interpretations of Greek Mythology

    NARCIS (Netherlands)

    Bremmer, Jan

    1987-01-01

    This collection of original studies offers new interpretations of some of the best known characters and themes of Greek mythology, reflecting the complexity and fascination of the Greek imagination. Following analyses of the concept of myth and the influence of the Orient on Greek mythology, the

  16. Translation, Interpreting and Lexicography

    DEFF Research Database (Denmark)

    Dam, Helle Vrønning; Tarp, Sven

    2018-01-01

    in the sense that their practice fields are typically ‘about something else’. Translators may, for example, be called upon to translate medical texts, and interpreters may be assigned to work on medical speeches. Similarly, practical lexicography may produce medical dictionaries. In this perspective, the three...

  17. The image of the construction industry and its employment ...

    African Journals Online (AJOL)

    Peer reviewed and revised November. 2016. Abstract. As the construction industry does not seem to .... in order to survive or reduce costs, construction companies had ... the Construction Industry Development Board Act with promoting.

  18. Chemistry and sustainable environment (abstract)

    International Nuclear Information System (INIS)

    Hussain, M.

    2011-01-01

    Chemistry is one of the oldest branches of science; the human beings had ever come across. It has consistently contributed towards meeting the human needs from the dawn of civilization. However, its role has multiplied since the inception of industrial revolution. Although anthropogenic activities have made the human life comfortable and even luxurious yet their impacts on the physical, biological and socio-economic environments had been destructive. Numerous kinds of chemicals have engulfed us and our environment. Modern chemistry has leading role in sculpting the present as well as future of human lifestyle. It is serving the man and other biodiversity by providing countless products in every sphere of life. At the same time it is playing villain role in the destruction of environment at an alarming rate. Today the world is confronted with heinous environmental issues hitherto unknown to the living beings mostly triggered by chemicals. Thousands of chemicals are used in industrial products, agricultural chemicals, persistent organic pollutants, freezers, pharmaceuticals, chemical and radiological warfare, construction industry, synthetic materials, electrical goods, medical gadgets etc. Some natural sources of chemicals are acid rains, volcanic eruptions, eutrophication and photochemical smog. The fact of matter is that chemicals are being consistently added into atmosphere, biosphere and lithosphere. For the sustainable environment it is imperative that the chemicals must not be added into human environment beyond its carrying capacity. It is responsibility of chemists to introduce environmentally benign and biodegradable chemicals. All types of chemistry need to be green and environment friendly. The scientists and engineers should develop chemicals and technologies which do not harm the living creatures during any stage of their life-cycle. (author)

  19. Kantian Ethics and Aristotelian Emotions: A Constructive Interpretation

    OpenAIRE

    Solanas, Montserrat Bordes

    2004-01-01

    Most historians of moral philosophy have considered the Kantian approach to rational dutiful action as incompatible with the Aristotelian view of the emotionally trained moral agent. However, some moral philosophers hold now that Kantian and Aristotelian ethics are almost compatible with each other, that a deep affinity exists between the two views and that the differences between them lie in their ideas on moral psychology, not in their ideas on normative ethics. I agree that, in spite of...

  20. Abstracting audit data for lightweight intrusion detection

    KAUST Repository

    Wang, Wei; Zhang, Xiangliang; Pitsilis, Georgios

    2010-01-01

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

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

  2. Electrochemical construction

    Science.gov (United States)

    Einstein, Harry; Grimes, Patrick G.

    1983-08-23

    An electrochemical cell construction features a novel co-extruded plastic electrode in an interleaved construction with a novel integral separator-spacer. Also featured is a leak and impact resistant construction for preventing the spill of corrosive materials in the event of rupture.

  3. Usability Constructs

    DEFF Research Database (Denmark)

    Hertzum, Morten; Clemmesen, Torkil; Hornbæk, Kasper Anders Søren

    2007-01-01

    Whereas research on usability predominantly employs universal definitions of the aspects that comprise usability, people experience their use of information systems through personal constructs. Based on 48 repertory-grid interviews, this study investigates how such personal constructs are affected...... use of constructs traditionally associated with usability (e.g., easy-to-use, intuitive, and liked). Further analysis of the data is ongoing...

  4. Interpretation and code generation based on intermediate languages

    DEFF Research Database (Denmark)

    Kornerup, Peter; Kristensen, Bent Bruun; Madsen, Ole Lehrmann

    1980-01-01

    The possibility of supporting high level languages through intermediate languages to be used for direct interpretation and as intermediate forms in compilers is investigated. An accomplished project in the construction of an interpreter and a code generator using one common intermediate form...

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

  6. Personal literary interpretation

    Directory of Open Access Journals (Sweden)

    Michał Januszkiewicz

    2015-11-01

    Full Text Available The article titled “Personal literary interpretation” deals with problems which have usually been marginalized in literary studies, but which seem to be very important in the context of the humanities, as broadly defined. The author of this article intends to rethink the problem of literary studies not in objective, but in personal terms. This is why the author wants to talk about what he calls personal literary interpretation, which has nothing to do with subjective or irrational thinking, but which is rather grounded in the hermeneutical rule that says that one must believe in order tounderstand a text or the other (where ‘believe’ also means: ‘to love’, ‘engage’, and ‘be open’. The article presents different determinants of this attitude, ranging from Dilthey to Heidegger and Gadamer. Finally, the author subscribes to the theory of personal interpretation, which is always dialogical.

  7. Interpretation and clinical applications

    International Nuclear Information System (INIS)

    Higgins, C.B.

    1987-01-01

    This chapter discusses the factors to be kept in mind during routine interpretation of MR images. This includes the factors that determine contrast on standard spin-echo images and some distinguishing features between true lesions and artifactually simulated lesions. This chapter also indicates the standard protocols for MRI of various portions of the body. Finally, the current indications for MRI of various portions of the body are suggested; however, it is recognized that the indications for MRI are rapidly increasing and consequently, at the time of publication of this chapter, it is likely that many more applications will have become evident. Interpretation of magnetic resonance (MR) images requires consideration of anatomy and tissue characteristics and extraction of artifacts resulting from motion and other factors

  8. Writing a Structured Abstract for the Thesis

    Science.gov (United States)

    Hartley, James

    2010-01-01

    This article presents the author's suggestions on how to improve thesis abstracts. The author describes two books on writing abstracts: (1) "Creating Effective Conference Abstracts and Posters in Biomedicine: 500 tips for Success" (Fraser, Fuller & Hutber, 2009), a compendium of clear advice--a must book to have in one's hand as one prepares a…

  9. Efficient abstraction selection in reinforcement learning

    NARCIS (Netherlands)

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

    2013-01-01

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

  10. The Age of Interpretation

    OpenAIRE

    Gianni Vattimo

    2013-01-01

    Gianni Vattimo, who is both a Catholic and a frequent critic of the Church, explores the surprising congruence between Christianity and hermeneutics in light of the dissolution of metaphysical truth. As in hermeneutics, Vatimo claims, interpretation is central to Christianity. Influenced by hermeneutics and borrowing largely from the Nietzschean and Heideggerian heritage, the Italian philosopher, who has been instrumental in promoting a nihilistic approach to Christianity, draws here on Nietz...

  11. The Age of Interpretation

    Directory of Open Access Journals (Sweden)

    Gianni Vattimo

    2013-01-01

    Full Text Available Gianni Vattimo, who is both a Catholic and a frequent critic of the Church, explores the surprising congruence between Christianity and hermeneutics in light of the dissolution of metaphysical truth. As in hermeneutics, Vatimo claims, interpretation is central to Christianity. Influenced by hermeneutics and borrowing largely from the Nietzschean and Heideggerian heritage, the Italian philosopher, who has been instrumental in promoting a nihilistic approach to Christianity, draws here on Nietzsche’s writings on nihilism, which is not to be understood in a purely negative sense. Vattimo suggests that nihilism not only expands the Christian message of charity, but also transforms it into its endless human potential. In “The Age of Interpretation,” the author shows that hermeneutical radicalism “reduces all reality to message,” so that the opposition between facts and norms turns out to be misguided, for both are governed by the interpretative paradigms through which someone (always a concrete, historically situated someone makes sense of them. Vattimo rejects some of the deplorable political consequences of hermeneutics and claims that traditional hermeneutics is in collusion with various political-ideological neutralizations.

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

  13. Completed lineament interpretation of the Olkiluoto region

    International Nuclear Information System (INIS)

    Paananen, M.

    2013-10-01

    dominating. The EM lineaments are mainly related to electrically conductive narrow sea areas between the islands. Accordingly, they may be indirect indications of deformation zones. In addition to the sole geophysical interpretation, the result is also merged with the revision of the most recent previous lineament interpretation, based on several data sources, such as geophysics, topography and bathymetry. The compiled interpretation, resulting in altogether 200 lineaments, serves as one starting point when constructing the geological model of the Olkiluoto site. (orig.)

  14. Completed lineament interpretation of the Olkiluoto region

    Energy Technology Data Exchange (ETDEWEB)

    Paananen, M. [Geological Survey of Finland, Espoo (Finland)

    2013-10-15

    dominating. The EM lineaments are mainly related to electrically conductive narrow sea areas between the islands. Accordingly, they may be indirect indications of deformation zones. In addition to the sole geophysical interpretation, the result is also merged with the revision of the most recent previous lineament interpretation, based on several data sources, such as geophysics, topography and bathymetry. The compiled interpretation, resulting in altogether 200 lineaments, serves as one starting point when constructing the geological model of the Olkiluoto site. (orig.)

  15. Construction of Common Interpretive Spaces through Intertextual Loops--How Teachers Interpret Multimodal Learning Materials

    Science.gov (United States)

    Poyas, Yael; Eilam, Billie

    2012-01-01

    This study draws on several theoretical domains: intertextuality, multimodality, and the pedagogy of multiliteracies. We introduced multimodal textbook materials to eleven experienced teachers and examined, through in-depth interviews, their approach to juxtapositions of literary texts and visual artwork. Our analysis revealed (a) three attitudes…

  16. Interpretation of Internet technology

    DEFF Research Database (Denmark)

    Madsen, Charlotte Øland

    2001-01-01

    Research scope: The topic of the research project is to investigate how new internet technologies such as e-trade and customer relation marketing and management are implemented in Danish food processing companies. The aim is to use Weick's (1995) sensemaking concept to analyse the strategic...... processes leading to the use of internet marketing technologies and to investigate how these new technologies are interpreted into the organisation. Investigating the organisational socio-cognitive processes underlying the decision making processes will give further insight into the socio...

  17. Changing interpretations of Plotinus

    DEFF Research Database (Denmark)

    Catana, Leo

    2013-01-01

    about method point in other directions. Eduard Zeller (active in the second half of the 19th century) is typically regarded as the first who gave a satisfying account of Plotinus’ philosophy as a whole. In this article, on the other hand, Zeller is seen as the one who finalised a tradition initiated...... in the 18th century. Very few Plotinus scholars have examined the interpretative development prior to Zeller. Schiavone (1952) and Bonetti (1971), for instance, have given little attention to Brucker’s introduction of the concept system of philosophy. The present analysis, then, has value...

  18. Construction mathematics

    CERN Document Server

    Virdi, Surinder; Virdi, Narinder Kaur

    2014-01-01

    Construction Mathematics is an introductory level mathematics text, written specifically for students of construction and related disciplines. Learn by tackling exercises based on real-life construction maths. Examples include: costing calculations, labour costs, cost of materials and setting out of building components. Suitable for beginners and easy to follow throughout. Learn the essential basic theory along with the practical necessities. The second edition of this popular textbook is fully updated to match new curricula, and expanded to include even more learning exercises. End of chapter exercises cover a range of theoretical as well as practical problems commonly found in construction practice, and three detailed assignments based on practical tasks give students the opportunity to apply all the knowledge they have gained. Construction Mathematics addresses all the mathematical requirements of Level 2 construction NVQs from City & Guilds/CITB and Edexcel courses, including the BTEC First Diploma in...

  19. Nonclassical Problem for Ultraparabolic Equation in Abstract Spaces

    Directory of Open Access Journals (Sweden)

    Gia Avalishvili

    2016-01-01

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

  20. FFTF constructibility

    International Nuclear Information System (INIS)

    Weber, S.A.; Hulbert, D.I.

    1975-01-01

    The influence of the design criteria on the constructibility of the Fast Flux Test Facility is described. Specifically, the effects of requirements due to maintenance accessibility, inerting of cells, seismicity, codes, and standards are addressed. The design and construction techniques developed to minimize the impact of the design criteria on cost and schedule are presented with particular emphasis on the cleanliness and humidity controls imposed during construction of the sodium systems. (U.S.)

  1. Physical interpretation of antigravity

    Science.gov (United States)

    Bars, Itzhak; James, Albin

    2016-02-01

    Geodesic incompleteness is a problem in both general relativity and string theory. The Weyl-invariant Standard Model coupled to general relativity (SM +GR ), and a similar treatment of string theory, are improved theories that are geodesically complete. A notable prediction of this approach is that there must be antigravity regions of spacetime connected to gravity regions through gravitational singularities such as those that occur in black holes and cosmological bang/crunch. Antigravity regions introduce apparent problems of ghosts that raise several questions of physical interpretation. It was shown that unitarity is not violated, but there may be an instability associated with negative kinetic energies in the antigravity regions. In this paper we show that the apparent problems can be resolved with the interpretation of the theory from the perspective of observers strictly in the gravity region. Such observers cannot experience the negative kinetic energy in antigravity directly, but can only detect in and out signals that interact with the antigravity region. This is no different from a spacetime black box for which the information about its interior is encoded in scattering amplitudes for in/out states at its exterior. Through examples we show that negative kinetic energy in antigravity presents no problems of principles but is an interesting topic for physical investigations of fundamental significance.

  2. Leveraging spatial abstraction in traffic analysis and forecasting with visual analytics

    OpenAIRE

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

    2016-01-01

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

  3. Are Abstract and Concrete Concepts Organized Differently? Evidence from the Blocked Translation Paradigm

    Science.gov (United States)

    Zhang, Xiaohong; Han, Zaizhu; Bi, Yanchao

    2013-01-01

    Using the blocked-translation paradigm with healthy participants, we examined Crutch and Warrington's hypothesis that concrete and abstract concepts are organized by distinct principles: concrete concepts by semantic similarities and abstract ones by associations. In three experiments we constructed two types of experimental blocking (similar…

  4. How a Visual Language of Abstract Shapes Facilitates Cultural and International Border Crossings

    Science.gov (United States)

    Conroy, Arthur Thomas, III

    2016-01-01

    This article describes a visual language comprised of abstract shapes that has been shown to be effective in communicating prior knowledge between and within members of a small team or group. The visual language includes a set of geometric shapes and rules that guide the construction of the abstract diagrams that are the external representation of…

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

    DEFF Research Database (Denmark)

    Smith, Michael James Andrew

    2010-01-01

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

  6. Engineering Abstractions in Model Checking and Testing

    DEFF Research Database (Denmark)

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

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

  7. Construction Management.

    Science.gov (United States)

    Abbott, James F.

    This article provides a detailed discussion of a team approach to building that involves a construction manager, an architect, and a contractor. Bidding methods are outlined; the major components in construction management -- value engineering and fast track scheduling -- and the use of performance specifications are discussed. The construction…

  8. Construction fraud

    NARCIS (Netherlands)

    Graafland, J.J.; Liedekerke, L.; Dubbink, W.; van Liedekerke, L.; van Luijk, H.

    2011-01-01

    Due to the actions of a whistleblower The Netherlands was confronted with a massive case of construction fraud involving almost the entire construction sector. Price fixing, prior consulting, duplicate accounts, fictitious invoices and active corruption of civil servants were rampant practices. This

  9. Superstring construction

    CERN Document Server

    1989-01-01

    The book includes a selection of papers on the construction of superstring theories, mainly written during the years 1984-1987. It covers ten-dimensional supersymmetric and non-supersymmetric strings, four-dimensional heterotic strings and four-dimensional type-II strings. An introduction to more recent developments in conformal field theory in relation to string construction is provided.

  10. [Interpretation of proverbs and Alzheimer's disease].

    Science.gov (United States)

    Báez, S; Mendoza, L; Reyes, P; Matallana, D; Montañés, P

    To evaluate the performance of patients with Alzheimer's disease (AD) in the mild-moderate stage in a verbal material abstraction task that involves interpreting the implicit meaning of proverbs and sayings. A qualitative-quantitative analysis was carried out of the performance of 30 patients with AD and 30 controls, paired by age, gender and level of education. Patients had significantly greater difficulties than the controls when it came to interpreting proverbs. A high correlation was found between subjects' years of schooling and the overall score on the proverb interpretation test. Results suggest that the processes that may be predominantly affected in patients with AD are the investigation of the conditions of the problem, together with selecting an alternative and formulating a cognitive plan to resolve the task. The results help to further our knowledge of the characteristics of performance of patients with AD in a test involving the interpretation of the implicit meaning of proverbs and also provide information about the processes that may be predominantly affected. Further research is needed, however, on this subject area in order to obtain more conclusive explanations.

  11. Biblical Interpretation Beyond Historicity

    DEFF Research Database (Denmark)

    Biblical Interpretation beyond Historicity evaluates the new perspectives that have emerged since the crisis over historicity in the 1970s and 80s in the field of biblical scholarship. Several new studies in the field, as well as the ‘deconstructive’ side of literary criticism that emerged from...... writers such as Derrida and Wittgenstein, among others, lead biblical scholars today to view the texts of the Bible more as literary narratives than as sources for a history of Israel. Increased interest in archaeological and anthropological studies in writing the history of Palestine and the ancient Near...... and the commitment to a new approach to both the history of Palestine and the Bible’s place in ancient history. This volume features essays from a range of highly regarded scholars, and is divided into three sections: “Beyond Historicity”, which explores alternative historical roles for the Bible, “Greek Connections...

  12. Interpretation of galaxy counts

    International Nuclear Information System (INIS)

    Tinsely, B.M.

    1980-01-01

    New models are presented for the interpretation of recent counts of galaxies to 24th magnitude, and predictions are shown to 28th magnitude for future comparison with data from the Space Telescope. The results supersede earlier, more schematic models by the author. Tyson and Jarvis found in their counts a ''local'' density enhancement at 17th magnitude, on comparison with the earlier models; the excess is no longer significant when a more realistic mixture of galaxy colors is used. Bruzual and Kron's conclusion that Kron's counts show evidence for evolution at faint magnitudes is confirmed, and it is predicted that some 23d magnitude galaxies have redshifts greater than unity. These may include spheroidal systems, elliptical galaxies, and the bulges of early-type spirals and S0's, seen during their primeval rapid star formation

  13. Guide to Magellan image interpretation

    Science.gov (United States)

    Ford, John P.; Plaut, Jeffrey J.; Weitz, Catherine M.; Farr, Tom G.; Senske, David A.; Stofan, Ellen R.; Michaels, Gregory; Parker, Timothy J.; Fulton, D. (Editor)

    1993-01-01

    An overview of Magellan Mission requirements, radar system characteristics, and methods of data collection is followed by a description of the image data, mosaic formats, areal coverage, resolution, and pixel DN-to-dB conversion. The availability and sources of image data are outlined. Applications of the altimeter data to estimate relief, Fresnel reflectivity, and surface slope, and the radiometer data to derive microwave emissivity are summarized and illustrated in conjunction with corresponding SAR image data. Same-side and opposite-side stereo images provide examples of parallax differences from which to measure relief with a lateral resolution many times greater than that of the altimeter. Basic radar interactions with geologic surfaces are discussed with respect to radar-imaging geometry, surface roughness, backscatter modeling, and dielectric constant. Techniques are described for interpreting the geomorphology and surface properties of surficial features, impact craters, tectonically deformed terrain, and volcanic landforms. The morphologic characteristics that distinguish impact craters from volcanic craters are defined. Criteria for discriminating extensional and compressional origins of tectonic features are discussed. Volcanic edifices, constructs, and lava channels are readily identified from their radar outlines in images. Geologic map units are identified on the basis of surface texture, image brightness, pattern, and morphology. Superposition, cross-cutting relations, and areal distribution of the units serve to elucidate the geologic history.

  14. Scanning Tunneling Microscopy - image interpretation

    International Nuclear Information System (INIS)

    Maca, F.

    1998-01-01

    The basic ideas of image interpretation in Scanning Tunneling Microscopy are presented using simple quantum-mechanical models and supplied with examples of successful application. The importance is stressed of a correct interpretation of this brilliant experimental surface technique

  15. Critical Assessment of Metagenome Interpretation

    DEFF Research Database (Denmark)

    Sczyrba, Alexander; Hofmann, Peter; Belmann, Peter

    2017-01-01

    Methods for assembly, taxonomic profiling and binning are key to interpreting metagenome data, but a lack of consensus about benchmarking complicates performance assessment. The Critical Assessment of Metagenome Interpretation (CAMI) challenge has engaged the global developer community to benchma...

  16. The interpretation of administrative contracts

    Directory of Open Access Journals (Sweden)

    Cătălin-Silviu SĂRARU

    2014-06-01

    Full Text Available The article analyzes the principles of interpretation for administrative contracts, in French law and in Romanian law. In the article are highlighted derogations from the rules of contract interpretation in common law. Are examined the exceptions to the principle of good faith, the principle of common intention (willingness of the parties, the principle of good administration, the principle of extensive interpretation of the administrative contract. The article highlights the importance and role of the interpretation in administrative contracts.

  17. Construct Measurement in Management Research

    DEFF Research Database (Denmark)

    Nielsen, Bo Bernhard

    2014-01-01

    Far too often do management scholars resort to crude and often inappropriate measures of fundamental constructs in their research; an approach which calls in question the interpretation and validity of their findings. Scholars often legitimize poor choices in measurement with a lack of availability......, this research note raises important questions about the use of proxies in management research and argues for greater care in operationalizing constructs with particular attention to matching levels of theory and measurement....

  18. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    1988-01-01

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

  19. An abstract machine for module replacement

    OpenAIRE

    Walton, Chris; Krl, Dilsun; Gilmore, Stephen

    1998-01-01

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

  20. Abstract Object Creation in Dynamic Logic

    NARCIS (Netherlands)

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

    2009-01-01

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

  1. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    1988-01-01

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

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

  3. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  4. Using fairness to make abstractions work

    NARCIS (Netherlands)

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

    2003-01-01

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

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

  6. User-Extensible Graphics Using Abstract Structure,

    Science.gov (United States)

    1987-08-01

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

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

  8. Bounded Rationality of Generalized Abstract Fuzzy Economies

    Directory of Open Access Journals (Sweden)

    Lei Wang

    2014-01-01

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

  9. Hydrogen abstraction reactions by amide electron adducts

    International Nuclear Information System (INIS)

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

    1982-01-01

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

  10. Interpretation of computed tomographic images

    International Nuclear Information System (INIS)

    Stickle, R.L.; Hathcock, J.T.

    1993-01-01

    This article discusses the production of optimal CT images in small animal patients as well as principles of radiographic interpretation. Technical factors affecting image quality and aiding image interpretation are included. Specific considerations for scanning various anatomic areas are given, including indications and potential pitfalls. Principles of radiographic interpretation are discussed. Selected patient images are illustrated

  11. Model-Based Integration and Interpretation of Data

    DEFF Research Database (Denmark)

    Petersen, Johannes

    2004-01-01

    Data integration and interpretation plays a crucial role in supervisory control. The paper defines a set of generic inference steps for the data integration and interpretation process based on a three-layer model of system representations. The three-layer model is used to clarify the combination...... of constraint and object-centered representations of the work domain throwing new light on the basic principles underlying the data integration and interpretation process of Rasmussen's abstraction hierarchy as well as other model-based approaches combining constraint and object-centered representations. Based...

  12. Constructing History

    DEFF Research Database (Denmark)

    Jørgensen, Michael Riber

    2010-01-01

    The Icelandic sagas can be read and interpreted in many ways. This article examines the sagas both as literary expressions of a longstanding oral tradition and as part of a collective and cultural memory. The focus in the first part is on people and places in the sagas as ‘realms of memory’: thin...

  13. Constructing quarks

    International Nuclear Information System (INIS)

    Pickering, A.

    1984-01-01

    The book is a history of the post-war development of high energy physics, from a sociological perspective. The formulation and elaboration of scientific knowledge is interpreted in terms of what the scientists actually do, in the day-to-day practice of the scientific community. (U.K.)

  14. Worldwide construction

    International Nuclear Information System (INIS)

    Williamson, M.

    1994-01-01

    The paper lists major construction projects in worldwide processing and pipelining, showing capacities, contractors, estimated costs, and time of construction. The lists are divided into refineries, petrochemical plants, sulfur recovery units, gas processing plants, pipelines, and related fuel facilities. This last classification includes cogeneration plants, coal liquefaction and gasification plants, biomass power plants, geothermal power plants, integrated coal gasification combined-cycle power plants, and a coal briquetting plant

  15. Atenção primária à saúde e a construção de sentidos para a saúde bucal: leitura construcionista social sobre discursos de idosos Primary healthcare and the construction of meanings for oral health: a social constructionist interpretation of discourses by the elderly

    Directory of Open Access Journals (Sweden)

    Alexandre Favero Bulgarelli

    2012-08-01

    Interpretative Repertoires with the use of Discourse Analysis, which showed the relationship between: 1 - Lack of dental information and assistance in childhood; and 2 - Primary Healthcare constructing meaning for oral health. We concluded that Social Constructionism assists epistemologically for the construction of meaning for oral health and that Primary Healthcare is essential for valuing healthcare for the construction of meaning for oral health on the part of the elderly by fostering conditions for self care and healthy attitudes.

  16. EVOLUTION OF ABSTRACT VEGETAL ORNAMENTS IN ISLAMIC ARCHITECTURE

    Directory of Open Access Journals (Sweden)

    Yahya Abdullahi

    2015-03-01

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

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

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

  19. Conducting a critical interpretive synthesis of the literature on access to healthcare by vulnerable groups

    Directory of Open Access Journals (Sweden)

    Smith Lucy

    2006-07-01

    Full Text Available Abstract Background Conventional systematic review techniques have limitations when the aim of a review is to construct a critical analysis of a complex body of literature. This article offers a reflexive account of an attempt to conduct an interpretive review of the literature on access to healthcare by vulnerable groups in the UK Methods This project involved the development and use of the method of Critical Interpretive Synthesis (CIS. This approach is sensitised to the processes of conventional systematic review methodology and draws on recent advances in methods for interpretive synthesis. Results Many analyses of equity of access have rested on measures of utilisation of health services, but these are problematic both methodologically and conceptually. A more useful means of understanding access is offered by the synthetic construct of candidacy. Candidacy describes how people's eligibility for healthcare is determined between themselves and health services. It is a continually negotiated property of individuals, subject to multiple influences arising both from people and their social contexts and from macro-level influences on allocation of resources and configuration of services. Health services are continually constituting and seeking to define the appropriate objects of medical attention and intervention, while at the same time people are engaged in constituting and defining what they understand to be the appropriate objects of medical attention and intervention. Access represents a dynamic interplay between these simultaneous, iterative and mutually reinforcing processes. By attending to how vulnerabilities arise in relation to candidacy, the phenomenon of access can be better understood, and more appropriate recommendations made for policy, practice and future research. Discussion By innovating with existing methods for interpretive synthesis, it was possible to produce not only new methods for conducting what we have termed critical

  20. Construction history and construction management

    International Nuclear Information System (INIS)

    Agh, S.

    1999-01-01

    The process of pre-design and design preparation of the Mochovce NPP as well as the construction history of the plant is highlighted, including the financing aspect and problems arising from changes in the technological and other conditions of start-up of the reactor units. The results of international audits performed to improve the level of nuclear safety and implementation of the measures suggested are also described. The milestones of the whole construction process and start-up process, the control and quality system, and the methods of control and management of the complex construction project are outlined. (author)

  1. Collected abstracts on particle beam diagnostic systems

    International Nuclear Information System (INIS)

    Hickok, R.L.

    1979-01-01

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

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

  3. 2002 Conference Programme and Book of Abstracts

    International Nuclear Information System (INIS)

    2002-01-01

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

  4. Functional Correspondence between Evaluators and Abstract Machines

    DEFF Research Database (Denmark)

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

    2003-01-01

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

  5. Automatic Probabilistic Program Verification through Random Variable Abstraction

    Directory of Open Access Journals (Sweden)

    Damián Barsotti

    2010-06-01

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

  6. Orientalismi: nuove prospettive interpretative

    Directory of Open Access Journals (Sweden)

    Gabriele Proglio

    2012-11-01

    Full Text Available This paper is aimed at reconsidering the concept of Orientalism in a new and multiple perspective, and at proposing a different interpretation of the relationship between culture and power, starting from Edward Said’s theoretical frame of reference. If Said’s representational model is repositioned out of structuralist and foucaultian frameworks and separated from the gramscian idea of hegemony-subordination, indeed, it may be possible to re-discuss the traditional profile identifying the Other in the European cultures. My basic assumption here is that Orientalism should not be understood as a consensus mechanism, which is able to produce diversified images of the Orient and the Oriental on demand. Although, of course, in most cases Orientalism is connected to the issue of power, its meanings could also be explained —as it will be soon shown— otherwise. Let’s take The Invisible Cities by Italo Calvino as an example. Here the narratives are not just multiple repetitions of Venice —in Said’s case, the same would hold for Europeanism—, but they could be strategically re-appropriated by those “others” and “alterities” whose bodies and identities are imposed by the Eurocentric discourse. In this sense, a double link may be identified with queer theories and postcolonial studies, and the notion of subordination will be rethought. Finally, from the above mentioned borders, a new idea of image emerges, which appears as linear, uniform and flattened only to the European gaze, whereas in actual fact it is made of imaginaries and forms of knowledge, which combine representation with the conceptualization of power relationships.

  7. 20. ATSR congress - Book of abstracts

    International Nuclear Information System (INIS)

    1999-01-01

    This document brings together the abstracts of all presentations given at the 20. congress of the French association for radiation protection techniques and sciences (ATSR). Content: - Use of radioactive sources: 1 - Role of the inter-ministry Commission of artificial radioelements (CIREA) in the medical, research and industry domains (Denis-Philippe Fages, CIREA Fontenay-aux-Roses); 2 - Radiation protection and ionic smoke detectors (Catherine Bougie, labour inspection DDTE, Montigny-Le-Bretonneux); 3 - radioactive wastes and effluents management in hospitals (Vincent Carlier, ANDRA Chatenay-Malabry); - Nuclear law and its applications: 4 - environmental effects on public health and why the environment health safety system needs to be reformed (Andre Aschieri, House of Commons); 5 - Radiation sources safety and radioactive materials security: IAEA's action plan (Robert Ouvrard, IAEA, Austria); - Radon risk: 6 - Radon risk epidemiology in France (Margot Tirmarche, Helene Baysson, Dominique Laurier, IPSN - Fontenay-aux-Roses); 7 - Radon risk: polonium effects (Jacques Pradel, Gr.COM/AEPN, Paris); 8 Training of civil engineering and public work professionals with regards to radon and its decay products (Marc Ammerich, CEA Saclay, F. Gauffre, Montpellier 2 Univ., M-C. Robe, IPSN); - Radioactive wastes: 9 - Radio-elements transmutation, status and perspectives (Thomas Kirchner - Ecole des Mines Nantes); 10 - Management of low-level radioactive wastes generated by accelerators (Manfred Hoefert, Doris Forkel-Wirth, Claude Lamberet, CERN Switzerland); 11 - Summary of the French legislation about wastes (Christian Bataille, House of Commons); - Impact on the public: 12 - Use of radionuclides in environmental studies (Xavier Vitart - CEA/DAMRI/SAR); 13 - Energy and environment (Jacques Frot - GR.COM/AEPN); - Impacts on public and on the environment: 14 - Low dose effects (Roland Masse, Academy of Sciences); 15 - The stakes of radioactivity measurements (Jean Charles Abbe

  8. Abstracts of Remediation Case Studies, Volume 9

    Science.gov (United States)

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

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

  10. Photochemical hydrogen abstractions as radiationless transitions

    International Nuclear Information System (INIS)

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

    1977-01-01

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

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

    African Journals Online (AJOL)

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

  12. Final program and book of abstracts

    International Nuclear Information System (INIS)

    1999-01-01

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

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

  14. Transport safety research abstracts. No. 1

    International Nuclear Information System (INIS)

    1991-07-01

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

  15. Final program and book of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1999-12-20

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

  16. Abstraction and climate change in Europe

    OpenAIRE

    Laize, Cedric

    2014-01-01

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

  17. CUBE (Computer Use By Engineers) symposium abstracts

    International Nuclear Information System (INIS)

    Ruminer, J.J.

    1978-07-01

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

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

  19. Earth Sciences Division collected abstracts: 1980

    International Nuclear Information System (INIS)

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

    1981-01-01

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

  20. Construction safety

    CERN Document Server

    Li, Rita Yi Man

    2013-01-01

    A close-to-ideal blend of suburb and city, speedy construction of towers of Babylon, the sparkling proportion of glass and steel buildings’ facade at night showcase the wisdom of humans. They also witness the footsteps, sweats and tears of architects and engineers. Unfortunately, these signatures of human civilizations are swathed in towering figures of construction accidents. Fretting about these on sites, different countries adopt different measures on sites. This book firstly sketches the construction accidents on sites, followed by a review on safety measures in some of the developing countries such as Bermuda, Egypt, Kuwait and China; as well as developed countries, for example, the United States, France and Singapore. It also highlights the enormous compensation costs with the courts’ experiences in the United Kingdom and Hong Kong.

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

  2. Constructing sanctions

    DEFF Research Database (Denmark)

    Jaeger, Mark Daniel

    2016-01-01

    such an effect. This paper explores sanctions conflicts as social constructs. It purports that rally-around-the-flag is all but one part of the discursive dimension of sanctions conflicts. Sanctions are intricately connected with the conflict setting they occur in. The study suggests a dialectical relation...... between how opponents perceive conflicts and the meaning of sanctions therein. This nexus of different constructions of sanctions moreover extends to “targeted” sanctions as well: As restrictive measures against Zimbabwe demonstrate, they are not the kind of minimally-invasive operations with clinical...

  3. Atenção primária à saúde e a construção de sentidos para a saúde bucal: leitura construcionista social sobre discursos de idosos Primary healthcare and the construction of meanings of oral health: a social constructionist interpretation of discourses of the elderly

    Directory of Open Access Journals (Sweden)

    Alexandre Favero Bulgarelli

    2012-05-01

    , State of São Paulo, in the first semester of 2010, and identified two interpretative repertoires through Discourse Analysis, which showed the relationship between 1 - Lack of information and dental assistance in childhood, and 2 - Primary Health Care building the meaning of oral health. We concluded that Social Constructionism works epistemologically for the construction of meanings for oral health and that primary health is essential for appreciation and health care that enables the construction of meanings in oral health by the elderly that create conditions for self-care and healthy attitudes.

  4. Verbal prefixation, construction grammar, and semantic compatibility

    DEFF Research Database (Denmark)

    Lewandowski, Wojciech

    2016-01-01

    This paper aims to analyze the interaction between prefixes, verbs, and abstract argument structure constructions, using as a testing ground the locative alternation. It has been assumed that in order to participate in the locative alternation, a verb must specify a manner of motion from which a ...... between resultative prefixes, alternating verbs, and the more abstract change-of-state variant is driven by semantic coherence. Keywords: resultative prefixes, construction grammar, semantic coherence, locative alternation, Polish...

  5. CONSIDERATIONS REGARDING THE INTERPRETATION OF LEGAL NORM

    Directory of Open Access Journals (Sweden)

    Camelia IGNĂTESCU

    2013-12-01

    Full Text Available The legal norm represents an intellectual creation of the legislator. It is expressed in legal language, according to certain rules of preparation, respecting the grammar rules specific to the language in which it is drawn up, as well as the legislative technique. The final result, thought out and wanted by the author, must be understood in direct relation to his intention. Interpretation of the law concerns the particular significance of the general form and the cognitive value of the information, of grammatical construction that expresses the legal norm.

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

  7. design, construction and measured performance of a single-stage

    African Journals Online (AJOL)

    2012-11-03

    Nov 3, 2012 ... Abstract. The design philosophy, construction and measured performances of a single stage, single entry centrifugal pump .... the tachometer spindle to be held against a recess in the motor shaft. The constructed centrifugal ...

  8. Automated, computer interpreted radioimmunoassay results

    International Nuclear Information System (INIS)

    Hill, J.C.; Nagle, C.E.; Dworkin, H.J.; Fink-Bennett, D.; Freitas, J.E.; Wetzel, R.; Sawyer, N.; Ferry, D.; Hershberger, D.

    1984-01-01

    90,000 Radioimmunoassay results have been interpreted and transcribed automatically using software developed for use on a Hewlett Packard Model 1000 mini-computer system with conventional dot matrix printers. The computer program correlates the results of a combination of assays, interprets them and prints a report ready for physician review and signature within minutes of completion of the assay. The authors designed and wrote a computer program to query their patient data base for radioassay laboratory results and to produce a computer generated interpretation of these results using an algorithm that produces normal and abnormal interpretives. Their laboratory assays 50,000 patient samples each year using 28 different radioassays. Of these 85% have been interpreted using our computer program. Allowances are made for drug and patient history and individualized reports are generated with regard to the patients age and sex. Finalization of reports is still subject to change by the nuclear physician at the time of final review. Automated, computerized interpretations have realized cost savings through reduced personnel and personnel time and provided uniformity of the interpretations among the five physicians. Prior to computerization of interpretations, all radioassay results had to be dictated and reviewed for signing by one of the resident or staff physicians. Turn around times for reports prior to the automated computer program generally were two to three days. Whereas, the computerized interpret system allows reports to generally be issued the day assays are completed

  9. Construction work

    CERN Multimedia

    2004-01-01

    Construction work on building 179 will start on the 16th February 2004 and continue until November 2004. The road between buildings 179 and 158 will temporarily become a one way street from Route Democrite towards building 7. The parking places between buildings 179 and 7 will become obsolete. The ISOLDE collaboration would like to apologize for any inconveniences.

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

    Science.gov (United States)

    Yakovlev, Nikolay

    2018-03-01

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

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

    International Nuclear Information System (INIS)

    1995-07-01

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

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

    Directory of Open Access Journals (Sweden)

    Marković Slobodan

    2011-01-01

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

  13. Learning about Regiochemistry from a Hydrogen-Atom Abstraction Reaction in Water

    Science.gov (United States)

    Sears-Dundes, Christopher; Huon, Yoeup; Hotz, Richard P.; Pinhas, Allan R.

    2011-01-01

    An experiment has been developed in which the hydrogen-atom abstraction and the coupling of propionitrile, using Fenton's reagent, are investigated. Students learn about the regiochemistry of radical formation, the stereochemistry of product formation, and the interpretation of GC-MS data, in a safe reaction that can be easily completed in one…

  14. Frontopolar cortex mediates abstract integration in analogy.

    Science.gov (United States)

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

    2006-06-22

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

  15. Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

    Directory of Open Access Journals (Sweden)

    Markus Rabe

    2010-06-01

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

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

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

  18. Tax Treaty Interpretation in Spain

    OpenAIRE

    Soler Roch, María Teresa; Ribes Ribes, Aurora

    2001-01-01

    This paper provides insight in the interpretation of Spanish double taxation conventions. Taking as a premise the Vienna Convention on the Law of Treaties and the wording of Article 3(2) OECD Model Convention, the authors explore the relevance of mutual agreements, tax authority practice and foreign court decisions on the tax treaty interpretation.

  19. Pragmatics in Court Interpreting: Additions

    DEFF Research Database (Denmark)

    Jacobsen, Bente

    2003-01-01

    Danish court interpreters are expected to follow ethical guidelines, which instruct them to deliver exact verbatim versions of source texts. However, this requirement often clashes with the reality of the interpreting situation in the courtroom. This paper presents and discusses the findings of a...

  20. Intercultural pragmatics and court interpreting

    DEFF Research Database (Denmark)

    Jacobsen, Bente

    2008-01-01

      This paper reports on an on-going investigation of conversational implicature in triadic speech events: Interpreter-mediated questionings in criminal proceedings in Danish district courts. The languages involved are Danish and English, and the mode of interpreting is the consecutive mode. The c...

  1. Interpreting Recoil for Undergraduate Students

    Science.gov (United States)

    Elsayed, Tarek A.

    2012-01-01

    The phenomenon of recoil is usually explained to students in the context of Newton's third law. Typically, when a projectile is fired, the recoil of the launch mechanism is interpreted as a reaction to the ejection of the smaller projectile. The same phenomenon is also interpreted in the context of the conservation of linear momentum, which is…

  2. Modelling Constructs

    DEFF Research Database (Denmark)

    Kindler, Ekkart

    2009-01-01

    , these notations have been extended in order to increase expressiveness and to be more competitive. This resulted in an increasing number of notations and formalisms for modelling business processes and in an increase of the different modelling constructs provided by modelling notations, which makes it difficult......There are many different notations and formalisms for modelling business processes and workflows. These notations and formalisms have been introduced with different purposes and objectives. Later, influenced by other notations, comparisons with other tools, or by standardization efforts...... to compare modelling notations and to make transformations between them. One of the reasons is that, in each notation, the new concepts are introduced in a different way by extending the already existing constructs. In this chapter, we go the opposite direction: We show that it is possible to add most...

  3. Earth Sciences Division collected abstracts: 1979

    International Nuclear Information System (INIS)

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

    1980-01-01

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

  4. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1994-03-01

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

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

  6. Abstraction carrying code and resource-awareness

    OpenAIRE

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

    2005-01-01

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

  7. From Outermost Reduction Semantics to Abstract Machine

    DEFF Research Database (Denmark)

    Danvy, Olivier; Johannsen, Jacob

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

  8. 42 CFR 423.894 - Construction.

    Science.gov (United States)

    2010-10-01

    ... 42 Public Health 3 2010-10-01 2010-10-01 false Construction. 423.894 Section 423.894 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICARE... Plans § 423.894 Construction. Nothing in this part must be interpreted as prohibiting or restricting: (a...

  9. Do Interpreters Indeed Have Superior Working Memory in Interpreting

    Institute of Scientific and Technical Information of China (English)

    于飞

    2012-01-01

    With the frequent communications between China and western countries in the field of economy,politics and culture,etc,Inter preting becomes more and more important to people in all walks of life.This paper aims to testify the author’s hypothesis "professional interpreters have similar short-term memory with unprofessional interpreters,but they have superior working memory." After the illustration of literatures concerning with consecutive interpreting,short-term memory and working memory,experiments are designed and analysis are described.

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

    KAUST Repository

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

    2016-01-01

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

  11. On the Interpretation of Top Partners Searches

    CERN Document Server

    Matsedonskyi, Oleksii; Wulzer, Andrea

    2014-01-01

    Relatively light Top Partners are unmistakable signatures of reasonably Natural Composite Higgs models and as such they are worth searching for at the LHC. Their phenomenology is characterized by a certain amount of model-dependence, which makes the interpretation of Top Partner experimental searches not completely straightforward especially if one is willing to take also single production into account. We describe a model-independent strategy by which the interpretation is provided on the parameter space of a Simplified Model that captures the relevant features of all the explicit constructions. The Simplified Model limits are easy to interpret within explicit models, in a way that requires no recasting and no knowledge of the experimental details of the analyses. We illustrate the method by concrete examples, among which the searches for a charge 5/3 Partner in same-sign dileptons and the searches for a charge 2/3 singlet. In each case we perform a theory recasting of the available 8 TeV Run-1 results and a...

  12. Construct Validity of Neuropsychological Tests in Schizophrenia.

    Science.gov (United States)

    Allen, Daniel N.; Aldarondo, Felito; Goldstein, Gerald; Huegel, Stephen G.; Gilbertson, Mark; van Kammen, Daniel P.

    1998-01-01

    The construct validity of neuropsychological tests in patients with schizophrenia was studied with 39 patients who were evaluated with a battery of six tests assessing attention, memory, and abstract reasoning abilities. Results support the construct validity of the neuropsychological tests in patients with schizophrenia. (SLD)

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

    Science.gov (United States)

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

  14. Topological superposition of abstractions of stochastic processes

    NARCIS (Netherlands)

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

    2008-01-01

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

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

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

  18. Functional Abstraction of Stochastic Hybrid Systems

    NARCIS (Netherlands)

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

    2006-01-01

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

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

  20. Hilson Adolescent Profile (HAP): Hilson Research Abstracts.

    Science.gov (United States)

    Hilson Research Inc., Kew Gardens, NY.

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

  1. A Modal Logic for Abstract Delta Modeling

    NARCIS (Netherlands)

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

    2012-01-01

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

  2. Regulatory and technical reports (Abstract index journal)

    International Nuclear Information System (INIS)

    1990-12-01

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

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

  4. Title TBA: Revising the Abstract Submission Process.

    Science.gov (United States)

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

    2018-04-01

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

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

  6. Correlations and fluctuations '98. Collected abstracts

    International Nuclear Information System (INIS)

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

    1998-01-01

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

  7. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1991-06-01

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

  8. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1990-05-01

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

  9. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1990-03-01

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

  10. CMP 2012: conference of moldavian physicists. Abstracts

    International Nuclear Information System (INIS)

    2012-10-01

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

  11. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  12. Sounding Relationships. Conference programme & Book of abstracts

    DEFF Research Database (Denmark)

    2009-01-01

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

  13. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1992-11-01

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

  14. NSF-RANN trace contaminants abstracts

    International Nuclear Information System (INIS)

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

    1976-10-01

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

  15. CMP 2009: conference of moldavian physicists. Abstracts

    International Nuclear Information System (INIS)

    2009-11-01

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

  16. Youth Studies Abstracts, Vol. 3 No. 1.

    Science.gov (United States)

    Youth Studies Abstracts, 1984

    1984-01-01

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

  17. A Sound Abstraction of the Parsing Problem

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Katsoris, Georgios

    2014-01-01

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

  18. Abstracts of Research, July 1975-June 1976.

    Science.gov (United States)

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

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

  19. Abstracts: NRC Waste Management Program reports

    Energy Technology Data Exchange (ETDEWEB)

    Heckman, R.A.; Minichino, C.

    1979-11-01

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

  20. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1992-06-01

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

  1. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1993-02-01

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

  2. Development of Abstract Grammatical Categorization in Infants

    Science.gov (United States)

    Cyr, Marilyn; Shi, Rushen

    2013-01-01

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

  3. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1991-03-01

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

  4. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1993-08-01

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

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

  6. Behavioral technique for workflow abstraction and matching

    NARCIS (Netherlands)

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

    2006-01-01

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

  7. Waste management research abstracts No. 17

    International Nuclear Information System (INIS)

    1986-11-01

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

  8. Abstracts: NRC Waste Management Program reports

    International Nuclear Information System (INIS)

    Heckman, R.A.; Minichino, C.

    1979-11-01

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

  9. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1993-05-01

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

  10. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1994-06-01

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

  11. Final program and book of abstracts

    International Nuclear Information System (INIS)

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

    2004-01-01

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

  12. Embodied cognition, abstract concepts, and body manipulation

    Directory of Open Access Journals (Sweden)

    Katinka eDijkstra

    2014-08-01

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

  13. Abstracts, Third Space Processing Symposium, Skylab results

    Science.gov (United States)

    1974-01-01

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

  14. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1989-11-01

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

  15. Waste management research abstracts No. 18

    International Nuclear Information System (INIS)

    1987-12-01

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

  16. Normalization by evaluation with typed abstract syntax

    DEFF Research Database (Denmark)

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

    2001-01-01

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

  17. Regulatory and technical reports (Abstract index journal)

    International Nuclear Information System (INIS)

    1989-08-01

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

  18. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1991-12-01

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

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

    African Journals Online (AJOL)

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

  20. Content Abstract Classification Using Naive Bayes

    Science.gov (United States)

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

    2018-03-01

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