WorldWideScience

Sample records for abstract sets special

  1. Abstraction by Set-Membership

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

  2. Abstract Answer Set Solvers with Learning

    Lierler, Yuliya

    2010-01-01

    Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhancements of the Davis-Putnam-Logemann-Loveland algorithm using transition systems, instead of pseudocode. We design a similar framework for several algorithms that generate answer sets for logic programs: Smodels, Smodels-cc, Asp-Sat with Learning (Cmodels), and a newly designed and implemented algorithm Sup. This approach to describing answer set solvers makes it easier to prove their correctness, to compare them, and to design new systems.

  3. Poster Abstract: Towards NILM for Industrial Settings

    Holmegaard, Emil; Kjærgaard, Mikkel Baun

    2015-01-01

    can be difficult to monitor individually due to cost restrictions. We believe that Non-Intrusive Load Monitoring (NILM) can ease the burden of such a monitoring infrastructure. This hypothesis has been preliminary evaluated by collecting a data set, from more than forty sensors, measuring power...

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

    Mödersheim, Sebastian Alexander

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

  5. Verifying SeVeCom Using Set-based Abstraction

    Mödersheim, Sebastian Alexander; Modesti, Paolo

    We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the hardware security modules (HSMs) of a number of cars, a certication authority, and the protocols...

  6. ABSTRACTS

    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.

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

    Koltay, Tibor

    2010-01-01

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

  8. Extended Set Constraints and Tree Grammar Abstraction of Programs

    Rosendahl, Mads; Gallagher, John Patrick

    2011-01-01

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

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

    Stone, C. (comp.)

    1985-01-01

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

  10. ABSTRACTS

    2011-01-01

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

  11. Abstracts

    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

  12. Abstract

    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

  13. Abstracts

    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,

  14. ABSTRACTS

    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,

  15. ABSTRACT

    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

  16. ABSTRACTS

    2012-01-01

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

  17. ABSTRACTS

    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.

  18. ABSTRACTS

    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;

  19. ABSTRACTS

    2011-01-01

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

  20. ABSTRACTS

    2011-01-01

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

  1. Abstracts

    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.

  2. ABSTRACTS

    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.

  3. Abstracts

    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.

  4. Abstracts

    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.

  5. ABSTRACTS

    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,

  6. ABSTRACTS

    2012-01-01

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

  7. Hemispheric Specialization and Recognition Memory for Abstract and Realistic Pictures: A Comparison of Painters and Laymen

    Vogt, S.; Magnussen, S.

    2005-01-01

    Recognition memory and hemispheric specialization were assessed for abstract colour/black and white pictures of sport situations in painters and visually naive subjects using a forced choice yes/no tachistoscopic procedure. Reaction times showed a significant three-way interaction of picture type, expertise, and visual field, indicating that…

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

    Gallagher, John Patrick; Puebla, G.

    2002-01-01

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

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

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

    2016-01-01

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

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

    Whale, B E

    2012-01-01

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

  11. A Derivation of Special Relativity from Causal Sets

    Knuth, Kevin H

    2010-01-01

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

  12. Chimpanzees prey on army ants with specialized tool set.

    Sanz, Crickette M; Schöning, Caspar; Morgan, David B

    2010-01-01

    Several populations of chimpanzees have been reported to prey upon Dorylus army ants. The most common tool-using technique to gather these ants is with "dipping" probes, which vary in length with regard to aggressiveness and lifestyle of the prey species. We report the use of a tool set in army ant predation by chimpanzees in the Goualougo Triangle, Republic of Congo. We recovered 1,060 tools used in this context and collected 25 video recordings of chimpanzee tool-using behavior at ant nests. Two different types of tools were distinguished based on their form and function. The chimpanzees use a woody sapling to perforate the ant nest, and then a herb stem as a dipping tool to harvest the ants. All of the species of ants preyed upon in Goualougo are present and consumed by chimpanzees at other sites, but there are no other reports of such a regular or widespread use of more than one type of tool to prey upon Dorylus ants. Furthermore, this tool set differs from other types of tool combinations used by chimpanzees at this site for preying upon termites or gathering honey. Therefore, we conclude that these chimpanzees have developed a specialized method for preying upon army ants, which involves the use of an additional tool for opening nests. Further research is needed to determine which specific ecological and social factors may have shaped the emergence and maintenance of this technology. PMID:19731231

  13. Building Parent Trust in the Special Education Setting

    Wellner, Laurie

    2012-01-01

    If trust is born in strong relationships, then first encounters are critical. Parents of students with disabilities undergo a great deal of stress and come to educational professionals for help with vital specialized tasks, including assessment, placement, progress monitoring, and maintenance of their child's ongoing needs. Special education is a…

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

    FAN Xiao Dong; XIANG Shu Wen

    2009-01-01

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

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

    Stoudt, Patricia Koelsch

    2012-01-01

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

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

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

    2000-06-01

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

  17. Preparing Pre-Service Special Education Teachers in Urban School Settings to Teach Content Literacy Strategies

    Becker, Kristin A.

    2013-01-01

    The purpose of this concurrent mixed-method study was to explore how special education intern teachers, placed in an urban secondary special education school setting developed an ability to implement content literacy strategies after completion of a professional development graduate seminar and internship experience. This was done by studying both…

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

    María Azucena Penas Ibáñez

    2013-12-01

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

  19. Parents choosing to combine special and inclusive early years settings: the best of both worlds

    Nind, Melanie; Flewitt, Rosie; Johnston, Brenda

    2005-01-01

    Background This project developed in the context of New Labour government commitment to parental choice, to inclusive education and to maintaining a continuum of provision for pupils identified as having special educational needs. The first aim of the study was to gain a sense of how many children with learning difficulties attend a combination of special and mainstream early years settings, and to explore ways of identifying and accessing parents who had made this choice. The study also a...

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

    Johnson, J.

    2016-06-01

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

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

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

    2009-01-01

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

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

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

    2009-01-01

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

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

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

    2009-01-01

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

  4. Commonwealth of Pennsylvania Adult Education Section 353 Special Demonstration Projects. Project Abstracts for the Fiscal Year 1993-1994.

    Werner, Evelyn C., Comp.; Harmon, Cheryl M., Comp.

    This book contains 90 one-page project abstracts for adult basic education (ABE) in Pennsylvania. Each abstract contains the following information: project director's name, address and telephone number; products produced by the project; descriptors; and purpose, procedures, and summary of findings of the project. Projects are indexed by topics…

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

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

    2001-01-01

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

  6. Abstract algebra

    Deskins, W E

    1996-01-01

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

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

    Vassilios Gregoriades

    2010-06-01

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

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

    李欣欣

    2015-01-01

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

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

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

    2012-01-01

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

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

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

    2015-05-01

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

  11. Special problems of setting up nuclear medicine in a developing country

    There are some special problems in setting up nuclear medicine in a developing country. They can be briefly described in the form of the following general rules. 1) Impossible triangle. For the practice of nuclear medicine, three things are needed: Instrument, Radiopharmaceutical and a Patient. In a developing country, these three become three sides of an impossible triangle. When the radiopharmaceutical is available, the instrument may not be working; when the instrument is functioning, the radiopharmaceutical may not have been obtained from the foreign supplier; and when both are there, the patient might no longer be in the hospital. Three sides of this triangle never join to become a congruent whole. 2) Reverse square law. Further away one is from the source of supply of instruments and radiopharmaceuticals, the problems multiply by the square of this distance. 3) Future of nuclear medicine is tied to the electrical supply available in a developing country. These problems related to power supply are described in the Chapter on maintenance of instruments

  12. Development of a Mobile-Optimised Website to Support Students with Special Needs Transitioning from Primary to Secondary Settings

    Chambers, Dianne; Coffey, Anne

    2013-01-01

    With an increasing number of students with special needs being included in regular classroom environments, consideration of, and planning for, a smooth transition between different school settings is important for parents, classroom teachers and school administrators. The transition between primary and secondary school can be difficult for…

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

    Parry, John

    2015-01-01

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

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

    Friedlander, Janet

    1974-01-01

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

  15. INVENTORY ABSTRACTION

    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

  16. Staff in Special Education Settings and Behaviour Problems: Towards a Framework for Research and Practice

    Hastings, Richard P.

    2005-01-01

    There has been increasing interest in the role of teacher and other staff behaviour in the development and maintenance of problem behaviours in individuals with special needs. Research and theoretical developments have tended to focus on one of three domains: staff as assessment and behavioural change agents, staff wellbeing as determined by…

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

    Platt, Marguerite D.

    2013-01-01

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

  18. 77 FR 1501 - Special Purpose Permit Application; Draft Environmental Assessment; Hawaii-Based Shallow-Set...

    2012-01-10

    ... seabirds (67 FR 34408, 69 FR 17329, 70 FR 75075). These regulations were in place when the fishery was...-Based Shallow-Set Longline Fishery AGENCY: Fish and Wildlife Service, Interior. ACTION: Notice of... incidental take of migratory birds in the operation of the Hawaii-based shallow-set longline fishery...

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

    Wiggins, Ralphe

    2007-01-01

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

  20. A Multi-Educational Approach to Improving Teacher Skills with Special Needs Preschoolers in Group Settings.

    Ellis, Mickie

    The practicum developed and implemented an inservice teacher education program to improve services to exceptional children in group settings based on a newly developed resource manual, two workshop series, and observation/evaluation of teachers in their classes on a bimonthly basis over a period of 8 months. Eighty-nine preschool teachers…

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

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

    2008-09-15

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

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

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

  3. Strategies to identify and stratify children with special health care needs in outpatient general pediatrics settings.

    Davis, Alaina M; McFadden, Sara E; Patterson, Barron L; Barkin, Shari L

    2015-06-01

    Developing improved systems of care for children with special health care needs (CSHCN) requires accurate identification and stratification of this population. This study was designed to assess the ability of a brief screener to identify and stratify CSHCN in a primary care clinic to focus future quality improvement initiatives and allocate resources. All families presenting for health maintenance visits or acute care appointments at an academic primary care clinic between September 5, 2012 and September 28, 2012 were asked to complete the CSHCN Screener(©). This panel of patients was compared to registries previously created by: (1) retrospective chart reviews using published lists of International Statistical Classification of Diseases and Related Health Problems (ICD9) codes for CSHCN and (2) direct physician referral to a clinic case manager providing care coordination services to CSHCN. Screeners identified 246 CSHCN (16.8 % of unique completed screeners). Scores ranged from 0 to 5; higher scores indicate higher levels of complexity. Patients with positive screens had a mean score of 2.4. Patients previously identified by retrospective ICD9 search who completed a screener had a mean score of 1.6 with nearly one-half having negative screens. Patients previously identified by physician referral who completed a screener had a mean score of 2.7 with nearly one-half having scores of 4 or 5. The CSHCN Screener(©) can be utilized in an academic primary care clinic to prospectively identify CSHCN and potentially offers a more clinically meaningful method of identification given its inherent ability to stratify this population based on complexity of medical needs. PMID:25467179

  4. Completeness of Lyapunov Abstraction

    Wisniewski, Rafal; Sloth, Christoffer

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

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

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

    2011-01-01

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

  6. MAIN ABSTRACTS

    2012-01-01

    Zhou Enlai and the Sinicization of Marxism Chen Dacai As a key member of the first generation of collective leadership of the CPC, Zhou Enlai contributed greatly to the theoretical cause of the sinicization of Marxism. Such contribution mainly include the fllowing aspects: he spread Marxism in a at a very special historical period as one of the representative of the earliest Chinese Marxists; he presented at an early stage the relationship between Marxism and Chinese revolution,

  7. Abstract Delta Modeling

    Dave Clarke; Michiel Helvensteijn; Ina Schaefer

    2011-01-01

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

  8. MAIN ABSTRACTS

    2011-01-01

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

  9. Special Taxing Districts, TaxDistricts-The data set is a polygon feature representing special taxing districts., Published in 1991, Davis County Utah.

    NSGIC GIS Inventory (aka Ramona) — This Special Taxing Districts dataset, was produced all or in part from Published Reports/Deeds information as of 1991. It is described as 'TaxDistricts-The data...

  10. BALWOIS: Abstracts

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

  11. AIDS IMPACT Special Issue: Sexual Risk Reduction Needs of Adolescents Living with HIV in a Clinical Care Setting

    Bakeera-Kitaka, Sabrina; Nöstlinger, Christiana Maria; Nabukeera- Barungi, Nicolette; Kekitiinwa, Addy; Colebunders, Robert

    2008-01-01

    Abstract ABSTRACT As anti-retroviral therapy becomes increasingly available, young people living with HIV need tailored support to adopt healthy sexual behaviors. There has been a gap in the availability of culturally appropriate techniques for secondary prevention and sexual risk reduction in this target-group. This formative study assessed sexual and reproductive health needs and problems, as well as determinants of sexual risk taking among young people living with HIV ag...

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

    Parry, John

    2014-01-01

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

  13. Beyond the abstractions?

    Olesen, Henning Salling

    2006-01-01

      The anniversary of the International Journal of Lifelong Education takes place in the middle of a conceptual landslide from lifelong education to lifelong learning. Contemporary discourses of lifelong learning etc are however abstractions behind which new functions and agendas for adult education...... are set. The ideological discourse of recent policies seems to neglect the fact that history and resources for lifelong learning are different across Europe, and also neglects the multiplicity of adult learners. Instead of refusing the new agendas, however, adult education research should try to dissolve...... learning. Adult education research must fulfil it's potential conversion from normative philosophy to critical and empirical social science....

  14. Efficient abstraction selection in reinforcement learning

    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

  15. A book of set theory

    Pinter, Charles C

    2014-01-01

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

  16. Programme and abstracts

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

  17. Piaget on Abstraction.

    Moessinger, Pierre; Poulin-Dubois, Diane

    1981-01-01

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

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

    Naveen S Salins

    2012-01-01

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

  19. Science Education in the Early Childhood & Special Education Setting: An Analysis of Science Education Across Lake Washington, Bellevue & Seattle School Districts

    Coffin, Tara B.

    This survey based research illustrates science education in the early childhood setting, specifically across Lake Washington, Seattle and Bellevue Public School Districts, with a lens on programs serving children with special needs. Taking current best practice into consideration, this research compares the amount of time that teachers currently spend teaching their students science across these settings, with recommendations urging educators to expose their students to the scientific inquiry process early and often. Additionally, the results of this survey align with findings regarding teacher self-efficacy in the area of science, demonstrating that educators who have a science background and/or have received professional development opportunities in the area of science, are likely to teach science more often and lead higher quality lessons. The survey results also demonstrate that the provision of curriculum and training opportunities are indicative of a community that supports science education, and therefore predictive of the amount and quality of science education that students in an early childhood setting receive.

  20. Special Foods

    Bright-See, Elizabeth

    1984-01-01

    Special foods include all foods that have been modified to meet either a real or perceived health need. They include enriched foods which are so readily available that they are generally no longer considered special foods. More recently, calorie-reduced, carbohydrate-reduced, low-fat, high fiber and other types of modified foods have been introduced to the market in response to several sets of dietary guidelines which recommend specific dietary changes for the general public. More specialized...

  1. 8th Czechoslovak spectroscopic conference. Abstracts

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

  2. Program and abstracts

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

  3. Introduction to abstract algebra

    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

  4. Writing business research article abstracts: A genre approach

    Carmen Piqué-Noguera

    2012-10-01

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

  5. Book of abstracts

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

  6. Tree sets

    Diestel, Reinhard

    2015-01-01

    We study an abstract notion of tree structure which generalizes tree-decompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked to graph-theoretical trees, these `tree sets' can provide a suitable formalization of tree structure also for infinite graphs, matroids, or set partitions, as well as for other discrete structures, such as order trees. In this first of two papers we introduce tree sets, establish their relation to graph and order trees, and show h...

  7. Visualizing abstract objects and relations

    Kamada, Tomihisa

    1989-01-01

    Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface of information systems is strongly required to visualize many kinds of information in a wide variety of graphical forms. At present, however, only some very specialized visualization techniques have been developed probably because the generality in the visualization has not been appreciated correctly. This book presents a visualization framework for translating abstract objects and relations, typically represented in textual forms, into pictorial re

  8. Software development assurance for special control computer sets on the base of the Electronica-60M microcomputer in the stations of fuel element nondestructive testing

    A special computational control complex (SCCC) including the ''Elektronika-60M'' microcomputer, a device for communication with an object (DCO) based on the typical microprocessing set (TMS) based on LIUS-2 KTS means and an adapter for communication of the ''Elektronika-60M'' microcomputer bus with IK1 TMS bus developed for their conjugation is used for development of nondestructive control post software. An instrumental SCCC including SM-4 microcomputer, TMS units as DCO, an adapter for communication of the common bus of the SM-4 minicomputer with the IK1 TMS bus developed for their conjugation and devices for simulation of the facility operation is suggested to increase labour productivity of programmers. The SM-4 microcomputer permits to develop programs in the FORTRAN language and to carry out their effective adjustment. A subprogram library for communication with TMS units is compiled, and the technique for testing FORTRAN programs in programmable read-only memory TMS as well as start of these programs are developed

  9. Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

    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)

  10. Journalism Abstracts. Vol. 15.

    Popovich, Mark N., Ed.

    This book, the fifteenth volume of an annual publication, contains 373 abstracts of 52 doctoral and 321 master's theses from 50 colleges and universities. The abstracts are arranged alphabetically by author, with the doctoral dissertations appearing first. These cover such topics as advertising, audience analysis, content analysis of news issues…

  11. Program and abstracts

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

  12. Designing for Mathematical Abstraction

    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…

  13. Computational Abstraction Steps

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

    2010-01-01

    In this paper we discuss computational abstraction steps as a way to create class abstractions from concrete objects, and from examples. Computational abstraction steps are regarded as symmetric counterparts to computational concretisation steps, which are well-known in terms of function calls and...... capturing concrete values, objects, or actions. As the next step, some of these are lifted to a higher level by computational means. In the object-oriented paradigm the target of such steps is classes. We hypothesise that the proposed approach primarily will be beneficial to novice programmers or during the...

  14. Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

    Sloth, Christoffer; Wisniewski, Rafal

    dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse...

  15. ABSTRACTS AND KEY WORDS

    2011-01-01

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

  16. 2016 ACPA MEETING ABSTRACTS.

    2016-07-01

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

  17. Abstracts of SIG Sessions.

    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…

  18. Meeting Abstracts - Annual Meeting 2016.

    2016-04-01

    The AMCP Abstracts program provides a forum through which authors can share their insights and outcomes of advanced managed care practice through publication in AMCP's Journal of Managed Care & Specialty Pharmacy (JMCP). Most of the reviewed and unreviewed abstracts are presented as posters so that interested AMCP meeting attendees can review findings and query authors. The Student/Resident/ Fellow poster presentation (unreviewed) is Wednesday, April 20, 2016, and the Professional poster presentation (reviewed) is Thursday, April 21. The Professional posters will also be displayed on Friday, April 22. The reviewed abstracts are published in the JMCP Meeting Abstracts supplement. The AMCP Managed Care & Specialty Pharmacy Annual Meeting 2016 in San Francisco, California, is expected to attract more than 3,500 managed care pharmacists and other health care professionals who manage and evaluate drug therapies, develop and manage networks, and work with medical managers and information specialists to improve the care of all individuals enrolled in managed care programs. Abstracts were submitted in the following categories: Research Report: describe completed original research on managed care pharmacy services or health care interventions. Examples include (but are not limited to) observational studies using administrative claims, reports of the impact of unique benefit design strategies, and analyses of the effects of innovative administrative or clinical programs. Economic Model: describe models that predict the effect of various benefit design or clinical decisions on a population. For example, an economic model could be used to predict the budget impact of a new pharmaceutical product on a health care system. Solving Problems in Managed Care: describe the specific steps taken to introduce a needed change, develop and implement a new system or program, plan and organize an administrative function, or solve other types of problems in managed care settings. These

  19. Effects of Training on Pre-Service Special Educators' Abilities to Co-Teach Math Vocabulary in Preparation for Inclusion Settings

    Harris, Paulette Proctor; Pollingue, Alice B.; Hearrington, Doug; Holmes, Arthur

    2014-01-01

    New special education teachers often struggle to teach children the mathematics vocabulary necessary to understand and effectively solve math word problems. The authors designed and implemented a pilot program to prepare pre-service teachers majoring in special education to implement the Camelot Learning Math Intervention Program (CLMIP). We met…

  20. Engineering Abstractions in Model Checking and Testing

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

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

  1. 07381 Abstracts Collection -- Cryptography

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

    2008-01-01

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

  2. Painting, abstraction, discourse

    Besson, Christian

    2012-01-01

    Four catalogues and compilations published this year once again raise the issue of the linkage between painting and critical discourse, with abstraction, where applicable, exacerbating the tension between the two. The first essay, La Peinture après l’abstraction, is nothing less than stimulating. Certain observations made by Alain Cueff about the neglected role of poster artists in the renewed formulation of painting, between 1955 and 1965, lie at the root of the comparison--a new departure--...

  3. Abstracts of contributed papers

    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. 08071 Abstracts Collection -- Scheduling

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

    2008-01-01

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

  5. 10071 Abstracts Collection -- Scheduling

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

    2010-01-01

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

  6. Automata Learning through Counterexample Guided Abstraction Refinement

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

  7. Metacognition and abstract reasoning.

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

    2015-05-01

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

  8. Object Classification via Planar Abstraction

    Oesau, Sven; Lafarge, Florent; Alliez, Pierre

    2016-06-01

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

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

    Mann-O'Donnell, Sarah

    2005-01-01

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

  10. Abstractions for Mechanical Systems

    Sloth, Christoffer; Wisniewski, Rafael

    2012-01-01

    mechanical system. The tangential manifolds are generated using constants of motion, which can be derived from Noether's theorem. The transversal manifolds are subsequently generated on a reduced space, given by the Routhian, via action-angle coordinates. The method fully applies for integrable systems. We...... focus on a particular aspect of abstraction - partitioning the state space, as existing methods can be applied on the discretized state space to obtain an automata-based model. The contribution of the paper is to show that well-known reduction methods can be used to generate abstract models, which can...

  11. Injecting Abstract Interpretations into Linear Cost Models

    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.

  12. Does Abstracting Threaten a Sustainable Future?

    Grant, Lyle K.

    2012-01-01

    In abstraction, or conceptual behavior, people discriminate features or properties of their surroundings. This permits people to respond selectively and precisely to specialized features of their environment, which has had many benefits, including steady advances in science and technology. Within psychology, J. R. Kantor and B. F. Skinner…

  13. Building Safe Concurrency Abstractions

    Madsen, Ole Lehrmann

    2014-01-01

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

  14. ABSTRACTS AND KEY WORDS

    2011-01-01

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

  15. Abstraction through Game Play

    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…

  16. Learning Abstracts, 2001.

    Wilson, Cynthia, Ed.

    2001-01-01

    Volume 4 of the League for Innovation in the Community College's Learning Abstracts include the following: (1) "Touching Students in the Digital Age: The Move Toward Learner Relationship Management (LRM)," by Mark David Milliron, which offers an overview of an organizing concept to help community colleges navigate the intersection between digital…

  17. 2002 NASPSA Conference Abstracts.

    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…

  18. Annual Conference Abstracts

    Engineering Education, 1976

    1976-01-01

    Presents the abstracts of 158 papers presented at the American Society for Engineering Education's annual conference at Knoxville, Tennessee, June 14-17, 1976. Included are engineering topics covering education, aerospace, agriculture, biomedicine, chemistry, computers, electricity, acoustics, environment, mechanics, and women. (SL)

  19. Monadic abstract interpreters

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

    2013-01-01

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

  20. Seismic Consequence Abstraction

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

  1. Testing abstract behavioral specifications

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

    2015-01-01

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

  2. Abstracts of submitted papers

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

  3. Seismic Consequence Abstraction

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

  4. Reasoning abstractly about resources

    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.

  5. SPR 2015. Abstracts

    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.

  6. ABSTRACTS AND KEY WORDS

    2012-01-01

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

  7. ESPR 2014. Abstracts

    NONE

    2014-06-15

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

  8. ABSTRACTS AND KEY WORDS

    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.

  9. Abstract Film and Beyond.

    Le Grice, Malcolm

    A theoretical and historical account of the main preoccupations of makers of abstract films is presented in this book. The book's scope includes discussion of nonrepresentational forms as well as examination of experiments in the manipulation of time in films. The ten chapters discuss the following topics: art and cinematography, the first…

  10. Abstract Expression Grammar Symbolic Regression

    Korns, Michael F.

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

  11. EBS Radionuclide Transport Abstraction

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

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

    爱德华·阿罗约; 徐利治

    2005-01-01

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

  13. Tomography in abstract Hilbert spaces

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

    2006-01-01

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

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

    Stefan Marr

    2010-02-01

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

  15. Abstracts of Main Essays

    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.

  16. Ghana Science Abstracts

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

  17. The deleuzian abstract machines

    Werner Petersen, Erik

    2005-01-01

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

  18. SPR 2014. Abstracts

    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.

  19. NPP life management (abstracts)

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

  20. Medical physics 2013. Abstracts

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

  1. SPR 2014. Abstracts

    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.

  2. Abstracts of the communications

    2014-01-01

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

  3. Historical development of abstracting.

    Skolnik, H

    1979-11-01

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

  4. WWNPQFT-2011 - Abstracts

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

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

    Smith, Andy; Bell, Sheena

    2015-01-01

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

  6. Abstracting Asynchronous Multi-Valued Networks

    J. Steggles

    2011-01-01

    Full Text Available Multi-valued networks (MVNs provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous MVNs that allows the state space of a model to be reduced while preserving key properties. The abstraction theory therefore provides a mechanism for coping with the state space explosion problem and supports the analysis and comparison of MVNs. We take as our starting point the abstraction theory for synchronous MVNs which uses the under- approximation approach of trace set inclusion. We show this definition of asynchronous abstraction allows the sound inference of analysis properties and preserves other interesting model properties. One problem that arises in the asynchronous case is that the trace set of an MVN can be infinite making a simple trace set inclusion check infeasible. To address this we develop a decision procedure for checking asynchronous abstractions based on using the finite state graph of an asynchronous MVN to reason about its trace semantics and formally show that this decision procedure is correct. We illustrate the abstraction techniques developed by considering two detailed case studies in which asynchronous abstractions are identified and validated for existing asynchronous MVN models taken from the literature.

  7. EBS Radionuclide Transport Abstraction

    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

  8. Program and abstracts

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

  9. Circularity and Lambda Abstraction

    Danvy, Olivier; Thiemann, Peter; Zerny, Ian

    2013-01-01

    In this tribute to Doaitse Swierstra, we present the rst transformation between lazy circular programs a la Bird and strict cir- cular programs a la Pettorossi. Circular programs a la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equa- tionally. Circular...... unknowns from what is done to them, which we lambda-abstract with functions. The circular unknowns then become dead variables, which we eliminate. The result is a strict circu- lar program a la Pettorossi. This transformation is reversible: given a strict circular program a la Pettorossi, we introduce...

  10. ABSTRACTION OF DRIFT SEEPAGE

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

  11. IPR 2016. Abstracts

    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.

  12. ESPR 2015. Abstracts

    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.

  13. IPR 2016. Abstracts

    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.

  14. Abstracts of Major Articles

    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 OF MAJOR ARTICLES

    2012-01-01

    Time : the Creating Space This paper presents a new conception : Time is a new dimensionality in space. That means time is space. To be detailed, time is space that is constructing rather than space that has been constructed. That is to say, re- alistic space is consisted of time, while time is the new special dimensionality that is constructing. The process from time to space is a consuming one from low entropy to high entropy. In this way, the time continuity is con- densed to space extension.

  16. An Abstract Machine for Unification Grammars

    Wintner, S

    1997-01-01

    This work describes the design and implementation of an abstract machine, Amalia, for the linguistic formalism ALE, which is based on typed feature structures. This formalism is one of the most widely accepted in computational linguistics and has been used for designing grammars in various linguistic theories, most notably HPSG. Amalia is composed of data structures and a set of instructions, augmented by a compiler from the grammatical formalism to the abstract instructions, and a (portable) interpreter of the abstract instructions. The effect of each instruction is defined using a low-level language that can be executed on ordinary hardware. The advantages of the abstract machine approach are twofold. From a theoretical point of view, the abstract machine gives a well-defined operational semantics to the grammatical formalism. This ensures that grammars specified using our system are endowed with well defined meaning. It enables, for example, to formally verify the correctness of a compiler for HPSG, given ...

  17. EBS Radionuclide Transport Abstraction

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

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

  19. Engineering Abstractions in Model Checking and Testing

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

  20. A LARI Experience (Abstract)

    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. Abstracts of Selected Papers

    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

  2. ABSTRACTS AND KEY WORDS

    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

  3. Contents and Abstracts

    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.

  4. ICENES 2007 Abstracts

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

  5. ABSTRACTS AND KEY WORDS

    2012-01-01

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

  6. Contents, Abstracts and Keywords

    2012-01-01

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

  7. Treatment of adolescents and young adults (AYA) with cancer in a multidisciplinary setting: on the way to a highly specialized AYA unit.

    Bernig, T; Jahn, F; Witkowsky, S; Huehn, R; Hentschel, A; Kegel, T; Schmoll, H-J; Körholz, D

    2013-11-01

    Further survival improvements of adolescents and young adults (AYA) with cancer are clearly affected by biological characteristics of the malignancies and age-specific needs. Multidisciplinary teams drawing expertice from both pediatric and adult cancer teams as well as clinical trials are required to meet the age specific needs of AYA patients with cancer. In 2011, the first AYA unit was established at the University Hospital Halle (Saale), where patients with newly-diagnosed cancer aged 15-25 are treated interdisciplinary by pediatric and adult oncologists. The enrollment into pediatric or adult clinical trials is controlled by age 18. Over the last 2 years, 19 AYA with cancer have been treated at the unit; and, in turn patients and their relatives reflected a high satisfaction with the offered novel health care approach. In the scope of the future Comprehensive Cancer Center at the University Hospital Halle (Saale), a complete ward is planned for all admitted AYA up to 25 years with cancer. The patients will be treated by a tumor-specialized multidisciplinary team of adult or pediatric oncologists and oncological surgeons. Therefore, we intend to establish a special teaching curriculum for physicians, nurses and psychosocial health care staff. Rather than age, cancer biology of a malignancy, surveillance data of late side effects as well as the age-specific needs of AYA patients will be crucial for best treatment options. PMID:24166088

  8. Relationship between primary and specialized care in a screening program for early detection of breast cancer set up by a county hospital

    To present another approach to early detection of, or screening for, breast cancer in a health care based on the coordination between specialized care and primary care teams and the optimal use of the available human and technological resources. All the women between the ages of 50 and 65 years (n=3548) were studied. Their medical histories were recorded and their breasts were examined by their specialists. They then underwent mammography and, on the same day when indicated, ultrasound and fine-needle aspiration biopsy, carried out by the breast cancer screening specialists. A total of 2562 mammographies were performed. The response rate was 72.21%. Fourteen malignant tumors were detected. There was a mean interval of 3 days between mammography and the receipt of the results by the primary care physician, of 5 days for the patient to learn of the results, and of 14 days for surgical treatment to be carried out in the case of breast cancer. The good coordination and relationship between the women who participate in the program and the specialized and primary care physicians facilitates early breast cancer detection in a health care area. The rapid and personalized notification of the results by the primary care physician and their conveyance, in the case of malignant disease, to the specialist in the management of breast cancer ensure an effective, practical and smoothly run program that adapts to the particular circumstance of the female population it is designed to assist. (Author) 48 refs

  9. Teaching for Abstraction: A Model

    White, Paul; Mitchelmore, Michael C.

    2010-01-01

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

  10. Squeezed States and Uncertainty Relations. Abstracts

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

  11. An abstract approach to music.

    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.

  12. Book of Abstracts

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

  13. Stellar Presentations (Abstract)

    Young, D.

    2015-12-01

    (Abstract only) The AAVSO is in the process of expanding its education, outreach and speakers bureau program. powerpoint presentations prepared for specific target audiences such as AAVSO members, educators, students, the general public, and Science Olympiad teams, coaches, event supervisors, and state directors will be available online for members to use. The presentations range from specific and general content relating to stellar evolution and variable stars to specific activities for a workshop environment. A presentation—even with a general topic—that works for high school students will not work for educators, Science Olympiad teams, or the general public. Each audience is unique and requires a different approach. The current environment necessitates presentations that are captivating for a younger generation that is embedded in a highly visual and sound-bite world of social media, twitter and U-Tube, and mobile devices. For educators, presentations and workshops for themselves and their students must support the Next Generation Science Standards (NGSS), the Common Core Content Standards, and the Science Technology, Engineering and Mathematics (STEM) initiative. Current best practices for developing relevant and engaging powerpoint presentations to deliver information to a variety of targeted audiences will be presented along with several examples.

  14. Automated Supernova Discovery (Abstract)

    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.

  15. SENSE 2010, Abstracts

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

  16. From Abstraction to Transformation

    Ribers, Bjørn

    experience the other subjects ‘being in existence’ a transformation of the personality takes place and a deeper understanding and compassion for ‘the other’ is integrated. Ethical judgment is a demanding and inescapable aspect of social work; hence, the educational institutions are compelled to prioritise......This paper presents perspectives on ethical dimensions and social dilemmas encountered in the professional work of social welfare practitioners in Denmark. The paper draws on examples from an ethnographic study of the subjective experiences of professionals with practice and the educational setting...

  17. Abstraction of Drift Seepage

    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

  18. International Specialization

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

    2012-01-01

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

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

    Subedi, Krishna Prasad

    2014-01-01

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

  20. The Semantic Richness of Abstract Concepts

    Gabriel Recchia

    2012-11-01

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

  1. Abstracts of Selected Papers

    2011-01-01

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

  2. Abstracts and Key Words

    2012-01-01

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

  3. Icone-9 (Abstract)

    Full text of publication follows: in today's global energy environment, nuclear power plant managers need to consider many dimensions of risk in addition to nuclear safety risk. In order to stay competitive in modern energy markets, NPP managers must integrate management of production, safety, and economic risks in an effective way. This integrated risk management approach generates benefits that include the following: -) Clearer criteria for decision making; -) Levering investments made in probabilistic safety analysis (PSA) programs by applying these analyses to other areas and contexts; -) Cost consciousness and innovation in achieving nuclear safety and production goals; -) Communication improvement - more effective internal communication among all levels of the NPP operating organization, and clearer communication between the organization and its stakeholders; -) Focus on safety - ensuring an integrated focus on safety, production, and economics during times of change in the energy environment. The IAEA is now preparing a technical document that provides a comprehensive framework for Risk Management (RM) as a tool to enhance the performance of NPPs. It aims to explore the wider context of risk (safety, operations, financial/commercial, strategic), with a goal of providing a source document for use by managers of NPPs and operating organizations. This report describes the steps of the risk management process and provides examples of implementation. Because of its generic nature, this framework can be used for large-scale proposals as well as smaller ventures. The intended audience for this document encompasses all levels of operating organization management including managers responsible for setting policy on safety, operational, and commercial/financial aspects of NPP operation and the hands-on managers directly implementing the organization's policies. This report sets out a framework for application of integrated risk management to improve NPP performance

  4. Recent abstracts in biochemical technology

    R R Siva Kiran; Brijesh P

    2008-01-01

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

  5. Contents and structure of abstracts

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

    2015-01-01

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

  6. Convex Hull Abstraction in Specialisation of CLP Programs

    Peralta, J.C.; Gallagher, John Patrick

    2003-01-01

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

  7. Specialized Elections

    Page, Scott E.

    1992-01-01

    This paper introduces specialized elections. A specialized election randomly assigns each voter to one election, freeing her of voting responsibilities in other elections. By reducing voters' responsibilities, specialized elections encourage more information acquisition. Specialized elections also make campaigning less costly. A shortcoming of specialized elections is the increase in outcome variance resulting from the sampling effect. Whether or not specialized elections improve democratic o...

  8. Abstract Level Parallelization of Finite Difference Methods

    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.

  9. Nuclear code abstracts (1975 edition)

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

  10. Mechanical Engineering Department technical abstracts

    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.

  11. Mechanical Engineering Department technical abstracts

    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

  12. Abstract Possible: The Birmingham Beat

    Bergman, Aeron; Salinas, Alejandra

    2013-01-01

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

  13. A first graduate course in abstract algebra

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

  14. Knowledge Abstraction in Chinese Chess Endgame Databases

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

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

  15. Program specialization

    Marlet, Renaud

    2013-01-01

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

  16. Abstract

    Tafdrup, Oliver

    2013-01-01

    Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf......Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf...

  17. Abstract

    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

  18. ABSTRACTS

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

  19. ABSTRACTS

    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.

  20. ABSTRACT

    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

    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

  2. Abstract

    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

  3. ABSTRACTS

    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.

  4. ABSTRACTS

    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.

  5. ABSTRACTS

    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.

  6. ABSTRACTS

    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

  7. Abstracts

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

  8. Abstract

    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.

  9. Abstract

    Alexandre Costa Quintana

    2003-01-01

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

  10. ABSTRACTS

    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.

  11. Abstract

    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.

  12. ABSTRACTS

    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.

  13. ABSTRACTS

    2012-01-01

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

  14. Abstracts

    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

  15. Abstract

    2011-01-01

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

  16. ABSTRACTS

    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

  17. ABSTRACTS

    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.

  18. Abstract

    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;

  19. ABSTRACTS

    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

  20. ABSTRACTS

    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.

  1. ABSTRACTS

    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.

  2. ABSTRACT

    Michelle de Stefano Sabino

    2011-12-01

    Full Text Available This paper aims to describe and to analyze the integration observed in the Sintonia project with respect to the comparison of project management processes to the model of the Stage-Gate ®. The literature addresses these issues conceptually, but lack an alignment between them that is evident in practice. As a method was used single case study. The report is as if the Sintonia project, developed by PRODESP - Data Processing Company of São Paulo. The results show the integration of project management processes with the Stage-Gate model developed during the project life cycle. The formalization of the project was defined in stages in which allowed the exploitation of economies of repetition and recombination to the development of new projects. This study contributes to the technical vision in dealing with the integration of project management processes. It was concluded that this system represents an attractive way, in terms of creating economic value and technological innovation for the organization.

  3. ABSTRACTS

    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.

  4. ABSTRACTS

    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

  5. ABSTRACTS

    2011-01-01

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

  6. ABSTRACTS

    2012-01-01

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

  7. Abstracts

    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.

  8. ABSTRACTS

    2011-01-01

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

  9. Abstract

    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;

  10. ABSTRACTS

    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.

  11. ABSTRACTS

    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,

  12. ABSTRACTS

    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.

  13. ABSTRACTS

    2011-01-01

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

  14. ABSTRACTS

    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

  15. ABSTRACTS

    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.

  16. Abstract

    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.

  17. ABSTRACTS

    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.

  18. ABSTRACTS

    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.

  19. Abstracts

    2012-01-01

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

  20. Abstracts

    2012-01-01

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

  1. Abstracts

    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.

  2. ABSTRACTS

    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

  3. ABSTRACTS

    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;

  4. Abstracts

    2013-01-01

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

  5. ABSTRACTS

    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.

  6. Abstract

    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)

  7. Abstracts

    2012-01-01

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

  8. Abstracts

    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

  9. Abstracts

    2009-01-01

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

  10. ABSTRACTS

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

  11. ABSTRACT

    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

  12. ABSTRACTS

    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

  13. ABSTRACTS

    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,

  14. Abstracts

    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

  15. ABSTRACTS

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

  16. ABSTRACTS

    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

  17. ABSTRACTS

    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,

  18. Abstract

    2011-01-01

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

  19. ABSTRACTS

    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

  20. ABSTRACTS

    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.

  1. Abstracts

    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,

  2. Abstracts

    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,

  3. ABSTRACTS

    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.

  4. ABSTRACTS

    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.

  5. ABSTRACTS

    2012-01-01

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

  6. Abstracts

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

  7. ABSTRACT

    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)

  8. Abstracts

    Revista, Innovar

    2011-01-01

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

  9. Abstract

    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.

  10. ABSTRACTS

    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.

  11. ABSTRACTS

    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.

  12. Nukleonika '98. Book of abstracts

    The book of abstracts contains 87 abstracts of contributions, encompassing a gamut of topics in nuclear physics, nuclear power engineering, nuclear chemistry, dosimetry, radiation protection, application of radionuclides and ionizing radiations, the radon issue, elementary particle physics, and research into nuclear fusion. International cooperation and contribution of Czech institutions to science and engineering are frequently mentioned. (M.D.)

  13. Abstract algebra structure and application

    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.

  14. Technical abstracts: Mechanical engineering, 1990

    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.

  15. Technical abstracts: Mechanical engineering, 1990

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

  16. A STUDY TO ASSESS THE ASSOCIATION OF SET - UP BEING PROVIDED AND BENEFICIARY ASSESSMENT OF SPECIAL CARE NEWBORN UNITS (SCNUS OF INDORE AND UJJAIN DIVISIONS OF M. P. AT DIFFERENT LEVELS

    Rajendra Kumar

    2015-02-01

    Full Text Available INTRODUCTION: The neonatal mortality rate in India is high and stagnant. Special Care Newborn Units (SCNUs have been set up at different levels Health Care Delivery System to provide quality newborn - care services in several hospitals to meet this challenge. Many units are located in the districts where the burden of neonatal deaths is high, and access to special newborn care is poor. MATERIALS AND METHODS: The study was conducted to assess the functioning of SCNUs in six centers of India. The evaluation was based on an analysis of secondary data from the six units that had been functioning for at least three year. A cross - sectional survey was conducted to assess the availability of infrastructure, equipment’s and human resources and assessment of the beneficiaries. Desc riptive statistics were used for analyzing the inputs (R esources and outcomes ( A ssessment of the beneficiaries. Correlation coefficients were estimated to understand the possible association of satisfaction rate of beneficiaries with factors, such as bed : doctor ratio, bed: nurse ratio, average duration of stay, and bed occupancy rate. RESULTS: The major reasons for admission and the major causes of deaths were birth asphyxia, sepsis, and LBW/prematurity. Likart’s Analysis is used to analyze Beneficiaries Assessment. Beneficiaries were not found at Level I NBSUs at the time of evaluation. The units had a varying nurse: bed ratio (1:1 - 1:2.14. The bed occupancy rate ranged from 83% to 121% (median 115%, and the average duration of stay ranged from three da ys to 8 days (median 5 days. Repair and maintenance of equipment were a major concern. CONCLUSION: It is possible to set up and manage quality SCNUs and improve the survival of newborns with LBW and sepsis in developing countries, although several challen ges relating to infrastructure, human resources and maintenance of equipment remain.

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

    2000-01-01

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

  18. Nuclear energy and environment: abstracts

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

  19. Biocards and Level of Abstraction

    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......Biocards are formal descriptions of biological phenomena and their underlying functional principles. They are used in bioinspired design to document search results and to communicate the findings for use in the further design process. The present study explored the effect of abstraction level used...... 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....

  20. Introduction to indexing and abstracting

    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.

  1. Reversible machine code and its abstract processor architecture

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

  2. Automatic Term-Level Abstraction

    Brady, Bryan

    2011-01-01

    Recent advances in decision procedures for Boolean satisfiability (SAT) and Satisfiability Modulo Theories (SMT) have increased the performance and capacity of formal verification techniques. Even with these advances, formal methods often do not scale to industrial-size designs, due to the gap between the level of abstraction at which designs are described and the level at which SMT solvers can be applied. In order to fully exploit the power of state-of-the-art SMT solvers, abstraction ...

  3. 06091 Abstracts Collection -- Data Structures

    Arge, Lars; Sedgewick, Robert; Wagner, Dorothea

    2006-01-01

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

  4. 05191 Abstracts Collection -- Graph Drawing

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

    2006-01-01

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

  5. 07021 Abstracts Collection -- Symmetric Cryptography

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

    2007-01-01

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

  6. 06421 Abstracts Collection -- Robot Navigation

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

    2007-01-01

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

  7. 07291 Abstracts Collection -- Scientific Visualization

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

    2008-01-01

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

  8. 07191 Abstracts Collection -- Event Processing

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

    2007-01-01

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

  9. Modal abstractions of concurrent behavior

    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...... supports the definition of a 3-valued modal logic for validating as well as refuting properties of systems. The construction is illustrated on a few examples, including the Ingemarsson-Tang-Wong key agreement protocol. © 2011 ACM....

  10. 09251 Abstracts Collection -- Scientific Visualization

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

    2010-01-01

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

  11. 09111 Abstracts Collection -- Computational Geometry

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

    2009-01-01

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

  12. 10081 Abstracts Collection -- Cognitive Robotics

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

    2010-01-01

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

  13. 10481 Abstracts Collection -- Computational Counting

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

    2011-01-01

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

  14. Invariant sets for Windows

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

    1999-01-01

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

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

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

  16. Abstraction of man-made shapes

    Mehra, Ravish

    2009-01-01

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

  17. Mechanical Engineering Department technical abstracts

    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

  18. Abstract communication for coordinated planning

    Clement, Bradley J.; Durfee, Edmund H.

    2003-01-01

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

  19. Elements of abstract harmonic analysis

    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

  20. Abstracts from Rambam Research Day

    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.

  1. Abstract Interpretation for Probabilistic Termination of Biological Systems

    Gori, Roberta; 10.4204/EPTCS.11.9

    2009-01-01

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

  2. Algorithmic Approach to Abstracting Linear Systems by Timed Automata

    Sloth, Christoffer; Wisniewski, Rafael

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

  3. Abstract Interpretation of Mobile Ambients

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

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

  4. Abstractions of stochastic hybrid systems

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

    2005-01-01

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

  5. IRAP 2006, Book of Abstracts

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

  6. Abstraction of Mobile Network Topology

    Codes Morales, Albert

    2015-01-01

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

  7. Does "Social Work Abstracts" Work?

    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…

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

    NONE

    2009-06-15

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

  9. Spaces of orderings and abstract real spectra

    Marshall, Murray A

    1996-01-01

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

  10. Introduction to the theory of abstract algebras

    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

  11. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    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.

  12. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    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

  13. Main Contents Abstracts and Key Words

    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

  14. Specialized Laboratory Information Systems.

    Dangott, Bryan

    2016-03-01

    Some laboratories or laboratory sections have unique needs that traditional anatomic and clinical pathology systems may not address. A specialized laboratory information system (LIS), which is designed to perform a limited number of functions, may perform well in areas where a traditional LIS falls short. Opportunities for specialized LISs continue to evolve with the introduction of new testing methodologies. These systems may take many forms, including stand-alone architecture, a module integrated with an existing LIS, a separate vendor-supplied module, and customized software. This article addresses the concepts underlying specialized LISs, their characteristics, and in what settings they are found. PMID:26851663

  15. Learning abstract algebra with ISETL

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

  16. Abstract Cauchy problems three approaches

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

  17. ESGAR 2007. Book of abstracts

    NONE

    2007-06-15

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

  18. Abstract Interpretation Using Attribute Grammar

    Rosendahl, Mads

    1990-01-01

    This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof...... technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics....

  19. Abstracts of the scientific contributions

    The abstracts are reproduced of the 66 scientific contributions to the 39th annual meeting of the following three German associations or societies for medical radiology: Vereinigung Suedwestdeutscher Radiologen und Mediziner, Hessische Gesellschaft fuer Medizinische Strahlenkunde, and Thueringische Gesellschaft fuer Radiologie. The topics discussed include: intracerebral hemorrage, image quality and dose, lesions of the space of the disk, diagnostics and therapy of liver tumors, lesions of the knee joint, and free subjects. The 39 posters are reproduced in full. (MG)

  20. Abstractions of stochastic hybrid systems

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

    2005-01-01

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

  1. Special Weapons

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

  2. 2013 SYR Accepted Poster Abstracts.

    2013-01-01

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

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

    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

  4. Concept of the abstract program

    Gregorics, T.

    2012-01-01

    The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eotvos Lorand University for many years in order to investigate methods that support designing correct programs. The motivation of this modi?cation was that the dynamic properties of programs appear in the model. This new definition of the program gives a hand to extend the model with the concept of subprograms while the earlier results of the original prog...

  5. Operating System Abstraction Layer (OSAL)

    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.

  6. Abstract interfaces for data analysis - component architecture for data analysis tools

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

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

    G.Barrand; P.Binko; 等

    2001-01-01

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

  8. An introduction to abstract algebra

    Robinson, Derek JS

    2003-01-01

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

  9. The Lune catchment abstraction management strategy. Consultation document September 2003

    2003-01-01

    This consultation document sets out the proposed future licensing strategy for the Lune Catchment Abstraction Management Strategy (CAMS) area. Following the three month consultation period, the Environment Agency will determine the final licensing strategy and publish it in the CAMS document. The strategy will provide an indication of whether new abstraction licences are likely to be available and the conditions that should be expected on licences. Water plays a vi...

  10. Utilization of chemical abstracts service (CAS) data bases

    A method is developed describing the economic utilization of the Chemical Abstracts Service data bases CA Condensates and Chemical Abstracts Subject Index Alertin order to supplement the data base of the IDC-Inorganica-Documentationsystem built up to meet the peculiarities of the inorganic chemistry. The method consists of EDP-Programs and processes at which special authority files for coded compound and subject entries play an important role. One of the advantages of the method is that the intellectual effort necessary to create such a data base is reduced to a minimum. The authority files may be also used for orther purposes. (orig.) 891 WB 892 MB

  11. Norddesign 2012 - Book of Abstract

    fate of the ideas behind the conferences. In that view the conferences have been thematically open and the organization has been tight with a limited number of participants that allows a good overview of all the papers and a lot of informal discussion between the participants. The present conference...... received more than 140 abstracts and through the review process this have resulted in approximately 70 accepted papers. One of the new research fields included in this conference is the area of Biomechanics – hence the cover graphics of the conference proceedings. With this short introduction we encourage...... you to study and reflect upon the topics and content of the accepted papers. And not at least to let this inspire you in fruitful discussions during the conference...

  12. Transplantation as an abstract good

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

    2015-01-01

    respect to the prioritisation of recipients sustains pressure for more organs; this pressure necessitates more aggressive measures in organ procurement and these measures increase the need for ignorance in relation to the actual procedures as well as the actual recipients. These attempts to avoid......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...... ignorance has 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...

  13. Engineering Special

    Duca, Edward

    2013-01-01

    Smart phones, supersonic planes, Formula 1 cars, green cities, the Internet; engineers built them all. Engineers are everywhere. The world needs them and so do you. http://www.um.edu.mt/think/engineering-special-feature-editorial/

  14. Interfacing microbiology and biotechnology. Conference abstracts

    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

  15. Interfacing microbiology and biotechnology. Conference abstracts

    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.

  16. Argonne Code Center: compilation of program abstracts

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

    1977-08-01

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

  17. Argonne Code Center: compilation of program abstracts

    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

  18. Argonne Code Center: compilation of program abstracts

    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

  19. Argonne Code Center: compilation of program abstracts

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

    1976-08-01

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

  20. Self-generating program specializers

    Glück, Robert

    2010-01-01

    This paper demonstrates the existence of self-generating program specializers and uses a language-independent projection to obtain them. The projection is considered from the viewpoint of the interpretive approach and a bootstrapping technique is identified by which a specializer can optimize its...... own implementation. A theorem is presented that equates the set of self-generating specializers and the set of specializers produced by the new projection. A practical consequence of the theorem is that an implementation of a specializer must contain an error if it is not possible to observe self......-generation, which requires only a textual program comparison. Self-generation may thus provide a method for testing specializers and self-interpreters while they are under development....

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

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

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

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

    2005-07-01

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

  3. DOE NABIR PI Workshop: Abstracts 2002

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

  4. DOE NABIR PI Workshop: Abstracts 2002

    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.

  5. DOE-NABIR PI Workshop: Abstracts 2003

    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.

  6. EURORIB 2010, Book of abstracts

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

  7. 1986 annual information meeting. Abstracts

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

  8. Attracting Girls into Physics (abstract)

    Gadalla, Afaf

    2009-04-01

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

  9. Special Education Transition: a Case Study of the Community Integration Experience

    Ligon, Julie Ann

    2009-01-01

    Julie Ann Ligon, Abstract The purpose of this study was to examine and describe transition services vis a vis the community integration of an adult-age special education student with a developmental disability. An additional goal was to provide the reader with a detailed portrait of the experiences of this student, especially with respect to the relationships and networks that influenced this student's integration into a community setting. Transition, according to the ...

  10. Browsing Abstract Art by Appearance

    Padilla, Stefano; Robb, David; Halley, Fraser; Chantler, Mike J.

    2012-01-01

    In this paper we describe an innovative browsing system that improves on the navigation of a large set of objects which are either difficult to label or categorize. We use a two-stage process to obtain similarity information from humans, which then becomes the core of the system, this perceptual information is then used to create a resizable self-organizing map which comprises a matrix of image stacks that provides a fast, intuitive and highly visual navigation environment. We report the meth...

  11. Gene set analysis of the EADGENE chicken data-set

    Skarman, Axel; Jiang, Li; Hornshøj, Henrik; Buitenhuis, Bart; Hedegaard, Jakob; Conley, Lene N; Sørensen, Peter

     Abstract Background: Gene set analysis is considered to be a way of improving our biological interpretation of the observed expression patterns. This paper describes different methods applied to analyse expression data from a chicken DNA microarray dataset. Results: Applying different gene set...

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

    Banda, Gourinath; Gallagher, John Patrick

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

  13. Annotating user-defined abstractions for optimization

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

    2005-12-05

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

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

    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

  15. Nuclear works. Book of abstracts

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

  16. Specialized Mediation.

    Hammond, Carol; And Others

    1992-01-01

    Six articles discuss librarians as mediators in special circumstances. Highlights include the reference librarian and the information paraprofessional; effective reference mediation for nontraditional public library users, including mentally impaired patrons and illiterate adults; the academic librarian's role in the education process; and…

  17. Separation of Ionic Solutes: Abstracts of the sixth international conference

    The publication has been set up as a abstracts of the international conference dealing with separation of ionic solutes. The book consists of the sections: (A) Theory of solutions and processes; (B) Solvent extraction, liquid membranes and biphasic separations; (C) Capillary electrophoresis and isotachophoresis; (D) Selective and natural sorbents; (E) Fractionation of radionuclides and metals in natural systems - transfer and speciation

  18. Lebesgue Sets Immeasurable Existence

    Diana Marginean Petrovai

    2012-12-01

    Full Text Available It is well known that the notion of measure and integral were released early enough in close connection with practical problems of measuring of geometric figures. Notion of measure was outlined in the early 20th century through H. Lebesgue’s research, founder of the modern theory of measure and integral. It was developed concurrently a technique of integration of functions. Gradually it was formed a specific area todaycalled the measure and integral theory. Essential contributions to building this theory was made by a large number of mathematicians: C. Carathodory, J. Radon, O. Nikodym, S. Bochner, J. Pettis, P. Halmos and many others. In the following we present several abstract sets, classes of sets. There exists the sets which are not Lebesgue measurable and the sets which are Lebesgue measurable but are not Borel measurable. Hence B ⊂ L ⊂ P(X.

  19. Abstract Machine for Typed Feature Structures

    Wintner, Shuly; Francez, Nissim

    1995-01-01

    This paper describes an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in detail, including the compilation process from a high-level language to the abstract machine language and the implementation of the abstract instructions. The machine's engine supports the unification of typed, possibly cyclic, feature structures. A separate module deals with control structures and instructions to acco...

  20. Reduction algorithm for random abstract simplicial complexes

    Vergne, Anaïs; Decreusefond, Laurent; Martins, Philippe

    2013-01-01

    In this paper, we present a reduction algorithm for abstract simplicial complexes that we apply to Vietoris-Rips complexes based on random point processes. Our algorithm aims at reducing the number of simplices of an abstract simplicial complex without modifying its topology, i.e. its Betti numbers. The vertices are removed in an optimal order for the abstract simplicial complex implementation complexity. Some mathematical properties of the reduction algorithm and its resulting abstract simpl...

  1. Introduction to abstract algebra, solutions manual

    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. SRS scientific and technical abstracts, July--September 1992

    1992-10-01

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

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

    1992-10-01

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

  4. Writing a Structured Abstract for the Thesis

    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…

  5. Special lecture

    In his special lecture, given at the Artsimovich-Kadomtsev Memorial Session of the 17th IAEA Fusion Energy Conference in Yokohama, October 1998, Prof. H. Yoshikawa stated that the fusion program had come to a crossroads. He was wondering whether the future would lead to cooperation between nations, striving to overcome the difficulties the world is confronted with, or if it would lead to despair

  6. Special offer

    Staff Association

    2011-01-01

    SPECIAL OFFER FOR OUR MEMBERS Tarif unique Adulte/Enfant Entrée Zone terrestre 19 euros instead of 23 euros Entrée “Zone terrestre + aquatique” 24 euros instead of 31 euros Free for children under 3, with limited access to the attractions. Walibi Rhône-Alpes is open daily from 22 June to 31 August, and every week end from 3 September until 31 October. Closing of the “zone aquatique” 11 September.

  7. Special offer

    Staff Association

    2010-01-01

    Special offer for members of the Staff Association and their families 10% reduction on all products in the SEPHORA shop (sells perfume, beauty products etc.) in Val Thoiry ALL YEAR ROUND. Plus 20% reduction during their “vente privée”* three or four times a year. Simply present your Staff Association membership card when you make your purchase. * next “vente privée” from 24th to 29th May 2010  

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

    Krasner, D; Van Rijswijk, L

    1995-04-01

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

  9. Chebotarev Sets

    Kisilevsky, Hershy

    2011-01-01

    We consider the problem of determining whether a set of primes, or, more generally, prime ideals in a number field, can be realized as a finite union of residue classes, or of Frobenius conjugacy classes. We give criteria for a set to be realized in this manner, and show that the subset of primes consisting of every other prime cannot be expressed in this way, even if we allow a finite number of exceptions.

  10. ABSTRACTS WELDEL PIPE AND TUBE

    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

  11. Argument structure and the representation of abstract semantics.

    Javier Rodríguez-Ferreiro

    Full Text Available According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

  12. Subseries convergence in abstract duality pairs

    Min-Hyung Cho

    2014-12-01

    Full Text Available Let E, F be sets, G an Abelian topological group and b : ExF - G. Then (E, F, G is called an abstract triple. Let w(F, E be the weakest toplogy on F such that the maps {b(x, ·: x G E} from F into G are continuous. A subset B C F is w(F,E sequentially conditionally compact if every sequence {yk} C B has a subsequence {y nk } such that limj; b(x, y nk exists for every x G E. It is shown that if a formal series in E is subseries convergent in the sense that for every subsequence {x nj} there is an element x G E such that Xj=! b(x nj ,y = b(x,y for every y G F ,then the series Xj=! b(x nj ,y converge uniformly for y belonging to w(F, E sequentially conditionally compact subsets ofF. This result is used to establish Orlicz-Pettis Theorems in locall convex and function spaces. Applications are also given to Uniform Boundedness Principles and continuity results for bilinear mappings.

  13. Abstracts: Geomatics in the era of RADARSAT; Abstracts: Geomatics in the era of RADARSAT/Recueil des resumes: La geomatique a l`ere de RADARSAT

    NONE

    1997-10-01

    Abstracts of papers presented at this international conference on geomatics are contained in this volume. There are a total of 418 papers, of which 53 are in French. Several others have abstracts in English and French. The papers cover most of the subjects of interest to the geomatics community, i.e. land surveying, photogrammetry, cartography, engineering surveying, remote sensing, geodetic surveying, hydrography, geophysical surveying, geographic information systems and space information management, with special reference to data acquisition by satellite imagery.

  14. Sundhedsfremmende settings

    Magne, Jeanette

    2012-01-01

    Dette kapitel giver en indføring i settingsperspektivet i sundhedsfremme og et indblik i anvendelsen af begrebet ’settings for sundhedsfremme’ i en sundhedspædagogisk sammenhæng. Kapitlet viser, hvordan elementer i de miljøer og kontekster, som mennesker tager del i i dagligdagen, har betydning for...... sundhed. Disse miljøer, også kaldet settings, kan være skoler, hospitaler, arbejdspladser, uddannelsesinstitutioner og lokalområder eller andre steder, hvor mennesker lever deres hverdagsliv. På grundlag af kapitlet kan læseren: • få indsigt i sundhedens forskellige determinanter og dermed mulighed for...... kritisk at vurdere grundlaget for sundhedspædagogisk intervention • reflektere settingsperspektivet i sundhedsfremme som et teoretisk skifte fra at se sundhed som bundet til individuel risikoadfærd til at anskue settings som komplekse fænomener med afgørende betydning for medlemmernes sundhed – uanset...

  15. Special offers

    Staff Association

    2011-01-01

    Are you a member of the Staff Association? Did you know that as a member you can benefit from the following special offers: BCGE (Banque Cantonale de Genève): personalized banking solutions with preferential conditions. TPG: reduced rates on annual transport passes for active and retired staff. Aquaparc: reduced ticket prices for children and adults at this Swiss waterpark in Le Bouveret. FNAC: 5% reduction on FNAC vouchers. For more information about all these offers, please consult our web site: http://association.web.cern.ch/association/en/OtherActivities/Offers.html

  16. Special Offers

    Association du personnel

    2011-01-01

    Are you a member of the Staff Association? Did you know that as a member you can benefit from the following special offers: BCGE (Banque Cantonale de Genève): personalized banking solutions with preferential conditions. TPG: reduced rates on annual transport passes for active and retired staff. Aquaparc: reduced ticket prices for children and adults at this Swiss waterpark in Le Bouveret. Walibi: reduced prices for children and adults at this French attraction park in Les Avenières. FNAC: 5% reduction on FNAC vouchers. For more information about all these offers, please consult our web site: http://association.web.cern.ch/association/en/OtherActivities/Offers.html

  17. Special offer

    Staff Association

    2011-01-01

    OFFRE SPECIALE POUR NOS MEMBRES Les vendredis 29 juillet, 5 et 12 août, Aquaparc fermera ses portes exceptionnellement à 22h00. Pour ces évènements, des tarifs défiant toute concurrence vous sont proposés. Au programme : Clown spécialiste de la sculpture de ballons de 16h00 à 21h00 Ambiance Salsa avec danseurs professionnel : Démonstration et Cours de Salsa. Les tarifs : Pour une entrée à partir de 15h00 : Enfant : CHF 22.- Adulte : CHF 26.-  

  18. Equiangular Frames and Signature Sets

    Singh, Preeti

    2009-01-01

    We will present a relation between real equiangular frames and certain special sets in groups which we call signature sets and show that many equiangular frames arise in this manner. Then we will define quasi-signature sets and will examine equiangular frames associated to these subsets of groups. We will extend these results to complex equiangular frames where the inner product between any pair of vectors is a common multiple of a cube root of unity and exhibit equiangular frames that arise ...

  19. Abstracting Runtime Heaps for Program Understanding

    Marron, Mark; Su, Zhendong; Fahndrich, Manuel

    2012-01-01

    Modern programming environments provide extensive support for inspecting, analyzing, and testing programs based on the algorithmic structure of a program. Unfortunately, support for inspecting and understanding runtime data structures during execution is typically much more limited. This paper provides a general purpose technique for abstracting and summarizing entire runtime heaps. We describe the abstract heap model and the associated algorithms for transforming a concrete heap dump into the corresponding abstract model as well as algorithms for merging, comparing, and computing changes between abstract models. The abstract model is designed to emphasize high-level concepts about heap-based data structures, such as shape and size, as well as relationships between heap structures, such as sharing and connectivity. We demonstrate the utility and computational tractability of the abstract heap model by building a memory profiler. We then use this tool to check for, pinpoint, and correct sources of memory bloat...

  20. Setting Objectives

    Elkins, Aaron J.

    1977-01-01

    The author questions the extent to which educators have relied on "relevance" and learner participation in objective-setting in the past decade. He describes a useful approach to learner-oriented evaluation in which content relevance was not judged by participants until after they had been exposed to it. (MF)

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

    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

  2. Ernst H. Gombrich on Abstract Painting

    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.

  3. Graph Subsumption in Abstract State Space Exploration

    Eduardo Zambon; Arend Rensink

    2012-01-01

    In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the subsumed state need not be included in the state space, thus giving a reduction. We explain the theory and especially also report on a number of experiments, which show that subsumption indeed drasti...

  4. Abstract and concrete sentences, embodiment and languages

    ClaudiaScorolli

    2011-09-01

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

  5. Abstract and research accomplishments of University Coal Research Projects

    NONE

    1995-06-01

    The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their respective projects in time for distribution at a conference on June 13--14, 1995 at Tennessee State University in Nashville, Tennessee. This book is a compilation of the material received in response to that request. For convenience, the 70 grants reported in this book are stored into eight technical areas, Coal Science, Coal Surface Science, Reaction Chemistry, Advanced Process Concepts, Engineering Fundamentals and Thermodynamics, Environmental Science, high Temperature Phenomena, and Special topics. Indexes are provided for locating projects by subject, principal investigators, and contracting organizations. Each extended abstract describes project objectives, work accomplished, significance to the Fossil Energy Program, and plans for the next year.

  6. Independent sets in hypergraphs

    Balogh, József; Samotij, Wojciech

    2012-01-01

    Many important theorems in combinatorics, such as Szemer\\'edi's theorem on arithmetic progressions and the Erd\\H{o}s-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type. In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture ...

  7. Analysis of complex networks using aggressive abstraction.

    Colbaugh, Richard; Glass, Kristin. [New Mexico Institute of Mining and Technology, Socorro, NM; Willard, Gerald [Department of Defense, Ft. Meade, MD

    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.

  8. Temporal abstraction-based clinical phenotyping with Eureka!

    Post, Andrew R; Kurc, Tahsin; Willard, Richie; Rathod, Himanshu; Mansour, Michel; Pai, Akshatha Kalsanka; Torian, William M; Agravat, Sanjay; Sturm, Suzanne; Saltz, Joel H

    2013-01-01

    Temporal abstraction, a method for specifying and detecting temporal patterns in clinical databases, is very expressive and performs well, but it is difficult for clinical investigators and data analysts to understand. Such patterns are critical in phenotyping patients using their medical records in research and quality improvement. We have previously developed the Analytic Information Warehouse (AIW), which computes such phenotypes using temporal abstraction but requires software engineers to use. We have extended the AIW's web user interface, Eureka! Clinical Analytics, to support specifying phenotypes using an alternative model that we developed with clinical stakeholders. The software converts phenotypes from this model to that of temporal abstraction prior to data processing. The model can represent all phenotypes in a quality improvement project and a growing set of phenotypes in a multi-site research study. Phenotyping that is accessible to investigators and IT personnel may enable its broader adoption. PMID:24551400

  9. Deformations of Coisotropic Submanifolds in Abstract Jacobi Manifolds

    Lê, Hông Vân; Tortorella, Alfonso G; Vitagliano, Luca

    2014-01-01

    In this paper, using the Atiyah algebroid and first order multi-differential calculus on non-trivial line bundles, we attach an $L_\\infty$-algebra to any coisotropic submanifold $S$ in an abstract (or Kirillov's) Jacobi manifold. Our construction generalizes and unifies analogous constructions in symplectic, Poisson case, and locally conformal symplectic geometry. As a new special case, we attach an $L_\\infty$-algebra to any coisotropic submanifold in a contact manifold, including Legendrian submanifolds. The $L_\\infty$-algebra of a coisotropic submanifold $S$ governs the (formal) deformation problem of $S$.

  10. The Cauchy problem for higher order abstract differential equations

    Xiao, Ti-Jun

    1998-01-01

    This monograph is the first systematic exposition of the theory of the Cauchy problem for higher order abstract linear differential equations, which covers all the main aspects of the developed theory. The main results are complete with detailed proofs and established recently, containing the corresponding theorems for first and incomplete second order cases and therefore for operator semigroups and cosine functions. They will find applications in many fields. The special power of treating the higher order problems directly is demonstrated, as well as that of the vector-valued Laplace transforms in dealing with operator differential equations and operator families. The reader is expected to have a knowledge of complex and functional analysis.

  11. DEGRO 2009. Radiation oncology - medical physics - radiation biology. Abstracts

    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

  12. TQM: A bibliography with abstracts. [total quality management

    Gottlich, Gretchen L. (Editor)

    1992-01-01

    This document is designed to function as a special resource for NASA Langley scientists, engineers, and managers during the introduction and development of total quality management (TQM) practices at the Center. It lists approximately 300 bibliographic citations for articles and reports dealing with various aspects of TQM. Abstracts are also available for the majority of the citations. Citations are organized by broad subject areas, including case studies, customer service, senior management, leadership, communication tools, TQM basics, applications, and implementation. An introduction and indexes provide additional information on arrangement and availability of these materials.

  13. Special convoy

    2007-01-01

    A special wide-load convoy will affect traffic between Hall 180 (Meyrin site) and Point 1 (ATLAS) on Tuesday 29 May. The following measures will be in place: Partial closure of Route Arago and Route Einstein between 9.00 a.m. and 12 midday, depending on the rate at which the convoy advances. Closure of Route Einstein between 12 and 2.00 p.m. between Building 104 and Route Veksler (see diagram). Closure of Entrance B in both directions between 12 and 2.30 p.m. Please use Entrance A. For safety reasons, cyclists and pedestrians will not be allowed to ride or walk alongside the convoy. Please comply with the instructions given by the convoy officers. TS-IC Group (tel : 160319 - 163012)

  14. Special Offers

    Association du personnel

    2011-01-01

    Are you a member of the Staff Association? Did you know that as a member you can benefit from the following special offers: BCGE (Banque Cantonale de Genève): personalized banking solutions with preferential conditions.     TPG: reduced rates on annual transport passes for active and retired staff.     Aquaparc: reduced ticket prices for children and adults at this Swiss waterpark in Le Bouveret.     Walibi: reduced prices for children and adults at this French attraction park in Les Avenières.       FNAC: 5% reduction on FNAC vouchers.       For more information about all these offers, please consult our web site: http://association.web.cern.ch/association/en/OtherActivities/Offers.html

  15. Special Offers

    Staff Association

    2011-01-01

    Are you a member of the Staff Association? Did you know that as a member you can benefit from the following special offers: BCGE (Banque Cantonale de Genève): personalized banking solutions with preferential conditions.     TPG: reduced rates on annual transport passes for all active and retired staff.     Aquaparc: reduced ticket prices for children and adults at this Swiss waterpark in Le Bouveret.     Walibi: reduced prices for children and adults at this French attraction park in Les Avenières.       FNAC: 5% reduction on FNAC vouchers.       For more information about all these offers, please consult our web site: http://association.web.cern.ch/association/en/OtherActivities/Offers.html

  16. Special relativity

    Faraoni, Valerio

    2013-01-01

    This book offers an essential bridge between college-level introductions and advanced graduate-level books on special relativity. It begins at an elementary level, presenting and discussing the basic concepts normally covered in college-level works, including the Lorentz transformation. Subsequent chapters introduce the four-dimensional worldview implied by the Lorentz transformations, mixing time and space coordinates, before continuing on to the formalism of tensors, a topic usually avoided in lower-level courses. The book’s second half addresses a number of essential points, including the concept of causality; the equivalence between mass and energy, including applications; relativistic optics; and measurements and matter in Minkowski spacetime. The closing chapters focus on the energy-momentum tensor of a continuous distribution of mass-energy and its covariant conservation; angular momentum; a discussion of the scalar field of perfect fluids and the Maxwell field; and general coordinates. Every chapter...

  17. Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation

    Steggles, L Jason

    2011-01-01

    Multi-valued networks provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. The abstraction theory therefore provides a mechanism for coping with the state space explosion problem and supports the analysis and comparison of multi-valued networks. We take as our starting point the abstraction theory for synchronous multi-valued networks which is based on the finite set of traces that represent the behaviour of such a model. The problem with extending this approach to the asynchronous case is that we can now have an infinite set of traces associated with a model making a simple trace inclusion test infeasible. To address this we develop a decision procedure for checking asynchronous abstractions based on using the finite state graph of an asynchronous multi-valued network to reas...

  18. Functional Multiple-Set Canonical Correlation Analysis

    Hwang, Heungsun; Jung, Kwanghee; Takane, Yoshio; Woodward, Todd S.

    2012-01-01

    We propose functional multiple-set canonical correlation analysis for exploring associations among multiple sets of functions. The proposed method includes functional canonical correlation analysis as a special case when only two sets of functions are considered. As in classical multiple-set canonical correlation analysis, computationally, the…

  19. Preface to the Special Issue

    Janig, Herbert

    2010-01-01

    Dear colleagues, This Special Issue of the Review of Psychology includes a collection of the abstracts of the contributions to the 9th Alps-Adria Psychology Conference that took place on September 16 – 18, 2010 at the Alps-Adria University of Klagenfurt in Austria, and the awarded papers presented by six young scientists at this conference. In the preparation phase to the first conference (then called a symposium), the author of this foreword visited all the departments of psychology of...

  20. Visual Abstraction and Stylisation of Maps

    Isenberg, Tobias

    2013-01-01

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

  1. A Brief Introduction to Chinese Biological Abstracts

    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.

  2. AN ABSTRACT ORLICS: PETTIS THEOREM AND APPLICATIONS

    LI RONGLU

    2008-08-01

    Full Text Available In this paper we establish two abstract versions of the classical Orlicz-Pettis Theorem for multiplier convergent series. We show that these abstract results yield known versions of the Orlicz-Pettis Theorem for locally convex spaces as well as versions for operator valued series. We also give applications to vector valued measures and spaces of continuous functions.

  3. 8th Czechoslovak spectroscopic conference. Abstracts

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

  4. 8th Czechoslovak spectroscopic conference. Abstracts

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

  5. Interactional Metadiscourse in Research Article Abstracts

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

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

  6. Hydrogen abstraction reactions by amide electron adducts

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

  7. Bounded Rationality of Generalized Abstract Fuzzy Economies

    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.

  8. Abstractions of Awareness: Aware of What?

    Metaxas, Georgios; Markopoulos, Panos

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

  9. Set-Pi: Set Membership pi-Calculus

    Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming;

    2015-01-01

    Verif, like other state of the art tools for protocol analysis, achieves good performance by converting a formal protocol specification into a set of Horn clauses, that represent a monotonically growing set of facts that a Dolev-Yao attacker can derive from the system. Since this set of facts is not state......-dependent, the category of protocols of our interest cannot be precisely analysed by such tools, as they would report false attacks due to the over-approximation. In this paper we present Set-π, an extension of the Applied π-calculus that includes primitives for handling databases of objects, and propose a...... translation from Set-π into Horn clauses that employs the set-membership abstraction to capture the non-monotonicity of the state. Furthermore, we give a characterisation of authentication properties in terms of the set properties in the language, and prove the correctness of our approach. Finally we showcase...

  10. Experience and Abstract Reasoning in Learning Backward Induction

    DanielR.Hawes; AldoRustichini; AlexanderVostroknutov

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

  11. Visual categorization: accessing abstraction in non-human primates.

    Fabre-Thorpe, Michèle

    2003-01-01

    Evolution might have set the basic foundations for abstract mental representation long ago. Because of language, mental abilities would have reached different degrees of sophistication in mammals and in humans but would be, essentially, of the same nature. Thus, humans and animals might rely on the same basic mechanisms that could be masked in humans by the use of sophisticated strategies. In this paper, monkey and human abilities are compared in a variety of perceptual tasks including visual...

  12. Monotonic abstraction for programs with multiply-linked structures

    Abdulla, Parosh Aziz; Cederberg, Jonathan; Vojnar, Tomás

    2013-01-01

    We investigate the use of monotonic abstraction and backward reachability analysis as means of performing shape analysis on programs with multiply pointed structures. By encoding the heap as a vertex- and edge-labeled graph, we can model the low level behaviour exhibited by programs written in the C programming language. Using the notion of signatures, which are predicates that define sets of heaps, we can check properties such as absence of null pointer dereference and shape invariants. We r...

  13. 14th National Conference on Physics. Abstracts. Volume 2

    The National Conference on Physics 2005, is dedicated to 'The International Year of Physics' by the scientific community of physicists in Romania. Within the frame of this 'Festival of Physics', The First Symposium on Technical Physics and Physical Engineering' TPPE 2005, was organized as a satellite event at the Polytechnic University of Bucharest. As it is well known, the contributed papers to the National Conference on Physics were structured on chapters, corresponding to 'the sections' of The Romanian Society of Physics, their abstracts being then published in a two volume 'Book of Abstracts'. All the chapters of this book, except the 8th and the 9th, can be found in 'Abstracts Volume I'. According to the topics of the TPPE 2005, these two chapters, namely: 8. Technical Physics and Physical Engineering and 9. Physics and Energy are published separately in the 'Abstracts Volume II', but as it can be seen, the unitary character of the Conference is preserved and developed. The most important topics of this second volume are: optoelectronics; advanced materials and technologies; physics, electronics and electrical engineering; physics and mechanical engineering; physics and chemical engineering; physics, information and computer engineering; physics and industry; physics, biology and medical engineering; renewable energy sources and energy efficiency; nuclear engineering. We present the progress made in physics education concerning: physics teaching in technical education; E-learning and modern methods in physics teaching; physics education in schools and universities, in a special section of the first volume of abstracts. Regarding the essential role of physics in the realizing of a knowledge-based society of the new millennium the strengthening of the relationship between researchers and academics becomes thus the main message of this scientific meeting. (P.S.)

  14. Needs Analysis And Objectives Setting in Curriculum Designing--with Special Reference to A Group of Chinese College Students%大纲设计中的分析及目标设立

    张红

    2003-01-01

    On the basis of a detailed introduction to the concept of language learners'needs, this paper illustrates the importance of needs analysis, both pre-course analysis and ongoing analysis, in curriculum designing. By doing so, teachers can not only collect factual information for the purpose of setting broad goals related to language content; but also gather information about learners which can be used to guide the learning process once it's under way. Learners, on the other hand, can be aware of their own learning under the direction of the specified objectives.

  15. Special offers

    Association du personnel

    2012-01-01

    Special discount to the members of the Staff Association Aquaparc Discounted prices on admission of whole day. Children from 5 to 15 years: 26.– CHF instead of 35.– CHF; Adults from 16 years: 32.– CHF instead of 43.– CHF.Tickets on sale to the Staff Association Secretariat. BCGE Account management on salary account and annual subscription to credit cards free of charge. Other benefits on mortgage loan and financial planning. Comédie de Genève 20% off on full price tickets (also available for partner): from 24 to 32 CHF a ticket instead of 30 to 40 CHF depending on the shows. Ezee Suisse 15% off on the range of electric bikes upon presentation of your Staff Association membership card before payment. FNAC 5% discount on gifts card available in four Swiss shops without any restriction. Gifts card on sale to the Staff Association Secretariat. FutureKids 15% off for the Staff Association members who enrol their children of 5 to 16 years old in ...

  16. Interdisciplinary perspectives on abstracts for information retrieval

    Soon Keng Chan

    2004-10-01

    Full Text Available The paper examines the abstract genre from the perspectives of English for Specific Purposes (ESP practitioners and information professionals. It aims to determine specific interdisciplinary interests in the abstract, and to explore areas of collaboration in terms of research and pedagogical practices. A focus group (FG comprising information professionals from the Division of Information Studies, Nanyang Technological University, Singapore, convened for a discussion on the subject of abstracts and abstracting. Two major issues that have significant implications for ESP practices emerged during the discussion. While differences in terms of approach to and objectives of the abstract genre are apparent between information professionals and language professionals, the demands for specific cognitive processes involved in abstracting proved to be similar. This area of similarity provides grounds for awareness raising and collaboration between the two disciplines. While ESP practitioners need to consider adding the dimension of information science to the rhetorical and linguistic scaffolding that they have been providing to novice-writers, information professionals can contribute useful insights about the qualities of abstracts that have the greatest impact in meeting the end-users' needs in information search.

  17. Abstract spatial reasoning as an autistic strength.

    Stevenson, Jennifer L; Gernsbacher, Morton Ann

    2013-01-01

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

  18. JFDE Special ICAE 2015

    Tillmann Klein

    2015-06-01

    Full Text Available We are proud to announce that the Journal of Facade Design and Engineering is becoming a firm partner for the distribution of scientific knowledge of the ICAE International Congress on Architectural Envelopes, organised by Tecnalia San Sebastian. Tecnalia is one of the founding members of the European Facade Network EFN, and this partnership supports the development of JFDE with regards to the discipline of facade design and engineering. This issue of JFDE is dedicated to ICAE 2015, the VIIth edition of the congress. The contributions have been carefully selected from 32 abstracts, submitted to the scientific section of the conference. Subsequently the finished papers have been subjected to the regular blind review process of the journal. At this point, we want to thank our special editors Julen Astudillo and Jose Antonio Chica for their effort to make this partnership happen. The paper contributions show an interesting selection of approaches to innovative materials, form finding, simulation and climatic concepts. This demonstrates the special character of the discipline we are working in, bridging research, design and practice. Facade Design and Engineering is a peer reviewed, open access journal, funded by The Netherlands Organisation for Scientific Research NWO (www.nwo.nl. We see ‘open access’ as the future publishing model. But it certainly requires new financial models which we will have to explore over the coming years.

  19. Dialogical surface text features in abstracts

    Ingrid García-Østbye

    2008-01-01

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

  20. Writing, reviewing, and presenting an abstract.

    Strauss, R G

    1991-01-01

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

  1. 2002 Conference Programme and Book of Abstracts

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

  2. Abstraction in artificial intelligence and complex systems

    Saitta, Lorenza

    2013-01-01

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

  3. Abstract Generation based on Rhetorical Structure Extraction

    Ono, K; Ono, Kenji; Sumita, Kazuo

    1994-01-01

    We have developed an automatic abstract generation system for Japanese expository writings based on rhetorical structure extraction. The system first extracts the rhetorical structure, the compound of the rhetorical relations between sentences, and then cuts out less important parts in the extracted structure to generate an abstract of the desired length. Evaluation of the generated abstract showed that it contains at maximum 74\\% of the most important sentences of the original text. The system is now utilized as a text browser for a prototypical interactive document retrieval system.

  4. Contracts for Abstract Processes in Service Composition

    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.

  5. Decomposability of Abstract and Path-Induced Convexities in Hypergraphs

    Malvestuto Francesco Mario

    2015-08-01

    Full Text Available An abstract convexity space on a connected hypergraph H with vertex set V (H is a family C of subsets of V (H (to be called the convex sets of H such that: (i C contains the empty set and V (H, (ii C is closed under intersection, and (iii every set in C is connected in H. A convex set X of H is a minimal vertex convex separator of H if there exist two vertices of H that are separated by X and are not separated by any convex set that is a proper subset of X. A nonempty subset X of V (H is a cluster of H if in H every two vertices in X are not separated by any convex set. The cluster hypergraph of H is the hypergraph with vertex set V (H whose edges are the maximal clusters of H. A convexity space on H is called decomposable if it satisfies the following three properties:

  6. An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

    Ukachukwu Ndukwu; Annabelle McIver

    2010-01-01

    In this paper we revisit the well-known technique of predicate abstraction to characterise performance attributes of system models incorporating probability. We recast the theory using expectation transformers, and identify transformer properties which correspond to abstractions that yield nevertheless exact bound on the performance of infinite state probabilistic systems. In addition, we extend the developed technique to the special case of "data independent" programs incorporating probabili...

  7. 7 CFR 766.58 - Installment to be set aside.

    2010-01-01

    ... 7 Agriculture 7 2010-01-01 2010-01-01 false Installment to be set aside. 766.58 Section 766.58... AGRICULTURE SPECIAL PROGRAMS DIRECT LOAN SERVICING-SPECIAL Disaster Set-Aside § 766.58 Installment to be set aside. (a) The Agency will set-aside the first installment due immediately after the disaster...

  8. Management plan abstract and keyword generator

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

  9. Transport safety research abstracts. No. 1

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

  10. Final program and book of abstracts

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

  11. GIBS Geospatial Data Abstraction Library (GDAL)

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

  12. On Abstraction Levels For Software Architecture Viewpoints

    Kjærgaard, Mikkel Baun

    2005-01-01

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

  13. Program Aims at Improving Abstract Reasoning

    Chemical and Engineering News, 1977

    1977-01-01

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

  14. Pulmonary toxicology of respirable particles. [Lead abstract

    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)

  15. Simulation of recent global temperature trends [abstract

    Graham, Nicholas E.

    1996-01-01

    EXTRACT (SEE PDF FOR FULL ABSTRACT): Observations show that global average tropospheric temperatures have been rising during the past century, with the most recent portion of record showing a sharp rise since the mid-1970s.

  16. CUBE (Computer Use By Engineers) symposium abstracts

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

  17. Something Special

    Hoffman, Edward

    2002-01-01

    There is plenty of interest and excitement in APPL's (Academy of Program and Project Leadership) KS (Knowledge Sharing) effort. We have received numerous requests for members of the KS Team to give presentations about what we're doing. A recent Knowledge Management Roundtable at NASA Headquarters drew record-setting attendance for the event. A few weeks later, I was invited to give a presentation for the Census Bureau. Ron Taylor, a senior leader of the organization, had requested the presentation. I was looking forward to a group of about 20 people or so. As it turned out, the auditorium was packed. Nearly 300 people were in attendance. They were excited about what we're doing and wanted to pick my brain as to how they could establish something like our KS effort in their organization.

  18. 08391 Abstracts Collection -- Social Web Communities

    Alani, Harith; Staab, Steffen; Stumme, Gerd

    2008-01-01

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

  19. 05241 Abstracts Collection -- Synthesis and Planning

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

    2006-01-01

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

  20. 06401 Abstracts Collection -- Complexity of Constraints

    Creignou, Nadia; Kolaitis, Phokion; Vollmer, Heribert

    2006-01-01

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

  1. 05451 Abstracts Collection -- Beyond Program Slicing

    Binkley, Dave; Harman, Mark; Krinke, Jens

    2006-01-01

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

  2. 04201 Abstracts Collection -- Content Distribution Infrastructures

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

    2006-01-01

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

  3. 06061 Abstracts Collection -- Theory of Evolutionary Algorithms

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

    2006-01-01

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

  4. 04081 Abstracts Collection -- Theory of Evolutionary Algorithms

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

    2006-01-01

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

  5. Categorization of Sentence Types in Medical Abstracts

    McKnight, Larry; Srinivasan, Padmini

    2003-01-01

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

  6. 2011 statistical abstract of the United States

    Krisanda, Joseph M.

    2011-01-01

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

  7. Interdisciplinary perspectives on abstracts for information retrieval

    Soon Keng Chan; Schubert Foo

    2004-01-01

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

  8. Earth Sciences Division collected abstracts: 1980

    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

  9. Distributed Abstraction Algorithm for Online Predicate Detection

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

    2013-01-01

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

  10. 10471 Abstracts Collection -- Scalable Visual Analytics

    Keim, Daniel A.; Wrobel, Stefan

    2011-01-01

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

  11. Abstracting audit data for lightweight intrusion detection

    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.

  12. Finding Feasible Abstract Counter-Examples

    Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

    2002-01-01

    A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

  13. 22. ATSR congress - Book of abstracts

    This document brings together the abstracts of all presentations given at the 22. congress of the French association for radiation protection techniques and sciences (ATSR) on the topic of the Management of a radiological emergency situation (Organisation and means): First plenary session - alert and first aid: 1 - Radiological and nuclear emergencies: a new doctrine, a new organisation (M. Bourguignon - DGSNR); 2 - Role and organisation of the Nuclear safety authority (M. Stoltz - DGSNR); 3 - The recasting of the nuclear specific intervention plans - PPI (P. Audebert - Ministry of Interior); 4 - Missions and organisation of the DSND - the Delegate for nuclear safety of defense, the safety authority of national defense (R. Isnard - Ministry of Defense); 5 - Management of radiological emergency situations by the IRSN (V. Chambrette - IRSN); Second plenary session - emergency medical measures: 6 - The Mobile radiological intervention units (CMIR) of fire brigades coping with nuclear accidents (D. Giordan - CMIR Yvelines); 7 - The medical organisation in front of radio-nuclear terrorism - SAMU Presentation (C. Telion - SAMU Paris); 8 - Presentation of the national guide of medical intervention in the case of nuclear or radiological event (J. Balosso, F. Loizzo - Grenoble teaching hospital); 9 - Nuclear accident: advantage and importance of stable iodine in accidental situation (P.Y. Hemidy - EDF); 10 - Place of biological dosimetry in accident crisis management (L. Roy - IRSN); 11 - Management of medical emergencies in nuclear environment - Cogema La Hague and Cherbourg hospital collaboration (P. Pradeau - Cogema la Hague); Third plenary session - Evaluation of consequences: 12 - Crisis tools developed at Meteo-France from the local to the international scale - Meteorological data transmission (F. Bonnardot - Meteo France); 13 - IRSN's radiological consequences unit (A. Thomassin - IRSN); 14 - National crisis organisation at CEA at last exercises experience feedback

  14. Semantic Neighborhood Effects for Abstract versus Concrete Words.

    Danguecan, Ashley N; Buchanan, Lori

    2016-01-01

    Studies show that semantic effects may be task-specific, and thus, that semantic representations are flexible and dynamic. Such findings are critical to the development of a comprehensive theory of semantic processing in visual word recognition, which should arguably account for how semantic effects may vary by task. It has been suggested that semantic effects are more directly examined using tasks that explicitly require meaning processing relative to those for which meaning processing is not necessary (e.g., lexical decision task). The purpose of the present study was to chart the processing of concrete versus abstract words in the context of a global co-occurrence variable, semantic neighborhood density (SND), by comparing word recognition response times (RTs) across four tasks varying in explicit semantic demands: standard lexical decision task (with non-pronounceable non-words), go/no-go lexical decision task (with pronounceable non-words), progressive demasking task, and sentence relatedness task. The same experimental stimulus set was used across experiments and consisted of 44 concrete and 44 abstract words, with half of these being low SND, and half being high SND. In this way, concreteness and SND were manipulated in a factorial design using a number of visual word recognition tasks. A consistent RT pattern emerged across tasks, in which SND effects were found for abstract (but not necessarily concrete) words. Ultimately, these findings highlight the importance of studying interactive effects in word recognition, and suggest that linguistic associative information is particularly important for abstract words. PMID:27458422

  15. Towards Identify Selective Antibacterial Peptides Based on Abstracts Meaning.

    Barbosa-Santillán, Liliana I; Sánchez-Escobar, Juan J; Calixto-Romo, M Angeles; Barbosa-Santillán, Luis F

    2016-01-01

    We present an Identify Selective Antibacterial Peptides (ISAP) approach based on abstracts meaning. Laboratories and researchers have significantly increased the report of their discoveries related to antibacterial peptides in primary publications. It is important to find antibacterial peptides that have been reported in primary publications because they can produce antibiotics of different generations that attack and destroy the bacteria. Unfortunately, researchers used heterogeneous forms of natural language to describe their discoveries (sometimes without the sequence of the peptides). Thus, we propose that learning the words meaning instead of the antibacterial peptides sequence is possible to identify and predict antibacterial peptides reported in the PubMed engine. The ISAP approach consists of two stages: training and discovering. ISAP founds that the 35% of the abstracts sample had antibacterial peptides and we tested in the updated Antimicrobial Peptide Database 2 (APD2). ISAP predicted that 45% of the abstracts had antibacterial peptides. That is, ISAP found that 810 antibacterial peptides were not classified like that, so they are not reported in APD2. As a result, this new search tool would complement the APD2 with a set of peptides that are candidates to be antibacterial. Finally, 20% of the abstracts were not semantic related to APD2. PMID:27366202

  16. Relativistic nuclear physics and quantum chromodynamics. Abstracts

    The data of investigations on problems of high energy physics are given. Special attention pays to quantum chromodynamics at large distances, cumulative processes, multiquark states and relativistic nuclear collisions

  17. Abstracts of the 9. Colloquium of the Brazilian Society of Electron Microscopy

    A set of abstracts is presented, reporting the use of electron microscopy for the study of: crystal structures and defects; corrosion on several metal alloys; ultrastructural changes in biological materials. (C.L.B.)

  18. Editorial: Special Issue on Financial Planning

    Mark Brimble

    2012-11-01

    Full Text Available AbstractThe special edition presents current research in the area of financial planning. With the continual upheaval inglobal financial markets (including Australia, the general trend towards self-funded retirement and lessreliance on the state, financial crises and the continual regulatory changes in the financial markets, this issue istimely and topical. This is the third special edition on financial planning, providing an excellent outlet forquality research in financial planning.

  19. An Extensive Evaluation of Anaphora Resolution Based Abstract Generation System

    Ayyalu Hariharan Nandhu Kishore

    2013-01-01

    Full Text Available This paper presents an extensive evaluation of anaphora resolution (AR algorithm proposed for Abstract Generation System (AGS and discusses the metrics used to measure its performance. The evaluation exercise is conducted with the test sets chosen from different domains and the results are compared with other existing open-source Anaphora Resolution Systems (ARSs like Mitkov’s Anaphora Resolution System (MARS and Java Resolution of Anaphora Procedure (Java RAP. We have selected news documents belong to five different domains and it is trained with AGS among which some set of documents and their corresponding extract is taken as the test set and executed in various ARSs for comparison. The proposed system is evaluated and its performances are studied with standard metrics of Information Extraction (IE systems such as Success rate, Precision, Recall and F-measure.

  20. Utilization of lunar materials and expertise for large scale operations in space: Abstracts. [lunar bases and space industrialization

    Criswell, D. R. (Editor)

    1976-01-01

    The practicality of exploiting the moon, not only as a source of materials for large habitable structures at Lagrangian points, but also as a base for colonization is discussed in abstracts of papers presented at a special session on lunar utilization. Questions and answers which followed each presentation are included after the appropriate abstract. Author and subject indexes are provided.

  1. DIY Video Abstracts: Lessons from an ultimately successful experience

    Brauman, K. A.

    2013-12-01

    A great video abstract can come together in as little as two days with only a laptop and a sense of adventure. From script to setup, here are tips to make the process practically pain-free. The content of every abstract is unique, but some pointers for writing a video script are universal. Keeping it short and clarifying the message into 4 or 5 single-issue segments make any video better. Making the video itself can be intimidating, but it doesn't have to be! Practical ideas to be discussed include setting up the script as a narrow column to avoid the appearance of reading and hunting for a colored backdrop. A lot goes into just two minutes of video, but for not too much effort the payoff is tremendous.

  2. AFL and FRL: abstraction and representation for field interchange.

    Tsafnat, Guy; Cloherty, Shaun L; Lambert, Tim D

    2004-01-01

    The holy grail of biomedical modelling is an integrated model of the entire human body. To this end, research groups around the world need to interchange experimental data, models and model results. A good interchange will have an efficient representation for storage and sharing and will have tools for modelling, data verification, authoring, data conversions and so on. A field is a spatially varying properly. In this paper we present the abstract field layer (AFL) and the field representation language (FRL). The AFL provides the field abstraction together with a set of common field operations. The FRL provides an efficient means for field representation and storage. We show how fields can be used to interchange information between modelling systems and between modelling and visualisation systems. We are currently developing a software system that composes multiple single cell solvers to create a tissue solver. PMID:17271571

  3. Abstract Interpretation as a Programming Language

    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.

  4. Fall Meeting abstract submission inspires science poetry

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

  5. Reproducibilidad en la lectura de un set de placas de citología cérvico-uterinas en cuatro centros especializados de Medellín, Antioquia / Reproducibility of reading a set of cervical cytology smears in four specialized centers in Medellin, Antioquia

    Edwin Guevara

    2014-05-01

    Full Text Available Objetivo: evaluar el grado de reproducibilidad en la lectura de placas de citología cérvico-uterina entre cuatro centros de lectura especializados de la ciudad de Medellín, Colombia. Metodología: 181 placas de citología cérvico-uterina provenientes de un estudio de prevalencia de anormalidades citológicas en Pueblorrico, Antioquia, se sometieron a lectura en cuatro centros especializados de Medellín. Se le pidió a cada centro que realizara una lectura rutinaria manteniendo el estudio en ciego por medio de recodificación de las placas, evitando que se filtrara información entre centros. Se calculó la concordancia general y el índice kappa de Fleiss. Resultados: de las 181 placas, sólo en 55 placas los 4 centros concordaron en el resultado, obteniéndose un porcentaje de concordancia global del 30% y un índice kappa global de 0,31. Según la escala de Fleiss, se observó una baja reproducibilidad en la lectura de las placas citológicas entre los cuatro centros involucrados en el estudio. La concordancia por pares de centros presentó índices de kappa entre 0,3 a 0,7. Discusión: existe una alta variabilidad en la interpretación de los resultados citológicos entre los centros estudiados. Es necesario implementar procesos de entrenamiento y unificación de criterios de lecturas de la citología cervical en nuestro medio Objective: to assess the degree of reproducibility in the reading of cervical cytology smears among four specialized reading centers at Medellin, Colombia. Methodology: 181 cervical cytology smears from a study on the prevalence of cytological abnormalities in Pueblorrico, a town located in the southwestern region of the state of Antioquia in Colombia, were re-read by four specialized centers in Medellin. Each center was asked to conduct a blind routine reading of the smears to avoid disclosure of information between centers. The reproducibility was measured by percentage agreement and kappa. Results: of 181 smears

  6. Generalizations of the Abstract Boundary singularity theorem

    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.

  7. Strictness Analysis and Denotational Abstract Interpretation

    Nielson, Flemming

    1988-01-01

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

  8. Particle swarm optimisation based video abstraction

    Magda B. Fayk

    2010-04-01

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

  9. Arche papers on the mathematics of abstraction

    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

  10. A Sound Abstraction of the Parsing Problem

    Mödersheim, Sebastian Alexander; Katsoris, Georgios

    2014-01-01

    algebraic model to include these details and define a small, simple language to precisely describe message formats. We support fixed-length fields, variable-length fields with offsets, tags, and encodings into smaller alphabets like Base64, thereby covering both classical formats as in TLS and modern XML...... establish these properties for many practical formats. By replacing the formats with free function symbols we obtain an abstract model that is compatible with all existing verification tools. We prove that the abstraction is sound for un-ambiguous, disjoint formats: there is an attack in the concrete...

  11. Regulatory and technical reports (abstract index journal)

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

  12. Earth Sciences Division collected abstracts: 1979

    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

  13. Abstract Interpretation as a Programming Language

    Rosendahl, Mads

    2013-01-01

    In David Schmidts PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may...... examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus...... as a programming paradigm and be used to write programs in a circular style....

  14. A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

    Een, Niklas; Amla, Nina

    2010-01-01

    This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abstraction (PBA). Unlike previous work, this new method is formulated as a single, incremental SAT-problem, interleaving CBA and PBA to develop the abstraction in a bottom-up fashion. It is argued that the new method is simpler conceptually and implementation-wise than previous approaches. As an added bonus, proof-logging is not required for the PBA part, which allows for a wider set of SAT-solvers to be used.

  15. First-Class Object Sets

    Ernst, Erik

    Typically, objects are monolithic entities with a fixed interface. To increase the flexibility in this area, this paper presents first-class object sets as a language construct. An object set offers an interface which is a disjoint union of the interfaces of its member objects. It may also be used...... for a special kind of method invocation involving multiple objects in a dynamic lookup process. With support for feature access and late-bound method calls object sets are similar to ordinary objects, only more flexible. The approach is made precise by means of a small calculus, and the soundness of...

  16. Equiangular Frames and Signature Sets

    Singh, Preeti

    2009-01-01

    We will present a relation between real equiangular frames and certain special sets in groups which we call signature sets and show that many equiangular frames arise in this manner. Then we will define quasi-signature sets and will examine equiangular frames associated to these subsets of groups. We will extend these results to complex equiangular frames where the inner product between any pair of vectors is a common multiple of a cube root of unity and exhibit equiangular frames that arise from groups in this manner.

  17. Seventeenth symposium on biotechnology for fuels and chemicals. Program and abstracts

    NONE

    1995-05-01

    This volume contains the abstracts of oral and poster presentations made at the Seventeenth Symposium on Biotechnology for Fuels and Chemicals. Session titles include Thermal, Chemical, and Biological Processing; Applied Biological Research; Bioprocessing Research; Special Topics Discussion Groups; Process Economics and Commercialization; and Environmental Biotechnology.

  18. Reducing Abstraction When Learning Graph Theory

    Hazzan, Orit; Hadar, Irit

    2005-01-01

    This article presents research on students' understanding of basic concepts in Graph Theory. Students' understanding is analyzed through the lens of the theoretical framework of reducing abstraction (Hazzan, 1999). As it turns out, in spite of the relative simplicity of the concepts that are introduced in the introductory part of a traditional…

  19. Abstracts: NRC Waste Management Program reports

    Heckman, R.A.; Minichino, C.

    1979-11-01

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

  20. Simulation, Design Abstraction, and SystemC

    Harcourt, Ed

    2007-01-01

    SystemC is a system-level design and simulation language based on C++. We've been using SystemC for computer organization and design projects for the past several years. Because SystemC is embedded in C++ it contains the powerful abstraction mechanisms of C++ not found in traditional hardware description languages, such as support for…

  1. Abstract polymer models with general pair interactions

    Procacci, Aldo

    2007-01-01

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

  2. A Brief Introduction to Chinese Biological Abstracts

    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.

  3. Hubble Exoplanet Pro/Am Collaboration (Abstract)

    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.

  4. Abstracts of the European nuclear medicine congress

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

  5. Embodied cognition, abstract concepts, and body manipulation

    Katinka Dijkstra

    2014-08-01

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

  6. CMP 2012: conference of moldavian physicists. Abstracts

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

  7. Sounding Relationships. Conference programme & Book of abstracts

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

  8. Reductionism, emergence, and levels of abstractions

    Abbott, Russ

    2007-01-01

    Can there be independent higher level laws of nature if everything is reducible to the fundamental laws of physics? The computer science notion of level of abstraction explains why there can -- illustrating how computational thinking can solve one of philosophy's most vexing problems.

  9. Normalization by evaluation with typed abstract syntax

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

    2001-01-01

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

  10. CMP 2009: conference of moldavian physicists. Abstracts

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

  11. Regulatory and technical reports (abstract index journal)

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

  12. Regulatory and technical reports (abstract index journal)

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

  13. Waste management research abstracts No. 18

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

  14. Waste management research abstracts No. 17

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

  15. Regulatory and technical reports (Abstract Index Journal)

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

  16. Advances in nuclear and radiochemistry. Extended abstracts

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

  17. Carbon Monoxide, A Bibliography With Abstracts.

    Cooper, Anna Grossman

    Included is a review of the carbon monoxide related literature published from 1880 to 1966. The 983 references with abstracts are grouped into these broad categories: Analysis, Biological Effects, Blood Chemistry, Control, Criteria and Standards, Instruments and Techniques, Sampling and Network Operations, and Sources. The Biological Effects group…

  18. Abstract algebra an inquiry based approach

    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

  19. Situated Learning in an Abstract Algebra Classroom

    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…

  20. Regulatory and technical reports (Abstract Index Journal)

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