WorldWideScience

Sample records for abstract interpretation constructing

  1. Monadic abstract interpreters

    DEFF Research Database (Denmark)

    Sergey, Ilya; Devriese, Dominique; Might, Matthew

    2013-01-01

    -insensitive analysis. To achieve this unification, we develop a systematic method for transforming a concrete semantics into a monadically-parameterized abstract machine. Changing the monad changes the behavior of the machine. By changing the monad, we recover a spectrum of machines—from the original concrete...

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

  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...... technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics....

  5. Rolloff Roof Observatory Construction (Abstract)

    Science.gov (United States)

    Ulowetz, J. H.

    2015-12-01

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

  6. Abstract Interpretation as a Programming Language

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    2013-01-01

    In David Schmidts 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...

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

  8. Strictness Analysis and Denotational Abstract Interpretation

    DEFF Research Database (Denmark)

    Nielson, Flemming

    1988-01-01

    there and this sufices to make the framework applicable to strictness analysis for the lambda-calculus. This shows the possibility of a general theory for the analysis of functional programs and it gives more insight into the relative precision of the various analyses. In particular it is shown that a collecting (static......A theory of abstract interpretation () is developed for a typed lambda-calculus. The typed lambda-calculus may be viewed as the ''static'' part of a two-level denotational metalanguage for which abstract interpretation was developed by ). The present development relaxes a condition imposed...

  9. String Analysis as an Abstract Interpretation

    Science.gov (United States)

    Kim, Se-Won; Choe, Kwang-Moo

    We formalize a string analysis within abstract interpretation framework. The abstraction of strings is given as a conjunction of predicates that describes the common configuration changes on the reference pushdown automaton while processing the strings. We also present a family of pushdown automata called ɛ bounded pushdown automata. This family covers all context-free languages, and by using this family of pushdown automata, we can prevent abstract values from becoming infinite conjunctions and guarantee that the operations required in the analyzer are computable.

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

  11. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

    The model-checking problem is to decide, given a formula φ and an interpretation M, whether M satisfies φ, written M |= φ. Model-checking algorithms for temporal logics were initially developed with finite models (such as models of hardware) in mind so that M |= φ is decidable. As interest grew i...

  12. Abstract Interpretation of PIC programs through Logic Programming

    DEFF Research Database (Denmark)

    Henriksen, Kim Steen; Gallagher, John Patrick

    2006-01-01

    A logic based general approach to abstract interpretation of low-level machine programs is reported. It is based on modelling the behavior of the machine as a logic program. General purpose program analysis and transformation of logic programs, such as partial evaluation and convex hull analysis......, 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...

  13. Students' Abstraction in Recognizing, Building with and Constructing a Quadrilateral

    Science.gov (United States)

    Budiarto, Mega Teguh; Rahaju, Endah Budi; Hartono, Sugi

    2017-01-01

    This study aims to implement empirically students' abstraction with socio-cultural background of Indonesia. Abstraction is an activity that involves a vertical reorganization of previously constructed mathematics into a new mathematical structure. The principal components of the model are three dynamic nested epistemic actions: recognizing,…

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

    DEFF Research Database (Denmark)

    Henriksen, Kim Steen

    Abstract interpretation er en overordnet referenceramme for statisk programanalyse. I de seneste år har abstract interpretation vundet udbredelse uden for det akademiske miljø, hvor det er blevet anvendt til verifikation af indlejrede og tidskritiske systemer. Logikprogrammering er et programmeri...

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

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

    Set-based program analysis has many potential applications, including compiler optimisations, type-checking, debugging, verification and planning. One method of set-based analysis is to solve a set of {\\it set constraints} derived directly from the program text. Another approach is based...... constraint analysis of a particular program $P$ could be understood as an abstract interpretation over a finite domain of regular tree grammars, constructed from $P$. In this paper we define such an abstract interpretation for logic programs, formulated over a domain of non-deterministic finite tree automata...

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

  18. 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......-based control-flow analysis from abstract interpretation principles....

  19. The Syntax of the Abstract-type Measurement Construction in Mandarin Chinese

    Directory of Open Access Journals (Sweden)

    Jin Jing

    2017-06-01

    Full Text Available This paper investigates a special sub-type of measurement construction in Mandarin Chinese, namely the [Num-measure word-de-N] construction where the N is an abstract dimension-denoting noun. Evidence is presented to show that the abstract-type [Num-measure word-de-N] should be fundamentally distinguished from the quantifying-/modifying-type [Num-measure word-de-N], in which the [Num-measure word] sequence serves to quantize/modify a semantically concrete, entity-denoting N. At the interpretive level, this paper claims that the abstracttype [Num-measure word-de-N] is semantically definite. At the syntactic level, a clausal analysis within the framework of the Predicate Inversion theory is pursued to account for the derivation of the abstract-type measurement construction. Last, it is proposed that the word order distinction between the Chinese abstracttype measurement construction, which is N-final, and its English counterpart, where the N linearly precedes [Num-measure word], can be explained in terms of a parametric variation with respect to the (non-application of N-raising after Predicate Inversion.

  20. Research into Practice: Spatial Sense and the Construction of Abstract Units in Tiling.

    Science.gov (United States)

    Wheatley, Grayson H., Ed.

    1992-01-01

    Discusses a variation on tiling that offers opportunities for the construction of the fundamental mathematical concept of constructing abstract units called "unitizing." Tiling integrates geometric and numerical settings to develop spatial sense and present mathematics as constructing patterns. (MDH)

  1. IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)

    Science.gov (United States)

    Brat, Guillaume P.; Laserna, Jorge A.; Shi, Nija; Venet, Arnaud Jean

    2014-01-01

    The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger class of static analysis developers by separating concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits of the approach is demonstrated by a buffer overflow analysis applied to flight control systems.

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

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

  4. ABSTRACT

    African Journals Online (AJOL)

    University Health Services. Ahmadu Bella University, Zaria, Nigeria. ABSTRACT. Phywieo-chemical methods were used to analyse the commonly used lcualt samples bought from Zaria and Kano local markets. Blood-leadaoncentrations in ltuali ...

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

  6. Abstract

    African Journals Online (AJOL)

    Francis

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

  7. Abstract,

    African Journals Online (AJOL)

    Abstract·. A study was carried out to investigate the effect of overso~ing legumes on ~a~gela~d pe'rtormance in. Shinyanga'region, Tanzania. Four leguminous species namely Centrosema pubescence, Clito-':iii ternatea,. cMacroptilium atropurpureum and Stylosanthes hamata were Qversown in. a"natural ran,geland in a.

  8. Abstract

    Indian Academy of Sciences (India)

    65

    Abstract. For well over three hundred years, the monsoon has been considered to be a gigantic land-sea breeze driven by the land-ocean contrast in surface temperature. In this paper, this hypothesis ..... primary driver of the monsoon in many papers and most textbooks (e.g. Lau and Li, 1984,. Webster 1987a, Meehl 1994, ...

  9. ABSTRACT

    African Journals Online (AJOL)

    Email: jameskigera@yahoo.co.uk. ABSTRACT. Background: Implant orthopaedic surgery is associated with a risk of post operative Surgical Site. Infection (SSI). This can have devastating consequences in the case of arthroplasty. Due to the less than ideal circumstances under which surgery is conducted in Africa, there are ...

  10. Abstract

    African Journals Online (AJOL)

    WORKERS ON THEIR JOB PERFORMANCE IN IMO STATE, NIGERIA. NGOZI OKEREKE AND no. ONU. ABSTRACT. The study focused on the. efl'ect of socioeconomic characteristics of field extension workers on their job performance in.1mo state agricultural development programme, Nigeria. Data was collected with the ...

  11. Abstract

    African Journals Online (AJOL)

    PROF. OLIVER OSUAGWA

    Abstract. Many mathematical models of stochastic dynamical systems were based on the assumption that the drift and volatility coefficients were linear function of the solution. In this work, we arrive at the drift and the volatility by observing the dynamics of change in the selected stocks in a sufficiently small interval t∆ .

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

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

    Science.gov (United States)

    Pouwels, J Loes; Scholte, Ron H J; van Noorden, Tirza H J; Cillessen, Antonius 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 externalizing symptoms. This study investigated whether bullies, victims, bully-victims, and uninvolved children interpreted ambiguous human interactions differently in terms of bullying and whether these interpretations generalized to abstract non-human interactions. Participants were 390 children (49% girls, Mage  = 10.3 years) who completed self-report measures of bullying and victimization. In addition, they indicated whether video fragments of positive, negative, or ambiguous interactions between humans, animals, and abstract figures depicted bullying situations. Bully-victims reported more bullying than victims and uninvolved children in ambiguous abstract figure, animal, and human fragments and in positive animal fragments. Children who bully did not differ from the other groups. These findings indicate that interpretations of bullying generalized from ambiguous human interactions to more abstract ambiguous animal and abstract figure interactions. Implications for further research and practice were discussed. © 2015 Wiley Periodicals, Inc.

  14. The Syntax of the Abstract-type Measurement Construction in Mandarin Chinese

    OpenAIRE

    Jin Jing

    2017-01-01

    This paper investigates a special sub-type of measurement construction in Mandarin Chinese, namely the [Num-measure word-de-N] construction where the N is an abstract dimension-denoting noun. Evidence is presented to show that the abstract-type [Num-measure word-de-N] should be fundamentally distinguished from the quantifying-/modifying-type [Num-measure word-de-N], in which the [Num-measure word] sequence serves to quantize/modify a semantically concrete, entity-denoting N. At the interpreti...

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

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

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

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

  19. Sensemaking in Interpretive Management Accounting Research: Constructing a Credible Account

    Directory of Open Access Journals (Sweden)

    Siti-Nabiha Abdul-Khalid PhD

    2009-03-01

    Full Text Available As noted by several authors, field research has a craft-like element that makes it difficult for researchers to textualize the process of analyzing data. However, discussing our practices in field research could lead to the emergence of a more critical and self-reflective craft. With this objective, the author discusses the process of interpreting qualitative data from a 5-year longitudinal study on management accounting change in an Asian multinational company. The paper also includes a discussion of the institutional theories underpinning this research, which are used in the explanation of the data. Hence, this article elucidates the journey of moving from the “tape,” or the data, to the final written text.

  20. Reading YES: Interpretive repertoires and identity construction in Dutch teenage magazines

    NARCIS (Netherlands)

    Hijmans, E.J.S.

    2004-01-01

    Analysis of interviews with Dutch teenage readers of the teenage girls’ magazine Yes demonstrates various ways in which girls use media content to construct gender identity. Theoretical concepts drawn from a symbolic interactionist perspective and reconstruction of interpretive repertoires

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

  2. Language Co-Construction and Collaboration in Interpreter-Mediated Primary Care Encounters With Hispanic Adults.

    Science.gov (United States)

    Estrada, Robin Dawson; Messias, DeAnne K Hilfinger

    2017-12-01

    Language asymmetry between patients and providers may influence the context, content, and quality of health care communication, affecting patient outcomes and contributing to health disparities. This research examined interpreter-mediated, primary care encounters between English-speaking nurse practitioners and Spanish-speaking adult patients. Situational analysis guided the collection, analysis, and interpretation of audio-recorded clinical encounter data. Interpreter-mediated communication was situated within intersecting social, economic, political, and health systems contexts. Three modes of collaborative knowledge generations were Constructing Connections, Constructing Mutual Understanding, and Constructing Effective Systems Navigation Strategies. These findings illustrate how interactants contributed individual and collective knowledge across multiple systems to address patient concerns. The analysis revealed ways in which communication processes may influence both providers' diagnostic and interventional decision-making and patients' understanding and potential compliance. Ongoing preparation and support for intraprofessional collaboration is needed to ensure effective communication and mitigate untoward effects of language asymmetries in clinical encounters.

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

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

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

  5. Interpretations

    Science.gov (United States)

    Bellac, Michel Le

    2014-11-01

    Although nobody can question the practical efficiency of quantum mechanics, there remains the serious question of its interpretation. As Valerio Scarani puts it, "We do not feel at ease with the indistinguishability principle (that is, the superposition principle) and some of its consequences." Indeed, this principle which pervades the quantum world is in stark contradiction with our everyday experience. From the very beginning of quantum mechanics, a number of physicists--but not the majority of them!--have asked the question of its "interpretation". One may simply deny that there is a problem: according to proponents of the minimalist interpretation, quantum mechanics is self-sufficient and needs no interpretation. The point of view held by a majority of physicists, that of the Copenhagen interpretation, will be examined in Section 10.1. The crux of the problem lies in the status of the state vector introduced in the preceding chapter to describe a quantum system, which is no more than a symbolic representation for the Copenhagen school of thought. Conversely, one may try to attribute some "external reality" to this state vector, that is, a correspondence between the mathematical description and the physical reality. In this latter case, it is the measurement problem which is brought to the fore. In 1932, von Neumann was first to propose a global approach, in an attempt to build a purely quantum theory of measurement examined in Section 10.2. This theory still underlies modern approaches, among them those grounded on decoherence theory, or on the macroscopic character of the measuring apparatus: see Section 10.3. Finally, there are non-standard interpretations such as Everett's many worlds theory or the hidden variables theory of de Broglie and Bohm (Section 10.4). Note, however, that this variety of interpretations has no bearing whatsoever on the practical use of quantum mechanics. There is no controversy on the way we should use quantum mechanics!

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

  7. 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.......In the observational study, the mean RIME score was higher (83.8 [SD 15.5]), and advanced RIME levels were frequently missing or scored "not relevant" by the clinician examiners. CONCLUSION: In an experimental setup, the RIME structure demonstrated construct validity in terms of reflecting progress in competence...

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

  9. Logical Full Abstraction and PCF

    OpenAIRE

    Longley, John R; Plotkin, Gordon

    2000-01-01

    We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider restrictions on logical complexity and on the level of types.

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

    Directory of Open Access Journals (Sweden)

    Thalita Bianchi de Oliveira Wachholz

    Full Text Available Abstract 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.

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

  12. The (gendered) construction of diagnosis interpretation of medical signs in women patients.

    Science.gov (United States)

    Malterud, K

    1999-06-01

    Medicine maintains a distinction between the medical symptom--the patient's "subjective" experience and expression, and the privileged medical sign--the "objective" findings observable by the doctor. Although the distinction is not consistently applied, it becomes clearly visible in the "undefined," medically unexplained disorders of women patients. Potential impacts of genderized interaction on the interpretation of medical signs are addressed by re-reading the diagnostic process as a matter of social construction, where diagnosis results from human interpretation within a sociopolitical context. The discussion is illustrated by a case story and empirical evidence of the gendering in the doctor-patient relationship. The theoretical analysis is supported by semiotic perspectives of bodily signs, feminist theory on experience, and Foucault's ideas about medical perception and gaze, and concludes that a medical diagnosis is seldom a biological fact, but the outcome of a process where biological, cultural and social elements are interwoven. Further deconstruction of the chain of signs from a feminist perspective, assigning validity to the voice of the woman patient, might broaden the understanding of women's health, illness and disease.

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

  14. Construction and Interpretation Of Corpus-Based English Poetry Vocabulary Profile

    Directory of Open Access Journals (Sweden)

    Omar A. Sheikh Al-Shabab

    2017-07-01

    Full Text Available Vocabulary Profilers (VPrs are deeply rooted in pedagogical purposes. The current investigation, however, uses the Classic and Compleat VPrs to: 1 determine the distribution and content of vocabulary in an English poetry corpus 2 explain differences in the constituents of the vocabulary profile (VP, 3 explore the role of language users in constructing the VP. The corpus includes Extended Corpus (EC: 1.363.225 words, Micro Corpus (MC: 43.200 words from thirty-six poets, and two poems translated into Arabic. The main results show that Types, Offlist words, Academic and Anglo-Saxon words outline the VP, and that the number of Types and the size of the Individual Mental Lexicon constitute the main features of the translator’s VP. The paper concludes that the poet’s construction of the poetry VP undergoes multilayer interpretation by the reader/analyst and the translator, who utilize their socio-environmental context to pin down the semantic potential of the VP anew.

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

    Science.gov (United States)

    Tolsgaard, Martin G; Arendrup, Henrick; Lindhardt, Bjarne O; Hillingsø, Jens G; Stoltenberg, Michael; Ringsted, Charlotte

    2012-06-01

    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. 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. In the experimental study, RIME scores showed significant difference between the three groups-fourth-year students, mean 41.7 (standard deviation [SD] 11.0); sixth-year students, mean 48.2 (SD 10.9); and interns, mean 61.9 (SD 8.5), one-way ANOVA, P < .0001-and showed a progression over the four RIME elements with participants' increasing competence.In the observational study, the mean RIME score was higher (83.8 [SD 15.5]), and advanced RIME levels were frequently missing or scored "not relevant" by the clinician examiners. In an experimental setup, the RIME structure demonstrated construct validity in terms of reflecting progress in competence in managing patient encounters when assessed according to an advanced criterion. However, clinician examiners may tacitly score the elements according to what can be expected at a certain level of student experience.

  16. Abstract Interpretation of Mobile Ambients

    DEFF Research Database (Denmark)

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

    1999-01-01

    for the analysis of functional and object-oriented languages. The first step of the development is an analysis for counting occurrences of processes inside other processes (for which we show semantic correctness and that solutions constitute a Moore family); the second step is a previously developed control flow...

  17. Permittivity Investigations of the Road Construction Raw Materials for Purposes of GPR Data Interpretations

    Science.gov (United States)

    Krysiński, Lech

    2014-05-01

    Permittivity is the major material property governing the formation of GPR response signal in diagnostic measurements. Every quantitative interpretation refers explicitly or implicitly to discussion of permittivity values. Thus, the recognition of permittivity for materials typical of the given technological area is necessary to make use of diagnostic measurements. Collection of several tens of stone cores representing different outcrops was investigated in order to obtain cross-sectional view of permittivity for stone materials being in use in Polish road construction industry as components of stone-asphalt mixtures. The main task was to estimate the typical permittivity values for stone materials treated as representation of several major petrological types. The capacimetry (at 50 MHz) was used as major and very efficient method of permittivity assessment and formation of the samples was subordinated to demands of this method. This method allows for determination of permittivity variability on the lateral surface of the cylindrical sample, giving the insight into the major features of the permittivity spatial distribution characteristic for the given rock. For the most homogeneous samples (in terms of permittivity distribution) the permittivity was measured also on the core top at frequency 2 GHz using impulse GPR reflectometry. No clear proofs for considerable permittivity frequency dependence were found (in the frame of the two methods precision) for these rocks. This conclusion can be related generally to major rock-forming minerals at least in dry igneous rocks. Only solid rocks obtained from regular massive outcrops were included to this first cross-sectional sampling, while artificial synthetic materials and natural gravels of postglacial origin were omitted since additional problems occur in these cases. This first experience allowed to recognize practical problems related to the sampling procedure. The collected data allow for provisional identification

  18. An investigation of the relationship between logical thinking structures and the ability to construct and interpret line graphs

    Science.gov (United States)

    Berg, Craig A.; Phillips, Darrell G.

    This study investigates the relationship between logical thinking structures and the ability to construct and interpret line graphs. Seventy-two subjects in 7th, 9th, and 11th grades were administered individual Piagetian tasks to assess five specific mental structures: (Euclidean spatial structures) (a) Placement and Displacement of Objects (maintaining horizontal and vertical reference frames) and (b) One-One Multiplication of Placement and Displacement Relations (coordinate systems); (c) Multiplicative Measurement; (d) Multiplicative Seriation; and (e) Proportional Reasoning. Graphing abilities were assessed by having the subjects construct and interpret numerous graphs of varying content and difficulty. To minimize the researcher's guesses about interpretation, each subject's answers and reasons were subsequently explored during a clinical interview. The results indicate significant relationships of logical thinking to graphing ability. Multiplicative seriation, multiplicative measurement, and Euclidean spatial structures positively influenced graphing abilities. Subjects who showed evidence of proportional reasoning did significantly better on many graphing situations including choosing the part of the graph with the greatest rate of change. Locating points on a graph without a grid was significantly related to horizontal/vertical frames of reference. Students who did not possess the logical thinking structures were more likely to be dependent upon, and influenced by, perceptual cues and less able to interpret or construct graphs correctly.Received: 16 March 1993; Revised: 18 October 1993;

  19. Pre-Service Science Teachers' Construction and Interpretation of Graphs

    Science.gov (United States)

    Ergül, N. Remziye

    2018-01-01

    Data and graphic analysis and interpretation are important parts of science process skills and science curriculum. So it refers to visual display of data using relevant graphical representations. One of the tools used in science courses is graphics for explain the relationship among each of the concepts and therefore it is important to know data…

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

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

  2. Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    DEFF Research Database (Denmark)

    Dimovski, Aleksandar; Brabrand, Claus; Wasowski, Andrzej

    2015-01-01

    introduce variability abstractions defined as Galois connections and use abstract interpretation as a formal method for the calculational-based derivation of approximate (abstracted) lifted analyses of SPL programs, which are sound by construction. Moreover, given an abstraction we define a syntactic...

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

  4. Embodiment of the Interpretant in a Sign: Reconsider the Concept of a Sign as a Factor of Social Construction in the Frame of Embodied and Disembodied Mind

    Directory of Open Access Journals (Sweden)

    Kovchak Volodymyr

    2017-12-01

    Full Text Available Social reality is semiotically constructed through a sign and sign relations as the mechanism of mediation and creation of “being together”. Social reality is in a constant creative process of dynamic change. It is provided by an intellectual interpretation of the mechanism itself, the real world, the being of other, signs and sign relations, through which a person finds the meaning of his/her being and is included in the overall construction of social reality. Therefore, the dynamic movement of thought to knowledge, to sense, to the joy of everyday life is made through an interpretation as a communicative and semiotic process of searching and involving the general community to another being. Historically, the most important models of signs and sign mediation is the sign model by F. de Saussure and Ch.S. Peirce. These models have long been criticized, but remained fundamental in the socio-semiotic mechanism of mediation between subject and object of knowledge and the construction of social reality. Following the publication of Ch. Taylor’s book “Sources of the self”, the concept of F. de Saussure and Ch.S. Peirce clearly gained social significance, in light of which many hidden mechanisms of semiotic construction of social reality become clear. Open-mindedness, which is the core process of semiosis, has a great importance for the construction of social reality. Basically, thinking is directed at the construction of a new body, the interpretant is directed at constructing a new interpreter. Of course, the construction of the body and physicality is not core one, but a peripheral process. However, it is not devoid of social value and also has potential in the construction of social community “being together”. Intelligent processes are rooted in the daily functioning of the body as their carrier, and the interpretant therefore provides an essential concrete interpreter. If the interpretant aimed against the interpreter as its carrier

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

  6. Concepts and Plural Predication : The Effects of Conceptual Knowledge on the Interpretation of Reciprocal and Conjunctive Plural Constructions

    NARCIS (Netherlands)

    Poortman, E.B.|info:eu-repo/dai/nl/337396396

    2017-01-01

    This dissertation studies the interpretation of plural sentences and its connection to conceptual information in the human mind. The main claim is that conceptual information on content words can affect the logical interpretation of complex plural sentences, unlike what traditional formal semantic

  7. The Benefits of Being Latino: Differential Interpretations of Student Behavior and the Social Construction of Being Well Behaved

    Science.gov (United States)

    Rueda, Eréndira

    2015-01-01

    Students of color are overrepresented in school disciplinary records nationally, but little is known about how disciplinary disproportionality varies among groups. Classroom observations in 1 elementary school suggested that when Latino students misbehaved, teachers were less inclined to interpret their behavior as problematic and less inclined to…

  8. Techniques for Scaling Up Analyses Based on Pre-interpretations

    DEFF Research Database (Denmark)

    Gallagher, John Patrick; Henriksen, Kim Steen; Banda, Gourinath

    2005-01-01

    Any finite tree automaton (or regular type) can be used to construct an abstract interpretation of a logic program, by first determinising and completing the automaton to get a pre-interpretation of the language of the program. This has been shown to be a flexible and practical approach to buildi...

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

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

  11. Abstract Introduction

    African Journals Online (AJOL)

    Abstract. Cyclic ovarian activity and plasma progesterone (P4) concentrations were assessed for 179 days in 5. (free grazing) and 6 (free grazing + high energy and protein-supplemented) normocyclic donkeys. In addition, plasma p4 and cortisol were measured in blood samples collected at J5·min intervals in the.

  12. Abstract Introduction

    African Journals Online (AJOL)

    cce

    Abstract. Hemoglobin is a tetrameric protein which is able to dissociate into dimers. The dimers can in turn dissociate into tetramers. It has been found that dimers are more reactive than tetramers. The difference in the reactivity of these two species has been used to determine the tetramer- dimer dissociation constant of ...

  13. Construction

    Science.gov (United States)

    2002-01-01

    Harbor Deepening Project, Jacksonville, FL Palm Valley Bridge Project, Jacksonville, FL Rotary Club of San Juan, San Juan, PR Tren Urbano Subway...David. What is nanotechnology? What are its implications for construction?, Foresight/CRISP Workshop on Nanotechnology, Royal Society of Arts

  14. Reflective Abstraction and Representation.

    Science.gov (United States)

    Lewin, Philip

    Piaget's theory of reflective abstraction can supplement cognitive science models of representation by specifying both the act of construction and the component steps through which knowers pass as they acquire knowledge. But, while approaches suggested by cognitive science supplement Piaget by awakening researchers to the role of auxiliary factors…

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

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

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

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

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

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

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

  2. Adaption of computers in Dutch Museums: interpreting the new tool

    NARCIS (Netherlands)

    Navarrete, Trilce

    2015-01-01

    abstractThe adoption of computers in Dutch museums has been marked by the changing technology as much as by the interpretation of what the technology is meant to do. The Social Construction of Technology framework is used to review the adoption of a digital work method and to highlight the

  3. Abstracts and Abstracting in Knowledge Discovery.

    Science.gov (United States)

    Pinto, Maria; Lancaster, F. W.

    1999-01-01

    Presents various levels of criteria for judging the quality of abstracts and abstracting. Requirements for abstracts to be read by humans are compared with requirements for those to be searched by computer. Concludes that the wide availability of complete text in electronic form does not reduce the value of abstracts for information retrieval.…

  4. Interpreting particles in dead and living languages : a construction grammar approach to the semantics of Dutch ergens and Ancient Greek pou

    NARCIS (Netherlands)

    Koier, Elizabeth

    2013-01-01

    Words may have multiple interpretations. Generally, native speakers do not perceive this as a problem, because the context provides enough clues as to what is meant. For non-native speakers and students of dead languages, however, the existence of multiple interpretations sometimes does raise

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

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

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

  8. Conference Interpreters

    DEFF Research Database (Denmark)

    Leal Lobato, Ana Isabel

    2017-01-01

    Conference Interpreters: How to serve the cause of minorized communities in the new postmonolingual / ‘postmonodiscoursive’ order,......Conference Interpreters: How to serve the cause of minorized communities in the new postmonolingual / ‘postmonodiscoursive’ order,...

  9. On court interpreters' visibility

    DEFF Research Database (Denmark)

    Dubslaff, Friedel; Martinsen, Bodil

    in by the participants almost immediately after the interrogations and supplemented by interviews. The main objective of the project is to explore the interpreters' own perception of the quality of the service they render as well as the professional users´ and the other language users' perception of the quality...... 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......, such as the interpreter's engagement in explicit co-construction of meaning. In addition, we shall include social factors which must be assumed to have a bearing on the interpreter's behaviour. Here we can, at least to some extent, draw upon the questionnaires and interviews mentioned above. Finally, we shall discuss...

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

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

  12. Automata Learning through Counterexample Guided Abstraction Refinement

    DEFF Research Database (Denmark)

    Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

    2012-01-01

    Abstraction is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct models of software components, researchers manually define abstractions which, depending on the history, map a large set of concrete events...... to a small set of abstract events that can be handled by automata learning tools. In this article, we show how such abstractions can be constructed fully automatically for a restricted class of extended finite state machines in which one can test for equality of data parameters, but no operations on data...

  13. Interpretive Journalism

    OpenAIRE

    Salgado, Susana; Strömbäck, Jesper; Aalberg, Toril; Esser, Frank

    2017-01-01

    In summary one-third of the political coverage analyzed in the 16 countries was found to contain interpretive journalism, with some countries - including France and the United States - making use of it much more than the rest. Indeed, the story genres and the interpretive journalism used in the various countries differ substantially, indicating distinct motives and news cultures. A multivariate analysis conducted to identify the most powerful predictors of interpretive journ...

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

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

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

    Science.gov (United States)

    Nikolić, Hrvoje

    Most physicists do not have patience for reading long and obscure interpretation arguments and disputes. Hence, to attract attention of a wider physics community, in this paper various old and new aspects of quantum interpretations are explained in a concise and simple (almost trivial) form. About the “Copenhagen” interpretation, we note that there are several different versions of it and explain how to make sense of “local nonreality” interpretation. About the many-world interpretation (MWI), we explain that it is neither local nor nonlocal, that it cannot explain the Born rule, that it suffers from the preferred basis problem, and that quantum suicide cannot be used to test it. About the Bohmian interpretation, we explain that it is analogous to dark matter, use it to explain that there is no big difference between nonlocal correlation and nonlocal causation, and use some condensed-matter ideas to outline how nonrelativistic Bohmian theory could be a theory of everything. We also explain how different interpretations can be used to demystify the delayed choice experiment, to resolve the problem of time in quantum gravity, and to provide alternatives to quantum nonlocality. Finally, we explain why is life compatible with the second law.

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

  19. Interpretive Experiments

    Science.gov (United States)

    DeHaan, Frank, Ed.

    1977-01-01

    Describes an interpretative experiment involving the application of symmetry and temperature-dependent proton and fluorine nmr spectroscopy to the solution of structural and kinetic problems in coordination chemistry. (MLH)

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

  1. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

    and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating......In this paper we discuss computational abstraction steps as a way to create class abstractions from concrete objects, and from examples. Computational abstraction steps are regarded as symmetric counterparts to computational concretisation steps, which are well-known in terms of function calls...

  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. Neighbourhood Abstraction in GROOVE

    NARCIS (Netherlands)

    Rensink, Arend; Zambon, Eduardo; De Lara, J.; Varro, D.

    2011-01-01

    Important classes of graph grammars have infinite state spaces and therefore cannot be verified with traditional model checking techniques. One way to address this problem is to perform graph abstraction, which allows us to generate a finite abstract state space that over-approximates the original

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

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

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

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

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

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

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

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

  13. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

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

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

  15. Introduction to abstract algebra

    CERN Document Server

    Smith, Jonathan D H

    2008-01-01

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

  16. Abstract Storage Devices

    OpenAIRE

    Koenig, Robert; Maurer, Ueli; Tessaro, Stefano

    2007-01-01

    A quantum storage device differs radically from a conventional physical storage device. Its state can be set to any value in a certain (infinite) state space, but in general every possible read operation yields only partial information about the stored state. The purpose of this paper is to initiate the study of a combinatorial abstraction, called abstract storage device (ASD), which models deterministic storage devices with the property that only partial information about the state can be re...

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

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

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

  20. Metacognition and abstract reasoning.

    Science.gov (United States)

    Markovits, Henry; Thompson, Valerie A; Brisson, Janie

    2015-05-01

    The nature of people's meta-representations of deductive reasoning is critical to understanding how people control their own reasoning processes. We conducted two studies to examine whether people have a metacognitive representation of abstract validity and whether familiarity alone acts as a separate metacognitive cue. In Study 1, participants were asked to make a series of (1) abstract conditional inferences, (2) concrete conditional inferences with premises having many potential alternative antecedents and thus specifically conducive to the production of responses consistent with conditional logic, or (3) concrete problems with premises having relatively few potential alternative antecedents. Participants gave confidence ratings after each inference. Results show that confidence ratings were positively correlated with logical performance on abstract problems and concrete problems with many potential alternatives, but not with concrete problems with content less conducive to normative responses. Confidence ratings were higher with few alternatives than for abstract content. Study 2 used a generation of contrary-to-fact alternatives task to improve levels of abstract logical performance. The resulting increase in logical performance was mirrored by increases in mean confidence ratings. Results provide evidence for a metacognitive representation based on logical validity, and show that familiarity acts as a separate metacognitive cue.

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

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

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

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

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

  6. 2002 NASPSA Conference Abstracts.

    Science.gov (United States)

    Journal of Sport & Exercise Psychology, 2002

    2002-01-01

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

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

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

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

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

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

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

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

  14. Metaphors in Abstract Thought

    NARCIS (Netherlands)

    I. Boot (Inge)

    2010-01-01

    textabstractThe aim of the dissertation was to investigate the Conceptual Metaphor Theory (CMT, Lakoff & Johnson, 1980, 1999).The CMT proposes that abstract concepts are partly structured by concrete concepts through the mechanism of metaphorical mapping. In Chapter 2 we wanted to investigate the

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

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

  17. Poster Session- Extended Abstracts

    Science.gov (United States)

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

    2008-01-01

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

  18. Abstract Introduction Materials & Methods

    African Journals Online (AJOL)

    plzfg

    Abstract. Oral administration to male rats of 200mg kg-1 body weight of an extract of Calendula officinalis flowers every day for 60 days did not cause loss of body weight, but decreased significantly the weight of the testis, epididymis, seminal vesicle and ventral prostate. Sperm motility as well as sperm density were reduced ...

  19. Testing abstract behavioral specifications

    NARCIS (Netherlands)

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

    2015-01-01

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

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

  1. Leadership Abstracts, 2002.

    Science.gov (United States)

    Wilson, Cynthia, Ed.; Milliron, Mark David, Ed.

    2002-01-01

    This 2002 volume of Leadership Abstracts contains issue numbers 1-12. Articles include: (1) "Skills Certification and Workforce Development: Partnering with Industry and Ourselves," by Jeffrey A. Cantor; (2) "Starting Again: The Brookhaven Success College," by Alice W. Villadsen; (3) "From Digital Divide to Digital Democracy," by Gerardo E. de los…

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

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

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

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

  6. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    in emphasis from the three syntheses to mappings and rhizomatic diagrams that cut across semiotics or “blow apart regimes of signs”. The aim here is the absolute deterritorialization. Deleuze has shown how abstract machines operate in the philosophy of Foucault, the literature of Proust and Kafka......, and the painting of Bacon. We will finish our presentation by showing how these machines apply to architecture....

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

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

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

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

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

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

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

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

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

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

  19. 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...... are set. The ideological discourse of recent policies seems to neglect the fact that history and resources for lifelong learning are different across Europe, and also neglects the multiplicity of adult learners. Instead of refusing the new agendas, however, adult education research should try to dissolve...... learning. Adult education research must fulfil it's potential conversion from normative philosophy to critical and empirical social science....

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

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

  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. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

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

    2013-01-01

    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......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...... and class hierarchies can be derived from the objects - via gradual abstraction steps. We introduce two levels of object classification, called weak and strong object classification. Strong object classification relies on conventional classes, whereas weak object classification is looser, and less...

  5. Direct interpretation of dreams: typology.

    Science.gov (United States)

    van den Daele, L

    1992-12-01

    remarkable stasis in the psychoanalytic theory of the unconscious. The theory of the unconscious that arises from the method of direct interpretation reflects a differentiated inner world with variegated landscapes of images and frameworks. The derivatives of the unconscious are determined by complex decision rules, symbol systems, and syntax. Images and dreams possess a primary autonomy from the conscious mind and arise through the configural mind, which serves the construction and synthesis of experience and knowledge. The derivatives emerge out of common human nature conjoined with concrete human experience. For this reason, dreams and images appear universal.(ABSTRACT TRUNCATED AT 400 WORDS)

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

  7. Probabilistic interpretation of resonant states

    Indian Academy of Sciences (India)

    E-mail: hatano@iis.u-tokyo.ac.jp. Abstract. We provide probabilistic interpretation of resonant states. We do this by showing that the integral of the modulus square of resonance wave functions (i.e., the conventional norm) over a properly expanding spatial domain is independent of time, and therefore leads to probability ...

  8. IEEE conference record -- Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1994-01-01

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

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

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

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

  12. Interpretation training influences memory for prior interpretations

    NARCIS (Netherlands)

    Salemink, E.; Hertel, P.; Mackintosh, B.

    2010-01-01

    Anxiety is associated with memory biases when the initial interpretation of the event is taken into account. This experiment examined whether modification of interpretive bias retroactively affects memory for prior events and their initial interpretation. Before training, participants imagined

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

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

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

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

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

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

  19. Adolescência, sexualidade e reprodução: construções culturais, controvérsias normativas, alternativas interpretativas Adolescence, sexuality, and reproduction: cultural constructions, normative controversies, and interpretative alternatives

    Directory of Open Access Journals (Sweden)

    Miriam Ventura

    2006-07-01

    Full Text Available Esta nota aborda as construções culturais e jurídicas em torno dos direitos sexuais e reprodutivos dos adolescentes. A partir da ampliação dos direitos humanos, no sentido de incluir as prerrogativas de crianças e adolescentes, uma verdadeira mudança foi produzida a respeito do modo como as famílias, a sociedade e as comunidades devem lidar com essas etapas da vida. Apesar das recentes transformações positivas e progressistas no que se refere à legislação e à assistência em saúde nesse momento da vida, persistem no Brasil e em outros países dificuldades para aplicar e interpretar adequadamente a legislação específica, especialmente ao se tratar da sexualidade e reprodução na adolescência. Esse artigo apresenta uma discussão em torno das alternativas possíveis, buscando demonstrar que essas reformas legais não são imprescindíveis, uma vez que é possível ponderar princípios éticos e legais e, a partir de então, construir uma interpretação que garanta o exercício dos direitos sexuais e reprodutivos pelos adolescentes.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.

  20. Abstraction of Drift Seepage

    Energy Technology Data Exchange (ETDEWEB)

    J.T. Birkholzer

    2004-11-01

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

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

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

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

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

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

  6. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

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

    1983-01-01

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

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

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

    Directory of Open Access Journals (Sweden)

    Serna M. Edgar

    2014-04-01

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

  9. Intercultural Understanding: An Interpretive Perspective.

    Science.gov (United States)

    Ting-Toomey, Stella

    Noting that intercultural understanding is a prime construct in the study of intercultural communication, this paper examines two questions that confront all intercultural communication researchers: (1) What are the underlying characteristics of intercultural understanding? and (2) What constitutes an interpretative perspective to intercultural…

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

  11. Abstract of report on construction materials for hydrogenation

    Energy Technology Data Exchange (ETDEWEB)

    Dinkler, W.

    1942-10-16

    This report concerned itself with steels which had been developed to resist attack by hydrogen or hydrogen sulfide and to have high creep strength. One such type of steel was V/sub 2/A (18% chromium, 8% to 9% nickel, 0.12% carbon). This steel, however, was expensive, difficult to work in some ways, and subject to grain-breakdown in high-temperature acid conditions. The grain-breakdown could be prevented by addition of titanium, tantalum, or columbium, and several other advantages including greater hydrogen-resistance could be obtained by replacing some or all of the nickel by molybdenum. These facts led to development of a series of steels (the N series) which contained less chromium and some molybdenum and vanadium and tungsten. Some of the steels in this series were N6(0.15 to 0.2% C, 6% Cr, 0.5% Mo, 0.1 to 0.2% V), N8(0.18% C, 3% Cr, 0.5% W, 0.5% Mo 0.1% V), and N10(0.17 to 0.22% C, 2.5 to 3% Cr, 0.35 to 0.5% Mo, 0.35 to 0.5% W, 0.7 to 0.86% V). The creep strength of these steels varied from 15 kg/mm/sup 2/ for N6 to 18 kg/mm/sup 2/ for N8, to 90 to 100 kg/mm/sup 2/ for N10. The great strength of N10 was due to careful heat (1050/sup 0/C) and annealing (700/sup 0/C) treatment which produced a solution of vanadium carbide in positions to block slippage planes. The best protection against attack by hydrogen sulfide was achieved by coating the steel (which would tend to form iron sulfide deposits) with zinc in a galvanizing process. The steels mentioned so far were developed before wartime scarcities caused the necessity of varying the steels to try to save chromium, molybdenum, and tungsten by partially replacing them with vanadium, manganese, and silicon. The report included a table of earlier and later versions of the steels, with indications of compositions and uses. 1 table.

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

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

    Science.gov (United States)

    Borghi, Anna M; Zarcone, Edoardo

    2016-01-01

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

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

  15. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Denney, R.M. (ed.)

    1982-07-01

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

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

  17. Abstract

    African Journals Online (AJOL)

    ­E¢b

    direction, which is believed to lead to improved social life and welfare. This means that Ethiopian trade and economic ... holding better market share and customer satisfaction in their products and services. In addition, in both ...... 1995. Dominant Values and Parenting. Styles: Major Limiting Factors on the Development of.

  18. ABSTRACT

    African Journals Online (AJOL)

    their effective participation under different socio- ecological constraints (IDRC, 1993;Takyiwa, 1998;. Kinikanwo, 2000; Isiugo-Abanike, 1994; UNO, 1989). The general issue here is to estimate the extent of female participation in ruminant livestock operations with a view to establishing if stereotyping such operations along.

  19. Abstract

    African Journals Online (AJOL)

    feasible and sustainable options. ... strategies, specific to the benefits of exclusive breastfeeding as a mechanism to reduce the risk of HIV transmission is urgently needed ... Joyce Beatrice Ballidawa is a lecturer in the Department of Behavioural Sciences at Moi University School of Medicine, Eldoret, a position she has held.

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

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

  2. ABSTRACT

    Indian Academy of Sciences (India)

    ... 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 chronological sequences to more applied aspects like scientific methods of dating ...

  3. Abstract

    African Journals Online (AJOL)

    Francis

    Ficus species. Journal of Ethnopharmacology 41: 71-76. Nadkarni KM (1976) Indian Materia Medica. Third edition, Vol I. Popular Prakhasan, Bombay. NCCLS (National Committee for Clinical Laboratory Standards) (1999). Performance standards for antimicrobial susceptibility testing. 9th International Supplement M100- ...

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

  5. Abstract

    African Journals Online (AJOL)

    Dr Osondu

    2011-10-26

    Oct 26, 2011 ... Keywords: Municipal solid waste; Geographic information system; waste bin; optimal location; developing city. Introduction. Over the years, the spatial organization and existing infrastructure of cities in developing countries pose challenges for sustainable solid waste management programs. Much of the ...

  6. Abstract

    African Journals Online (AJOL)

    ATTAMAH C. O

    Differences in Climate Change Effects and Adaptation Strategies between Male and Female Livestock Entrepreneurs in ... differed from females in the adaptation strategies used in combating climate change and also on their view on ..... also make use of the same farm road whether in good or bad shape. This is in line with.

  7. Abstract

    African Journals Online (AJOL)

    viral activity has been observed for halofantrine, amodiaquine and mepacrine.” The clinical significance of these findings is uncertain“"”-. There is some evidence that HIV protease inhibitors may alter disease outcomes of colnfected patients.

  8. Abstract

    African Journals Online (AJOL)

    was to determine how the natural aerial connec- teracting worker ants from adjacent trees and tions affected'the viability of colonies Oro!. , observing whether fighting took~iplace :(Yar~ra,. IQffginoda in the tree crowns, in the presence of, 1992). Ants of different colonies fight aggres- inimical ants,P" megacephala, 'on the ...

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

  10. ABSTRACT

    African Journals Online (AJOL)

    BSN

    The preservative effect of CO\\\\'pea pods. seeds, husk. and water and ethanol extracts of the seeds and ... preservation of "kindirmo" with water and ethanol extracts of seeds and husk of. CO\\\\'J)Ca for most of the ... Perhaps same may apply in the area of preservatives: plant products may be safer and biologically friendlier.

  11. Abstract

    Indian Academy of Sciences (India)

    2017-03-10

    Mar 10, 2017 ... TaqMan allelic discrimination assay. .... women). All patients fulfilled the 1987 American College of Rheumatology criteria for RA. (Arnett et al. 1988). A rheumatology university fellow reviewed all clinical data. ... The rs6457617 and rs13192471 were genotyped with a TaqMan 5' allelic discrimination.

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

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

  14. Abstract

    Indian Academy of Sciences (India)

    This talk deals with the geometry of Banach spaces. A non-reflexive Banach space embeds canonically in its second dual and the process continues, giving raise to a strictly increasing chain of Banach spaces. A well known example of a geometric phenomenon that is preserved in this chain, is that of being (isometric) a ...

  15. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    This software template is also of immense benefits to students of different ... connection, there is the potential to track learner's action in a ..... intelligence. This software will be a direct application of artificial intelligence to develop a special authoring system for e- learning that will have the ability to learn. Intelligent authoring ...

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

  17. Abstract

    African Journals Online (AJOL)

    Maru Shete

    of voice, power and representation. To avert this situation, poor women in the research area require equal participation in resources sharing and power of decision making, better employment, housing, education, health care and other opportunities for social service opportunities through savings and credit cooperatives.

  18. ABSTRACT

    African Journals Online (AJOL)

    Chylous leakage is an unusual complication following anterior spinal surgery. This leakage can occur as a result of traumatic injury to the thoracic duct, the cisterna chyli, or the retroperitoneal lymphatic vessels. We report a case of a 56 year old female with thoracic spine disc prolapses with cord compression. She.

  19. Abstract

    Indian Academy of Sciences (India)

    2017-03-10

    Mar 10, 2017 ... Significant p-values were corrected (pc) by the number of alleles tested or subgroups analysed according to Bonferroni's ... LD in healthy controls between both rs13192471/rs6457617 with a value of D'=0.99 and ..... Radstake T.R., Gorlova O., Rueda B., Martin J.E., Alizadeh B.Z., Palomino-Morales R. et al.

  20. ABSTRACT

    African Journals Online (AJOL)

    -. 1111'. Cl". SO41-. (11-. $0}-. C1; sof-. SW' s-j'. (11; so}. New-_ Blank 'spa§cS imply rhelal levels below cleteczim. ,1 z,m1:> .Qu11>»»»: mtalive analysis _ . 1 mined for individual 1ni11cral. §_'r['§>f:é€lY.l.'.l.fi;'u'- we Table l 006%. 1 ii'!

  1. Abstract

    African Journals Online (AJOL)

    Getachew

    request made by a customer for a reservation of a certain class at time T. Although dynamic .... to both customer reaction upon denied boarding and profit loss. .... Sabanci University. http://www.optimization- online.org. Bailey, J. 2007. Bumped fliers and no plan B. The New York Times. Beckman, M.J & Bobkoski, F. 1985.

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

  3. Abstract

    African Journals Online (AJOL)

    UDS-CAPTURED

    The high cost of delivering financial services to small and widely dispersed customers as well as difficult financial terrain in rural settings characterized by high covariant risks, missing markets for risk management instruments and ... Improving the extent of access to credit for low income households is a vital part of any rural ...

  4. Abstract

    African Journals Online (AJOL)

    dell

    the curriculum in higher education. In a similar way, major advances in biological, health sciences, social sciences, physical and life sciences, business and economics, and technology lead to revision of courses in the field. In line, with the everlasting explosion of knowledge and increasing sophistication of technology ...

  5. ABSTRACT

    African Journals Online (AJOL)

    production alone cannot provide the animal protein needs of about 100 million Nigerians. This, therefore calls for ... Fish contributes about 12 percent of the total animal protein supply of the World population (Borgstorm, ..... motivation for extension personnel (7.5%), inadequate transport facilities (5.5%), absence of strong ...

  6. Abstracts

    OpenAIRE

    Revista, Innovar

    2011-01-01

    New approaches towards Efficiency, Productivity and Quality in Management Theory / New approaches towards Efficiency, Productivity and Quality in Management Theory / The new paradigm regarding Science and Management Theory / Game Theory as applied to Administration / A Systemic approach to Territorial Diagnosis /  A prolile 0f Technological Capacity in the Graphical Art, Printing and Publishing Industry / Colombian Industrialisation: a Heterodox Vision /Determinant factors in environmental po...

  7. Abstract

    African Journals Online (AJOL)

    Implementing this collaborative e-learning environment on a Linux thin-client system makes it possible for this environment to be available in most schools and companies because the Linux thin-clients are less expensive than other conventional computing systems. Developing a. Collaborative E-Learning Environment on ...

  8. abstract

    African Journals Online (AJOL)

    communication and institutions activities in removing constraints which impede the acceptance and continued usage .... With farmers' feedback, scientists cannot misinterpret a problem or attribute wrong causes to it. ..... Protection and Environmental Management, University of lbadan,. Ibadan. Ashby, J. (1990): Small-farmer ...

  9. Abstract ~. ,

    African Journals Online (AJOL)

    Governmenf to educate dairy farmers, milli vendors and the consume~s on the importance of producing, selling and consuming respectively un-adulterated milk. Key words: Milk, water adulteration, Morogoro Municipality. Introduction. Total annual milk production in Tanzania is estimated to be at 724,000 metric tons (F AO,.

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

  11. Pattern-Based Graph Abstraction

    NARCIS (Netherlands)

    Rensink, Arend; Zambon, Eduardo; Ehrig, H; Engels, G.; Kreowski, H.J.; Rozenberg, G.

    We present a new abstraction technique for the exploration of graph transformation systems with infinite state spaces. This technique is based on patterns, simple graphs describing structures of interest that should be preserved by the abstraction. Patterns are collected into pattern graphs, layered

  12. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

    2010-01-01

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

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

  14. On "Interpreting" Public Discourse in Post-Modernity.

    Science.gov (United States)

    Cox, J. Robert

    1990-01-01

    Argues that interpretation is not only an essential mode for understanding the construction of rhetorical texts, but that interpretation is itself an important source of invention and, therefore, of social critique in postmodern culture. (KEH)

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

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

  17. Technical abstracts: Mechanical engineering, 1990

    Energy Technology Data Exchange (ETDEWEB)

    Broesius, J.Y. (comp.)

    1991-03-01

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

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

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

    National Research Council Canada - National Science Library

    Johnson, William L

    2003-01-01

    ...; interpreting style, such as poor body posture, tensing muscles, signing too forcefully; job control, including the emotional and physical stress of the job, being overworked, and disliking the job...

  20. Abstraction of man-made shapes

    KAUST Repository

    Mehra, Ravish

    2009-01-01

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

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

  2. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

    DEFF Research Database (Denmark)

    Kafle, Bishoksan; Gallagher, John Patrick

    2014-01-01

    We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the constraints in CHCs using abstract interpretation of query-answer transformed clauses, and refinement by splitting pred...

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

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

  5. Knowledge Abstraction in Chinese Chess Endgame Databases

    Science.gov (United States)

    Chen, Bo-Nian; Liu, Pangfeng; Hsu, Shun-Chin; Hsu, Tsan-Sheng

    Retrograde analysis is a well known approach to construct endgame databases. However, the size of the endgame databases are too large to be loaded into the main memory of a computer during tournaments. In this paper, a novel knowledge abstraction strategy is proposed to compress endgame databases. The goal is to obtain succinct knowledge for practical endgames. A specialized goal-oriented search method is described and applied on the important endgame KRKNMM. The method of combining a search algorithm with a small size of knowledge is used to handle endgame positions up to a limited depth, but with a high degree of correctness.

  6. Nuclear energy and environment: abstracts

    International Nuclear Information System (INIS)

    1999-01-01

    In this meeting on nuclear energy and environment, abstracts on the following subjects were presented: nuclear fuels; materials; radioisotopes and its applications; reactors and nuclear power plants; regulations, energy and environment; radioactive wastes; and analytical techniques

  7. The interpretation and inter-derivation of small-step and big-step specifications

    DEFF Research Database (Denmark)

    Zerny, Ian

    and abstract machines from big-step reduction strategies. Second, we show how these correspondences can be used to relate specifications for lazy evaluation, e.g., graph reduction and call-by-need evaluation. Third, we describe an alternative interpretation of specifications as logic programs in a logical......We study the interpretation and inter-derivation of big-step and small-step specifications. In particular, we consider formal specifications of programming languages, e.g., denotational semantics and operational semantics, and investigate how these specifications relate to each other. We carry out...... this investigation by interpreting specifications as programs in a pure functional meta-language and by constructively deriving one program from the other using program transformations. To this end, we use two derivational correspondences: The functional correspondence between compositional higher...

  8. Phonological Interpretation into Preordered Algebras

    Science.gov (United States)

    Kubota, Yusuke; Pollard, Carl

    We propose a novel architecture for categorial grammar that clarifies the relationship between semantically relevant combinatoric reasoning and semantically inert reasoning that only affects surface-oriented phonological form. To this end, we employ a level of structured phonology that mediates between syntax (abstract combinatorics) and phonology proper (strings). To notate structured phonologies, we employ a lambda calculus analogous to the φ-terms of [8]. However, unlike Oehrle's purely equational φ-calculus, our phonological calculus is inequational, in a way that is strongly analogous to the functional programming language LCF [10]. Like LCF, our phonological terms are interpreted into a Henkin frame of posets, with degree of definedness ('height' in the preorder that interprets the base type) corresponding to degree of pronounceability; only maximal elements are actual strings and therefore fully pronounceable. We illustrate with an analysis (also new) of some complex constituent-order phenomena in Japanese.

  9. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1984-07-01

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

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

  11. Interpreting. PEPNet Tipsheet

    Science.gov (United States)

    Darroch, Kathleen

    2010-01-01

    An interpreter's role is to facilitate communication and convey all auditory and signed information so that both hearing and deaf individuals may fully interact. The common types of services provided by interpreters are: (1) American Sign Language (ASL) Interpretation--a visual-gestural language with its own linguistic features; (2) Sign Language…

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

  13. Journalists as Interpretive Communities.

    Science.gov (United States)

    Zelizer, Barbie

    1993-01-01

    Proposes viewing journalists as members of an interpretive community (not a profession) united by its shared discourse and collective interpretations of key public events. Applies the frame of the interpretive community to journalistic discourse about two events central for American journalists--Watergate and McCarthyism. (SR)

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

  15. Abstracts from Rambam Research Day

    Directory of Open Access Journals (Sweden)

    Shraga Blazer

    2015-01-01

    Full Text Available [Extract] This Supplement of Rambam Maimonides Medical Journal presents the abstracts from the Eleventh Rambam Research Day. These abstracts represent the newest basic and clinical research coming out of Rambam Health Care Campus—research that is the oxygen for education and development of today’s generation of physicians. Hence, the research presented on Rambam Research Day is a foundation for future generations to understand patient needs and improve treatment modalities. Bringing research from the bench to the bedside and from the bedside to the community is at the heart of Maimonides’ scholarly and ethical legacy.

  16. Construir modernidade no século XXI: Aceleração — Intervalo — Interpretação // Constructing modernity in the twenty-first century: acceleration — time out — interpretation

    Directory of Open Access Journals (Sweden)

    Isabel Pires de Lima

    2017-06-01

    Full Text Available Finding contemporary society to be dominated by accelerating processes which reveal other forms of invisible violence, one is led to show the necessity of creating or recreating moments of interval. The interval instigates contemplation, and with it the questioning of the imperative character of productivity as the absolutisation of acceleration and comprehensive positivity, thus paving the way to interpretation and to the exercise of critical review in order to produce creative movement, of non-reactive action, resulting in the Modernity of today

  17. Abstract Résumé

    African Journals Online (AJOL)

    Abstract. To describe the infant feeding practices in the general population in Uganda, and to assess the impact of maternal HIV status on these ... to-child transmission of HIV should re-enforce counselling activities to address the issue of early weaning by HIV-infected women, ..... A study in Zimbabwe yielded similar results,.

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

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

  20. Abstract Résumé

    African Journals Online (AJOL)

    1 juil. 2013 ... Abstract. In Senegal, where HIV prevalence is less than 1% and stigma remains important, 40% of marriages are polygamic. The purpose of this article is to describe and analyze the motivations, benefits and constraints related to HIV disclosure, and to explore specific situations related to polygamy.

  1. Metaphoric Images from Abstract Concepts.

    Science.gov (United States)

    Vizmuller-Zocco, Jana

    1992-01-01

    Discusses children's use of metaphors to create meaning, using as an example the pragmatic and "scientific" ways in which preschool children explain thunder and lightning to themselves. Argues that children are being shortchanged by modern scientific notions of abstractness and that they should be encouraged to create their own explanations of…

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

  3. Abstract Expressionism. Clip and Save.

    Science.gov (United States)

    Hubbard, Guy

    2002-01-01

    Provides information on the art movement, Abstract Expressionism, and includes learning activities. Focuses on the artist Jackson Pollock, offering a reproduction of his artwork, "Convergence: Number 10." Includes background information on the life and career of Pollock and a description of the included artwork. (CMK)

  4. Original Abstracts - Supplementary | Conference Contributors ...

    African Journals Online (AJOL)

    All abstracts from the The Annual Medical Research Day (AMRD) held at the University of Zimbabwe. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians · for Authors · FAQ's · More about ...

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

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

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

  8. An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

    Directory of Open Access Journals (Sweden)

    Letterio Galletta

    2011-08-01

    Full Text Available Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to specify static analyses, for example to track computational side effects, exceptions and communications in concurrent programs. In this paper we adopt abstract interpretation techniques to reconstruct (following the Cousot's methodology a types-and-effects system developed to handle security problems of a multi-tier web language. Our reconstruction allows us to show that this types-and-effects system is not sound with respect to the semantics of the language. In addition, we correct the soundness issues in the analysis and systematically construct a correct analyser.

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

  10. Interpret teaching and teach interpreting: positions assumed in the interpretative act in mainstream contexts for deaf people

    Directory of Open Access Journals (Sweden)

    Audrei Gesser

    2015-12-01

    Full Text Available The goal of this article is to present some descriptions about the educational interpreter performance in the context of a mainstream school, more specifically in the 7th grade with four deaf students included, in which a bilingual project has being carried out. Relying on the assumption that inclusion forces interpreters to activate pedagogical practices during the interpretative act, this investigation payed attention to two phenomena: by one hand, the constructions of temporal spaces in the classroom that claim ties and partnerships between interpreters and teachers, beyond the technical interpretation itself. By the other hand, the configurations regarding interpretative decisions making emerged from pedagogical happenings. The data analysis indicates that there is a switch between the “interpreter-positon” and the “master-position”, being the last activated by the interpreter inner desire in creating ties and connections with deaf students in their learning process; and the former position, as an effect of the interpreter´s own challenges faced daily, in linguistic, cognitive, referential, and physical terms.

  11. Interpret teaching and teach interpreting: positions assumed in the interpretative act in mainstream contexts for deaf people

    Directory of Open Access Journals (Sweden)

    Audrei Gesser

    2015-10-01

    Full Text Available The goal of this article is to present some descriptions about the educational interpreter performance in the context of a mainstream school, more specifically in the 7th grade with four deaf students included, in which a bilingual project has being carried out. Relying on the assumption that inclusion forces interpreters to activate pedagogical practices during the interpretative act, this investigation payed attention to two phenomena: by one hand, the constructions of temporal spaces in the classroom that claim ties and partnerships between interpreters and teachers, beyond the technical interpretation itself. By the other hand, the configurations regarding interpretative decisions making emerged from pedagogical happenings. The data analysis indicates that there is a switch between the “interpreter-positon” and the “master-position”, being the last activated by the interpreter inner desire in creating ties and connections with deaf students in their learning process; and the former position, as an effect of the interpreter´s own challenges faced daily, in linguistic, cognitive, referential, and physical terms.

  12. Norddesign 2012 - Book of Abstract

    DEFF Research Database (Denmark)

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

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

  14. 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 carried...... out by us all in everyday life, and the role of generic interpretation in scholarly work. The article argues that the role played by genre in interpretation has as much to do with the individual characteristics of an utterance as with its relationship to other utterances. An interest in the generic...... traits of an utterance will lead to a characterization of its individual, as well as its general characteristics. The article proceeds to describe three central concepts within genre studies that are applicable to generic interpretation: “horizon of expectation,” “world,” and the triad “theme...

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

  16. Incremental data compression -extended abstract-

    NARCIS (Netherlands)

    Jeuring, J.T.

    1992-01-01

    Data may be compressed using textual substitution. Textual substitution identifies repeated substrings and replaces some or all substrings by pointers to another copy. We construct an incremental algorithm for a specific textual substitution method: coding a text with respect to a dictionary. With

  17. DENOTATIVE ORIGINS OF ABSTRACT IMAGES IN LINGUISTIC EXPERIMENT

    Directory of Open Access Journals (Sweden)

    Elina, E.

    2017-03-01

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

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

  19. IEEE conference record--Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1992-01-01

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

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

  1. 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 64 Cu, 68 Ga, 89 Zr, 44 Sc but specific aspects such as production or purification have been considered for 66 Ga, 67 Ga, 52 Fe, 86 Y, and 68 Ge radionuclides. This document gathers the abstracts of most contributions

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

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

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

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

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

  7. Acquiring specific interpreting competence

    Directory of Open Access Journals (Sweden)

    Jana Zidar Forte

    2012-12-01

    Full Text Available In postgraduate interpreter training, the main objective of the course is to help trainees develop various competences, from linguistic, textual and cultural competence, to professional and specific interpreting competence. For simultaneous interpreting (SI, the main focus is on mastering the SI technique and strategies as well as on developing and strengthening communicative skills, which is discussed and illustrated with examples in the present paper. First, a brief overview is given of all the necessary competences of a professional interpreter with greater emphasis on specific interpreting competence for SI. In the second part of the paper, various approaches are described in terms of acquiring specific skills and strategies, specifically through a range of exercises. Besides interpreting entire speeches, practical courses should also consist of targeted exercises, which help trainees develop suitable coping strategies and mechanisms (later on almost automatisms, while at the same time "force" them to reflect on their individual learning process and interpreting performance. This provides a solid base on which trained interpreters can progress and develop their skills also after joining the professional sphere.

  8. Life Cycle Interpretation

    DEFF Research Database (Denmark)

    Bonou, Alexandra; Olsen, Stig Irving

    2017-01-01

    an interpretation. The process of interpretation starts with identification of potentially significant issues in the previous stages of goal and scope definition, inventory analysis and impact assessment, and examples of potential significant issues are given for each phase. The significance is then determined...

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

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

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

  12. From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

    Directory of Open Access Journals (Sweden)

    Wouter Swierstra

    2012-02-01

    Full Text Available This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda.

  13. Superconductor lunar telescopes --Abstract only

    Science.gov (United States)

    Chen, P. C.; Pitts, R.; Shore, S.; Oliversen, R.; Stolarik, J.; Segal, K.; Hojaji, H.

    1994-01-01

    We propose a new type of telescope designed specifically for the lunar environment of high vacuum and low temperature. Large area UV-Visible-IR telescope arrays can be built with ultra-light-weight replica optics. High T(sub c) superconductors provide support, steering, and positioning. Advantages of this approach are light-weight payload compatible with existing launch vehicles, configurable large area optical arrays, no excavation or heavy construction, and frictionless electronically controlled mechanisms. We have built a prototype and will be demonstarting some of its working characteristics.

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

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

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

  17. Convex Hull Abstraction in Specialisation of CLP Programs

    DEFF Research Database (Denmark)

    Peralta, J.C.; Gallagher, John Patrick

    2003-01-01

    We introduce an abstract domain consisting of atomic formulas constrained by linear arithmetic constraints (or convex hulls). This domain is used in an algorithm for specialization of constraint logic programs. The algorithm incorporates in a single phase both top-down goal directed propagation...... programs containing arithmetic, as well as constraint logic programs. Assignments, inequalities and equalities with arithmetic expressions can be interpreted as constraints during specialization, thus increasing the amount of specialization that can be achieved....

  18. The 'Many Worlds Interpretation' theory of quantum physics and ...

    African Journals Online (AJOL)

    The 'Many Worlds Interpretation' theory of quantum physics and meaning explication in a second language context. ... Marang: Journal of Language and Literature ... Abstract. The Many Worlds Interpretation (MWI) theory is an application in quantum mechanics which has been adopted for use in computer programming and ...

  19. sequence stratigraphic interpretation of the chilga basin sediments

    African Journals Online (AJOL)

    ADMIN

    ABSTRACT: Sequence stratigraphic interpretation of passive margins and marine environments reveal stratigraphic records that result from the influence of long-term change in eustatic sea level, tectonic subsidence, and climate. On the other hand, sequence stratigraphic interpretation of continental rift basin sediments ...

  20. Assessing spoken-language educational interpreting: Measuring up ...

    African Journals Online (AJOL)

    Assessing spoken-language educational interpreting: Measuring up and measuring right. Lenelle Foster, Adriaan Cupido. Abstract. This article, primarily, presents a critical evaluation of the development and refinement of the assessment instrument used to assess formally the spoken-language educational interpreters at ...

  1. The Pondicherry interpretation of quantum mechanics: An overview

    Indian Academy of Sciences (India)

    Abstract. An overview of the Pondicherry interpretation of quantum mechanics is pre- sented. This interpretation proceeds from the recognition that the fundamental theoreti- cal framework of physics is a probability algorithm, which serves to describe an objective fuzziness (the literal meaning of Heisenberg's term ...

  2. Do justice to court interpreters in South Africa

    African Journals Online (AJOL)

    Do justice to court interpreters in South Africa. Samuel Lebese. Department of Linguistics and Modern Languages, University of South Africa, South Africa. Email: lebessj@unisa.ac.za. Abstract. Many countries have developed statutory provisions governing norms and standards of practice. (NSPs) for court interpreters.

  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. Mining Heterogeneous Social Networks for Egocentric Information Abstraction

    Science.gov (United States)

    Li, Cheng-Te; Lin, Shou-De

    Social network is a powerful data structure that allows the depiction of relationship information between entities. However, real-world social networks are sometimes too complex for human to pursue further analysis. In this work, an unsupervised mechanism is proposed for egocentric information abstraction in heterogeneous social networks. To achieve this goal, we propose a vector space representation for heterogeneous social networks to identify combination of relations as features and compute statistical dependencies as feature values. These features, either linear or eyelie, intend to capture the semantic information in the surrounding environment of the ego. Then we design three abstraction measures to distill representative and important information to construct the abstracted graphs for visual presentation. The evaluations conducted on a real world movie datasct and an artificial crime dataset demonstrate that the abstractions can indeed retain significant information and facilitate more accurate and efficient human analysis.

  5. Interpretability in PRA

    Czech Academy of Sciences Publication Activity Database

    Bílková, Marta; De Jongh, D.; Joosten, J.J.

    2009-01-01

    Roč. 161, č. 2 (2009), s. 128-138 ISSN 0168-0072 R&D Projects: GA AV ČR IAA900090703 Grant - others:GA ČR(CZ) GA401/06/0387 Institutional research plan: CEZ:AV0Z10300504 Keywords : interpretability * arithmetic * primitive recursive arithmetic * interpretability logic Subject RIV: BA - General Mathematics Impact factor: 0.667, year: 2009

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

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

  8. Analytical signal and reduction to pole in the interpretation of ...

    African Journals Online (AJOL)

    Analytical signal and reduction to pole in the interpretation of aeromagnetic data at low magnetic latitudes: a case study of the middle Benue trough, Nigeria. OK Likkason. Abstract. No Abstract. Global Journal of Geological Sciences Vol. 4(1) 2006: 29-38. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL ...

  9. Realism, idealism and analogy in the interpretation of scientific thought

    African Journals Online (AJOL)

    Realism, idealism and analogy in the interpretation of scientific thought. JP Mbat. Abstract. No Abstract. Sophia: An African Journal of Philosophy Vol. 7(1) 2004: 96-102. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · http://dx.doi.org/10.4314/sophia.v7i1.38688.

  10. Design and development of two novel constructed wetlands: the duplex-constructed wetland and the constructed wetroof

    NARCIS (Netherlands)

    Zapater Pereyra, M.

    2015-01-01

    Maribel Zapater Pereyra Abstract thesis:  Design and development of two novel constructed wetlands: the Duplex-constructed wetland and the Constructed wetroof Constructed wetlands (CWs) are among the few natural treatment systems that can guarantee an efficient wastewater treatment and an

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

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

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

  14. Efficient abstractions for visualization and interaction

    NARCIS (Netherlands)

    van der Ploeg, A.J.

    2015-01-01

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

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

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

  17. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    Directory of Open Access Journals (Sweden)

    M. G. Koveshnikov

    2015-05-01

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

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

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

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

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

  2. Graph-based iterative Group Analysis enhances microarray interpretation

    Directory of Open Access Journals (Sweden)

    Amtmann Anna

    2004-07-01

    Full Text Available Abstract Background One of the most time-consuming tasks after performing a gene expression experiment is the biological interpretation of the results by identifying physiologically important associations between the differentially expressed genes. A large part of the relevant functional evidence can be represented in the form of graphs, e.g. metabolic and signaling pathways, protein interaction maps, shared GeneOntology annotations, or literature co-citation relations. Such graphs are easily constructed from available genome annotation data. The problem of biological interpretation can then be described as identifying the subgraphs showing the most significant patterns of gene expression. We applied a graph-based extension of our iterative Group Analysis (iGA approach to obtain a statistically rigorous identification of the subgraphs of interest in any evidence graph. Results We validated the Graph-based iterative Group Analysis (GiGA by applying it to the classic yeast diauxic shift experiment of DeRisi et al., using GeneOntology and metabolic network information. GiGA reliably identified and summarized all the biological processes discussed in the original publication. Visualization of the detected subgraphs allowed the convenient exploration of the results. The method also identified several processes that were not presented in the original paper but are of obvious relevance to the yeast starvation response. Conclusions GiGA provides a fast and flexible delimitation of the most interesting areas in a microarray experiment, and leads to a considerable speed-up and improvement of the interpretation process.

  3. SOCIOLOGY OF INNOVATION: SOCIAL CONSTRUCTION OF TECHNOLOGY PERSPECTIVE

    Directory of Open Access Journals (Sweden)

    SARA YOUSEFIKHAH

    Full Text Available ABSTRACT This theoretical paper describes the effect of social action on technological artifacts and explores how innovation may flourish or be diminished in society. Using the Social Construction of Technology (SCOT perspective, three main elements namely, flexibility of interpretation, relevant social groups and technological frame are described and their impact on innovation is discussed. The paper proposes that in developing societies, flexibility is hardly pressed by technological frames and concrete social norms do not allow the alternative designs and the useage of artifacts. This paper proposes that innovation might flourish in a society if technological frame change, and entrepreneurship become technological frames that can change the fixed meaning of artifacts and create a path for alternative designs and interpretations.

  4. Interpretation of panoramic radiographs.

    Science.gov (United States)

    Perschbacher, Susanne

    2012-03-01

    Panoramic radiography has become a commonly used imaging modality in dental practice and can be a valuable diagnostic tool in the dentist's armamentarium. However, the panoramic image is a complex projection of the jaws with multiple superimpositions and distortions which may be exacerbated by technical errors in image acquisition. Furthermore, the panoramic radiograph depicts numerous anatomic structures outside of the jaws which may create additional interpretation challenges. Successful interpretation of panoramic radiographs begins with an understanding of the normal anatomy of the head and neck and how it is depicted in this image type. This article will describe how osseous structures, soft tissues, air spaces and ghost shadows contribute to the final panoramic image. A systematic and repeated approach to examining panoramic radiographs, which is recommended to ensure that critical findings are not overlooked, is also outlined. Examples of challenging interpretations, including variations of anatomy, artefacts and disease, are presented to illustrate these concepts. © 2012 Australian Dental Association.

  5. The Interpretive Function

    DEFF Research Database (Denmark)

    Agerbo, Heidi

    2017-01-01

    to acting and therefore the only difference between reception and interpretation is that they work with different types of sign. However, the type of sign is not relevant for a function, or rather, it should not be a criterion for distinguishing between functions. The lemma selection for the communicative......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...

  6. Improved static analysis and verification of energy consumption and other resources via abstract interpretation

    OpenAIRE

    Klemen, Maximiliano

    2015-01-01

    Resource analysis aims at inferring the cost of executing programs for any possible input, in terms of a given resource, such as the traditional execution steps, time ormemory, and, more recently energy consumption or user defined resources (e.g., number of bits sent over a socket, number of database accesses, number of calls to particular procedures, etc.). This is performed statically, i.e., without actually running the programs. Resource usage information is useful for a var...

  7. Reflections and Interpretations

    DEFF Research Database (Denmark)

    Reflections and Interpretations is an anthology on The Freedom Writers’ methodology. It is an anthology for all those with a professional need for texts explaining, not only how The Freedom Writers’ tools are being used, but also why they work so convincingly well. It is not an anthology of guide......Reflections and Interpretations is an anthology on The Freedom Writers’ methodology. It is an anthology for all those with a professional need for texts explaining, not only how The Freedom Writers’ tools are being used, but also why they work so convincingly well. It is not an anthology...

  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. Interpretations of Quantum Mechanics

    Directory of Open Access Journals (Sweden)

    Pickl Peter

    2014-04-01

    Full Text Available The problems of modern physics are man made. The Copenhagen version of quantum mechanics is formulated in a vague prosaic way, inconsistencies and paradoxes are the price. New interpretations try to solve the problem, however a reformulation rather than an interpretation is needed. In this manuscript I will point out, where the Copenhagen formulation of quantum mechanics is flawed and how one can make sense out of it. Then I will show, that it is possible to give a precise formulation of quantum mechanics without losing its compelling ability in describing experiments.

  10. Interpretations of Quantum Mechanics

    Science.gov (United States)

    Pickl, Peter

    2014-04-01

    The problems of modern physics are man made. The Copenhagen version of quantum mechanics is formulated in a vague prosaic way, inconsistencies and paradoxes are the price. New interpretations try to solve the problem, however a reformulation rather than an interpretation is needed. In this manuscript I will point out, where the Copenhagen formulation of quantum mechanics is flawed and how one can make sense out of it. Then I will show, that it is possible to give a precise formulation of quantum mechanics without losing its compelling ability in describing experiments.

  11. Translation, Interpreting and Lexicography

    DEFF Research Database (Denmark)

    Dam, Helle Vrønning; Tarp, Sven

    2018-01-01

    Translation, interpreting and lexicography represent three separate areas of human activity, each of them with its own theories, models and methods and, hence, with its own disciplinary underpinnings. At the same time, all three disciplines are characterized by a marked interdisciplinary dimension...... 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...

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

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

  14. How information visualization novices construct visualizations.

    Science.gov (United States)

    Grammel, Lars; Tory, Melanie; Storey, Margaret-Anne

    2010-01-01

    It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study in which information visualization novices explored fictitious sales data by communicating visualization specifications to a human mediator, who rapidly constructed the visualizations using commercial visualization software. We found that three activities were central to the iterative visualization construction process: data attribute selection, visual template selection, and visual mapping specification. The major barriers faced by the participants were translating questions into data attributes, designing visual mappings, and interpreting the visualizations. Partial specification was common, and the participants used simple heuristics and preferred visualizations they were already familiar with, such as bar, line and pie charts. We derived abstract models from our observations that describe barriers in the data exploration process and uncovered how information visualization novices think about visualization specifications. Our findings support the need for tools that suggest potential visualizations and support iterative refinement, that provide explanations and help with learning, and that are tightly integrated into tool support for the overall visual analytics process.

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

    Science.gov (United States)

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

    2015-06-01

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

  16. Interpreting the Constitution.

    Science.gov (United States)

    Brennan, William J., Jr.

    1987-01-01

    Discusses constitutional interpretations relating to capital punishment and protection of human dignity. Points out the document's effectiveness in creating a new society by adapting its principles to current problems and needs. Considers two views of the Constitution that lead to controversy over the legitimacy of judicial decisions. (PS)

  17. Listening and Message Interpretation

    Science.gov (United States)

    Edwards, Renee

    2011-01-01

    Message interpretation, the notion that individuals assign meaning to stimuli, is related to listening presage, listening process, and listening product. As a central notion of communication, meaning includes (a) denotation and connotation, and (b) content and relational meanings, which can vary in ambiguity and vagueness. Past research on message…

  18. Interpretation as conflict resolution

    NARCIS (Netherlands)

    Swart, Henriëtte de; Zwart, J.

    Semantic interpretation is not a simple process. When we want to know what a given sentence means, more is needed than just a simple ‘adding up’ of the meanings of the component words. Not only can the words in a sentence interact and conflict with each other, but also with the linguistic and

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

  20. Interpretability in PRA

    NARCIS (Netherlands)

    Bílková, M.; de Jongh, D.; Joosten, J.J.

    2009-01-01

    In this paper, we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to PRA: IL(PRA) is not ILM or ILP. IL(PRA) does, of course, contain all the principles known

  1. Food sustainability: diverging interpretations

    NARCIS (Netherlands)

    Aiking, H.; de Boer, J.

    2004-01-01

    The concept of sustainability in general and food sustainability, in particular, entails many aspects and many interpretations. During a conference on food sustainability a broad, multidisciplinary picture was painted and many key issues were dealt with, from ecology, economy and society. In

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

  3. Conference Abstracts | Manda Taylor | Malawi Medical Journal

    African Journals Online (AJOL)

    Abstract. Award-winning abstracts from the first Paediatric and Child Health Association of Malawi Conference. Theme: Using a multidisciplinary team approach to improve child health outcomes throughout Malawi ...

  4. Abstract Objects in a Metaphysical Perspective

    Directory of Open Access Journals (Sweden)

    Aleksandr Kulieshov

    2018-02-01

    Full Text Available The article presents an unconventional although not absolutely unprecedented view on abstract objects defending the position of metaphysical realism. It is argued that abstract objects taken in purely ontological sense are the forms of objects. The forms possess some common characteristics of abstract objects, they can exist not in physical space and time and play a grounding role in their relation to concrete objects. It is stated that commonly discussed abstract objects – properties, kinds, mathematical objects – are forms.

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

  6. Graph Subsumption in Abstract State Space Exploration

    NARCIS (Netherlands)

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

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

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

    Science.gov (United States)

    2017-07-28

    point out a few of the use cases that we have in mind for TeamBlocks’ software tools, and for the development of the underlying theory , so that we...SUPPLEMENTARY NOTES 14. ABSTRACT In this report, we describe TeamBlocks, a software library and underlying theory for the construction, analysis, and execution...does in fact approximate the other. With these motivating examples in mind , we in the next chapter jump into a description of TeamBlocks

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

    OpenAIRE

    Baeten, JCM Jos; Bergstra, JA Jan; Klop, JW Jan Willem

    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 to prove that in ACP, (but not in ACP!) each computably recursively definable process is finitely recursively definable.

  9. Construction practice

    International Nuclear Information System (INIS)

    Winters, J.; Clelland, J.; Rumble, E.; Sandell, L.

    2007-01-01

    One has elaborated a virtual computer model (VRC) of construction of the AP1000 project reactor to demonstrate its viability, to improve the NPP project making it more easy for construction with simultaneous reduction of time, costs and risk of construction. The approach ensured time sequence of the 3-D visualization of NPP at the construction stages. The VRC ensures optimization of scheme implementation time period and specifies the basic costs. The VRC application offers essential advantages when planning construction of a nuclear power facility [ru

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

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

  12. Interpretation as doing

    DEFF Research Database (Denmark)

    Majgaard Krarup, Jonna

    2008-01-01

    The intent of the paper is to address and discuss relationships between the aesthetic perception and interpretation of contemporary landscape architecture. I will try to do this by setting up a cross-disciplinary perspective that looks into themes from the contemporary art scene and aesthetic...... theories, and relate them to observations in contemporary landscape architecture. It is my premise that investigating the relationship between modes of aesthetic perception and examples in contemporary art, and landscape architecture, will enable us to better understand characteristics of a contemporary...... concept of landscape and design in landscape architecture, and hereby address the question of how interpretation might be processed. It is also my premise that a key point in this is the interplay between different sensory experiences of both material and non-material aspects...

  13. 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......-cognitive competencies of organisations (Rindova & Fombrunn, 1999). The aim is to contribute to the existing technological implementation theory complex by studying the relationships between the elements of the socio-cognitive processes and the resulting interpretations and actions when new technologies are implemented...

  14. Research & writing basics: elements of the abstract.

    Science.gov (United States)

    Krasner, D; Van Rijswijk, L

    1995-04-01

    Writing an abstract is a challenging skill that requires precision and care. Criteria for well-formulated abstracts and abstract guidelines for 2 types of articles (empirical studies and reviews or theoretical articles) as well as a description of the content of a structured abstract are presented. Details were gleaned from a review of the literature including the American Medical Association Manual of Style, Eighth Edition and the Publication Manual of the American Psychological Association, Fourth Edition. A good abstract is like a crystal: it is a clear, sharp synthesis that elucidates meaning for the reader.

  15. Interpretations of interpretivism

    OpenAIRE

    Gerring, John

    2003-01-01

    What is interpretivism? As is common with broad methodological debates, much hinges on matters of definition. Interpretivism might be defined residually — as non-positivism. However, this scarcely clarifies the matter, as noted by Robert Adcock and David Dessler in their contributions to this symposium. We might start with David Laitin’s suggestion that interpretivism refers to interpretation or clarification— rendering the ambiguous into a clearer form. This is true enough, so far as it ...

  16. A Narrative Interpretive Perspective

    OpenAIRE

    Adorisio, Anna Linda Musacchio

    2015-01-01

    In this paper I will discuss the possibility offered by the “linguistic turn” for narrative research in the realm of financial communication. I will propose three categories by which a narrative interpretive approach can be applied to financial communication: narrative-as-artifacts, narrative-as-practice and narrative-as-method. Such a constitutive communication approach challenges a mechanistic and functionalist view of communication as a tool to represent social realities in ...

  17. Interpretative phenomenological analysis

    OpenAIRE

    Eatough, Virginia; Smith, Jonathan A.

    2017-01-01

    The Second Edition of The SAGE Handbook of Qualitative Research in Psychology provides comprehensive coverage of the qualitative methods, strategies, and research issues in psychology.\\ud \\ud Qualitative research in psychology has been transformed since the first edition's publication. Responding to this evolving field, existing chapters have been updated while three new chapters have been added on Thematic Analysis, Interpretation, and Netnography. With a focus on methodological progress thr...

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

  19. Video interpretations in Danish hospitals

    DEFF Research Database (Denmark)

    Søbjerg, Lene Mosegaard; Noesgaard, Susanne; Henriksen, Jan Erik

    2013-01-01

    This article presents a study of an RCT comparing video interpretation with in-person interpretation at the Endocrinology Ward at Odense University Hospital.......This article presents a study of an RCT comparing video interpretation with in-person interpretation at the Endocrinology Ward at Odense University Hospital....

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

  1. Construction aggregates

    Science.gov (United States)

    Tepordei, V.V.

    1994-01-01

    Part of a special section on industrial minerals in 1993. The 1993 production of construction aggregates increased 6.3 percent over the 1992 figure, to reach 2.01 Gt. This represents the highest estimated annual production of combined crushed stone and construction sand and gravel ever recorded in the U.S. The outlook for construction aggregates and the issues facing the industry are discussed.

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

  3. Interpretation for Discussions about End-of-Life Issues: Results from a National Survey of Health Care Interpreters

    Science.gov (United States)

    Fernandez, Alicia; Kerr, Kathleen; O'Riordan, David; Pantilat, Steven Z.

    2012-01-01

    Abstract Background Communication about end-of-life issues is difficult across language barriers. Little is known about the experience of health care interpreters in these discussions. Objectives Objectives of this study were to: 1) assess the experiences of healthcare interpreters when interpreting discussions about end-of-life issues; 2) identify interpreter characteristics and experiences that may be associated with improved satisfaction and comfort with interpreting these discussions; and 3) describe interpreter training needs. Methods The study utilized an electronically administered survey distributed nationally to health care interpreters in the United States. One hundred and forty-two health care interpreters participated. Measurements included general experiences, attitudes, and perceived training needs when interpreting discussions about end-of-life issues. Results Most respondents had received a certificate in interpretation (71%, 101/142), completed more than 40 hours of training (89%, 127/142), and had more than 5 years of interpreting experience (65%, 93/142). Overall, 85% (121/142) of respondents had interpreted discussions about end-of-life issues and most interpreted multiple discussions per week. Of those interpreters who had experience with these discussions, the majority (85%, 103/121) reported feeling comfortable, but only half (48%, 58/121) reported that these discussions usually went well. Interpreters who felt clear about their role were more likely than interpreters who did not feel clear about their role to think that discussions went well (51% [57/112] versus 11% [1/9], p=0.02) and to feel comfortable interpreting (88% [98/112] versus 56% [5/9], p=0.01). Eighty percent (97/121) of respondents with experience in end-of-life discussions were personally interested in more specific training for these discussions. Attitudes and perceived training needs did not differ by interpreter demographics or qualifications. Conclusions The majority of

  4. Changing interpretations of Plotinus

    DEFF Research Database (Denmark)

    Catana, Leo

    2013-01-01

    ’ writings relatively late, in the 18th and 19th centuries, and that it was primarily made possible by Brucker’s methodology for history of philosophy, dating from the 1740s, in which the concept system of philosophy was essential. It is observed that the concept was absent in Ficino’s commentary from the 15......th century, and that it remained absent in interpretative works produced between the 15th and 18th century. It is also argued that it is erroneous to assume that Plotinus presented a system of philosophy, or intended to do so — we do not find this concept in Plotinus’ writings, and his own statements...

  5. The Interpretation of Object Shift and Optimality Theory

    DEFF Research Database (Denmark)

    Vikner, Sten

    2001-01-01

    argues that Optimality Theory has certain advantages over e.g. Minimalism in accounting for such data. This is because the interpretational differences only hold of object shift constructions: In a construction where object shift is possible, a non-object-shifted object only has one interpretation......, but also whether it "could have moved" (i.e. it depends on how well those competing candidates are doing which contain object-shifted objects). In Optimality Theory, such a situation can be accounted for in terms of violable constraints, and the difference between object shift and scrambling can be derived......Diesing (1996, 1997) observes that the interpretations of object-shifted objects and non-object-shifted objects in Icelandic object shift constructions differ along lines very similar to the interpretation differences between scrambled and non-scrambled objects in e.g. German. The present paper...

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

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

  8. Abstract and concrete sentences, embodiment and languages

    Directory of Open Access Journals (Sweden)

    Claudia eScorolli

    2011-09-01

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

  9. Abstract and concrete sentences, embodiment, and languages.

    Science.gov (United States)

    Scorolli, Claudia; Binkofski, Ferdinand; Buccino, Giovanni; Nicoletti, Roberto; Riggio, Lucia; Borghi, Anna Maria

    2011-01-01

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

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

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

  12. Usability Constructs

    DEFF Research Database (Denmark)

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

    2007-01-01

    frustrating systems are experienced similarly to easy-to-use systems. Looking at the most characteristic construct for each participant we find that Chinese participants use constructs related to security, task types, training, and system issues, whereas Danish and to some extent Indian participants make more...

  13. I. Monographic Section Constructing territories/constructing identity. Lagoons compared

    Directory of Open Access Journals (Sweden)

    Sauro Gelichi (a cura di

    2015-10-01

    Though fragmented and tied to the specificity of the single contributions, the picture that emerges is one moving towards the construction of a unitary interpretative paradigm, in which the constructed territory is analysed in all its forms and expressions, both material and ideological. The result is an original and in some ways unique story of a significant segment of early medieval Italian history that has until now been largely neglected by historical studies.

  14. Interpreting hypernymic propositions in an online medical encyclopedia.

    Science.gov (United States)

    Fiszman, Marcelo; Rindflesch, Thomas C; Kilicoglu, Halil

    2003-01-01

    Interpretation of semantic propositions from bio-medical texts documents would provide valuable support to natural language processing (NLP) applications. We are developing a methodology to interpret a kind of semantic proposition, the hypernymic proposition, in MEDLINE abstracts. In this paper, we expanded the system to identify these structures in a different discourse domain: the Medical Encyclopedia from the National Library of Medi-cine's MEDLINEplus Website.

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

  16. Abstract algebra an introduction with applications

    CERN Document Server

    Robinson, Derek JS

    2015-01-01

    This is the second edition of the introduction to abstract algebra. In addition to introducing the main concepts of modern algebra, the book contains numerous applications, which are intended to illustrate the concepts and to convince the reader of the utility and relevance of algebra today. There is ample material here for a two semester course in abstract algebra.

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

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

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

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

  1. Completely continuous and weakly completely continuous abstract ...

    Indian Academy of Sciences (India)

    approximate identity for B, bounded in A. In addition, a necessary condition for the weak complete continuity of A is ... continuous elements of a Banach algebra A and symmetric abstract Segal algebras B with respect to A, in the case ..... [13] Hewitt E and Ross K A, Abstract harmonic analysis, 2nd edn. I, II (1970) (New York,.

  2. Some Call It Stone: Teaching Abstract Sculpture

    Science.gov (United States)

    Asher, Rikki

    2004-01-01

    Abstract visual art is not for everybody. Some people find it threatening, uncomfortable, and often, inaccessible. Understandably, this can result in a lack of attention paid to nonrepresentational works of art in the visual arts curriculum. This article describes an experiential, hands-on, field trip that sought to demystify abstract sculpture,…

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

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

  5. Interactional Metadiscourse in Research Article Abstracts

    Science.gov (United States)

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

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

  6. National Radiological Conference (Conference information and abstract)

    International Nuclear Information System (INIS)

    Khan, A.U.

    1998-01-01

    The national radiological conference was held at Peshawar, Pakistan. This book gives the conference information and abstracts of papers presented in the conference. There are about 37 abstracts submitted for the conference and related nature of the materials. Out of these 37 papers 17 are of nuclear oriented which are presented here separately. (A.B.)

  7. Visual Abstraction and Stylisation of Maps

    NARCIS (Netherlands)

    Isenberg, Tobias

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

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

  9. What Language Do Interpreters Speak?

    Science.gov (United States)

    Parks, Gerald B.

    1982-01-01

    States that both the register and variety of an interpreter's speech are quite limited and analyzes the linguistic characteristics of "International English," the English used by interpreters at international conferences. (CFM)

  10. The debbuggable interpreter design pattern

    OpenAIRE

    Vrany, Jan; Bergel, Alexandre

    2007-01-01

    peer-reviewed The use of Interpreter and Visitor design patterns has been widely adopted to implement programming language interpreters due to their expressive and simple design. However, no general approach to conceive a debugger is commonly adopted. This paper presents the debuggable interpreter design pattern as a general approach to extend a language interpreter with debugging facilities such as step-over and step-into. Moreover, it enables multiple debuggers coexisting and extends ...

  11. Intercultural pragmatics and court interpreting

    DEFF Research Database (Denmark)

    Jacobsen, Bente

    2008-01-01

    . The court interpreters are all state-authorized court interpreters and thus fully competent professionals.   The centrality of pragmatics in triadic speech events has been demonstrated by a number of studies (e.g. Berk-Seligson 2002, Hale 2004, Jacobsen 2002). Thus, conversational implicatures, which....../Philadelphia: John Benjamins.   Jacobsen, B. (2002). Pragmatic meaning in court interpreting: An empirical study of additions in consecutively-interpreted question-answer dialogues. PhD thesis, The Aarhus School of Business....

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

  13. A Neuropsychological Perspective on Abstract Word Representation: From Theory to Treatment of Acquired Language Disorders.

    Science.gov (United States)

    Binney, Richard J; Zuckerman, Bonnie; Reilly, Jamie

    2016-09-01

    Natural languages are rife with words that describe feelings, introspective states, and social constructs (e.g., liberty, persuasion) that cannot be directly observed through the senses. Effective communication demands linguistic competence with such abstract words. In clinical neurological settings, abstract words are especially vulnerable to the effects of stroke and neurodegenerative conditions such as Alzheimer's disease. A parallel literature in cognitive neuroscience suggests that abstract and concrete words are at least partially neuroanatomically dissociable. Much remains to be learned about the nature of lexical-semantic deficits of abstract words and how best to promote their recovery. Here, we review contemporary theoretical approaches to abstract-concrete word representation with an aim toward contextualizing patient-based dissociations for abstract words. We then describe a burgeoning treatment approach for targeting abstract words and suggest a number of potential strategies for future interventions. We argue that a deeper understanding of is essential for informing language rehabilitation.

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

  15. 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’: things...

  16. Lexical Knowledge and Interpreter Attitude.

    Science.gov (United States)

    Skaaden, Hanne

    1999-01-01

    Examines the performance of six student interpreters attending a training course at the University of Oslo. Data are drawn from video recordings in which the students interpret dialogs in two test situations. Students use consecutive interpreting with short speaker intervals and perform in Norwegian/Bosnian, Croatian, Serbian. Compares students'…

  17. Student Interpretations of Political Cartoons.

    Science.gov (United States)

    Bedient, Douglas; Moore, David M.

    1985-01-01

    This study investigated the accuracy and types of interpretations that fifth, eighth, and eleventh graders gave to 24 editorial cartoons in four issue areas and the effect of intelligence on political cartoon interpretation. Numerous misinterpretations and no interpretations indicates assumptions that cartoons are an effective teaching medium…

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

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

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

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

    Directory of Open Access Journals (Sweden)

    Bettina Braitling

    2014-06-01

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

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

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

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

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

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

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

  8. Writing, reviewing, and presenting an abstract.

    Science.gov (United States)

    Strauss, R G

    1991-01-01

    Abstracts afford an opportunity to report data at professional meetings and, when published, in the literature. Accordingly, they should be prepared with great care. When writing an abstract, anticipate questions the reviewer will ask when judging it and provide complete answers. The presentation of an abstract should follow similar thought processes. State why a problem or question is important, how you addressed it, what you found, and how your findings can be applied to the issue at hand. Slides and text should provide coordinated visual and auditory input, respectively, to ensure complete comprehension.

  9. Gene clustering by latent semantic indexing of MEDLINE abstracts.

    Science.gov (United States)

    Homayouni, Ramin; Heinrich, Kevin; Wei, Lai; Berry, Michael W

    2005-01-01

    A major challenge in the interpretation of high-throughput genomic data is understanding the functional associations between genes. Previously, several approaches have been described to extract gene relationships from various biological databases using term-matching methods. However, more flexible automated methods are needed to identify functional relationships (both explicit and implicit) between genes from the biomedical literature. In this study, we explored the utility of Latent Semantic Indexing (LSI), a vector space model for information retrieval, to automatically identify conceptual gene relationships from titles and abstracts in MEDLINE citations. We found that LSI identified gene-to-gene and keyword-to-gene relationships with high average precision. In addition, LSI identified implicit gene relationships based on word usage patterns in the gene abstract documents. Finally, we demonstrate here that pairwise distances derived from the vector angles of gene abstract documents can be effectively used to functionally group genes by hierarchical clustering. Our results provide proof-of-principle that LSI is a robust automated method to elucidate both known (explicit) and unknown (implicit) gene relationships from the biomedical literature. These features make LSI particularly useful for the analysis of novel associations discovered in genomic experiments. The 50-gene document collection used in this study can be interactively queried at http://shad.cs.utk.edu/sgo/sgo.html.

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

  11. Changing interpretations of Plotinus

    DEFF Research Database (Denmark)

    Catana, Leo

    2013-01-01

    th century, and that it remained absent in interpretative works produced between the 15th and 18th century. It is also argued that it is erroneous to assume that Plotinus presented a system of philosophy, or intended to do so — we do not find this concept in Plotinus’ writings, and his own statements......’ writings relatively late, in the 18th and 19th centuries, and that it was primarily made possible by Brucker’s methodology for history of philosophy, dating from the 1740s, in which the concept system of philosophy was essential. It is observed that the concept was absent in Ficino’s commentary from the 15...... 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...

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

  13. Conducting psychotherapy with an interpreter.

    Science.gov (United States)

    Kuay, Justin; Chopra, Prem; Kaplan, Ida; Szwarc, Josef

    2015-06-01

    This qualitative study assessed how clinicians prepared and used interpreters during psychotherapeutic sessions and investigated the strategies they used to manage the dynamics of this process. Ten therapists were interviewed at the Victorian Foundation for the Survivors of Torture (VFST). A semi-structured interview format was used. Thematic analysis was conducted on transcripts of recorded interviews to identify key themes. Factors affecting the provision of psychotherapy with interpreters agreed with general guidelines for working with interpreters but there were exceptions. The possible roles of the interpreter as a cultural consultant, community advocate and co-therapist were explored. Specific troubleshooting strategies were identified for improving empathy, redefining roles, and adjusting interactions with interpreters. Working with interpreters in psychotherapy is a complex process. These findings may benefit clinicians providing psychotherapy to patients using interpreters. © The Royal Australian and New Zealand College of Psychiatrists 2015.

  14. 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......-by-value facets of an ordinary evaluator for the λ-calculus.We then reveal the denotational content of Hannan and Miller's CLS machine and of Landin's SECD machine. We formally compare the corresponding evaluators and we illustrate some degrees of freedom in the design spaces of evaluators and of abstract...

  15. Critical Thinking via the Abstraction Ladder.

    Science.gov (United States)

    Seabury, Marcia Bundy

    1991-01-01

    Discusses strategies (based on S. I. Hayakawa's abstraction ladder) to encourage connected thinking in student writing. Describes a recent cross-disciplinary workshop seeking to improve student essay writing and evaluation. (KEH)

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

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

    African Journals Online (AJOL)

    Abstract. Background In 2012, Human Resources for Health (HRH) Rwanda brought together international nursing experts with widely varying backgrounds, worldviews, and values. This phenomenon has generated an increased awareness of the impact of culture on attitudes, behaviors, and professional practices.

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

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

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

  1. Program Aims at Improving Abstract Reasoning

    Science.gov (United States)

    Chemical and Engineering News, 1977

    1977-01-01

    Describes a program being conducted within the chemistry department of Xavier University, New Orleans, Louisiana, to improve the abstract reasoning abilities of freshmen science majors. The project is based upon the philosophy developed by Jean Piaget. (SL)

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

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

  4. Cooperation in Construction:

    DEFF Research Database (Denmark)

    Vogelius, Peter; Storgaard, Kresten

    2016-01-01

    . The management logic of the main contractor is interpreted as based on a sociology-inspired understanding focusing on norms and social values rather than on contractual (law) and functional (engineering) logic, which had hitherto been prevalent in Danish construction management.......The study presents a building project executed by a major Danish construction company, where cooperation and its staging were essential for achieving high productivity and competitiveness. The form of this cooperation is the main theme for the article. The contractor actively changed...... the companies in the case can be understood as possessing a social capital which is enforced and united by initiatives of the main contractor. The social capital was built up and maintained through the actual constitution of cooperation already in the initial phase of bidding before the building process...

  5. 2011 statistical abstract of the United States

    Science.gov (United States)

    Krisanda, Joseph M.

    2011-01-01

    The Statistical Abstract of the United States, published since 1878, is the authoritative and comprehensive summary of statistics on the social, political, and economic organization of the United States.Use the Abstract as a convenient volume for statistical reference, and as a guide to sources of more information both in print and on the Web.Sources of data include the Census Bureau, Bureau of Labor Statistics, Bureau of Economic Analysis, and many other Federal agencies and private organizations.

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

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

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

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

  10. 6D Interpretation of 3D Gravity

    Science.gov (United States)

    Herfray, Yannick; Krasnov, Kirill; Scarinci, Carlos

    2017-02-01

    We show that 3D gravity, in its pure connection formulation, admits a natural 6D interpretation. The 3D field equations for the connection are equivalent to 6D Hitchin equations for the Chern-Simons 3-form in the total space of the principal bundle over the 3-dimensional base. Turning this construction around one gets an explanation of why the pure connection formulation of 3D gravity exists. More generally, we interpret 3D gravity as the dimensional reduction of the 6D Hitchin theory. To this end, we show that any \\text{SU}(2) invariant closed 3-form in the total space of the principal \\text{SU}(2) bundle can be parametrised by a connection together with a 2-form field on the base. The dimensional reduction of the 6D Hitchin theory then gives rise to 3D gravity coupled to a topological 2-form field.

  11. Twist and Shout? Developing Sixth-Form Students' Thinking about Historical Interpretation

    Science.gov (United States)

    Chapman, Arthur

    2011-01-01

    Understanding historical interpretation involves understanding how historical knowledge is constructed. How do sixth formers model historical epistemology? In this article Arthur Chapman examines a small sample of data relating to sixth form students' ideas about why historians construct differing interpretations of the past. He argues that…

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

  13. Automatic Tamil lyric generation based on ontological interpretation ...

    Indian Academy of Sciences (India)

    Abstract. This system proposes an N-gram based approach to automatic Tamil lyric generation, by the ontological semantic interpretation of the input scene. The approach is based on identifying the semantics conveyed in the scenario, thereby mak- ing the system understand the situation and generate lyrics accordingly.

  14. Interpretation of high resolution aeromagnetic data over southern ...

    Indian Academy of Sciences (India)

    and Hilbert transform of magnetic data reported the existence of two main source depths in parts of the northern .... gross interpretation limitation. In order to enhance subtle anomalies which, in many cases, are ..... 69th Annual International Meeting, SEG, Expanded. Abstracts, pp. 403–406. Thurston J, Smith R S and Guillion ...

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

    CERN Document Server

    Koltay, Tibor

    2010-01-01

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

  16. Quality of reporting of trial abstracts needs to be improved: using the CONSORT for abstracts to assess the four leading Chinese medical journals of traditional Chinese medicine

    Directory of Open Access Journals (Sweden)

    Yuan Wenming

    2010-07-01

    Full Text Available Abstract Background Due to language limitations, the abstract of journal article may be the only way for people of non-Chinese speaking countries to know about trials in traditional Chinese medicine (TCM. However, little is known about the reporting quality of these trial abstracts. Our study is to assess the reporting quality of abstracts of randomized controlled trials (RCT published in four leading Chinese medical journals of TCM, and to identify any differences in reporting between the Chinese and English version of the same abstract publication. Method Two reviewers hand-searched the Chinese Journal of Integrated Traditional and Western Medicine, the Chinese Journal of Integrative Medicine, the China Journal of Chinese Materia Medica and the Chinese Acupuncture & Moxibustion for all abstracts of RCTs published between 2006 and 2007. Two reviewers independently assessed the reporting quality of the Chinese and English version of all eligible abstracts based on a modified version of the CONSORT for reporting randomised trials in journal and conference abstracts (CONSORT for abstracts. Results We identified a total of 345 RCTs of TCM with both a Chinese and English abstract. More than half of Chinese abstracts reported details of the trial participants (68%; 234/345, control group intervention (52%; 179/345, the number of participants randomized (73%; 253/345 and benefits when interpreting the trial results (55%; 190/345. Reporting of methodological quality or key features of trial design and trial results were poor; only 2% (7/345 included details of the trial design, 3% (11/345 defined the primary outcome, 5% (17/345 described the methods of random sequence generation, and only 4% (13/345 reported the number of participants analyzed. No abstracts provided details on allocation concealment and trial registration. The percentage agreement in reporting (between the Chinese and English version of the same abstract ranged from 84% to 100% across

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

  18. Scale Construction.

    Science.gov (United States)

    Dawis, Rene V.

    1987-01-01

    Discusses design, development, and evaluation of scales used in counseling psychology research. Describes methods of scale construction including the Thurstone, Q-sort, rank-order methods, Likert, semantic differential, Guttman, Rasch, and external criterion methods. Presents ways of evaluating newly developed scales. Discusses measurement versus…

  19. Notes on Narrative Method in Historical Interpretation

    Directory of Open Access Journals (Sweden)

    K. Michael Hays

    2014-07-01

    Full Text Available These notes are offered as a sketch of interpretive method. I suggest that the writing of architectural history is, or should be, a deeply theoretical sort of symptomatology – an account of how the very forms and experiences of architecture both construct and repress the absent thing we call the social, and are its most material symbolizations. Such an account benefits from an idea and a practice of narrative. Narrative is an ideological production that avoids any copy theories of representation even as it insists on the real, material forms and events that are its subject matter.

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

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

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

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

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

  5. Assessment of Interpretive Facilities and the Delivery of Interpretive ...

    African Journals Online (AJOL)

    Assessment of interpretive facilities and the delivery of interpretive services in Chad Basin National Park (CBNP), Kainji Lake National Park (KLNP), Okomu National Park (OKNP), and Yankari National Park (YNP) were conducted. The parks were selected to represent the major ecological zones where National Parks are ...

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

  7. Exploring the Relationship Between Eye Movements and Electrocardiogram Interpretation Accuracy

    Science.gov (United States)

    Davies, Alan; Brown, Gavin; Vigo, Markel; Harper, Simon; Horseman, Laura; Splendiani, Bruno; Hill, Elspeth; Jay, Caroline

    2016-12-01

    Interpretation of electrocardiograms (ECGs) is a complex task involving visual inspection. This paper aims to improve understanding of how practitioners perceive ECGs, and determine whether visual behaviour can indicate differences in interpretation accuracy. A group of healthcare practitioners (n = 31) who interpret ECGs as part of their clinical role were shown 11 commonly encountered ECGs on a computer screen. The participants’ eye movement data were recorded as they viewed the ECGs and attempted interpretation. The Jensen-Shannon distance was computed for the distance between two Markov chains, constructed from the transition matrices (visual shifts from and to ECG leads) of the correct and incorrect interpretation groups for each ECG. A permutation test was then used to compare this distance against 10,000 randomly shuffled groups made up of the same participants. The results demonstrated a statistically significant (α  0.05) result in 5 of the 11 stimuli demonstrating that the gaze shift between the ECG leads is different between the groups making correct and incorrect interpretations and therefore a factor in interpretation accuracy. The results shed further light on the relationship between visual behaviour and ECG interpretation accuracy, providing information that can be used to improve both human and automated interpretation approaches.

  8. Fall Meeting abstract submission inspires science poetry

    Science.gov (United States)

    Balcerak, Ernie

    2011-08-01

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

  9. A first graduate course in abstract algebra

    CERN Document Server

    Wickless, WJ

    2004-01-01

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

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

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

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

  13. Quality of reporting of trial abstracts needs to be improved: using the CONSORT for abstracts to assess the four leading Chinese medical journals of traditional Chinese medicine

    Science.gov (United States)

    2010-01-01

    Background Due to language limitations, the abstract of journal article may be the only way for people of non-Chinese speaking countries to know about trials in traditional Chinese medicine (TCM). However, little is known about the reporting quality of these trial abstracts. Our study is to assess the reporting quality of abstracts of randomized controlled trials (RCT) published in four leading Chinese medical journals of TCM, and to identify any differences in reporting between the Chinese and English version of the same abstract publication. Method Two reviewers hand-searched the Chinese Journal of Integrated Traditional and Western Medicine, the Chinese Journal of Integrative Medicine, the China Journal of Chinese Materia Medica and the Chinese Acupuncture & Moxibustion for all abstracts of RCTs published between 2006 and 2007. Two reviewers independently assessed the reporting quality of the Chinese and English version of all eligible abstracts based on a modified version of the CONSORT for reporting randomised trials in journal and conference abstracts (CONSORT for abstracts). Results We identified a total of 345 RCTs of TCM with both a Chinese and English abstract. More than half of Chinese abstracts reported details of the trial participants (68%; 234/345), control group intervention (52%; 179/345), the number of participants randomized (73%; 253/345) and benefits when interpreting the trial results (55%; 190/345). Reporting of methodological quality or key features of trial design and trial results were poor; only 2% (7/345) included details of the trial design, 3% (11/345) defined the primary outcome, 5% (17/345) described the methods of random sequence generation, and only 4% (13/345) reported the number of participants analyzed. No abstracts provided details on allocation concealment and trial registration. The percentage agreement in reporting (between the Chinese and English version of the same abstract) ranged from 84% to 100% across individual

  14. Quality of reporting of trial abstracts needs to be improved: using the CONSORT for abstracts to assess the four leading Chinese medical journals of traditional Chinese medicine.

    Science.gov (United States)

    Wang, Ling; Li, Yulin; Li, Jing; Zhang, Mingming; Xu, Lin; Yuan, Wenming; Wang, Gang; Hopewell, Sally

    2010-07-08

    Due to language limitations, the abstract of journal article may be the only way for people of non-Chinese speaking countries to know about trials in traditional Chinese medicine (TCM). However, little is known about the reporting quality of these trial abstracts. Our study is to assess the reporting quality of abstracts of randomized controlled trials (RCT) published in four leading Chinese medical journals of TCM, and to identify any differences in reporting between the Chinese and English version of the same abstract publication. Two reviewers hand-searched the Chinese Journal of Integrated Traditional and Western Medicine, the Chinese Journal of Integrative Medicine, the China Journal of Chinese Materia Medica and the Chinese Acupuncture & Moxibustion for all abstracts of RCTs published between 2006 and 2007. Two reviewers independently assessed the reporting quality of the Chinese and English version of all eligible abstracts based on a modified version of the CONSORT for reporting randomised trials in journal and conference abstracts (CONSORT for abstracts). We identified a total of 345 RCTs of TCM with both a Chinese and English abstract. More than half of Chinese abstracts reported details of the trial participants (68%; 234/345), control group intervention (52%; 179/345), the number of participants randomized (73%; 253/345) and benefits when interpreting the trial results (55%; 190/345). Reporting of methodological quality or key features of trial design and trial results were poor; only 2% (7/345) included details of the trial design, 3% (11/345) defined the primary outcome, 5% (17/345) described the methods of random sequence generation, and only 4% (13/345) reported the number of participants analyzed. No abstracts provided details on allocation concealment and trial registration. The percentage agreement in reporting (between the Chinese and English version of the same abstract) ranged from 84% to 100% across individual checklist item. The reporting

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

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

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

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

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

  20. Airship construction

    Science.gov (United States)

    Roda, J.

    1975-01-01

    Forty-four years ago the first successful metal airship was completed and delivered to the United States Navy, the ZMC-2. Between those years and the present, very little effort or serious consideration has been given to the manufacture, design, construction, or economic impact of airships. It is important to retain and exploit the small but continually diminishing pool of airship talent that will expedite the success of the United States in what is now a pioneering venture. The relative simplicity of airship construction, utilizing the tremendous technical advances of the last 44 years, leads to the conclusion that this form of transportation holds great promise for reducing costs of military missions and improving the international competitive position of the United States in commercial applications.

  1. Language Use, Language Ability, and Language Development: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," July through December 1984 (Vol. 45 Nos. 1 through 6).

    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 32 titles deal with a variety of topics, including the following: (1) textual relations within the written and spoken modes; (2) the construction of stance in conflict narrative; (3) the relational base theory of phrase…

  2. Using interpretation services during clerkships

    NARCIS (Netherlands)

    Lijbers, Laura; Gerritsen, Debby; Suurmond, Jeanine

    2017-01-01

    Although using professional interpreters is known to improve health outcomes for patients when language barriers are present, care providers often hesitate to use them. Training in how to use interpreters has been effective in increasing students' knowledge and self-efficacy, but little is known

  3. Basic Interpreting Strategies for Parents.

    Science.gov (United States)

    Luetke-Stahlman, Barbara

    1993-01-01

    Some deaf interpreting strategies are offered to parents of children who are deaf or hard of hearing. Parents are urged to utilize space in their interpreting, use name signs, utilize sight lines to distinguish characters in stories, use exaggerated signs to translate nursery rhymes, place themselves carefully at a public performance, and learn…

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

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

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

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

  8. Some Abstract Wegner Estimates with Applications

    Science.gov (United States)

    Sabri, Mostafa

    2014-03-01

    We prove some abstract Wegner bounds for random self-adjoint operators. Applications include elementary proofs of Wegner estimates for discrete and continuous Anderson Hamiltonians with possibly sparse potentials, as well as Wegner bounds for quantum graphs with random edge length or random vertex coupling. We allow the coupling constants describing the randomness to be correlated and to have quite general distributions.

  9. Cool Cats: Feline Fun with Abstract Art.

    Science.gov (United States)

    Lambert, Phyllis Gilchrist

    2002-01-01

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

  10. Harbour Geotechnics. Book of extended abstracts.

    OpenAIRE

    Kikuchi, Yoshiaki; Pinto, Alexandre; Cerejeira, José

    2016-01-01

    Book of extended abstracts in correspondence to Workshop 2 "Harbour Geotechnics", held in 4th September 2016 at the University of Minho, in Guimarães, Portugal. The event was part of the 3rd ICTG 2016 - International Conference on Transportation Geotechnics (http://www.civil.uminho.pt/3rd-ICTG2016/).

  11. Sounding Relationships. Conference programme & Book of abstracts

    DEFF Research Database (Denmark)

    2009-01-01

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

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

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

  14. Abstract: Improving Effectiveness of Student Learning Experiences ...

    African Journals Online (AJOL)

    Abstract: Improving Effectiveness of Student Learning Experiences during Clinical Rotations at Rwanda Military Hospital (RMH) ... These expectations included collaboration with the clinical instructors, ward staff nurses, and the HRH clinical mentors. The ward managers facilitated structured learning by assisting the ...

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

    African Journals Online (AJOL)

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

  16. Abstract Résumé Introduction

    African Journals Online (AJOL)

    2010-12-04

    Dec 4, 2010 ... Article Original. VOL. 7 NO. 4 DECEMBRE 2010. Journal des Aspects Sociaux du VIH/SIDA. 39. Abstract. We present results from a household-based survey that was conducted in ... the formulation of interventions and strategies to improve the situation of children affected by HIV and AIDS and/or living in.

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

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

  19. Abstract Schemas in Children's Chess Cognition.

    Science.gov (United States)

    Horgan, Dianne; And Others

    The nature and development of semantic processing in chess was investigated in a study involving younger players from 6 through 18 years of age. Efforts were directed toward establishing the assertion that skilled players' memory for chess positions depends largely upon the availability of pre-stored schema (PSS) that are both abstract and…

  20. Neighbourhood Abstraction in GROOVE - Tool Paper

    NARCIS (Netherlands)

    Rensink, Arend; Zambon, Eduardo; de Lara, Juan; Varro, Daniel

    In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques. One way to address this problem is to perform graph

  1. Summary 2: Graph Grammar Verification through Abstraction

    NARCIS (Netherlands)

    Baldan, P.; Koenig, B.; Rensink, A.; Rensink, Arend; König, B.; Montanari, U.; Gardner, P.

    2005-01-01

    Until now there have been few contributions concerning the verification of graph grammars, specifically of infinite-state graph grammars. This paper compares two existing approaches, based on abstractions of graph transformation systems. While in the unfolding approach graph grammars are

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

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

  4. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1989-07-01

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

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

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

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

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

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

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

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

  12. Managed data: modular strategies for data abstraction

    NARCIS (Netherlands)

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

    2012-01-01

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

  13. Managed Data: Modular Strategies for Data Abstraction

    NARCIS (Netherlands)

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

    2012-01-01

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

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

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

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

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

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

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