WorldWideScience

Sample records for abstracts oezetler kitabi

  1. Echoes of Portuguese Navigation in the Kitab-i Bahriye by Piri Reis

    Directory of Open Access Journals (Sweden)

    Rui Manuel Loureiro

    2013-10-01

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

  2. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    A Preliminary Inquiry into the Intellectual Origins of Li Dazhao's My Idea of Marxism Abstract ;By translingual-textual comparison, this paper attempts to make a preliminary inquiry into the intellectual origins of Li Dazhao's My Idea of Marxism, suggesting that Li's article, instead of being "a complete copy" of the Japanese scholar

  4. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    [ Abstract] Interaction between China and the international system has been a highlighted is- sue and drawing a great deal of attention all over the world. It has been approached from structural point of view and in a way of a conflicting pair of self and the other, which is the prevailing ontological perspective of IR studies. Contrary to it, processual

  5. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Cognitive Structure of Scientific Theory in the Scientist-Philosopher's Eyes、Two Theories of Scientific Abstraction Centered on Practices、Many-worlds Interpretation in Quantum Measurement and Its Meaning、Scientific Instrument: Paradigm Shift from Instrumentalism to Realism and Phenomenology

  6. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    China' s Dual-identity Dilemma and Its Countermeasm'es Li Shaojun(4) [ Abstract] The international system, as the overall structure for interactions among actors, is the environment and stage for implementation of China' s foreign policy. In this system, identity is a fundamental factor determining China' s international position and interests, and how to achieve them. China has long stressed that it is a "developing country,"

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Abstract: The ethylene plant at SINOPEC Shanghai Petrochemical Company Limited ranked in the middle among SINOPEC subsidiaries in terms of ethylene and propylene yields, technical economical indicator and so on, and its performance ranking went no further in chemical sector. By means of feedstock optimization, steam optimization, and energy saving and consumption reduction, the company enhanced its competitiveness in the market and improved its efficiency. In addition, some ideas were put forward on performance improvement of the ethylene plant in the future.

  8. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    [ Abstract ] The global resurgence of religion and the return of religion from the so-call "Westphalia Exile" to the central stage of international religions have significantly trans- formed the viewpoints of both media and academia toward the role of religion in IR, and the challenges posed by religion to the contemporary international relations are often described as entirely subversive. The author argues that as a second-tier factor in most countries' for- eign policies and international affairs,

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    (1) Lenin's "Unity of Three Dialectics": Notes Science of Logic and The Capital on Philosophy in the Dual Contexts of Sun Zhengyu 4 Lenin's dialectics in Notes on Philosophy is essentially a unity of materialistic logic, dialectics and epistemology that has arisen from interactions between Hegel' s Science of Logic and Marx' s The Capital. Due to a lack of understanding of Lenin' s "unity of three dialectics," people tend to misunderstand his dialectics for the meeting of two extremes of the "sum total of living instances" and "abstract methods,

  10. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    --Based on of Marx's Economic Philosophy Manuscripts of 1844 HE Jian-jin (Philosophy Department, Fujian Provincial Committee Party School, Fuzhou, Fujian 350012, China) Abstract: Socialism with Chinese characteristics has a close relationship with the return and growth of capital in China. To implement the scientific concept of development, we must confront the problem of scientifically controlling the capital. In Economic and Philosophical Manuscripts of 1844, Marx criticized the three old philosophical thinking of treating capital: Object-oriented thinking, intuitive thinking, purely spiritual abstract thinking, and he established his own unique understanding of the capital that is to understand the capital from the human perceptual activities and practical activities. Contemporary Chinese society exist the problem of underdevelopment and abnormal development, and the three heterogeneity problems of pre-modern, modern, postmodern concurrent. In order to implement the scientific concept of development, we must reject any abstract positive or negative to modern basic principles under the guidance of the capital, against the eternal capital theory and capital theory of evil, and we must oppose the thinking that the capital is eternal or evil. Key words: socialism with Chinese characteristics; capital; national economics; scientific concept of development

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Spiritual Construction and Its Ideological Sources in Contemporary China The spiritual construction in contemporary China is an important ideological task proposed by the historical practice of China. Modernized development often entails the meaning of entering into " modern civilization. " Nevertheless, an abstract understanding of this civilization has covered up its essential stipulation and historical nature. China has pursued its development on a different historical prerequisite from the west, and therefore, only partially belongs to modern capitalist modernization. The practical prospects of Chinese development imply a transformation and remodeling of the general lifestyle, life attitudes and values, which inevitably calls for a new form of philosophy. The ideological sources for this new philosophy are: Chinese philosophy, Western integration of them may point to philosophy and Marxist philosophy. A creative a potentially new type of civilization.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On the Construction of Water Conservancy during 1930s in Hubei Yu Tao ( 1 ) Abstract: Two extra-large floods in the 1930s had drawn the National Government's attention to introspect itself. After those disasters, the government had made some progress by a series of measures like repairing the dike, completing water conservancy institutions and enacting regulations in order to strengthen the water conservancy construction in Hubei. The government took water conservancy construction as a complex system project so that they had a relatively comprehensive consideration. It reflects the advancement of modern government to mobilize local people and put such social power into the unified planning. However, thelimitations of the government's policy implementation weakened the effect of water conservancy construction. Keywords: flood; government; water conservancy construction; effect

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Relation between Individuals and Work Units in Stated-Owned Enterprises in Economic Transitional Pe- riod: Changes and their Influences Abstract: As a representation of extinction of work unit system, some dramatic changes have taken place on the rela- tion between individuals and work units in state-owned enterprises. Among many changes are the radical change of the way work unit stimulating and controlling its employees, the extinction of previous system supported by "work unit people", a tense relation between the employees and the work unit caused by the enterprise' s over-pursuit of performance. These changes result in such problems as grievous inequality, violation of personal interest, lack of mechanism for employees' voices and their low sense of belonging, which has brought unprecedented challenges for business administration and corpo- ration euhure development in China. Keywords: danwei/work unit; stimulate and control; relation between individuals and work units; work unit people

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On Rousseau's Equality and Freedom GONG Qun Abstract:Equality and freedom are the two core concepts of political philosophy and Rousseau~s political philosophy is no exception. Freedom and equality in Rousseau in- cludes two levels: natural state and social state under social contract, and among them, there is one state of un-equality. The relationship between the two concepts here is that equality is a necessary precondition of freedom, and that there is no equality, there is no freedom. The achievement of Rousseau~s equality is by one contractual behavior that all the members transfer their rights, especially property rights, and form of the Community. Freedom in Rousseau's mind is through the people's sovereignty in the Community to achieve freedom.

  15. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    [Abstract] The essay analyzed the action logic of hegemon with a power approach. Hegemony can be classified as benign or malignant. A benign hegemon should be pro- ductive, inclusive and maintain procedure justice when it uses its power. The power of hegemon can be categorized into two types: the hard power, which is the use of coer- cion and payment and can be measured by public products, and the soft power, which shows the ability to attract and co-opt and can be measured by the relationship-specific investments. The relationship between the input of public products and the relationship -specific investments is not positively correlative. Confusing with the public products and the soft power might lead to strategic misleading. A country rich in power re- sources should comply with the following principles if it wanted to improve its hard power and soft power: first, analyze the scope of the existing hegemon's soft power and avoid investing public products in the scope; second, maintain honesty in a long term and continue to increase others' benefits following the rule of neutral Pareto im- provement; third, provide both public goods and public bads; fourth, be more patient to obtain soft power. [ Key Words] hegemon, soft power, relationship-specific investment, strategic misleading [Authors]Feng Weijiang, Ph.D., Associate Professor, Institute of World Economics and Politics, Chinese Academy of Social Science; Yu Jieya, Master, PBC Shanghai Headquarters.

  16. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Western Characteristics of the Pardims of International Studies in America:With the Huaxla System as a Counterexample Ye Zicheng (4)[ Abstract ] Three flaws are obvious in the three paradigms of International Studies in America. Specifically, their arguments are based on the assumption that the world is anarchic ; they go too far in employing the scientific and rational methodology; they pay little attention to the humans. Hence, the three paradigms of international studies in America aren' t necessarily useful for the explanation of China' s history and culture as well as its relations with the outside world. The Huaxia system, for example, is anarchic but also apparently hierarchical; the approach of pursuing security in understanding the rise of western powers may be meaningless, for the hegemony in the Huaxia System needn't worry about its security; the theory of power-balancing seemingly couldn' t explain why Qin ended up in defeating the alliance of the other six states in the Warring-states period. The Huaxia system is quite open, and has free movement of people, goods, and ideas. Some interstate regimes and institutions were formed through Huimeng (alliance-making) among states. However, this kind of limited and fragile interdependence and cooperation soon came to an end after the hegemonies of Qi, Jin and Wei. There does exit the identity problem among states in the Huaxia System, but this problem doesn't play such a great role as the constructivists expect it would.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Discussions of Design Highlights for Tailgas Treatment in Sulphuric Acid Plant Using New Technology for Flue Gas Desulfurization Through Catalytic Reduction LI Xin , CAO Long-wen , YIN Hua-qiang , El Yue-li , LI Jian-iun ( 1 ,College of Architecture and Environment, Sichuan University, Chengdu 610065, China;2 ,Daye Nonferrous Metals Co., Ltd., Huangshi 435000, China; 3 ,Tile Sixth Construction Company Ltd. of China National Chemical Engineering Corp., Xiangfan 441021, China) Abstract : For the present situation of tailgas treatment in current sulphuric acid plants and existing problems with commonly used technologies, the fun- damental working principle, process flow and reference project for a new technology for flue gas desulfurization through catalytic redaction which is used for tailgas treatment in a sulphuric acid plant and recovery of sulphur resource are outlined. The design highlights of this technology are analyzed and the are proposed. Compared to conventional technologies, this new technology offers high desulfurization efficiency and unique technology, which can effectively tackle the difficuhies of tailgas treatment in sulphuric acid plants after enforcement of the new standard. This new technology is thought to be significant economic benefit, environmental benefit, as well as a promising future of application.

  18. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. Abstract algebra

    CERN Document Server

    Deskins, W E

    1996-01-01

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

  20. Selected Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Three - Stage Interaction Model of Lexicon - Syntax Interface Liu Yuhong (80) The Three -Stage Interaction Model maintains that the interactions at the lexicon -syntax interface are divisible into three levels, namely, the interaction between lexical meaning and lexical grammar that determines syntactic items, the interaction among lexical items that determines syntactic structure, and the interaction between abstract syntactic structure (i. e. construction) and temporary syntactic combinations that determines and coerces grammaticality of the latter. The Three - Stage Interaction Model is hierarchical, complete and bidirectional in language comprehension. It also testifies to the varying abstractness between grammar (syntax) and semantics, and between the five grammatical cases. According to this model, temporary syntactic combination is sanctioned by abstract syntactic structure, therefore the conventional linguistic significance of P600 is maintained without coining contradictory new terms.

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

  2. Inventory Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    C. Leigh

    2000-11-03

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

  3. INVENTORY ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    G. Ragan

    2001-12-19

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

  4. BALWOIS: Abstracts

    International Nuclear Information System (INIS)

    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

  5. Energy Statistics Manual; Enerji Istatistikleri El Kitabi

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2004-07-01

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

  6. Piaget on Abstraction.

    Science.gov (United States)

    Moessinger, Pierre; Poulin-Dubois, Diane

    1981-01-01

    Reviews and discusses Piaget's recent work on abstract reasoning. Piaget's distinction between empirical and reflective abstraction is presented; his hypotheses are considered to be metaphorical. (Author/DB)

  7. Programme and abstracts

    International Nuclear Information System (INIS)

    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. Program and abstracts

    International Nuclear Information System (INIS)

    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

  9. Introduction to abstract algebra

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

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

  10. Abstraction and Consolidation

    Science.gov (United States)

    Monaghan, John; Ozmantar, Mehmet Fatih

    2006-01-01

    The framework for this paper is a recently developed theory of abstraction in context. The paper reports on data collected from one student working on tasks concerned with absolute value functions. It examines the relationship between mathematical constructions and abstractions. It argues that an abstraction is a consolidated construction that can…

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

  12. Completeness of Lyapunov Abstraction

    DEFF Research Database (Denmark)

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

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

  13. Designing for Mathematical Abstraction

    Science.gov (United States)

    Pratt, Dave; Noss, Richard

    2010-01-01

    Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as "designing for abstraction." In this paper, we draw on detailed design experiments from our research on children's understanding about chance and distribution to re-present this work as a case study in designing…

  14. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

    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...... or capturing concrete values, objects, or actions. As the next step, some of these are lifted to a higher level by computational means. In the object-oriented paradigm the target of such steps is classes. We hypothesise that the proposed approach primarily will be beneficial to novice programmers or during...

  15. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Influence of Fermented Product from Beneficial Microorganism on the Cultivation of Larvae Apostichopus japonicus Li Shuang et al(1) Abstract The fermented product from beneficial microorganism was applied in the seed rearing of sea cucumber.The result

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

  17. 2016 ACPA MEETING ABSTRACTS.

    Science.gov (United States)

    2016-07-01

    The peer-reviewed abstracts presented at the 73rd Annual Meeting of the ACPA are published as submitted by the authors. For financial conflict of interest disclosure, please visit http://meeting.acpa-cpf.org/disclosures.html. PMID:27447885

  18. Abstract sectional category

    CERN Document Server

    Diaz, F; Garcia, P; Murillo, A; Remedios, J

    2011-01-01

    We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications.

  19. 08071 Abstracts Collection -- Scheduling

    OpenAIRE

    Jane W. S. Liu; Rolf H. Möhring; Pruhs, Kirk

    2008-01-01

    From 10.02. to 15.02., the Dagstuhl Seminar 08071 ``Scheduling'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in gen...

  20. 10071 Abstracts Collection -- Scheduling

    OpenAIRE

    Albers, Susanne; Baruah, Sanjoy K; Rolf H. Möhring; Pruhs, Kirk

    2010-01-01

    From 14.02. to 19.02.2010, the Dagstuhl Seminar 10071 ``Scheduling '' was held in Schloss Dagstuhl-Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to ext...

  1. 07381 Abstracts Collection -- Cryptography

    OpenAIRE

    Blömer, Johannes; Boneh, Dan; Cramer, Ronald; Maurer, Ueli

    2008-01-01

    From 16.09.2007 to 21.09.2007 the Dagstuhl Seminar 07381 ``Cryptography'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goa...

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

  3. Abstract Delta Modeling

    OpenAIRE

    Dave Clarke; Michiel Helvensteijn; Ina Schaefer

    2011-01-01

    Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-dependent conditions. This paper presents abstract delta modeling, which explores delta modeling from an abstract, algebraic perspective. Compared to previous work, we take a more flexible approach with respect to conflicts between modificatio...

  4. 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. PMID:25416026

  5. 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...... the abstractions by broadening it's scope of interest, by focussing on differences of learners, by age, gender, ethnicity, social experience, and differences in context, by socioeconomic environment, culture etc. Practically, it is argued, this means to embrace the new focus on informal learning and work related...

  6. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

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

  7. ESPR 2014. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2014-06-15

    The Proceedings on ESPR 2014 include abstracts concerning the following topics: pediatric imaging: thorax, cardiovascular system, CT-technique, head and neck, perinatal imaging, molecular imaging; interventional imaging; specific focus: muscoskeletal imaging in juvenile idiopathic arthritis; radiation protection; oncology; molecular imaging - nuclear medicine; uroradiology and abdominal imaging.

  8. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Study of Feeding Effects of EM Fermented Feed on the Growth and Survival of Juvenile Sea Cucumber Apostichopus japonicus Gong Hai-ning et al(1) Abstract In this study, comparisons of feeding effects on the sea cucumber Apostichopus japonicus between th

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

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

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

  12. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Morphological Variations and Discriminant Analysis of Three Populations of Mytilus coruscus Ye Ya-qiu et al. (4) Abstract The multivariate morphometrics analysis method was used for studying four morphological characters of three geographical populations of Mytilus coruscus from Sheng-si, Zhou-shan, Tai-zhou along the coast of Zhe-jiang province of China.

  13. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Study on the Enrichment Regularity of Semicarbazide in Algae Tian Xiu-hui eta1. (1) Abstract Semicarbazide (SEM) in three kinds of representative algae (Nitzschia closterium, Tetraselmis chui and Dicrateria sp) and seawater was determined using ultra performance liquid chromatogram tandem mass spectrometry in this work. Accumulation of semicarbazide (SEM) in algae under laboratory conditions was studied.

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

  15. Testing abstract behavioral specifications

    NARCIS (Netherlands)

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

    2015-01-01

    We 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 the introduc

  16. Monadic abstract interpreters

    DEFF Research Database (Denmark)

    Sergey, Ilya; Devriese, Dominique; Might, Matthew;

    2013-01-01

    Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis. We deliver that unification by showing context-sensitivity, polyvariance, flow-sensitivity, reachabilitypruning, heap-cloning and cardinalit...

  17. Abstracts of submitted papers

    International Nuclear Information System (INIS)

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

  18. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Study on Optimization of Enzymic Preparation of Collagen Polypeptide from Skin of Gadous macrocephaius Liu Chun-e et al. (1) Abstract Enzymolysis was used to prepare collagen peptide. The optimum condition was determined based on one way ANOVA and orthogonal experimental design. The result indicated that use alkaline protease on the concentration of 4.5%,

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

  20. THE CHINA MEDICAL ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2003-01-01

    The purpose of the China Medical Abstracts (Internal Medicine) is to promote international exchange of works done by the Chinese medical profession in the field of internal medicine. The papers selected from journals represent the newest and most important advances and progress in various specialities in internal medicine.

  1. Abstracts of SIG Sessions.

    Science.gov (United States)

    Proceedings of the ASIS Annual Meeting, 1995

    1995-01-01

    Presents abstracts of 15 special interest group (SIG) sessions. Topics include navigation and information utilization in the Internet, natural language processing, automatic indexing, image indexing, classification, users' models of database searching, online public access catalogs, education for information professions, information services,…

  2. Seismic Consequence Abstraction

    International Nuclear Information System (INIS)

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

  3. Cambridge Scientific Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    正Meteorological and Environmental Research has been included by Cambridge Scientific Abstracts (CSA) since 2011. CSA is a retrieval system published by Cambridge Information Group. CSA was founded in the late 1950's,and became part of the CIG family in 1971. CSA's original mission was publishing secondary source materials relating to the physical sciences. Completely

  4. Cambridge Scientific Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Meteorological and Environmental Research has been included by Cambridge Scientific Abstracts (CSA) since 2011. CSA is a retrieval system published by Cambridge Information Group. CSA was founded in the late 1950’s,and became part of the CIG family in 1971. CSA’s original mission was publishing secondary source materials relating to the physical sciences. Completely

  5. Reasoning abstractly about resources

    Science.gov (United States)

    Clement, B.; Barrett, A.

    2001-01-01

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

  6. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    R. Schreiner

    2001-06-27

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

  7. Ghana Science Abstracts

    International Nuclear Information System (INIS)

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

  8. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Position of Capitalist Study in Marx's Social Formation Theory Yang Xue-gong Xi Da-min The orientation and achievements of Marx's study of Capitalism or bourgeois society is the foundation of his social formation theory. On the base of his scientific study of capitalism, Marx evolves his concept of eco- nomic social formation, the scientific methodology of researching other social formations or social forms, the clues of the development of social formations, the abstraction of the general laws as well as his reflection on this abstraction. A full evaluation and acknowledgement of the position of capitalist study in Marx's social formation theory is crucial for revising Marx's social formation theory in the new era and for solving some controversial issues in the research of social formation theory.

  9. Abstracts of the communications

    OpenAIRE

    2014-01-01

    (P) paper, (A) abstract only Dietary patterns and habitat of the Grimm’s duiker, Sylvicapra grimmia in Benin, (P)Abdoul Razack Adjibi Oualiou, Jean Claude Codjia, Guy Apollinaire Mensah The distribution of protected areas and conservation of flora in the republic of Benin, (P)Aristide Adomou, Hounnankpon Yedomonhan, Brice Sinsin, Laurentius Josephus and Gerardus Van Der Maesen The problem of invasive plants in protected areas. Chromolaena odorata in the regeneration process of the dense, semi...

  10. SPR 2014. Abstracts

    International Nuclear Information System (INIS)

    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.

  11. Historical development of abstracting.

    Science.gov (United States)

    Skolnik, H

    1979-11-01

    The abstract, under a multitude of names, such as hypothesis, marginalia, abridgement, extract, digest, précis, resumé, and summary, has a long history, one which is concomitant with advancing scholarship. The progression of this history from the Sumerian civilization ca. 3600 B.C., through the Egyptian and Greek civilizations, the Hellenistic period, the Dark Ages, Middle Ages, Renaissance, and into the modern period is reviewed. PMID:399482

  12. Introduction to abstract analysis

    CERN Document Server

    Goldstein, Marvin E

    2015-01-01

    Developed from lectures delivered at NASA's Lewis Research Center, this concise text introduces scientists and engineers with backgrounds in applied mathematics to the concepts of abstract analysis. Rather than preparing readers for research in the field, this volume offers background necessary for reading the literature of pure mathematics. Starting with elementary set concepts, the treatment explores real numbers, vector and metric spaces, functions and relations, infinite collections of sets, and limits of sequences. Additional topics include continuity and function algebras, Cauchy complet

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

  14. Medical physics 2013. Abstracts

    International Nuclear Information System (INIS)

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

  15. EBS Radionuclide Transport Abstraction

    International Nuclear Information System (INIS)

    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

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

  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. Program and abstracts

    International Nuclear Information System (INIS)

    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

  19. Circularity and Lambda Abstraction

    DEFF Research Database (Denmark)

    Danvy, Olivier; Thiemann, Peter; Zerny, Ian

    2013-01-01

    In this tribute to Doaitse Swierstra, we present the rst transformation between lazy circular programs a la Bird and strict cir- cular programs a la Pettorossi. Circular programs a la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equa- tionally. Circular...... 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...

  20. IPR 2016. Abstracts

    International Nuclear Information System (INIS)

    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.

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

  2. Abstracts of Major Articles

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On Problems in Fujian's Present Health Insurance Professionals and Related Suggestions LIN Deng-hui,WU Xiao-nan (School of Public Health, Fujian Medical University, Fuzhou 350108, China) Abstract:Based on a statistical analysis of questionnaire survey data collected from practitioners in Fu- jian's medical insurance management system, the paper discusses the problems relevant to the staff's qua lity structure in this industry as well as mechanisms for continuing education and motivation. Finally, the authors advance such suggestions as increasing the levels of practitioner's expertise and working capacity by developing disciplinary education and continuing motivated with a well-established motivation system. education, and encouraging employees to get highly

  3. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Establishment of a Method for Content Determination of Polysaccharide in Membranous milkveteh root Applied in Fisheries Yu Xiao-qing et al. (1) Abstract Some chemical component in the traditional Chinese medicine Membranous milkvetch root can improve the ability of disease-prevention of animal and it can be applied in fisheries. In the paper, the method about content determination of polysaccharide in the root was established based on orthogonal experimental design Key words medicine; polysaccharide in Membranous milkvetch root; method of determination

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

  5. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Determination of the Estrogen Alkylphenols and Bisphenol A in Marine Sediments by Gas Chromatography-Mass Spectrometry Deng Xu-xiu et al. (1) Abstract Octylphenol, nonylphenol and bisphenol A are recognized environmental endocrine disruptors. A quantitative method was established for the simultaneous determination of octylphenol, nonylphenol and bisphenol A in marine sediments by gas chromatography-mass spectrometry. The test sample was extracted by methanol with ultrasonic technique, purified with copper powder and carbon solid phase extraction column, and derived with heptafluorobutyric anhydride. Then the analytes were separated on HP-5ms column and determined by gas chromatography-mass. The recovery of the method was between 84.3% and 94.5%, and the LOQ of 4-N- octylphenol, nonylphenol and bisphenol A was 0.25 g/kg, 0.15 g/kg and 0.15 g/kg. Key words octylphenol; nonylphenol; bisphenol A; gas chromatography-mass spectrometry

  6. A LARI Experience (Abstract)

    Science.gov (United States)

    Cook, M.

    2015-12-01

    (Abstract only) In 2012, Lowell Observatory launched The Lowell Amateur Research Initiative (LARI) to formally involve amateur astronomers in scientific research by bringing them to the attention of and helping professional astronomers with their astronomical research. One of the LARI projects is the BVRI photometric monitoring of Young Stellar Objects (YSOs), wherein amateurs obtain observations to search for new outburst events and characterize the colour evolution of previously identified outbursters. A summary of the scientific and organizational aspects of this LARI project, including its goals and science motivation, the process for getting involved with the project, a description of the team members, their equipment and methods of collaboration, and an overview of the programme stars, preliminary findings, and lessons learned is presented.

  7. Contents and Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    [Ancient Mediterranean Civilizations] Title: On Poseidon's Image in Homeric Epics Author: Zhu Yizhang, Lecturer, School of History and Culture, Shandong University, Jinan, Shandong, 250100, China. Abstract: Poseidon was an important role in religion, myth and literature of ancient Greece. His religious functions, and status in mythical image in literature were mainly established by Homeric Epics. Poseidon doesn't only appear frequently in the Homeric Epics but also influences the development of the plots directly; therefore, he could be seen as one of the most important gods in the Epics. But Homeric Epics do not introduce his basic image clearly. In Homeric Epics, Poseidon carries the deity and humanity aspect of the figure, and the latter was emphasized, which implied his archetype was a mortal wanax.

  8. Abstracts of Selected Papers

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On the Social Solidarity of Organization An Empirical Analysis Li Hanlin Abstract: Based on the 2002 survey data, this paper tries to measure solidarity in organization. The operationalization for this measurement goes from two points of view. One is from the degree of cohesion and another one is from the degree of vulnerability. To observe and measure the degree of cohesion three subscales like social support, vertical integration and organizational identity have been used. To observe and measure the degree of vulnerability other three subscales like dissatisfaction, relative deprivation and anomie have been used. The paper tries to explore finally under which condition the organization behavior and behavior orientation could go to the similarity or make some difference. Key words: Organization Cohesion Vulnerability Organization Behavior

  9. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Comparative Study on Adhesion Effect Among Different Materials of Sepia esculenta Wang Xue-mei et al. (1) Abstract PE Harness, mesh, sea cucumber seedling box attached, sorghum bar, tamarix (fresh, and old), artemisia annua (fresh, and old) and artificial egg-based subsidiary were used as spawning substrates of Sepia esculenta for comparative study on adhesion effect during artificial breeding. The results showed that the best was artificial egg-based subsidiary produced by the process of invention in this study. The second was old artemisia annua and tamarix. PE Harness, mesh, sea cucumber seedling box attached, sorghum bar were unsatisfactory for using as spawning substrates of Sepia esculenta. Key words Sepia esculenta; adhesion effect; different materials

  10. ICENES 2007 Abstracts

    International Nuclear Information System (INIS)

    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

  11. Teaching for Abstraction: A Model

    Science.gov (United States)

    White, Paul; Mitchelmore, Michael C.

    2010-01-01

    This article outlines a theoretical model for teaching elementary mathematical concepts that we have developed over the past 10 years. We begin with general ideas about the abstraction process and differentiate between "abstract-general" and "abstract-apart" concepts. A 4-phase model of teaching, called Teaching for Abstraction, is then proposed…

  12. Book of Abstracts

    International Nuclear Information System (INIS)

    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

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

  14. Judgement of abstract paintings

    Directory of Open Access Journals (Sweden)

    Dakulović Sandra

    2006-01-01

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

  15. Dealing With Abstraction: Reducing Abstraction in Teaching (RAiT)

    OpenAIRE

    Subedi, Krishna Prasad

    2014-01-01

    One of the most important challenges for mathematics teachers involves dealing with mathematical abstraction, specifically; figuring out efficient ways to translate abstract concepts into more easily understandable ideas for their students. Reducing abstraction is one of the theoretical frameworks originally proposed by Hazzan (1991) to examine how learners deal with mathematical abstraction while working with new mathematical tasks or concepts. However, very little is known about how teache...

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

  17. Book of abstracts

    International Nuclear Information System (INIS)

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

  18. Recent abstracts in biochemical technology

    OpenAIRE

    R R Siva Kiran; Brijesh P

    2008-01-01

    “Recent abstracts in biochemical technology” is a collection of interesting research articles published in “List of biochemical technology journals” (Table 1). The abstracts are most likely to report significant results in biochemical technology.

  19. Contents and structure of abstracts

    OpenAIRE

    Nemecková, Lenka; Dobrovolný, Viktor; Šauperl, Alenka; Jamar, Nina; Veselá, Eliška

    2015-01-01

    Purpose - Publishers of some scientific journals and the ISO standard require or recommend specific information to be present in abstracts. However little is known whether this is what scientists give when they write abstracts. The structure of abstracts was tested in Czech, Slovenian and international scientific journals in the English language in the areas of library and information science and materials science. Design/methodology/approach - One hundred research paper abstracts were select...

  20. Mechanical Engineering Department technical abstracts

    International Nuclear Information System (INIS)

    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

  1. Abstract Possible: The Birmingham Beat

    OpenAIRE

    Bergman, Aeron; Salinas, Alejandra

    2013-01-01

    Gruppeutstilling. Samarbeidspartner: Alejandra Salinas. ABSTRACT YOUR SHIT IS Video loop and billboard. Eastside Projects, Birmingham UK Abstract Possible: The Birmingham Beat Curated by Maria Lind 6 October - 1 December 2012. Invited artists: José León Cerrillo, Zachary Formwalt, Goldin+Senneby, Wade Guyton, Yelena Popova, Alejandra Salinas and Aeron Bergman. Visningssted: Eastside Projects, Birmingham, UK. Se også: http://eastsideprojects.org/past/abstract-possible

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

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

  4. Food Science and Technology Abstracts.

    Science.gov (United States)

    Cohen, Elinor; Federman, Joan

    1979-01-01

    Introduces the reader to the Food Science and Technology Abstracts, a data file that covers worldwide literature on human food commodities and aspects of food processing. Topics include scope, subject index, thesaurus, searching online, and abstracts; tables provide a comparison of ORBIT and DIALOG versions of the file. (JD)

  5. Abstract algebra structure and application

    CERN Document Server

    Finston, David R

    2014-01-01

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

  6. Technical abstracts: Mechanical engineering, 1990

    International Nuclear Information System (INIS)

    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

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

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    (1) The Narrative Structure and Mode of Realization of Marx's Theory of Human Emancipation Liu Tongfang Understanding the inherent logic of the ideas in the classic Marxist texts and revealing the narrative structure and mode of realization of Marx's theory of human emancipation is an important intellectual approach to the extension of Marxist theoretical research. As a scientific theory of the history of society, the narrative structure of human emancipation involves three aspects: historical materialism, multi-dimensional forms of emancipation, and communist movements. It offers a comprehensive analysis of the basic way of perceiving human society, the fundamental path to human emancipation and the ultimate aim of the evolution of social forms. It reflects the thorough-going revolutionary nature of Marx's theory of human emancipation and its close relationship with the real life of society. It would thus be academically significant to reflect on Western Marxism, Soviet-type socialism and the socialist road with Chinese characteristics from the viewpoint of the narrative structure of Marx's theory of human emancipation, so as to extend the Marxist theory of human emancipation and explore its specific mode of realization

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Solving the vibration problem of diesel engine and its peripheral equipments with MK II PAK analysis system,Quality situation and analysis of copper radiator for diesel locomotive,Development of cooling system for GMC-96 rail grinding car

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

  11. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Subject of Research, Methodology and Research Paradigm of ‘Das Kapital'; ‘Das Kapital' and the Scientific View of Marx on Wealth;The Way of Capitalism in the Background of Global Financial Crisis;

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Effect of Coolant Temperature on Fuel Consumption and Emissions in YC6A220C Diesel Engine;Optimizing NOx emission performance for 16V280ZC diesel engine;CA3-13 coupler of DFsBI diesel locomotive exported to Iran;Mixed traction technology with LOCOTROL system;

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Development status of domestic and foreign hydraulic transmissions;Effect of advance angle of fuel supply on exhaust emissions for a diesel engine with EGR technology;Effect on noise of diesel engine under different atmospheric preessure and biodiesel blends;Application of digital governing system to V280/285 series marine diesel engine;

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    CONTROL SIGNAL POWERING & WIRING DESIGN OF INTELLIGENT MOTOR OPERATED VALVE ACTU- ATOR [1] Fan Zonghai , J ia Tiehu ( S INOPEC Engineering Incorporation, Beijing, I00101) AbstractzThis article introduces the application of Motor Operated Valve (MOV) actuator, the problems in its control unit wiring, as well as its main technical parameters and control functions. The powering and wiring design of MOV actuator are explained based on application examples, and the advantages, disadvantages and selection principles of two powering design methods, i.e.

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Balance and Loss of Balance in Human Rights Law;The Socialist Legal System with Chinese Characteristics: Its Structure, Features and Trends;Historical Materialism and Contemporary Socio-historical Reality;Rousseau, Kant and Marx in the Lineage of "Moral P

  16. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    International Norms, Group Identity and Domestic Institutional Re- form: The Case of China's Entrance to FATF Lie Xinghua Abstract: International norms are the collection of binding rules governing the international community. International norms with high levels of legitimacy result in norm groups. Such norm groups directly affect the space for and effectiveness of behavior. In order to enter a norm group and obtain membership status within the group, states must engage in domestic institu- tional reforms in order to meet standards of admission. In order to enter FATF, China studied the principles of the 40+ 9 Recommendations, and ad- vanced comprehensive domestic reforms to counter money laundering.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Plato on Political Rhetoric Generally, Plato was regarded as being hostile to rhetoric. However, I will show that in Plato's some important political dialogues he still verifies the significance of rhetoric or persuasion. Then, I list the attacks of Plato on his contemporary rhetoric, which is called in the essay as "politician rhetoric". On the other hand, Plato also articu- lates the characteristics of true rlhetoric, which I name as "dialectical rhetoric. " In order to elaborate "dialectical rhetoric", I take Pericles as an example to show how the dialectic rhetoric could work in the real political world. Finally, I point out that dialectical rhetoric still can give some reflection for today's political rhetoric. It contains the ideal of the good, caring the soul of the audience, speaking the truth, insisting the right thing with reason, etc.

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Introduction of Western Learning to the East and the Sinicization of Marxist Philosophy The introduction of western learning to the east objectively promoted the dissemination of Marxist philosophy in China, forming an important historical prerequisite for the sinicization of Marxist philosophy. Moreover, it also triggered a great transformation in the historical development of Chinese philosophy and facilitated its transition from ancient to early modern traditions, thereby establishing through sinicization a link between Marxist philosophy, which originated in the western philosophical tradition, and the Chinese tradition of philosophy, and rendering Marxist philosophy Chinese. This offered the possibility that sinicized Marxist philosophy would play a positive guiding role in the development of modern Chinese philosophy. Therefore, we may say that without the introduction of western learning to the east, there would be no sinicization of Marxist Ichilosophy; and without in-depth research on the relationship between the introduction of western learning to the east and the sinicization of Marxist philosophy, there would be no real understanding of the sinicization of Marxist philosophy. However, the close links between the sinicization of Marxist philosophy and the introduction of western learning do not indicate that the sinicization of Marxist philosophy is part of the history of the introduction of western learning to the east. The sinicization of Marxist philosophy does not itself belong to the category of the spread of western learning to the east. This is because Marxist philosophy is essentially different from all other commonly known western sciences; its sinicization differs from the eastward spread of western learning in terms of its goals, social nature, results and effects on society.

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

    A bus line inquiry algorithm based on set theory is proposed,and the design flow of transfer algorithm is presented. A plan for improving the efficiency of the inquiry algorithm is put forward. The bus line inquiry algorithm is simple and effective, and it can help user select optimal bus line.

  20. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    1.Changes Come from Turmoils, Hopes Reside in Stagnancy,by Zhu Feng a professor at the Schobl ofInternational t/elations, t'eklng University, anu a member oi ecutorlai Doaro oi Peaceand Development and a gust researcher of CDPS. In 2011, "the Arab Spring" changed the geopolitical ecology of the Middle East and North Africa. The U.S. stepped up readjustment to its global strategy with a high-sounding voice proclaimed its "return to Asia Pacific". A great surge was felt in the political trend of thoughts in the world, and the world was still faced with various terrorist threats.

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    4 Introduction of the Methods Generalized from Mineral Exploration HU Kui (Consulting & Research Center Ministry of Land & Resources, Beijing 100035, China) Abstract: This paper focuses on the introduction of prospecting methods generalized from mineral exploration, these include: prospecting in deep part of the deposit based on shallow deposit, and periphery prospecting within the ore district; finding other type ( kind ) of deposit according to this type; lean ore is the base for rich deposit; small rich ore can depends on large lean ore; the dependence of economical mineral resource is uneconomical mineral resource; prospecting mineral deposit on the basis of different minerals; following outcrop mine to find blind ore; and with marks to explore ore.

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    1.APPLICATION OF VSP TECHNOLOGY OF GREAT WALL DRILLING COMPANY IN OIL AND GAS EXPLORATION ABROAD/Du Xudong., Huang Daqin, Zhao Qihui.2011 (6)8-13 ( Interpretation Research Center of Great Wall Drilling Engineering Company ) Development and perfection of VSP technology have close relationship with the requirements of production. The paper presents 6 aspects of application about VSP technology in oil and gas exploration abroad: lproviding high-precision interpretation result----high-precision time-depth;

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Overview of the development of the hybrid locomotive at home and abroad TIAN Rui, KANG Yi-nan (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China ) Abstract: This paper analyzes the structure principle and classification feature of hybrid locomotive from the perspective of energy saving and emission reduction, discussing the key technology and summarizing its development and application at home and abroad. On this basis, the development prospect and problems to be solved of hybrid locomotive are analyzed. Key words: hybrid locomotive; principle; classification; application; prospect

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Development and Application of Three-stage and Four-layer Fluorine Removal Technology for Purification of Smelting Flue Gas Removal of fluorine from fluorine-containing smelting gas during the sulphurie acid production provides effective protection for the equipment in the system, and it is al~ a necessary measure to maintain normal prodluetion. For the equipment features and resource conditions in a sulphuric acid plant, the concept of three-stage and four layer fluorine removal is proposed, and the purification technology for fluorine removal is developed through optimization of the process design. Practice has shown that by utilizing the three-stage and four-layer fluorine removal technology, it offers advantages like higher efficiency of fluorine removal, shorter process flow, less equipment investment, easier operation, and offers certain value for promotion.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Comment on "State-owned Economy Retreating from Competitive Field";Analysis of Real Effects of State-owned Enterprise Discussing with Research Group of Tianze Institute of Economics;Treating the Nature of Social Labor with a Developing and Opening Sight And Basic Principles to Judge the Nature of Social Labour

  7. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    The Challenges Facing China's Oil Refining Industry and Their Countermeasures;First Three Quarters Development Trends Review and Fourth Quarter Prediction of International Oil Price in 2011;Look to the Thinking Limitations of Peak Theory from the Replacement of Oil-Gas Production;Research and Development of Ni and V Removal from Heavy Oil;

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Reliability validation studies of locomotive engine turbocharger LI Yu (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China) Abstract: Considering the use features of the locomotive diesel engine turbocharger and combining the finite element simulation with experiment, the validation method of tile turbocharger has been studied. In this way, the number of tests can be reduced and the success rate of the test can be increased. And the turbocharger relia- bility assessment can be ahead of the schedule. Key words: turbocharger; reliability; validation test

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The modem transition of philosophy is the transition of world metaphysics to conscious metaphysics therefore the aprioristic philosophy exploring the consciousness has taken place which experienced the three progressing periods from Descartes to Kant to Edmund Husserl: Descartes tried to prove that consciousness was the unique and stable starting point of understanding all problems, and Kant tried to prove that consciousness had the ability to build up effec- tive knowledge as well as had the ability to guide the right behavior, while Edmund Husserl tried to prove that conscious- ness had the overall object, which relatively equal to had its own word. Through these three great and difficult periods of efforts, aprioristic conscious philosophy has completed the proving of the arguments of I think and thinking, nevertheless, the arguments did not reach to the level of laying the foundation, therefore they did not interpret the world correctly.

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    South Korea's strategy and the economic and trade relations with China South Korea in a relatively short period of time has obtained the economic fast boom, creating "the Han River Miracle" remarkably. Due to the typical export-oriented economy, the South Korea is very sensitive to the international situation.

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Practice and Implications of Judicial Innovation: A Study of Administrative Litigation from City T Drawing on data from a mid-sized city, this article finds that the courts, caught between the unruly adminis- trative agencies and legal rhetoric, seek support from the Party to enhance their authority. They then devise tac- tics such as putting the chief official of agencies on the stand, issuing judicial suggestions, and innovatively ap- plying the laws. Contrary to the conventional wisdom that the courts are only a passive actor in local politics, the development indicates that the role of the courts is by no means negligible in translating the national laws into lo- cal practice. Social stability, industrial structure, the power and resource of administrative agencies, and profes- sionalism of court staff are important factors affecting the development of the rule of law.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Energy transformation is the only way of the transformation of the world economy Describing and explaining from different view of the world from the angle of political, economic, cultural and environmental development, the presentation of the transformation, change, adjustment, conversion and a series of concept reflects that the current world situation is undergoing profound changes, multi-polarization and globalization. The global problems such as financial crisis, recession, climate change, energy transformation and the environment change,

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    On Law Theory of Public Interest : An Analysis Based on the Need Spill Theory;The Theory of the Nature of Harming Society : Its Fate in Contemporary China;Criminal Law Fiction : An Analysis of Its Function and Application Rules;How to Define Illegal Financing : A Critique of Legal Interpretation of Illegal Financing by Supreme Court;

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Mao Zedong' s "Three World Theory" underwent three stages of development: the "One Intermediate Zone" thought, the embryonic form of the theory, was put forward in the 1940s-50s; the "Two Intermediate Zones" thought, taking shape in the 1960s, was the rudimentary form; and the early 1970s witnessed the perfection of the theory. Mao Zedong developed the "Three World Theory" with sovereignty and national interests as the logical starting point, the theory of unity of opposites as the philosophical foundation, the Cold War as the historical background, and fighting against hegemonism as the major diplomatic strategy.

  15. Abstracts

    International Nuclear Information System (INIS)

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

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The present situation and development countermeasures of Chinese mud logging operations. Liu Yingzhong, Li Yichao and Liu Zhenjiang. Mud Logging Engineering, 2012, 23 (2):1-7 From mud logging data interpretation and evaluation, acquisition, data processing, equipment, software and mud logging information etc. , the authors summarized the development status of Chinese mud logging techniques, and the contributions that mud logging technology made in speeding up drilling, regional geological research, well location optimization etc. with timely detection and accurate evaluation of oil, gas and water layers, a comprehensive analysis was made to the challenges faced by mud logging technology in aspects of the complex hydrocarbon reservoirs evaluation,

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The paper summarized the status of foreign mud log- ging technology from geological logging, engineering logging and mud logging informalization and put forward the future development direction of mud logging technique. The abroad geological logging focuses on micro-nalysis, in which the cutting CT scan, laser element analysis and field gamma scan are used as important means of setting up the geological profiles.

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Mud logging subject and its speciality construction is an important practical issue in the field of mud logging engineering and accurately positioning mud logging subject and reasonably setting mud logging speciality have an important significance for promoting and guiding the rapid development of mud logging technology.

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Through-bit-logging (TBL) technology is developed corporately by Shell and Reeves Oil Company. It can replace standard cable logging and logging while drilling technology. It has characteristics of saving cost and convenient operation.The principle is to transmit the logging tool into borehole through drill rod with a special bit. The acquired formation evaluation data are read on surface from the wire line tool or stored in the tool before pulling out the hole.The paper introduces the principle of work, advantages and development trend of TBL, and cases of its application in rough borehole in North Sea fields. Finally development of TBL technology is summarized. Keywords: TBL; logging while drilling wireline logging

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    The establishment of spectroscopy logging theory and application prospects. Zhu Genqing. Mud Logging Engineering, 2011,22(3) :2-6,28 Based on a lot of research and years' practice and set ting out from the purpose of enriching the basic theory of mud logging technology, the author described several spectroscopic methods and theories commonly used in mud logging technology and explored the concept of the spectroscopy logging and the views to establish mud logging theory svstem.

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Ma Xiwu' s trial mode is a model of adjudication in the Shaanxi-Gansu-Ningxia Border Region, resulting from the joint forces of the border region' s specific wartime environment, local environment, the border region' s social transformation and judicial reform as well as many other factors.

  2. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    China's roles in the rice cultivation culture in the world---the inventor of artificial cultivation of rice; Zhuang nationality's roles in the artificial cultivation of rice in China--the earliest inventor of artificial cultivation of rice; Longan County's roles in the rice cultivation culture of Zhuang nationality---the most concentrated and most splendid exhibition place and the biggest highlight for the rice cultivation culture of Zhuang nationality. Key words: Longan County; rice cultivation culture; biggest highlight

  3. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Scientific Culture and Cultural Science (p.1) Today science advances at an astonishingly high speed, and driven by the ideological and industrial revolutions, it even becomes a dominant culture in the society and is respected as the supreme authority. However, the scientific culture, which plays the leading role in the industrial civilization, turns out to be more and more alienated from culture and humanity, resulting in the so-called cultural confusions and loss of humanity. This article, investigating the phenomenon deeply, argues that science has no privileged position over the other cultural traditions, and suggests that science identify itself as a member equal with the other cultural patterns in the society in order to restore its cultural connotations. It is believed that by establishing the cultural science, we can bring culture and humanity back to science.

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Chinese foreign trade enterprises enter the crucial period of transformation and upgrade The global economy is likely into a long-term downturn and recovery is difficult. For a long time, the foreign trade development environment is difficult to be improved obviously. Many negative factors are overlaid and will bring the foreign trade greater challenge. Impacted by the dual factors of intemational market fluctuation, domestic economic environment tightening,

  5. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Concept Construction and Empirical Analysis of Social Integration for Rural-Urban Migrants in China; Under the Dual Structure of the Triple Migration Model: A Shortage of Migrant Workers, a New Research Framework;Cultural Meanings of Chinese Guanxi: A Viewpoint of Management Scholars;Determinants of Banking Efficiency: Cross-Country Evidence;

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Summary of Construction of a Hz S-based Sulphuric Acid Unit for a Large-sized Synthetic Ammonia Plant/Development and Application of New Process for Yellow Phosphorus Filtration during Yellow Phosphorus Production/Review of the Low-temperature Heat Recovery System of 250 kt/a Sulpharic Acid Plant of Shandong Bofeng/Technology for Combined Production in Compound Phosphate Fertilizer Plant of SHCCIG/Practice of Fouling Removal with Sulphuric Acid in the Cooling Water System of 400 kt/aSulfuric Acid Plant Based on Sulphur Burning/Production of Nitro-compound Fertilizer with Nitric Acid and Sulphuric Acid Method/Application of Tantalum Heat Exchanger and Glass Equipment in Spent Sulphuric Acid Concentration

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    A Representative work that Vainly Attempts to Westernize China On Yang Ji.sheng's Paper "My View of Chinese Pattern" XU Chong-wenAbstract: Mr. Yang Ji-sheng calls economic connotation of Chinese pattern "market economy of power" with all sorts of drawbacks, it is to take the problems that Chinese model deliberately struggles with and even the objects must be resolutely eliminated as the parts of Chinese pattern, thus they are absolute nonsense; he boils down political connotation of Chinese pattern to "authority politics" of "thoroughly denying modem democratic system",

  8. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Representation or Construction? An Interpretation of Quantum Field Theory Abstract: In this essay, I argue that the basic entities in the causality organized hierarchy of entities that quantum field theory describes are not particles but fields. Then I

  9. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Analyses and Suggestions on Coordinated Regional Development of Insurance Industry in China GUO Jin-long Abstract: Through studies on the coordinated development status between insurance industry and social economy in China from 2005 to 2009, it is found that the coordination between insurance and economy remains slightly imbalanced in most of the provinces and cities in China, with only a few provinces and cities showing low-degree coordination in 2007. As a whole,

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Research on the Necessity of Building Intercity Transit System within Changsha-Zhuzhou-Xiangtan Metropolitan Huang Weili 4 To plan and build intercity transit network within Changsha-Zhuzhou-Xiangtan metropolitan will not only meet the rapidly increasing demand for passenger transport service and promoting the integration and urbanization of the metropolitan, but is also the necessary measures to build energy-saving and environmental-friendly society, and realize sustainable development.

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Discussion on Geological Exploration Culture and Core Value System of Geological Exploration Industry PENG Qiming(Ministry of Land and Resources, Beijing 100812, China) Abstract: Since the convening of the Sixth Plenary Session of the Sixth Central Committee of the CPC, the function of soft power of culture construction has been attracted widespread attention. For geological industry, an important factor which restricts the development of this industry is the culture of geological prospecting, while the key point is to establish the core value system of geological exploration industry. This paper introduces the role of the core value system of geological exploration industry, these include: guiding the direction and trace of industry development; gathering strength and forming resultant force; setting up the confidence and determination of inspiration; and establishing professional and ethical standards and behaviors. This paper offers some specific methods required for developing the advanced culture of geological industry,

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    @@CONCURRENT SESSION: FOOD AND WATERBORNE DISEASES      Chair  Prof. Liu Xiu-mei, Institute of Nutrition and Food Hygiene (CAPM), China   Co-chair   Dr. Jorgen Schlundt, World Health Organization, Switzerland   1530-1545 hrs Emerging Foodborne Disearse: An Evolving Public Health Challenge   Robert Baldwin, Center for Disease Control, USA   1545-1600 hrs Food Poisoning Typicality in Food Safety Vulnerable Area of Indonesia   Adil Basuki Abza, Bogor Agricultural University, Indonesia   1600-1615 hrs The Management of Food Poisoning in China   Li Tai-ran, Institute of Food Safety Control and Inspection, Ministry of Health, China   1615-1630 hrs Detection of Campylobacter Species Using a Fluorogenic Real-Time PCR Detection System   Hai-yan Wang, Bureau of Microbial Hazards, Health Canada, Canada   1630-1645 hrs An Overview on Bongkrekic Acid Food Poisoning   Liu Xiu-mei, Institute of Nutrition and Food Hygiene (CAPM), China   1645-1700 hrs Screening Procedure from Cattle Feces and the Prevalence of Escherichia coli O157 in Taiwan Dairy Cattle   Chin-Cheng Chou, Taiwan University, Taibei, China

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

  14. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Post-Western International System and the Rise of the East;Hegemonlc Dependence and the Logic in the Declining Asceudance of Leading Powers;Constructive Leadership and China's Diplomatic Transformation;The Bargaining Model of International Mediation Onset:A Quantitative Test;The Imnact of Gender Differences on National Military Expenditure

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

  16. Abstracts

    International Nuclear Information System (INIS)

    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

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    ( 1 ) Overview on the Political and Economic Situation in Southeast Asia in 2011 Wang Shi-lu · 1 · Abstract: Being affected by negative factors home and abroad, all countries of Southeast Asia faced pressure in maintaining stability and pushing development in 2011. Despite all that, the relatively stable politics, better economic situation as a whole in Southeast Asia remained. Though security situation was grim, all governments took proper measures to resolve crisis. Meanwhile, regional cooperation was pushed forward in Southeast Asia , and achieved some results.

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Application of UIC standards to Chinese railway traction diesel engine industry WANG Xian (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China) Abstract: The development, main contents and the practical application of the standards for type test for Chinese railway traction diesel engine were discussed. Key words: UIC standards; locomotive diesel en- gine; type test

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    When discussing the maturation of Chinese sociology, one has to reconsider the relationsbetween Western sociology and Chinese sociology and distinguish the flows from their sources ifone wants to find a way forward for Chinese sociology. Chinese sociology should view theresources of homegrown sociological tradition as a "source, " which is represented by "qunxue"(literally the study of groups).

  20. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Power, Space and Inner Structure of Blocks--on Rue Massenet of Shanghai MA Xue - qiang This paper dwells on the formation and change of Rue Massenet in modern Shanghai, and studies Rue Massenet' s history as a road as well as a block. It also investigates the structure of the block and reveals its inner function features. The analysis of Rue Massenet which is regarded as a "sample" of modern block type helps expand and deepen the researches of urban history research.

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Ensuring Public Ownership Still Playing a Main Role in the Reform of Ownership System;Karl Marx Had Never Been Offering '"a Large Social Factory' Model" --On Wu Jing-lian' s "On Socialist Model";

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Torch festival is Xinghui festival in ancient time, which is popular in Yi, Bai, Han and other ethnic groups in Yunnan, Guizhou, Sichuan and other places and generally held in late June and late December, and its significance marks the beginning of the new year. The paper demonstrates its original nature and ancient origins with the help of the relic of Two Divisions of a Year in Yi calendar and Yi's traditional stellar observational method. Furthermore, the paper discusses the problem of Higher Culture in Chinese ethnology and elaborates the importance of documents and archives to the studies of ethnic civilizations on the basis of the origin of Torch festival.

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    THE MAIN SAFETY MEASURES AND VISTA OF THE SUCCESSFUL EXPLORATION AND DEVELOPMENT OF THE " THREE HIGH" GAS FIELD IN NORTH-EAST OF SICHUAN PROVINCE[ 1] Peng Guosheng (SINOPEC Safety & Environmental Protection Bureau, Beijing , 100728) Abstract: Based on the special safety risk of "Three High" gas field in north-east of Sichuan province, this paper makes a systematic analysis on the necessity of special supervising and managing measures taken by SINOPEC during exploration and development.

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Zhang Xionghui, You Chang, Tang Jie, Zhou Qizhi, Xu Feng, Li Ganghan and Ma Yan. Development of a series of logging tool long-time working under high temperature and high pressure condition. PI, 2012,26 (3) : 1-3

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    STUDY ON THE FEATURES OF DIFFERENT REFLECTION IN TAHE OILFIELD PALEOCAVES RESERVOIR/Jianfeng Wang, Pei Jin, Xinhua, Li et al. Northwest Oilfield Company of SINOPEC, Urumqi, Xinfiang ,830011/Xinfiang ShiYou TianRan Qi ,2011,7 ( 3 ) : 1 - 5 Abstract:In This paper, in the light of Seismic migration section and tectonic analysis data, seismic echo styles of Tahe oilfield paleocaves reservoir in time migration are summed up; different reflection features are classified. In the meantime, the classification criteria of quantizing identification with reservoir seismic echo model is established. With those methods above, the paleocaves reservoirs forecasting degree and well arrangement ratio are improved, the risk of developmental drilling is reduced and efficiency is reduced. The high development efficiency in Ordovician paleocaves reservoir is fulfilled. Key Words : Tahe Oilfield ; Paleocaves Reservoir; Reflection features ; Quantizing identification ; Reservoirs forecasting

  6. Abstract

    Directory of Open Access Journals (Sweden)

    Newton Carneiro Affonso da Costa Junior

    2003-01-01

    Full Text Available The present study has the objective of verifying if simultaneous investments in several international stock markets are more attractive than in only one national stock market, in other words, if the first ones present a superior risk-return relationship. It can be admitted that if there is a total integration among the analyzed countries, there is little advantage in the international diversification, but if the countries are less integrated, the diversification would bring advantages in risk-return terms. The empirical work is based on Markowitz portfolio theory, CAPM and in the portfolio performance measures of Sharpe, Treynor, and Jensen. The analysis was made for the period of February 1993 to January 2003, based in the most liquid stocks negotiated in the stock market of the main countries of Latin America. The results showed that portfolio diversification in international markets is a better approach.

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    Shortly after the People's Republic of China was founded in 1949, it wasnecessary and in its interest for China to join the socialist camp led by the SovietUnion. In 1954, China proposed the five principles of "peaceful coexistence". Atthe Bandung Conference in 1955, China, India and Myanmar jointly advocated thefive principles as a means of good governance in Asia and the whole world. Earlyin the 21st century, China proposed a new concept of "win-win cooperation" as animportant principle for international relations in the new global era.

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Severe Damage of Absorbing Foreign Capital Must Be Correctly Observed Accelerating Transformation of Economic Development;Lenin Had Never Set Forth a "National Syndicate" Pattern;Talent Allocation for Undertaking Service Outsourcing of China;Preliminary Management for "Urban Disease" during British Industrialization;Comprehensive Review on Review on Risk Management of Sports Tourism in China;

  9. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Fellow Townsman in Shanghai and Political Action During the Modern China YE Zhou There was an important change in fellow townsman' s political action in the modern China. Shanghai became the important center of fellow townsman and some ideas have been changed. This essay think although there was some new change in organization and ideas, but blood -geographical complex and political interest arrested the fellow society play a more important role in modem political activity.

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    In order to study the state development of fuel-spray in the combustion chamber of TBD620 diesel engine, a spray visualization system was construc-ted by the method of flash photography capturing images of fuel spray at different times. Fuel injection characteris-tics changes were studied by changing the fuel injection pressure and the spray wall-impingement was discovered, which provides a basis of structural optimization for the combustion chamber.

  11. Abstract

    Directory of Open Access Journals (Sweden)

    Alexandre Costa Quintana

    2003-01-01

    Full Text Available The purpose of this article is to show the importance of the Cash Flow Statement and the Value Added Statement as effective instruments of financial management, due to the information that these statements can provide. To demonstrate this, a financial analysis of the principal financial statements of the Empresa Transmissora de Energia Elétrica do Sul do Brasil S.A. – Eletrosul – was made and in particular, a detailed analysis of the Cash Flow Statement and the Value Added Statement. To do this, the financial statements published by the company were obtained. First, liquidity ratios from the Balance Sheet were calculated and, subsequently, an analysis of the Cash Flow Statement and the Value Added Statement was made. This was done to demonstrate that the information obtained from the Balance Sheet could be better detailed by the use of the referenced statements, showing in the end that alterations in the liquidity of the company can be explained by the changes in the ways in which the company used its cash resources.

  12. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Critique of Contemporary Anti-Marxism Ideologies --Based on Thoughts of the "Four Major Boundaries";The Conflict on Public Ownership: A Comparison between the Socialist Market Economic Theory and the Theory of Market Socialism of British Labour Party;On The Germination of Marxist Theory of Property;Aesthetic Transformation of Mass Media for Socialist Core Value System;

  14. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Probe into The Production of Songhua Inkstone in Kangxi period and His Bestowing Them upon His Subjects;A Study of Kiln-Firing Production for Construction of Beijing in The Ming Dynasty: Focus on The Changes of Kiln Sites, Product Structure and Manufacture System of Supplies;More on The Design of The Large Timbers in The Structure of Daxiong Dian(Hall) of Fengguo Temple of Yi County with The Enlightenment from The Latest Research Available;

  15. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Changing the Means of Structural Adjustment for Transformation of Development Pattern SONG Ze Abstract: History of China's reform and opening up has proven that government-led industrial structural adjustment is unsuccessful. Facing the new situation and economic development tasks, new ideas of industrial restructuring should be clearly put forward that the government will create conditions to adjust the structure by the market. During the Twelve-Five Years, the most priority should be how to reform the way how to change the structural adjustment. If the "structural adjustment" approach, especially in the manufacturing sector can not be changed, many goals on economic transition are likely to fall again. Under the circumstance it is necessary to accelerate the development of a unified, open and orderly modern market system, and effectively implement the market-pushed industrial restructuring approach, and strengthen the intermediary function of finance and inner trade and create good policy environment conducive to promoting the services sector in the process of structural adjustment and industrial upgrading. Key Words:industrial structure; adjustment approach

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The wisdom of practice exists in its conceptual form as an inherent part of man and functions in the process of practice. It coheres as the quality of virtue expressed in value orientation and contains cognitive experience of the world and of man himself. The two permeate man's actual capacities or powers. Aiming at completion of the self and of things, the wisdom of practice integrates theoretical and practical reason and reflects the unity of understandinl~ the world and transforming the world.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    He Xinyin as a Confucian Reformer and His Worship of Confucius Abstract:This paper regards He Xinyin, a member of Taizhou School, as a reformer of Confucianism. The reform means to transforming traditional Confucianism which is inti- mately linked with political institution into an independently religious one. The conflicts between Confucian orthodoxy and politics in reality intensified after the Jia.-jing Period in the Ming Dynasty. He Xinyin carries forward his predecessor Wang Xinzhai's theory of "political involvement or retiring from political life", and constructs a set of Confucian in- stitutions, which is independent of politics. On the basis of respects and honors of Confu- cius, He Xinyin~s Confucian institutions enables people to respect and love each other, and makes Confucius~s benevolence and righteousness come true.

  18. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Characteristics of Modern Tianjin Salt Merchants Culture As a new commercial culture in modern China, Tianjin salt merchants culture has its own different characteristics, such as luxury consumption culture, political culture, religious scholar culture and moral culture. In these cultures behind embodies the Salter group's behavior pattern and psychological structure.

  19. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Discussion on the Training Model of Training the Nursing Humanistic Quality by Employing the College English Teaching Li Hongfeng (Nursing College of Zhengzhou University, Zhenghou, Herman, 450052) Read and Write Periodica,vol.8, No.11,27,2011(ISSN1672-1578,in,Chinese) Abstract: The college English, as one of the most important public humanities courses in the curriculum system of collegiate nursing education, its teaching has positive orientation of human values and strong function in humanistic quality education.

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Applications of converted-wave anisotropic prestack time migration in LMD area. Zhang Liyan1, Li AngI, Pei Jiangyun1 and Song Zongpingz. OGP, 2012, 47(5): 683-689 Media anisotropy affects greatly converted- wave imaging for large offset gather. Based on non-hyperbolic NMO equations of converted-wave anisotropy, we propose a simple and practical high precision Gamma (Average velocity ratio of P and S wave) field building method and a structure ve- locity scanning method in this paper. These two methods can obtain accurate Gamma field and con- verted-wave RMS velocity field. Migration travel time can be calculated by anisotropy double square root scattering travel time equation. The applica- tion of the methods on 3D3C data in LMD area,

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2014-01-01

    How can an ordinary Chinese do better in contributing to national reputationthrough public diplomacy? All they need to do is to tell stories of their own and ofothers' around them in an appropriate way. These stories are from the daily life, theyare real, rich, natural, vivid, lively and easy to understand, but not so rhetoric. They canmove people deeply and improve the image of China and Chinese people successfully.

  2. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Beliefs and Establishment of Their Orders —— From Sociological Theory Perspectives of Chinese Beliefs LI Xiang-ping Abstract: To understand the "harmonious" phenomena of China's history and culture and their concepts, the key is to understand and recognize its beliefs. Chinese beliefs and their social practice are closely related to establishment of harmonious social, historical and cultural orders in China. In fact, Harmony can refer to either a value target or a social reality, and it is also a kind of belief. The establishment of harmony based on certain beliefs, moral orders, political orders and power orders are basic components of social and cultural harmony. This article, from a sociological theory perspective of beliefs, discusses the positions and roles of different beliefs in building harmonious cultural orders in China, and it then aims to find out some rules of dual changes in Chinese society and Chinese beliefs. Key words: belief; order; harmony; sociological perspectives of belief

  3. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    As the institutional quality audit is being conducted in some pilot provinces,different interpretations of it have occurred,some of which appear to be misleading.This paper is to redefine it in terms of thematic focus,role,value and method to facilitate its implementation.It proposes that the institutional quality audit should keep consistently focused on internal quality assurance,in-volve various stakeholders,enhance its empowerment function and develop itself into a comprehen-sive and systematic approach to continuous quality improvement.

  4. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Function Ascriptions of Technical Artifacts (p.1) CHEN Fan, XU Jia (Research Center for Philosophy of Science and Technology, Northeastern University, Shenyang, Liaoning, 110004) Abstract: The function of technical artifacts is mind dependent. It is an ontologicaUy subjective entity and an epistemologically objective judgment. Function ascription is a general form of technical function in the epistemological sense. Function ascriptions may be taken in a descriptive and in a performative sense. The former can be called function ascriptions for short and the latter function assignments. The mind dependency of the function of technical artifacts is grounded in performative function ascriptions instead of descriptive function ascriptions. Key Words: Function ascriptions; Descriptive function ascriptions; Performative function ascriptions; Function assignments

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    QUALITY MANAGEMENT AND CONTROL DURING START- UP OF THE 1.0MT/A ETHYLENE PLANT IN ZHENHAI[ 1 ] Jiang Minding, Chang Mingkun. SINOPEC Zhenhai Refining & Chemical Company, Ningbo Zhejiang, P. C. 315207 Abstract: Zhenhai ethylene project was put into operation suc- cessfully in 2010, and rich project management experiences were accumulated during the preparation process. Strict project quality management during pipeline blowing, system hydrosta- tic testing, chemicals filling and preparation before drying - out of cracking furnace can eliminate the hidden dangers, and cold tightening of flanges in cryogenic section during startup can minimize flare discharge.

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Case Studies of The New Young Man at Ministry of Organization's Editing Li Pin The editing of The New Young Man at Ministry of Organization wins its fame in the modern history of Chinese editing and pub- lishing for its conscious intensification of anti-bureaucracy theme, and its embodiment of the editing pursuit of Qin Zhaoyang, Peo- ple's Literature's executive editor-in-chief. After Mao Zedong's proposal of public criticism, China Writers Association persisted in editing reason, discussed related theoretical and practical problems in the form of panel, and brought forward the title of unknown heroes for editors, which means a milestone in the modern history of Chinese editing principles.

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Conbating Poverty and Inequality: Structural Change, Social Policy and Politics United Nations Research Institute for Social Development As UNRISD's latest reflection upon poverty alleviation and inequality, this report advocates an approach that pu

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Look in the Mirror of Personality Left by Liang Qichao The New Preface to His Reflecting Moral This article is my new foreword of Reflecting Moral, which had been edited and written by Liang Qichao in 1905, and has just been recommended as one of the moral readers of Tsinghua Academy of Chinese Learning. I point that the exhortation of our univer- sity proposed by Liang Qichao has its original determination in his mind himself, which had already been compiled in Reflecting Moral more than a century ago.

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Several Issues Concerning the Studying and Writing of Contemporary History of Chinese Philosophy,Bio-Archaeological Research of the Ethnicity of Lamadong Sanyan Burials,An Exploration of the Construction of the Original Theoretical System of Contemporary Chinese Arts

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    The Relational Capital, the Institutional Environment and the Validity of the Payment by Fiscal Transfers;The Framing of the Clauses of the Company Regulations, the Protection of the Law for the Right of Investors, and the Company Governance: Evidences f

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    A Discussion on Theme Slogan and Logo of Tourism Image Beautiful Hubei also on Hubei Tourist Attractions and Branding :Cao Shitu Han Guowei (2) Abstract: The paper analyzes the deficiencies of the existing theme slogan and logo of tounsm, image Beaufil Hube by using the methodology of tourism image-building, and then puts forward new theme slogan and logo Magnincent Huoei Door to Magical Landscape and Romantic Culture"as well as the idea of b uildingtouri"brand "Magical and Romantic Tour".

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2014-01-01

    Peace is one of humanity's eternal pursuits; conflict, however, is a part of humandestiny. In the course of pursuing peace, religion, as a major practical form of publicdiplomacy, has played an important role in averting conflicts between differentcivilizations. By upholding the ultimate goal of promoting mutual understanding andtrust between different countries and peoples and world peace, the Charhar Institutehas since its founding actively facilitated a religious peace movement focusing onexchanges between the Buddhists of China and South Korea. Serving as a typicalexample of public diplomacy, this has been an important element of the institute'sactivity, and achieved fruitful results. The integration of public diplomacy and religionhas proved itself to be good for the peace effort sof humanity.

  13. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The flue gas flow in entrance of electrostatic precipitator was simulated by Fluent software. Base on the simulation result, a new corona wires arrangement method was proposed for better gas flow distribution. The results indicated that when the corona wires in entrance of two adjacent flues arranged in parallel, the high speed ion airflow occurred in strong electric field would hamper the even distribution of flow, while when the corona wires was staggered arranged, it would benefit to the even distribution of gas flow in precipitator and further improve the dust removal efficiency. This result can provide very important guidance to the transformation and the design of electrostatic precipitator.

  14. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Management fraud and auditing scandals became more serious since the 70s-80s of the last century, so that the independence of CPA faced nprecedented challenges. Growing emphasis was put on the independence of CPA on which the academic research deepened too. This article analyzes the nfluence of the independence of CPA from the conflict of the owners / shareholders, managers, and CPA. By analysing the balance of power of those conflict nd the factors that restrict them, and basing on a summary research in this area of other scholars, this paper put forward a CPA conflict model based on the orporate governance structure, and suggest on the issue of how to protect the auditing independence under this new model.

  15. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    An Exploration of the Origin of the Yue People in Lingnan (by BAI Bing) Abstract: Investigations into the origin of the Yue people in Lingnan based on reliable archaeological data, literature, and data concerning nationalities, and by means of periodation, backward inference, and paleographic knowledge show that the Maba people living 129,000 years ago were probably the main body of the ~ue people. From their ancient ancestry to the Warring States period, the ~ue people underwent continuous evolution. They were probably aboriginals of local origin. There were continuous exchanges between the various tribes of the Yue people and they incorporated each other. Key words: Lingnan; the Yue people; origin

  16. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Interactive Combination of Teacher's Map and Students' Map in Distribution Approach;Instructive Operation in Classroom Teaching;Empirical Study on Effect Factors and Evaluation of Education Service Fairness in Jiangsu Colleges;Analysis on Feminist Literary Criticism in Modern China;On Characteristics and Construction of Learning-oriented Party Organizations;

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    COSCO Shipping semi-sub veseis POOL achieving new progress On August 8, 2012, the second member China Zhejiang Xiazhiyuan Ship Management Co., Ltd. joined the semi-submersible vessels POOL created by COSCO Shipping Co., Ltd. (COSCOL) earlier this year. The new member comes after the Guangzhou Salvage Bureau of the Ministry of Communications, who joined the semi-submersible vessels POOL in February. The capacity structure of the COSCO Shipping's semi-submersible vessel POOL can be further optimized in 20000, 30000, 40000 and 50000 DWT and achieved universal coverage, which powerfully promoting the brand of appeal. COSCO Shipping Co., Ltd. owns and operates nearly 100 ships including semi-submersible, heavy lift, multi-purpose, ro-ro/Io-lo, general cargo ships and pure car carriers. Among them, semi-submersible vessels are the leading.P18

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Design of the LabVIEW-based test stand for diesel engine hydraulic governor ZHANG Wei-dong1, LIU Li-hua2, ZONG Ya-ping1 ( 1. Air Force Radar Academy, Wuhan 430019, China; 2. Second Artillery Command College, Wuhan 430019, China)Abstract: the test stand The structure for diesel engine and working principle of hydraulic governor were introduced. The user interface, speed governing curves display and data analysis were realized by IabVIEW to conduct calibration and draulic governor diagnosis for diesel engine hy-

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Another Cost of Rights : State Identification and Its Western Experience OU Shujun The Western Experience of State Identification shows that identification is another cost of rights, a prerequisite for constructing the rule of law and good governance. Identification is the most infrastructural public goods that should be supplied by the government, and its publicness comes through in that it almost is a precondition for all state institutions, so it can be called the most infrastructural power of national governance system. In the fourfold-building process of one country under the rule of law, a state rule by law, a tax state, a welfare state and a regulatory state, a modem state increasingly needs to enhance the state identification capacity, so that the majority can be involved in the state identification system, which in turn will accelerate the process of state-building, make law and policies more effective, minimize the intermediate cost of communication between states and individuals, and eventually realize good governance by focusing on the expectations of the majority and serving for the majority. The people seeking a strong democratic country under the rule of law must face up to the fact that identification as a kind of govemmentality has been institutiona/ized and routinized in advanced indnstrial democracies.

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Be Independent from Autocracy: a Comparison Between Wang Yuanhua and Gong Zizhen Also on the Depth of Wang Yuanhua's Thinking on the Eve of the Ideological Emancipation Movement Xia Zhongyi In 1977 ,Wang Yuanhua began to appreciate Gong Zizhen, not only because they were similar in temperament, context and situation, but also because Wang Yuanhua had found out the element of personal liberation in Gong zizhen's saying Be Independent from Autocracy, which shows that Wang Yuanhua's realization of the personal value was earlier than Li Zehou ( who established the Subjectivity Outline in a Kant's Way in 1979 ) and Wang Ruoshui (who proposed that personal value is the basis of Marxism in 1981 ) , and Wang Yuanhua's contribution in study Chinese by Chinese experience.

  1. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On Chen Xianzhang's Moral Culture Blending Confucianism and Daoism (by ZHANG Yun-- hua) Abstract: Chen Xianzhang, who experienced and witnessed the social changes during the Ming Dynasty, achieved direction change of the scholarship and culture of his time from the rationalistic attitude to the idealistic philosophy through shattering the fetters and bold innovation in order to redeem people's spirit, save society, and rebuild the moral subject philosophy. Chen's elaboration of life and death, suffering and happiness, fame and gain, and retreat and withdrawal in this cultural shift reveals the characteristics of his moral culture blending Confucianism and Daoisrn. Key words: Chen Xianzhang; life and death; suffering and happiness; fame; gain; retreat

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Research on the Theory and Standard of Peasants" Life Cycle Pension Compensation Mu Huaizhong Shen Yi· 2 · Thedifficulties of full coverage in pension system lie in rural farmers. In this paper, we put forward a "dual agricultural welfare difference" theory and apply it to the issues regarding peasants' life cycle pension compensation. Taking differential between equilib- rium and biased agricultural incomes as the key indicator, we build mathematical models of "dual agricultural welfare balance" and measure the size from 1953 to 2009. Our finding shows that China's "dual agricultnral welfare difference" has a fluctuation ranged be- tween 0.4 and 0.6. Based on life cycle characteristics, such as natural life cycle, policy and institutional life cycle, our suggestion is to compensate peasants' primary pension with a balance of "dual agriculture welfare difference" and other countermeasures.

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Fold distribution, offset distribution and azi- muth distribution in a bin have direct effects on ge- ometry attributes in 3D seismic survey design. If two adjacent bins have the same fold but different offsets, this non-uniform offset distribution brings some stack amplitude diversity in the adjacent bins. At present, 3D geometry attribute uniformi- ty of the most analytical methods is expressed by qualitative analysis chart. We introduce in this pa- per a uniformity quantitative analysis method for offset distribution by average value, square devia- tion and weighting factor. The paper analyses effects on offset distribution uniformity of different 3D geometry parameters by the proposed uniformi- ty quantitative analysis method. Furthermore, the paper analyses effects on seismic stack amplitude or frequency uniformity of different 3D geometry parameters by the seismic wave modeling. The re- suits show that offset distribution uniformity is in good agreement with seismic stack amplitude or frequency uniformity. Therefore this improved method can be considered as a useful tool for ana- lyzing and evaluating 3D geometry attribute uni- formity.

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Performance and application technique of seismic instrument are related closely to oil and gas exploration effect since seismic instrument is core equipment used in geophysical prospecting. This paper discusses broadly the seismic instrument' s development principle and the relation to geophysical exploration technology from the point of the development needs of geophysical exploration technology. Meanwhile, it gives a systematic introduction to the progress of the seismic instruments over the world using new products or new technology issued in 2011 "EAGE" and "SEG" annual exhibition, hoping to promote a wide understanding of the contemporary seismic instruments and improve the comprehensive application of them.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Judicature, Public Opinion, and Politics at An Age of Disordered Legal World View :A Study Centered on the Case of Li Changkui The Case of L/Changkui represents a kind of simple "hard case", in which whatever the judge made a de- cision, result of the case failed to gain good social and legal effects, and the causation, however, rested on the internal system of judicature. The Case of Li reflects an age at which legal world view is deficient in coherence and integration. Although it's not an exclusive problem for China that judicature, public opinion and politics in- teract complicatedly, and the society shows distustt upon the criminal justice system, it reveals that, in the case of Li, some judicial personnel and academics hold an uni-dimensional and prejudiced understanding on the credi- bility, legitimacy and stability of judicature.

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    GIVE FULL PLAY TO THE ADVANTAGES OF REFINING-CHEMICAL INTEGRATION FOR THE EXPANSION OF PETROCHEMICAL DOWNSTREAM INDUSTRY CHAIN [ 1] Zhao Yan. CNOOC Huizhou Refining Company, Huizhou, Guangdong, 516086 Abstract: Taking the current situation of the petrochemical industry base which has taken shape in Huizhou Daya Bay Petrochemical Industrial Park into account, this paper frames up the development assumption of refining-chemical integration brought along by large-scale refining and ethylene projects in CNOOC and Shell Petrochemicals Company with such projects as flagship. It mainly analyzes the advantages and importance of constructing industry base with refining, ethylene, chemicals and fine chemicals in Petrochemical Industrial Park which extends the industry chain, broadens the petrochemical market of Pearl River Delta and boosts the core competence of the industrial park.

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Practice and Discussion to Achieve p( SO2 ) ≤400 mg/m3 in Tailgas Emitted from Sulphuric Acid Plant Using New AS Series Catalyst;Progress and Prospect for Application of Lithium Iron Phosphate Modification Technology in China;Technological Progress in Wet-process Phosphoric Acid Concentration Plant of China;

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    Type-selection design of axle box bearing for high-speed passenger car bogie LIANG Yun, XIA Chun-jing (Changchun Railway Vehicle Co., Ltd., Chang- chun 130062, China) Abstract: This paper elaborates type-selection analysis of axle box bearings for high-speed passenger ear bogie and introduces the main influence factors of type- selection and life calculation of bearings.

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Large-scale hydropower units excitation transformer design characteristics and insulation mode choice,CFD analysis and upgrading of bulb tubular turbine runner,Technical reform and operation analysis of 500 kV bus protection in Ertan Hydropower Plant

  11. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    1.Lessons Normalization the Past. Inspirations for the Present-- omatic Relations between China and Ja the 40th Annive by Wang Taiping, President of China-Korea Economic Development Association, a council member of China-Japan Friendship Association and an executive member of China Society for the History of China-Japanese Relationship. Since the normalization of diplomatic relations between China and Japan 40 years ago, interactions and cooperation between the two sides in various areas have reached to a level never seen before, while at the same time serious cases full of reversals and zigzags occurred from time to time in quite a few areas. How China-Japanese relations can be promoted?

  12. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Sino-Japanese Relations Entering into a New Transitional Period: Discussion on the Choice of Path to Strengthen Mutual Strategic Trusts WU Jinan China and Japan have celebrated the 40th anniversary of the normalization of diplomatic relations with apparently growing discordance. Noticeably, the great progress the two countries achieved in their exchanges and cooperation in all realms in recent years came along with highlighting structural contradictions and antagonism. Lack of mutual strategic confidence between the two countries has become the largest obstacle to the otherwise sound and stable development of the bilateral relations. China and Japan must read and grasp the overall situation of the bilateral relations from a strategic point of view, expand the convergences of their common strategic interests and overcome the estrangement and suspicion between each other, before they will advance Sino-Japanese relations into a new stage.

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Safety operation analysis of no-collar turbine guide bearing for huge hydraulic turbine;Discussion on overvoltage protector configuration of 10 kV vacuum circuit-breaker on feed line side;Design strategy of GPS and CNSS clock synchronization system in hydropower station;Study and application of PCC intelligent speed governing system based on MODBUS communication protocol

  14. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    1.China-U.S. Relations and the Setuv of Asia-Pacific China Institute of International Studies, a member by Shi Yongming, Associate Fellow, of the editorial board of "Peace and Development" magazine and a guest researcher of CPDS. The Asia-Pacific region is a confluence area where interests of China and the U.S. meet together. Development in China-U.S. strategic relationship will have direct impact on the the regional setup. Likewise, evolution and changes in that setup will also produce an effect on that alignment of relationship.

  15. Abstracts

    OpenAIRE

    2013-01-01

    Sandrine Dubel Université Blaise-Pascal de Clermont-Ferrand The ecphraseis embedded in the epic poems of the Hellenistic period involve numerous intertextual allusions to the many passages in which Archaic epic poetry describes precious objects or the lavish shades of metals and other materials: these intertextual allusions are for instance based on etymological wordplay or on transpositions from one art to the other. This paper focusses on several case-studies. An ecphrasis found in Apolloni...

  16. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Establishment and Distribution of the Police Stations in the Public Concessions in Modern Shanghai -Also on the Substitution Index of the Expansion of City Space WU Heng By analyzing relevant materials, this paper finds that the total number of police stations and the population is closely related to each other and regards it as the substitution index of city expansion. The author thinks that the urbanization of the public concessions can be divided into three phases, while this process is not in synchronization with the expansion of the land expansion of public concessions.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Analysis and forecast of the world economy The pace of global economic recovery has slowed down markedly and the risk of a sagging world economy has been increasing in 2011. However, the economic slowdown was taking place at different speeds in different categories of economies. The momentum of economic recovery in the developed economies is clearly insufficient, and its economic growth rate is far lower than the rate of the emerging economies and has declined much more than that of emerging economies. Many big developed economies are facing very severe employment situation now, while the space of the their fiscal and monetary policies have been compressed by the upgrade of the sovereign debt crisis and long-term low interest rates, which are associated with the turmoil in international financial markets, the sluggish growth of international trade and investment, fluctuations in international commodity prices, and aggravated social problems.

  18. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Research of Theory & Method Miscible Flooding Well Test Model With Carbon Dioxide Injection and Its Pressure Analysis. 2011,20(4):1 -4 Zhu Jianwei, Shao Changjin, Liao Xinwei, Yang Zhenqing( China University of Petroleum (Beijing) ) Based on miscible flooding well test analysis theory with carbon dioxide injection, the diffusion model of mixture components when carbon dioxide miscible with the oil and variation law of the temperature and viscosity are analyzed,

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    "Strategic communication" refers to practices involving the widespreaddissemination of information as well as contact activities for the purpose of nationalstrategic interest and objectives. Though people currently do not have a clearcomprehension of its definition, they are deepening their understanding. There is stillroom for its development in terms of theoretical research and practice. We shouldactively carry out research on mechanism building, communication targets and strategiccommunication content in order to serve our national strategies.

  20. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Establishment of Basic Line and Opening up of Socialist Road with Chinese Characteristics: Deng Xiaoping initiated the great practice of reform and opening up, put forward the road of Socialism with Chinese Characteristics, and formulated the basic line for this practice and road. This basic line played an important guiding role in opening up the road of Socialism with Chinese Characteristics; for which determined the historical position; for which established the important elements of rejuvenating the country; for which laid the foundation of our country; for which indicated the road making the country strong; for which cleared the struggling goal.(LI Jie)

  1. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    1.Influence of Formulating Code of Conduct in the South China Sea on China" s Defending, of its Rights and How to Deal with It,by Dr. Jiang Guoxue, a research fellow at the Center for Development Studies of the Asia Pacific Region in Guangzhou, Guangdong Province, and Dr. Lin Lanzhao, an associate researcher at the same center. In recent years, some countries concerned in the ASEAN, for the sake of restricting ChinaI s action and ensuring their vested interests, have made every effort to push forward with the formulation and signing of code of conduct as soon as possible. To sign and pass the Code of Conduct in the South China Sea is not conductive to China to protect its rights and interests in the South China Sea at present, however, it can win China time and space for the final solution of the issue. We should actively participate in and play a leading role in the process of the formulation of that code of conduct. In the meantime, we should speed up our resources development and tighten controls over those islands, reefs and adjacent waters in the South China Sea, and endeavor to enhance our comprehensive national strength, thus laying a solid foundation for the comprehensive and thorough settlement of the South China Sea issue.

  2. Abstracts

    OpenAIRE

    2009-01-01

    How talk about a social workers' culture ? Michel Chauvière The author first aims at specifying and problematising the notion of professional culture in éducateurs (french social workers specialised in youth work and/or care work) and uses for that purpose an open definition of culture, dynamised by the notion of « social world ». Two dialectically involved aspects of culture are then approached : on one side, what gathers, what is shared, and also what is used to protect the ingroup of profe...

  3. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Philosophical Analysis of the Essential Characteristics of Transgenic Technology: Based on the Comparative Studies of Different Breeding Ways (p.1);Public Recognition of the Issue of Technology Ethics of GM Corn in Contemporary China (p.7);Uncertainty of Commercializing GM Crops in China (p.13);Analysis of the Public's Perception of and Attitude to GM Rice and Guidance to Their Behavior: Based on the Data from Social Survey in Hubei Province (p.18)

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Current Situation and Prospect of Urban Transit Development in Mainland China The paper reviews the development of urban transit construction, networking operation and diversified technology systems in mainland China during the last 40 years. The paper also presents the short-term planning of urban transit in mainland China and the solutions for financing, construction period and operational cost etc.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    (1) New Forms of the "Production of Social Relations" under the Scrutiny of Social Engineering Tian Pengying In the Marxist perspective, the production and reproduction of social relations constitute the basic prerequisite and guarantee for human existence and development, and the establishment of an orderly and harmonious modern social relationship that promotes the coordinated development of material production and spiritual production is an important symbol of man's self-conscientiousness to adapt to, rely on and transform the society. The development, transformation and evolution of social relations is both a natural historical process and a creative process in which social subjects participate, design and construct.

  6. Remarks on abstract Galois theory

    Directory of Open Access Journals (Sweden)

    Newton C. A. da Costa

    2011-06-01

    Full Text Available This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007. Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic structures.

  7. Introduction to indexing and abstracting

    CERN Document Server

    Cleveland, Ana

    2013-01-01

    Successful information access in the digital information age requires robust systems of indexing and abstracting. This book provides a complete introduction to the subject that covers the many recent changes in the field.

  8. Nuclear energy and environment: abstracts

    International Nuclear Information System (INIS)

    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

  9. Biocards and Level of Abstraction

    DEFF Research Database (Denmark)

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

    2015-01-01

    in biocards. This was done in two workshops conducted with design students in Denmark and India. Students were given a design assignment and instructions for how to perform the BID ideation work. Half of the students were given biocards with abstract descriptions while the other half got biocards...... with concrete descriptions. The novelty of found solutions was evaluated by the students by rating novelty of each solution on a scale from 1 to 5. Mean values for abstract descriptions were 0,3 higher than for concrete descriptions indicating that more innovative solutions were found when students used...... biocards with abstract descriptions compared to concrete descriptions. The difference in mean value is significant with a confidence level better than 1%. It seems likely that more abstract descriptions in biocards helps avoiding design fixation in biomimetic design work....

  10. 09251 Abstracts Collection -- Scientific Visualization

    OpenAIRE

    Ebert, David S; Gröller, Eduard; Hagen, Hans; Kaufma, Arie

    2010-01-01

    From 06-14-2009 to 06-19-2009, the Dagstuhl Seminar 09251 ``Scientific Visualization '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, over 50 international participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and g...

  11. 09111 Abstracts Collection -- Computational Geometry

    OpenAIRE

    Agarwal, Pankaj Kumar; Alt, Helmut; Teillaud, Monique

    2009-01-01

    From March 8 to March 13, 2009, the Dagstuhl Seminar 09111 ``Computational Geometry '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general...

  12. 10081 Abstracts Collection -- Cognitive Robotics

    OpenAIRE

    Lakemeyer, Gerhard; Levesque, Hector J.; Pirri, Fiora

    2010-01-01

    From 21.02. to 26.02.2010, the Dagstuhl Seminar 10081 ``Cognitive Robotics '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Link...

  13. 10481 Abstracts Collection -- Computational Counting

    OpenAIRE

    Bürgisser, Peter; Goldberg, Leslie Ann; Jerrum, Mark

    2011-01-01

    From November 28 to December 3 2010, the Dagstuhl Seminar 10481 ``Computational Counting'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in ge...

  14. 06091 Abstracts Collection -- Data Structures

    OpenAIRE

    Arge, Lars; Sedgewick, Robert; Wagner, Dorothea

    2006-01-01

    From 26.02.06 to 03.03.06, the Dagstuhl Seminar 06091 ``Data Structures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goa...

  15. 05191 Abstracts Collection -- Graph Drawing

    OpenAIRE

    Jünger, Michael; Mutzel, Petra; Kobourov, Stephen

    2006-01-01

    From 08.05.05 to 13.05.05, the Dagstuhl Seminar 05191 ``Graph Drawing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals...

  16. 07021 Abstracts Collection -- Symmetric Cryptography

    OpenAIRE

    Biham, Eli; Handschuh, Helena; Lucks, Stefan; Rijmen, Vincent

    2007-01-01

    From .. to .., the Dagstuhl Seminar 07021 ``Symmetric Cryptography'' automatically was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar to...

  17. 06421 Abstracts Collection -- Robot Navigation

    OpenAIRE

    Fekete, Sándor; Fleischer, Rudolf; Klein, Rolf; Lopez-Ortiz, Alejandro

    2007-01-01

    From 15.10.06 to 20.10.06, the Dagstuhl Seminar 06421 ``Robot Navigation''generate automatically was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the...

  18. 07291 Abstracts Collection -- Scientific Visualization

    OpenAIRE

    Ebert, David S.; Hagen, Hans; Joy, Kenneth I.; Keim, Daniel A.

    2008-01-01

    From 15.07. to 20.07.07, the Dagstuhl Seminar 07291 ``Scientific Visualization'' was held in the International Conference and Research Center (IBFI),Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and ...

  19. 07191 Abstracts Collection -- Event Processing

    OpenAIRE

    Etzion, Opher; Chandy, Mani; von Ammon, Rainer

    2007-01-01

    From 06.05. to 11.05.2007 the Dagstuhl Seminar 07191 ``Event Processing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goa...

  20. Abstract Milling with Turn Costs

    CERN Document Server

    Fellows, M; Knauer, C; Paul, C; Rosamond, F; Whitesides, S; Yu, N

    2009-01-01

    The Abstract Milling problem is a natural and quite general graph-theoretic model for geometric milling problems. Given a graph, one asks for a walk that covers all its vertices with a minimum number of turns, as specified in the graph model by a 0/1 turncost function fx at each vertex x giving, for each ordered pair of edges (e,f) incident at x, the turn cost at x of a walk that enters the vertex on edge e and departs on edge f. We describe an initial study of the parameterized complexity of the problem. Our main positive result shows that Abstract Milling, parameterized by: number of turns, treewidth and maximum degree, is fixed-parameter tractable, We also show that Abstract Milling parameterized by (only) the number of turns and the pathwidth, is hard for W[1] -- one of the few parameterized intractability results for bounded pathwidth.

  1. Mechanical Engineering Department technical abstracts

    International Nuclear Information System (INIS)

    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

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

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

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

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

  6. Abstract communication for coordinated planning

    Science.gov (United States)

    Clement, Bradley J.; Durfee, Edmund H.

    2003-01-01

    work offers evidence that distributed planning agents can greatly reduce communication costs by reasoning at abstract levels. While it is intuitive that improved search can reduce communication in such cases, there are other decisions about how to communicate plan information that greatly affect communication costs. This paper identifies cases independent of search where communicating at multiple levels of abstraction can exponentially decrease costs and where it can exponentially add costs. We conclude with a process for determining appropriate levels of communication based on characteristics of the domain.

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

  8. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

    2010-01-01

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

  9. IRAP 2006, Book of Abstracts

    International Nuclear Information System (INIS)

    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

  10. Abstraction of Mobile Network Topology

    OpenAIRE

    Codes Morales, Albert

    2015-01-01

    [ANGLÈS] Analyse the effect that abstracting topology of mobile networks would have on the performance of current mobile networks. The investigations are carried out in network simulator and by designing the SDN-based control for the LTE network.

  11. Abstractions of stochastic hybrid systems

    NARCIS (Netherlands)

    Bujorianu, L.M.; Bujorianu, M. C.; Lygeros, J.

    2005-01-01

    Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredict

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

  13. Object Classification via Planar Abstraction

    Science.gov (United States)

    Oesau, Sven; Lafarge, Florent; Alliez, Pierre

    2016-06-01

    We present a supervised machine learning approach for classification of objects from sampled point data. The main idea consists in first abstracting the input object into planar parts at several scales, then discriminate between the different classes of objects solely through features derived from these planar shapes. Abstracting into planar shapes provides a means to both reduce the computational complexity and improve robustness to defects inherent to the acquisition process. Measuring statistical properties and relationships between planar shapes offers invariance to scale and orientation. A random forest is then used for solving the multiclass classification problem. We demonstrate the potential of our approach on a set of indoor objects from the Princeton shape benchmark and on objects acquired from indoor scenes and compare the performance of our method with other point-based shape descriptors.

  14. Learning abstract algebra with ISETL

    CERN Document Server

    Dubinsky, Ed

    1994-01-01

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

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

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

  17. Abstractions of stochastic hybrid systems

    OpenAIRE

    Bujorianu, L.M.; Lygeros, J.; Bujorianu, M.C.

    2005-01-01

    Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredicted changes, the stochastic approach is a viable alternative. In this paper, different ways of introducing rechability under uncertainty are presented. A new concept of stochastic bisimulation is in...

  18. Abstract Body, Abstract Machine: Alan Turing's Drama of Difference

    OpenAIRE

    Mann-O'Donnell, Sarah

    2005-01-01

    In order to prove that mathematics cannot be exhausted by a finite set of procedures, Alan Turing conceives, in 1936, of an abstract machine 1. The machine makes its debut in “On Computable Numbers with an application to the Entscheidungsproblem,” his first major mathematical paper 2. A close reading of this machine’s dynamic will show that Turing’s thought in the field of mathematics is a consciously embodied thought that contemplates its own incompleteness. By examining Turing’s machine thr...

  19. Tomography in abstract Hilbert spaces

    CERN Document Server

    Man'ko, V I; Simoni, A; Ventriglia, F

    2006-01-01

    The tomographic description of a quantum state is formulated in an abstract infinite dimensional Hilbert space framework, the space of the Hilbert-Schmidt linear operators, with trace formula as scalar product. Resolutions of the unity, written in terms of over-complete sets of rank-one projectors and of associated Gram-Schmidt operators taking into account their non-orthogonality, are then used to reconstruct a quantum state from its tomograms. Examples of well known tomographic descriptions illustrate the exposed theory.

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

  1. An introduction to abstract algebra

    CERN Document Server

    Robinson, Derek JS

    2003-01-01

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

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

  3. Transplantation as an abstract good

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  4. Argonne Code Center: compilation of program abstracts

    International Nuclear Information System (INIS)

    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

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

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

  7. EURORIB 2010, Book of abstracts

    International Nuclear Information System (INIS)

    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. 1986 annual information meeting. Abstracts

    International Nuclear Information System (INIS)

    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)

  9. Attracting Girls into Physics (abstract)

    Science.gov (United States)

    Gadalla, Afaf

    2009-04-01

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

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

  11. Annotating user-defined abstractions for optimization

    Energy Technology Data Exchange (ETDEWEB)

    Quinlan, D; Schordan, M; Vuduc, R; Yi, Q

    2005-12-05

    This paper discusses the features of an annotation language that we believe to be essential for optimizing user-defined abstractions. These features should capture semantics of function, data, and object-oriented abstractions, express abstraction equivalence (e.g., a class represents an array abstraction), and permit extension of traditional compiler optimizations to user-defined abstractions. Our future work will include developing a comprehensive annotation language for describing the semantics of general object-oriented abstractions, as well as automatically verifying and inferring the annotated semantics.

  12. An algorithm for generating abstract syntax trees

    Science.gov (United States)

    Noonan, R. E.

    1985-01-01

    The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed.

  13. Nuclear works. Book of abstracts

    International Nuclear Information System (INIS)

    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

  14. Introduction to abstract algebra, solutions manual

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

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

  15. Efficient abstraction selection in reinforcement learning

    NARCIS (Netherlands)

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

    2013-01-01

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

  16. Writing a Structured Abstract for the Thesis

    Science.gov (United States)

    Hartley, James

    2010-01-01

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

  17. ABSTRACTS WELDEL PIPE AND TUBE

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    ABSTRACTS WELDEL PIPE AND TUBE Vol.24 No.3 May.2001 Huang Jingan(1) Strengthen, Intercourse, Coordination and Promote the Development Together Liang Aiyu(11) The Production and the Development of the Water supply pipe for City Construction From the aspects of the quality, appearance, environment protection, economic analysis etc., This article evaluates the galvanized pipe, plastic steel complex pipe, plastic aluminum pipe, stainless pipe for city water supply. In accordance with the requirements of the city construction programming and development, it is considered that the plastic aluminum pipe and plastic steel pipe instead of galvanization pipe is the trend of the development. The author also gives some constructive proposals for reference. Subject Terms:galvanized pipe complex pipe stainless pipe city water supply evaluation Zhao Rongbin,Li Guangjun(14) The TIG welding of Protected Tantalum-pipe for sheathed thermocouples used in corrosive environment The protected Tantalum-pipe welding of sheathed therocouples was investigated by TIG. The welding process and its key parameters were introduced. Welding quality influenced by processing was discussed. Subject Terms:welding protected Tantalum-pipe corrosion He Defu et al(18) Design and Research for An Automatic MIG Welding Machine of Catalyst Converter of Automobile Two different schemes for automatic MIG welding of catalyst converter of automobile have been compared and analysed. A design of automatic MIG welding machine used for catalyst converter of automobile has been suggested in this paper. Subject Terms:environmental protection automobile tri-catalyst converter MIG welding automatic welding PLC Fang Chucai(24) Cold Crack Analysis of Low Alloy High Strength Steel Weld Seam Heat Affected Area During the welding of low alloy high strength (X65 and above), the fine crack occurs in the weld (especially inner weld) and the low plastic hard brickle structure occurs in the Heat Affected Area (HAZ) sometime. This

  18. 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...... are allowed. Our approach uses counterexample-guided abstraction refinement: whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using Tomte, a prototype tool implementing our algorithm, we have succeeded to learn – fully...

  19. 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. PMID:7546111

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

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

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

  3. ABSTRACTS WELDEL PIPE AND TUBE

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    ABSTRACTS WELDEL PIPE AND TUBE Vol.24 No.3 May.2001 Huang Jingan(1) Strengthen, Intercourse, Coordination and Promote the Development Together Liang Aiyu(11) The Production and the Development of the Water supply pipe for City Construction From the aspects of the quality, appearance, environment protection, economic analysis etc., This article evaluates the galvanized pipe, plastic steel complex pipe, plastic aluminum pipe, stainless pipe for city water supply. In accordance with the requirements of the city construction programming and development, it is considered that the plastic aluminum pipe and plastic steel pipe instead of galvanization pipe is the trend of the development. The author also gives some constructive proposals for reference. Subject Terms:galvanized pipe complex pipe stainless pipe city water supply evaluation Zhao Rongbin,Li Guangjun(14) The TIG welding of Protected Tantalum-pipe for sheathed thermocouples used in corrosive environment The protected Tantalum-pipe welding of sheathed therocouples was investigated by TIG. The welding process and its key parameters were introduced. Welding quality influenced by processing was discussed. Subject Terms:welding protected Tantalum-pipe corrosion He Defu et al(18) Design and Research for An Automatic MIG Welding Machine of Catalyst Converter of Automobile Two different schemes for automatic MIG welding of catalyst converter of automobile have been compared and analysed. A design of automatic MIG welding machine used for catalyst converter of automobile has been suggested in this paper. Subject Terms:environmental protection automobile tri-catalyst converter MIG welding automatic welding PLC Fang Chucai(24) Cold Crack Analysis of Low Alloy High Strength Steel Weld Seam Heat Affected Area During the welding of low alloy high strength (X65 and above), the fine crack occurs in the weld (especially inner weld) and the low plastic hard brickle structure occurs in the Heat Affected Area (HAZ) sometime. This

  4. Engineering Abstractions in Model Checking and Testing

    OpenAIRE

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

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

  6. Injecting Abstract Interpretations into Linear Cost Models

    Directory of Open Access Journals (Sweden)

    David Cachera

    2010-06-01

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

  7. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

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

  8. Bounded Rationality of Generalized Abstract Fuzzy Economies

    Directory of Open Access Journals (Sweden)

    Lei Wang

    2014-01-01

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

  9. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    Volume 1 of the conference proceedings contains abstracts of 15 invited papers, 54 poster presentations and 10 papers of instrument manufacturers, devoted to atomic spectroscopy. Abstracts of 2 poster presentations were inputted in INIS, both dealing with the evaporation of rare earth elements in dc arcs. (A.K.)

  10. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    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 99Tc, the other with electronic spectra of lanthanide ions. (A.K.)

  11. Visual Abstraction and Stylisation of Maps

    NARCIS (Netherlands)

    Isenberg, Tobias

    2013-01-01

    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 c

  12. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  13. Abstraction Power in Computer Science Education

    DEFF Research Database (Denmark)

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

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

  14. Abstractions of Awareness: Aware of What?

    Science.gov (United States)

    Metaxas, Georgios; Markopoulos, Panos

    This chapter presents FN-AAR, an abstract model of awareness systems. The purpose of the model is to capture in a concise and abstract form essential aspects of awareness systems, many of which have been discussed in design essays or in the context of evaluating specific design solutions.

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

  16. Optimal Inference for Hierarchical Skeleton Abstraction

    NARCIS (Netherlands)

    Telea, Alexandru; Sminchisescu, Cristian; Dickinson, Sven

    2004-01-01

    Skeletons are well-known representations that accommodate shape abstraction and qualitative shape matching. However, skeletons are sometimes unstable to compute and sensitive to shape detail, thus making shape abstraction and matching difficult. To address these problems, we propose a principled fra

  17. Verification of Statecharts Using Data Abstraction

    Directory of Open Access Journals (Sweden)

    Steffen Helke

    2016-01-01

    Full Text Available We present an approach for verifying Statecharts including infinite data spaces. We devise a technique for checking that a formula of the universal fragment of CTL is satisfied by a specification written as a Statechart. The approach is based on a property-preserving abstraction technique that additionally preserves structure. It is prototypically implemented in a logic-based framework using a theorem prover and a model checker. This paper reports on the following results. (1 We present a proof infra-structure for Statecharts in the theorem prover Isabelle/HOL, which constitutes a basis for defining a mechanised data abstraction process. The formalisation is based on Hierar-chical Automata (HA which allow a structural decomposition of Statecharts into Sequential Automata. (2 Based on this theory we introduce a data abstraction technique, which can be used to abstract the data space of a HA for a given abstraction function. The technique is based on constructing over-approximations. It is structure-preserving and is designed in a compositional way. (3 For reasons of practicability, we finally present two tactics supporting the abstraction that we have implemented in Isabelle/HOL. To make proofs more efficient, these tactics use the model checker SMV checking abstract models automatically.

  18. Dialogical surface text features in abstracts

    OpenAIRE

    Ingrid García-Østbye

    2008-01-01

    A sample driven description of Research Article-Comment-Reply (RA-C-R) abstracts in terms of abstract sentence length, reference, possessive structures, modal verbs and word range was carried out to find out whether their surface text features showed some trace of a dialogical construction of knowledge within the psychology discourse community. The study served an exploratory purpose. A Boolean search was conducted in the PsycLIT database yielding a sample of 149 PsycLIT RA-C-R abstracts (13,...

  19. 2002 Conference Programme and Book of Abstracts

    International Nuclear Information System (INIS)

    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

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

  1. Contracts for Abstract Processes in Service Composition

    Directory of Open Access Journals (Sweden)

    Maria Grazia Buscemi

    2011-01-01

    Full Text Available Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.

  2. Chemical information science coverage in Chemical Abstracts.

    Science.gov (United States)

    Wiggins, G

    1987-02-01

    For many years Chemical Abstracts has included in its coverage publications on chemical documentation or chemical information science. Although the bulk of those publications can be found in section 20 of Chemical Abstracts, many relevant articles were found scattered among 39 other sections of CA in 1984-1985. In addition to the scattering of references in CA, the comprehensiveness of Chemical Abstracts as a secondary source for chemical information science is called into question. Data are provided on the journals that contributed the most references on chemical information science and on the languages of publication of relevant articles.

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

  4. Functional Correspondence between Evaluators and Abstract Machines

    DEFF Research Database (Denmark)

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

    2003-01-01

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

  5. Final program and book of abstracts

    International Nuclear Information System (INIS)

    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

  6. On Abstraction Levels For Software Architecture Viewpoints

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun

    2005-01-01

    In the field of software architecture the abstraction level of a viewpoint has often been defined on a scale from low to high. However, the definition of abstraction levels on a scale from low to high makes it very subjective what is at each level. This makes it difficult to apply the different...... existing viewpoints in practice, because each viewpoint can be applied at many different levels of abstraction which the architect has to consider. This also makes it hard for people to enter the field of software architecture and become proficient in using its techniques and methods. By using the three...... abstraction levels defined in this paper, viewpoints can be described more accurately and applied more consistently. This can help developers easier gain proficiency in the use of viewpoints to describe software architectures of systems. In this paper concepts which clarify the relation between the defined...

  7. Management plan abstract and keyword generator

    Data.gov (United States)

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

  8. GIBS Geospatial Data Abstraction Library (GDAL)

    Data.gov (United States)

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

  9. Ammi Canada 2015 Annual Conference: Abstract Titles

    Directory of Open Access Journals (Sweden)

    2015-01-01

    Full Text Available Abstracts to be presented at the 2015 Annual Conference of the Association of Medical Microbiology and Infectious Disease Canada, April 16 to 18, Charlottetown, Prince Edward Island, alphabetized according to the surname of the first author.

  10. Pulmonary toxicology of respirable particles. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-09-01

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

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

  12. 10471 Abstracts Collection -- Scalable Visual Analytics

    OpenAIRE

    Keim, Daniel A.; Wrobel, Stefan

    2011-01-01

    From 21.11. to 26.11.2010, the Dagstuhl Seminar 10471 ``Scalable Visual Analytics'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. ...

  13. 08391 Abstracts Collection -- Social Web Communities

    OpenAIRE

    Alani, Harith; Staab, Steffen; Stumme, Gerd

    2008-01-01

    From September 21st to September 26th 2008, the Dagstuhl Seminar 08391 ``Social Web Communities'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the sem...

  14. 05241 Abstracts Collection -- Synthesis and Planning

    OpenAIRE

    Kautz, Henry; Thomas, Wolfgang; Vardi, Moshe Y.

    2006-01-01

    From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 ``Synthesis and Planning'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar to...

  15. 06401 Abstracts Collection -- Complexity of Constraints

    OpenAIRE

    Creignou, Nadia; Kolaitis, Phokion; Vollmer, Heribert

    2006-01-01

    From 01.10.06 to 06.10.06, the Dagstuhl Seminar 06401 ``Complexity of Constraints'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topi...

  16. 05451 Abstracts Collection -- Beyond Program Slicing

    OpenAIRE

    Binkley, Dave; Harman, Mark; Krinke, Jens

    2006-01-01

    From 06.11.05 to 11.11.05, the Dagstuhl Seminar 05451 ``Beyond Program Slicing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics ...

  17. 04201 Abstracts Collection -- Content Distribution Infrastructures

    OpenAIRE

    Griwodz, Carsten; Plagemann, Thomas Peter; Steinmetz, Ralf

    2006-01-01

    From 11.05.04 to 14.05.04, the Dagstuhl Seminar 04201 ``Content Distribution Infrastructures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the semi...

  18. 06061 Abstracts Collection -- Theory of Evolutionary Algorithms

    OpenAIRE

    Arnold, Dirk V.; Jansen, Thomas; Rowe, Jonathan E.; Michael D Vose

    2006-01-01

    From 05.02.06 to 10.02.06, the Dagstuhl Seminar 06061 ``Theory of Evolutionary Algorithms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the semi...

  19. 04081 Abstracts Collection -- Theory of Evolutionary Algorithms

    OpenAIRE

    Beyer, Hans-Georg; Jansen, Thomas; Reeves, Colin; Michael D Vose

    2006-01-01

    From 15.02.04 to 20.02.04, the Dagstuhl Seminar 04081 ``Theory of Evolutionary Algorithms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the semi...

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

  1. Categorization of Sentence Types in Medical Abstracts

    OpenAIRE

    McKnight, Larry; Srinivasan, Padmini

    2003-01-01

    This study evaluated the use of machine learning techniques in the classification of sentence type. 7253 structured abstracts and 204 unstructured abstracts of Randomized Controlled Trials from MedLINE were parsed into sentences and each sentence was labeled as one of four types (Introduction, Method, Result, or Conclusion). Support Vector Machine (SVM) and Linear Classifier models were generated and evaluated on cross-validated data. Treating sentences as a simple "bag of words", the SVM mod...

  2. Distributed Abstraction Algorithm for Online Predicate Detection

    OpenAIRE

    Chauhan, Himanshu; Garg, Vijay K; Natarajan, Aravind; Mittal, Neeraj

    2013-01-01

    Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By abstracting the computation, unnecessary explorations can be avoided. Computation slicing is an approach for abstracting dis- tributed computations with respect to a given predicate. We focus on regular predicates, a family of predicates that covers a large number of commonly used predicates for runtime verification. ...

  3. Interdisciplinary perspectives on abstracts for information retrieval

    OpenAIRE

    Soon Keng Chan; Schubert Foo

    2004-01-01

    The paper examines the abstract genre from the perspectives of English for Specific Purposes (ESP) practitioners and information professionals. It aims to determine specific interdisciplinary interests in the abstract, and to explore areas of collaboration in terms of research and pedagogical practices. A focus group (FG) comprising information professionals from the Division of Information Studies, Nanyang Technological University, Singapore, convened for a discussion on the subject of abstr...

  4. The Water Act 2003 and sustainable abstraction

    OpenAIRE

    Sowter, Peter; Howsam, Penny

    2008-01-01

    This paper traces the development of the abstraction licensing system in England and Wales from the perspective of changes to water rights. It assesses the relative effectiveness of recent changes to supporting legislation in achieving a sustainable water resource balance. Particular emphasis is placed on actions to address problems caused where licensed abstraction results in environmental damage to designated sites. Water law in England and Wales, as elsewhere, is changing...

  5. Earth Sciences Division collected abstracts: 1980

    International Nuclear Information System (INIS)

    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

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

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

  8. Echoes of Portuguese Navigation in the Kitab-i Bahriye by Piri Reis

    OpenAIRE

    Rui Manuel Loureiro

    2013-01-01

    The world map drawn by Piri Reis in 1513, of which only the Atlantic fragment kept in Istanbul is known, is justly famous. Its surprising modernity is fully explained by the use of Iberian sources, resulting from nearly a century of exploration of both sides of the Atlantic by Portuguese and Spanish navigators, along with other collaborators. The ‘Book of maritime affairs’, prepared in the 1520s by the Turkish cartographer, gathering precious geographic and cartographic information about the ...

  9. Southern Orthopaedic Association Abstract Publication Rate.

    Science.gov (United States)

    Tait, Mark Adam; Petrus, Cara; Barnes, C Lowry

    2016-01-01

    The purpose of this study was to determine the publication rate of manuscripts presented at the Southern Orthopaedic Association's (SOA) annual meetings. An extensive literature search was performed using Google Scholar and PubMed search engines and all accepted abstracts (posters or podium presentations) presented at an SOA annual meeting from 2005 to 2011 were evaluated. A total of 568 abstracts were presented at SOA meetings between 2005 and 2011. Of these, 234 (41%) were published in the peer-reviewed literature. The publication rate was 66% in 2005 and 28% in 2010. The average time from presentation to peer-reviewed publication was 1.6 ± 0.24 years (range, 2 years in 2006 to 1 year in 2011). The SOA publication rate was comparable with other major orthopaedic conference publication rates, yet more than half of all abstracts remain unpublished. SOA attendees should be aware that approximately 40% of all accepted presentations will go unpublished. PMID:27518291

  10. Cue abstraction and exemplar memory in categorization.

    Science.gov (United States)

    Juslin, Peter; Jones, Sari; Olsson, Henrik; Winman, Anders

    2003-09-01

    In this article, the authors compare 3 generic models of the cognitive processes in a categorization task. The cue abstraction model implies abstraction in training of explicit cue-criterion relations that are mentally integrated to form a judgment, the lexicographic heuristic uses only the most valid cue, and the exemplar-based model relies on retrieval of exemplars. The results from 2 experiments showed that, in lieu of the lexicographic heuristic, most participants spontaneously integrate cues. In contrast to single-system views, exemplar memory appeared to dominate when the feedback was poor, but when the feedback was rich enough to allow the participants to discern the task structure, it was exploited for abstraction of explicit cue-criterion relations. PMID:14516225

  11. Processing of abstract rule violations in audition.

    Directory of Open Access Journals (Sweden)

    Erich Schröger

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

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

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

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

  15. Generalizations of the Abstract Boundary singularity theorem

    CERN Document Server

    Whale, Ben E; Scott, Susan M

    2015-01-01

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

  16. Arche papers on the mathematics of abstraction

    CERN Document Server

    Cook, Roy T

    2007-01-01

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

  17. Particle swarm optimisation based video abstraction

    Directory of Open Access Journals (Sweden)

    Magda B. Fayk

    2010-04-01

    Full Text Available Video abstraction is a basic step for intelligent access to video and multimedia databases which facilitates content-based video indexing, retrieving and browsing. This paper presents a new video abstraction scheme. The proposed method relies on two stages. First, video is divided into short segments. Second, keyframes in each segment are selected using particle swarm optimisation. A group of experiments show that the proposed technique is promising in regards to selecting the most significant keyframes despite a sustainment in overhead processing.

  18. Earth Sciences Division collected abstracts: 1979

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-04-30

    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.

  19. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  20. Earth Sciences Division collected abstracts: 1979

    International Nuclear Information System (INIS)

    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

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

  2. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    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

  3. Spatial abstraction for autonomous robot navigation.

    Science.gov (United States)

    Epstein, Susan L; Aroor, Anoop; Evanusa, Matthew; Sklar, Elizabeth I; Parsons, Simon

    2015-09-01

    Optimal navigation for a simulated robot relies on a detailed map and explicit path planning, an approach problematic for real-world robots that are subject to noise and error. This paper reports on autonomous robots that rely on local spatial perception, learning, and commonsense rationales instead. Despite realistic actuator error, learned spatial abstractions form a model that supports effective travel. PMID:26227680

  4. NSF-RANN trace contaminants abstracts

    Energy Technology Data Exchange (ETDEWEB)

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

    1976-10-01

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

  5. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

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

  6. CMP 2012: conference of moldavian physicists. Abstracts

    International Nuclear Information System (INIS)

    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.

  7. Situated Learning in an Abstract Algebra Classroom

    Science.gov (United States)

    Ticknor, Cindy S.

    2012-01-01

    Advisory committees of mathematics consider abstract algebra as an essential component of the mathematical preparation of secondary teachers, yet preservice teachers find it challenging to connect the topics addressed in this advanced course with the high school algebra they must someday teach. This study analyzed the mathematical content…

  8. Geometric Abstract Art and Public Health Data

    Centers for Disease Control (CDC) Podcasts

    2016-10-18

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

  9. Searching Chemical Abstracts Online in Undergraduate Chemistry.

    Science.gov (United States)

    Krumpolc, Miroslav; And Others

    1987-01-01

    Discusses the advantages of conducting online computer searches of "Chemical Abstracts." Introduces the logical sequences involved in searching an online database. Explains Boolean logic, proximity operators, truncation, searchable fields, and command language, as they relate to the use of online searches in undergraduate chemistry programs. (TW)

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

  11. Abstracts: NRC Waste Management Program reports

    International Nuclear Information System (INIS)

    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

  12. Conference Abstracts: Computers in Physics Instruction.

    Science.gov (United States)

    Baird, William E.

    1989-01-01

    Provides selected abstracts from the Computers in Physics Instruction conference held on August 1-5, 1988. Topics include: wave and particle motion, the CT programing language, microcomputer-based laboratories, student written simulations, concept maps, summer institutes, computer bulletin boards, interactive video, and videodisks. (MVL)

  13. Earth Sciences Division, collected abstracts-1977

    International Nuclear Information System (INIS)

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

  14. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    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

  15. CMP 2009: conference of moldavian physicists. Abstracts

    International Nuclear Information System (INIS)

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

  16. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    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

  17. Relatively Compact Sets on Abstract Wiener Space

    Institute of Scientific and Technical Information of China (English)

    Xi Cheng ZHANG

    2005-01-01

    In this note, we obtain a sufficient and necessary condition for a set in an abstract Wiener space (X, H,μ) to be relatively compact in L2(X, μ). Meanwhile, we give a sufficient condition for relative compactness in Lp(X, μ) for p > 1. We also provide an example of Da Prato-Malliavin-Nualart to show the result.

  18. Waste management research abstracts No. 18

    International Nuclear Information System (INIS)

    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

  19. Language abstraction in word of mouth

    NARCIS (Netherlands)

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

    2010-01-01

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

  20. Regulatory and technical reports (Abstract index journal)

    International Nuclear Information System (INIS)

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

  1. Hubble Exoplanet Pro/Am Collaboration (Abstract)

    Science.gov (United States)

    Conti, D. M.

    2016-06-01

    (Abstract only) A collaborative effort is being organized between a world-wide network of amateur astronomers and a Hubble Space Telescope (HST) science team. The purpose of this collaboration is to supplement an HST near-infrared spectroscopy survey of some 15 exoplanets with ground-based observations in the visible range.

  2. Waste management research abstracts No. 17

    International Nuclear Information System (INIS)

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

  3. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

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

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

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

  6. Advances in nuclear and radiochemistry. Extended abstracts

    International Nuclear Information System (INIS)

    The publication compiles extended abstracts of the conference. Conference topics were: fundamental nuclear chemistry (nuclear reactions, radioactive decay), actinides, transactinides, radioanalytics (nuclear and non-nuclear methods), nuclear technology (techniques, cross sections, radionuclide production), radiotracers in life sciences (radiopharmaceutical chemistry), radioactive indicators in research and chemistry, radionuclides in geochemistry and cosmochemistry, nuclear fuel cycle (waste management, transmutation, partitioning), radioecology and environmental sciences. (uke)

  7. Abstracts of the European nuclear medicine congress

    International Nuclear Information System (INIS)

    647 abstracts of oral and poster presentations show the results of applied science and research work in diagnostic and therapeutic nuclear medicine. Experiences with new diagnostic techniques, radiopharmaceuticals and instrumentation (e.g. radioimmunoscintigraphy, different dynamic organ function studies) in the fields of cardiology, endocrinology, gastroenterology, hematology, nephrology, oncology, and pediatrics are published as well as dosimetry problems. (TRV)

  8. Abstraction of Dynamical Systems by Timed Automata

    DEFF Research Database (Denmark)

    Wisniewski, Rafael; Sloth, Christoffer

    2011-01-01

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

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

  10. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

    Pavlovic, D.; 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 f

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

  12. Spatial abstraction for autonomous robot navigation.

    Science.gov (United States)

    Epstein, Susan L; Aroor, Anoop; Evanusa, Matthew; Sklar, Elizabeth I; Parsons, Simon

    2015-09-01

    Optimal navigation for a simulated robot relies on a detailed map and explicit path planning, an approach problematic for real-world robots that are subject to noise and error. This paper reports on autonomous robots that rely on local spatial perception, learning, and commonsense rationales instead. Despite realistic actuator error, learned spatial abstractions form a model that supports effective travel.

  13. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  14. MAXIMAL ELEMENTS AND EQUILIBRIUM OF ABSTRACT ECONOMY

    Institute of Scientific and Technical Information of China (English)

    刘心歌; 蔡海涛

    2001-01-01

    An existence theorem of maximal elements for a new type of preference correspondences which are Qθ-majorized is given. Then some existence theorems of equilibrium for abstract economy and qualitative game in which the constraint or preference correspondences are Qθ-majorized are obtained in locally convex topological vector spaces.

  15. Abstract polymer models with general pair interactions

    CERN Document Server

    Procacci, Aldo

    2007-01-01

    A convergence criterion of cluster expansion is presented in the case of an abstract polymer system with general pair interactions (i.e. not necessarily hard core or repulsive). As a concrete example, the low temperature disordered phase of the BEG model with infinite range interactions, decaying polynomially as $1/r^{d+\\lambda}$ with $\\lambda>0$, is studied.

  16. Effect of Groundwater Abstraction on Fen Ecosystems

    DEFF Research Database (Denmark)

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

    2011-01-01

    and spring habitats. Continuous water level data from deep and shallow wells in the fens reflect the hydrological conditions. Large differences in water level drawdown during dry summer periods have been observed in the monitored fens and it is hypothesised, that these differences are directly related...... of the monitored ecosystems and the response towards groundwater abstraction and forms a solid foundation for hydrological modelling....

  17. Semantic and abstraction content of art images

    OpenAIRE

    Krassimira, I.; Stanchev, P.; Vanhoof, Koen; Ein-Dor, P.

    2010-01-01

    In this paper the semantic and abstraction content of art images is studied. Different techniques for search in art image repositories are analyzed and new ones are proposed. The content-based retrieval process integrates the search on different components, linked in XML structures. Some experiments over 200 paintings of six Israel contemporary artists are done and analyzed.

  18. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

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

  19. Ecological impact of acid precipitation. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Drabloes, D.; Tollan, A. (eds.)

    1980-10-01

    Separate abstracts were prepared for 134 of the papers presented in these proceedings. Investigations into: transport and deposition, vegetation and soils, water quality, aquatic biota, impacts on soils and indirect effects on vegetation, effects on water quality, effects on aquatic biota, and various integrated studies are all discussed. Six papers were previously input to the data base.

  20. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

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

  1. Final program and book of abstracts

    International Nuclear Information System (INIS)

    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

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

  3. Dialogical surface text features in abstracts

    Directory of Open Access Journals (Sweden)

    Ingrid García-Østbye

    2008-04-01

    Full Text Available A sample driven description of Research Article-Comment-Reply (RA-C-R abstracts in terms of abstract sentence length, reference, possessive structures, modal verbs and word range was carried out to find out whether their surface text features showed some trace of a dialogical construction of knowledge within the psychology discourse community. The study served an exploratory purpose. A Boolean search was conducted in the PsycLIT database yielding a sample of 149 PsycLIT RA-C-R abstracts (13,978 words. Relative frequency percent distributions were calculated for all variables, including reported speech verbs. Specific comparisons with a Medline corpus were conducted and variations were accounted for in terms of scientific discourse characteristics, field, database policies, and dialogical nature; that is, in the framework provided by the strands of research of quantitative applied linguistics, social concerns in genre analysis and the model monopoly theory developed in the implementation in sociology of the systems theory. The results suggest: (i a word range affected by both psychology as a discipline and the dialogical content on which PsycLIT RA-C-R abstracts report; (ii a complementarity of reference and possessive structures characterised by features of scientific discourse, feedback genres and dialogical dimensions; (iii the presence of both deontic and epistemic modality in the modal verbs of our sample; (iv and also that abstract length, sentence length and number of sentences per paragraph in our sample may not vary greatly in general terms from those of the social sciences.

  4. Extracting the abstraction pyramid from complex networks

    Directory of Open Access Journals (Sweden)

    Hu Yuh-Jyh

    2010-08-01

    Full Text Available Abstract Background At present, the organization of system modules is typically limited to either a multilevel hierarchy that describes the "vertical" relationships between modules at different levels (e.g., module A at level two is included in module B at level one, or a single-level graph that represents the "horizontal" relationships among modules (e.g., genetic interactions between module A and module B. Both types of organizations fail to provide a broader and deeper view of the complex systems that arise from an integration of vertical and horizontal relationships. Results We propose a complex network analysis tool, Pyramabs, which was developed to integrate vertical and horizontal relationships and extract information at various granularities to create a pyramid from a complex system of interacting objects. The pyramid depicts the nested structure implied in a complex system, and shows the vertical relationships between abstract networks at different levels. In addition, at each level the abstract network of modules, which are connected by weighted links, represents the modules' horizontal relationships. We first tested Pyramabs on hierarchical random networks to verify its ability to find the module organization pre-embedded in the networks. We later tested it on a protein-protein interaction (PPI network and a metabolic network. According to Gene Ontology (GO and the Kyoto Encyclopedia of Genes and Genomes (KEGG, the vertical relationships identified from the PPI and metabolic pathways correctly characterized the inclusion (i.e., part-of relationship, and the horizontal relationships provided a good indication of the functional closeness between modules. Our experiments with Pyramabs demonstrated its ability to perform knowledge mining in complex systems. Conclusions Networks are a flexible and convenient method of representing interactions in a complex system, and an increasing amount of information in real-world situations is

  5. Abstraction of Drift-Scale Coupled Processes

    International Nuclear Information System (INIS)

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

  6. Using Group Explorer in teaching abstract algebra

    Science.gov (United States)

    Schubert, Claus; Gfeller, Mary; Donohue, Christopher

    2013-04-01

    This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in abstract algebra. A total of 26 participants in an undergraduate course studying group theory were surveyed regarding their experiences using Group Explorer. Findings indicate that all participants believed that the software was beneficial to their learning and described their attitudes regarding the software in terms of using the technology and its helpfulness in learning concepts. A multiple regression analysis reveals that representational fluency of concepts with the software correlated significantly with participants' understanding of group concepts yet, participants' attitudes about Group Explorer and technology in general were not significant factors.

  7. FFCAct Clearinghouse, Directory of abstracts. Revision 1

    Energy Technology Data Exchange (ETDEWEB)

    Harwood, T.

    1994-05-01

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

  8. ILL2020 Vision - Posters and Abstracts

    International Nuclear Information System (INIS)

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

  9. Health physics research abstracts no. 11

    International Nuclear Information System (INIS)

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

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

  11. EDCC 2012 - Fast Abstracts & Student Forum Proceedings

    CERN Document Server

    Vieira, Marco

    2012-01-01

    Fast Abstracts at EDCC 2012 are short presentations, aiming to serve as a rapid and flexible mechanism to report on current work that may or may not be complete, introduce new ideas to the community, and state positions on controversial issues or open problems. This way, fast abstracts provide an opportunity to introduce new work, or present radical opinions, and receive early feedback from the community. Contributions are welcome from both academia and industry. The goal of the Student Forum is to encourage students to attend EDCC 2012 and present their work, exchange ideas with researchers and practitioners, and get early feedback on their research efforts. All papers were peer-reviewed by at least three program committee members, and the authors were provided with detailed comments on their work. In the end we had one accepted paper for the Student forum.

  12. Geometry of abstraction in quantum computation

    CERN Document Server

    Pavlovic, Dusko

    2010-01-01

    Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke and Selinger. In particular, we analyze function abstraction in quantum computation, which turns out to characterize its classical interfaces. Some quantum algorithms provide feasible solutions of important hard problems, such as factoring and discrete log (which are the building blocks of modern cryptography). It is of a great practical interest to precisely characterize the computational resources needed to execute such quantum algorithms. There are many ideas how to build a quantum computer. Can we prove some necessary conditions? Categorical semantics help with such questions. We show how to implement an important family of quantum algorithms using just abelian groups and relations.

  13. Software abstractions logic, language, and analysis

    CERN Document Server

    Jackson, Daniel

    2011-01-01

    In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy (Alloy 4). The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from "the tarpit of...

  14. Independence Logic and Abstract Independence Relations

    OpenAIRE

    Paolini, Gianluca

    2014-01-01

    We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.

  15. Waste management research abstracts no. 21

    International Nuclear Information System (INIS)

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

  16. GAM: An abstract machine for GCLA

    OpenAIRE

    Aronsson, Martin

    1989-01-01

    GCLA is a new programming language, which increases expressiveness compared with traditional logic programming languages and functional programming languages. The basis for the language is a generalization of the concept inductive definitions, called partial inductive definitions. The program defines a logic, which is used to make inferences to prove if a query holds or not. This report first presents a short introduction to these ideas. Then, an abstract machine, called GAM, for GCLA is pres...

  17. Earth Sciences Division, collected abstracts, 1978

    International Nuclear Information System (INIS)

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

  18. Earth Sciences Division, collected abstracts, 1978

    Energy Technology Data Exchange (ETDEWEB)

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

    1979-03-30

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

  19. Abstract Action Potential Models for Toxin Recognition

    OpenAIRE

    Peterson, James; Khan, Taufiquar

    2005-01-01

    In this paper, we present a robust methodology using mathematical pattern recognition schemes to detect and classify events in action potentials for recognizing toxins in biological cells. We focus on event detection in action potential via abstraction of information content into a low dimensional feature vector within the constrained computational environment of a biosensor. We use generated families of action potentials from a classic Hodgkin–Huxley model to verify our methodology and build...

  20. Language's role in enabling abstract, logical thought

    OpenAIRE

    Hampton, J A

    2002-01-01

    Carruthers’s thesis is undermined on the one hand by examples of integration of output from domain-specific modules that are independent of language, and on the other hand by examples of linguistically represented thoughts that are unable to integrate different domain-specific knowledge into a coherent whole. I propose a more traditional role for language in thought as providing the basis for the cultural development and transmission of domain-general abstract knowledge and reasoning skills.

  1. 09141 Abstracts Collection -- Web Application Security

    OpenAIRE

    Boneh, Dan; Erlingsson, Ulfar; Johns, Martin; Livshits, Benjamin

    2010-01-01

    From 29th March to 3rd April 2009 the Dagstuhl Seminar 09141 Web Application Security was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. Links to full papers (if available) are provided in the corresponding seminar summary document.

  2. Waste management research abstracts. No. 20

    International Nuclear Information System (INIS)

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

  3. Book of abstracts. Invited and contributed papers

    International Nuclear Information System (INIS)

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

  4. Phonological abstraction without phonemes in speech perception

    OpenAIRE

    Mitterer, H.; Scharenborg, O.; McQueen, J

    2013-01-01

    Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected percepti...

  5. VEST: abstract vector calculus simplification in Mathematica

    OpenAIRE

    Squire, Jonathan; Burby, Joshua; Qin, Hong

    2013-01-01

    We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce three-dimensional scalar and vector expressions of a very general type to a well defined standard form. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by reduction, subsequently applying these to simplify l...

  6. Abstracting Object Interactions Using Composition Filters

    OpenAIRE

    Aksit, Mehmet; Wakita, Ken; Bosch, Jan; Bergmans, Lodewijk; YONEZAWA, AKINORI; Guerraoui, R.; Nierstrasz, O.; Riveill, M.

    1993-01-01

    It is generally claimed that object-based models are very suitable for building distributed system architectures since object interactions follow the clientserver model. To cope with the complexity of today's distributed systems, however, we think that high-level linguistic mechanisms are needed to effectively structure, abstract and reuse object interactions. For example, the conventional object-oriented model does not provide high-level language mechanisms to model layered system architectu...

  7. Abstracting object interactions using composition filters

    OpenAIRE

    Aksit, Mehmet; Wakita, Ken; Bosch, Jan; Bergmans, Lodewijk; YONEZAWA, AKINORI

    1994-01-01

    It is generally claimed that object-based models are very suitable for building distributed system architectures since object interactions follow the client-server model. To cope with the complexity of today's distributed systems, however, we think that high-level linguistic mechanisms are needed to effectively structure, abstract and reuse object interactions. For example, the conventional object-oriented model does not provide high-level language mechanisms to model layered system architect...

  8. Squeezed States and Uncertainty Relations. Abstracts

    International Nuclear Information System (INIS)

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

  9. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    B.W. ARNOLD

    2004-10-27

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

  10. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    International Nuclear Information System (INIS)

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

  11. Abstract concepts: data from a Grey parrot.

    Science.gov (United States)

    Pepperberg, Irene M

    2013-02-01

    Do humans and nonhumans share the ability to form abstract concepts? Until the 1960s, many researchers questioned whether avian subjects could form categorical constructs, much less more abstract formulations, including concepts such as same-different or exact understanding of number. Although ethologists argued that nonhumans, including birds, had to have some understanding of divisions such as prey versus predator, mate versus nonmate, food versus nonfood, or basic relational concepts such as more versus less, simply in order to survive, no claims were made that these abilities reflected cognitive processes, and little formal data from psychology laboratories could initially support such claims. Researchers like Anthony Wright, however, succeeded in obtaining such data and inspired many others to pursue these topics, with the eventual result that several avian species are now considered "feathered primates" in terms of cognitive processes. Here I review research on numerical concepts in the Gray parrot (Psittacus erithacus), demonstrating that at least one subject, Alex, understood number symbols as abstract representations of real-world collections, in ways comparing favorably to those of apes and young human children. He not only understood such concepts, but also appeared to learn them in ways more similar to humans than to apes. PMID:23089384

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

  13. Spaces of orderings and abstract real spectra

    CERN Document Server

    Marshall, Murray A

    1996-01-01

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

  14. China nuclear science and technology report. Abstracts

    International Nuclear Information System (INIS)

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

  15. Health physics research abstracts No. 13

    International Nuclear Information System (INIS)

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

  16. 13th Radiochemical Conference. Booklet of Abstracts

    International Nuclear Information System (INIS)

    The Conference included the following sessions: (i) Opening plenary presentations (6 contributions); (ii) Chemistry of natural radionuclides, discovery of radium and polonium (6 verbal presentations + 5 poster presentations); (iii) Radionuclides in the environment, radioecology (29 + 48); (iv) Activation analysis and other radioanalytical methods (36 + 49); (v) Ionizing radiation in science and technology (12 + 12); (vi) Chemistry of actinide and trans-actinide elements (11 + 14); (vii) Separation methods, speciation (18 + 41); (viii) Production and application of radionuclides (14 + 29); and (ix) Radiochemical problems in nuclear waste management (12 + 22). The majority of verbal presentations has been input to INIS, mostly in the form of the full authors' abstracts. (P.A.)

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

  18. Abstraction and underspecification in semantic transfer

    OpenAIRE

    Abb, Bernd; Buschbeck-Wolf, Bianka; Tschernitschek, Christel

    1996-01-01

    This paper introduces the semantic transfer approach MinT (Minimal Transfer) that has been developed in the speech-to-speech MT system VERBMOBIL. As a unification-based and lexicalist semantic transfer model, it relies on some central ideas of the MRS-based transfer approach outlined in [Copestake et al., 1995]. It differs, however, from the latter in certain aspects: in MinT, the idea of abstraction and underspecification is worked out in much more detail and has been applied to a variety of...

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

  20. Book of abstracts. Invited and contributed papers

    International Nuclear Information System (INIS)

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

  1. Spatial Relation Resolution and Spatial Relation Abstraction

    Institute of Scientific and Technical Information of China (English)

    AI Tinghua; LIU Yaolin

    2003-01-01

    This paper attempts toregard spatial relation transformationas an important process in map gener-alization. The spatial relation generali-zation can be divided into the compo-nents of abstraction: topology, dis-tance and orientation. The concept‘ spatial relation resolution' is intro-duced to describe the constraints ofrelative spatial relation. On the basisof nine intersection models, the cardi-nal direction models and the iso-dis-tance-relation models, this paper givesthree sorts of relation resolution repre-sentations for topological, distance andorientation relation, respectively. Twomapping implementations in map gen-eralization is discussed.

  2. An Abstract Model of Historical Processes

    CERN Document Server

    Poulshock, Michael

    2016-01-01

    A game theoretic model is presented which attempts to simulate, at a very abstract level, power struggles in the social world. In the model, agents can benefit or harm each other, to varying degrees and with differing levels of influence. The agents play a dynamic, noncooperative, perfect information game where the goal is to maximize payoffs based on positional utility and intertemporal preference, while being constrained by social inertia. Agents use the power they have in order to get more of it, both in an absolute and relative sense. More research is needed to assess the model's empirical validity.

  3. I. Central Europe Symposium of Radiographers. Abstracts

    International Nuclear Information System (INIS)

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

  4. The stability of abstract boundary essential singularities

    OpenAIRE

    Ashley, Michael J. S. L.

    2002-01-01

    The abstract boundary has, in recent years, proved a general and flexible way to define the singularities of space-time. In this approach an essential singularity is a non-regular boundary point of an embedding which is accessible by a chosen family of curves within finite parameter distance. Ashley and Scott proved the first theorem relating essential singularities in strongly causal space-times to causal geodesic incompleteness. Linking this with the work of Beem on the $C^{r}$-stability of...

  5. Health physics research abstracts No. 12

    International Nuclear Information System (INIS)

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

  6. 1. National Congress of Environmental Science: Abstracts

    International Nuclear Information System (INIS)

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

  7. Introduction to the theory of abstract algebras

    CERN Document Server

    Pierce, Richard S

    2014-01-01

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

  8. Two-Level Semantics and Abstract Interpretation

    DEFF Research Database (Denmark)

    Nielson, Flemming

    1989-01-01

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

  9. The eighth national electromagnetics meeting. Extended abstracts

    International Nuclear Information System (INIS)

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

  10. Abstraction processes in artificial grammar learning.

    Science.gov (United States)

    Shanks, D R; Johnstone, T; Staggs, L

    1997-02-01

    Four experiments explored the extent the extent to which abstract knowledge may underlie subjects' performance when asked to judge the grammaticality of letter strings generated from an artificial grammar. In Experiment 1 and 2 subjects studied grammatical strings instantiated with one set of letters and were then tested on grammatical and ungrammatical strings formed either from the same or a changed letter-set. Even with a change of letter-set, subjects were found to be sensitive to a variety of violation of the grammar. In Experiments 3 and 4, the critical manipulation involved the way in which the training strings were studied: an incidental learning procedure was used for some subjects, and others engaged in an explicit code-breaking task to try to learn the rules of the grammar. When strings were generated from a biconditional (Experiment 4) but not from a standard finite-state grammar (Experiment 3), grammaticality judgements for test strings were independent of their surface similarity to specific studied strings. Overall, the results suggest that transfer in this simple memory task is mediated at least to some extent by abstract knowledge.

  11. Current Abstracts Nuclear Reactors and Technology

    Energy Technology Data Exchange (ETDEWEB)

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

    1993-01-01

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

  12. Phonological abstraction without phonemes in speech perception.

    Science.gov (United States)

    Mitterer, Holger; Scharenborg, Odette; McQueen, James M

    2013-11-01

    Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected perception of ambiguous stimuli on the same allophone continuum in a subsequent phonetic-categorization test: Listeners exposed to ambiguous phones in /r/-final words were more likely to perceive test stimuli as /r/ than listeners with exposure in /l/-final words. This effect was not found for test stimuli on continua using other allophones of /r/ and /l/. These results confirm that listeners use phonological abstraction in speech perception. They also show that context-sensitive allophones can play a role in this process, and hence that context-insensitive phonemes are not necessary. We suggest there may be no one unit of perception. PMID:23973464

  13. DSNF and other waste form degradation abstraction

    Energy Technology Data Exchange (ETDEWEB)

    Thornton, Thomas A.

    2000-12-20

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

  14. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

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

    1983-01-01

    The BETA programming language is developed as part of the BETA project. The purpose of this project is to develop concepts, constructs and tools in the field of programming and programming languages. BETA has been developed from 1975 on and the various stages of the language are documented in [BETA...... a]. The application area of BETA is programming of embedded as well as distributed computing systems. For this reason a major goal has been to develop constructs that may be efficiently implemented. Furthermore the BETA language is intended to have a few number of basic but general constructs....... It is then necessary that the abstraction mechanisms are powerful in order to define more specialized constructs. BETA is an object oriented language like SIMULA 67 ([SIMULA]) and SMALLTALK ([SMALLTALK]). By this is meant that a construct like the SIMULA class/subclass mechanism is fundamental in BETA. In contrast...

  15. DyNano-2010, Book of abstracts

    International Nuclear Information System (INIS)

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

  16. Main Contents Abstracts and Key Words

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Metaphor and Symbol: Religious Connotations and its Spread of LaoZi's Illustrations of the Eighty-one Conversions HU Chuntao [Abstract] LaoZi's illustrations of the eighty-one conversions has some kinds of connection with LaoZiHuaHU Oing, thus it suffered disputes under the argument between Buddhism and Taoism. In twenty years after its first appearance, the set of illustration developed rapidly, but it once disappeared under the attack of Buddhism and governor in Yuan dynasty. Over a century later, it came back in the first half of the 15th century and spreaded widely in the 16th century. The set of illustration and its process of spreading filled with metaphorical atmosphere. [Key words]LaoZi's illustrations of the eighty-one conversions; relationship between Buddhism and Taoism; spread

  17. MicroCar 2003. Abstracts of papers

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2003-07-01

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

  18. VEST: Abstract Vector Calculus Simplification in Mathematica

    Energy Technology Data Exchange (ETDEWEB)

    J. Squire, J. Burby and H. Qin

    2013-03-12

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

  19. Interfacing microbiology and biotechnology. Conference abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Maupin, Julia A.

    2001-05-19

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

  20. 英文摘要%Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    European Intervention: A Multi-perspective Analysis Wang Yizhou (4) [ Abstract] Europe and the U.S. are the main sources of international intervention and me- diation by leading powers. However, compared with the U. S. intervention, European ones are more complex with multiple elements and processes, cultivated by European history and realities. Focusing on contemporary international relations and global trends, the author tries to analyze the causes of European intervention from six perspectives: ( 1 ) military/po- litical tradition; (2) industrial/market profits ; ( 3 ) civilian process ; ( 4 ) international norm promotion ; (5) conceptual power; and (6) regional integration model. The author argued that these six factors are mutually dependent must be viewed comprehensively when talking and functioned in different fields, but they about the term European intervention.

  1. VEST: abstract vector calculus simplification in Mathematica

    CERN Document Server

    Squire, Jonathan; Qin, Hong

    2013-01-01

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

  2. Abstracts of 14th radiation hygiene days

    International Nuclear Information System (INIS)

    The proceedings contain 90 abstracts of submitted papers and posters. All have been inputted in INIS. They concern radiation hygiene and radiation protection, this both in general terms and in terms of occupational hazards; they inform on natural radioactivity measurement; on radon levels in buildings; the assessment and monitoring of escapes of radioisotopes into the environment (especially following the Chernobyl nuclear power plant accident). The questions are discussed of building monitoring networks in the environs of nuclear power plants and radioactive waste burial sites. Some presentations deal with dose measurement and spectrum evaluation; the organisation of the national personnel dosimetry service; tests of radiopharmaceuticals purity and activity; dosimetry work during dismantle of a shutdown reactor; medical radiology risks; and other problems. (M.D.)

  3. From Outermost Reduction Semantics to Abstract Machine

    DEFF Research Database (Denmark)

    Danvy, Olivier; Johannsen, Jacob

    Reduction semantics is a popular format for small-step operational semantics of deterministic programming languages with computational effects. Each reduction semantics gives rise to a reduction-based normalization function where the reduction sequence is enumerated. Refocusing is a practical way...... of the term to enumerate the reduction sequence, in contrast to the reduction-based normalization function. We have discovered that refocusing does not apply as readily for reduction semantics that use an outermost reduction strategy and have overlapping rules where a contractum can be a proper subpart...... of a redex. In this article, we consider such an outermost reduction semantics with backward-overlapping rules, and we investigate how to apply refocusing to still obtain a reduction-free normalization function in the form of an abstract machine....

  4. VEST: Abstract vector calculus simplification in Mathematica

    Science.gov (United States)

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

    2014-01-01

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

  5. System Software Abstraction Layer - much more than Operating System Abstraction Layer

    Directory of Open Access Journals (Sweden)

    Sunita Awasthi Singh

    2013-03-01

    Full Text Available Current and future aircraft systems require real-time embedded software with greater flexibility compared to what was previously available due to the continuous advancements in the technology leading to large and complex systems. Portability of software as one of the aspects of this flexibility is a major concern in application development for avionics domain for fast development and integration of systems. Abstractions of the hardware platform which have been already introduced by the operating system community allow the software modules to be reused on different hardware and with different physical resources. Now operating system community has come up with an abstraction layer called operating system abstraction layer (OSAL which along with the hardware abstraction unifies the OS architecture too. It provides a common set of primitives independent of the underlying operating system and its particular architecture. Factors such as reliability, scalability and determinism of any application largely depend on the design and architecture of the application. This is the most important and critical factor of real time systems such as mission computers of avionics systems, missile control system or control computers of space shuttle. It demands developer to perform feasibility of different software architecture to select the best alternative. Authors’ analysis shows that to make any real time application more secure, scalable, deterministic, and highly portable, OSAL has to be extended to more than just operating system abstraction. This new view of OSAL will be called as system software abstraction layer (SSAL. In this paper, authors attempt to highlight the efficiency of SSAL as well as detailed description of its main features and design considerations. Authors have implemented the SSAL on top of two well known OS (WinCE and Vxworks and performed extensive evaluations, which shows that it effectively reduces portability efforts while achieving

  6. 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...... function is constructed directly from the standard concrete semantics together with a Galois connection between the concrete state-space and an abstract domain. There is no need for mixed or modal transition systems to abstract arbitrary temporal properties, as in previous work in the area of abstract...... model checking. Using the modal mu-calculus to implement CTL, the abstract semantics gives an over-approximation of the set of states in which an arbitrary CTL formula holds. Then we show that this leads directly to an effective implementation of an abstract model checking algorithm for CTL using...

  7. Main Contents Abstracts and Key Words

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    006 OntheDateofDeathofShiTao CHENGuoping [Abstract] Li Lin's Crying for On OiZishowed that the date of death of Shi Tad was before and after October in Kangxi 46 (1709s), while Shi Tao's Paintings demonstrated that he was not passed away before 15th October, Kangqi 49 (1710s). Shi Tao's Painting of Qing Lian Cad Pavilion (sector), Qin Qian's Landscape painting of Qing Xiang taoistin the album of Recorded paintings, Shi Tao's Painting OfShuang Qing Pavilion painted for Wu Liaoding, Wang Yunyanshan's album Journalof Qing Xiang aged man, Shi Tad composed an eight-line poem with five characters to a line called Cud Pin for his old friend, Hong Zhengzhi, apprentice of Shi Tad painted Lanscape painting ofQing Xiang Taoistin 1720s, Min Hua composed 2 poems in the style of four-line poem with seven characters to a line called Passing by the former residence of Shi Tad, all above are verified that the date of death of Shi Tad must be earlier than March 1720, therefore, he died in the year of Kangxi 57 ('1718s), at the age of 78. [Key words] Shi tad; date of death; 1718s

  8. Abstract User Interfaces for Mobile Processes

    Science.gov (United States)

    Zaplata, Sonja; Vilenica, Ante; Bade, Dirk; Kunze, Christian P.

    An important focus of recent business process management systems is on the distributed, self-contained and even disconnected execution of processes involving mobile devices. Such an execution context leads to the class of mobile processes which are able to migrate between mobile and stationary devices in order to share functionalities and resources provided by the entire (mobile) environment. However, both the description and the execution of tasks which involve interactions of mobile users still require the executing device and its context to be known in advance in order to come up with a suitable user interface. Since this seems not appropriate for such decentralized and highly dynamic mobile processes, this work focuses on the integration of manual tasks on the respective ad-hoc creation of user interfaces at runtime. As an important prerequisite for that, this paper first presents an abstract and modality-independent interaction model to support the development and execution of user-centric mobile processes. Furthermore, the paper describes a prototype implementation for a corresponding system infrastructure component based on a service-oriented execution module, and, finally, shows its integration into the DEMAC (Distributed Environment for Mobility-Aware Computing) middleware.

  9. DOE NABIR PI Workshop: Abstracts 2002

    International Nuclear Information System (INIS)

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

  10. DOE-NABIR PI Workshop: Abstracts 2003

    Energy Technology Data Exchange (ETDEWEB)

    Various

    2003-01-28

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

  11. DOE NABIR PI Workshop: Abstracts 2002

    Energy Technology Data Exchange (ETDEWEB)

    Hawkes (Editor), Dan

    2002-01-09

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

  12. Waste management research abstracts no. 14

    International Nuclear Information System (INIS)

    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

  13. In defense of abstract conceptual representations.

    Science.gov (United States)

    Binder, Jeffrey R

    2016-08-01

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

  14. Plans should abstractly describe intended behavior

    Energy Technology Data Exchange (ETDEWEB)

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

    1996-12-31

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

  15. System Software Abstraction Layer - much more than Operating System Abstraction Layer

    Directory of Open Access Journals (Sweden)

    Sunita Awasthi Singh

    2013-03-01

    Full Text Available Current and future aircraft systems require real-time embedded software with greater flexibility compared to what was previously available due to the continuous advancements in the technology leading to large and complex systems. Portability of software as one of the aspects of this flexibility is a major concern in application development for avionics domain for fast development and integration of systems. Abstractions of the hardware platform which have been already introduced by the operating system community allow the software modules to be reused on different hardware and with different physical resources. Now operating system community has come up with an abstraction layer called operating system abstraction layer (OSAL which along with the hardware abstraction unifies the OS architecture too. It provides a common set of primitives independent of the underlying operating system and its particular architecture. Factors such as reliability, scalability and determinism of any application largely depend on the design and architecture of the application. This is the most important and critical factor of real time systems such as mission computers of avionics systems, missile control system or control computers of space shuttle. It demands developer to perform feasibility of different software architecture to select the best alternative. Authors’ analysis shows that to make any real time application more secure, scalable, deterministic, and highly portable, OSAL has to be extended to more than just operating system abstraction. This new view of OSAL will be called as system software abstraction layer (SSAL. In this paper, authors attempt to highlight the efficiency of SSAL as well as detailed description of its main features and design considerations. Authors have implemented the SSAL on top of two well known OS (WinCE and Vxworks and performed extensive evaluations, which shows that it effectively reduces portability efforts while achieving

  16. IM Normae: A Second T Pyx? (Abstract)

    Science.gov (United States)

    Patterson, J.; Monard, B.; Warhurst, P.; Myers, G.

    2015-12-01

    (Abstract only) T Pyx is the Galaxy's most famous recurrent nova, erupting to magnitude 6 about every 20 years. For nova hunters and variable-star observers generally, it should be quite easy to discover stars with similar properties. There are probably half a million CVs out to the distance of T Pyx, and most have an underlying structure similar to that of T Pyx: low-mass secondary, fairly massive white dwarf, short orbital period. But of these half million stars, there is no second T Pyx. The star is unique in another way: its orbital period is increasing on a timescale of 300,000 years. Like the proverbial bat out of hell. A 2002 nova eruption nominated a second star for this elite club: IM Nor, a short-orbital-period (2.5 hours) star which previously erupted in 1920. We began a program of time-series photometry to track the shallow eclipses—to test for orbital period change, the other signature of T Pyx resemblance. By 2015 we found this effect: Porb increases on a timescale of 2 million years. Thus, the two stars appear to be blowing themselves apart on a timescale of roughly a million years. This could explain why the stars are so rare: because they are rapidly self-immolating. And that could happen because the classical-nova outburst overwhelms the low-mass secondaries that live in short-period CVs—leading to unstable mass transfer which quickly evaporates the secondary. This implies that all short-Porb classical novae should be "recurrent" (erupting on a timescale of decades). Greater attention to CP Pup (1942), RW UMi (1956), GQ Mus (1983), and V Per (1887) is definitely warranted.

  17. A Model-Driven Parser Generator, from Abstract Syntax Trees to Abstract Syntax Graphs

    CERN Document Server

    Quesada, Luis; Cubero, Juan-Carlos

    2012-01-01

    Model-based parser generators decouple language specification from language processing. The model-driven approach avoids the limitations that conventional parser generators impose on the language designer. Conventional tools require the designed language grammar to conform to the specific kind of grammar supported by the particular parser generator (being LL and LR parser generators the most common). Model-driven parser generators, like ModelCC, do not require a grammar specification, since that grammar can be automatically derived from the language model and, if needed, adapted to conform to the requirements of the given kind of parser, all of this without interfering with the conceptual design of the language and its associated applications. Moreover, model-driven tools such as ModelCC are able to automatically resolve references between language elements, hence producing abstract syntax graphs instead of abstract syntax trees as the result of the parsing process. Such graphs are not confined to directed ac...

  18. Construction management abstracts : cumulative abstracts and indexes of journals in construction management, 1983-2000

    OpenAIRE

    Hughes, Will

    2001-01-01

    The purpose of this document is to provide a single source of reference for every paper published in the journals directly related to research in Construction Management. It is indexed by author and keyword and contains the titles, authors, abstracts and keywords of every article from the following journals: • Building Research and Information (BRI) • Construction Management and Economics (CME) • Engineering, Construction and Architectural Management (ECAM) • Journal o...

  19. System Software Abstraction Layer - much more than Operating System Abstraction Layer

    OpenAIRE

    Sunita Awasthi Singh; Bineesh P.K.; Satish Shetty K.

    2013-01-01

    Current and future aircraft systems require real-time embedded software with greater flexibility compared to what was previously available due to the continuous advancements in the technology leading to large and complex systems. Portability of software as one of the aspects of this flexibility is a major concern in application development for avionics domain for fast development and integration of systems. Abstractions of the hardware platform which have been already introduced by the operat...

  20. Workshop Schrijven is Blijven - II: Abstracts, Titles, and Keywords

    OpenAIRE

    Wopereis, Iwan

    2013-01-01

    Wopereis, I. (2013, 27 June). Workshop Schrijven is blijven - II: Abstracts, titles, and keywords [Workshop Publish or perish - II: Abstracts, titles, and keywords]. Workshop presented at Zuyd Hogeschool, Heerlen, The Netherlands.

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

  2. 13th International Mass Spectrometry Conference. Book of Abstracts

    International Nuclear Information System (INIS)

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

  3. Clad Degradation- Summary and Abstraction for LA

    International Nuclear Information System (INIS)

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

  4. Geographic information abstractions: conceptual clarity for geographic modeling

    OpenAIRE

    T L Nyerges

    1991-01-01

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

  5. Constraint-Based Abstract Semantics for Temporal Logic

    DEFF Research Database (Denmark)

    Banda, Gourinath; Gallagher, John Patrick

    2010-01-01

    function is constructed directly from the standard concrete semantics together with a Galois connection between the concrete state-space and an abstract domain. There is no need for mixed or modal transition systems to abstract arbitrary temporal properties, as in previous work in the area of abstract...

  6. Abstract Operators and Higher-order Linear Partial Differential Equation

    Institute of Scientific and Technical Information of China (English)

    BI Guang-qing; BI Yue-kai

    2011-01-01

    We summarize several relevant principles for the application of abstract operators in partial differential equations,and combine abstract operators with the Laplace transform.Thus we have developed the theory of partial differential equations of abstract operators and obtained the explicit solutions of initial value problems for a class of higher-order linear partial differential equations.

  7. 20. ATSR congress - Book of abstracts

    International Nuclear Information System (INIS)

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

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

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2009-06-15

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

  9. ABSTRACT FUNCTIONS OF BOUNDED VARIATION AND ABSOLUTE CONTINUITY

    Institute of Scientific and Technical Information of China (English)

    WuCongxin; LiuTiefu

    1994-01-01

    As well known that in 1938,I. M. Gelfand firstly introduced abstract functions of bounded variation from [a,b] to a Banach space. After Gelfand's work,many mathematicians investigated various properties and of this kind of abstract functions, and also paid attention to the abstract functions of absolute continuity In this paper, we summarize to explain our work [1-17] about this topic.

  10. Monkeys get a silver in Abstract Art Olympics

    CERN Document Server

    Simkin, M V

    2011-01-01

    Experiment shows that art students prefer abstract art to monkey art in about two-third of the cases. Since the number is above 50%, some argue that abstract art is different and better than animal art. I compare this result with figure skating competitions, where on average 73% of judges prefer gold medalist to silver medalist. This means that the difference between abstract artists and animal artists is less than the difference between gold and silver medalists.

  11. Reversible machine code and its abstract processor architecture

    DEFF Research Database (Denmark)

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

    2007-01-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1999-05-01

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

  13. Advanced light source: Compendium of user abstracts 1993-1996

    International Nuclear Information System (INIS)

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

  14. Analysis of Abstracts from the Medical Theses Written in Macedonian Language and Proposal of Standards for Abstract Preparation

    OpenAIRE

    Mirko Spiroski

    2014-01-01

    AIM: The aim of this study was to analyse abstracts from the medical theses written in Macedonian language and propose standards for abstract preparation. MATERIAL AND METHODS: A total number of 97 English abstracts from the medical PhD theses and 122 Medical MSc theses defended at the Faculty of Medicine, Ss Cyril and Methodius University of Skopje, Republic of Macedonia in the period of 2007-2012 were analysed. Author definition, institution definition, language definition, deposition i...

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

    Directory of Open Access Journals (Sweden)

    Chuah Ek Lon

    2012-11-01

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

  16. Honors Dissertation Abstracts: A Bounded Qualitative Meta-Study

    Science.gov (United States)

    Holman, Debra K.; Banning, James H.

    2012-01-01

    A potential source of useful information about undergraduate honors education can be found in doctoral dissertation abstracts that focus on honors. Debra Holman and James Banning of Colorado State University sought to explore this resource by undertaking a bounded qualitative meta-study of such abstracts using document analysis. Three…

  17. Complete Abstractions of Dynamical Systems by Timed Automata

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafael

    2013-01-01

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

  18. Abstraction from Constructors and Functional Constructors and Their Applications

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    Structures using constructors are of ordinary use in functionalprogramming to r epresent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes i deas of abstraction toward constructors, and similarly abstraction from construc ting functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1981-02-01

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

  20. Contextualizing Action for the Abstraction of Scientific Knowledge

    Science.gov (United States)

    Saglam, Yilmaz

    2015-01-01

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

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

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

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

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

    Science.gov (United States)

    Conrad, Susan Howes

    1991-01-01

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

  3. Abstraction in Expertise: A Study of Nurses' Conceptions of Concentration.

    Science.gov (United States)

    Noss, Richard; Hoyles, Celia; Pozzi, Stefano

    2002-01-01

    Uses situated abstraction to understand nurses' conceptions of intensive quantity of drug concentration. Explores nurses' conceptions to undertake a pointed examination of the degree of situatedness of nurses' knowledge and reasoning. Demonstrates that nurses' conceptions were abstracted within their practice when they coordinated mathematical…

  4. Abstract Stobjs and Their Application to ISA Modeling

    Directory of Open Access Journals (Sweden)

    Shilpi Goel

    2013-04-01

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

  5. From abstract to peer-reviewed publication: country matters

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  6. The Israel Physical Society 1997 Annual Meeting. Program and abstracts

    International Nuclear Information System (INIS)

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

  7. Geothermal environmental projects publication list with abstracts 1975-1978

    Energy Technology Data Exchange (ETDEWEB)

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

    1979-05-15

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

  8. Fixed Points on Abstract Structures without the Equality Test

    DEFF Research Database (Denmark)

    Korovina, Margarita V.

    2002-01-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

    1990-10-01

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

  10. Abstract Interpretation for Probabilistic Termination of Biological Systems

    CERN Document Server

    Gori, Roberta; 10.4204/EPTCS.11.9

    2009-01-01

    In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus. The methodology is based on the idea of representing a set of experiments, which differ only for the initial concentrations, by abstracting the multiplicity of reagents present in a solution, using intervals. In this paper, we refine the approach in order to address probabilistic termination properties. More in details, we introduce a refinement of the abstract LTS semantics and we abstract the probabilistic semantics using a variant of Interval Markov Chains. The abstract probabilistic model safely approximates a set of concrete experiments and reports conservative lower and upper bounds for probabilistic termination.

  11. Converting One Type-Based Abstract Domain to Another

    DEFF Research Database (Denmark)

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

    2006-01-01

    The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported...... predicates are available in terms of some ``standard" assertions. The first task is to define an abstract domain corresponding to the assertions for a given module and express the descriptions as objects in that domain. Following that they are automatically transformed into the analysis domain of interest....... We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain...

  12. Change-Of-Bases Abstractions for Non-Linear Systems

    CERN Document Server

    Sankaranarayanan, Sriram

    2012-01-01

    We present abstraction techniques that transform a given non-linear dynamical system into a linear system or an algebraic system described by polynomials of bounded degree, such that, invariant properties of the resulting abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change-of-basis transformation that associates each state variable of the abstract system with a function involving the state variables of the original system. We present conditions under which a given change of basis transformation for a non-linear system can define an abstraction. Furthermore, the techniques developed here apply to continuous systems defined by Ordinary Differential Equations (ODEs), discrete systems defined by transition systems and hybrid systems that combine continuous as well as discrete subsystems. The techniques presented here allow us to discover, given a non-linear system, if a change of bases transformation involving degree-bounded polynomials yielding an alge...

  13. Abstract Implementation of algebraic Specifications in a Temporal Logic Language

    Institute of Scientific and Technical Information of China (English)

    林惠民; 龚淳; 等

    1991-01-01

    A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.

  14. The Conversion of Cardiovascular Conference Abstracts to Publications

    DEFF Research Database (Denmark)

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

    2012-01-01

    presented at the American Heart Association (AHA), American College of Cardiology (ACC), and European Society of Cardiology (ESC) scientific sessions from 2006 to 2008. We compared abstract publication rates and journal impact factor between the 3 meetings using multivariable logistic regression modeling...... a systematic and automated evaluation of rates, timing, and correlates of publication from scientific abstracts presented at 3 major cardiovascular conferences. Methods and Results—Using an automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts...... conference presentation in 2005, these rates had risen slightly to 49.7% for AHA, 42.6% for ACC, and 37.6% for ESC (P0.0001). After adjustment for abstract characteristics and contributing countries, abstracts presented at the AHA meeting remained more likely for publication relative to the ESC (adjusted...

  15. Vulnerability Analysis for Complex Networks Using Aggressive Abstraction

    CERN Document Server

    Colbaugh, Richard

    2010-01-01

    Large, complex networks are ubiquitous in nature and society, and there is great interest in developing rigorous, scalable methods for identifying and characterizing their vulnerabilities. This paper presents an approach for analyzing the dynamics of complex networks in which the network of interest is first abstracted to a much simpler, but mathematically equivalent, representation, the required analysis is performed on 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 vulnerability-preserving, finite state abstractions, and develop efficient algorithms for computing these abstractions. We then propose a vulnerability analysis methodology which combines these finite state abstractions with formal analytics from theoretical computer science to yield a comprehensive vulnerability analysis process for networks of realworld scale and complexity. The potential of the prop...

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

  17. Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types

    Science.gov (United States)

    Sakhnini, Victoria; Hazzan, Orit

    2008-01-01

    The research presented in this article deals with the difficulties and mental processes involved in the definition, implementation, and use of abstract data types encountered by 12th grade advanced-level computer science students. Research findings are interpreted within the theoretical framework of "reducing abstraction" [Hazzan 1999]. The…

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

    Directory of Open Access Journals (Sweden)

    Luthfiyah Luthfiyah

    2016-05-01

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

  19. A Functional Correspondence Between Evaluators and Abstract Machines

    DEFF Research Database (Denmark)

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

    2003-01-01

    We bridge the gap between functional evaluators and abstract machines for the λ-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization.We illustrate this approach by deriving Krivine's abstract machine from an ordinary call-by-name evaluator an...... machines for the λ-calculus with computational effects.Finally, we consider the Categorical Abstract Machine and the extent to which it is more of a virtual machine than an abstract machine.......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...

  20. Syntactic Abstraction of B Models to Generate Tests

    CERN Document Server

    Julliand, Jacques; Bué, Pierre-Christophe; Masson, Pierre-Alain

    2010-01-01

    In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states, an abstraction function can be used, often combining state variable elimination and domain abstractions of the remaining variables. This paper complements previous results, based on domain abstraction for test generation, by adding a preliminary syntactic abstraction phase, based on variable elimination. We define a syntactic transformation that suppresses some variables from a B event model, in addition to a method that chooses relevant variables according to a test purpose. We propose two methods to compute an abstraction A of an initial model M. The first one computes A as a simulation of M, and the second one computes A as a bisimulation of M. The abstraction process produces a finite state system. We apply this abstraction computation to a Model Based T...