WorldWideScience

Sample records for abstract sets special

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

  2. [Special methodology, qualitative methods and abstract concepts].

    Science.gov (United States)

    Delgado, Ana R

    2010-08-01

    Generally speaking, this paper comments on the role of qualitative methods in scientific psychology. To begin with, general and special methodology are defined; then, the main uses of qualitative methods are described and the focus of the paper on the study of meaning and of abstract concepts in the context of embodied cognition is justified. It is emphasized that three uses of qualitative methods converge in the study of embodied cognition: (1) classification, given that it is centered on concepts, (2) discovery, because theories are not yet well articulated and inductive effort is required, and (3) the study of meaning. The final recommendation is to profit from the opportunity of constructing special techniques that the transformation of cognitive psychology is favoring; in this context, varieties of emotion become a privileged object of study.

  3. Poster Abstract: Towards NILM for Industrial Settings

    DEFF Research Database (Denmark)

    Holmegaard, Emil; Kjærgaard, Mikkel Baun

    2015-01-01

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

  4. 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 then ...... then be checked with several back-ends such as SPASS. We discuss in this article how to use AIF for modeling of a variety of examples....

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

  6. Verifying SeVeCom Using Set-based Abstraction

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Modesti, Paolo

    We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the hardware security modules (HSMs) of a number of cars, a certification authority, and the protocols e...... approaches in protocol abstraction, can handle databases that do not monotonically grow (and thus allow for revocation of keys). We report on two new attacks found and verify that under some reasonable assumptions, the system is secure in a black-box cryptography model....

  7. Verifying SeVeCom Using Set-based Abstraction

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Modesti, Paolo

    2011-01-01

    We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the hardware security modules (HSMs) of a number of cars, a certication authority, and the protocols exe...... approaches in protocol abstraction, can handle databases that do not monotonically grow (and thus allow for revocation of keys). We report on two new attacks found and verify that under some reasonable assumptions, the system is secure in a black-box cryptography model....

  8. Verifying SeVeCom Using Set-based Abstraction

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Modesti, Paolo

    2011-01-01

    We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the hardware security modules (HSMs) of a number of cars, a certication authority, and the protocols exe...... approaches in protocol abstraction, can handle databases that do not monotonically grow (and thus allow for revocation of keys). We report on two new attacks found and verify that under some reasonable assumptions, the system is secure in a black-box cryptography model....

  9. Model checking abstract state machines with answer set programming

    OpenAIRE

    2006-01-01

    Answer Set Programming (ASP) is a logic programming paradigm that has been shown as a useful tool in various application areas due to its expressive modelling language. These application areas include Bourided Model Checking (BMC). BMC is a verification technique that is recognized for its strong ability of finding errors in computer systems. To apply BMC, a system needs to be modelled in a formal specification language, such as the widely used formalism of Abstract State Machines (ASMs). In ...

  10. Invariant factors, Julia equivalences and the (abstract) Mandelbrot set

    CERN Document Server

    Keller, Karsten

    2000-01-01

    This book is mainly devoted to the combinatorics of quadratic holomorphic dynamics. The conceptual kernel is a self-contained abstract counterpart of connected quadratic Julia sets which is built on Thurston's concept of a quadratic invariant lamination and on symbolic descriptions of the angle-doubling map. The theory obtained is illustrated in the complex plane. It is used to give rigorous proofs of some well-known and some partially new statements on the structure of the Mandelbrot set. The text is intended for graduate students and researchers. Some elementary knowledge in topology and in functions of one complex variable is assumed.

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

  12. Geothermal energy abstract sets. Special report No. 14

    Energy Technology Data Exchange (ETDEWEB)

    Stone, C. (comp.)

    1985-01-01

    This bibliography contains annotated citations in the following areas: (1) case histories; (2) drilling; (3) reservoir engineering; (4) injection; (5) geothermal well logging; (6) environmental considerations in geothermal development; (7) geothermal well production; (8) geothermal materials; (9) electric power production; (10) direct utilization of geothermal energy; (11) economics of geothermal energy; and (12) legal, regulatory and institutional aspects. (ACR)

  13. Extended Set Constraints and Tree Grammar Abstraction of Programs

    DEFF Research Database (Denmark)

    Rosendahl, Mads; Gallagher, John Patrick

    2011-01-01

    Set constraints are relations between sets of ground terms or trees. This paper presents two main contributions: firstly we consider an extension of the systems of set constraints to include a tuple constructor, and secondly we construct a simplified solution procedure for set constraints. We ill...

  14. Moral concepts set decision strategies to abstract values.

    Directory of Open Access Journals (Sweden)

    Svenja Caspers

    Full Text Available Persons have different value preferences. Neuroimaging studies where value-based decisions in actual conflict situations were investigated suggest an important role of prefrontal and cingulate brain regions. General preferences, however, reflect a superordinate moral concept independent of actual situations as proposed in psychological and socioeconomic research. Here, the specific brain response would be influenced by abstract value systems and moral concepts. The neurobiological mechanisms underlying such responses are largely unknown. Using functional magnetic resonance imaging (fMRI with a forced-choice paradigm on word pairs representing abstract values, we show that the brain handles such decisions depending on the person's superordinate moral concept. Persons with a predominant collectivistic (altruistic value system applied a "balancing and weighing" strategy, recruiting brain regions of rostral inferior and intraparietal, and midcingulate and frontal cortex. Conversely, subjects with mainly individualistic (egocentric value preferences applied a "fight-and-flight" strategy by recruiting the left amygdala. Finally, if subjects experience a value conflict when rejecting an alternative congruent to their own predominant value preference, comparable brain regions are activated as found in actual moral dilemma situations, i.e., midcingulate and dorsolateral prefrontal cortex. Our results demonstrate that superordinate moral concepts influence the strategy and the neural mechanisms in decision processes, independent of actual situations, showing that decisions are based on general neural principles. These findings provide a novel perspective to future sociological and economic research as well as to the analysis of social relations by focusing on abstract value systems as triggers of specific brain responses.

  15. ABSTRACT

    African Journals Online (AJOL)

    identification of the poor and their characteristics; they should be given a chance to ... established to help eradicate the poverty, which include the People Empowerment ... Welfare Service Scheme has programmes like: Special Education ...

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

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

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

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

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

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

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

  3. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    The Research of the Subsistent States of the Artists Living in Guilin During the Anti-Japanese Period;A Brief History of Calligraphy Art of Chongqing as Provisional Capital during the Anti-Japanese Period;The Endless Stream and Terraced Mountains:on the Analysisof Spacein Chinese Landscape Painting of Gongxian;Political Vanguard in the Perspective View of the Formalism Aesthetic: 1980s Abstract Painting in China;Comparison of the Early-Stage Spreading of Western Pre-Modem Style Painting and Its Influence in China and Japan.

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

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Discussion on main hydraulic performance parameters' model acceptance test of mixed flow pump turbine YU Ji-xing, LI Jin-wei, CHEN Liu, REN Shao-cheng, JIANG Ming-li, LI Hai-ling (China Institute of Water Resources and Hydropower Research, Beijing 100038, China) Abstract: Model acceptance test content and main performance parameter' acceptance mode of mixed flow pump turbine were introduced, main hydraulic performance parameters, such as hump of pump high lift region and S unstable region during turbine starting, were discussed, after that, frequency characteristic of pressure fluctuation beside guide blade area were presented in briefly. Key words: pump turbine; model acceptance test; hump region; "S" region; pressure fluctuation

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

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    (1) ASEAN Security Community: Power Containment and Norm Construction --From the Perspective of Realist-Constructivism Zheng Ying-qin . 11 . Abstract:Combined of realism and constructivism, realist-constructivism emphasizes the interactions between power and identity through norms and their influence on international relations. From the perspective of realist-con- structivism, this article analyses the construction of ASEAN security community and figures out two main clues in the n of ASEAN : the containment of power system that facilitate the strategic cooperation of ASEAN and norms which promotes the cooperation. ASEAN has made achievements in security cooperation but security community. There are still lots of problems ASEAN needs to tackle, for example, to con- institution as well as to strengthen the regional economic interdependence. The possible way to pro- mote the ASEAN security community may start from the area of non-traditional security cooperation Key Wwords: ASEAN security community ; Realist-Constructivism ; power; norm

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

  11. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Shift of World Center and the Change of the International System Yan Xuetong Abstract: The power transition caused by China' s rise will not only change the international configuration, but could also result in the world cen- ter shifting from Europe to Asia. However, neither a change in the interna- tional configuration nor the shift of the world center implies a change of the type of the international system. The international system is composed of three elements: international actors, international configuration and interna- tional norms. It will be neither possible to distinguish international system from its components nor clarify relations between components and system if changes in one element are treated as change of types of international system.

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

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

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

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

  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

    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.

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

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

  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. AIF-ω: Set-Based Protocol Abstraction with Countable Families

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Bruni, Alessandro

    2016-01-01

    Abstraction based approaches like ProVerif are very efficient in protocol verification, but have a limitation in dealing with stateful protocols. A number of extensions have been proposed to allow for a limited amount of state information while not destroying the advantages of the abstraction...... this limitation by abstracting state into countable families of sets. We can then formalize a problem with unbounded agents, where each agent maintains its own set of keys. Still, our method does not loose the benefits of the abstraction approach, in particular, it translates a verification problem to a set...

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

  3. Abstract sets and finite ordinals an introduction to the study of set theory

    CERN Document Server

    Keene, G B

    2007-01-01

    This text unites the logical and philosophical aspects of set theory in a manner intelligible both to mathematicians without training in formal logic and to logicians without a mathematical background. It combines an elementary level of treatment with the highest possible degree of logical rigor and precision.Starting with an explanation of all the basic logical terms and related operations, the text progresses through a stage-by-stage elaboration that proves the fundamental theorems of finite sets. It focuses on the Bernays theory of finite classes and finite sets, exploring the system's basi

  4. Developmental Specialization in the Right Intraparietal Sulcus for the Abstract Representation of Numerical Magnitude

    Science.gov (United States)

    Holloway, Ian D.; Ansari, Daniel

    2010-01-01

    Because number is an abstract quality of a set, the way in which a number is externally represented does not change its quantitative meaning. In this study, we examined the development of the brain regions that support format-independent representation of numerical magnitude. We asked children and adults to perform both symbolic (Hindu-Arabic…

  5. Functional cohesion of gene sets determined by latent semantic indexing of PubMed abstracts.

    Directory of Open Access Journals (Sweden)

    Lijing Xu

    Full Text Available High-throughput genomic technologies enable researchers to identify genes that are co-regulated with respect to specific experimental conditions. Numerous statistical approaches have been developed to identify differentially expressed genes. Because each approach can produce distinct gene sets, it is difficult for biologists to determine which statistical approach yields biologically relevant gene sets and is appropriate for their study. To address this issue, we implemented Latent Semantic Indexing (LSI to determine the functional coherence of gene sets. An LSI model was built using over 1 million Medline abstracts for over 20,000 mouse and human genes annotated in Entrez Gene. The gene-to-gene LSI-derived similarities were used to calculate a literature cohesion p-value (LPv for a given gene set using a Fisher's exact test. We tested this method against genes in more than 6,000 functional pathways annotated in Gene Ontology (GO and found that approximately 75% of gene sets in GO biological process category and 90% of the gene sets in GO molecular function and cellular component categories were functionally cohesive (LPv<0.05. These results indicate that the LPv methodology is both robust and accurate. Application of this method to previously published microarray datasets demonstrated that LPv can be helpful in selecting the appropriate feature extraction methods. To enable real-time calculation of LPv for mouse or human gene sets, we developed a web tool called Gene-set Cohesion Analysis Tool (GCAT. GCAT can complement other gene set enrichment approaches by determining the overall functional cohesion of data sets, taking into account both explicit and implicit gene interactions reported in the biomedical literature.GCAT is freely available at http://binf1.memphis.edu/gcat.

  6. Quantification of Partially Ordered Sets with Application to Special Relativity

    Science.gov (United States)

    Bahreyni, Newshaw; Knuth, Kevin H.

    2011-03-01

    A partially ordered set is a set of elements ordered by a binary ordering relation. We have shown that a subset of a partially ordered set can be quantified by projecting elements onto a pair of chains where the elements of each chain are quantified by real numbers. This results in a quantification based on pairs of real numbers (pair). Intervals, defined by pairs of elements, can be quantified similarly. A pair can be decomposed into a sum of a symmetric pair and an antisymmetric pair and mapped to a unique scalar which results in the Minkowskian form. Changing the basis of quantification from one pair of chains to another, under special conditions, leads to the generalized Lorentz transformation for pairs. We apply these results to a causally-ordered set of events by identifying a chain of events with an observer equipped with a clock in an inertial frame. We obtain the Minkowski metric of flat space-time as well as Lorentz transformations, which results in there being a maximum invariant speed. We find that the mathematics of special relativity arises from quantifying causal relationships among events, and requires neither the principle of relativity nor the fact that the speed of light is constant.

  7. Special Education Teachers' Experiences Supporting and Supervising Paraeducators: Implications for Special and General Education Settings

    Science.gov (United States)

    Douglas, Sarah N.; Chapin, Shelley E.; Nolan, James F.

    2016-01-01

    In recent years, there has been an increase in paraeducator supports, in large part because students with low incidence disabilities are being included more frequently in general education settings. As a result, special education teachers have been given additional supervisory responsibilities related to directing the work of paraeducators in…

  8. Special Education Teachers' Experiences Supporting and Supervising Paraeducators: Implications for Special and General Education Settings

    Science.gov (United States)

    Douglas, Sarah N.; Chapin, Shelley E.; Nolan, James F.

    2016-01-01

    In recent years, there has been an increase in paraeducator supports, in large part because students with low incidence disabilities are being included more frequently in general education settings. As a result, special education teachers have been given additional supervisory responsibilities related to directing the work of paraeducators in…

  9. The dependence of the abstract boundary classification on a set of curves II: How the classification changes when the bounded parameter property satisfying set of curves changes

    CERN Document Server

    Whale, B E

    2012-01-01

    The abstract boundary uses sets of curves with the bounded parameter property (b.p.p.) to classify the elements of the abstract boundary into regular points, singular points, points at infinity and so on. Building on the material of Part one of this two part series, we show how this classification changes when the set of b.p.p. satisfying curves changes.

  10. The Influence of Developmental Aphasia in Training--With Special Reference to Abstract Thinking.

    Science.gov (United States)

    Maddrell, David

    1982-01-01

    Three training methods differing in degree of abstraction (demonstration, slide-diagram, and diagram) were used to instruct adolescents (26 control and 21 aphasic) in the completion of two tasks. Results indicated that aphasics have a deficit of abstract thinking which can prove a handicap in training situations. Ten sources are cited. (EJS)

  11. A Derivation of Special Relativity from Causal Sets

    CERN Document Server

    Knuth, Kevin H

    2010-01-01

    We present a novel derivation of special relativity based on the information physics of events comprising a causal set. We postulate that events are fundamental, and that some events have the potential to receive information about other events, but not vice versa. This leads to the concept of a partially-ordered set of events, which is called a causal set. Quantification proceeds by selecting two chains of coordinated events, each of which represents an observer, and assigning a valuation to each chain. Events can be projected onto each chain by identifying the earliest event on the chain that can be informed about the event. In this way, each event can be quantified by a pair of numbers, referred to a pair, that derives from the valuations on the chains. Pairs can be decomposed into a sum of symmetric and antisymmetric pairs, which correspond to time-like and space-like coordinates. From this pair, we derive a scalar measure and show that this is the Minkowski metric. The Lorentz transformations follow, as w...

  12. A Fixed Point Theorem for Set-Valued Mapping in Abstract Convex Space with Application

    Institute of Scientific and Technical Information of China (English)

    FAN Xiao Dong; XIANG Shu Wen

    2009-01-01

    A new fixed point theorem and the selection property for upper semi-continuous setvalued mappings in abstract convexity space are established. As their applications the existence of Nash equilibrium for n-person non-cooperative generalized games is proved.

  13. Accommodations in Homeschool Settings for Children with Special Education Needs

    Science.gov (United States)

    Stoudt, Patricia Koelsch

    2012-01-01

    This qualitative study was designed to examine how homeschooling parents in Pennsylvania make the determination to engage with public school districts to accommodate the special education needs (SEN) of their children. This phenomenological study used direct interviews with 30 Pennsylvania families who are homeschooling children with SEN. Data…

  14. Chemistry Comes Alive!, Volume 4: Abstract of Special Issue 25 on CD-ROM

    Science.gov (United States)

    Jacobsen, Jerrold J.; Bain, Gordon; Bruce, Kara; Moore, John W.

    2000-06-01

    , lessons, or instructional materials that utilize Chemistry Comes Alive! The movies on this CD-ROM are QuickTime movies. In addition to viewing with a WWW browser, the video can be played directly using QuickTime MoviePlayer. Images from the CD can be easily incorporated into multimedia presentations or lessons. Use of the Bookmark function of the Web browser is a particularly convenient method of organizing material for a lecture or for a student lesson. Remember that an additional license must be purchased before you place video from any CCA! volume on your local WWW server. Images of the reactions of potassium, selected from movies on Reactions of the Elements Acknowledgments Funding for Chemistry Comes Alive! was provided by the National Science Foundation, New Traditions, grant DUE-9455928 and National Science Foundation, Instructional Materials Development grant ESI-9154099. Many individuals made significant contributions to the development of this project. These include Alton Banks, North Carolina State University; Joe March, University of Alabama at Birmingham. Price and Ordering An order form is inserted in this issue that provides prices and other ordering information. If this card is not available or if you need additional information, contact JCE Software, University of Wisconsin-Madison, 1101 University Avenue, Madison, WI 53706-1396; phone; 608/262-5153 or 800/991-5534; fax: 608/265-8094; email: jcesoft@chem.wisc.edu. Information about all our publications (including abstracts, descriptions, updates) is available from our World Wide Web site. Literature Cited Jacobsen, J. J.; Moore, J. W. Chemistry Comes Alive! Vol. 1; J. Chem. Educ. Software 1998, SP 18. Jacobsen, J. J.; Moore, J. W. Chemistry Comes Alive! Vol. 2; J. Chem. Educ. Software 1998, SP 21. Jacobsen, J. J.; Moore, J. W. Chemistry Comes Alive! Vol. 3; J. Chem. Educ. Software 2000, SP 23. Banks, A. J.; Holmes, J. L.; Jacobsen, J. J.; Kotz, J. C.; Moore, J. W.; Robinson, W. R.; Schatz, P. F.; Tweedale

  15. Haiku and Flamenco. A Paradigmatic Case of Conceptual Abstraction and Formal Minimalism with Special Focus on Notional and Procedural Meaning

    Directory of Open Access Journals (Sweden)

    María Azucena Penas Ibáñez

    2013-12-01

    Full Text Available The present work deals with the formal and semantic similarities between haiku and flamenco in a first study of this phenomenon, which is new. We study the notional and procedural meaning in haiku, and then in flamenco in order to explore the various minimalist mechanisms that govern the progression ofthought in the two languages. The research is based on the four basic semantic categories proposed by Eugene Nida and Charles R. Taber: Object (None,Event (Verb, Abstract (Adjective and Relation (Preposition. These are universal categories which encompass all the semantic subcategories extant in any language. The Object category corresponds to the Entity in a thought chronology and the Event and Abstract categories correspond to behaviour, and allof them correspond to notional or conceptual meaning. On the other hand, theRelation category is associated with procedural or instrumental meaning, becauseit expresses a connection between terms of other kinds, such as discourse markers, the order of elements in the phrase when it is relevant for the communication of inference, verbs like to be or to have, when they only express relationships. The kireji have a special interest because they are Japanese textstructure markers.

  16. Calculation technique for special tank capacity based on setting-out

    Science.gov (United States)

    Fan, Bai-xing; Li, Zong-chun; Li, Guang-yun; Sun, Qing-wen

    2008-12-01

    Special tanks are important for energy source storage and transport. Based on the research of current calculation techniques for special tank capacity, a new principle and technique for special tank capacity calculations is discussed, which converts the capacity calculation into setting out and sets up a tank coordinate system. It completes all the work with a surveying robot online control mode. The new technology can calculate the tank capacity fast and precise and avoids the disadvantage of traditional measurement technology. Furthermore, special a software system is compiled, which can measure, calculate, adjust and create report tables automatically. Finally, the measurement accuracy and efficiency of the measured data are analyzed.

  17. Unmet Needs of Children with Special Health Care Needs in a Specialized Day School Setting

    Science.gov (United States)

    Aruda, Mary M.; Kelly, Mary; Newinsky, Karina

    2011-01-01

    Children with Special Health Care Needs (CSHCN) represent a significant component of the pediatric population. They often present to schools with multiple and increasingly complex health issues, including medical technology dependency. Their daily variation in health status requires close monitoring and communication among caregivers. Limited…

  18. Cyberbullying among students with intellectual and developmental disability in special education settings

    NARCIS (Netherlands)

    Didden, H.C.M.; Scholte, R.H.J.; Korzilius, H.P.L.M.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    OBJECTIVE: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. METHODS: Students (n = 114) with intellectual and developmental disability who were between 12-19 years of age

  19. 2nd International Workshop on Physics-Based Modelling of Material Properties and Experimental Observations with special focus on Fracture and Damage Mechanics: Book of Abstracts

    OpenAIRE

    Nilsson, Karl-Fredrik; YALCINKAYA Tuncay; Oren, Ersin Emre; Tekoğlu, Cihan

    2013-01-01

    This report covers the book of abstracts of the 2nd International Workshop on Physics Based Modelling of Material Properties and Experimental Observations, with special focus on Fracture and Damage Mechanics. The workshop is organized in the context of European Commission’s Enlargement and Integration Action, by the Joint Research Centre in collaboration with the TOBB University of Economics and Technology (TOBB ETU) on 15th-17th May 2013 in Antalya, Turkey. The abstracts of the keynote le...

  20. The Quest for Identifying BY Draconis Stars within a Data Set of 3,548 Candidate Cepheid Variable Stars (Abstract)

    Science.gov (United States)

    Johnson, J.

    2016-06-01

    (Abstract only) A spreadsheet of 3,548 automatically classified candidate Cepheid variable stars from the ASAS (All Sky Automated Survey) photometry data was provided to AAVSO (American Association of Variable Star Observers) members for analysis. It was known that the computer filters had significantly overpopulated the list. Patrick Wils originally investigated a small subset of the data using 2MASS, PPMXL, and ROTSE data, and discovered that the vast majority of the 84 candidates he surveyed appeared to have been misidentified, demonstrating the need to reclassify these variables. The most common misidentification seemed to be of BY Draconis stars (K and M spotted dwarfs), which led to an ongoing project to systematically identify BY Draconis stars from this data set. The stars are sorted using the International Variable Star Index (VSX) information and ASAS light curves to search for prior reclassification by other authors in the time since the initial population of the candidate list (e.g. using ROTSE data), along with infrared photometry (2MASS) and proper motion (PPMXL) data. An analysis of light curves and phase plots using the AAVSO software vstar is the final step in identifying potential BY Draconis stars. The goal of this project has been to submit updated identifications for these stars to VSX. This final presentation on this project will identify the last set of reclassified BY Draconis stars and discuss future directions for this research.

  1. Generalized Mobius-type functions and special set of k-free numbers

    CERN Document Server

    Bege, Antal

    2010-01-01

    In [3] Bege introduced the generalized Apostol's Mobius functions. In this paper we are presenting new properties of this functions. By introducing the special set of k-free numbers we have obtained some asymptotic formulas for the partial sums of these functions.

  2. Cyberbullying among students with intellectual and developmental disability in special education settings

    NARCIS (Netherlands)

    Didden, H.C.M.; Scholte, R.H.J.; Korzilius, H.P.L.M.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    OBJECTIVE: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. METHODS: Students (n = 114) with intellectual and developmental disability who were between 12-19 years of age com

  3. Cyberbullying among students with intellectual and developmental disability in special education settings.

    NARCIS (Netherlands)

    Didden, R.; Scholte, R.H.J.; Korzilius, H.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    OBJECTIVE: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. METHODS: Students (n = 114) with intellectual and developmental disability who were between 12-19 years of age com

  4. Turkish Special Education Teachers' Implementation of Functional Analysis in Classroom Settings

    Science.gov (United States)

    Erbas, Dilek; Yucesoy, Serife; Turan, Yasemin; Ostrosky, Michaelene M.

    2006-01-01

    Three Turkish special education teachers conducted a functional analysis to identify variables that might initiate or maintain the problem behaviors of three children with developmental disabilities. The analysis procedures were conducted in natural classroom settings. In Phase 1, following initial training in functional analysis procedures, the…

  5. Cyberbullying among students with intellectual and developmental disability in special education settings

    NARCIS (Netherlands)

    Didden, H.C.M.; Scholte, R.H.J.; Korzilius, H.P.L.M.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    Objective: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. Methods: Students (n = 114) with intellectual and developmental disability who were between 12–19 years of age com

  6. Cyberbullying among students with intellectual and developmental disability in special education settings.

    NARCIS (Netherlands)

    Didden, R.; Scholte, R.H.J.; Korzilius, H.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    OBJECTIVE: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. METHODS: Students (n = 114) with intellectual and developmental disability who were between 12-19 years of age com

  7. Cyberbullying among students with intellectual and developmental disability in special education settings

    NARCIS (Netherlands)

    Didden, H.C.M.; Scholte, R.H.J.; Korzilius, H.P.L.M.; Moor, J.M.H. de; Vermeulen, A.; O'Reilly, M.F.; Lang, R.; Lancioni, G.E.

    2009-01-01

    OBJECTIVE: To explore the types, prevalence and associated variables of cyberbullying among students with intellectual and developmental disability attending special education settings. METHODS: Students (n = 114) with intellectual and developmental disability who were between 12-19 years of age com

  8. 5 CFR 530.322 - Setting pay when a special rate schedule is newly established or increased.

    Science.gov (United States)

    2010-01-01

    ... Recruitment and Retention Setting An Employee's Rate of Pay § 530.322 Setting pay when a special rate schedule is newly established or increased. (a) General rule. When an employee holds a position that becomes... agency must set the employee's special rate at the step (or relative position in range for a GM employee...

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

    DEFF Research Database (Denmark)

    Gallagher, John Patrick; Puebla, G.

    2002-01-01

    Set-based program analysis has many potential applications, including compiler optimisations, type-checking, debugging, verification and planning. One method of set-based analysis is to solve a set of {\\it set constraints} derived directly from the program text. Another approach is based on abstr...

  10. Attitudes of Family Planning Workers toward Setting Up Special Counseling Stations for Unmarried Young Adults

    Institute of Scientific and Technical Information of China (English)

    涂晓雯; 刘英惠; 楼超华; 高尔生

    2001-01-01

    Objective To understand attitudes of family planning workers to setting up special counseling stations for unmarried young adults and to identify the acceptable and feasible ways to provide the services for unmarried young adults in eight provinces/cities in ChinaMethods From May 1998to December 1998, 1 927family planning workers including 965 contraceptive providers and 962 contraceptive distributors were recruited for questionnaire survey in eight provinces/cities in China.Results Except the subjects from Hebei Province, over 70% of all the subjects from other provinces/cities thought it was necessary to have a special counseling station set up for unmarried young adults, while 10~ 20% of them opposed to it. Result of Multivariable Logistic regression analysis showed that where the subjects came from, were contraceptive distributors, have higher education level, younger than 50, expressed tolerance for premarital sex, perceived that unmarried young adults had no or inadequate knowledge about sexuality and considered it was difficult for unmarried young adults to obtain contraceptive methods, were more likely to support the establishment of special counseling stations for unmarried youth. The acceptable and feasible ways to provide contraceptive services varied from one province/city to another. Generally,family planning counseling stations and hospital were the most acceptable place to provide counseling services for unmarried young adults in eight provinces/cities. Specially trained persons were recommended as the suitable persons for providing the services for unmarried young adults. Conclusion It is acceptable and feasible to set up special counseling stations for unmarried young adults.

  11. The Setting up of the Special Area for Children ’s Reading%动静有别的少儿阅读专区的设置

    Institute of Scientific and Technical Information of China (English)

    李欣欣

    2015-01-01

    ABSTRACT:At present, people pay more and more attention to children’s reading, but the number of children’s library with independent organizational system is limited. So, many parents with children to read in children’s reading room of adults’ library, which requires to set up the special area for chidren’s reading. This paper expounds the background of setting up the special area for chidren’s reading, analyzes the necessity of setting up the special area for chidren’s reading, and probes into the setting up of the special area for children’s reding.%目前,人们越来越重视儿童阅读,但独立建制的少儿馆数量有限,很多家长都是带孩子在成人馆的少儿阅览室阅读,这就需要为少儿阅览设置专门的区域。阐述了设置少儿阅读专区的背景,分析了设置少儿阅读专区的必要性,探讨了少儿阅读专区的设置。

  12. A Greedy Algorithm for a Special Class of Geometric Set Covering Problems

    DEFF Research Database (Denmark)

    Stolpe, Mathias; Bechmann, Andreas

    of a geometric set covering problem we propose a greedy type algorithm. We also propose a linear mixed 0 – 1 formulation of the problem. For each problem instance this formulation is solved by a commercial branch-andcut solver and the results are used to validate the quality of the solution from the greedy...... algorithm. The greedy algorithm finds the minimum number of squares for all but one problem instances from a set of 26 representative real-world examples.......We consider the problem of covering a set of given points in the plane by the smallest number of axis aligned squares of a given fixed size. This problem is of importance for computational fluid dynamics simulations of both onshore and offshore wind turbine parks. For this special case...

  13. Is dissonance reduction a special case of fluid compensation? Evidence that dissonant cognitions cause compensatory affirmation and abstraction.

    Science.gov (United States)

    Randles, Daniel; Inzlicht, Michael; Proulx, Travis; Tullett, Alexa M; Heine, Steven J

    2015-05-01

    Cognitive dissonance theory shares much in common with other perspectives that address anomalies, uncertainty, and general expectancy violations. This has led some theorists to argue that these theories represent overlapping psychological processes. If responding to dissonance and uncertainty occurs through a common psychological process, one should expect that the behavioral outcomes of feeling uncertain would also apply to feelings of dissonance, and vice versa. One specific prediction from the meaning maintenance model would be that cognitive dissonance, like other expectancy violations, should lead to the affirmation of unrelated beliefs, or the abstraction of unrelated schemas when the dissonant event cannot be easily accommodated. This article presents 4 studies (N = 1124) demonstrating that the classic induced-compliance dissonance paradigm can lead not only to a change of attitudes (dissonance reduction), but also to (a) an increased reported belief in God (Study 2), (b) a desire to punish norm-violators (Study 1 and 3), (c) a motivation to detect patterns amid noise (Study 3), and (d) polarizing support of public policies among those already biased toward a particular side (Study 4). These results are congruent with theories that propose content-general fluid compensation following the experience of anomaly, a finding not predicted by dissonance theory. The results suggest that dissonance reduction behaviors may share psychological processes described by other theories addressing violations of expectations. (c) 2015 APA, all rights reserved).

  14. The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (Extended Abstract

    Directory of Open Access Journals (Sweden)

    Vassilios Gregoriades

    2010-06-01

    Full Text Available In this article we treat a notion of continuity for a multi-valued function F and we compute the descriptive set-theoretic complexity of the set of all x for which F is continuous at x. We give conditions under which the latter set is either a G_delta set or the countable union of G_delta sets. Also we provide a counterexample which shows that the latter result is optimum under the same conditions. Moreover we prove that those conditions are necessary in order to obtain that the set of points of continuity of F is Borel i.e., we show that if we drop some of the previous conditions then there is a multi-valued function F whose graph is a Borel set and the set of points of continuity of F is not a Borel set. Finally we give some analogue results regarding a stronger notion of continuity for a multi-valued function. This article is motivated by a question of M. Ziegler in "Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability with Applications to Linear Algebra", (submitted.

  15. Creating a Model of Special Educational Settings for Disabled Students in Higher Education

    Directory of Open Access Journals (Sweden)

    Rubtsov V.V.

    2017-08-01

    Full Text Available The authors present their experience of designing a model of special educational settings for students with visual impairments enrolled in bachelor’s programmes in Mathematical Support and Administration of Information Systems and Applied Computer Science. The authors discuss requirements for career guidance, application for university admission, academic and psychological support in students with visual impairments and review the system of employment assistance for graduate students with disabilities. The outcomes of the research indicate that project-based learning, active involvement in research and participation in finding solutions to relevant practical tasks promotes high quality training in disabled students.

  16. Key-Alternating Ciphers in a Provable Setting: Encryption Using a Small Number of Public Permutations (Extended Abstract)

    DEFF Research Database (Denmark)

    Bogdanov, Andrey; Knudsen, L.R.; Leander, Gregor

    2012-01-01

    This paper considers—for the first time—the concept of key-alternating ciphers in a provable security setting. Key-alternating ciphers can be seen as a generalization of a construction proposed by Even and Mansour in 1991. This construction builds a block cipher PX from an n-bit permutation P and...

  17. Specialized Nursing Practice for Chronic Disease Management in the Primary Care Setting

    Science.gov (United States)

    2013-01-01

    Background In response to the increasing demand for better chronic disease management and improved health care efficiency in Ontario, nursing roles have expanded in the primary health care setting. Objectives To determine the effectiveness of specialized nurses who have a clinical role in patient care in optimizing chronic disease management among adults in the primary health care setting. Data Sources and Review Methods A literature search was performed using OVID MEDLINE, OVID MEDLINE In-Process and Other Non-Indexed Citations, OVID EMBASE, EBSCO Cumulative Index to Nursing & Allied Health Literature (CINAHL), the Wiley Cochrane Library, and the Centre for Reviews and Dissemination database. Results were limited to randomized controlled trials and systematic reviews and were divided into 2 models: Model 1 (nurse alone versus physician alone) and Model 2 (nurse and physician versus physician alone). Effectiveness was determined by comparable outcomes between groups in Model 1, or improved outcomes or efficiency in Model 2. Results Six studies were included. In Model 1, there were no significant differences in health resource use, disease-specific measures, quality of life, or patient satisfaction. In Model 2, there was a reduction in hospitalizations and improved management of blood pressure and lipids among patients with coronary artery disease. Among patients with diabetes, there was a reduction in hemoglobin A1c but no difference in other disease-specific measures. There was a trend toward improved process measures, including medication prescribing and clinical assessments. Results related to quality of life were inconsistent, but patient satisfaction with the nurse-physician team was improved. Overall, there were more and longer visits to the nurse, and physician workload did not change. Limitations There was heterogeneity across patient populations, and in the titles, roles, and scope of practice of the specialized nurses. Conclusions Specialized nurses with

  18. [Set up of a protocol for heparin use in special patients].

    Science.gov (United States)

    Manresa Ramón, N; Nájera Pérez, Ma D; Page del Pozo, Ma Ángeles; Sánchez Martínez, I; Sánchez Catalicio, Ma del M; Roldán Schilling, V

    2014-04-01

    Low-molecular weight (LMW) heparins bring a series of advantages as compared to non-fractionated heparin (NFH), such as safety, efficacy, bioavailability, fewer monitoring, and persistent anti-coagulant response. There exist, however, a concern about their use in particular patients that may require a special control, such as those with renal failure, age over 75 years, obesity, and pregnancy. The aim of this study was the set up between the department of Pharmacy, Hematology, and Internal Medicine of a consensus protocol for the follow-up ad monitoring of LMWH in patients requiring a special control. For this purpose, we carried out a bibliographical review of the different heparins used under de above mentioned conditions. Based on the evidence available and the consensus among the members of the working group, we established a protocol that contained recommendations on prophylaxis, management and monitoring by means of the determination of anti-Xa factor. Besides, we included some clues on the therapeutic figures of anti-Xa and administration schedules for obtaining anti-Xa values within the range. Enoxaparin was the selected heparin given the evidence and its availability at our center.

  19. Access to care for people with special needs: role of alternative providers and practice settings.

    Science.gov (United States)

    Miller, Christine E

    2005-09-01

    Oral Health in America: A Report of the Surgeon General released in 2000 was the first-ever surgeon general's report on the status of oral health in the United States. It clearly outlined a growing set of challenges in such areas as reducing oral health disparities, improving access to oral and dental care, and prevention of common dental diseases. Findings revealed that 75 percent of dental disease is found in 25 percent of the population. California's children have twice as much untreated decay as their national counterparts. For children with special health care needs seeing a dentist, the data is sparse but a survey of general dentists conducted in 2001 showed that only 10 percent see these children often or very often.

  20. Special Needs of Young Women with Breast Cancer in Limited Resource Settings.

    Science.gov (United States)

    Gálvez-Hernández, Carmen Lizette; González-Robledo, María Cecilia; Barragán-Carrillo, Regina; Villarreal-Garza, Cynthia

    2017-01-01

    Young women with breast cancer (YWBC) comprise a group of patients with unique biopsychosocial characteristics with a special perception of needs throughout their disease and survivorship. Contexts marked by restricted allocations and economic constraints might further aggravate the struggle of these patients living within limited resource settings and can demand added requirements for them and their families. To analytically explore the existing knowledge regarding the needs of YWBC in low- and middle- income countries (LMICs). We conducted a thorough literature review of scientific journal databases available in Spanish and English containing information on YWBC in LMICs. We did not find any publications exclusively assessing this topic in resource-limited settings. We looked for data on the different types of YW need from studies in the region that assessed the needs of breast cancer (BC) patients in general and described in their findings the particularities of young patients. Young BC patients described within the literature present a variety of needs. Those reported most frequently as unmet were related to information needs and psychological counseling, practical and physical assistance, and social and spiritual support. Published literature on the subject - particularly in Latin America - is extremely scarce. This offers an area of opportunity for conducting further research in this topic that would help improve health professional training and establish health policies in favor of YWBC.

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

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

  3. From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions

    CERN Document Server

    Dowek, Gilles

    2011-01-01

    Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In PNL, the forall-quantifier or lambda-binder are just term-formers satisfying axioms, and their denotation is functions on nominal atoms-abstraction. Then we have higher-order logic (HOL) and its models in ordinary (i.e. Zermelo-Fraenkel) sets; the denotation of forall or lambda is functions on full or partial function spaces. This raises the following question: how are these two models of binding connected? What translation is possible between PNL and HOL, and between nominal sets and functions? We exhibit a translation of PNL into HOL, and from models of PNL to certain models of HOL. It is natural, but also partial: we translate a restricted subsystem of full PNL to HOL. The extra part which does not translate is the symmetry properties of nominal sets with respect to permutations. To use a little nominal jargon: we can translate na...

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

  5. 5 CFR 530.323 - Setting pay when a special rate is discontinued or decreased.

    Science.gov (United States)

    2010-01-01

    ... discontinued or decreased. 530.323 Section 530.323 Administrative Personnel OFFICE OF PERSONNEL MANAGEMENT... decreased. (a) General. This section applies when a special rate applicable to a position is discontinued or decreased because of— (1) A reduction or termination of the rates of the special rate schedule (or of rates...

  6. Evaluating the Teaching and Learning Experience for the Child with Dyslexia in Special and Mainstream Settings in Ireland

    Science.gov (United States)

    McPhillips, Therese; Shevlin, Michael

    2009-01-01

    This study examines and evaluates special provision for pupils with dyslexia in three different settings: reading schools, reading units and mainstream support. The research focused on the teaching and learning context for pupils with dyslexia, the support teacher, the mainstream teacher and the experience of the student. The main participants…

  7. Exploring the Social Connections in Preschool Settings between Children Labelled with Special Educational Needs and Their Peers

    Science.gov (United States)

    Parry, John

    2015-01-01

    This paper reports on a small-scale study of the social interactions between six children labelled with special educational needs and their peers in their respective early years settings. Data from play observations, photographs and staff interviews is used to examine the dynamics of the connections that they make with other children. The position…

  8. Current Practices for Training Staff to Accommodate Youth with Special Health Care Needs in the 4-H Camp Setting

    Science.gov (United States)

    Mouton, Lauren; Bruce, Jacklyn

    2013-01-01

    The theory of inclusion is the foundation for the study reported here; inclusion is a focus not only of formal education, but also of nonformal educational settings such as 4-H. Ideally, 4-H camps are designed to serve youth of all backgrounds and abilities. By accommodating youth with special health care needs, 4-H camps are effectively meeting…

  9. Coping with Challenging Behaviours of Children with Autism: Effectiveness of Brief Training Workshop for Frontline Staff in Special Education Settings

    Science.gov (United States)

    Ling, C. Y. M.; Mak, W. W. S.

    2012-01-01

    Background: The present study examined the effectiveness of three staff training elements: psychoeducation (PE) on autism, introduction of functional behavioural analysis (FBA) and emotional management (EM), on the reaction of challenging behaviours for frontline staff towards children with autism in Hong Kong special education settings. Methods:…

  10. Setting Up a Special Collection on Water Pollution in a University Library

    Science.gov (United States)

    Friedlander, Janet

    1974-01-01

    The establishment of a special collection within the university library, the complexities of identifying and collecting reports in the environmental area, locating agencies concerned with water pollution, and recording the location of other local collections of data are described. (Author)

  11. Setting Up a Special Collection on Water Pollution in a University Library

    Science.gov (United States)

    Friedlander, Janet

    1974-01-01

    The establishment of a special collection within the university library, the complexities of identifying and collecting reports in the environmental area, locating agencies concerned with water pollution, and recording the location of other local collections of data are described. (Author)

  12. Educational Preparation of Hygienists Working with Special Populations in Nontraditional Settings.

    Science.gov (United States)

    Cohen, Leonard; And Others

    1985-01-01

    The results of a study of the employment patterns, academic preparation, and work characteristics of dental hygienists working with special populations (including the physically handicapped, mentally and emotionally handicapped, geriatric, mentally compromised, homebound, low income, and children) are reported. (MSE)

  13. Implementing an Intervention in Special Education to Promote Social Skills in an Inclusive Setting

    Science.gov (United States)

    Puckett, Kathleen; Mathur, Sarup R.; Zamora, Roxanne

    2017-01-01

    This study examined the effects of instruction, delivered in a special education classroom, to improve classroom behaviors and support the emergence of social skills in an inclusive classroom for two fourth grade male students with behavioral concerns. The intervention consisted of peer mentoring, interactive social narratives, video modeling and…

  14. The Impediments to the Successful Implementation of Change Initiatives in Special Education Settings

    Science.gov (United States)

    Edwards, Erin

    2012-01-01

    As school systems in general and special education programming specifically come under increasing financial and ideological pressure to undergo reform, it is critically important to understand any resistance to change, to identify and describe the culture of resistance that exists within complexity that define our school systems today, and to…

  15. DPT/CT: A Realistic Answer for Preventive Special Education Services in Rural School Setting.

    Science.gov (United States)

    Sapp, David N.

    The consulting teacher program involving the use of special classes and resource rooms, which serves mildly to moderately handicapped students in Griggs, Steele, and Traill Counties in North Dakota, a rural school district, is described. Outlined is the service design model consisting of 11 steps: referral, observation, initial parent contact,…

  16. An application of Special Ordered Sets to a periodic milk collection problem

    NARCIS (Netherlands)

    Claassen, G.D.H.; Hendriks, T.H.B.

    2007-01-01

    We present an OR-based approach to support a milk collection problem in a special branch of dairy industry. The annual growth of the sector and the continuous imbalance between milk supply and demand, has urged the sector to look for a different approach to their daily milk collection problem. Speci

  17. Current Practices in Special Education Service Delivery and Differences between Instructional Settings

    Science.gov (United States)

    Platt, Marguerite D.

    2013-01-01

    Despite nationwide advances in special education service delivery practices, disparities exist between the educational outcomes of students with disabilities versus students without disabilities. There is often disparity in teachers' roles and instructional practices in coteaching classrooms, as well as in their pullout resource classroom…

  18. The Impediments to the Successful Implementation of Change Initiatives in Special Education Settings

    Science.gov (United States)

    Edwards, Erin

    2012-01-01

    As school systems in general and special education programming specifically come under increasing financial and ideological pressure to undergo reform, it is critically important to understand any resistance to change, to identify and describe the culture of resistance that exists within complexity that define our school systems today, and to…

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

  20. Knowledge-Based Abstracting.

    Science.gov (United States)

    Black, William J.

    1990-01-01

    Discussion of automatic abstracting of technical papers focuses on a knowledge-based method that uses two sets of rules. Topics discussed include anaphora; text structure and discourse; abstracting techniques, including the keyword method and the indicator phrase method; and tools for text skimming. (27 references) (LRW)

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

  2. Completeness of Lyapunov Abstraction

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2013-08-01

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

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

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

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

  6. Abstraction and Problem Reformulation

    Science.gov (United States)

    Giunchiglia, Fausto

    1992-01-01

    In work done jointly with Toby Walsh, the author has provided a sound theoretical foundation to the process of reasoning with abstraction (GW90c, GWS9, GW9Ob, GW90a). The notion of abstraction formalized in this work can be informally described as: (property 1), the process of mapping a representation of a problem, called (following historical convention (Sac74)) the 'ground' representation, onto a new representation, called the 'abstract' representation, which, (property 2) helps deal with the problem in the original search space by preserving certain desirable properties and (property 3) is simpler to handle as it is constructed from the ground representation by "throwing away details". One desirable property preserved by an abstraction is provability; often there is a relationship between provability in the ground representation and provability in the abstract representation. Another can be deduction or, possibly inconsistency. By 'throwing away details' we usually mean that the problem is described in a language with a smaller search space (for instance a propositional language or a language without variables) in which formulae of the abstract representation are obtained from the formulae of the ground representation by the use of some terminating rewriting technique. Often we require that the use of abstraction results in more efficient .reasoning. However, it might simply increase the number of facts asserted (eg. by allowing, in practice, the exploration of deeper search spaces or by implementing some form of learning). Among all abstractions, three very important classes have been identified. They relate the set of facts provable in the ground space to those provable in the abstract space. We call: TI abstractions all those abstractions where the abstractions of all the provable facts of the ground space are provable in the abstract space; TD abstractions all those abstractions wllere the 'unabstractions' of all the provable facts of the abstract space are

  7. A Preliminary Core Domain Set for Clinical Trials of Shoulder Disorders: A Report from the OMERACT 2016 Shoulder Core Outcome Set Special Interest Group.

    Science.gov (United States)

    Buchbinder, Rachelle; Page, Matthew J; Huang, Hsiaomin; Verhagen, Arianne P; Beaton, Dorcas; Kopkow, Christian; Lenza, Mario; Jain, Nitin B; Richards, Bethan; Richards, Pamela; Voshaar, Marieke; van der Windt, Danielle; Gagnier, Joel J

    2017-01-15

    The Outcome Measures in Rheumatology (OMERACT) Shoulder Core Outcome Set Special Interest Group (SIG) was established to develop a core outcome set (COS) for clinical trials of shoulder disorders. In preparation for OMERACT 2016, we systematically examined all outcome domains and measurement instruments reported in 409 randomized trials of interventions for shoulder disorders published between 1954 and 2015. Informed by these data, we conducted an international Delphi consensus study including shoulder trial experts, clinicians, and patients to identify key domains that should be included in a shoulder disorder COS. Findings were discussed at a stakeholder premeeting of OMERACT. At OMERACT 2016, we sought consensus on a preliminary core domain set and input into next steps. There were 13 and 15 participants at the premeeting and the OMERACT 2016 SIG meeting, respectively (9 attended both meetings). Consensus was reached on a preliminary core domain set consisting of an inner core of 4 domains: pain, physical function/activity, global perceived effect, and adverse events including death. A middle core consisted of 3 domains: emotional well-being, sleep, and participation (recreation and work). An outer core of research required to inform the final COS was also formulated. Our next steps are to (1) analyze whether participation (recreation and work) should be in the inner core, (2) conduct a third Delphi round to finalize definitions and wording of domains and reach final endorsement for the domains, and (3) determine which instruments fulfill the OMERACT criteria for measuring each domain.

  8. Bid Optimization for Internet Graphical Ad Auction Systems via Special Ordered Sets

    CERN Document Server

    Wiggins, Ralphe

    2007-01-01

    This paper describes an optimization model for setting bid levels for certain types of advertisements on web pages. This model is non-convex, but we are able to obtain optimal or near-optimal solutions rapidly using branch and cut open-source software. The financial benefits obtained using the prototype system have been substantial.

  9. A General Theory of Additive State Space Abstractions

    CERN Document Server

    Yang, Fan; Holte, Robert; Zahavi, Uzi; Felner, Ariel; 10.1613/jair.2486

    2011-01-01

    Informally, a set of abstractions of a state space S is additive if the distance between any two states in S is always greater than or equal to the sum of the corresponding distances in the abstract spaces. The first known additive abstractions, called disjoint pattern databases, were experimentally demonstrated to produce state of the art performance on certain state spaces. However, previous applications were restricted to state spaces with special properties, which precludes disjoint pattern databases from being defined for several commonly used testbeds, such as Rubiks Cube, TopSpin and the Pancake puzzle. In this paper we give a general definition of additive abstractions that can be applied to any state space and prove that heuristics based on additive abstractions are consistent as well as admissible. We use this new definition to create additive abstractions for these testbeds and show experimentally that well chosen additive abstractions can reduce search time substantially for the (18,4)-TopSpin puz...

  10. Developing mathematics learning set for special-needs junior high school student oriented to learning interest and achievement

    Directory of Open Access Journals (Sweden)

    Ai Sadidah

    2016-11-01

    Full Text Available This study aims to produce a mathematics learning set for special-needs students (mathematical learning disability and mathematically gifted of Junior High School Grade VIII Second Semester oriented to learning interests and achievement which is valid, practical, and effective. This study was a research and development study using the Four-D development model consisting of four stages: (1 define, (2 design, (3 develop, and (4 disseminate. The quality of learning set consisting of the following three criterions: (1 validity, (2 practicality, and (3 effectiveness.  The data analysis technique used in this study is a descriptive quantitative analysis. The research produced learning set consisting of lesson plans and student worksheets. The result of the research shows that: (1 the learning set fulfill the valid criteria base on experts’ appraisal; (2 the learning set fulfill the practical criterion base on teacher’s and students’ questionnaire, and observation of learning implementation; (3 the learning set fulfill the effectiveness criterion base on learning interest and achievement.

  11. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Ideological Critique of Marx and Philosophical Transformation This paper addresses a tendency today that tries to reinterpret the Marxist transformation in philosophy with a "non-ideological" perspective. It explicates the leap that Marx achieved from abstract human spirit and state reason to the proletariat world view, as well as the overall withdrawal from the abstract universalism. Such a leap and withdrawal is not only the key to the materialistic inversion of the Hegelian dialectics, but also the foundation for sticking to and enriching the Marxist philosophy. Without sticking to this direction, we will not be able to clearly understand Marxism as the successor and promoter of the magnificent cultural achievements of mankind, including the enlightenment thoughts and classical German philosophy, nor will we fully understand the value and strength of Marxist philosophy today.

  12. Airborne PBDEs in specialized occupational settings, houses and outdoor urban areas in Greece

    Energy Technology Data Exchange (ETDEWEB)

    Mandalakis, Manolis; Atsarou, Vassiliki [Environmental Chemical Processes Laboratory, Department of Chemistry, University of Crete, Buildings of Chemistry Department, Voutes-Heraklion, GR-71003 Heraklion (Greece); Stephanou, Euripides G. [Environmental Chemical Processes Laboratory, Department of Chemistry, University of Crete, Buildings of Chemistry Department, Voutes-Heraklion, GR-71003 Heraklion (Greece)], E-mail: stephanou@chemistry.uoc.gr

    2008-09-15

    Airborne polybrominated diphenyl ethers (PBDEs) were measured in workplaces, homes and urban outdoor air in Greece. The geometric mean concentrations of total PBDEs (sum of 19 congeners) in offices (205 pg m{sup -3}), internet cafes/computer rooms (127 pg m{sup -3}) and computers/electronics shops (85 pg m{sup -3}) were significantly higher than those in furniture stores (12 pg m{sup -3}), homes (8 pg m{sup -3}) and outdoor air (18 pg m{sup -3}). The daily inhalation intake of PBDEs estimated for the employees of the four occupational settings ranged from 0.2 to 1.4 ng day{sup -1} and it was significantly lower than the expected dietary intake ({approx}77 ng day{sup -1}). Although inhalation generally represented a small fraction of the overall daily exposure to PBDEs ({approx}1%), the results from a heavily contaminated office (10 848 pg m{sup -3} of total PBDEs) indicated that the intake from this route (65 ng day{sup -1}) may, in some extreme cases, be as important as diet. - Passive air sampling reveals that PBDEs can reach exceedingly high levels in the indoor air of specific occupational settings.

  13. Gender and physician specialization and practice settings in Ecuador: a qualitative study.

    Science.gov (United States)

    Bedoya-Vaca, Rita; Derose, Kathryn P; Romero-Sandoval, Natalia

    2016-11-17

    The increasing proportion of women in the medical profession is a worldwide phenomenon often called the "feminization of medicine." However, it is understudied in low and middle-income countries, particularly in Latin America. Using a qualitative, descriptive design, we explored the influence of gender and other factors on physician career decision-making and experiences, including medical specialty and public vs. private practice, in Quito, Ecuador, through in-depth, semi-structured interviews (n = 31) in 2014. Theoretical sampling was used to obtain approximately equal numbers of women and men and a range of medical specialties and practice settings; data saturation was used to determine sample size. Transcripts were analyzed using content coding procedures to mark quotations related to major topics and sub-themes included in the interview guide and inductive (grounded theory) approaches to identify new themes and sub-themes. Gendered norms regarding women's primary role in childrearing, along with social class or economic resources, strongly influenced physicians' choice of medical specialty and practice settings. Women physicians, especially surgeons, have had to "pay the price" socially, often remaining single and/or childless, or ending up divorced; in addition, both women and men face limited opportunities for medical residency training in Ecuador, thus specialty is determined by economic resources and "opportunity." Women physicians often experience discrimination from patients, nurses, and, sometimes, other physicians, which has limited their mobility and ability to operate independently and in the private sector. The public sector, where patients cannot "choose" their doctors, offers women more opportunities for professional success and advancement, and the regular hours enable organizing work and family responsibilities. However, the public sector has generally much less flexibility than the private sector, making it more difficult to balance work

  14. Screening for Chronic Obstructive Pulmonary Disease: Validity and Reliability of a Portable Device in Non-Specialized Healthcare Settings

    Science.gov (United States)

    Represas-Represas, Cristina; Fernández-Villar, Alberto; Ruano-Raviña, Alberto; Priegue-Carrera, Ana; Botana-Rial, Maribel

    2016-01-01

    Introduction and Objectives The underdiagnosis of chronic obstructive pulmonary disease (COPD) could be improved through screening using portable devices simpler than conventional spirometers in specific healthcare settings to reach a higher percentage of the at-risk population. This study was designed to assess the validity and reliability of the COPD-6 portable device to screen for COPD in non-specialized healthcare settings. Methods Prospective cohort study to validate a diagnostic test. Three cohorts were recruited: primary care (PC), emergency services (ES) and community pharmacies (CPh). Study population: individuals with risk factors for COPD (>40 years, smoking >10 pack-years, with respiratory symptoms). The values measured using the COPD-6 were FEV1, FEV6 and the FEV1/FEV6 ratio. Subsequently, participants underwent conventional spirometry at hospital, using a post-bronchodilator FEV1/FVC value <0.7 as the gold standard criterion for the COPD diagnosis. Results 437 participants were included, 362 were valid for the analysis. COPD was diagnosed in 114 patients (31.5%). The area under the ROC curve for the COPD-6 for COPD screening was 0.8.The best cut-off point for the FEV1/FEV6 ratio was 0.8 (sensitivity, 92.1%) using spirometry with the bronchodilator test as the gold standard. There were practically no differences in the COPD-6 performancein the different settings and also regarding age, gender and smoking status. Conclusions The COPD-6 device is a valid tool for COPD screening in non-specialized healthcare settings. In this context, the best cut-off point for the FEV1/FEV6 ratio is 0.8. PMID:26726887

  15. Implementation Program of Industrial Green Development Special Action (Abstract)%2015年工业绿色发展专项行动实施方案(摘要)

    Institute of Scientific and Technical Information of China (English)

    工业和信息化部

    2015-01-01

    Recently,MIITissued on 27th,February. At the same time MIIT puts forward goals, focuses and missions of implementing green development in nation-wide industrial system, which paved the way for submitting energy utilization and constructing green industry in whole country. For this, our magazine has printed abstract from as follows, for readers to study, to carry out it. Based on it to consider actual situations and take active measures to build up green enterprises in order to contribute to constructing resource-conservative and enviroment-friendly industry system.

  16. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    On the Relationship Between the Life Experience and Novel Creation --the Comparative Analysis of the Backgrounds of Yu Dafu's Novels and Xuan Zhenjian's Abstract:The themes of Yu Dafu's novels are mostly concerning the themes of "the depression of sex" or the sadness of life, which are due to the background of the Chinese overseas students as the citizens of powerless country,to a larger extend associated with Yu's life experi- ence and his special characters sensitive but affectionate, self-esteemed but aloof and proud. On the contrast, Xuan Zhenjian is born with superior status and gentleman's virtues,so he cherishes his traditional marriage life,concerns more about the social problems on fami- lies and jobs which are closely associated with people's livings,and especially discuses the sadness of life of the intellectual in that particular Korea.

  17. Delivery and Evaluation of Training for School Nutrition Administrators and Managers on Meeting Special Food and Nutrition Needs of Students in the School Setting

    Science.gov (United States)

    Oakley, Charlotte B.; Knight, Kathy; Hobbs, Margie; Dodd, Lacy M.; Cole, Janie

    2011-01-01

    Purpose/Objectives: The purpose of this investigation was to complete a formal evaluation of a project that provided specialized training for school nutrition (SN) administrators and managers on meeting children's special dietary needs in the school setting. Methods: The training was provided as part of the "Eating Good and Moving Like We Should"…

  18. Delivery and Evaluation of Training for School Nutrition Administrators and Managers on Meeting Special Food and Nutrition Needs of Students in the School Setting

    Science.gov (United States)

    Oakley, Charlotte B.; Knight, Kathy; Hobbs, Margie; Dodd, Lacy M.; Cole, Janie

    2011-01-01

    Purpose/Objectives: The purpose of this investigation was to complete a formal evaluation of a project that provided specialized training for school nutrition (SN) administrators and managers on meeting children's special dietary needs in the school setting. Methods: The training was provided as part of the "Eating Good and Moving Like We…

  19. Selected Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Elasticity of Vague Language Abstract:This paper develops an overarching theoretical framework for dealing with the strategic elastic- ity of vague language. Employing the metaphor of a slingshot, it describes how the vague language (VL) is stretched to meet the needs of communication. Drawing attention to the positive and effective role played by VL, the study further looks into how the VL theory is derived from real - life data of ten- sion -prone encounters. The empirical evidence validates the theory~ main maxim and its four specific maxims, and lends support to the following findings: 1 ) the pragmatic functions which VL performs, their linguistic realizations, and the pragmatic maxims they conform to are interconnected; 2) the dom- inant factor in the functioning of VL is the communicative goal; and 3 ) stretching on a continuum of polarities, between soft and tough, firm and flexible, cooperative and uncooperative, shows the versa- tility and elasticity of VL. An important implication of this study is that while VL~ vagueness is context -governed and culture- denendent it~ nll A ~1.o~;.;~.. ; :

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

  1. ARM : abstract rewriting machine

    NARCIS (Netherlands)

    J.F.T. Kamperman; H.R. Walters (Pum)

    1993-01-01

    textabstractTerm rewriting is frequently used as implementation technique for algebraic specifications. In this paper we present the abstract term rewriting machine (ARM), which has an extremely compact instruction set and imposes no restrictions on the implemented TRSs. Apart from standard

  2. Full Abstraction for HOPLA

    DEFF Research Database (Denmark)

    Nygaard, Mikkel; Winskel, Glynn

    2003-01-01

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

  3. Early Childhood Education and Special Education: How Well Do They Mix? An Examination of Inclusive Practices in Early Childhood Educational Settings in Hong Kong

    Science.gov (United States)

    Zhang, Kaili C.

    2011-01-01

    To examine and identify the current inclusive practices in early childhood educational settings in Hong Kong, this qualitative study looks at the support and educational services available for young children with special needs in Hong Kong mainstream preschools as well as the characteristics of early childhood educational settings that support…

  4. Elements of abstract algebra

    CERN Document Server

    Clark, Allan

    1984-01-01

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

  5. Abstraction and art.

    Science.gov (United States)

    Gortais, Bernard

    2003-01-01

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

  6. Making Connections and Making Friends: Social Interactions between Two Children Labelled with Special Educational Needs and Their Peers in a Nursery Setting

    Science.gov (United States)

    Parry, John

    2014-01-01

    This paper reports on a pilot study of the social interactions between two children labelled with special educational needs and their peers in an early years setting. Data from play observations and staff interviews are used to examine the dynamics of friendship groups that the two children have developed and the way that they attempt to make new…

  7. Approximate Continuity Selection for Set-valued Maps in Abstract Convex Cone Metric Spaces and Application%抽象凸锥度量空间上集值映射的逼近连续选择及应用

    Institute of Scientific and Technical Information of China (English)

    夏顺友

    2013-01-01

    利用抽象凸空间满足的H0条件和紧集的有限覆盖及与之相应的单位分解构造标准单纯形上的连续映射,从而由Brouwer不动点定理证明了抽象凸锥度量空间上具有邻域抽象凸值的锥度量上半连续集值映射的一个锥度量逼近连续选择定理,并由此得到具有邻域抽象凸值的锥度量上半连续集值映射的一个不动点定理,然后将此不动点定理应用于博弈论,通过构造锥度量上半连续最优反应集值映射得到抽象凸锥度量策略空间上的n人非合作广义博弈Nash平衡的一个存在性结果.%Constructing a continuity map on standard simplex by using H0 condition of abstract convex space and the partition of unity subordinate to the finite covering of a compact set,a cone metric approximate continuity selection for cone metric upper semi-continuous set-valued maps in abstract convex cone metric spaces is proved by employing Brouwer fixed point theorem.Then a fixed point theorem for cone metric upper semi-continuous maps is derived.As an application,constructing cone metric upper semi-continuous best reflect map,the existence of Nash equilibrium of n-person non-cooperative generalized game with abstract convex cone metric strategy space is proved.

  8. Efficient Abstraction Selection in Reinforcement Learning

    NARCIS (Netherlands)

    van Seijen, H.; Whiteson, S.; Kester, L.; Frisch, A.M.; Gregory, P.

    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

  9. Efficient abstraction selection in reinforcement learning

    NARCIS (Netherlands)

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

    2013-01-01

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

  10. Programs and Practices for Special Education Students in Alternative Education Settings. Research to Practice Brief. Volume 6, Issue 1

    Science.gov (United States)

    Unruh, Deanne; Bullis, Michael; Todis, Bonnie; Waintrup, Miriam; Atkins, Trent

    2007-01-01

    This brief presents a review of alternative education programs targeting students with disabilities. Because there is no clear picture of how alternative education programs operate, specifically regarding youth with disabilities, the U.S. Department of Education's Office of Special Education Programs (OSEP) funded three grants to develop a…

  11. Special needs require special attention: a pilot project implementing the paediatric pain profile for children with profound neurological impairment in an in-patient setting following surgery.

    Science.gov (United States)

    Hunt, Katie A; Franck, Linda S

    2011-09-01

    There is a lack of knowledge regarding the implementation of pain assessment tools for children with profound neurological impairment (PNI) in in-patient settings. This article describes a pilot project to evaluate the Paediatric Pain Profile (PPP) for children with PNI undergoing surgery. Five families of children 5 to 16 years of age with a primary diagnosis of cerebral palsy and admitted for surgical procedures were interviewed. Nineteen nurses completed questionnaires and children's pain management documentation was audited. The project identified issues in three areas of pain management: implementation process, individualised pain management and partnership. The PPP required pre-admission assessment and parental involvement, and was considered time-consuming by nurses. Individualised pain assessment and intervention was difficult to achieve, as was shared assessment and documentation among parents and nurses. Despite initial resistance to change, with greater use there was growing appreciation of the value of components of the PPP. Further exploration of the PPP tool in practice is required before its use can be widely recommended for children with PNI in in-patient settings. Future studies are required to determine which of the available pain assessment tools has the greatest accuracy and utility for assessment of post-operative pain in children with PNI.

  12. From Abstract Art to Abstracted Artists

    Directory of Open Access Journals (Sweden)

    Romi Mikulinsky

    2016-11-01

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

  13. PRISMA for Abstracts

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  14. The health care setting rather than medical speciality impacts on physicians adherence to guideline-conform anticoagulation in outpatients with non-valvular atrial fibrillation: a cross sectional survey

    Directory of Open Access Journals (Sweden)

    Gerber Bernhard

    2012-02-01

    Full Text Available Abstract Background In patients with non-valvular atrial fibrillation (NVAF at high risk for stroke guidelines consistently recommend long-term oral anticoagulation (OAC with a vitamin K antagonist. However recommendations remain ambiguous in respect to the precise OAC initiation regimens. Based on the clinical observation, that the initiation of OAC for NVAF varies considerably in daily practice, we aimed to assess the current practice in Switzerland. Methods Cross-sectional survey of randomly selected general practitioners, internists and cardiologists from different health care settings in an urban Swiss region that covers 1.4 million inhabitants. The main outcome measures were the preferred antithrombotic initiation regimen and long-term treatment in patients with newly diagnosed NVAF at high risk for stroke. Results We received 226 out of 388 (58.2% surveys. Compared to physicians working in a hospital setting (33.6% of respondents physicians in ambulatory care reported more years of experience and claimed lower-use (never or seldom of guidelines in general (47.6 vs. 12.2%. Regarding long-term thromboembolic prophylaxis 93.7% of all responders followed current recommendation by choosing an OAC. When focussing on guideline-consistent correct OAC initiation (either low-dose initial OAC or a combination of LMWH and OAC adherence dropped to 60.6% with hospital physicians demonstrating a significantly higher use of guideline-conform OAC regimens (79.7 vs. 51.0%. Medical speciality in non-hospital physicians was not related to correct guideline-use. Hospital setting remained independently associated with a guideline-conform OAC initiation regimen (OR 2.8, p = 0.023 when controlled for medical speciality, physicians' characteristics and clinical experience. Problems when starting an anticoagulation treatment were seldom reported (never or seldom accounting for 94.1% of all responses. Conclusions The guideline adherence with respect to OAC

  15. Abstract Storage Devices

    CERN Document Server

    Koenig, Robert; Tessaro, Stefano

    2007-01-01

    A quantum storage device differs radically from a conventional physical storage device. Its state can be set to any value in a certain (infinite) state space, but in general every possible read operation yields only partial information about the stored state. The purpose of this paper is to initiate the study of a combinatorial abstraction, called abstract storage device (ASD), which models deterministic storage devices with the property that only partial information about the state can be read, but that there is a degree of freedom as to which partial information should be retrieved. This concept leads to a number of interesting problems which we address, like the reduction of one device to another device, the equivalence of devices, direct products of devices, as well as the factorization of a device into primitive devices. We prove that every ASD has an equivalent ASD with minimal number of states and of possible read operations. Also, we prove that the reducibility problem for ASD's is NP-complete, that t...

  16. Efficient family-based model checking via variability abstractions

    DEFF Research Database (Denmark)

    Dimovski, Aleksandar; Al-Sibahi, Ahmad Salim; Brabrand, Claus

    2016-01-01

    variational models using the standard version of (single-system) Spin. The variability abstractions are first defined as Galois connections on semantic domains. We then show how to use them for defining abstract family-based model checking, where a variability model is replaced with an abstract version of it......Many software systems are variational: they can be configured to meet diverse sets of requirements. They can produce a (potentially huge) number of related systems, known as products or variants, by systematically reusing common parts. For variational models (variational systems or families...... of related systems), specialized family-based model checking algorithms allow efficient verification of multiple variants, simultaneously, in a single run. These algorithms, implemented in a tool Snip, scale much better than ``the brute force'' approach, where all individual systems are verified using...

  17. Research training of students in minority and international settings: lessons learned from cancer epidemiology education in special populations.

    Science.gov (United States)

    Soliman, Amr S; Mullan, Patricia B; Chamberlain, Robert M

    2010-06-01

    This article describes the development and evaluation of an NCI-sponsored short-term summer cancer research education program. The study questions examined: the feasibility of conducting a cancer education program in special populations at multiple US and international field sites for masters students; the merit and worth that students and faculty attribute to the program; and students' scholarly and cancer-related career outcomes. Developing a new curriculum, increasing the pool of mentors, utilizing and increasing the number of field sites, and program dissemination were also evaluated. Evidence of the program's success included students' completion of field experiences at multiple sites and their subsequent 70% project-related publication rate, with 79% of trainees reporting themselves as likely to pursue future cancer-related careers. Evaluation-guided future plans for the program include implementing faculty development to further enhance the program outcomes.

  18. Psychometrics of the preschool behavioral and emotional rating scale with children from early childhood special education settings.

    Science.gov (United States)

    Lambert, Matthew C; Cress, Cynthia J; Epstein, Michael H

    2015-01-01

    In a previous study with a nationally representative sample, researchers found that the items of the Preschool Behavioral and Emotional Rating Scale can best be described by a four-factor structure model (Emotional Regulation, School Readiness, Social Confidence, and Family Involvement). The findings of this investigation replicate and extend these previous results with a national sample of children (N = 1,075) with disabilities enrolled in early childhood special education programs. Data were analyzed using classical tests theory, Rasch modeling, and confirmatory factor analysis. Results confirmed that for the most part, individual items were internally consistent within a four-factor model and showed consistent item difficulty, discrimination, and fit relative to their respective subscale scores.

  19. A book of set theory

    CERN Document Server

    Pinter, Charles C

    2014-01-01

    Suitable for upper-level undergraduates, this accessible approach to set theory poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. Starting with a repetition of the familiar arguments of elementary set theory, the level of abstract thinking gradually rises for a progressive increase in complexity.A historical introduction presents a brief account of the growth of set theory, with special emphasis on problems that led to the development of the various systems of axiomatic set theory. Subsequent chapters explore classes and

  20. A Preliminary Investigation of a Specialized Music Therapy Model for Children with Disabilities Delivered in a Classroom Setting

    Directory of Open Access Journals (Sweden)

    Jenna Mendelson

    2016-01-01

    Full Text Available Music therapy is gaining popularity as an intervention strategy for children with developmental disabilities, including autism spectrum disorder (ASD. This study was a pilot investigation of a classroom-based music-based intervention, Voices Together®, for improving communication skills in children with ASD and children with intellectual disabilities. Four local public elementary school special education classrooms, serving 5 children with a classification of autistic disorder and 32 children with intellectual disability without autism, were randomly selected to receive one of two levels of exposure to Voices Together music therapy: “long-term” (15 weeks beginning in January 2015 (Time 1, n=14 or “short-term” (7 weeks beginning 7 weeks later in February (Time 2, n=17. Using observational ratings, investigators reliably scored participants live in terms of their level of verbal responsiveness to prompts during three songs featured each week of the program. Both groups demonstrated increases in verbal responses over time; however, only the long-term group demonstrated significant within-group increases. Preliminary findings suggest that music therapy delivered in a classroom in 45-minute weekly sessions for 15 weeks can promote improvements in verbal responsiveness among individuals with autism and other developmental disabilities. Findings warrant further investigation into the efficacy of classroom-based music therapy programs.

  1. A Preliminary Investigation of a Specialized Music Therapy Model for Children with Disabilities Delivered in a Classroom Setting.

    Science.gov (United States)

    Mendelson, Jenna; White, Yasmine; Hans, Laura; Adebari, Richard; Schmid, Lorrie; Riggsbee, Jan; Goldsmith, Ali; Ozler, Burcu; Buehne, Kristen; Jones, Sarah; Shapleton, Jennifer; Dawson, Geraldine

    2016-01-01

    Music therapy is gaining popularity as an intervention strategy for children with developmental disabilities, including autism spectrum disorder (ASD). This study was a pilot investigation of a classroom-based music-based intervention, Voices Together®, for improving communication skills in children with ASD and children with intellectual disabilities. Four local public elementary school special education classrooms, serving 5 children with a classification of autistic disorder and 32 children with intellectual disability without autism, were randomly selected to receive one of two levels of exposure to Voices Together music therapy: "long-term" (15 weeks beginning in January 2015 (Time 1), n = 14) or "short-term" (7 weeks beginning 7 weeks later in February (Time 2), n = 17). Using observational ratings, investigators reliably scored participants live in terms of their level of verbal responsiveness to prompts during three songs featured each week of the program. Both groups demonstrated increases in verbal responses over time; however, only the long-term group demonstrated significant within-group increases. Preliminary findings suggest that music therapy delivered in a classroom in 45-minute weekly sessions for 15 weeks can promote improvements in verbal responsiveness among individuals with autism and other developmental disabilities. Findings warrant further investigation into the efficacy of classroom-based music therapy programs.

  2. A Preliminary Investigation of a Specialized Music Therapy Model for Children with Disabilities Delivered in a Classroom Setting

    Science.gov (United States)

    White, Yasmine; Hans, Laura; Adebari, Richard; Goldsmith, Ali; Ozler, Burcu; Buehne, Kristen; Jones, Sarah; Shapleton, Jennifer

    2016-01-01

    Music therapy is gaining popularity as an intervention strategy for children with developmental disabilities, including autism spectrum disorder (ASD). This study was a pilot investigation of a classroom-based music-based intervention, Voices Together®, for improving communication skills in children with ASD and children with intellectual disabilities. Four local public elementary school special education classrooms, serving 5 children with a classification of autistic disorder and 32 children with intellectual disability without autism, were randomly selected to receive one of two levels of exposure to Voices Together music therapy: “long-term” (15 weeks beginning in January 2015 (Time 1), n = 14) or “short-term” (7 weeks beginning 7 weeks later in February (Time 2), n = 17). Using observational ratings, investigators reliably scored participants live in terms of their level of verbal responsiveness to prompts during three songs featured each week of the program. Both groups demonstrated increases in verbal responses over time; however, only the long-term group demonstrated significant within-group increases. Preliminary findings suggest that music therapy delivered in a classroom in 45-minute weekly sessions for 15 weeks can promote improvements in verbal responsiveness among individuals with autism and other developmental disabilities. Findings warrant further investigation into the efficacy of classroom-based music therapy programs. PMID:27999683

  3. Writing business research article abstracts: A genre approach

    Directory of Open Access Journals (Sweden)

    Carmen Piqué-Noguera

    2012-10-01

    Full Text Available A great deal has been published about oral and written genres in business (e.g., letters, research articles, oral presentations, etc., and less attention has been paid to business research article abstracts as a written genre, as many experts would argue. This research intends to raise rhetorical awareness about the role of abstracts in today’s academic world. To this effect, the abstracts of two official publications of the Association of Business Communication, Journal of Business Communication and Business Communication Quarterly, have been analyzed and compared in terms of structure and content according to models published in the specialized literature. The results show an irregular and inconsistent presentation of abstracts, a good number of them following no set pattern and thus lacking in important information for researchers. These findings suggest, first of all, that abstracts have a specific mission to fulfil and should not be disregarded; and, secondly, that journal guidelines for authors should be more explicit in their instructions on how to write and structure abstracts.

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

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

  6. Clinical audit on "Evaluation of special issues in adolescents with cancer treated in an adult cancer setting": An Indian experience

    Directory of Open Access Journals (Sweden)

    Naveen S Salins

    2012-01-01

    Results: Pain was the most common physical symptom seen in all 10 patients. 3 out of 10 patients were involved in decision making, 3 out of 10 patients had identity issues and 4 out of 10 patients had peer group isolation issues. Only 3 were aware of diagnosis and none were aware of treatment outcomes and mortality. 4 out of 10 had anxiety and depression and 3 out of 10 had body image issues. Sexuality, spiritual and existential issues were not explored in any of the patients studied. Conclusion: The outcomes of the study were in an adult oncology setting there was a poor recognition of key adolescent issues such as sexuality, body image, identity and peer group isolation. The psychosocial supports to these adolescents were minimal and spiritual and existential issues were not explored. The inferences drawn from this study suggested a need for multidisciplinary team approach oriented in handling adolescent care needs and preferably to have a dedicated space that will help the peer group to interact, bond and cope better with the illness.

  7. Abstracts--Citations

    Science.gov (United States)

    Occupational Mental Health, 1972

    1972-01-01

    Provides abstracts and citations of journal articles and reports dealing with aspects of mental health. Topics include absenteeism, alcoholism, drug abuse, leisure, disadvantaged, job satisfaction, and others. (SB)

  8. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  9. Truthful Monadic Abstractions

    DEFF Research Database (Denmark)

    Brock-Nannestad, Taus; Schürmann, Carsten

    2012-01-01

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

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

  11. Data Abstraction in GLISP.

    Science.gov (United States)

    Novak, Gordon S., Jr.

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

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

  13. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

    knowledge. The model-checker is developed as a function directly from the semantics of the logic, in a style that could be applied straight- forwardly to derive model-checkers for other logics. Secondly, we consider how to abstract the model-checker using abstract interpretation, yielding a procedure...... 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...

  14. Abstract Acceleration of General Linear Loops

    OpenAIRE

    2014-01-01

    International audience; We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation techniques typically over-approximate the set of reachable states iteratively, abstract acceleration captures the effect of the loop with a single, non-iterative transfer function applied to the initial states at the loop head. In contrast to previous acceleration techniques, our approach applies to a...

  15. Abstracts of SIG Sessions.

    Science.gov (United States)

    Proceedings of the ASIS Annual Meeting, 1997

    1997-01-01

    Presents abstracts of SIG Sessions. Highlights include digital collections; information retrieval methods; public interest/fair use; classification and indexing; electronic publication; funding; globalization; information technology projects; interface design; networking in developing countries; metadata; multilingual databases; networked…

  16. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  17. Mathematical games, abstract games

    CERN Document Server

    Neto, Joao Pedro

    2013-01-01

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

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

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

  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...... and implementing abstractions will improve the applicability of model checking in practice....

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

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

  3. Monadic abstract interpreters

    DEFF Research Database (Denmark)

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

    2013-01-01

    -bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For instance, by plugging the same “context-insensitivity monad” into a monadicallyparameterized semantics for Java or for the lambda calculus, it yields the expected context......-insensitive analysis. To achieve this unification, we develop a systematic method for transforming a concrete semantics into a monadically-parameterized abstract machine. Changing the monad changes the behavior of the machine. By changing the monad, we recover a spectrum of machines—from the original concrete...... semantics to a monovariant, flow- and context-insensitive static analysis with a singly-threaded heap and weak updates. The monadic parameterization also suggests an abstraction over the ubiquitous monotone fixed-point computation found in static analysis. This abstraction makes it straightforward...

  4. Monadic abstract interpreters

    DEFF Research Database (Denmark)

    Sergey, Ilya; Devriese, Dominique; Might, Matthew

    2013-01-01

    -bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For instance, by plugging the same “context-insensitivity monad” into a monadicallyparameterized semantics for Java or for the lambda calculus, it yields the expected context...... semantics to a monovariant, flow- and context-insensitive static analysis with a singly-threaded heap and weak updates. The monadic parameterization also suggests an abstraction over the ubiquitous monotone fixed-point computation found in static analysis. This abstraction makes it straightforward...... to instrument an analysis with high-level strategies for improving precision and performance, such as abstract garbage collection and widening. While the paper itself runs the development for continuationpassing style, our generic implementation replays it for direct-style lambda-calculus and Featherweight Java...

  5. Expanded abstracts with biographies. 1989 technical program

    Energy Technology Data Exchange (ETDEWEB)

    1989-01-01

    Extended abstracts of papers are presented under the headings: computing; crustal studies; economic exploration; electromagnetics; engineering and ground water; geology; gravity and magnetics; mining; poster papers; recent advances and the road ahead; rock physics; exploration applications of geologic modelling; seismic acquisition; seismic interpretation; seismic inversion; seismic modelling; seismic processing; student paper competition; and special SEG workshops.

  6. Training in basic Internet skills for special target groups in non-formal educational settings – conclusions from three pilot projects

    Directory of Open Access Journals (Sweden)

    Andrea Berger

    2012-12-01

    Full Text Available With the progress of Digital Inclusion, it becomes important to address marginalised groups that face specific barriers in being part of the information society. From 2009 to 2011 within the framework of the nation-wide Initiative Internet erfahren, funded by the German Federal Ministry of Economics, Stiftung Digitale Chancen has accompanied three pilot projects and researched the hindrances and motivations of specific target groups including young migrants from Russia, women in the low-wage sector and disabled elderly people, regarding their use of information and communication technology and related skills. This article describes the teaching methodologies in the training provided in non-formal education settings, exposes the different evaluation methods and sums up the results. A special focus in the discussion is given to the role of the teacher and the relationship between teacher and students as there turned out to be similarities in all three target groups. Understanding the balance between the training and abilities and preferences of the learners will facilitate the further development of training appropriate to those who are still digitally excluded.

  7. Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models

    Directory of Open Access Journals (Sweden)

    Stefan Marr

    2010-02-01

    Full Text Available The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs, which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of trade-offs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research.

  8. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    production. In Kafka: Toward a Minor Literature, Deleuze and Guatari gave the most comprehensive explanation to the abstract machine in the work of art. Like the war-machines of Virilio, the Kafka-machine operates in three gears or speeds. Furthermore, the machine is connected to spatial diagrams...

  9. SPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2015-04-01

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

  10. The Abstraction Engine

    DEFF Research Database (Denmark)

    Fortescue, Michael David

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

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

  12. Parent Education: Abstract Bibliography.

    Science.gov (United States)

    Kremer, Barbara, Comp.

    This bibliography has been compiled to alert educators to parent education documents found in the ERIC microfiche collection and in journal literature. Abstracts of selected documents have been taken from "Research in Education (RIE)", and journal article citations from the "Current Index to Journals in Education (CIJE)". Included are published…

  13. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Study on the Long-distance Transportation of Argopecten irridians concentricus ShenQin-long(1) Abstract The experiment was carried out in order to improve the survival rate of the scallop. The result indicated that keeping the water temperature at 4℃ was reasonable for the long-distance transportation of the scallop with oxygenated bags.

  14. Abstraction through Game Play

    Science.gov (United States)

    Avraamidou, Antri; Monaghan, John; Walker, Aisha

    2012-01-01

    This paper examines the computer game play of an 11-year-old boy. In the course of building a virtual house he developed and used, without assistance, an artefact and an accompanying strategy to ensure that his house was symmetric. We argue that the creation and use of this artefact-strategy is a mathematical abstraction. The discussion…

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

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

  17. Incremental Bisimulation Abstraction Refinement

    DEFF Research Database (Denmark)

    Godskesen, Jens Christian; Song, Lei; Zhang, Lijun

    2013-01-01

    an abstraction refinement approach for the probabilistic computation tree logic (PCTL), which is based on incrementally computing a sequence of may- and must-quotient automata. These are induced by depth-bounded bisimulation equivalences of increasing depth. The approach is both sound and complete, since...

  18. Seismic Consequence Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    M. Gross

    2004-10-25

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

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

  20. Metaphors in Abstract Thought

    NARCIS (Netherlands)

    I. Boot (Inge)

    2010-01-01

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

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

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

  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. Impredicative concurrent abstract predicates

    DEFF Research Database (Denmark)

    Svendsen, Kasper; Birkedal, Lars

    2014-01-01

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

  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. Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafal

    2010-01-01

    This paper considers the development of a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification...... of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse......-Smale systems and complete and refinable abstractions for linear systems are shown....

  8. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

    Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized...... into the notions of concurrent and alternating objects. Alternating objects may be used to start a cooperative thread for each possible blocking communication and is thus an alternative to asynchronous messages and guarded commands. Beta like SIMULA, the first OO language, was designed as a language for modeling...... 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...

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

  10. An Abstract Data Interface

    Science.gov (United States)

    Allan, D. J.

    The Abstract Data Interface (ADI) is a system within which both abstract data models and their mappings on to file formats can be defined. The data model system is object-oriented and closely follows the Common Lisp Object System (CLOS) object model. Programming interfaces in both C and \\fortran are supplied, and are designed to be simple enough for use by users with limited software skills. The prototype system supports access to those FITS formats most commonly used in the X-ray community, as well as the Starlink NDF data format. New interfaces can be rapidly added to the system---these may communicate directly with the file system, other ADI objects or elsewhere (e.g., a network connection).

  11. DEGRO 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-06-15

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

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

  13. Research Abstracts of 1982.

    Science.gov (United States)

    1982-12-01

    Activity in Hamsters (Abstract #667) 9. L. SIMONSON*, B. LAMBERTS, E. PEDERSON and D. REIHER’--*gEffect of Saliva and Sucrose on Adherence of S.. mutans to...presence of osteosclerosis and/or enlargement of periodontal ligament space; pain duration greater than one hour and spontaneous or severe pain; no...Unstimulated whole saliva was collected in chilled containers from 29 CF and 29 CA recruits, along with data on smoking habits. Flow rate, pH, OSCN

  14. Generalized Abstract Symbolic Summaries

    Science.gov (United States)

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

    Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.

  15. Towards Composable Concurrency Abstractions

    Directory of Open Access Journals (Sweden)

    Janwillem Swalens

    2014-06-01

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

  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. Contents & Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Can Developing Countries Achieve Technological Catch-up in the Open Condition? Wang Dong Kong Qingfeng( 3 ) In the condition of open economy, a country's technological progress comes from learning by doing, R&D investment and technology spillovers. The combined effect of technological progress will make a country specialized in the up-technical industry of its comparative advantage industries. The analysis based on dynamic comparative advantage and the game theory shows that, for countries with low technical level,

  18. Using specialized set of exercises on the lessons of physical culture and health of higher vocational schools computer technology and construction

    Directory of Open Access Journals (Sweden)

    Korzan T.I.

    2010-05-01

    Full Text Available The model of the optimum specialized complexes of physical exercises is considered for the students of higher professional schools. It is exposed that operating program on physical education of higher professional schools now already not fully satisfies the necessities of new specialities. In an experiment four groups took part for 25 students. Methodical recommendations are developed on the leadthrough of the specialized complexes of physical exercises. The differences between results of control and experimental groups is shown in norms from track-and-field, gymnastics and sporting games.

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

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

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

  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. SPR 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-05-15

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

  4. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

    into the notions of concurrent and alternating objects. Alternating objects may be used to start a cooperative thread for each possible blocking communication and is thus an alternative to asynchronous messages and guarded commands. Beta like SIMULA, the first OO language, was designed as a language for modeling...... 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...

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

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

  7. 蕴含G(o)del定理抽象形式的集合论引理%A Set-Theoretical Lemma That Implies an Abstract Form of G(o)del's Theorem

    Institute of Scientific and Technical Information of China (English)

    爱德华·阿罗约; 徐利治

    2005-01-01

    We propose a simple set-theoretical lemma that implies G(o)del's Incompleteness Theorem. Also mentioned are some related consequences.%本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.

  8. The fundamental theory of abstract majorization inequalities

    Institute of Scientific and Technical Information of China (English)

    YANG DingHua

    2009-01-01

    Using the axiomatic method,abstract concepts such as abstract mean,abstract convex function and abstract majorization are proposed.They are the generalizations of concepts of mean,convex function and majorization,respectively.Through the logical deduction,the fundamental theorems about abstract majorization inequalities are established as follows:for arbitrary abstract mean ∑ and ∑',and abstract ∑→∑' strict convex function f(x) on the interval I,if xi,yi ∈ I(i = 1,2,...,n) satisfy that (x1,x2,...,xn) <∑n (y1,y2,...,yn),then ∑'{f(x1),f(x2),...,f(xn)}≥∑'{f(y1),f(y2),...,f(yn)}.This class of inequalities extends and generalizes the fundamental theorem of majorization inequalities.Moreover,concepts such as abstract vector mean are proposed,the fundamental theorems about abstract majorization inequalities are generalized to n-dimensional vector space.The fundamental theorem of majorization inequalities about the abstract vector mean are established as follows:for arbitrary symmetrical convex set S (∪) Rn,and n-variable abstract symmetrical -∑→∑' strict convex function ψ(-x) on S,if -x,-y ∈ S,satisfy -x<∑n-Y,then ψ(-x) ≥ψ(-y);if vector group -xi,-yi∈S (i = 1,2,...,m) satisfy {-x1,-x2,...,-xm}<-∑n{-y1,-y2,...,-ym},then ∑'{ψ(-x1),ψ(-x2),...,ψ(-xm)}≥∑'{ψ(-y1),ψ(-y2),...,ψ(-ym)}.

  9. The fundamental theory of abstract majorization inequalities

    Institute of Scientific and Technical Information of China (English)

    2009-01-01

    Using the axiomatic method,abstract concepts such as abstract mean, abstract convex function and abstract majorization are proposed. They are the generalizations of concepts of mean, convex function and majorization, respectively. Through the logical deduction, the fundamental theorems about abstract majorization inequalities are established as follows: for arbitrary abstract mean Σ and Σ , and abstract Σ→Σ strict convex function f(x) on the interval I, if xi, yi ∈ I (i = 1, 2, . . . , n) satisfy that (x1, x2, . . . , xn) abstract vector mean are proposed, the fundamental theorems about abstract majorization inequalities are generalized to n-dimensional vector space. The fundamental theorem of majorization inequalities about the abstract vector mean are established as follows: for arbitrary symmetrical convex set S  Rn, and n-variable abstract symmetrical Σ→Σ strict convex function φ() on S, if , ■∈S satisfy nΣ■, then φ() 〈(■); if vector group i, ■i∈ S (i = 1, 2, . . . , m) satisfy {1, 2, . . . , m} 〈Σn {■1, ■2, . . . , ■m}, then Σ {φ(1), φ(2), . . . , φ(m)} Σ {φ(■1), φ(■2), . . . , φ(■m)}.

  10. Writing a successful research abstract.

    Science.gov (United States)

    Bliss, Donna Z

    2012-01-01

    Writing and submitting a research abstract provides timely dissemination of the findings of a study and offers peer input for the subsequent development of a quality manuscript. Acceptance of abstracts is competitive. Understanding the expected content of an abstract, the abstract review process and tips for skillful writing will improve the chance of acceptance.

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

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

  13. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Acute Toxicity Test of Four Drugs to Perch Fries Zhu You-fang et al(1) Abstract Acute toxicity test of four drugs to perch Lateolabrax maculates were studied. The results showed: (1)The LC50 values of perch to copper sulfate was 4.58 mg/L(24h), 2.93 mg/ L(48h), 1.81 mg/L(72h) and 0.78 mg/L (96h) respectively; to SHA CHONG WEI was 35.11 mg/ L(24h), 15.81 mg/L(48h), 11.20 mg/L(72h), 9.36 mg/ L (96h)respectively;

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

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

  16. Problems in abstract algebra

    CERN Document Server

    Wadsworth, A R

    2017-01-01

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

  17. Expanded abstracts with biographies - 1985 technical program

    Energy Technology Data Exchange (ETDEWEB)

    1985-01-01

    A total of 50 papers were presented at the conference in 13 sessions with the following headings: applied geophysical surveys; borehole geophysics; EM modeling; engineering geophysics; geological papers from AAPG, gravity and magnetics; mining geophysics; magnetotellurics; EPRI sessions; logging accuracy; ideals and limitations; seismic sessions; and special SEG workshops. Author's biographies have been included, and abstracts appear in the form submitted by their authors.

  18. Expanded abstracts with biographies. 1987 technical program

    Energy Technology Data Exchange (ETDEWEB)

    1987-01-01

    Extended abstracts of papers are presented under the headings: borehole geophysics; electromagnetics; engineering geophysics; gravity and magnetics; invited papers from AAPG; invited best papers from associated societies; magnetotellurics; marine data acquisition; mining geophysics; poster papers; research symposium - recent advances in geophysics and the road ahead. SEG/SPE joint session - reservoir geophysics; SEG/AAPG joint session - case histories and interpretation; seismic sessions; student paper competition; and special SEG workshops.

  19. Computing abstractions of nonlinear systems

    CERN Document Server

    Reißig, Gunther

    2009-01-01

    We present an efficient algorithm for computing discrete abstractions of arbitrary memory span for nonlinear discrete-time and sampled systems, in which, apart from possibly numerically integrating ordinary differential equations, the only nontrivial operation to be performed repeatedly is to distinguish empty from non-empty convex polyhedra. We also provide sufficient conditions for the convexity of attainable sets, which is an important requirement for the correctness of the method we propose. It turns out that requirement can be met under rather mild conditions, which essentially reduce to sufficient smoothness in the case of sampled systems. Practicability of our approach in the design of discrete controllers for continuous plants is demonstrated by an example.

  20. Constraint-Based Abstract Semantics for Temporal Logic

    DEFF Research Database (Denmark)

    Banda, Gourinath; Gallagher, John Patrick

    2010-01-01

    Abstract interpretation provides a practical approach to verifying properties of infinite-state systems. We apply the framework of abstract interpretation to derive an abstract semantic function for the modal mu-calculus, which is the basis for abstract model checking. The abstract semantic...... 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...

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

  2. Contents, Abstracts and Keywords

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

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

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

  5. Exoplanets and Multiverses (Abstract)

    Science.gov (United States)

    Trimble, V.

    2016-12-01

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

  6. Automated Supernova Discovery (Abstract)

    Science.gov (United States)

    Post, R. S.

    2015-12-01

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

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

  8. Abstracts of Articles

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    DUAN Manjuan, XU Yulong and FU Xiangjun, An analysis of the effects of centering parameter setting on anaphora resolution This paper reports some findings following the analysis of the effects that different settings of centering parameters have on Chinese discourse anaphora resolution, especially in those unresolved cases. First, algorithms based on Centering Theory in general are more effective for zero anaphora resolution than for pronominal anaphora resolution. Second, Cb continuity is not a predominant factor in determining the salience of discourse entities. Third, Cf ranking scheme that takes into consideration both the grammatical roles and hierarchical sentence structures can more accurately reflect the salience of discourse entities. Fourth and last, accurate and reliable parsing of Chinese sentences is a prerequisite for anaphora resolution.

  9. Abstracts of Main Contents

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    (10)Several Ponderations over Carbon Emission Reduction of Shanghai Ground Public Transport Pei Zhikang With practice of carbon emission reduction of Shanghai ground public transport, the paper expounds the importance of sustainable development of urban transport, especially, ground public transport and points out that the implementation of carbon emission reduction of ground public transport needs joint effects of the state, relevant government authorities, relevant enterprises and communities to set up resource-saving, environment-friendly society.

  10. Improvement of Patient- and Family-Specific Care for Children with Special Behavioral Needs in the Emergency Setting: A Behavioral Needs Education.

    Science.gov (United States)

    Brynes, Nicole; Lee, Heeyoung; Ren, Dianxu; Beach, Michael

    2017-05-01

    Improvements in staff training, identification, and treatment planning for children with special health care needs who have behavioral issues are routinely recommended, but a literature review revealed no coherent plans targeted specifically toward pediatric ED staff. An educational module was delivered to emergency staff along with a survey before and after and 1 month after the intervention to examine comfort in working with children with behavioral special needs and the ability to deliver specialized care. Child life consultations in the pediatric emergency department were measured 3 months before and 3 months after the education was provided. A total of 122 staff participated and reported clinically significant improvements across all areas of care that were maintained at 1 month. To the best of our knowledge, this project represents the first quality improvement project offering behavioral needs education to emergency staff at a large pediatric hospital with an examination of its impact on staff competence, comfort, and outcomes. A large-scale educational module is a practical option for improvement in pediatric ED staff competence in caring for patients with behavioral special needs. Copyright © 2017 Emergency Nurses Association. Published by Elsevier Inc. All rights reserved.

  11. Effects of the Good Behavior Game on the behavioral, emotional, and social problems of children with psychiatric disorders in special education settings

    NARCIS (Netherlands)

    Breeman, L.D.; Van Lier, Pol; Wubbels, T.; Verhulst, Frank C.; van der Ende, Jan; Maras, Athanasios; Struiksma, Chris; Hopman, J.A.B.; Tick, Nouchka

    2016-01-01

    Teaching children with psychiatric disorders can be a challenging task. The purpose of this study was to examine the impact of the Good Behavior Game (GBG) in children with psychiatric disorders, and their teachers, in special education. Teachers were trained by licensed school consultants to implem

  12. Towards Inclusive Learning Environments (TILE): Developing the "Roadmap for the Inclusion of Students with Special Educational Needs in Vocational Education and Workplace Settings"

    Science.gov (United States)

    Smith, Andy; Bell, Sheena

    2015-01-01

    Twenty years after UNESCO's Salamanca Statement enshrined international action for provision for children, youth and adults with special educational needs within the regular educational system, this article presents the current underpinning international and national UK context for developing inclusion in vocational education and training and…

  13. The semantic richness of abstract concepts.

    Science.gov (United States)

    Recchia, Gabriel; Jones, Michael N

    2012-01-01

    We contrasted the predictive power of three measures of semantic richness-number of features (NFs), contextual dispersion (CD), and a novel measure of number of semantic neighbors (NSN)-for a large set of concrete and abstract concepts on lexical decision and naming tasks. NSN (but not NF) facilitated processing for abstract concepts, while NF (but not NSN) facilitated processing for the most concrete concepts, consistent with claims that linguistic information is more relevant for abstract concepts in early processing. Additionally, converging evidence from two datasets suggests that when NSN and CD are controlled for, the features that most facilitate processing are those associated with a concept's physical characteristics and real-world contexts. These results suggest that rich linguistic contexts (many semantic neighbors) facilitate early activation of abstract concepts, whereas concrete concepts benefit more from rich physical contexts (many associated objects and locations).

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

  15. Abstract wave equations with acoustic boundary conditions

    CERN Document Server

    Mugnolo, Delio

    2010-01-01

    We define an abstract setting to treat wave equations equipped with time-dependent acoustic boundary conditions on bounded domains of ${\\bf R}^n$. We prove a well-posedness result and develop a spectral theory which also allows to prove a conjecture proposed in (Gal-Goldstein-Goldstein, J. Evol. Equations 3 (2004), 623-636). Concrete problems are also discussed.

  16. Extracted Abstracts of Special Papers%粹文详摘

    Institute of Scientific and Technical Information of China (English)

    钱知勉

    2006-01-01

    CW277 吸水性对尼龙紧固件拉伸强度的影响;CW278 Mg(OH)2表面处理对LDPE性能的影响;CW279 玻纤增强PP热塑性片材的制备;CW280 高粘度聚乙烯醇缩丁醛树脂及薄膜的制备;CW281 高密度聚乙烯(HDPE)管材的发展;CW282 气相白炭黑对尼龙6性能的影响;CW283 反应挤出共混法制备发泡用聚丙烯;

  17. Abstracts and Key Words

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  18. Abstracts of Selected Papers

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Requirement and Orientation Philosophy and of the Innovation of China's Social Sciences He Peiyu, Huang Hai The national 12th fiveyear plan addresses that "we will develop philosophy and social sciences, promoting innovation in academic disciplines, academic viewpoints and research methods, and promoting innovation system construction of philosophy and social sciences, carrying out The Innovation of Philoso- phy and Social Science Engineering, blooming and developing philosophy and social sciences". Our country sets The Innovation of Philosophy and Social Science Engineering for the first time and makes it rise to the national strategic level. This is not only the mission entrusted by the times to people working in the fields of philosophy and social sciences but also the objective requirement of social development. Nowadays,

  19. International Specialization

    DEFF Research Database (Denmark)

    Kleindienst, Ingo; Geisler Asmussen, Christian; Hutzschenreuter, Thomas;

    2012-01-01

    Whether and how international diversification and cross-border arbitrage affects firm performance remains one of the major unresolved research questions in the strategy and international business literatures. We propose that knowing how much a firm has internationally diversified tells us very...... little about performance implications, if we do not know, and do not ask, how the firm has diversified. Therefore, building on the two broad arguments of operating flexibility and location-specific commitment, we develop a theoretical framework that focuses on the extent to which a firm's international...... arbitrage strategy is characterized by specialization versus replication and argue that these different strategies may have differential impact on profitability and risk reduction. Developing a sophisticated measure of international specialization and using a unique panel data set of 92 German MNEs to test...

  20. International Specialization

    DEFF Research Database (Denmark)

    Kleindienst, Ingo; Geisler Asmussen, Christian; Hutzschenreuter, Thomas

    2012-01-01

    Whether and how international diversification and cross-border arbitrage affects firm performance remains one of the major unresolved research questions in the strategy and international business literatures. We propose that knowing how much a firm has internationally diversified tells us very...... little about performance implications, if we do not know, and do not ask, how the firm has diversified. Therefore, building on the two broad arguments of operating flexibility and location-specific commitment, we develop a theoretical framework that focuses on the extent to which a firm's international...... arbitrage strategy is characterized by specialization versus replication and argue that these different strategies may have differential impact on profitability and risk reduction. Developing a sophisticated measure of international specialization and using a unique panel data set of 92 German MNEs to test...

  1. Using abstract language signals power.

    Science.gov (United States)

    Wakslak, Cheryl J; Smith, Pamela K; Han, Albert

    2014-07-01

    Power can be gained through appearances: People who exhibit behavioral signals of power are often treated in a way that allows them to actually achieve such power (Ridgeway, Berger, & Smith, 1985; Smith & Galinsky, 2010). In the current article, we examine power signals within interpersonal communication, exploring whether use of concrete versus abstract language is seen as a signal of power. Because power activates abstraction (e.g., Smith & Trope, 2006), perceivers may expect higher power individuals to speak more abstractly and therefore will infer that speakers who use more abstract language have a higher degree of power. Across a variety of contexts and conversational subjects in 7 experiments, participants perceived respondents as more powerful when they used more abstract language (vs. more concrete language). Abstract language use appears to affect perceived power because it seems to reflect both a willingness to judge and a general style of abstract thinking.

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

  3. Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1994-10-01

    The increasing scale-up of fast pyrolysis in North America and Europe, as well as the exploration and expansion of markets for the energy use of biocrude oils that now needs to take place, suggested that it was timely to convene an international meeting on the properties and combustion behavior of these oils. A common understanding of the state-of-the-art and technical and other challenges which need to be met during the commercialization of biocrude fuel use, can be achieved. The technical issues and understanding of combustion of these oils are rapidly being advanced through R&D in the United States, Canada, Europe and Scandinavia. It is obvious that for the maximum economic impact of biocrude, it will be necessary to have a common set of specifications so that oils can be used interchangeably with engines and combustors which require minimal modification to use these renewable fuels. Fundamental and applied studies being pursued in several countries are brought together in this workshop so that we can arrive at common strategies. In this way, both the science and the commercialization are advanced to the benefit of all, without detracting from the competitive development of both the technology and its applications. This United States-Canada-Finland collaboration has led to the two and one half day specialists meeting at which the technical basis for advances in biocrude development is discussed. The goal is to arrive at a common agenda on issues that cross national boundaries in this area. Examples of agenda items are combustion phenomena, the behavior of trace components . of the oil (N, alkali metals), the formation of NO{sub x}, in combustion, the need for common standards and environmental safety and health issues in the handling, storage and transportation of biocrudes.

  4. 3D Visualizations of Abstract DataSets

    Science.gov (United States)

    2010-08-01

    experiment. This task required pulling out the use of the Eclipse’s RCP since it needed a simple Java application instead of a full blown windowed...together and are # used to define the near and far clipping planes respectively. These are some of # the most impotent variables for shadow

  5. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

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

    2011-01-01

    We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking because they allow for the validation as well...... as refutation of safety and liveness properties. However, the algorithmic construction of finite abstractions from potentially infinite concurrent processes is a missing link that prevents their more widespread usage for model checking of concurrent systems. Our algorithm is a worklist algorithm using concepts...

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

  7. Systematic quality monitoring for specialized palliative care services: development of a minimal set of wuality indicators for palliative care study (QPAC).

    NARCIS (Netherlands)

    Leemans, K.; Deliens, L.; Block, L. van den; Stichele, R. Vander; Francke, A.L.; Cohen, J.

    2016-01-01

    Background: A feasibility evaluation of a comprehensive quality indicator set for palliative care identified the need for a minimal selection of these indicators to monitor quality of palliative care services with short questionnaires for the patients, caregivers, and family carers. Objectives: To d

  8. Hedonism in Abstract Art: Minimalist digital abstract photography

    Directory of Open Access Journals (Sweden)

    Srdjan Jovanović

    2009-06-01

    Full Text Available In this piece of writing the writer/artist puts forward the view that art can be understood and taken in as sometimes purely hedonistic. By drawing upon the theories pertaining to hedonism, he applies this view to minimalist digital abstract photography and tries to justify his point of view with the help of three abstract photographs.

  9. A first graduate course in abstract algebra

    CERN Document Server

    Wickless, WJ

    2004-01-01

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

  10. Abstract concepts in grounded cognition

    NARCIS (Netherlands)

    Lakens, D.

    2010-01-01

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

  11. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

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

    2011-01-01

    We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking because they allow for the validation as well as re...

  12. Vague Language in Conference Abstracts

    Science.gov (United States)

    Cutting, Joan

    2012-01-01

    This study examined abstracts for a British Association for Applied Linguistics conference and a Sociolinguistics Symposium, to define the genre of conference abstracts in terms of vague language, specifically universal general nouns (e.g. people) and research general nouns (e.g. results), and to discover if the language used reflected the level…

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

  14. Abstract models of transfinite reductions

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2010-01-01

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

  15. Abstraction of Dynamical Systems by Timed Automata

    DEFF Research Database (Denmark)

    Wisniewski, Rafael; Sloth, Christoffer

    2011-01-01

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

  16. Abstraction of Dynamical Systems by Timed Automata

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2011-04-01

    Full Text Available To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the verification of reachability and timing requirements, which by classical control methods is impossible. We put forward a method for abstracting dynamical systems, where level sets of Lyapunov functions are used to generate the partitioning of the state space. We propose to partition the state space using an entire family of functions. The properties of these functions ensure that the discrete model captures the behaviors of a dynamical system by generating appropriate equivalence classes of the states. These equivalence classes make up the partition of the state space.

  17. Technical abstracts: Mechanical engineering, 1990

    Energy Technology Data Exchange (ETDEWEB)

    Broesius, J.Y. (comp.)

    1991-03-01

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

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

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

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Liu Diren, Xie Weibiao, Yin Qiuli and Zhou Liyan. Study on the Influence of induction logging response on tool eccentricity in horizontal well. Jiang Yiqing, Xu Lin, Wang Jianmin and Du Hui. Simulation of time spectrum by oxygen activation logging.Zhang Jiawei, Song Gongpu, Sai Fang, Xue Zhibo. Design of simulator based on NMR downhole tools.

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

  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

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

  5. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

    ... , Abduljaleel Al Alwan 1,2 , Abeer Ibrahim 4 , Hadi Kuriry 3 , Ali Albenmousa 6 1 Department of Hepatobiliary Sciences, Division of Hepatology, King Abdulaziz Medical City, National Guard Health Affairs, 2...

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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    On the Logic of Heart and the Intuitive Approach: An Outline of Modern Idealism Linked Chinese and Western Philosophical Ideas,A Reflection and Analogical Interpretation of Active Justice,Channel of the Effectiveness of Public Policy in the Perspective of Social Equality: A Theoretical Analysis of the Efficacy of Public Policy

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

  9. Abstract

    African Journals Online (AJOL)

    dell

    per week; processed in a team work, and finalized by a local work shop accommodating the ... biological, health sciences, social sciences ... the new education and training policy of Ethiopia ...... schools were budget, staff shortage, classrooms ...

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

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

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

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

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

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

  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

    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.

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

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

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

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

  2. Abstract

    African Journals Online (AJOL)

    The AIDS epidemic has infected more than 50 million and claimed the lives of more than .... or preventive vaccine trials, as well as of HIV-positive women presenting as ... The lack of public understanding of doctors' and/or of scientific methods'.

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

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

  5. ABSTRACT

    African Journals Online (AJOL)

    Effect of rural-urban migration of youths on agricultural labour supply in. Umuahia north local .... range of 50-61 years above, only 15% were below 40 years. This means that ... Family labour. 45. 49 ... under severe pressure. CONCLUSION ...

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

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

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

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

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

  11. ABSTRACT

    African Journals Online (AJOL)

    agricultural extension practitioners should intensify efforts in educating rural farmers ... disease caused by Human immuno-deficiency Virus (HIV), usually found in ... Health experts put Nigeria prevalence rate at 5.4% ranging from a low 1.9% to .... income may increase food and livelihood insecurity and severely undermine ...

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

  13. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    China gradually got rid of foreign controls and finally became one of Great Powers from the "Sick man of East Asia" during the Republican era. During this period, intellectuals played significant roles both from the perspective of knowledge building and from the practical perspective. With respect to knowledge building, intellectuals initiatively introduced western knowledge and constructed a new knowledge framework about international relations based on the Chinese tradition in order to counter the shock of external knowledge and reduce the frustration from the collapse of Tributary System, which made China deal with the New world with much more self-confidence. The progress on knowledge building also provide theoretical foundation of foreign attitude and shape the Chinese, especially the elites' perceptions towards international affairs. Meanwhile, intellectuals attempted to deliver Chinese voices through diverse international platforms,

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

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

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

  17. ABSTRACT

    African Journals Online (AJOL)

    administrative interference in staff work and a reasonable reduction in the work load of ... Traditional definition of attitude contains a slightly conception of its meaning. Definitions ..... Conditions for the Design and Management Of. Agricultural ...

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Analysis of importance of TG Water CultureQuest Yang Bin Fan Lingling ( 1 ) Abstract: The awareness of quest constitutes the essence and demonstrates the basic characteristic of the water culture in the Three Gorges areas. The legend of King Yu controlling floods by dredging the Three Gorges marked the budding of this spirit. Qu Yuan fully demonstrated the essence of the spirit by a frequently quoted saying, "yet high and low I will search with my will unbending", "I will not regret a thousand death to die". The inscription of White Crane Ridge displayed the ancient fashion of the spirit. The construction of the Three Gorges Project interpreted the spirit of exploring of the Three Gorges water culture. The local higher education institution, with its motto "quest", can be taken as a model in carrying forward the spirit of"constant exploration". Key words: awareness of quest; the Three Gorges; water culture

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

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

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

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

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

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    As a representative kind of "new diplomacy", the Silk Road Economic Beltand 21st Century Maritime Initiatives have aroused different responses at homeand abroad. They are important initiatives about co-building the Belt and Road,and give full play to China's strengths in the era of globalization. It is an importantopportunity to promote public diplomacy. The crux of the Initiatives lies in ourefforts in enhancing the awareness of cooperation, strengthening investigation andresearch, promoting mutual understanding, highlighting advantages and shunningdisadvantages for mutual benefit and win-win results through responding to theneeds of all parties.

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

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

    Directory of Open Access Journals (Sweden)

    abstract abstract

    2016-07-01

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

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    ( 1 )How does China Appraise the Rising of India Zhao Can-cheng · 1 · Abstract: The rising of India has become an important topic in Chinese Media in the 21st century,and how does China appraise the rising of India is worth discussion. According to the recognition of Chinese official, media and schol- ars on India, this paper discusses the possible impact on China following India's rise and make a prediction on Sino-In- dia relationships. Key Words: China; Appraise ; Rising of India

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

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

  13. Abstract

    OpenAIRE

    Kucrová, Veronika

    2011-01-01

    My thesis deals with the legal aspects of counterfeit trademarks, the competence of Customs Administration in the control of intellectual property rights, labor courts and CTI. My work describe the basic concepts and legal rules governing intellectual property rights. All rights and duties, regulations, agreements and treaties in the field of legal protection designation.

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

  15. Abstract

    Directory of Open Access Journals (Sweden)

    Maria Jose Carvalho de Souza Domingues

    2003-01-01

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

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

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

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

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

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

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

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    CARBONIFEROUS- PERMIAN PETROLEUM GEOLOGY AND EXPLORATION DIRECTION OF TIAOHU DEPRESSION IN SANTANGHU BASIN;THE APPLICATION OF S- WAVE PARAMETERS BUILDING TECHNOLOGY IN THE LITHOLOGIC RESERVOIRS EXPLORATION;THE IDENTIFICATION TECHNOLOGY AND ITS APPLICATION FOR LITHOLOGY OF NIUDONG VOLCANIC RESERVOIR;CAUSES OF PERMIAN DENSE CONGLOMERATE RESERVOIR AND FAVORABLE BLOCK PREDICTION IN ZHONG GUAI BULGE;

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

  4. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Determining Dynamic Rese-rve of Gas R e~servoir by Improved Pressure Drop Method; Mechanical Analysis for Completion String and Its Engineering Applications;Performance Prediction of Natural Depleting Development of Condensate Reservoir with High Gas Condensate Content with a Single Well.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Adhesive traction test of HXD3 locomotive under simulated rain conditions HAN Chang-hu1, LIU Jie-min2, XU Hao-dong1, SONG Yu-ping1 (1. West Jinan Locomotive Depot, Jinan 250117, China; 2. Jinan Railway Administration, Jinan 250001, China)Abstract: To study the impact of severe weather on HXD3 locomotive adhesive traction force, Jinan Rail- way Administration conducted a adhesive traction test of HXD3 locomotive under simulated rain conditions and accumulated large amount of data for reference.

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Based on engineering practice, this paper applies the finite element method to model the SAC test results of bolted endplate connection. The ductility capacity of a new extended bolted end-plate connection for industrial buildings and structures is analyzed, and the analysis results can be used in engineering design and the development of specifications concerned.

  7. Abstract

    African Journals Online (AJOL)

    Dr Osondu

    2011-10-26

    Oct 26, 2011 ... Ethiopian Journal of Environmental Studies and Management Vol. 4 No.3 2011 ... networks, distribution systems, and other social facilities (Handler and ... water, healthcare, education, sanitation and security. However, the ...

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

  9. ABSTRACT

    African Journals Online (AJOL)

    their job performance in Imo state agricultural development programme, Nigeria. ... The blocks are made up of many communities with the block extension .... detailed to rural areas to probably execute government policies and decisions. ... office for about 7 times during the past 12 months, listened to agrie radio talk for ...

  10. ABSTRACT

    African Journals Online (AJOL)

    showed that the per capita calorie intake of the people is 1990 kcal/day while the average household size and dependency ratio were found to be 9 persons and 0.77 .... staple food, and large number of female controlled households suggest.

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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    This paper introduces the main steps of typical QRA through application of QRA to the risk management of petrochemical construction projects. It explores the limitations of QRA method and points out the role of QRA in risk management of construction proje

  13. ABSTRACT

    African Journals Online (AJOL)

    livestock feeds and diet (RRIN, 1985b). So also is the ... growing on kernels impact their various colours to the seeds (Igeleke and Ekpebor, 1986). Biochemical ... Rotting and caking seed meal (Heating, and production of mycotoxins).Heating ...

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Practice and experience on key equipment localization for Longtan project Abstract: Longtan Hydropower Station is the second largest hydropower station after Three Gorges in those have put into production in China. Based on the idea of "objective, practical and economic", an exploratory investigation to promote the key equipment localization and the national industry revitalization was conducted. The localization of key equipment such as 700MW hydraulic generating unit, 500kV three-phase composite transformer, 500kV crosslinked polyethylene insulated cable and monitoring system for giant hydropower stations was realized successfully. The experience is using for reference in after hydropower projects.

  15. Abstract

    African Journals Online (AJOL)

    ­E¢b

    entrepreneurial attitude (that is measured through achievement and innovation) and .... As such, indigenous entrepreneurial attitudes toward innovation will be restricted ..... http://www.vancouver.wsu.edu/amsrev/theory/lindsay. 05-2005.html.

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

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

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

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

  1. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Models of Reduction and Functionalism: Comments on Kim's Reductive Physicalism CHEN Xiaoping (Research Center of System Science and System Management, School of Public Administration, South China Normal University, Guangzhou, Guangdong, 510006) Abstra

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

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

  4. ABSTRACT

    OpenAIRE

    ÇELİK, Hilal

    2013-01-01

    Discourse analysis takes its place within a larger body of social and cultural researchthat is concerned with the production of meaning through talk and texts. In this study generalprinciples of discourse analysis and how discourse analysis is used in qualitative research arementioned. Theoretical background of discourse analysis based on different fields in socialsciences such as sociology, politic, linguistic, media, psychology, etc... Each of them usediscourse analysis according to their o...

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

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

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

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

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

  10. abstract

    Directory of Open Access Journals (Sweden)

    . user

    2016-02-01

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

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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

    Academic progress and innovation depend on the development and change of researchparadigms. In order to lay a foundation for research based on "Chinese discourse, " scholars inChina must develop their own academic paradigms based on realities of their country. A review ofvillager self-administration research indicates that, the practice of villager self-administration inChina has once again become a focus of its political science, among others. Not only has a "valuesystem" paradigm been created, but also its change into a new one of "form-condition" hascompleted, the process of which is of universal value.

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

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

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Since labor resources are a key factor in economic development, the difference of their allocation efficiency has aggravated the imbalance of China's regional economic development. Based on the formula of per capital GDP, this paper constructs an interpretation model of demographic bonus containing influence factors of human capital and material capital accumulation. Subsequently, using data envelopment analysis model we have measured and decomposed relative efficiency of demographic bonus in each region of China during 2006-2010. We have also accounted for the technical efficiency and scale efficiency by using Tobit model. Empirical analysis shows that the relative efficiency of demographic bonus in the Eastern region is higher than those in the middle and west areas. The technical efficiency is mainly affected by education level, aggregation effect of labor force and its participation rate, with influence radios of 0.0102 and 0.0149. Meanwhile, The scale efficiency is mainly affected by education level, aggregation effect of labor force, industrial environment of capital accumulation and generation effect of material capital, with influence radios of 0.1549, 0.1234 and 0.0371. Finally, this paper puts forward suggestions related to the findings.

  16. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

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

  17. Abstracts

    National Research Council Canada - National Science Library

    2013-01-01

    ... والتي تتضمن إدارة النظم المكتبية والموارد الإلكترونية والمُعدات الرقمية والاستفادة من مواقع التواصل الاجتماعي في جذب المُستخدمين. دول الكومنولث: كيف شكلت نماذج...

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    4 Thoughts and Suggestion about Rural Collective Land System Reform YAN Zhiyao (Ministry of Land and Resources, Beijing 100812, China) Abstract: The imperfect rural collective land property right system has caused the difficulties in increasing the income of farmers, surplus migrant workers, laborer shortage, and sharp conflict for land requisition, which has become the biggest bottleneck in the current development and stability. This paper argues that the rural land property rights institution and land requisition system are the core and key for rural economic breakout and the harmonious development of urban and rural economy,

  20. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Old local government documents are an important basis for studying ancient villages and clan cultures. From the Xinhui County Gazetteer, it is known that the development of the Tangxia Basin where Liangxi is located had started by the beginning of the Ming Dynasty. By the Kangxi reign period in the beginning of the Qing Dynasty, the village and its clan had received considerable government attention. By' the end of the Qing Dynasty, the village had been sanctified. It is a notewor- thy phenomenon that a clan could have attained such an important cultural position.

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

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

  3. Abstract

    African Journals Online (AJOL)

    unique firstlady

    To capture impact of subsidy removal on domestic consumption of petroleum product ... curtains, detergents, records, plastic toys and toothpaste. Crude oil got from ... This implies uncondensable gases, methane, ethane, and ethylene, which ...

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    DESIGN OF ANTI-LIGHTENING AND GROUNDING SYSTEM FOR COMPRESSOR SHELTER AND LARGE WAREHOUSE IN REFINERY AND PETROCHEMICAL PLANT[1] Wang Zongjing (SINOPEC Engineering Incorporation, Beijing, 100101) Abstract:With the rapid development of national economy, petrochemical industry plays a more and more important role in national economy. Since most of the process medium in various units in refineries and petrochemical plants are flammable and explosive hazardous substances, high requirements are imposed on the reliability, continuity and stability of each link and facility in the production. Most of the compressor shelters and large warehouses, which are the core buildings in refin- ery and petrochemical plant, are closed or semi-open, so that the atmospheric diffusion of explosive gas mixture is restrained and explosion hazard concentration is kept within a certain period of time. In case of ignition, the enormous explosion pressure will result in damage to equipment and buildings. Therefore, the anti-lightening design of compressor shelter and large warehouse is especially important for the anti-lightening security of refineries and petrochemical plants.

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

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

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

  8. ABSTRACT

    African Journals Online (AJOL)

    to select 243 yam growing women farmers from the three agricultural zones of the State. .... adoption, benefits and problems of adoption of yam minisett technology. .... farmer's previous experience with other innovations will likely influence her ...

  9. Abstract

    African Journals Online (AJOL)

    Francis

    1 Department of Biochemistry and Biotechnology, Avinashilingam University, ... traditional Indian medicinal systems which has a very important role in indicating ... obstructive disorders, diabetes, leprosy, respiratory disorders and certain skin ...

  10. ABSTRACT

    African Journals Online (AJOL)

    gathered through the use of interview schedule. Percentages and ... processing equipment that will reduce both the time on each operation and the tedious .... required for the processor to measure water into the cassava tuber container.

  11. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    students of different disciplines as it will help them to learn their respective subjects with ease. Keywords: ... areas or those that faces difficulties with real ..... International Journals of English Studies, Monograph issue 2: New trends in computer ...

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

  13. Abstract

    African Journals Online (AJOL)

    published more than 80 peer-reviewed articles and book chapters on topics .... In reviewing the literature, we found no studies that addressed .... self based on HIV status, 5 items, alpha = 0.906; (iii) health care ..... Disclosure of HIV status:.

  14. ABSTRACT

    African Journals Online (AJOL)

    , formed and operated along democratic lines for the purpose of ... water, good roads, communication, electricity and hospital constitute a rural area. Finally, ..... Ijere M.O. (1988) The Role of Cooperatives in Agricultural Technology Transfer, In.

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

  16. ABSTRACT

    African Journals Online (AJOL)

    Honeys with more than 19% have a tendency to ferment. As a general rule ... pollen contents, Agwu and Akanbi (1985) recommended alcohol or water dilution technique ... is also a product factor of the type of pollen collected by honey bees.

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

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Kong Jie, Li Shurong and Wang Weibo. ARMA model of MEMS acceleration detector and its characteristic analysis. PI, 2011, 25(5): 1 - 3 Impulse response datum of MEMS acceleration detector is got by the vibro-bench experiment. The ARMA model of this detector is built through the Steiglitz-McBride iteration method with impulse response datum. And the orders of ARMA model is evaluated using Hankel matrix rank. The simulation shows that the ARMA model built is very accurate. In the end, the amplitude frequency characteristics of this detector are analyzed according to the ARMA model.

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

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    STUDY ON THE NATURAL GAS ACCUMULATION IN LOW RELIEF STRUCTURE RESERVOIR AT MIDDLE PORTION OF CHARZHOU STEPS IN AMUDARY BASIN Abstract: This paper focuses on the Hydrocarbon accumulation in low relief structure based on the comprehensive studies of seismic data, regional stratum, sedimentary facies, abundance of hydrocarbon and the character of petroleum geology of the Karakul territory in Chardjou step of Amudarya Basin. A reservoir geological model was established and the Potential zones of oil and gas accumulation were recommended by means of analysis well data, seismic data and three existing low relief gas deposits in the Karakul.

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

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

  4. ABSTRACT

    African Journals Online (AJOL)

    between gender, age, marital status, number of wives, education and constraints to ... identified as affecting feedback provision on forestry related ... Only farm size it- value = -3.31 ... contract with extension agent (t- value =3.84, p<0.05) has significant .... (occupation) and years of farming experience while section В consists.

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

  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)

    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.

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

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

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

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

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

  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)

    2011-01-01

    4 Thoughts on Several Issues with respect to Geological Prospecting Work Peng Qiming (Department of Geological Exploration, Ministry of Land and Resources, Beijing 100812, China) Abstract: This paper first analyses some issues concerning geological prospecting work, such as: the understanding of the connotation of geological prospecting new mechanism; how to play the role of public geological work in strengthening basis properly; reform and development of geological prospecting units; and the issue of the quality descent of geological exploration. It goes on to argue that the core of the new mechanism of geological prospecting includes: social capital is the main part in mineral exploration market;

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    4 Carrying on the Past and Forge Ahead into the Future for New Contributions to the Cause of Geology and Mineral Resource Development in New Period ——Speech at the Celebration Meeting of 30^th Anniversary of China Society of Geology and Mineral Resource Economics

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

  17. 对企业专设税务会计的探讨%Discussion on setting tax accounts specially for enterprise

    Institute of Scientific and Technical Information of China (English)

    苏艺

    2011-01-01

    通过税务会计的职责、税务会计部门的建立等方面对企业专设税务会计进行了探讨,使其能够按照自身的规模设置与之相适应的原则与税务会计职位,明确税务会计人员所应具备的专业技能,税务会计工作应遵循的准则,旨在为企业设立税务会计岗位提供建议。%With the aim of offering suggestions for enterprises setting tax accounts jobs, the responsibilities of tax accounts, the establishment of its department were discussed. It can set up suitable principle and positions of tax accounts according to their own scales, clear the professional skills of tax accounts and the rules should be followed in their work.

  18. Geoscience indexing at petroleum abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Finnegan, M.A.

    1985-01-01

    Geoscience literature received by Petroleum Abstracts Information System is indexed by Scientist with field experience. The indexing consists of relating concepts produced by the author to a controlled vocabulary used at Petroleum Abstracts. The primary emphasis of selection of the literature at Petroleum Abstracts is petroleum-related, but not petroleum restricted. Geoscience literature indexed at Petroleum Abstracts comprises the following subjects: Geology, Geochemistry, Geophysics, and Mineral Commodities. The depth of indexing attributed to each article does in fact depend on the amount of petroleum-related subject matter in the article. Once the indexing is completed, the abstract is then cut to approximately 150 words. The scientist who indexes at Petroleum Abstracts is not expected to know or remember every detail or concept ever published. But he or she is expected to be able to go to an atlas, dictionary, or any other reference material available and apply the concepts to a controlled vocabulary. This is somewhat of a restriction on scientists, but it is the only way to maintain any kind of consistency in the indexing. Successful searching of the Petroleum Abstracts Information System can be accomplished with an understanding of the indexing strategy and the importance and necessity of referencing the thesauri controlled vocabulary. It may be more time-consuming, but will certainly be more accurate in the retrieval of the information.

  19. Program specialization

    CERN Document Server

    Marlet, Renaud

    2013-01-01

    This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data speci

  20. Chemical Abstracts as a resource for health and safety-related chemical information.

    Science.gov (United States)

    Moody, R L; Zahm, B C

    1980-02-01

    Documents relevant to the health and safety of the worker or consumer exposed to chemicals or radiation extend over the entire range of the chemical disciplines, and therefore pertinent information can appear throughout the Chemical Abstracts Service information systems. Access routes to such information in both CAS printed publications and computer-readable services are discussed. In the weekly issues of Chemical Abstracts, health and safety information can be accessed through the natural-language Keyword Index. Retrieval of pertinent information through the controlled headings of the CA Volume Indexes in conjunction with the Index Guide is also discussed. CA Selects, a set of current-awareness publications, is described as it pertains to the specialized areas of health and safety.

  1. Strengthening Structured Abstracts for Education Research: The Need for Claim-Based Structured Abstracts

    Science.gov (United States)

    Kelly, Anthony E.; Yin, Robert K.

    2007-01-01

    Recent policy recommendations involving the putative primacy of randomized clinical trials in educational settings have reignited research paradigm debates. The authors of this article use the vehicle of strengthening structured journal abstracts to point out the argumentative character of all education research claims. They offer suggestions to…

  2. Newborn infants perceive abstract numbers.

    Science.gov (United States)

    Izard, Véronique; Sann, Coralie; Spelke, Elizabeth S; Streri, Arlette

    2009-06-23

    Although infants and animals respond to the approximate number of elements in visual, auditory, and tactile arrays, only human children and adults have been shown to possess abstract numerical representations that apply to entities of all kinds (e.g., 7 samurai, seas, or sins). Do abstract numerical concepts depend on language or culture, or do they form a part of humans' innate, core knowledge? Here we show that newborn infants spontaneously associate stationary, visual-spatial arrays of 4-18 objects with auditory sequences of events on the basis of number. Their performance provides evidence for abstract numerical representations at the start of postnatal experience.

  3. A book of abstract algebra

    CERN Document Server

    Pinter, Charles C

    2009-01-01

    Accessible but rigorous, this outstanding text encompasses all of the topics covered by a typical course in elementary abstract algebra. Its easy-to-read treatment offers an intuitive approach, featuring informal discussions followed by thematically arranged exercises. Intended for undergraduate courses in abstract algebra, it is suitable for junior- and senior-level math majors and future math teachers. This second edition features additional exercises to improve student familiarity with applications. An introductory chapter traces concepts of abstract algebra from their historical roots. Suc

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

  5. Prosthetic repair of umbilical hernias in adults with local anesthesia in a day-case setting: a comprehensive report from a specialized hernia center.

    Science.gov (United States)

    Kulacoglu, H; Yazicioglu, D; Ozyaylali, I

    2012-04-01

    Umbilical hernia is a common surgical problem. However, there seems to be a certain discrepancy between its importance and the attention it has received in the literature to date. This prospective study aimed to report a detailed analysis of prosthetic umbilical hernia repairs with local anesthesia in a day-case setting. It was planned to enroll 100 consecutive patients who underwent an elective umbilical hernia repair with local anesthesia. Patients who required general anesthesia and simultaneous hernia repairs were excluded. The procedure including local anesthesia and intravenous sedation was explained to the patients in detail by the operating surgeons and the anesthesiologist. The following parameters were strictly recorded: gender, age, body mass index (BMI), concomitant diseases, history of hernia (primary/recurrent), size of fascial defect, duration of operation, level of intravenous sedation (light/moderate), discharge time, and complications. There were 54 male and 46 female patients. The mean age was 48.6 years (24-78 years). Four patients were older than 70 years of age. Forty-one patients had 84 concomitant diseases. Eleven patients had a recurrent hernia. Female patients more frequently presented with a recurrent hernia than male patients (19.6 vs. 3.7%, P = 0.009). A standard polypropylene mesh was used in the onlay position in 91 cases. In nine cases, a light mesh was placed in the preperitoneal space. A closed vacuum drain was left in situ in 37 cases. Light sedation was set in 86 cases, whereas 12 patients received a moderate sedation. Monitored anesthesia care was used in two cases. When moderate sedation was needed, a concurrent increase in lidocaine dose and total volume was recorded. There was a positive correlation between increased lidocaine use and high midazolam dose and additional propofol requirement. The mean total local anesthetic volume was 33 ml (10-63 ml). Lidocaine doses displayed a large range between the cases (70-600 mg). The

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

  7. Abstract Interpretation and Attribute Gramars

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    The objective of this thesis is to explore the connections between abstract interpretation and attribute grammars as frameworks in program analysis. Abstract interpretation is a semantics-based program analysis method. A large class of data flow analysis problems can be expressed as non......-standard semantics where the ``meaning'' contains information about the runtime behaviour of programs. In an abstract interpretation the analysis is proved correct by relating it to the usual semantics for the language. Attribute grammars provide a method and notation to specify code generation and program analysis...... directly from the syntax of the programming language. They are especially used for describing compilation of programming languages and very efficient evaluators have been developed for subclasses of attribute grammars. By relating abstract interpretation and attribute grammars we obtain a closer connection...

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

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

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

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

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

    Science.gov (United States)

    Hill, Felix; Korhonen, Anna; Bentz, Christian

    2014-01-01

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

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

    Science.gov (United States)

    Hill, Felix; Korhonen, Anna; Bentz, Christian

    2014-01-01

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

  14. Evasins——独特的趋化因子结合蛋白%Evasins: a set of special chemokine-binding proteins

    Institute of Scientific and Technical Information of China (English)

    林凤娟; 欧周罗; 邵志敏

    2012-01-01

    Chemokines and their receptors play pivotal role in many physiological and pathological processes, including angiogenesis, inflammation, AIDS and cancer. The blocking of the chemokine-receptor interaction may be a new strategy for clinical treatment. Recently, a set of small and soluble chemokine-binding proteins, named Evasins, has been identified from salivary glands of tick, a blood-feeding parasite. Evasins' unique structure and efficient ability to neutralize chemokine bioactivity has aroused people's great interest. This review will draw outline of their discovery story and recent progress of Evasins.%趋化因子及其受体在很多生理及病理过程均发挥重要作用,其可能受神经、激素、酶及结合蛋白等的调节,继在哺乳动物中发现趋化因子诱饵受体如DARC、D6及CCX-CKR后,近来,有人从寄生于犬身上的褐色犬蜱唾液腺中分离到一类称为Evasins的趋化因子结合蛋白,其中和多种趋化因子的能力引起了人们极大的兴趣.

  15. AN ABSTRACT RELATIONAL MODEL AND NATURAL JOIN FUNCTORS

    OpenAIRE

    Kato, Akihiko

    1983-01-01

    A meta-model for database models called an abstract relational model which is obtained by a categorical abstraction of a relational model is proposed. This meta-model represents various database models, e.g. relational, network, hierarchical models as special cases. It is proved that a natural join is the right adjoint of a decomposition in the relational model. On the other hand, in our abstract relational model a natural join is defined as the right adjoint of a decomposition. A sufficient ...

  16. Abstraction of man-made shapes

    KAUST Repository

    Mehra, Ravish

    2009-01-01

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

  17. Development of Pudong sixth Issue 2003 Abstract

    Institute of Scientific and Technical Information of China (English)

    2003-01-01

    This issue is published at a special moment when"Pudong is All-out to Fight against SARS",As the infectious disease spreads out to several provinces in China and many other countries in the world,a new unknown tiny virus is causing great threatening to human lives and disastrous damaging of economy,Pudong,lice many other cities,is united and set out for the war aganst an invisible enemy.Our journalist writes,from the frontline.

  18. Geological, petrogical and geochemical characteristics of granitoid rocks in Burma: with special reference to the associated WSn mineralization and their tectonic setting

    Science.gov (United States)

    Zaw, Khin

    . These central belt granitoids were formed from a calc-alkaline magma derived from a source of continental, sialic materials. Highly potassiccharacters and high initial Sr 87/Sr 86 ratios (0.717±0.002) and Rb/Sr ratios (0.40-33.10) with an average value of 6.70, further corroborate their derivation from a well established continental, sialic basement. Although future chemical and isotopic investigations would be desirable, none of the present evidence argues the interpretation that the granitoid magma was generated by the re-melting of the regionally metamorphosed country rocks. The close association of W-Sn bearing quartz veins and the granitoid rocks also suggests that the metals were derived from the same crustal sources as their host granitoids. The central belt granitoids are considered to have been emplaced during the continent-arc collision of inferred Upper Triassic-Jurassic magmatic-volcanic arc with the continental foreland to the east at the early stage of westward migration of the east-dipping subduction zone to the west. The W-Sn related, central belt granitoids of Upper Mesozoic-Lower Eocene are notably different from those of mainly Triassic granitoids from northern Thailand and Permo-Triassic granites of the Malay Peninsula, and thus the central belt granitoids were emplaced in a uniquely distinct geologic and tetonic setting in the SE Asian region. Major element data for the central belt granitoids, which are associated with W-Sn mineralization lie within the field of Sn-mineralizing granites from New England in Na-K-Ca plot (Juniper and Kleeman, J. Geochem. Explor.11, 321-333, 1979), but largely outside the field on SiO 2CaO +_MgO + FeONa 2O + K 2O + Al 2O 3 plot. Trace element abundances of the central belt granitoid rocks suggest that the Sn content of the granitoids alone should be used with great caution to discriminate the W-Sn bearing (mineralized) granitoid plutons from the W-Sn poor (barren) plutons in search for the W-Sn deposits in

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

  20. Specialization Patterns

    DEFF Research Database (Denmark)

    Schultz, Ulrik Pagh; Lawall, Julia Laetitia; Consel, Charles

    2000-01-01

    Design patterns offer many advantages for software development, but can introduce inefficiency into the final program. Program specialization can eliminate such overheads, but is most effective when targeted by the user to specific bottlenecks. Consequently, we propose that these concepts...... are complementary. Program specialization can optimize programs written using design patterns, and design patterns provide information about the program structure that can guide specialization. Concretely, we propose specialization patterns, which describe how to apply program specialization to optimize uses...... of design patterns. In this paper, we analyze the specialization opportunities provided by specific uses of design patterns. Based on the analysis of each design pattern, we define the associated specialization pattern. These specialization opportunities can be declared using the specialization classes...

  1. THE CHINA MEDICAL ABSTRACTS (Internal Medicine English Edition)

    Institute of Scientific and Technical Information of China (English)

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

  2. THE CHINA MEDICAL ABSTRACTS(Internal Medicine English Edition)

    Institute of Scientific and Technical Information of China (English)

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

  3. THE CHINA MEDICAL ABSTRACTS(Internal Medicine English Edition)

    Institute of Scientific and Technical Information of China (English)

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

  4. THE CHINA MEDICAL ABSTRACTS(Internal Medicine English Edition)

    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.

  5. THE CHINA MEDICAL ABSTRACTS(Internal Medicine English Edition)

    Institute of Scientific and Technical Information of China (English)

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

  6. Convex Hull Abstraction in Specialisation of CLP Programs

    DEFF Research Database (Denmark)

    Peralta, J.C.; Gallagher, John Patrick

    2003-01-01

    We introduce an abstract domain consisting of atomic formulas constrained by linear arithmetic constraints (or convex hulls). This domain is used in an algorithm for specialization of constraint logic programs. The algorithm incorporates in a single phase both top-down goal directed propagation a...

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

  8. Elements of abstract harmonic analysis

    CERN Document Server

    Bachman, George

    2013-01-01

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

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

  10. Patent Abstract Digest. Volume I.

    Science.gov (United States)

    1979-04-30

    Abraham . Ketterig. both of Ohio Kuhn (𔃽[ Assignee The United States of America as [57] ABSTRACT represented by the Secretary of the Thermooxidatively and... Pelee . Nalibth het United States Gees..wa, an sy Pe... acting en behalf ef the United States Goernent~e satetes any liebility resulting Its. he se ef the...r Abraham Ci.. Dayton, Ohi,, 45414 Dun,,vyAn tw i -oehE uzRoc Kr 121 pp N U,78(57] ABSTRACT 1211AppiNo ~A graphic curve ditizer is disclosed

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

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

  13. Algorithmic Approach to Abstracting Linear Systems by Timed Automata

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafael

    2011-01-01

    This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov...... functions. This partitioning ensures that the vector field of the dynamical system is transversal to all facets of the cells, which induces some desirable properties of the abstraction. The algorithm is based on identifying intersections of level sets of quadratic Lyapunov functions, and determining...... the minimum and maximum time that a trajectory of the system can stay in a set, defined as the set-difference of sub-level sets of Lyapunov functions. The proposed algorithm applies for linear systems and can therefore be efficiently implemented using LMI-based tools....

  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

    . 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...... to SMALLTALK, BETA is a language in the ALGOL 60 ([ALGOL]) family. SIMULA 67 is a system description and a programming language. The DELTA language ([DELTA]) is a system description language only, allowing description of full concurrency, continuous change and component interaction, developed from a SIMULA......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...

  15. Does "Social Work Abstracts" Work?

    Science.gov (United States)

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

    2008-01-01

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

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

  17. The Complexity of Abstract Machines

    Directory of Open Access Journals (Sweden)

    Beniamino Accattoli

    2017-01-01

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

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

  19. Does "Social Work Abstracts" Work?

    Science.gov (United States)

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

    2008-01-01

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

  20. Chemical Abstracts' Document Delivery Service.

    Science.gov (United States)

    Rollins, Stephen

    1984-01-01

    The Document Delivery Service offered by Chemical Abstracts is described in terms of the DIALORDER option on the Dialog information retrieval system, mail requests, and requests transmitted through OCLC's Interlibrary Loan system. Transmission costs, success rates, delivery rates, and other considerations in utilizing the service are included.…

  1. Handedness Shapes Children's Abstract Concepts

    Science.gov (United States)

    Casasanto, Daniel; Henetz, Tania

    2012-01-01

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

  2. International abstracting and indexing services

    African Journals Online (AJOL)

    CABI is a not-for-profit science-based development and information organization ... and abstracts the world's chemistry-related information, updating it daily and ... Through Africa-Wide Information, a database compiled by NISC SA and which ...

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

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

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

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

  7. Hydrogen Abstraction from Hydrocarbons by NH2.

    Science.gov (United States)

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

    2017-03-23

    -Polanyi plots, calculated bond dissociation enthalpies (BDHs) correlate linearly with the standard enthalpy of activation (Δ(⧧)H°298), allowing estimation of the enthalpy barrier for reaction of NH2 with other hydrocarbons in future work. Finally, we develop six sets of the generalized Arrhenius rate parameters for H abstractions from different C-H bond types. These parameters extend the application of the present results to any noncyclic hydrocarbon interacting with the NH2 radical.

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

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

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

  11. Fundamental concepts of abstract algebra

    CERN Document Server

    Ehrlich, Gertrude

    2012-01-01

    This undergraduate text presents extensive coverage of set theory, groups, rings, modules, vector spaces, and fields. It offers numerous examples, definitions, theorems, proofs, and practice exercises. 1991 edition.

  12. A note on rough set and non-measurable set

    Institute of Scientific and Technical Information of China (English)

    2000-01-01

    It is proved that rough set is equivalent to non-measurable set in measure theory. Hence, rough set is not a new concept in some sense. At the same time, we defined the measurable degree of a set by inner measure and outer measure. Its special case is the accuracy measure of rough set.

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

  14. Set the Special Zone of Mine Rights Management Reform for Integrated Exploration%建立矿业权管理综合改革“特区”实现整装勘查

    Institute of Scientific and Technical Information of China (English)

    朱清; 余振国

    2012-01-01

    矿业权管理综合改革已经进入深水区.要在整装勘查区快速实现找矿突破,实现“三五八”宏伟目标,必须用新政策、新手段、新方法,走局部试验、总结经验、整体铺开的道路.提出了在整装勘查区建立矿业权管理综合改革“特区”,通过充分调动投资方、地勘单位、地质找矿科技人员、地方政府、矿区居民五方的积极性,建立五方共赢机制,实现特区“扩权、搞活、创新、公平”的目标.最后提出了特区建设的路径和建议.%Mine rights management reform has come to a critical stage. If we want to reach prospecting breakthrough in integrated exploration district to achieve the " 358" goal, new policy, new instrument and new method must be applied and the way of partial area trial, experience summary and overall promotion must be stick to. Proposes was made to set special zone for comprehensive management reform of mine rights in integrated exploration areas. The investors, exploration units, technicians, local governments and residents should all be fully motivated for a whole win ?win mechanism for the five sides to achieve the goal of dynamic, innovative and fair. Finally some suggestions were given for special zone construction.

  15. Fuzzy private matching (extended abstract)

    NARCIS (Netherlands)

    Chmielewski, L.; Hoepman, J.H.

    2008-01-01

    In the private matching problem, a client and a server each hold a set of n input elements. The client wants to privately compute the intersection of these two sets: he learns which elements he has in common with the server (and nothing more), while the server gains no information at all. In certain

  16. Abstract Interfaces for Data Analysis —Component Architecture for Data Analysis Tools

    Institute of Scientific and Technical Information of China (English)

    G.Barrand; P.Binko; 等

    2001-01-01

    The fast turnover of software technologies,in particular in the domain of in teractivity(covering user interface and visualisation)makes it difficult for a small group of people to produce complete and polished software-tools before the underlying technologies make them obsolete.At the HepVis '99 workshop,a working group has been formed to improve the rpoduction of software tools for data analysis in HENP.Beside promoting a distributed development organisation,one goal of the group is to systematically design a set of abstract interfaces based on using modern OO analysis and OO design techniques.An initial domain analysis has come up with several categories(componets)found in typical data analysis tools:historams,Ntuples,Functions,Vectors,Fitter,Plotter,Analyzer and Controller,Special Emphasis was put on reducing the couplings between the categories to a minimum,thus optimising re-use and maintainability of any component individually.The interfaces have been defined in Java and C++ and implementations exist in the form of libraries and tools using C++(Anaphe/Lizard,Openscientist)and Java(Java Analysis Studio),A special implementation aims at accessing the Java Liraries(through their Abstract Interfaces)from C++.This paper giver an overview of the architecture and design of the various components for data analysis as discussed in AIDA.

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

  18. Abstract Context Representations in Primate Amygdala and Prefrontal Cortex.

    Science.gov (United States)

    Saez, A; Rigotti, M; Ostojic, S; Fusi, S; Salzman, C D

    2015-08-19

    Neurons in prefrontal cortex (PFC) encode rules, goals, and other abstract information thought to underlie cognitive, emotional, and behavioral flexibility. Here we show that the amygdala, a brain area traditionally thought to mediate emotions, also encodes abstract information that could underlie this flexibility. Monkeys performed a task in which stimulus-reinforcement contingencies varied between two sets of associations, each defining a context. Reinforcement prediction required identifying a stimulus and knowing the current context. Behavioral evidence indicated that monkeys utilized this information to perform inference and adjust their behavior. Neural representations in both amygdala and PFC reflected the linked sets of associations implicitly defining each context, a process requiring a level of abstraction characteristic of cognitive operations. Surprisingly, when errors were made, the context signal weakened substantially in the amygdala. These data emphasize the importance of maintaining abstract cognitive information in the amygdala to support flexible behavior. Copyright © 2015 Elsevier Inc. All rights reserved.

  19. Abstract commensurators of braid groups

    OpenAIRE

    Leininger, Christopher J; Margalit, Dan

    2005-01-01

    Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended mapping class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show that Tv(B_n) is itself isomorphic to a semidirect product of an infinite dimensional rational vector space with the multiplicative group of nonzero rational numbers.

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

    Data.gov (United States)

    Federal Laboratory Consortium — Supporting Navy special weapons, the division provides an array of engineering services, technical publication support services, logistics support services, safety...

  2. Invariant sets for Windows

    CERN Document Server

    Morozov, Albert D; Dragunov, Timothy N; Malysheva, Olga V

    1999-01-01

    This book deals with the visualization and exploration of invariant sets (fractals, strange attractors, resonance structures, patterns etc.) for various kinds of nonlinear dynamical systems. The authors have created a special Windows 95 application called WInSet, which allows one to visualize the invariant sets. A WInSet installation disk is enclosed with the book.The book consists of two parts. Part I contains a description of WInSet and a list of the built-in invariant sets which can be plotted using the program. This part is intended for a wide audience with interests ranging from dynamical

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

  4. Matching-to-sample abstract-concept learning by pigeons.

    Science.gov (United States)

    Bodily, Kent D; Katz, Jeffrey S; Wright, Anthony A

    2008-01-01

    Abstract concepts--rules that transcend training stimuli--have been argued to be unique to some species. Pigeons, a focus of much concept-learning research, were tested for learning a matching-to-sample abstract concept. Five pigeons were trained with three cartoon stimuli. Pigeons pecked a sample 10 times and then chose which of two simultaneously presented comparison stimuli matched the sample. After acquisition, abstract-concept learning was tested by presenting novel cartoons on 12 out of 96 trials for 4 consecutive sessions. A cycle of doubling the training set followed by retraining and novel-testing was repeated eight times, increasing the set size from 3 to 768 items. Transfer performance improved from chance (i.e., no abstract-concept learning) to a level equivalent to baseline performance (>80%) and was similar to an equivalent function for same/different abstract-concept learning. Analyses assessed the possibility that item-specific choice strategies accounted for acquisition and transfer performance. These analyses converged to rule out item-specific strategies at all but the smallest set-sizes (3-24 items). Ruling out these possibilities adds to the evidence that pigeons learned the relational abstract concept of matching-to-sample.

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

    KAUST Repository

    Wang, Wei

    2016-10-15

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

  6. Specialized languages

    DEFF Research Database (Denmark)

    Mousten, Birthe; Laursen, Anne Lise

    2016-01-01

    -disciplinarily, because they work with both derivative and contributory approaches. Derivative, because specialized language retrieves its philosophy of science as well as methods from both the natural sciences, social sciences and humanistic sciences. Contributory because language results support the communication......Across different fields of research, one feature is often overlooked: the use of language for specialized purposes (LSP) as a cross-discipline. Mastering cross-disciplinarity is the precondition for communicating detailed results within any field. Researchers in specialized languages work cross...... science fields communicate their findings. With this article, we want to create awareness of the work in this special area of language studies and of the inherent cross-disciplinarity that makes LSP special compared to common-core language. An acknowledgement of the importance of this field both in terms...

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

  8. Efficient abstractions for visualization and interaction

    NARCIS (Netherlands)

    van der Ploeg, A.J.

    2015-01-01

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

  9. A Modal-Logic Based Graph Abstraction

    NARCIS (Netherlands)

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

    2008-01-01

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

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

  11. Superior abstract-concept learning by Clark's nutcrackers (Nucifraga columbiana).

    Science.gov (United States)

    Magnotti, John F; Katz, Jeffrey S; Wright, Anthony A; Kelly, Debbie M

    2015-05-01

    The ability to learn abstract relational concepts is fundamental to higher level cognition. In contrast to item-specific concepts (e.g. pictures containing trees versus pictures containing cars), abstract relational concepts are not bound to particular stimulus features, but instead involve the relationship between stimuli and therefore may be extrapolated to novel stimuli. Previous research investigating the same/different abstract concept has suggested that primates might be specially adapted to extract relations among items and would require fewer exemplars of a rule to learn an abstract concept than non-primate species. We assessed abstract-concept learning in an avian species, Clark's nutcracker (Nucifraga columbiana), using a small number of exemplars (eight pairs of the same rule, and 56 pairs of the different rule) identical to that previously used to compare rhesus monkeys, capuchin monkeys and pigeons. Nutcrackers as a group (N = 9) showed more novel stimulus transfer than any previous species tested with this small number of exemplars. Two nutcrackers showed full concept learning and four more showed transfer considerably above chance performance, indicating partial concept learning. These results show that the Clark's nutcracker, a corvid species well known for its amazing feats of spatial memory, learns the same/different abstract concept better than any non-human species (including non-human primates) yet tested on this same task.

  12. Towards unifying inheritance and automatic program specialization

    DEFF Research Database (Denmark)

    Schultz, Ulrik Pagh

    2002-01-01

    Inheritance allows a class to be specialized and its attributes refined, but implementation specialization can only take place by overriding with manually implemented methods. Automatic program specialization can generate a specialized, effcient implementation. However, specialization of programs...... and specialization of classes (inheritance) are considered different abstractions. We present a new programming language, Lapis, that unifies inheritance and program specialization at the conceptual, syntactic, and semantic levels. This paper presents the initial development of Lapis, which uses inheritance...... with covariant specialization to control the automatic application of program specialization to class members. Lapis integrates object-oriented concepts, block structure, and techniques from automatic program specialization to provide both a language where object-oriented designs can be e#ciently implemented...

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

  14. 国际化背景下工科ESP教学中的本科毕业论文英语摘要教学实践%Reform and Practice of Teaching English Abstract Writing of Undergraduate' Graduation Thesis in English for Special Purpose (ESP) of Engineering under the Background of Internationalization

    Institute of Scientific and Technical Information of China (English)

    杜木英; 阚建全; 张甫生

    2012-01-01

    Taking into account of the low quality of abstracts writing in graduation thesis of undergraduates, questionnaire investigation was designed to investigate the main imperfection in their abstracts writing. Thus it was proposed to establish a new course of writing English abstract as an innovation in ESP teaching to strengthen the students writing capability in English abstracts of graduation thesis, including genre analysis, composition format and grammatical characteristics study of abstracts so as to cultivate high-quality multiple talents with international insight.%针对目前本科毕业论文英文摘要的质量较差,从分析问题入手,采用问卷调查摘要撰写中存在的明显问题。借助工科ESP英语课程教学改革增设英文摘要写作环节,从明确摘要是一种体裁、强化摘要的写作格式、熟悉摘要的语法特点等方面加以强化提升学生的毕业论文英语摘要写作能力,为培养出国际化的高素质复合型人才发挥作用。

  15. Accelerators and storage rings. TS Workshop 2005. Book of Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Ciriani, P.; Magnin, B.; Oliveira, R. de; Chevalley, J.; Artoos, K.; Bertone, C.; Minginette, P.; Corso, J.P.; Grillot, S.; Weisz, S.; Prodon, S.; Sakkinen, J.; Foraz, K.; Funken, A.; Bangert, N.; Hakulinen, T.; Boncompagni, Y.; Delamare, C.; Folch, R.; Poehler, M.; Bertarelli, A.; Martel, C.; Butin, F.; Osborne, J.; Evrard, S.; Lacarrere, D.; Gayde, J.C.; Renaglia, T.; Batz, M.; Tsesmelis, E.; Wijnands, T.; Perrot, A.L.; Gastal, M.; Atieh, S.; Cherif, A.; Costa Pinto, P.; Calatroni, S.; Ninin, P.; Battistin, M.; Arnau Izquierdo, G.; Favre, G.; Mathot, S.; Mainaud, H.; Podevin, C.; Jones, M.; Stowisek, J.; Roy, S.; Sanchez-Corral, E.; Petit, S.; Martel, P.; Colloca, C.; Van Der Bij, E.; Vadon, M.; Kahle, K.; Principe, R.; Macina, D.; Schmidt, R.; Ridewood, J.; Lopez-Hernandez, L.A

    2005-07-01

    This document gathers the abstracts of the papers presented at the workshop. This workshop was dedicated to the status of the technical support of the LHC (large hadron collider) in CERN. The different issues concern: -) the installation of the equipment in the LHC tunnel (super-conducting magnets, cold boxes, PS magnets...), -) underground logistics, -) the installation of experimental areas, -) the new CERN control center, and -) special technologies. (A.C.)

  16. Elementary induction on abstract structures

    CERN Document Server

    Moschovakis, Yiannis N

    2008-01-01

    Hailed by the Bulletin of the American Mathematical Society as ""easy to use and a pleasure to read,"" this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory.The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics,University of Athens, Greece, begins with a focus on the theory of inductive and hyperelementary sets. Subsequent chapters advance to acceptable structures and countable acceptable structures, concl

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

  18. Augmenting Tractable Fragments of Abstract Argumentation

    CERN Document Server

    Ordyniak, Sebastian

    2011-01-01

    We present a new and compelling approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms defined for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not. More specifically, we show that the problems of credulous and skeptical acceptance are fixed-parameter tractable when parameterized by the distance from the fragment of acyclic argumentation frameworks. Other tractable fragments such as the fragments of symmetrical and bipartite frameworks seem to prohibit an augmentation: the acceptance problems are already intractable for frameworks at distance 1 from the fragments. For our study we use a broad setting and consider several different semantics. For the algorithmic results...

  19. A polynomial algorithm for abstract maximum flow

    Energy Technology Data Exchange (ETDEWEB)

    McCormick, S.T. [Univ. of British Columbia, Vancouver, British Columbia (Canada)

    1996-12-31

    Ford and Fulkerson`s original 1956 max flow/min cut paper formulated max flow in terms of flows on paths, rather than the more familiar flows on arcs. In 1974 Hoffman pointed out that Ford and Fulkerson`s original proof was quite abstract, and applied to a wide range of max flow-like problems. In this abstract model we have capacitated elements, and linearly ordered subsets of elements called paths. When two paths share an element ({open_quote}cross{close_quote}), then there must be a path that is a subset of the first path up to the cross, and a subset of the second path after the cross. (Hoffman`s generalization of) Ford and Fulkerson`s proof showed that the max flow/min cut theorem still holds under this weak assumption. However, this proof is non-constructive. To get an algorithm, we assume that we have an oracle whose input is an arbitrary subset of elements, and whose output is either a path contained in that subset, or the statement that no such path exists. We then use complementary slackness to show how to augment any feasible set of path flows to a set with a strictly larger total flow value using a polynomial number of calls to the oracle. Then standard scaling techniques yield an overall polynomial algorithm for finding both a max flow and a min cut. Hoffman`s paper actually considers a sort of supermodular objective on the path flows, which allows him to include transportation problems and thus rain-cost flow in his frame-work. We also discuss extending our algorithm to this more general case.

  20. Finding Suitable Variability Abstractions for Family-Based Analysis

    DEFF Research Database (Denmark)

    Dimovski, Aleksandar; Brabrand, Claus; Wasowski, Andrzej

    2016-01-01

    For program families (Software Product Lines), specially designed variability-aware static (dataflow) analyses allow analyzing all variants (products) of the family, simultaneously, in a single run without generating any of the variants explicitly. They are also known as lifted or family-based an......For program families (Software Product Lines), specially designed variability-aware static (dataflow) analyses allow analyzing all variants (products) of the family, simultaneously, in a single run without generating any of the variants explicitly. They are also known as lifted or family......) and reduce it to something more tractable. % by manipulating the configuration space of the family. However, the number of possible abstractions is still intractably large to search naively, with most abstractions being too imprecise or too costly. In this work, we propose a technique to efficiently find...... suitable variability abstractions from a large family of abstractions for a variability-aware static analysis. The idea is to use a pre-analysis to estimate the impact of variability-specific parts of the program family on the analysis's precision. Then we use the pre-analysis results to find out when...

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

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

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

  4. Abstract Interfaces for Data Analysis Component Architecture for Data Analysis Tools

    CERN Document Server

    Barrand, G; Dönszelmann, M; Johnson, A; Pfeiffer, A

    2001-01-01

    The fast turnover of software technologies, in particular in the domain of interactivity (covering user interface and visualisation), makes it difficult for a small group of people to produce complete and polished software-tools before the underlying technologies make them obsolete. At the HepVis '99 workshop, a working group has been formed to improve the production of software tools for data analysis in HENP. Beside promoting a distributed development organisation, one goal of the group is to systematically design a set of abstract interfaces based on using modern OO analysis and OO design techniques. An initial domain analysis has come up with several categories (components) found in typical data analysis tools: Histograms, Ntuples, Functions, Vectors, Fitter, Plotter, Analyzer and Controller. Special emphasis was put on reducing the couplings between the categories to a minimum, thus optimising re-use and maintainability of any component individually. The interfaces have been defined in Java and C++ and i...

  5. Introduction to the Special Issue

    OpenAIRE

    Benati, Alessandro; Lee, James F.

    2015-01-01

    [Without Abstract]\\ud Introduction to International Review of Applied Linguistics in Language Teaching, Volume 53, Issue 2 (Jun 2015)- Special Issue: Processing instruction: New insights after twenty years of theory, research and application. Guest Editors: Alessandro Benati and James F. Lee.

  6. 40 CFR 799.5025 - Testing consent orders for mixtures without Chemical Abstracts Service Registry Numbers.

    Science.gov (United States)

    2010-07-01

    ... without Chemical Abstracts Service Registry Numbers. 799.5025 Section 799.5025 Protection of Environment... orders for mixtures without Chemical Abstracts Service Registry Numbers. This section sets forth a list of mixtures (with no Chemical Abstracts Service Registry Numbers) which are the subject of...

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

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Jensen, Thomas P.

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

  8. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    Directory of Open Access Journals (Sweden)

    M. G. Koveshnikov

    2015-05-01

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

  9. SLAS Library Telescope Program (Abstract)

    Science.gov (United States)

    Small, J. S.

    2016-12-01

    (Abstract only) In the fall of 2014, I submitted to the members of the St. Louis Astronomical Society to take the $1,000 profit we had from a convention we had hosted and use it to purchase three telescopes to modify for a Library Telescope program that was invented by Mark Stowbridge and promoted by the New Hampshire Astronomical Society. I had met Mark at NEAF in 2012 when he was walking the floor demonstrating the telescope. We held meetings with three libraries, the St. Louis County Library system, the St. Louis Public Library system and an independent library in Kirkwood, Missouri. The response was overwhelming! SLCL responded with a request for ten telescopes and SLPL asked for five. We did our first build in October, 2014 and placed a total of eighteen telescopes. Since that time, SLAS has placed a total of eighty-eight telescopes in library systems around the St. Louis Metro area, expanding into neighboring counties and across the river in Illinois. In this talk, I will discuss how to approach this project and put it in place in your libraries!

  10. Reconstruing intolerance: abstract thinking reduces conservatives' prejudice against nonnormative groups.

    Science.gov (United States)

    Luguri, Jamie B; Napier, Jaime L; Dovidio, John F

    2012-07-01

    Myrdal (1944) described the "American dilemma" as the conflict between abstract national values ("liberty and justice for all") and more concrete, everyday prejudices. We leveraged construal-level theory to empirically test Myrdal's proposition that construal level (abstract vs. concrete) can influence prejudice. We measured individual differences in construal level (Study 1) and manipulated construal level (Studies 2 and 3); across these three studies, we found that adopting an abstract mind-set heightened conservatives' tolerance for groups that are perceived as deviating from Judeo-Christian values (gay men, lesbians, Muslims, and atheists). Among participants who adopted a concrete mind-set, conservatives were less tolerant of these nonnormative groups than liberals were, but political orientation did not have a reliable effect on tolerance among participants who adopted an abstract mind-set. Attitudes toward racial out-groups and dominant groups (e.g., Whites, Christians) were unaffected by construal level. In Study 3, we found that the effect of abstract thinking on prejudice was mediated by an increase in concerns about fairness.

  11. Core foundations of abstract geometry.

    Science.gov (United States)

    Dillon, Moira R; Huang, Yi; Spelke, Elizabeth S

    2013-08-27

    Human adults from diverse cultures share intuitions about the points, lines, and figures of Euclidean geometry. Do children develop these intuitions by drawing on phylogenetically ancient and developmentally precocious geometric representations that guide their navigation and their analysis of object shape? In what way might these early-arising representations support later-developing Euclidean intuitions? To approach these questions, we investigated the relations among young children's use of geometry in tasks assessing: navigation; visual form analysis; and the interpretation of symbolic, purely geometric maps. Children's navigation depended on the distance and directional relations of the surface layout and predicted their use of a symbolic map with targets designated by surface distances. In contrast, children's analysis of visual forms depended on the size-invariant shape relations of objects and predicted their use of the same map but with targets designated by corner angles. Even though the two map tasks used identical instructions and map displays, children's performance on these tasks showed no evidence of integrated representations of distance and angle. Instead, young children flexibly recruited geometric representations of either navigable layouts or objects to interpret the same spatial symbols. These findings reveal a link between the early-arising geometric representations that humans share with diverse animals and the flexible geometric intuitions that give rise to human knowledge at its highest reaches. Although young children do not appear to integrate core geometric representations, children's use of the abstract geometry in spatial symbols such as maps may provide the earliest clues to the later construction of Euclidean geometry.

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

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

    Energy Technology Data Exchange (ETDEWEB)

    1992-10-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

    1992-10-01

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

  15. Abstract methods in partial differential equations

    CERN Document Server

    Carroll, Robert W

    2012-01-01

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

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

  17. Industrial Specialization: Determinants, Processes and Consequences

    NARCIS (Netherlands)

    Zhang, L.

    2013-01-01

    This thesis examines the causes, processes and consequences of industrial specialization. Specifically, three sets of questions are addressed. First, how do trade and financial openness affect industrial specialization across countries? Second, how does trade openness affect industrial composition

  18. Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

    DEFF Research Database (Denmark)

    Sloth, Christoffer; Wisniewski, Rafal

    2010-01-01

    This paper considers the development of a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification of t...

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

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