WorldWideScience

Sample records for 1977-1980 lead abstract

  1. Biological and medical research with accelerated heavy ions at the Bevalac, 1977-1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Pirruccello, M.C.; Tobias, C.A. (eds.)

    1980-11-01

    Separate abstracts were prepared for the 46 papers presented in this progress report. This report is a major review of studies with accelerated heavy ions carried out by the Biology and Medicine Division of Lawrence Berkeley Laboratory from 1977 to 1980. (KRM)

  2. Pulmonary toxicology of respirable particles. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-09-01

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

  3. Ecological impact of acid precipitation. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-10-01

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

  4. Natural radiation environment III. [Lead Abstract

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-01-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

    1982-09-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1979-01-01

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

  7. Proceedings of the biomagnetic effects workshop. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Tenforde, T.S. (ed.)

    1978-01-01

    Separate abstracts were prepared for six of the eight chapters contained in these proceedings. The other two chapters contain introductory material (Chapter 1) dealing with the rationale for the work shop, and a summary (Chapter 8) of the major objectives that were accomplished at the workshop relative to the current status of awareness in the field of biomagnetic effects. (ERB)

  8. Recent advances in yeast molecular biology: recombinant DNA. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1982-09-01

    Separate abstracts were prepared for the 25 papers presented at a workshop focusing on chromosomal structure, gene regulation, recombination, DNA repair, and cell type control, that have been obtained by experimental approaches incorporating the new technologies of yeast DNA transformation, molecular cloning, and DNA sequence analysis. (KRM)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  11. Reporting completeness of abstracts of systematic reviews published in leading dental specialty journals.

    Science.gov (United States)

    Seehra, Jadbinder; Fleming, Padhraig S; Polychronopoulou, Argy; Pandis, Nikolaos

    2013-04-01

    The aim of this study was to investigate the reporting completeness of systematic review (SR) abstracts in leading dental specialty journals. Electronic and supplementary hand searching were undertaken to identify SRs published in seven dental specialty journals and in the Cochrane Database of Systematic Reviews. Abstract reporting completeness was evaluated using a checklist derived from the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (prisma) guidelines. Descriptive statistics followed by univariate and multivariate analyses were conducted. Two-hundred and eighteen SR abstracts were identified. Reporting of interventions (94%), objectives (96%), data sources (81%), eligibility criteria (77%), and conclusions (97%) was adequate in the majority of reviews. However, inadequate reporting of participants (18%), results (42%), effect size (14%), level of significance (60%), and trial registration (100%) was commonplace. The mean overall reporting score was 79.1% (95% CI, 77.6-80.6). Only journal of publication was a significant predictor of overall reporting, with inferior results for all journals relative to Cochrane reviews, with scores ranging from -4.3% (95% CI, -8.74 to 0.08) to -35.6% (95% CI, -42.0 to -24.3) for the International Journal of Prosthodontics and the British Journal of Oral and Maxillofacial Surgery, respectively. Improved reporting of dental SR abstracts is needed and should be encouraged, as these abstracts may underpin influential clinical decisions.

  12. Abstract ‘why’ thoughts about success lead to greater positive generalization in sport participants

    Directory of Open Access Journals (Sweden)

    Jens eVan Lier

    2015-11-01

    Full Text Available Generalizing from a single failure or success to future performances and their self-concept could have an important impact on sport participants. This study examined the impact of the way sport participants think about success on positive generalization. Sport participants (N=222 completed an online experimental study in which they were induced to think about meanings, causes and implications (i.e., abstract-‘why’-thinking or about more perceptual concrete aspects of their performance (i.e., concrete-‘how’-thinking. We hypothesized that abstract-‘why’-thinking would lead to greater positive generalization and that this effect would be moderated by self-esteem. Our results supported our hypothesis that abstract thinking increased positive generalization, and this effect was more clearly visible in sport participants with higher self-esteem. These results suggest that retrospective thinking about the ‘why’ of a good performance may benefit athletes in the long run because they generalize the outcome to future performances and their self-concept which may boost their motivation and consequently their performance.

  13. Reporting quality of randomized controlled trial abstracts published in leading laser medicine journals: an assessment using the CONSORT for abstracts guidelines.

    Science.gov (United States)

    Jin, Lu; Hua, Fang; Cao, Qiang

    2016-11-01

    The objectives of this study were to assess the reporting quality of randomized controlled trial (RCT) abstracts published in leading laser medicine journals and investigate the association between potential predictors and reporting quality. The official online archives of four leading laser medicine journals were hand-searched to identify RCTs published in 2014 and 2015. A reporting quality assessment was carried out using the original 16-item CONsolidated Standards Of Reporting Trials (CONSORT) for Abstracts checklist. For each abstract, an overall CONSORT score (OCS) was calculated (score range, 0 to 16). Univariable and multivariable linear regression analyses were performed to identify significant predictors of reporting quality. Chi-square (or Fisher's exact) tests were used to analyze the adequate reporting rate of each quality item by specialty area. A total of 129 RCT abstracts were included and assessed. The mean OCS was 4.5 (standard deviation, 1.3). Only three quality items (interventions, objective, conclusions) were reported adequately in most abstracts (>80 %). No abstract adequately reported results for the primary outcome, source of funding, and status of the trial. In addition, sufficient reporting of participants, outcome in the methods section, randomization, and trial registration was rare (journals is suboptimal. Joint efforts by authors, editors, and other stakeholders in the field to improve trial abstract reporting are needed.

  14. Radiological and Environmental Research Division annual report, July 1979-June 1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Rowland, R.E.; Stehney, A.F.

    1981-05-01

    Separate abstracts were prepared for 19 of the 33 papers presented by the Center for Human Radiobiology for the Radiological and Environmental Research Division Annual Report. The 14 items not included are abstracts only and deal with the mechanisms and dosimetry for induction of malignancies by radium. (KRM)

  15. Some Interesting Events from Lead-Lead Collisions in ATLAS at the LHC (individual captions in abstract)

    CERN Multimedia

    The ATLAS Experiment, ATLAS, First collisions, Splash events

    2010-01-01

    Image Captions CERN-EX-1011310 01 -- Event display of a highly asymmetric dijet event, with one jet with ET > 100 GeV and no evident recoiling jet, recorded by ATLAS in LHC lead-lead collisions. CERN-EX-1011310 02 -- Event display of a highly asymmetric dijet event, with one jet with ET > 100 GeV and no evident recoiling jet, recorded by ATLAS in LHC lead-lead collisions. CERN-EX-1011310 03 -- Event display of a highly asymmetric dijet event, with one jet with ET > 100 GeV and no evident recoiling jet, recorded by ATLAS in LHC lead-lead collisions. CERN-EX-1011310 04 -- LHC lead-lead collisions recorded by ATLAS with a candidate Z to μ+μ- decay. The two muons shown in purple are the candidates to originate from the Z decay. The transverse momenta of these two muons are 44 and 45 GeV, and the invariant mass of the dimuon system is 93 GeV. CERN-EX-1011310 05 -- LHC lead-lead collisions recorded by ATLAS with a candidate Z to μ+μ- decay. The two muons shown in red are the candidates to originate from the...

  16. Biology Division progress report, October 1, 1978-May 31, 1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1980-10-01

    Separate abstracts were prepared for each of the four sections into which this progress report has been divided. The report also contains sections related to interdivision activities and educational activities. (ERB)

  17. Overview of the biomedical and environmental programs at the Oak Ridge National Laboratory. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Pfuderer, H.A.; Moody, J.B. (comps.)

    1981-07-01

    Separate abstracts were prepared for each of the 6 chapters presented by the six divisions involved in the Biomedical and Environmental Sciences Program at Oak Ridge National Laboratory. The introduction is not covered by an abstract and deals with the environmental, health and safety considerations of energy technology decisions, the major initiatives now being taken by these 6 divisions, and recent major accomplishments in the biomedical and environmental science program. (KRM)

  18. Division of Biological and Medical Research annual report, 1979. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Rosenthal, M.W. (ed.)

    1979-01-01

    Separate abstracts were prepared for 14 of the 20 sections included in this progress report. The other 6 sections include: introductory statements by the division director; descriptions of the animal, computer, electron microscope, and radiation support facilities; a listing of the educational activities, divisional seminars, and oral presentations by staff members; and divisional staff publications. An author index to the report is included. (ERB)

  19. Biology and Medicine Division annual report, 1981-1982. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1983-04-01

    Separate abstracts were prepared for the 61 research reports in the 1981-1982 annual report for the Biology and Medicine Division of the Lawrence Berkeley Laboratory. Programs reviewed include research medicine, Donner Pavilion, environmental physiology, radiation biophysics and structural biophysics. (KRM)

  20. Symposium on intermediate-range atmospheric-transport processes and technology assessment. [Lead Abstract

    Energy Technology Data Exchange (ETDEWEB)

    1981-10-01

    Separate abstracts were prepared for the 47 papers in this proceedings. The purpose of this meeting was to assess the state of the art of modeling atmospheric transport processes 10 to 100 km downwind of point and area sources of pollution. (KRM)

  1. Environmental Sciences Division. Annual progress report for period ending September 30, 1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Auerbach, S.I.; Reichle, D.E.

    1981-03-01

    Research conducted in the Environmental Sciences Division for the Fiscal Year 1980 included studies carried out in the following Division programs and sections: (1) Advanced Fossil Energy Program, (2) Nuclear Program, (3) Environmental Impact Program, (4) Ecosystem Studies Program, (5) Low-Level Waste Research and Development Program, (6) National Low-Level Waste Program, (7) Aquatic Ecology Section, (8) Environmental Resources Section, (9) Earth Sciences Section, and (10) Terrestrial Ecology Section. In addition, Educational Activities and the dedication of the Oak Ridge National Environmental Research Park are reported. Separate abstracts were prepared for the 10 sections of this report.

  2. Artificial grammar learning by 1-year-olds leads to specific and abstract knowledge.

    Science.gov (United States)

    Gomez, R L; Gerken, L

    1999-03-01

    Four experiments used the head-turn preference procedure to assess whether infants could extract and remember information from auditory strings produced by a miniature artificial grammar. In all four experiments, infants generalized to new structure by discriminating new grammatical strings from ungrammatical ones after less than 2 min exposure to the grammar. Infants acquired specific information about the grammar as demonstrated by the ability to discriminate new grammatical strings from those with illegal endpoints (Experiment 1). Infants also discriminated new grammatical strings from those with string-internal pairwise violations (Experiments 2 and 3). Infants in Experiment 4 abstracted beyond specific word order as demonstrated by the ability to discriminate new strings produced by their training grammar from strings produced by another grammar despite a change in vocabulary between training and test. We discuss the implications of these findings for the study of language acquisition.

  3. Comprehensive progress report, 1977-1980

    Energy Technology Data Exchange (ETDEWEB)

    Suyama, Y

    1980-01-01

    Research accomplishments and activities during the past three year period are described. Specific projects were: (1) restriction endonuclease studies of tetrahymena mtDNA; (2) biosynthesis of mitochondrial tRNA; and (3) structure and synthesis of tRNA charging enzymes. (ACR)

  4. Radiation physics, biophysics and radiation biology. Progress report for October 1, 1979-September 30, 1980. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Rossi, H.H.; Hall, E.J.

    1980-07-01

    Separate abstracts were prepared for 31 of the 32 papers presented in this progress report. The other paper is represented by an abstract only and deals with field shaping and recalibration of x-ray facilities.

  5. Pacific Northwest Laboratory annual report for 1980 to the DOE Assistant Secretary for Environment. Part 1. Biomedical sciences. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Drucker, H.

    1981-02-01

    Separate abstracts were prepared for 31 sections in this progress report. The appendix which deals with dose-effect studies with inhaled plutonium in beagles is not represented by a separate abstract. (KRM)

  6. Radiological and Environmental Research Division, Center for Human Radiobiology. Annual report, July 1980-June 1981. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1982-03-01

    Separate abstracts were prepared for the 22 papers of this annual report of the Center for Human Radiobiology. Abstracts were not written for 2 appendices which contain data on the exposure and radium-induced malignancies of 2259 persons whose radium content has been determined at least once. (KRM)

  7. Carbon dioxide effects research and assessment program: flux of organic carbon by rivers to the oceans. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    None

    1981-04-01

    Separate abstracts were prepared for the 15 papers presented in this workshop report. The state of knowledge about the role of rivers in the transport, storage and oxidation of carbon is the subject of this report. (KRM)

  8. Advanced Technology Section semiannual progress report, April 1-September 30, 1977. Volume 1. Biotechnology and environmental programs. [Lead Abstract

    Energy Technology Data Exchange (ETDEWEB)

    Pitt, W.W. Jr.; Mrochek, J.E. (comps.)

    1980-06-01

    Research efforts in six areas are reported. They include: centrifugal analyzer development; advanced analytical systems; environmental research; bioengineering research;bioprocess development and demonstration; and, environmental control technology. Individual abstracts were prepared for each section for ERA/EDB. (JCB)

  9. Environmental Sciences Division annual progress report for period ending September 30, 1982. Environmental Sciences Division Publication No. 2090. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    1983-04-01

    Separate abstracts were prepared for 12 of the 14 sections of the Environmental Sciences Division annual progress report. The other 2 sections deal with educational activities. The programs discussed deal with advanced fuel energy, toxic substances, environmental impacts of various energy technologies, biomass, low-level radioactive waste management, the global carbon cycle, and aquatic and terrestrial ecology. (KRM)

  10. How Verb Tense Affects the Construal of Action: The Simple Past Tense Leads People into an Abstract Mindset

    Science.gov (United States)

    Carrera, Pilar; Muñoz, Dolores; Caballero, Amparo; Fernández, Itziar; Aguilar, Pilar; Albarracín, Dolores

    2014-01-01

    Two experiments examined the influence of verb tense on how abstractly people construe action representations. Experiment 1 revealed that written descriptions of several daily events using the simple past tense (vs. simple present tense) resulted in actions and the action's target being seen as less likely and less familiar, respectively. In…

  11. Home Plumbing Simulator for the Study of Copper and Lead Corrosion and Release, Disinfectant Demand, and Biofilm Activity - abstract

    Science.gov (United States)

    The corrosion of household or premise plumbing materials (such as copper, brass, and solder) and the metal release that results from that corrosion can cause numerous problems, ranging from “blue” water to copper pinhole leaks. If left untreated, these problems can lead to health...

  12. Lead

    Science.gov (United States)

    ... found? Who is at risk? What are the health effects of lead? Get educational material about lead Get certified as a Lead Abatement Worker, or other abatement discipline Lead in drinking water Lead air pollution Test your child Check and maintain your home ...

  13. Annual Report for 1981 to the DOE Office of the Assistant Secretary for Environmental Protection, Safety, and Emergency Preparedness. Part 2. Ecological Sciences. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Vaughan, B.E.

    1982-02-01

    Separate abstracts were prepared for the 38 reports for this Pacific Northwest Laboratory Annual Report for 1981 to the DOE Office of Energy Research. This part dealt with research conducted in the ecological sciences.

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

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

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

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

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

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

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    From Altair to Cowboy —— The Four Spread Level of the Cowboy Legend Abstract:The first spread level of the legend is that the star which called Altair is closely related with the ancients' lives and is buried the declination for the later legends. The seconffspread level is that the Altair, the important landscape of the capital, had turned into stars' in- carnation in ancient portraits and got the male humanoid. Furthermore,Altair had been given emotions,got married with Vega,concacted with human beings and became the secular immortal,this is the third level. At last,Altair rooted in the-folk,got brother and sister-in-law, to be a cowboy and was called the Altair,this is the forth level. The cumulative progression finally lead to the Star. The circuitous and tor- tuous spread levels made the cowboy legend unceasing richly,and spread around through the ages.

  1. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The dramatic changes in Tang and Song Dynasties lead to great changes of the social attitudes of the literati at this period, they were pessimistic towards or annoyed by and even refused the society and so on. The image of confucian the literati once shaped also become divided step by step and many new roles,such as political assistants who serves for the separatist regime, literati who seeked a momentary ease from the society and talented and romantic youths who were not tied down by the convention and tradition appeared at that time, which is of the apparent epoch mark. It is on the basis of these great changes that the literature image of this time shaped and the literature style in Tang and Song Dynasties transformed.

  2. THE FACTORS THAT LEAD NAMIK KEMAL TO VICTOR HUGO ABSTRACT NAMIK KEMAL’İ VICTOR HUGO’YA GÖTÜREN ETKENLER

    Directory of Open Access Journals (Sweden)

    Abdulhalim AYDIN

    2011-09-01

    Full Text Available In terms of or literary history, Tanzimat literature has a special place. This, undoubtedly, is resulted form its being the beginning of modernization process. However, there is another important and distinctive feature of the artists of that period. That is their approach style to literature. Şinasi, Kemal, Hamid, Ekrem and others regarded literature not only to produce literature, to produce an art work and to create a new literature against classical approach but also to support Tanzimat Movement that was newly born through literature, to contribute to that social transformation project both as an intellectual and an artist. One of the ones who fulfilled this was Namık Kemal. Our poet performed that by following French poet Victor Hugo whom he saw mainly as a master and model. While Hugo was the opening of a new literature for art and literature for him, in terms of his ideas about society and social order that we mention he had been the source of social transformation. In this respect, the ideas of Hugo that he supported in his works, especially in his drama, was followed with great interest and attention by Kemal. In this study, in this context, the factors that lead Kemal to Hugo will be tried to be asserted. Edebiyat tarihimiz açısından Tanzimat edebiyatının özel bir yeri vardır. Bu, kuşkusuz modernleşme sürecinin başlangıcı olmasından kaynaklanmaktadır. Ancak bu dönem sanatçılarının bir önemli ve ayırıcı özellikleri daha vardır. O da, edebiyata yaklaşım tarzlarıdır. Şinasi, Kemal, Hamid, Ekrem ve diğerleri edebiyatı yalnızca edebi üretim yapmak, sanat eseri meydana getirmek ve klasik anlayışa karşı yeni bir edebiyat yaratmak değil, fakat aynı zamanda başlamış olan Tanzimat Hareketine edebiyat aracılığıyla destek vermek, bu toplumsal dönüşüm projesine hem aydın, hem de sanatçı kimliğiyle katkı sunmak olmuştur. Bunu yapanlardan biri de Namık Kemal olmuştur. Şairimiz bunu b

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

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

  5. From Abstract Art to Abstracted Artists

    Directory of Open Access Journals (Sweden)

    Romi Mikulinsky

    2016-11-01

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

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

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

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

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

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

  11. Self-lost and Re-positioning: The Instructional Characteristics Abstraction of A Leading Chinese Language Teacher from Senior High School%自我迷失与重新定位:.一位高中语文骨干教师的教学特色提炼

    Institute of Scientific and Technical Information of China (English)

    吴欣歆

    2012-01-01

    教学特色的形成与提炼,是骨干教师专业成长的关键事件。帮助骨干教师提炼教学特色,是骨干教师培训的重要内容。笔者通过描述一位高中语文骨干教师教学特色提炼的过程,梳理出教学特色提炼的理论框架:价值与意义、途径与流程、面临的困境以及提炼过程中协作模式的作用。%Shaping and abstracting instructional characteristics are thg critical events in the professional development of leading teachers. And it is also one of the important contents in the training curriculum for leading teachers to help them abstract their own instructional characteristics. In this article, the procedure of instructional characteristics abstraction of a leading Chinese language teacher from senior high school is described, based on which a theoretical framework of instructional characteristics abstraction including values and meanings, approaches and procedure, the dilemma and the role of collaborative mode in the abstraction process is attempted to be formulated.

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

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

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

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

  17. Reappraising Defense Organization: An Analysis Based on the Defense Organization Study of 1977-1980,

    Science.gov (United States)

    1983-01-01

    or all of the current structure and there- by presents the opportunity for some external entity to begin, like Moses, with a tabula rasa , the...fundamental role of the Department of Defense (DOD) has been to "provide for the common defence," as described in the US Constitution. This...be strengthened. Chapter 5 focuses on the military depart- ments, with particular emphasis on the role of the service secretar- ies. It recommends

  18. The Joint Chiefs of Staff and National Policy, 1977-1980

    Science.gov (United States)

    2015-01-01

    Joint Chiefs, it was up to the JDA, a component of REDCOM, to recommend concepts and procedures that elements of the unified and specified commands...1977 for their tenth Security Con- sultative Meeting ( SCM ). The SCM confirmed the interest of both the United States and South Korea in preserving...adopted at the SCM was virtually a carbon copy of a JCS-proposed command change which the Chiefs had long argued was needed to provide alternative

  19. Contents & Abstracts%Contents & Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Preparation of Electrodeposited Lead Dioxide Coatings on Aluminum Substrate and Study of Their Properties as Electrodes; Effect of Saccharin on Electrochemical Behavior of Watts Plating Bath for Electrodeposition of Nickel Coating on Highly Pure Copper Strip;Corrosion Resistance of Waterborne Epoxy Resin Composite Passivation Coating on Galvanized Steel Sheet

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

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

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

  3. Abstracts of contributed papers

    Energy Technology Data Exchange (ETDEWEB)

    1994-08-01

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

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

  5. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    of art. From Difference and Repetition to Anti-Oedipus, the machines are conceived as binary machines based on the exclusive or inclusive use respectively of the three syntheses: conexa, disjuncta and conjuncta. The machines have a twofold embedment: In the desiring-production and in the social...... 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......To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...

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

  7. Contents & Abstracts%Contents & Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Global Technological Competition: Change in Status, Competitiveness and Adaptation Effect The volumes of PCT applications and their dynamics of different countries have been used to reflect the pattern of global tech- nological competitioiealn and its change due to the WIPO's PCT application procedure being widely adopted by the world's major innovators since 2000. With its global ranking of PCT applications quickly jumped, China's performance in the global technologi- cal competition has been heavily debated globally. This paper firstly analyzes the position of the 10 leading countries in the global technological competition and their changes according their world shares of PCT applications based on WIPO's PCT application statistics from 2000 to 2010. Secondly, a decomposition analysis of the changes in the positions of the above 10 countries in the global technological competition is undertaken by using to the constant market share method as a reference. Finally, the policy implications are discussed based on the above analytic results.

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

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

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

  11. Seismic Consequence Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    M. Gross

    2004-10-25

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

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

  13. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

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

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

  17. THE CHINA MEDICAL ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2003-01-01

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

  18. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

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

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

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

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

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

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

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

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

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

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

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

  11. Minimalism in architecture: Abstract conceptualization of architecture

    Directory of Open Access Journals (Sweden)

    Vasilski Dragana

    2015-01-01

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

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

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

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

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

  16. ESPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2015-05-10

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

  17. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    J.D. Schreiber

    2005-08-25

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

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

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

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

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

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

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

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

  5. Compilation of Theses Abstracts

    Science.gov (United States)

    2005-06-01

    are enrolled in an academic assistance program known as the Plebe Intervention Program. This program is only offered to those students who are...leads to higher persistence rates among at-risk students than those who merely participate in the Plebe Intervention Program. Results of the...those students who do not participate. In addition, students enrolled in the Plebe Intervention Program are no less likely to attrite during their

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

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

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

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

  11. ABSTRACTS OF MAJOR ARTICLES

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    The parent- child relationship is not only harmonious rural social ethics construction, but-also the foundation of rural endowment and even rural culture relationship construction important issues. The rural north -China in parental relationship to exist generally "relay" to, while "feedback" severity shortage, this is in some extent promote social development and at the same time caused heavy country ethics crisis, even affecting the whole village culture, the construction of the new socialist countryside propulsion. Therefore, the new era, we must strengthen the guidance and society, on the one hand, increase the intervention traditional filial piety culture propaganda, leading the harmony, fair parenthood building; on the other hand, speed up the construction of social security system, to fill in parent - child relationship caused by the rapid transition of endowment blank, so as to promote the healthy development of the whole society.

  12. Contents & Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Changes in Terms of Trade, Import Tariff Reductions and Productivity Effects of China's WTO Accession This paper uses the data from 2002 to 2009 after China's WTO accession to build a panel data model to test the effects of changes in terms of trade and import tariff reductions on output and labor productivity. Our test results show that the price terms of trade improvement has contributed significantly to productivity growth, the effects of price terms of trade on productivity is manifested in a structure and resource allocation effects' synthesis. In the case the overall structural effects and the resources alloca- tion effects proves positive, the changes in price terms of trade can lead to the positive productivity effects.

  13. Taxonomic abstraction in psychobiology.

    Science.gov (United States)

    Evans, S H; Chafetz, M D; Gage, F H

    1984-10-01

    If a body of knowledge in a scientific discipline is to be extended beyond empirical observation and into the realm of laws and principles, one of the fundamental requirements is a taxonomy which supports the systematic integration of observations. Psychobiology benefits from taxonomies provided by biology and chemistry, which include not only object oriented taxonomies such as species or chemical elements, but also process oriented taxonomies, such as oxidation, metabolism, phototaxis, or predation. Psychobiology has yet to provide equivalent taxonomies for its behavioral observations, although the common use of terms such as fear, anger, arousal, stress, and memory might lead one to suppose that these are based on a well established taxonomy of behavioral measures. In this report the logical and quantitative requirements for treating behavioral measures in terms of taxonomic classes are reviewed. A sample of studies representing recent research in psychobiology was examined to assess interest in such a taxonomy and to identify elements of current practice which might contribute to its development. Recent practice displays some evidence of interest in behavioral classes, in choice of language, and in frequent use of multiple dependent measures. Multivariate methods, which might elicit from such data evidence contributing to the development of a taxonomy, are rarely used. Recommendations are given on some appropriate analytic methods for data resulting from current practice and for new exploratory paradigms which could aim directly at the establishment of taxonomic classes for behaviors.

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

  15. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Denney, R.M. (ed.)

    1982-07-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

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

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    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.

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

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    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.

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

  11. Abstract

    Directory of Open Access Journals (Sweden)

    Alexandre Costa Quintana

    2003-01-01

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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  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

    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

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

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

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    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

    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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  6. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander

    2010-01-01

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

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

  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. Abstract Models of Transfinite Reductions

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2010-01-01

    We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between...... a weak and a strong variant of convergence as known from infinitary term rewriting. Furthermore, we introduce an axiomatic model of reductions that is general enough to cover all of these models of transfinite reductions as well as the ordinary model of finite reductions. It is shown that...

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

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

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

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

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

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

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

    Science.gov (United States)

    Lead is a metal that occurs naturally in the earth's crust. Lead can be found in all parts of our ... from human activities such as mining and manufacturing. Lead used to be in paint; older houses may ...

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

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

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

  1. 2013 SYR Accepted Poster Abstracts.

    Science.gov (United States)

    2013-01-01

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

  2. Lead Toxicity

    Science.gov (United States)

    ... including some imported jewelry. What are the health effects of lead? • More commonly, lower levels of lead in children over time may lead to reduced IQ, slow learning, Attention Deficit Hyperactivity Disorder (ADHD), or behavioral issues. • Lead also affects other ...

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

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

  5. Norddesign 2012 - Book of Abstract

    DEFF Research Database (Denmark)

    has been organized in line with the original ideas. The topics mentioned in the call for abstracts were: Product Development: Integrated, Multidisciplinary, Product life oriented and Distributed. Multi-product Development. Innovation and Business Models. Engineering Design and Industrial Design......Welcome to NordDesign2012. This conference is the ninth in a row of biannual conferences organized by technical universities in the Nordic region. The first conference was held in Helsinki in 1996, and at this initial conference it was agreed to organize 10 conferences before deciding on the future....... Conceptualisation and Innovative thinking. Research approaches and topics: Human Behaviour and Cognition. Cooperation and Multidisciplinary Design. Staging and Management of Design. Communication in Design. Design education and teaching: Programmes and Syllabuses. New Courses. Integrated and Multi-disciplinary. We...

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

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

  8. 英文摘要%Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

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

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

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

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

  14. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    Directory of Open Access Journals (Sweden)

    M. G. Koveshnikov

    2015-05-01

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

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

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1999-12-01

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

  17. Lead Test

    Science.gov (United States)

    ... months, and at 3, 4, 5, and 6 years of age. A blood lead level test should be done only if the risk ... recommended if the person is symptomatic at any level below 70 mcg/dL. Because lead will pass through the blood to an unborn child, pregnant ...

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

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

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

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

  2. Coupling Radar Rainfall to Hydrological Models for Water Abstraction Management

    Science.gov (United States)

    Asfaw, Alemayehu; Shucksmith, James; Smith, Andrea; MacDonald, Ken

    2015-04-01

    The impacts of climate change and growing water use are likely to put considerable pressure on water resources and the environment. In the UK, a reform to surface water abstraction policy has recently been proposed which aims to increase the efficiency of using available water resources whilst minimising impacts on the aquatic environment. Key aspects to this reform include the consideration of dynamic rather than static abstraction licensing as well as introducing water trading concepts. Dynamic licensing will permit varying levels of abstraction dependent on environmental conditions (i.e. river flow and quality). The practical implementation of an effective dynamic abstraction strategy requires suitable flow forecasting techniques to inform abstraction asset management. Potentially the predicted availability of water resources within a catchment can be coupled to predicted demand and current storage to inform a cost effective water resource management strategy which minimises environmental impacts. The aim of this work is to use a historical analysis of UK case study catchment to compare potential water resource availability using modelled dynamic abstraction scenario informed by a flow forecasting model, against observed abstraction under a conventional abstraction regime. The work also demonstrates the impacts of modelling uncertainties on the accuracy of predicted water availability over range of forecast lead times. The study utilised a conceptual rainfall-runoff model PDM - Probability-Distributed Model developed by Centre for Ecology & Hydrology - set up in the Dove River catchment (UK) using 1km2 resolution radar rainfall as inputs and 15 min resolution gauged flow data for calibration and validation. Data assimilation procedures are implemented to improve flow predictions using observed flow data. Uncertainties in the radar rainfall data used in the model are quantified using artificial statistical error model described by Gaussian distribution and

  3. Lead Poisoning

    Science.gov (United States)

    ... menopause.) Once the lead is released from the mother's bones, it re-enters the blood stream and ... drinks. Avoid eating off any colorfully painted ceramic plates, and avoid drinking from any ceramic mugs unless ...

  4. Lead Poisoning

    Science.gov (United States)

    ... Topics Environment & Health Healthy Living Pollution Reduce, Reuse, Recycle Science – How It Works The Natural World Games ... OTHERS: Lead has recently been found in some plastic mini-blinds and vertical blinds which were made ...

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

  6. Writing a Structured Abstract for the Thesis

    Science.gov (United States)

    Hartley, James

    2010-01-01

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

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

    Science.gov (United States)

    Krasner, D; Van Rijswijk, L

    1995-04-01

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

  8. Abstract thinking following severe traumatic brain injury.

    Science.gov (United States)

    Scherzer, B P; Charbonneau, S; Solomon, C R; Lepore, F

    1993-01-01

    Abstract abilities were studied in a sample of 34 individuals with severe TBI and a control group. The results indicate that TBI interferes with performance on tests requiring individuals to process information into new categories. There appears to be a dissociation between verbal abstract abilities and visual-perceptual abstract abilities. There is evidence that Goldstein and Sheerer's [1] postulate of a general 'abstract attitude' was at least partially correct. This attitude does not appear to be related to a general verbal ideational process, as dysphasic subjects were only deficient on a purely verbal abstract task.

  9. 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...... automatically – models of several realistic software components, including the biometric passport and the SIP protocol....... are allowed. Our approach uses counterexample-guided abstraction refinement: whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using Tomte, a prototype tool implementing our algorithm, we have succeeded to learn – fully...

  10. Ecotoxicology: Lead

    Science.gov (United States)

    Scheuhammer, A.M.; Beyer, W.N.; Schmitt, C.J.; Jorgensen, Sven Erik; Fath, Brian D.

    2008-01-01

    Lead (Pb) is a naturally occurring metallic element; trace concentrations are found in all environmental media and in all living things. However, certain human activities, especially base metal mining and smelting; combustion of leaded gasoline; the use of Pb in hunting, target shooting, and recreational angling; the use of Pb-based paints; and the uncontrolled disposal of Pb-containing products such as old vehicle batteries and electronic devices have resulted in increased environmental levels of Pb, and have created risks for Pb exposure and toxicity in invertebrates, fish, and wildlife in some ecosystems.

  11. ABSTRACTS WELDEL PIPE AND TUBE

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

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

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

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

  14. Lead grids

    CERN Multimedia

    1974-01-01

    One of the 150 lead grids used in the multiwire proportional chamber g-ray detector. The 0.75 mm diameter holes are spaced 1 mm centre to centre. The grids were made by chemical cutting techniques in the Godet Workshop of the SB Physics.

  15. Leading men

    DEFF Research Database (Denmark)

    Bekker-Nielsen, Tønnes

    2016-01-01

    Through a systematic comparison of c. 50 careers leading to the koinarchate or high priesthood of Asia, Bithynia, Galatia, Lycia, Macedonia and coastal Pontus, as described in funeral or honorary inscriptions of individual koinarchs, it is possible to identify common denominators but also...

  16. Abstraction and Modularization in the BETA Programming Language

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2000-01-01

    One of the characteristics of BETA is the unification of abstraction mechanisms such as class, procedure, process type, generic class, interface, etc. into one abstraction mechanism: the pattern. In addition to keeping the language small, the unification has given a systematic treatment of all...... abstraction mechanisms and lead to a number of new possibilities. Patterns and their instances are intended for modeling concepts and phenomena in the application domain and provide the logical structure of a given system. Modularization is viewed as a means for describing the physical structure of a program....... Modules are units of program text that may be edited, stored in libraries, exist in different variants, be separately compiled, etc. Modularization is provided by a language-independent mechanism based on the context-free grammar of the language. In principle, any correct sequence of terminal...

  17. Ernst H. Gombrich on Abstract Painting

    Directory of Open Access Journals (Sweden)

    Elisa Caldarola

    2015-11-01

    Full Text Available Ernst H. Gombrich criticized abstract painting with several remarks scattered around his wide oeuvre. I argue that his view of abstract paintings is coherent with the account of pictorial representation he put forward in Art and Illusion, show some limits of such view, and maintain that, although several of Gombrich’s criticisms of abstract painting should be rejected, some of his remarks are insightful and worth of consideration.

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

  19. Ernst H. Gombrich on Abstract Painting

    OpenAIRE

    Elisa Caldarola

    2015-01-01

    Ernst H. Gombrich criticized abstract painting with several remarks scattered around his wide oeuvre. I argue that his view of abstract paintings is coherent with the account of pictorial representation he put forward in Art and Illusion, show some limits of such view, and maintain that, although several of Gombrich’s criticisms of abstract painting should be rejected, some of his remarks are insightful and worth of consideration.

  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. Analysis of complex networks using aggressive abstraction.

    Energy Technology Data Exchange (ETDEWEB)

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

    2008-10-01

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

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

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

  5. Developing Creativity and Abstraction in Representing Data

    Science.gov (United States)

    South, Andy

    2012-01-01

    Creating charts and graphs is all about visual abstraction: the process of representing aspects of data with imagery that can be interpreted by the reader. Children may need help making the link between the "real" and the image. This abstraction can be achieved using symbols, size, colour and position. Where the representation is close to what…

  6. Bounded Rationality of Generalized Abstract Fuzzy Economies

    Directory of Open Access Journals (Sweden)

    Lei Wang

    2014-01-01

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

  7. Self-Concept Development: An Abstract Bibliography.

    Science.gov (United States)

    Kremer, Barbara, Comp.

    This bibliography with abstracts has been compiled from documents in the ERIC microfiche collection and from journal literature. The abstracts of selected documents have been taken from "Research in Education" and journal citations have been taken from the "Current Index to Journals in Education." The material contained in the…

  8. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  9. Abstracts of Selected Management Training Evaluations.

    Science.gov (United States)

    Gast, Ilene

    Intended for evaluators--whether trainers, psychologists, management consultants or professors--this bibliography samples findings in management training evaluation between 1953 and 1975. It contains 28 abstracts of representative articles from journals in applied psychology and personnel management. Each abstract is a one-half to one-page…

  10. Tour the Galaxy of the Abstract.

    Science.gov (United States)

    Kennedy, Patricia

    2003-01-01

    Describes an abstract art unit in which students in an introductory art course created abstract art inspired by the work of M. C. Escher. Explains that some students are unsure of their drawing ability. States this unit helps them overcome their fears. (CMK)

  11. Interactional Metadiscourse in Research Article Abstracts

    Science.gov (United States)

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

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

  12. Abstraction Power in Computer Science Education

    DEFF Research Database (Denmark)

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

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

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

    Science.gov (United States)

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

    2015-12-01

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

  14. Abstract spatial reasoning as an autistic strength.

    Science.gov (United States)

    Stevenson, Jennifer L; Gernsbacher, Morton Ann

    2013-01-01

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

  15. Verification of Statecharts Using Data Abstraction

    Directory of Open Access Journals (Sweden)

    Steffen Helke

    2016-01-01

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

  16. Abstract spatial reasoning as an autistic strength.

    Directory of Open Access Journals (Sweden)

    Jennifer L Stevenson

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

  17. Contracts for Abstract Processes in Service Composition

    Directory of Open Access Journals (Sweden)

    Maria Grazia Buscemi

    2011-01-01

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

  18. Collected abstracts on particle beam diagnostic systems

    Energy Technology Data Exchange (ETDEWEB)

    Hickok, R.L.

    1979-01-01

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

  19. Abstraction in artificial intelligence and complex systems

    CERN Document Server

    Saitta, Lorenza

    2013-01-01

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

  20. Chemical information science coverage in Chemical Abstracts.

    Science.gov (United States)

    Wiggins, G

    1987-02-01

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

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

    DEFF Research Database (Denmark)

    Smith, Michael James Andrew

    2010-01-01

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

  2. Ammi Canada 2015 Annual Conference: Abstract Titles

    Directory of Open Access Journals (Sweden)

    2015-01-01

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

  3. Functional Correspondence between Evaluators and Abstract Machines

    DEFF Research Database (Denmark)

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

    2003-01-01

    We bridge the gap between functional evaluators and abstract machines for the λ-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization.We illustrate this approach by deriving Krivine's abstract machine from an ordinary call-by-name evaluator...... and by deriving an ordinary call-by-value evaluator from Felleisen et al.'s CEK machine. The first derivation is strikingly simpler than what can be found in the literature. The second one is new. Together, they show that Krivine's abstract machine and the CEK machine correspond to the call-by-name and call......-by-value facets of an ordinary evaluator for the λ-calculus.We then reveal the denotational content of Hannan and Miller's CLS machine and of Landin's SECD machine. We formally compare the corresponding evaluators and we illustrate some degrees of freedom in the design spaces of evaluators and of abstract...

  4. Management plan abstract and keyword generator

    Data.gov (United States)

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

  5. GIBS Geospatial Data Abstraction Library (GDAL)

    Data.gov (United States)

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

  6. On Abstraction Levels For Software Architecture Viewpoints

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun

    2005-01-01

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

  7. Compiling scheme using abstract state machines

    OpenAIRE

    2003-01-01

    The project investigates the use of Abstract State Machine in the process of computer program compilation. Compilation is to produce machine-code from a source program written in a high-level language. A compiler is a program written for the purpose. Machine-code is the computer-readable representation of sequences of computer instructions. An Abstract State Machine (ASM) is a notional computing machine, developed by Yuri Gurevich, for accurately and easily representing the semantics of...

  8. Information Technology Division Technical Paper Abstracts 1995,

    Science.gov (United States)

    2007-11-02

    Information Technology Division (ITD), one of the largest research and development collectives at the Naval Research Laboratory. The abstracts are organized into sections that represent the six branches with ITD: the Navy Center for Applied Research in Artificial Intelligence, Communications Systems, the Center for High Assurance Computer Systems, Transmission Technology, Advanced Information Technology , and the Center for Computational Science. Within each section, a list of branch papers published in 1993 and 1994 has also been included; abstracts

  9. Earth Sciences Division collected abstracts: 1980

    Energy Technology Data Exchange (ETDEWEB)

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

    1981-10-15

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

  10. Abstracting audit data for lightweight intrusion detection

    KAUST Repository

    Wang, Wei

    2010-01-01

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

  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. Lay abstracts and summaries: writing advice for scientists.

    Science.gov (United States)

    Dubé, Catherine E; Lapane, Kate L

    2014-09-01

    Scientific journals, institutional review boards, and funding sources often require abstracts or research summaries written specifically for the lay public. Making research findings understandable to the public helps raise awareness and speed adoption of practices that may lead to improved health. We provide advice on writing lay abstracts and summaries which includes the following: (1) make reasonable assumptions about grade-level, vocabulary, prior experience, and interests of the audience; (2) practice a verbal explanation with someone from your audience; (3) start writing by using a simple headline followed by a brief and relevant synopsis in common language then expand; (4) read your draft aloud and revise; (5) check readability statistics and simplify as needed; and (6) have both lay audience and peer scientists read your summary to assure that it is accessible to the public while remaining true to the science.

  13. Fall Meeting abstract submission inspires science poetry

    Science.gov (United States)

    Balcerak, Ernie

    2011-08-01

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

  14. A first graduate course in abstract algebra

    CERN Document Server

    Wickless, WJ

    2004-01-01

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

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

  16. Abstract Interpretation as a Programming Language

    Directory of Open Access Journals (Sweden)

    Mads Rosendahl

    2013-09-01

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

  17. Generalizations of the Abstract Boundary singularity theorem

    CERN Document Server

    Whale, Ben E; Scott, Susan M

    2015-01-01

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

  18. Earth Sciences Division collected abstracts: 1979

    Energy Technology Data Exchange (ETDEWEB)

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

    1980-04-30

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

  19. Arche papers on the mathematics of abstraction

    CERN Document Server

    Cook, Roy T

    2007-01-01

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

  20. Two-Level Semantics and Abstract Interpretation

    DEFF Research Database (Denmark)

    Nielson, Flemming

    1989-01-01

    Two-level semantics is a variant of Scott/Strachey denotational semantics in which the concept of binding time is treated explicitly. This is done by formally distinguishing between those computations that take place at run-time and those that take place at compile-time. Abstract interpretation...... unique flavour is the insistence on formal proofs of correctness and the methods used to establish these. This paper develops a theory of abstract interpretation for two-level denotational definitions. There are three ingredients in this. First a framework for proving the correctness of analyses...

  1. Strictness Analysis and Denotational Abstract Interpretation

    DEFF Research Database (Denmark)

    Nielson, Flemming

    1988-01-01

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

  2. Spatial abstraction for autonomous robot navigation.

    Science.gov (United States)

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

    2015-09-01

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

  3. Normalization by evaluation with typed abstract syntax

    DEFF Research Database (Denmark)

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

    2001-01-01

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

  4. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

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

    2012-01-01

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

  5. Language abstraction in word of mouth

    NARCIS (Netherlands)

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

    2010-01-01

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

  6. Hubble Exoplanet Pro/Am Collaboration (Abstract)

    Science.gov (United States)

    Conti, D. M.

    2016-06-01

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

  7. Abstracts: NRC Waste Management Program reports

    Energy Technology Data Exchange (ETDEWEB)

    Heckman, R.A.; Minichino, C.

    1979-11-01

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

  8. Abstracts of Research Papers 1977 AAHPER Convention.

    Science.gov (United States)

    Sage, George H., Ed.

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

  9. The Paradox of Abstraction: Precision Versus Concreteness.

    Science.gov (United States)

    Iliev, Rumen; Axelrod, Robert

    2016-11-22

    We introduce a novel measure of abstractness based on the amount of information of a concept computed from its position in a semantic taxonomy. We refer to this measure as precision. We propose two alternative ways to measure precision, one based on the path length from a concept to the root of the taxonomic tree, and another one based on the number of direct and indirect descendants. Since more information implies greater processing load, we hypothesize that nouns higher in precision will have a processing disadvantage in a lexical decision task. We contrast precision to concreteness, a common measure of abstractness based on the proportion of sensory-based information associated with a concept. Since concreteness facilitates cognitive processing, we predict that while both concreteness and precision are measures of abstractness, they will have opposite effects on performance. In two studies we found empirical support for our hypothesis. Precision and concreteness had opposite effects on latency and accuracy in a lexical decision task, and these opposite effects were observable while controlling for word length, word frequency, affective content and semantic diversity. Our results support the view that concepts organization includes amodal semantic structures which are independent of sensory information. They also suggest that we should distinguish between sensory-based and amount-of-information-based abstractness.

  10. Situated Learning in an Abstract Algebra Classroom

    Science.gov (United States)

    Ticknor, Cindy S.

    2012-01-01

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

  11. Managed data: modular strategies for data abstraction

    NARCIS (Netherlands)

    Loh, A.; Storm, T. van der; Cook, W.R.

    2012-01-01

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

  12. Abstract algebra an inquiry based approach

    CERN Document Server

    Hodge, Jonathan K; Sundstrom, Ted

    2013-01-01

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

  13. MAXIMAL ELEMENTS AND EQUILIBRIUM OF ABSTRACT ECONOMY

    Institute of Scientific and Technical Information of China (English)

    刘心歌; 蔡海涛

    2001-01-01

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

  14. Geometric Abstract Art and Public Health Data

    Centers for Disease Control (CDC) Podcasts

    2016-10-18

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

  15. A Brief Introduction to Chinese Biological Abstracts

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

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

  16. NSF-RANN trace contaminants abstracts

    Energy Technology Data Exchange (ETDEWEB)

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

    1976-10-01

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

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

  18. Cool Cats: Feline Fun with Abstract Art.

    Science.gov (United States)

    Lambert, Phyllis Gilchrist

    2002-01-01

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

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

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

  1. Sounding Relationships. Conference programme & Book of abstracts

    DEFF Research Database (Denmark)

    2009-01-01

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

  2. Dialogical surface text features in abstracts

    Directory of Open Access Journals (Sweden)

    Ingrid García-Østbye

    2008-04-01

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

  3. Evaluation of problems and needs of veteran lower-limb amputees in the San Francisco Bay Area during the period 1977-1980.

    Science.gov (United States)

    Hoaglund, F T; Jergesen, H E; Wilson, L; Lamoreux, L W; Roberts, R

    1983-07-01

    From 1977 through 1980, 251 veterans from the San Francisco Bay Area received permanent lower-extremity prostheses at the two local Veterans Administration hospitals. For a survey, 213 of the 251 were contacted and 179 of them (84%) responded to written or telephone questionnaires concerning their prosthetic problems and complaints and their recommendations regarding prosthetic care. Seventy-four percent of the patients were traumatic amputees and 23 percent were dysvascular amputees. Eighty-six percent of the traumatic amputees said they wore their limbs all day, compared with only 51 percent of the dysvascular group. Seventy-one percent of traumatic and 43 percent of dysvascular amputees engaged in some form of recreational activity. There was a high incidence of complaints of pain in the residual limb: 55 percent among the dysvascular group and 44 percent among the traumatic group. Half of the patients had socket problems. Fifty-four of the 178 patients received a physical examination, a prosthetic evaluation, and a gait analysis. Among this group, 59 percent of the below-knee prostheses and 78 percent of the above-knee prostheses had inadequate socket fitting. Improper shaping of socket margins was the most frequently observed deficiency. Moreover, 41 percent of below-knee and 22 percent of above-knee amputees had mechanical skin irritation or skin breakdown in the examined residual limbs. Faulty suspension and alignment in addition to improper socket fit and construction contributed to this problem. Excessive stiffness of SACH foot heel cushions was the most common prosthetic foot problem and contributed to gait abnormalities.

  4. ALGUNS ASPECTOS DA REORGANIZAÇÃO DO MOVIMENTO DOS PROFESSORES PÚBLICOS DO ESTADO DO RIO DE JANEIRO (1977-1980

    Directory of Open Access Journals (Sweden)

    Sobreira Henrique Garcia

    2001-01-01

    Full Text Available O trabalho trata do movimento dos professores públicos conduzido pelo Centro Estadual de Profissionais de Ensino do Rio de Janeiro, entre 1977 e 1980. Resgatar a história da Entidade por meio de seus registros e documentos e investigar a possibilidade de as organizações docentes se configurarem como "educadoras do educador", inaugurando uma nova etapa na profissionalização do magistério, foram os objetivos da Dissertação de Mestrado que deu origem ao presente texto. Do confronto entre os documentos de partidos políticos (analisando o movimento e as entrevistas com diversos participantes do movimento, foi reconstruída a história dos primeiros anos da entidade. O papel do sindicato como Aparelho de Hegemonia (no sentido gramsciano, organizador político para além de defensor dos interesses econômico-corporativos é posto em dúvida diante dos resultados atingidos.

  5. Experience and abstract reasoning in learning backward induction.

    Science.gov (United States)

    Hawes, Daniel R; Vostroknutov, Alexander; Rustichini, Aldo

    2012-01-01

    Backward induction is a benchmark of game theoretic rationality, yet surprisingly little is known as to how humans discover and initially learn to apply this abstract solution concept in experimental settings. We use behavioral and functional magnetic resonance imaging (fMRI) data to study the way in which subjects playing in a sequential game of perfect information learn the optimal backward induction strategy for the game. Experimental data from our two studies support two main findings: First, subjects converge to a common process of recursive inference similar to the backward induction procedure for solving the game. The process is recursive because earlier insights and conclusions are used as inputs in later steps of the inference. This process is matched by a similar pattern in brain activation, which also proceeds backward, following the prediction error: brain activity initially codes the responses to losses in final positions; in later trials this activity shifts to the starting position. Second, the learning process is not exclusively cognitive, but instead combines experience-based learning and abstract reasoning. Critical experiences leading to the adoption of an improved solution strategy appear to be stimulated by brain activity in the reward system. This indicates that the negative affect induced by initial failures facilitates the switch to a different method of solving the problem. Abstract reasoning is combined with this response, and is expressed by activation in the ventrolateral prefrontal cortex. Differences in brain activation match differences in performance between subjects who show different learning speeds.

  6. Hydrogen Abstraction from Hydrocarbons by NH2.

    Science.gov (United States)

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

    2017-03-23

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

  7. Extracting the abstraction pyramid from complex networks

    Directory of Open Access Journals (Sweden)

    Hu Yuh-Jyh

    2010-08-01

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

  8. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

    in model-checking infinite systems, other approaches were developed based on approximating the model-checking algorithm so that it still terminates with some useful output. In this work we present a model-checking algorithm for a multiagent epistemic logic contain- ing operators for common and distributed......The model-checking problem is to decide, given a formula φ and an interpretation M, whether M satisfies φ, written M |= φ. Model-checking algorithms for temporal logics were initially developed with finite models (such as models of hardware) in mind so that M |= φ is decidable. As interest grew...... 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...

  9. Subwog 12-D tritium technology meeting. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Parker, M.J.; Addis, R.P.

    1991-12-31

    The first Subwog 12-D Tritium Technology Meeting was held at the Westinghouse Savannah River Site during the week of May 21, 1990. Subwog 12-D was created as a subwog of JOWOG 12 to address the need to understand tritium applications throughout the entire weapons complex. This includes weapons related concerns, but is primarily intended to cover tritium production and handling, environmental, safety and health issues, compatibility with materials in general; and facility design, commissioning and decommissioning activities. Tritium technology issues discussed included the physical and chemical properties, kinetics, storage, reservoir loading techniques, isotope exchange, radiolysis/aging, process and handling technology, compatibility, purification and filtering, analysis, monitoring methods, function testing, packaging and shipping, environmental and operational safety, facility design and safety, glovebox atmosphere clean-up systems, glovebox/facility decommissioning, tritium production target materials, and tritium recovery. This document provides a collection of most of the unclassified extended abstracts and abstracts presented at Subwog 12-D.

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

  11. FFCAct Clearinghouse, Directory of abstracts. Revision 1

    Energy Technology Data Exchange (ETDEWEB)

    Harwood, T.

    1994-05-01

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

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

  13. Abstract Diagnosis for Timed Concurrent Constraint programs

    CERN Document Server

    Comini, Marco; Villanueva, Alicia

    2011-01-01

    The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-constraint, which introduces some differences w.r.t. other approaches to concurrency. In this paper, we provide a general framework for the debugging of tccp programs. To this end, we first present a new compact, bottom-up semantics for the language that is well suited for debugging and verification purposes in the context of reactive systems. We also provide an abstract semantics that allows us to effectively implement debugging algorithms based on abstract interpretation. Given a tccp program and a behavior specification, our debugging approach automatically detects whether the program satisfies the specification. This differs from other semiautomatic approaches to debugging and avoids the need to provide symptoms in advance. We show the efficacy of our approach...

  14. Software abstractions logic, language, and analysis

    CERN Document Server

    Jackson, Daniel

    2011-01-01

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

  15. Recombination at the DNA level. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1984-01-01

    Abstracts of papers in the following areas are presented: (1) chromosome mechanics; (2) yeast systems; (3) mammalian homologous recombination; (4) transposons; (5) Mu; (6) plant transposons/T4 recombination; (7) topoisomerase, resolvase, and gyrase; (8) Escherichia coli general recombination; (9) recA; (10) repair; (11) eucaryotic enzymes; (12) integration and excision of bacteriophage; (13) site-specific recombination; and (14) recombination in vitro. (ACR)

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

  17. Heat Pipe Technology: A bibliography with abstracts

    Science.gov (United States)

    1974-01-01

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

  18. Earth Sciences Division, collected abstracts, 1978

    Energy Technology Data Exchange (ETDEWEB)

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

    1979-03-30

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

  19. Abstract Presentations: What Do SGIM Presenters Prefer?

    OpenAIRE

    Tulsky, Asher A.; Kouides, Ruth W

    1998-01-01

    We surveyed physicians presenting abstracts at the 1995 Society of General Internal Medicine annual meeting to determine whether the oral or poster format better achieved their presentation goals. Poster presentations better met respondents' objectives for feedback and criticism and for networking and developing collaborative projects, while oral presentations better met their objectives for national visibility and sharing knowledge within one's field. Sixty-nine percent of respondents prefer...

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

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

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

  3. Removing the impact of water abstractions on flow duration curves

    Science.gov (United States)

    Masoero, Alessandro; Ganora, Daniele; Galeati, Giorgio; Laio, Francesco; Claps, Pierluigi

    2015-04-01

    Changes and interactions between human system and water cycle are getting increased attention in the scientific community. Commonly discharge data needed for water resources studies were collected close to urban or industrial settlements, thus in environments where the interest for surveying was not merely scientific, but also for socio-economical purposes. Working in non-natural environments we must take into account human impacts, like the one due to water intakes for irrigation or hydropower generation, while assessing the actual water availability and variability in a river. This can became an issue in alpine areas, where hydropower exploitation is heavy and it is common to have water abstraction before a gauge station. To have a gauge station downstream a water intake can be useful to survey the environmental flow release and to record the maximum flood values, which should not be affected by the water abstraction. Nevertheless with this configuration we are unable to define properly the water volumes available in the river, information crucial to assess low flows and investigate drought risk. This situation leads to a substantial difference between observed data (affected by the human impact) and natural data (as would have been without abstraction). A main issue is how to correct these impacts and restore the natural streamflow values. The most obvious and reliable solution would be to ask for abstraction data to water users, but these data are hard to collect. Usually they are not available, because not public or not even collected by the water exploiters. A solution could be to develop a rainfall-run-off model of the basin upstream the gauge station, but this approach needs a great number of data and parameters Working in a regional framework and not on single case studies, our goal is to provide a consistent estimate of the non-impacted statistics of the river (i.e. mean value, L-moments of variation and skewness). We proposed a parsimonious method, based

  4. Applications of Hydrofoils with Leading Edge Protuberances

    Science.gov (United States)

    2012-03-30

    APPLICATIONS OF HYDROFOILS WITH LEADING EDGE PROTUBERANCES Final Technical Report for Office of Naval Research contract...To) 03/30/2012 Final Technical Report 01-08-2008 to 31-12-2011 4. TITLE AND SUBTITLE Sa. CONTRACT NUMBER Applications of Hydrofoils with Leading...AVAILABILITY STATEMENT Approved for public release; distribution is unlimited. 13. SUPPLEMENTARY NOTES 14. ABSTRACT The leading edge modified hydrofoils

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

    Energy Technology Data Exchange (ETDEWEB)

    None

    1977-01-01

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

  6. Chemical Abstracts for chemical education. Kagaku kyoiku ni yakudatsu chemicalter dot abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Tokizane, S. (Japan Association for International Chemical Information, Tokyo (Japan))

    1991-10-20

    The Chemical Abstracts, an information source indispensable for chemical researchers, is introduced with an explanation extended to specific procedure for the on-line retrieval. The Chemical Abstracts is an abstract journal for chemical theses, having a history of nearly 85 years, first published in 1907 for the purpose of introducing its members with advanced chemical researches in Europe. The journal is published weekly at the present, 52 volumes annually, with a large index volume. It collects all kinds of literatures and patents in the world relating to chemistry and engineerings, with many issues containing articles about chemical education. The issue number is divided into odd and even numbers, each issue being sectionalized. For example, the Section 20 in an odd number issue is classified as the History, Education and Documentation. The whole abstracts are retrievable on line even from Japan, with a system called CAS ONLINE available. 10 figs., 6 tabs.

  7. ERIC Abstracts: A Collection of ERIC Document Resumes on the Use of Futurism in Educational Planning. ERIC Abstracts Series, Number Thirty.

    Science.gov (United States)

    American Association of School Administrators, Washington, DC. National Academy for School Executives.

    Futurism is a process of speculation on alternative possibilities for the future. Such a process leads to a clearer conception of future needs and resources. Applied to education, futurism can aid in longrange planning on a local, district, State, or national level. ERIC abstracts on the application of futurism to educational planning, announced…

  8. New Features in the ADS Abstract Service

    Science.gov (United States)

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

    2001-11-01

    The ADS Abstract Service contains over 2.3 million references in four databases: Astronomy/Astrophysics/Planetary Sciences, Instrumentation, Physics/Geophysics, and Preprints. We provide abstracts and articles free to the astronomical community for all major and many smaller astronomy journals, PhD theses, conference proceedings, and technical reports. These four databases can be queried either separately of jointly. The ADS also has scanned 1.3 million pages in 180,000 articles in the ADS Article Service. This literature archive contains all major Astronomy journals and many smaller journals, as well as conference proceedings, including the abstract books from all the LPSCs back to volume 2. A new feature gives our users the ability to see list of articles that were also read by the readers of a given article. This is a powerful tool to find out what current articles are relevant in a particular field of study. We have recently expanded the citation and reference query capabilities. It allows our users to select papers for which they want to see references or citations and then retrieve these citations/references. Another new capability is the ability to sort a list of articles by their citation count. As usual, users should be reminded that the citations in ADS are incomplete because we do not obtain reference lists from all publishers. In addition, we cannot match all references (e.g. in press, private communications, author errors, some conference papers, etc.). Anyone using the citations for analysis of publishing records should keep this in mind. More work on expanding the citation and reference features is planned over the next year. ADS Home Page http://ads.harvard.edu/

  9. Static analysis of software the abstract interpretation

    CERN Document Server

    Boulanger, Jean-Louis

    2013-01-01

    The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr

  10. Software Security - The Dangers of Abstraction

    Science.gov (United States)

    Gollmann, Dieter

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

  11. An Abstract Model of Historical Processes

    CERN Document Server

    Poulshock, Michael

    2016-01-01

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

  12. Effect of Groundwater Abstraction on Fen Ecosystems

    DEFF Research Database (Denmark)

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

    2011-01-01

    hydrological conditions have been monitored intensively since March 2007. In the early spring 2009 two full scale pumping test were conducted in the regional high yield limestone aquifer. The evaluation focuses on three isolated fens covering an area of approximately 5000 m2 each and two natural springs all...... and spring habitats. Continuous water level data from deep and shallow wells in the fens reflect the hydrological conditions. Large differences in water level drawdown during dry summer periods have been observed in the monitored fens and it is hypothesised, that these differences are directly related...... of the monitored ecosystems and the response towards groundwater abstraction and forms a solid foundation for hydrological modelling....

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

  14. An abstract partial functional integrodifferential equations

    Directory of Open Access Journals (Sweden)

    Khalil Ezzinbi

    2016-10-01

    Full Text Available In this work, we investigate the existence and regularity of solutions for some partial functional integrodifferential equations with finite delay. The continuous dependence upen initial values and asymptotic stability are also studied. Firstly, we show the existence of the mild solutions. Secondly, we give sufficient conditions ensuring the existence of the strict solutions. The method used treats the equations in the domain of A with the graph norm employing results from linear semigroup theory. To illustrate our abstract result, we conclude this work with an application.

  15. The Mystery of V523 Lyrae (Abstract)

    Science.gov (United States)

    Simonsen, M.

    2016-12-01

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

  16. Spatial Relation Resolution and Spatial Relation Abstraction

    Institute of Scientific and Technical Information of China (English)

    AI Tinghua; LIU Yaolin

    2003-01-01

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

  17. C++ PROGRAM IMPLEMENTING THE ABELIAN GROUP ABSTRACT

    OpenAIRE

    Ruiz L., Edgar; Universidad Nacional Mayor de San Marcos

    2014-01-01

    This article presents a C++ Program implementing the Commutative or Abelian Group Algebraic Concept. The whole Program code that manages abelian class objects as a new data abstract type, TAD, using concepts such as operators overcharge is shown. Implementation has been carried out in a Dev C++ 4.1 compiler, a GNU compiler with GLP licence. El artículo presenta un programa en C++ que implementa el concepto algebraico de grupo conmutativo o abeliano. Se muestra todo el código del programa q...

  18. Polymorphism of lead oxoborate

    Energy Technology Data Exchange (ETDEWEB)

    Tyulyupa, A.G. [Middle School, Sablinskoe, Stavropol region, 356322 (Russian Federation); Voronov, V.V. [A.M. Prokhorov General Physics Institute RAS, 38 Vavilov Street, Moscow 119991 (Russian Federation); Fedorov, P.P., E-mail: ppfedorov@yandex.ru [A.M. Prokhorov General Physics Institute RAS, 38 Vavilov Street, Moscow 119991 (Russian Federation)

    2015-07-20

    Highlights: • Pb{sub 4}B{sub 2}O{sub 7} melt undergoes statistical undercooling. • Orthorhombic nonlinear optical crystal Pb{sub 4}O(BO{sub 3}){sub 2} is the metastable γ-polymorph. • Temperature of metastable melting of γ-Pb{sub 4}O(BO{sub 3}){sub 2} is equal to 530 °C. - Abstract: The study of lead borate melt crystallization by differential thermal analysis (DTA) and X-ray diffraction analysis has shown that, for Pb{sub 4}O(BO{sub 3}){sub 2} (or 4PbO·B{sub 2}O{sub 3}) stoichiometric compound, its well-known orthorhombic modification (non-centrosymmetric Aba2 space symmetry group (SSG), a = 15.472(1), b = 10.802(1), c = 9.9486(6) Å unit cell parameters) is metastable. It forms from the undercooled melt and has a melting point of 530 ± 5 °C.

  19. Current Abstracts Nuclear Reactors and Technology

    Energy Technology Data Exchange (ETDEWEB)

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

    1993-01-01

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

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

  1. Processing abstract language modulates motor system activity.

    Science.gov (United States)

    Glenberg, Arthur M; Sato, Marc; Cattaneo, Luigi; Riggio, Lucia; Palumbo, Daniele; Buccino, Giovanni

    2008-06-01

    Embodiment theory proposes that neural systems for perception and action are also engaged during language comprehension. Previous neuroimaging and neurophysiological studies have only been able to demonstrate modulation of action systems during comprehension of concrete language. We provide neurophysiological evidence for modulation of motor system activity during the comprehension of both concrete and abstract language. In Experiment 1, when the described direction of object transfer or information transfer (e.g., away from the reader to another) matched the literal direction of a hand movement used to make a response, speed of responding was faster than when the two directions mismatched (an action-sentence compatibility effect). In Experiment 2, we used single-pulse transcranial magnetic stimulation to study changes in the corticospinal motor pathways to hand muscles while reading the same sentences. Relative to sentences that do not describe transfer, there is greater modulation of activity in the hand muscles when reading sentences describing transfer of both concrete objects and abstract information. These findings are discussed in relation to the human mirror neuron system.

  2. Lead Poisoning Prevention Tips

    Science.gov (United States)

    ... or removed safely. How are children exposed to lead? Lead-based paint and lead contaminated dust are ... What can be done to prevent exposure to lead? It is important to determine the construction year ...

  3. Lead (Pb) Air Pollution

    Science.gov (United States)

    ... States Environmental Protection Agency Search Search Lead (Pb) Air Pollution Share Facebook Twitter Google+ Pinterest Contact Us As ... and protect aquatic and terrestrial ecosystems. Lead (Pb) Air Pollution Lead Air Pollution Basics How does lead get ...

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

  5. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

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

    1983-01-01

    ]) --- covering both data, procedural and control abstractions, substituting constructs like class, procedure, function and type. Correspondingly objects, procedure activation records and variables are all regarded as special cases of the basic building block of program executions: the entity. A pattern thus......The BETA programming language is developed as part of the BETA project. The purpose of this project is to develop concepts, constructs and tools in the field of programming and programming languages. BETA has been developed from 1975 on and the various stages of the language are documented in [BETA...... a]. The application area of BETA is programming of embedded as well as distributed computing systems. For this reason a major goal has been to develop constructs that may be efficiently implemented. Furthermore the BETA language is intended to have a few number of basic but general constructs...

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

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

  8. From Outermost Reduction Semantics to Abstract Machine

    DEFF Research Database (Denmark)

    Danvy, Olivier; Johannsen, Jacob

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

  9. Abstracts and Key Words of Major Articles

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    Abstracts and Key Words of Major Articles The Standardization of Rules and Forms of Metrical Poetry in the Tang Dynasty WANG Xiang-feng (College of Liberal Arts, Liaoning University, Shenyang, Liaoning 110036) Abstract: The "modem style" poetry or metrical poetry composed by the poets in the Tang Dynasty is considered as artistic wonders in both content and artistic creation. In metrical application it has become the stylistic norm of the later generations and been regarded as practical standards in the following one thousand years and more. The author of this article makes comparisons between Pingshui Rhyme of the Tang Dynasty and the New Rhyme of the Modem Chinese. The article presents unique opinions on how the present people should write classical poems, and how they should realize and deal with some questions in the rules and forms of metrical poetry.

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

  11. MicroCar 2003. Abstracts of papers

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2003-07-01

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

  12. 英文摘要%ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    ( 1 ) Evolution and Prospects of Slmngri-La Dialogue Abstract: This year is the tenth anniversary of the Shangri-La Dialogue ( SLD), and it is faced with the key period of transformation. Since its establishment, the Shangri-La Dialogue has gradually expanded in scale and level and has become an important platform to promote East Asian regional political and security communication, and a channel for military officers, policy analysts and media agents to exchange ildormation, idea and policies. This year's Shangri-La Dialogue reflects the flexibility and pertinence of topic selection. East Asia security diplomacy mechanisms with Shangri -La Dialogue as the representative are being institutionalized, and forming their own patterns and norms in the process of competing with each other, has promoted the regional peace and stability in East Asian.

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

  14. Compositional abstractions for long-run properties of stochastic systems

    DEFF Research Database (Denmark)

    Smith, Michael James Andrew

    2011-01-01

    When analysing the performance of a system, we are often interested in long-run properties, such as the proportion of time it spends in a certain state. Stochastic process algebras help us to answer this sort of question by building a compositional model of the system, and using tools to analyse...... its underlying Markov chain. However, this also leads to state space explosion problems as the number of components in the model increases, which severely limits the size of models we can analyse. Because of this, we look for abstraction techniques that allow us to analyse a smaller model that safely...... bounds the properties of the original. In this paper, we present an approach to bounding long-run properties of models in the stochastic process algebra PEPA. We use a method called stochastic bounds to build upper and lower bounds of the underlying Markov chain that are lumpable, and therefore can...

  15. Sustainability – abstract ideals on concrete housing architecture

    DEFF Research Database (Denmark)

    Bech-Danielsen, Claus

    2013-01-01

    In this paper the sustainable development is discussed in the light of architecture. It is shown, that the sustainable development leads to a changed perspective on time and space. The paper starts by focusing on architecture in the early 20th century. The environmental problems that modernist...... architects reacted against could be seen, smelled and heard - they could be experienced by the senses. This made it possible for modernist architects to relate environmental solutions to the development of architectural qualities, that are also experienced by the senses. In contrast, current environmental...... architectural design. Architecture is a definite art form that is experienced by the senses. It is therefore not immediately obvious how specific architectural qualities can be related to the solution of contemporary abstract environmental problems....

  16. You focus on the forest when you’re in charge of the trees: Power priming and abstract information processing

    NARCIS (Netherlands)

    Smith, P.K.; Trope, Y.

    2006-01-01

    Elevated power increases the psychological distance one feels from others, and this distance, according to construal level theory (Y. Trope & N. Liberman, 2003), should lead to more abstract information processing. Thus, high power should be associated with more abstract thinking—focusing on primary

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

    KAUST Repository

    Ebner, David C.

    2010-03-30

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

  18. Plans should abstractly describe intended behavior

    Energy Technology Data Exchange (ETDEWEB)

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

    1996-12-31

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

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

    Science.gov (United States)

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

    2015-06-01

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

  20. Geothermal technology publications and related reports: a bibliography, January 1977-December 1980

    Energy Technology Data Exchange (ETDEWEB)

    Hudson, S.R. (ed.)

    1981-04-01

    This bibliograhy lists titles, authors, abstracts, and reference information for publications which have been published in the areas of drilling technology, logging instrumentation, and magma energy during the period 1977-1980. These publications are the results of work carried on at Sandia National Laboratories and their subcontractors. Some work was also done in conjunction with the Morgantown, Bartlesville, and Pittsburgh Energy Technology Centers.

  1. Lead and the Romans

    Science.gov (United States)

    Reddy, Aravind; Braun, Charles L.

    2010-01-01

    Lead poisoning has been a problem since early history and continues into modern times. An appealing characteristic of lead is that many lead salts are sweet. In the absence of cane and beet sugars, early Romans used "sugar of lead" (lead acetate) to sweeten desserts, fruits, and sour wine. People most at risk would have been those who consumed the…

  2. Lead and the Romans

    Science.gov (United States)

    Reddy, Aravind; Braun, Charles L.

    2010-01-01

    Lead poisoning has been a problem since early history and continues into modern times. An appealing characteristic of lead is that many lead salts are sweet. In the absence of cane and beet sugars, early Romans used "sugar of lead" (lead acetate) to sweeten desserts, fruits, and sour wine. People most at risk would have been those who…

  3. Abstracts of 2. symposium on free radicals in biology and medicine

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1994-12-31

    The abstracts presented in the booklet concern influence of free radicals (frequently generated by ionizing radiation) on DNA, proteins, lipids and chromatin of various living organisms. Works show, that free radicals cause serious damages in biological systems leading to carcinogenesis and many genetic diseases. Thus understanding of mechanisms of free radical action is important issue in medicine and life sciences.

  4. Meteorological influences on North America quail populations [abstract, table, and figure

    OpenAIRE

    Botsford, Louis; Brittnacher, John G.

    1988-01-01

    EXTRACT (SEE PDF FOR FULL ABSTRACT): Comparative study of environmental influences on the population dynamics of three North American species of quail, California quail (Callipepla california), Gambel's quail (C. gambellii), and scaled quail (C. squamata) has lead to identification of differential sensitivity of these species to global weather patterns.

  5. Jinde Lead lead smelting project starts construction

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    <正>On Dec.20,the lead smelting project of Jiangxi Jinde Lead started construction in Dexin as a technical renovation project on environmental treatment of Jiangxi Metallurgical Group.The project is the one with the largest investment of Provincial Metallurgical Group in non-ferrous

  6. Lead batteries. Citations from the NTIS data base

    Science.gov (United States)

    Cavagnaro, D. M.

    1980-07-01

    The design, development, components, fabrication, chemistry, and testing of lead batteries are cited in this compilation of federally-funded research. Specific applications for spacecraft, consumer products, and electric vehicles are covered. Studies on lead recovery from battery scrap are covered. Several abstracts on lead toxicity in industrial plants are also cited.

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

    CERN Document Server

    Quesada, Luis; Cubero, Juan-Carlos

    2012-01-01

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

  8. Lead - nutritional considerations

    Science.gov (United States)

    Lead poisoning - nutritional considerations; Toxic metal - nutritional considerations ... Markowitz M. Lead poisoning. In: Kliegman RM, Behrman RE, Jenson HB, ... Emergency Medicine: Concepts and Clinical Practice . 8th ed. ...

  9. Synthesis of spiropyrans: H-abstractions in 3-cycloalkenyloxybenzopyrans

    Directory of Open Access Journals (Sweden)

    Berar Urmila

    2007-03-01

    Full Text Available Abstract A photochemical route for the synthesis of some benzopyronospiropyrans from 2-furyl-3-cycloalkenyloxybenzopyrones involving H-abstraction is reported. How a methyl group on the furyl ring affects the product formation is also investigated.

  10. A logical correspondence between natural semantics and abstract machines

    DEFF Research Database (Denmark)

    Simmons, Robert J.; Zerny, Ian

    2013-01-01

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

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

    Science.gov (United States)

    Boyce, P.

    1996-12-01

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

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

    OpenAIRE

    2014-01-01

    In this essay I focus on the question of why we are attracted to abstract art (or, perhaps more accurately, non-representational art). After elaborating on the processing of visual art in general and abstract art in particular, I discuss recent data from neuroscience and behavioral studies related to abstract art. I conclude with several speculations concerning our apparent appeal to this particular type of art. In particular, I claim that abstract art frees our brain from the dominance of r...

  13. Converting One Type-Based Abstract Domain to Another

    DEFF Research Database (Denmark)

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

    2006-01-01

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

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

    Institute of Scientific and Technical Information of China (English)

    BI Guang-qing; BI Yue-kai

    2011-01-01

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

  15. Cryogenic current leads

    Energy Technology Data Exchange (ETDEWEB)

    Zizek, F.

    1982-01-01

    Theoretical, technical and design questions are examined of cryogenic current leads for SP of magnetic systems. Simplified mathematical models are presented for the current leads. To illustrate modeling, the calculation is made of the real current leads for 500 A and three variants of current leads for 1500 A for the enterprise ''Shkoda.''

  16. MAIN TOPICS,ABSTRACTS & KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Design and implementation of a power control system for electron beam welder HE Shaojia, LI Jianling, MO Jinhai, LI Haibiao (School of Mechanical & Electrical Engineering, Guilin University of Electronic Technology, Guilin 541004, China). ppl-5, 12 Abstract: Stability of output voltage of high-voltage accelerating stabilized power supply for electron beam welder (EBW) is a prerequisite to ensure the electron beam welding quality. The common power supplies have the disadvantages of circuit complexity and bulkiness. A novel control system of higholtage accelerating stabilized power supply for EBW was designed. Its main circuit is based on pulse-width modulation (PWM) buckboost converter topology. Compared with common EBW power supplies, this new power supply requires a much lower voltage grade transformer because of the converter's effect for rising voltage, so its volume is smaller and the circuit is simpler. The sys- tem main circuit characteristics and its working process were analyzed. The system circuit's small-signal mathematical model was created, and lag-lead correction compensation control was em- ployed in the system to achieve static and dynamic performance requirements. The results displayed that this unit had the characteristics of fast response, high reliability, high control precision and anti-interference capability.

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

  18. A grounded theory of abstraction in artificial intelligence.

    Science.gov (United States)

    Zucker, Jean-Daniel

    2003-07-29

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

  19. 4. international congress on MR - mammography. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Anon.

    2006-09-15

    Placing of the cryoprobe under ultrasound guidance was successful in all cases. In 1 case cryotherapy had to be interrupted due to gas leaking with consecutive freezing leading to skin freezing of the patient. In another case technical problems led to several shutdowns and hindered completion of cryotherapy. Cryotherapy was carried out completely in 49 cases. During the whole cryo procedure the surface of the iceball could be delineated well in ultrasound. The iceball showed intense dorsal shadowing. Due to technical problems data concerning iceball diameter could be raised completely in 44 cases with 3 mm probe and in both cases with 2 mm probe. Mean maximal iceball diameter reached 31.1{+-}4,1 mm after the second freeze cycle. The minimum temperature could be measured completely in 37 therapies with 3 mm probe and in both therapies with 2 mm probe. Minimum temperature was -141,7{+-}14,5 C at the end of the first freezing cycle and -139,6{+-}18,1 C at the end of the second freezing cycle respectively. Maximum iceball size in the 2 cases with 2 mm probes were 34 and 30 mm, minimum temperatures at the end of the first and second freezing cycle -141,7 and -139,6 for the first patient and -124 and -128 respectively. No tumor rests were found in the two cases with 2 mm probe (maximum tumor diameters 5 and 16 mm). In 16 of the cases in which a 3 mm probe was used viable invasive tumor rests were found after cryotherapy. 1 case was the above mentioned incomplete therapy due to skin freezing. Mean tumor diameter was 22,1{+-}6,6 mm in the group with tumor rests compared to 12,4{+-}4,6 mm in the group without invasive tumor rests. In one case with multifocal disease the main focus was treated completely, but two little invasive foci were detected aside the cryosite. In 4 cases DCIS remained in the cryosite. The patients felt comfortable. No woman felt heavy pain during cryotherapy. In one case arterial bleeding occurred after therapy which could be stopped by 30 minutes of

  20. Rapid Lead Screening Test

    Science.gov (United States)

    ... Vitro Diagnostics Tests Used In Clinical Care Rapid Lead Screening Test Share Tweet Linkedin Pin it More ... reducing the need for a follow-up visit. Lead Risk Links Centers for Disease Control and Prevention ( ...

  1. Lead and tap water

    Science.gov (United States)

    Water contaminated with lead ... The Environmental Protection Agency (EPA) monitors drinking water in the United States. It requires water suppliers to produce annual water quality reports. These reports include information about lead amounts, and they ...

  2. Exposures to lead.

    Science.gov (United States)

    Callan, Anna C; Hinwood, Andrea L

    2011-01-01

    The Pacific Basin Consortium for Environment and Health hosted a workshop on Exposures to Lead. Speakers from Australia and the United States of America addressed current research knowledge on lead exposures and health effects in children, risk assessment and communication issues in dealing with lead exposure sources, different methods for assessing exposure, and the variety of scenarios where lead still remains a pollutant of concern. Mining continues to be a source of lead for many communities, and approaches to reducing exposures in these settings present particular challenges. A Perth Declaration for the Global Reduction of Childhood Lead Exposure was signed by participants of the meeting and is aimed at increasing attention to the need to continue to assess lead in the environment and to develop strategies to reduce lead in the environment and exposure by communities.

  3. Lead and Your Baby

    Science.gov (United States)

    ... who works with lead, like in auto repair, construction or in a plant that makes paint, batteries, ... who works with lead, like in auto repair, construction or in a plant that makes paint, batteries, ...

  4. Lead Poisoning (For Parents)

    Science.gov (United States)

    ... organs and tissues that need it, thus causing anemia. Most lead ends up in the bone, where it causes ... vomiting or nausea constipation pallor (pale skin) from ... look for lead poisoning or other health problems. Treatment Treatment for ...

  5. Occupational lead poisoning

    OpenAIRE

    Ramírez, Augusto V; Médico del Trabajo. American College of Occupational and Environmental Medicine.

    2013-01-01

    Lead, a ubiquitous heavy metal, has been found in places as unlikely as Greenland’s fossil ice. Egyptians and Hebrews used it. In Spain, Phoenicians c. 2000 BC worked ores of lead. At the end of the XX century, occupational lead’s poisoning became a public health problem in developed countries. In non-developed countries occupational lead poisoning is still frequent. Diagnosis is directed to recognize lead existence at the labor environment and good clinical and occupational documentation. Di...

  6. NA49: lead-lead collision

    CERN Document Server

    1996-01-01

    This is an image of an actual lead ion collision taken from tracking detectors on the NA49 experiment, part of the heavy ion project at CERN. These collisions produce a very complicated array of hadrons as the heavy ions break up. It is hoped that one of these collisions will eventually create a new state of matter known as quark-gluon plasma.

  7. Lead Poisoning in Children.

    Science.gov (United States)

    Drummond, A. H., Jr.

    1981-01-01

    Early symptoms of lead poisoning in children are often overlooked. Lead poisoning has its greatest effects on the brain and nervous system. The obvious long-term solution to the lead poisoning problem is removal of harmful forms of the metal from the environment. (JN)

  8. The Conversion of Cardiovascular Conference Abstracts to Publications

    DEFF Research Database (Denmark)

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

    2012-01-01

    a systematic and automated evaluation of rates, timing, and correlates of publication from scientific abstracts presented at 3 major cardiovascular conferences. Methods and Results—Using an automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts....... From 2006 to 2008, 11 365, 5005, and 10 838 abstracts were presented at the AHA, ACC, and ESC meetings, respectively. Overall, 30.6% of presented abstracts were published within 2 years of the conference; ranging from 34.5% for AHA to 29.5% for ACC to 27.0% for ESC (P0.0001). Five years after...... conference presentation in 2005, these rates had risen slightly to 49.7% for AHA, 42.6% for ACC, and 37.6% for ESC (P0.0001). After adjustment for abstract characteristics and contributing countries, abstracts presented at the AHA meeting remained more likely for publication relative to the ESC (adjusted...

  9. ABSTRACT FUNCTIONS OF BOUNDED VARIATION AND ABSOLUTE CONTINUITY

    Institute of Scientific and Technical Information of China (English)

    WuCongxin; LiuTiefu

    1994-01-01

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

  10. Monkeys get a silver in Abstract Art Olympics

    CERN Document Server

    Simkin, M V

    2011-01-01

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

  11. Reversible machine code and its abstract processor architecture

    DEFF Research Database (Denmark)

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

    2007-01-01

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

  12. Structural abstract interpretation, A formal study using Coq

    CERN Document Server

    Bertot, Yves

    2008-01-01

    interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem prover Coq, using inductive types for syntax and structural recursive programming for the abstract interpreter's kernel. The abstract interpreter can then be proved correct with respect to a Hoare logic for the programming language.

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1999-05-01

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

  14. ALICE: Simulated lead-lead collision

    CERN Document Server

    2003-01-01

    This track is an example of simulated data modelled for the ALICE detector on the Large Hadron Collider (LHC) at CERN, which will begin taking data in 2008. ALICE will focus on the study of collisions between nuclei of lead, a heavy element that produces many different particles when collided. It is hoped that these collisions will produce a new state of matter known as the quark-gluon plasma, which existed billionths of a second after the Big Bang.

  15. Eryptosis in lead-exposed workers

    Energy Technology Data Exchange (ETDEWEB)

    Aguilar-Dorado, Itzel-Citlalli [Biochemistry Department, Centro de Investigación y Estudios Avanzados IPN, México, DF (Mexico); Hernández, Gerardo [Section of Methodology of Science, Centro de Investigación y Estudios Avanzados IPN, México, DF (Mexico); Quintanar-Escorza, Martha-Angelica [Faculty of Medicine, UJED, Durango, DGO (Mexico); Maldonado-Vega, María [CIATEC, León, GTO (Mexico); Rosas-Flores, Margarita [Biochemistry Department, Centro de Investigación y Estudios Avanzados IPN, México, DF (Mexico); Calderón-Salinas, José-Víctor, E-mail: jcalder@cinvestav.mx [Biochemistry Department, Centro de Investigación y Estudios Avanzados IPN, México, DF (Mexico)

    2014-12-01

    Eryptosis is a physiological phenomenon in which old and damaged erythrocytes are removed from circulation. Erythrocytes incubated with lead have exhibited major eryptosis. In the present work we found evidence of high levels of eryptosis in lead exposed workers possibly via oxidation. Blood samples were taken from 40 male workers exposed to lead (mean blood lead concentration 64.8 μg/dl) and non-exposed workers (4.2 μg/dl). The exposure to lead produced an intoxication characterized by 88.3% less δ-aminolevulinic acid dehydratase (δALAD) activity in lead exposed workers with respect to non-lead exposed workers. An increment of oxidation in lead exposed workers was characterized by 2.4 times higher thiobarbituric acid-reactive substance (TBARS) concentration and 32.8% lower reduced/oxidized glutathione (GSH/GSSG) ratio. Oxidative stress in erythrocytes of lead exposed workers is expressed in 192% higher free calcium concentration [Ca{sup 2+}]{sub i} and 1.6 times higher μ-calpain activity with respect to non-lead exposed workers. The adenosine triphosphate (ATP) concentration was not significantly different between the two worker groups. No externalization of phosphatidylserine (PS) was found in non-lead exposed workers (< 0.1%), but lead exposed workers showed 2.82% externalization. Lead intoxication induces eryptosis possibly through a molecular pathway that includes oxidation, depletion of reduced glutathione (GSH), increment of [Ca{sup 2+}], μ-calpain activation and externalization of PS in erythrocytes. Identifying molecular signals that induce eryptosis in lead intoxication is necessary to understand its physiopathology and chronic complications. - Graphical abstract: Fig. 1. (A) Blood lead concentration (PbB) and (B) phosphatidylserine externalization on erythrocyte membranes of non-lead exposed (□) and lead exposed workers (■). Values are mean ± SD. *Significantly different (P < 0.001). - Highlights: • Erythrocytes of lead exposed workers

  16. An experimental analogue study into the role of abstract thinking in trauma-related rumination.

    Science.gov (United States)

    Ehring, Thomas; Szeimies, Anna-Kristina; Schaffrick, Christina

    2009-04-01

    Trauma-related rumination has been shown to predict the maintenance of posttraumatic stress disorder (PTSD). However, it is still unclear how rumination can be distinguished from functional forms of thinking about traumatic events. The current study used an analogue design to experimentally test the hypothesis that the abstractness of thinking is responsible for the dysfunctional effects of trauma-related rumination. Eighty-three healthy university students first watched a distressing video and were then randomly assigned to abstract ruminative thinking, concrete thinking or distraction. Abstract thinking was found to lead to a significantly longer maintenance of negative mood and arousal than both concrete thinking and distraction. These results are in line with earlier findings in the context of excessive worry and depressive rumination and support the view that abstractness is a critical factor for the dysfunctional effects of trauma-related rumination. However, results regarding intrusive memories were not supportive of the hypotheses. Unexpectedly, the distraction group showed the highest number of intrusions, whereas the abstract and concrete conditions did not significantly differ. Implications for theoretical models of trauma-related rumination and possible clinical implications are discussed.

  17. Trade-offs between grounded and abstract representations: evidence from algebra problem solving.

    Science.gov (United States)

    Koedinger, Kenneth R; Alibali, Martha W; Nathan, Mitchell J

    2008-03-01

    This article explores the complementary strengths and weaknesses of grounded and abstract representations in the domain of early algebra. Abstract representations, such as algebraic symbols, are concise and easy to manipulate but are distanced from any physical referents. Grounded representations, such as verbal descriptions of situations, are more concrete and familiar, and they are more similar to physical objects and everyday experience. The complementary computational characteristics of grounded and abstract representations lead to trade-offs in problem-solving performance. In prior research with high school students solving relatively simple problems, Koedinger and Nathan (2004) demonstrated performance benefits of grounded representations over abstract representations-students were better at solving simple story problems than the analogous equations. This article extends this prior work to examine both simple and more complex problems in two samples of college students. On complex problems with two references to the unknown, a "symbolic advantage" emerged, such that students were better at solving equations than analogous story problems. Furthermore, the previously observed "verbal advantage" on simple problems was replicated. We thus provide empirical support for a trade-off between grounded, verbal representations, which show advantages on simpler problems, and abstract, symbolic representations, which show advantages on more complex problems.

  18. Lead-Free Piezoelectrics

    CERN Document Server

    Nahm, Sahn

    2012-01-01

    Ecological restrictions in many parts of the world are demanding the elimination of Pb from all consumer items. At this moment in the piezoelectric ceramics industry, there is no issue of more importance than the transition to lead-free materials. The goal of Lead-Free Piezoelectrics is to provide a comprehensive overview of the fundamentals and developments in the field of lead-free materials and products to leading researchers in the world. The text presents chapters on demonstrated applications of the lead-free materials, which will allow readers to conceptualize the present possibilities and will be useful for both students and professionals conducting research on ferroelectrics, piezoelectrics, smart materials, lead-free materials, and a variety of applications including sensors, actuators, ultrasonic transducers and energy harvesters.

  19. Lead Poison Detection

    Science.gov (United States)

    1976-01-01

    With NASA contracts, Whittaker Corporations Space Science division has developed an electro-optical instrument to mass screen for lead poisoning. Device is portable and detects protoporphyrin in whole blood. Free corpuscular porphyrins occur as an early effect of lead ingestion. Also detects lead in urine used to confirm blood tests. Test is inexpensive and can be applied by relatively unskilled personnel. Similar Whittaker fluorometry device called "drug screen" can measure morphine and quinine in urine much faster and cheaper than other methods.

  20. Abstracted Workow Framework with a Structure from Motion Application

    Science.gov (United States)

    Rossi, Adam J.

    point cloud through patch based techniques or densification algorithms such as Semi-Global Matching (SGM). The point cloud can be visualized or exploited by both humans and automated techniques. In some cases the point cloud is "draped" with original imagery in order to enhance the 3D model for a human viewer. The SfM workflow can be implemented in the abstracted framework, making it easily leverageable and extensible by multiple users. Like many processes in scientific and engineering domains, the workflow described for SfM is complex and requires many disparate components to form a functional system, often utilizing algorithms implemented by many users in different languages / environments and without knowledge of how the component fits into the larger system. In practice, this generally leads to issues interfacing the components, building the software for desired platforms, understanding its concept of operations, and how it can be manipulated in order to fit the desired function for a particular application. In addition, other scientists and engineers instinctively wish to analyze the performance of the system, establish new algorithms, optimize existing processes, and establish new functionality based on current research. This requires a framework whereby new components can be easily plugged in without affecting the current implemented functionality. The need for a universal programming environment establishes the motivation for the development of the abstracted workflow framework. This software implementation, named Catena, provides base classes from which new components must derive in order to operate within the framework. The derivation mandates requirements be satisfied in order to provide a complete implementation. Additionally, the developer must provide documentation of the component in terms of its overall function and inputs. The interface input and output values corresponding to the component must be defined in terms of their respective data types, and

  1. Tense Use and Move Analysis in Journal Article Abstracts

    Science.gov (United States)

    Wang, Shih-ping; Tu, Pin-ning

    2014-01-01

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

  2. Constructing Literature Abstracts by Computer: Techniques and Prospects.

    Science.gov (United States)

    Paice, Chris D.

    1990-01-01

    Discusses the automatic construction of abstracts from the texts of documents. Automatic sentence extraction is examined, including syntactic criteria and semantic relational criteria; textual cohesion is discussed, including the recognition of anaphors and noun phrases; text structure is addressed; and the concept of abstract-frames is described.…

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

  4. Abstract Stobjs and Their Application to ISA Modeling

    Directory of Open Access Journals (Sweden)

    Shilpi Goel

    2013-04-01

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

  5. A Dialectical Approach to the Formation of Mathematical Abstractions

    Science.gov (United States)

    Ozmantar, Mehmet Fatih; Monaghan, John

    2007-01-01

    This paper is structured in two sections. The first examines views of mathematical abstraction in two broad categories: empiricist and dialectical accounts. It documents the difficulties involved in and explores the potentialities of both accounts. Then it outlines a recent model which takes a dialectical materialist approach to abstraction in…

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

    Science.gov (United States)

    2015-05-01

    Amla and Kenneth L. McMillan. A Hybrid of Counterexample-Based and Proof-Based Abstraction. In FMCAD, pages 260–274, 2004. 203 [13] Nina Amla and...Verification. In CAV, 2010. [91] Kenneth L. McMillan and Nina Amla . Automatic Abstraction without Coun- terexamples. In TACAS, 2003. [92] Kenneth L. McMillan

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

    Science.gov (United States)

    Jaakkola, T.; Veermans, K.

    2015-01-01

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

  8. Odors and Air Pollution: A Bibliography with Abstracts.

    Science.gov (United States)

    Environmental Protection Agency, Research Triangle Park, NC. Office of Air Programs.

    The annotated bibliography presents a compilation of abstracts which deal with odors as they relate to air pollution. The abstracts are arranged within the following categories: Emission sources; Control methods; Measurement methods; Air quality measurements; Atmospheric interaction; Basic science and technology; Effects-human health;…

  9. Contextualizing Action for the Abstraction of Scientific Knowledge

    Science.gov (United States)

    Saglam, Yilmaz

    2015-01-01

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

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1979-05-15

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

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

    Directory of Open Access Journals (Sweden)

    Chuah Ek Lon

    2012-11-01

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

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

    Science.gov (United States)

    Conrad, Susan Howes

    1991-01-01

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

  13. Abstraction from Constructors and Functional Constructors and Their Applications

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

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

  14. A Parametric Abstract Domain for Lattice-Valued Regular Expressions

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis

    2016-01-01

    We present a lattice-valued generalization of regular expressions as an abstract domain for static analysis. The parametric abstract domain rests on a generalization of Brzozowski derivatives and works for both finite and infinite lattices. We develop both a co-inductive, simulation algorithm...

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

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

    Energy Technology Data Exchange (ETDEWEB)

    1990-10-01

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

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

    Science.gov (United States)

    Hill, Felix; Korhonen, Anna; Bentz, Christian

    2014-01-01

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

  18. Fixed Points on Abstract Structures without the Equality Test

    DEFF Research Database (Denmark)

    Korovina, Margarita V.

    2002-01-01

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

  19. Fixed Points on Abstract Structures without the Equality Test

    DEFF Research Database (Denmark)

    Korovina, Margarita

    2002-01-01

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

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

    DEFF Research Database (Denmark)

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

    2014-01-01

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