WorldWideScience

Sample records for abstracting code specific

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

  2. AZIMUT code abstract

    The brief description of the AZIMUT code for calculation the neutron flux in a cluster cell is presented. Code takes into account 1 and 2 azimuthal harmonics in the one-group P3-approximation and uses the heterogeneous approach. 2 refs

  3. Computer code abstract: NESTLE

    NESTLE is a few-group neutron diffusion equation solver utilizing the nodal expansion method (NEM) for eigenvalue, adjoint, and fixed-source steady-state and transient problems. The NESTLE code solve the eigenvalue (criticality), eigenvalue adjoint, external fixed-source steady-state, and external fixed-source or eigenvalue initiated transient problems. The eigenvalue problem allows criticality searches to be completed, and the external fixed-source steady-state problem can search to achieve a specified power level. Transient problems model delayed neutrons via precursor groups. Several core properties can be input as time dependent. Two- or four-energy groups can be utilized, with all energy groups being thermal groups (i.e., upscatter exits) is desired. Core geometries modeled include Cartesian and hexagonal. Three-, two-, and one-dimensional models can be utilized with various symmetries. The thermal conditions predicted by the thermal-hydraulic model of the core are used to correct cross sections for temperature and density effects. Cross sections for temperature and density effects. Cross sections are parameterized by color, control rod state (i.e., in or out), and burnup, allowing fuel depletion to be modeled. Either a macroscopic or microscopic model may be employed

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

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

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

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

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

  9. Code of conduct for scientists (abstract)

    The emergence of advanced technologies in the last three decades and extraordinary progress in our knowledge on the basic Physical, Chemical and Biological properties of living matter has offered tremendous benefits to human beings but simultaneously highlighted the need of higher awareness and responsibility by the scientists of 21 century. Scientist is not born with ethics, nor science is ethically neutral, but there are ethical dimensions to scientific work. There is need to evolve an appropriate Code of Conduct for scientist particularly working in every field of Science. However, while considering the contents, promulgation and adaptation of Codes of Conduct for Scientists, a balance is needed to be maintained between freedom of scientists and at the same time some binding on them in the form of Code of Conducts. The use of good and safe laboratory procedures, whether, codified by law or by common practice must also be considered as part of the moral duties of scientists. It is internationally agreed that a general Code of Conduct can't be formulated for all the scientists universally, but there should be a set of 'building blocks' aimed at establishing the Code of Conduct for Scientists either as individual researcher or responsible for direction, evaluation, monitoring of scientific activities at the institutional or organizational level. (author)

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

  11. Design of a specification language by abstract syntax engineering

    Baeten, JCM Jos; Bergstra, JA Jan

    1991-01-01

    In this paper, we design a specification language in an entirely algebraic style. We describe the language in terms of abstract syntax only. We argue that this is the correct approach in language design.

  12. Atlas C++ Coding Standard Specification

    Albrand, S; Barberis, D; Bosman, M; Jones, B; Stavrianakou, M; Arnault, C; Candlin, D; Candlin, R; Franck, E; Hansl-Kozanecka, Traudl; Malon, D; Qian, S; Quarrie, D; Schaffer, R D

    2001-01-01

    This document defines the ATLAS C++ coding standard, that should be adhered to when writing C++ code. It has been adapted from the original "PST Coding Standard" document (http://pst.cern.ch/HandBookWorkBook/Handbook/Programming/programming.html) CERN-UCO/1999/207. The "ATLAS standard" comprises modifications, further justification and examples for some of the rules in the original PST document. All changes were discussed in the ATLAS Offline Software Quality Control Group and feedback from the collaboration was taken into account in the "current" version.

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

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

  15. Formal Methods for Abstract Specifications – A Comparison of Concepts

    Instenberg, Martin; Schneider, Axel; Schnetter, Sabine;

    2006-01-01

    In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. For verification of the system behavior manual...... inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities – UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality....... For this purpose both tools were applied to comparable frameworks....

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

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

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

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

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

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

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

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

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

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

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

  7. 07341 Abstracts Collection -- Code Instrumentation and Modeling for Parallel Performance Analysis

    Hoisie, Adolfy; Miller, Barton P.; Mohr, Bernd

    2007-01-01

    From 20th to 24th August 2007, the Dagstuhl Seminar 07341 ``Code Instrumentation and Modeling for Parallel Performance Analysis'' 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 ...

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

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

  10. Abstracts of digital computer code packages. Assembled by the Radiation Shielding Information Center

    The term ''code package'' is used to describe a miscellaneous grouping of materials which, when interpreted in connection with a digital computer, enables the scientist--user to solve technical problems in the area for which the material was designed. In general, a ''code package'' consists of written material--reports, instructions, flow charts, listings of data, and other useful material and IBM card decks (or, more often, a reel of magnetic tape) on which the source decks, sample problem input (including libraries of data) and the BCD/EBCDIC output listing from the sample problem are written. In addition to the main code, and any available auxiliary routines are also included. The abstract format was chosen to give to a potential code user several criteria for deciding whether or not he wishes to request the code package

  11. Further code validation of Technical Specification Bases

    Personnel from the Applied Physics Group (APG) and from the Reactor Technology Section devised the K-14 reactor restart test program. The primary purpose of that program was to acquire data which could be used to further validate the computer codes which supported the Technical Specification Bases. The test program was highly successful and a large amount of useful data was obtained. DOE has now requested the schedule and plan for the additional code validation activities. A response to DOE was made in which an outline of WSRC's (Westinghouse Savannah River Co.) planned activities was presented, but specifics were not discussed. This memorandum is intended to provide additional details on these activities. The WSRC plan consists of five major activities. The first activity is to catalog and document the measured data. The second activity is to investigate the radial and axial neutron flux distributions. The results from this task will complement the analyses being performed in the final three activities: steady state reactivity effects, transient reactivity effects, and planned an unplanned shutdowns. Work on these activities is scheduled to be completed by the end of the fiscal year 1993

  12. High efficiency video coding coding tools and specification

    Wien, Mathias

    2015-01-01

    The video coding standard High Efficiency Video Coding (HEVC) targets at improved compression performance for video resolutions of HD and beyond, providing Ultra HD video at similar compressed bit rates as for HD video encoded with the well-established video coding standard H.264 | AVC. Based on known concepts, new coding structures and improved coding tools have been developed and specified in HEVC. The standard is expected to be taken up easily by established industry as well as new endeavors, answering the needs of todays connected and ever-evolving online world. This book presents the High Efficiency Video Coding standard and explains it in a clear and coherent language. It provides a comprehensive and consistently written description, all of a piece. The book targets at both, newbies to video coding as well as experts in the field. While providing sections with introductory text for the beginner, it suits as a well-arranged reference book for the expert. The book provides a comprehensive reference for th...

  13. Software Abstractions and Methodologies for HPC Simulation Codes on Future Architectures

    Anshu Dubey

    2014-07-01

    Full Text Available Simulations with multi-physics modeling have become crucial to many science and engineering fields, and multi-physics capable scientific software is as important to these fields as instruments and facilities are to experimental sciences. The current generation of mature multi-physics codes would have sustainably served their target communities with modest amount of ongoing investment for enhancing capabilities. However, the revolution occurring in the hardware architecture has made it necessary to tackle the parallelism and performance management in these codes at multiple levels. The requirements of various levels are often at cross-purposes with one another, and therefore hugely complicate the software design. All of these considerations make it essential to approach this challenge cooperatively as a community. We conducted a series of workshops under an NSF-SI2 conceptualization grant to get input from various stakeholders, and to identify broad approaches that might lead to a solution. In this position paper we detail the major concerns articulated by the application code developers, and emerging trends in utilization of programming abstractions that we found through these workshops.

  14. TBP: Code-Oriented Component Behavior Specification

    Kofroň, Jan; Poch, T.; Šerý, O.

    Los Alamitos : IEEE Computer Society, 2009, s. 75-83. ISBN 978-0-7695-3617-0. [SEW 2008. Annual IEEE/ NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008] Grant ostatní: GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004 Institutional research plan: CEZ:AV0Z10300504 Keywords : software components * behavior specification * model-checking Subject RIV: JC - Computer Hardware ; Software

  15. Compilation of the abstracts of nuclear computer codes available at CPD/IPEN

    A compilation of all computer codes available at IPEN in S.Paulo are presented. These computer codes are classified according to Argonne National Laboratory - and Energy Nuclear Agency schedule. (E.G.)

  16. Hominoid-specific de novo protein-coding genes originating from long non-coding RNAs.

    Chen Xie

    2012-09-01

    Full Text Available Tinkering with pre-existing genes has long been known as a major way to create new genes. Recently, however, motherless protein-coding genes have been found to have emerged de novo from ancestral non-coding DNAs. How these genes originated is not well addressed to date. Here we identified 24 hominoid-specific de novo protein-coding genes with precise origination timing in vertebrate phylogeny. Strand-specific RNA-Seq analyses were performed in five rhesus macaque tissues (liver, prefrontal cortex, skeletal muscle, adipose, and testis, which were then integrated with public transcriptome data from human, chimpanzee, and rhesus macaque. On the basis of comparing the RNA expression profiles in the three species, we found that most of the hominoid-specific de novo protein-coding genes encoded polyadenylated non-coding RNAs in rhesus macaque or chimpanzee with a similar transcript structure and correlated tissue expression profile. According to the rule of parsimony, the majority of these hominoid-specific de novo protein-coding genes appear to have acquired a regulated transcript structure and expression profile before acquiring coding potential. Interestingly, although the expression profile was largely correlated, the coding genes in human often showed higher transcriptional abundance than their non-coding counterparts in rhesus macaque. The major findings we report in this manuscript are robust and insensitive to the parameters used in the identification and analysis of de novo genes. Our results suggest that at least a portion of long non-coding RNAs, especially those with active and regulated transcription, may serve as a birth pool for protein-coding genes, which are then further optimized at the transcriptional level.

  17. Formalization of the Abstract Architecture of MAS Based on FIPA Specification

    Zheng Liwei(郑丽伟); Yu Xueli; Feng Xiufang

    2003-01-01

    The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an abstract architecture from the FIPA based MAS, and gives formalization about it.

  18. A new magnetic bar code system based on a magnetic anisotropy detection (abstract)

    Sasada, I.; Watanabe, N.

    1996-04-01

    Magnetic bar codes can be used in unclean environments, where widely used optical bar code systems cannot be applied. Readout system for magnetic bar codes can also be made much simpler than optical ones. A new magnetic bar code system is proposed, in which binary information is coded in the sign of tilted angles of magnetic strips from a given standard direction. This scheme is unique compared to the conventional optical bar code, where width or space of the parallel pattern carries information, or an already reported magnetic bar code, where cross sectional shapes of pattern engraved in a ferromagnetic body carries information. Each of the magnetic strips brings about magnetic anisotropy due to its shape effect, hence angular dependent permeability in the proximity of the strip. The sign of the tilted angle of each magnetic strip is detected inductively through the angular dependent permeability by using a magnetic pickup head with a pair of cross-coupled figure-eight coils, where the sign of mutual inductance between the primary and the secondary figure-eight coil has one to one relationship to the sign of the tilted angle. Because the detection of the tilted angle is independent of scanning speed, variation in the scanning speed of the readout head does not affect the performance. In our preliminary study, the proposed magnetic bar code system was examined using pickup head consisting of a pair of cross-coupled 10-turn figure-eight coils which was embedded in a rectangular ferrite rod with cross-shape groove on the top surface of 6.5×3 mm dimension. The head was made thinner in the scanning direction to allow dense alignment of the pattern. Two kinds of pattern were made: the one was by aligning short amorphous wires (5 mm in length and 120 μm in diameter) on the plastic film and the other by using a thin (10 μm in thickness) copper film with tilted slits backed by an amorphous ribbon. These samples of magnetic bar code patterns were scanned with lift-off of

  19. The PENELOPE code system. Specific features and recent improvements

    Highlights: • PENELOPE implements state-of-the-art models for electron and photon interactions. • It is characterized by a systematic use of class-II tracking of charged particles. • The code includes elaborate variance reduction methods and flexible geometry tools. - Abstract: Since its first release, back in 1996, the Monte Carlo code system PENELOPE has evolved into both a flexible and reliable tool for describing coupled electron–photon transport in complex material structures. The present article contains an overview of the physical interaction models, particle tracking methods, geometry tools, and variance-reduction techniques implemented in PENELOPE. Recent refinements aimed at improving the accuracy of the code, and its stability under variations of user-defined simulation parameters, are also described. These include the use of reliable cross sections for the ionization of inner atomic electron shells by electron/positron impact, a reformulation of the random-hinge method, and the use of fuzzy quadric surfaces in the description of the geometry

  20. Abstracts of digital computer code packages assembled by the Radiation Shielding Information Center

    This publication, ORNL/RSIC-13, Volumes I to III Revised, has resulted from an internal audit of the first 168 packages of computing technology in the Computer Codes Collection (CCC) of the Radiation Shielding Information Center (RSIC). It replaces the earlier three documents published as single volumes between 1966 to 1972. A significant number of the early code packages were considered to be obsolete and were removed from the collection in the audit process and the CCC numbers were not reassigned. Others not currently being used by the nuclear R and D community were retained in the collection to preserve technology not replaced by newer methods, or were considered of potential value for reference purposes. Much of the early technology, however, has improved through developer/RSIC/user interaction and continues at the forefront of the advancing state-of-the-art

  1. The Feedback-related Negativity Codes Components of Abstract Inference during Reward-based Decision-making.

    Reiter, Andrea M F; Koch, Stefan P; Schröger, Erich; Hinrichs, Hermann; Heinze, Hans-Jochen; Deserno, Lorenz; Schlagenhauf, Florian

    2016-08-01

    Behavioral control is influenced not only by learning from the choices made and the rewards obtained but also by "what might have happened," that is, inference about unchosen options and their fictive outcomes. Substantial progress has been made in understanding the neural signatures of direct learning from choices that are actually made and their associated rewards via reward prediction errors (RPEs). However, electrophysiological correlates of abstract inference in decision-making are less clear. One seminal theory suggests that the so-called feedback-related negativity (FRN), an ERP peaking 200-300 msec after a feedback stimulus at frontocentral sites of the scalp, codes RPEs. Hitherto, the FRN has been predominantly related to a so-called "model-free" RPE: The difference between the observed outcome and what had been expected. Here, by means of computational modeling of choice behavior, we show that individuals employ abstract, "double-update" inference on the task structure by concurrently tracking values of chosen stimuli (associated with observed outcomes) and unchosen stimuli (linked to fictive outcomes). In a parametric analysis, model-free RPEs as well as their modification because of abstract inference were regressed against single-trial FRN amplitudes. We demonstrate that components related to abstract inference uniquely explain variance in the FRN beyond model-free RPEs. These findings advance our understanding of the FRN and its role in behavioral adaptation. This might further the investigation of disturbed abstract inference, as proposed, for example, for psychiatric disorders, and its underlying neural correlates. PMID:27031567

  2. Interoperable domain-specific languages families for code generation

    Malohlava, M.; Plášil, F.; Bureš, Tomáš; Hnětynka, P.

    2013-01-01

    Roč. 43, č. 5 (2013), s. 479-499. ISSN 0038-0644 R&D Projects: GA ČR GD201/09/H057 EU Projects: European Commission(XE) ASCENS 257414 Grant ostatní: GA AV ČR(CZ) GAP103/11/1489 Institutional research plan: CEZ:AV0Z10300504 Keywords : code generation * domain specific languages * models reuse * extensible languages * specification * program synthesis Subject RIV: JC - Computer Hardware ; Software Impact factor: 1.148, year: 2013

  3. ERP evidence for hemispheric asymmetries in abstract but not exemplar-specific repetition priming.

    Küper, Kristina; Liesefeld, Anna M; Zimmer, Hubert D

    2015-12-01

    Implicit memory retrieval is thought to be exemplar-specific in the right hemisphere (RH) but abstract in the left hemisphere (LH). Yet, conflicting behavioral priming results illustrate that the level at which asymmetries take effect is difficult to pinpoint. In the present divided visual field experiment, we tried to address this issue by analyzing ERPs in addition to behavioral measures. Participants made a natural/artificial decision on lateralized visual objects that were either new, identical repetitions, or different exemplars of studied items. Hemispheric asymmetries did not emerge in either behavioral or late positive complex (LPC) priming effects, but did affect the process of implicit memory retrieval proper as indexed by an early frontal negativity (N350/(F)N400). Whereas exemplar-specific N350/(F)N400 priming effects emerged irrespective of presentation side, abstract implicit memory retrieval of different exemplars was contingent on right visual field presentation and the ensuing initial stimulus processing by the LH. PMID:26399379

  4. An automatic method to generate domain-specific investigator networks using PubMed abstracts

    Gwinn Marta

    2007-06-01

    web-based prototype capable of creating domain-specific investigator networks based on an application that accurately generates detailed investigator profiles from PubMed abstracts combined with robust standard vocabularies. This approach could be used for other biomedical fields to efficiently establish domain-specific investigator networks.

  5. A Study of Applications of Multiagent System Specifications and the Key Techniques in Automatic Abstracts System

    2001-01-01

    In this thesis, multiagent system specifications, multiagent system architecture s , agent communication languages and agent communication protocols, automatic abs tracting based on multiagent technologies are studied. Some concerned problems o f designs and realization of automatic abstracting systems based on multiagent t echnologies are studied, too. Chapter 1 shows the significance and objectives of the thesis, its main contents are summarized, and innovations of the thesis are showed. Some basic concepts of agents and multiagent systems are studied in Cha pter 2. The definitions of agents and multiagent systems are given, and the theo ry, technologies and applications of multiagent systems are summarized. Furtherm ore, some important studying trends of multiagent systems are set forward. Multi agent system specifications are studied in Chapter 3. MAS/KIB—a multiagent syst em specification is built using mental states such as K(Know), B(Belief) , and I(Intention), its grammar and semanteme are discussed, axioms and infe rence rules are given, and some properties are researched. We also compare MAS/K IB with other existing specifications. MAS/KIB has the following characteristics : (1) each agent has its own world outlook; (2) no global data in the system; (3 ) processes of state changes are used as indexes to systems; (4) it has the char acteristics of not only time series logic but also dynamic logic; and (5) intera ctive actions are included. The architectures of multiagent systems are studied in Chapter 4. First, we review some typical architecture of multiagent systems, agent network architecture, agent federated architecture, agent blackboard archi tecture, and Foundation of Intelligent Physical Agent(FIPA) architecture. For th e first time, we set forward and study the layering and partitioning models of t he architectures of multiagent systems, organizing architecture models, and inte roperability architecture model of multiagent

  6. Conflicting demands of abstract and specific visual object processing resolved by frontoparietal networks.

    McMenamin, Brenton W; Marsolek, Chad J; Morseth, Brianna K; Speer, MacKenzie F; Burton, Philip C; Burgund, E Darcy

    2016-06-01

    Object categorization and exemplar identification place conflicting demands on the visual system, yet humans easily perform these fundamentally contradictory tasks. Previous studies suggest the existence of dissociable visual processing subsystems to accomplish the two abilities-an abstract category (AC) subsystem that operates effectively in the left hemisphere and a specific exemplar (SE) subsystem that operates effectively in the right hemisphere. This multiple subsystems theory explains a range of visual abilities, but previous studies have not explored what mechanisms exist for coordinating the function of multiple subsystems and/or resolving the conflicts that would arise between them. We collected functional MRI data while participants performed two variants of a cue-probe working memory task that required AC or SE processing. During the maintenance phase of the task, the bilateral intraparietal sulcus (IPS) exhibited hemispheric asymmetries in functional connectivity consistent with exerting proactive control over the two visual subsystems: greater connectivity to the left hemisphere during the AC task, and greater connectivity to the right hemisphere during the SE task. Moreover, probe-evoked activation revealed activity in a broad frontoparietal network (containing IPS) associated with reactive control when the two visual subsystems were in conflict, and variations in this conflict signal across trials was related to the visual similarity of the cue-probe stimulus pairs. Although many studies have confirmed the existence of multiple visual processing subsystems, this study is the first to identify the mechanisms responsible for coordinating their operations. PMID:26883940

  7. Generating Safety-Critical PLC Code From a High-Level Application Software Specification

    2008-01-01

    The benefits of automatic-application code generation are widely accepted within the software engineering community. These benefits include raised abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at Kennedy Space Center recognized the need for PLC code generation while developing the new ground checkout and launch processing system, called the Launch Control System (LCS). Engineers developed a process and a prototype software tool that automatically translates a high-level representation or specification of application software into ladder logic that executes on a PLC. All the computer hardware in the LCS is planned to be commercial off the shelf (COTS), including industrial controllers or PLCs that are connected to the sensors and end items out in the field. Most of the software in LCS is also planned to be COTS, with only small adapter software modules that must be developed in order to interface between the various COTS software products. A domain-specific language (DSL) is a programming language designed to perform tasks and to solve problems in a particular domain, such as ground processing of launch vehicles. The LCS engineers created a DSL for developing test sequences of ground checkout and launch operations of future launch vehicle and spacecraft elements, and they are developing a tabular specification format that uses the DSL keywords and functions familiar to the ground and flight system users. The tabular specification format, or tabular spec, allows most ground and flight system users to document how the application software is intended to function and requires little or no software programming knowledge or experience. A small sample from a prototype tabular spec application is

  8. An automatic method to generate domain-specific investigator networks using PubMed abstracts

    Gwinn Marta; Qu Junfeng; Wulf Anja; Yesupriya Ajay; Yu Wei; Khoury Muin J

    2007-01-01

    Abstract Background Collaboration among investigators has become critical to scientific research. This includes ad hoc collaboration established through personal contacts as well as formal consortia established by funding agencies. Continued growth in online resources for scientific research and communication has promoted the development of highly networked research communities. Extending these networks globally requires identifying additional investigators in a given domain, profiling their ...

  9. Software requirements specification document for the AREST code development

    The Analysis of the Repository Source Term (AREST) computer code was selected in 1992 by the U.S. Department of Energy. The AREST code will be used to analyze the performance of an underground high level nuclear waste repository. The AREST code is being modified by the Pacific Northwest Laboratory (PNL) in order to evaluate the engineered barrier and waste package designs, model regulatory compliance, analyze sensitivities, and support total systems performance assessment modeling. The current version of the AREST code was developed to be a very useful tool for analyzing model uncertainties and sensitivities to input parameters. The code has also been used successfully in supplying source-terms that were used in a total systems performance assessment. The current version, however, has been found to be inadequate for the comparison and selection of a design for the waste package. This is due to the assumptions and simplifications made in the selection of the process and system models. Thus, the new version of the AREST code will be designed to focus on the details of the individual processes and implementation of more realistic models. This document describes the requirements of the new models that will be implemented. Included in this document is a section describing the near-field environmental conditions for this waste package modeling, description of the new process models that will be implemented, and a description of the computer requirements for the new version of the AREST code

  10. Recording and Replaying System Specific, Source Code Transformations

    Santos, Gustavo; Etien, Anne; Anquetil, Nicolas; Ducasse, Stéphane; Tulio Valente, Marco

    2015-01-01

    International audience During its lifetime, a software system is under continuous maintenance to remain useful. Maintenance can be achieved in activities such as adding new features, fixing bugs, improving the system's structure, or adapting to new APIs. In such cases, developers sometimes perform sequences of code changes in a systematic way. These sequences consist of small code changes (e.g., create a class, then extract a method to this class), which are applied to groups of related co...

  11. Are the products of statistical learning abstract or stimulus-specific?

    Athena eVouloumanos

    2012-03-01

    Full Text Available Learners segment potential lexical units from syllable streams when statistically variable transitional probabilities between adjacent syllables are the only cues to word boundaries. Here we examine the nature of the representations that result from statistical learning by assessing learners’ ability to generalize across acoustically different stimuli. In three experiments, we investigate limitations on the outcome of statistical learning by considering two possibilities: that the products of statistical segmentation processes are abstract and generalizable representations, or, alternatively, that products of statistical learning are stimulus-bound and restricted to perceptually similar instances. In Experiment 1, learners segmented units from statistically predictable streams, and recognized these units when they were acoustically transformed by temporal reversals. In Experiment 2, learners were able to segment units from temporally reversed syllable streams, but were only able to generalize in conditions of mild acoustic transformation. In Experiment 3, learners were able to recognize statistically segmented units after a voice change but were unable to do so when the novel voice was mildly distorted. Together these results suggest that representations that result from statistical learning can be abstracted to some degree, but not in all listening conditions.

  12. Heat pipe design handbook, part 2. [digital computer code specifications

    Skrabek, E. A.

    1972-01-01

    The utilization of a digital computer code for heat pipe analysis and design (HPAD) is described which calculates the steady state hydrodynamic heat transport capability of a heat pipe with a particular wick configuration, the working fluid being a function of wick cross-sectional area. Heat load, orientation, operating temperature, and heat pipe geometry are specified. Both one 'g' and zero 'g' environments are considered, and, at the user's option, the code will also perform a weight analysis and will calculate heat pipe temperature drops. The central porous slab, circumferential porous wick, arterial wick, annular wick, and axial rectangular grooves are the wick configurations which HPAD has the capability of analyzing. For Vol. 1, see N74-22569.

  13. The PENELOPE code system. Specific features and recent improvements

    Since its first release, back in 1996, the Monte Carlo code system PENELOPE has evolved into a flexible and reliable tool for describing coupled electron-photon transport in complex material structures. The present article contains an overview of the physical interaction models, particle tracking methods, geometry tools, and variance-reduction techniques implemented in PENELOPE. Recent refinements aimed at improving the accuracy of the code, and its stability under variations of user-defined simulation parameters, are also described. These include the use of reliable cross sections for the ionization of inner atomic electron shells by electron/positron impact, a reformulation of the random-hinge method, and the use of fuzzy quadric surfaces in the description of the geometry. (author)

  14. COMPETITIVE METAGENOMIC DNA HYBRIDIZATION IDENTIFIES HOST-SPECIFIC GENETIC MARKERS IN CATTLE FECAL SAMPLES - ABSTRACT

    Several PCR methods have recently been developed to identify fecal contamination in surface waters. In all cases, researchers have relied on one gene or one microorganism for selection of host specific markers. Here, we describe the application of a genome fragment enrichment met...

  15. Automated Verification of Code Generated from Models: Comparing Specifications with Observations

    Gerlich, R.; Sigg, D.; Gerlich, R.

    2008-08-01

    The interest for automatic code generation from models is increasing. A specification is expressed as model and verification and validation is performed in the application domain. Once the model is formally correct and complete, code can be generated automatically. The general belief is that this code should be correct as well. However, this might be not true: Many parameters impact the generation of code and its correctness: it depends on conditions changing from application to application, the properties of the code depend on the environment where it is executed. From the principles of ISVV (Independent Software Verification and Validation) it even must be doubted that the automatically generated code is correct. Therefore an additional activity is required proving the correctness of the whole chain from modelling level down to execution on the target platform. Certification of a code generator is the state-of-the-art approach dealing with such risks,. Scade [1] was the first code generator certified according to DO178B. The certification costs are a significant disadvantage of this certification approach. All codes needs to be analysed manually, and this procedure has to be repeated for recertification after each maintenance step. But certification does not guarantee at all that the generated code does comply with the model. Certification is based on compliance of the code of the code generator with given standards. Such compliance never can guarantee correctness of the whole chain through transformation down to the environment for execution, though the belief is that certification implies well-formed code at a reduced fault rate. The approach presented here goes a direction different from manual certification.. It is guided by the idea of automated proof: each time code is generated from a model the properties of the code when being executed in its environment are compared with the properties specified in the model. This allows to conclude on the correctness of

  16. Experimental Study of Application Specific Source Coding for Wireless Sensor Networks

    Annamalai, Muthiah; Shrestha, Darshan; Tjuatja, Saibun

    2008-01-01

    The energy bottleneck in Wireless Sensor Network(WSN) can be reduced by limiting communication overhead. Application specific source coding schemes for the sensor networks provide fewer bits to represent the same amount of information exploiting the redundancy present in the source model, network architecture and the physical process. This paper reports the performance of representative codes from various families of source coding schemes (lossless, lossy, constant bit-rate, variable bit-rate...

  17. Application of software quality assurance to a specific scientific code development task

    This paper describes an application of software quality assurance to a specific scientific code development program. The software quality assurance program consists of three major components: administrative control, configuration management, and user documentation. The program attempts to be consistent with existing local traditions of scientific code development while at the same time providing a controlled process of development

  18. Domain-specific modeling enabling full code generation

    Kelly, Steven

    2007-01-01

    Domain-Specific Modeling (DSM) is the latest approach tosoftware development, promising to greatly increase the speed andease of software creation. Early adopters of DSM have been enjoyingproductivity increases of 500–1000% in production for over adecade. This book introduces DSM and offers examples from variousfields to illustrate to experienced developers how DSM can improvesoftware development in their teams. Two authorities in the field explain what DSM is, why it works,and how to successfully create and use a DSM solution to improveproductivity and quality. Divided into four parts, the book covers:background and motivation; fundamentals; in-depth examples; andcreating DSM solutions. There is an emphasis throughout the book onpractical guidelines for implementing DSM, including how toidentify the nece sary language constructs, how to generate fullcode from models, and how to provide tool support for a new DSMlanguage. The example cases described in the book are available thebook's Website, www.dsmbook....

  19. Reaction rate constants of H-abstraction by OH from large ketones: Measurements and site-specific rate rules

    Badra, Jihad

    2014-01-01

    Reaction rate constants of the reaction of four large ketones with hydroxyl (OH) are investigated behind reflected shock waves using OH laser absorption. The studied ketones are isomers of hexanone and include 2-hexanone, 3-hexanone, 3-methyl-2-pentanone, and 4-methl-2-pentanone. Rate constants are measured under pseudo-first-order kinetics at temperatures ranging from 866 K to 1375 K and pressures near 1.5 atm. The reported high-temperature rate constant measurements are the first direct measurements for these ketones under combustion-relevant conditions. The effects of the position of the carbonyl group (CO) and methyl (CH3) branching on the overall rate constant with OH are examined. Using previously published data, rate constant expressions covering, low-to-high temperatures, are developed for acetone, 2-butanone, 3-pentanone, and the hexanone isomers studied here. These Arrhenius expressions are used to devise rate rules for H-abstraction from various sites. Specifically, the current scheme is applied with good success to H-abstraction by OH from a series of n-ketones. Finally, general expressions for primary and secondary site-specific H-abstraction by OH from ketones are proposed as follows (the subscript numbers indicate the number of carbon atoms bonded to the next-nearest-neighbor carbon atom, the subscript CO indicates that the abstraction is from a site next to the carbonyl group (CO), and the prime is used to differentiate different neighboring environments of a methylene group):P1,CO = 7.38 × 10-14 exp(-274 K/T) + 9.17 × 10-12 exp(-2499 K/T) (285-1355 K)S10,CO = 1.20 × 10-11 exp(-2046 K/T) + 2.20 × 10-13 exp(160 K/T) (222-1464 K)S11,CO = 4.50 × 10-11 exp(-3000 K/T) + 8.50 × 10-15 exp(1440 K/T) (248-1302 K)S11′,CO = 3.80 × 10-11 exp(-2500 K/T) + 8.50 × 10-15 exp(1550 K/T) (263-1370 K)S 21,CO = 5.00 × 10-11 exp(-2500 K/T) + 4.00 × 10-13 exp(775 K/T) (297-1376 K) © 2014 the Partner Organisations.

  20. Experimental Study of Application Specific Source Coding for Wireless Sensor Networks

    Annamalai, Muthiah; Tjuatja, Saibun

    2008-01-01

    The energy bottleneck in Wireless Sensor Network(WSN) can be reduced by limiting communication overhead. Application specific source coding schemes for the sensor networks provide fewer bits to represent the same amount of information exploiting the redundancy present in the source model, network architecture and the physical process. This paper reports the performance of representative codes from various families of source coding schemes (lossless, lossy, constant bit-rate, variable bit-rate, distributed and joint encoding/decoding) in terms of energy consumed, bit-rate achieved, quantization-error/reconstruction-error, latency and complexity of encoder-decoder(codec). A reusable frame work for testing source codes is provided. Finally we propose a set of possible applications and suitable source codes in terms of these parameters.

  1. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines

    Danvy, Olivier

    2009-01-01

    We derive two big-step abstract machines, a natural semantics, and the valuation function of a denotational semantics based on the small-step abstract machine for Core Scheme presented by Clinger at PLDI'98. Starting from a functional implementation of this small-step abstract machine, (1) we fuse...

  2. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines

    Danvy, Olivier

    2008-01-01

    We derive two big-step abstract machines, a natural semantics, and the valuation function of a denotational semantics based on the small-step abstract machine for Core Scheme presented by Clinger at PLDI'98. Starting from a functional implementation of this small-step abstract machine, (1) we fuse...

  3. Site-specific reaction rate constant measurements for various secondary and tertiary H-abstraction by OH radicals

    Badra, Jihad

    2015-02-01

    Reaction rate constants for nine site-specific hydrogen atom (H) abstraction by hydroxyl radicals (OH) have been determined using experimental measurements of the rate constants of Alkane+OH→Products reactions. Seven secondary (S 20, S 21, S 22, S 30, S 31, S 32, and S 33) and two tertiary (T 100 and T 101) site-specific rate constants, where the subscripts refer to the number of carbon atoms (C) connected to the next-nearest-neighbor (N-N-N) C atom, were obtained for a wide temperature range (250-1450K). This was done by measuring the reaction rate constants for H abstraction by OH from a series of carefully selected large branched alkanes. The rate constant of OH with four different alkanes, namely 2,2-dimethyl-pentane, 2,4-dimethyl-pentane, 2,2,4-trimethyl-pentane (iso-octane), and 2,2,4,4-tetramethyl-pentane were measured at high temperatures (822-1367K) using a shock tube and OH absorption diagnostic. Hydroxyl radicals were detected using the narrow-line-width ring-dye laser absorption of the R1(5) transition of OH spectrum near 306.69nm.Previous low-temperature rate constant measurements are added to the current data to generate three-parameter rate expressions that successfully represent the available direct measurements over a wide temperature range (250-1450. K). Similarly, literature values of the low-temperature rate constants for the reaction of OH with seven normal and branched alkanes are combined with the recently measured high-temperature rate constants from our group [1]. Subsequent to that, site-specific rate constants for abstractions from various types of secondary and tertiary H atoms by OH radicals are derived and have the following modified Arrhenius expressions:. S20=8.49×10-17T1.52exp(73.4K/T)cm3molecule-1s-1(250-1450K) S21=1.07×10-15T1.07exp(208.3K/T)cm3molecule-1s-1(296-1440K) S22=2.88×10-13T0.41exp(-291.5K/T)cm3molecule-1s-1(272-1311K) S30=3.35×10-18T1.97exp(323.1K/T)cm3molecule-1s-1(250-1366K) S31=1.60×10-18T2.0exp(500.0K/T)cm3

  4. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines

    Biernacka, Małgorzata; Danvy, Olivier

    We present a context-sensitive reduction semantics for a lambda-calculus with explicit substitutions and we show that the functional implementation of this small-step semantics mechanically corresponds to that of the abstract machine for Core Scheme presented by Clinger at PLDI’98, including first-class continuations. Starting from this reduction semantics, (1) we refocus it into a small-step abstract machine; (2) we fuse the transition function of this abstract machine with its driver loop, obtaining a big-step abstract machine which is staged; (3) we compress its corridor transitions, obtaining an eval/continue abstract machine; and (4) we unfold its ground closures, which yields an abstract machine that essentially coincides with Clinger’s machine. This lambda-calculus with explicit substitutions therefore aptly accounts for Core Scheme, including Clinger’s permutations and unpermutations.

  5. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines

    Biernacka, Malgorzata; Danvy, Olivier

    2008-01-01

    We present a context-sensitive reduction semantics for a lambda-calculus with explicit substitutions and store and we show that the functional implementation of this small-step semantics mechanically corresponds to that of an abstract machine. This abstract machine is very close to the abstract...... machine for Core Scheme presented by Clinger at PLDI'98. This lambda-calculus with explicit substitutions and store therefore aptly accounts for Core Scheme....

  6. Development of calculation code of fission products specific activity in primary coolant

    Based on an assumption of that there is a design basis fuel defect level from reactor startup, calculation method of fission products specific activities in primary coolant is studied. Time-dependent nuclide activities in defect fuel are calculated by ORIGEN code, and nuclide releases from the defect fuel are considered. After processed by interface codes, data are used by PCFPA code which is used to calculate nuclide activities in the coolant. PCFPA solves differential equations by unit of decay chain, and totally considers decay's contribution to nuclide activities, and considers different system design between secondary and third generation plants such as AP1000. The method could provide the maximum of specific activity during plant operation and their results are consistent with data in AP1000 DCD(Rev.16). The method could be applicable to shielding design in secondary and third generation plants such as AP1000. (authors)

  7. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines

    Biernacka, Malgorzata; Danvy, Olivier

    2009-01-01

    We present a context-sensitive reduction semantics for a lambmda-calculus with explicit substitutions and we show that the functional implementation of this small-step semantics mechanically corresponds to that of the abstract machine for Core Scheme presented by Clinger at PLDI'98, including first....../continue abstract machine; and (4) we unfold its ground closures, which yields an abstract machine that essentially coincides with Clinger's machine.  This lambda-calculus with explicit substitutions therefore aptly accounts for Core Scheme, including Clinger's permutations and unpermutations....

  8. Specific Monte Carlo code development for nuclear well-logging tool responses

    McPNL is a specific Monte Carlo computer code that has been developed to simulate a pulsed neutron oil well logging tool and uses implicit capture, Russian roulette and statistical estimation techniques as primary variance reduction methods. The code has been validated by benchmarking against six sets of laboratory test pit data on water, limestone and quartz formations with widely varying sets of borehole and formation conditions. McDNL is a specific Monte Carlo computer code that has been developed to simulate a dual-spaced neutron porosity tool. The low counting yield in the far detector of the tool requires the use of biasing schemes to obtain adequate efficiency. Exponential transform and directional biasing techniques have been applied with remarkable success for this problem, along with source biasing, implicit capture, Russian roulette and statistical estimation techniques. The code has been benchmarked against five sets of laboratory test pit data and found to be valid. Correlated sampling can be optionally used in the code to accurately predict the relative change in the detector response due to small perturbations in the formation porosity. (author)

  9. Planning for Evolution in a Production Environment: Migration from a Legacy Geometry Code to an Abstract Geometry Modeling Language in STAR

    Increasingly detailed descriptions of complex detector geometries are required for the simulation and analysis of today's high-energy and nuclear physics experiments. As new tools for the representation of geometry models become available during the course of an experiment, a fundamental challenge arises: how best to migrate from legacy geometry codes developed over many runs to the new technologies, such as the ROOT/TGeo [1] framework, without losing touch with years of development, tuning and validation. One approach, which has been discussed within the community for a number of years, is to represent the geometry model in a higher-level language independent of the concrete implementation of the geometry. The STAR experiment has used this approach to successfully migrate its legacy GEANT 3-era geometry to an Abstract geometry Modelling Language (AgML), which allows us to create both native GEANT 3 and ROOT/TGeo implementations. The language is supported by parsers and a C++ class library which enables the automated conversion of the original source code to AgML, supports export back to the original AgSTAR[5] representation, and creates the concrete ROOT/TGeo geometry implementation used by our track reconstruction software. In this paper we present our approach, design and experience and will demonstrate physical consistency between the original AgSTAR and new AgML geometry representations.

  10. Specific experimental instrumentation and PC codes for magnetic fields numerical simulation

    Lopez C, R.; Chavez A, E.; Gaytan G, E.; Melendez L, L.; Valencia A, R.; Flores O, A. [Instituto Nacional de Investigaciones Nucleares, Mexico City (Mexico)

    1994-12-31

    The specific instrumentation for a security system, plasma diagnostic as well as PC codes for numerical simulation of magnetic fields for toroidal configurations are presented. An automated security system to avoid electric hazards through a robotized arm with a TV chamber is described. For plasma diagnostic purposes a mobile system with an electrical single probe has been constructed, and plasma {eta} characteristic curves have been obtained. The PC codes were used to design the magnetic system of Novillo Tokamak as well as to correct stray magnetic fields inside the chamber; a typical magnetic field pattern is included. (author). 7 refs, 4 figs.

  11. The computer code SEURBNUK/EURDYN (Release 1). Input and output specification

    SEURBNUK/EURODYN is an extension of SEURBNUK-2, a two dimensional, axisymmetric, Eulerian, finite element containment code in which the finite difference thin shell treatment is replaced by a finite element calculation for both thin and thick structures. These codes are designed to model the hydrodynamic development in time of a hypothetical core disruptive accident (HCDA) in a fast breeder reactor. This manual describes the input data specifications needed for the execution of SEURBNUK/EURDYN calculations, with information on output facilities, and aid to users to avoid some common difficulties. (UK)

  12. Specific and Modular Binding Code for Cytosine Recognition in Pumilio/FBF (PUF) RNA-binding Domains*♦

    Dong, Shuyun; Wang, Yang; Cassidy-Amstutz, Caleb; Lu, Gang; Bigler, Rebecca; Jezyk, Mark R.; Li, Chunhua; Hall, Traci M. Tanaka; Wang, Zefeng

    2011-01-01

    Pumilio/fem-3 mRNA-binding factor (PUF) proteins possess a recognition code for bases A, U, and G, allowing designed RNA sequence specificity of their modular Pumilio (PUM) repeats. However, recognition side chains in a PUM repeat for cytosine are unknown. Here we report identification of a cytosine-recognition code by screening random amino acid combinations at conserved RNA recognition positions using a yeast three-hybrid system. This C-recognition code is specific and modular as specificit...

  13. A human-specific de novo protein-coding gene associated with human brain functions.

    Chuan-Yun Li

    2010-03-01

    Full Text Available To understand whether any human-specific new genes may be associated with human brain functions, we computationally screened the genetic vulnerable factors identified through Genome-Wide Association Studies and linkage analyses of nicotine addiction and found one human-specific de novo protein-coding gene, FLJ33706 (alternative gene symbol C20orf203. Cross-species analysis revealed interesting evolutionary paths of how this gene had originated from noncoding DNA sequences: insertion of repeat elements especially Alu contributed to the formation of the first coding exon and six standard splice junctions on the branch leading to humans and chimpanzees, and two subsequent substitutions in the human lineage escaped two stop codons and created an open reading frame of 194 amino acids. We experimentally verified FLJ33706's mRNA and protein expression in the brain. Real-Time PCR in multiple tissues demonstrated that FLJ33706 was most abundantly expressed in brain. Human polymorphism data suggested that FLJ33706 encodes a protein under purifying selection. A specifically designed antibody detected its protein expression across human cortex, cerebellum and midbrain. Immunohistochemistry study in normal human brain cortex revealed the localization of FLJ33706 protein in neurons. Elevated expressions of FLJ33706 were detected in Alzheimer's brain samples, suggesting the role of this novel gene in human-specific pathogenesis of Alzheimer's disease. FLJ33706 provided the strongest evidence so far that human-specific de novo genes can have protein-coding potential and differential protein expression, and be involved in human brain functions.

  14. Specific structural probing of plasmid-coded ribosomal RNAs from Escherichia coli

    Aagaard, C; Rosendahl, G; Dam, M; Powers, T; Douthwaite, S

    1991-01-01

    ribosome population, which consequently hinders direct probing of mutant rRNAs. Here, we describe how nonconserved helical regions of plasmid-coded rRNA have been altered in a manner that preserves their secondary structures while creating new sites for primer extension of mutant rRNAs. This facilitates...... specific biochemical probing of mutagenised rRNA regions despite the background of wild-type molecules. Four priming sites have been made to investigate the structural effects of mutations in the GTPase centre, helix 1200-1250, the peptidyl transferase region and the alpha-sarcin loop of 23S rRNA....

  15. The computer code SEURBNUK/EURDYN (release 1). Input and output specifications

    SEURBNUK-2 is a two-dimensional, axisymmetric, Eulerian, finite difference containment code developed initially by AWRE Aldermaston, AEE Winfrith and JRC-Ispra, and more recently by AEEW, JRC and EIR Wuerenlingen. The numerical procedure adopted in SEURBNUK to solve the hydrodynamic equations is based on the semi-implicit ICE method which itself is an extension of the MAC algorithm. SEURBNUK has a finite difference thin shell treatment for vessels and internal structures of arbitrary shape and includes the effects of the compressibility of the fluid. Fluid flow through porous media and porous structures can also be accommodated. SEURBNUK/EURDYN is an extension of SEURBNUK-2 in which the finite difference thin shell treatment is replaced by a finite element calculation for both thin or thick structures. This has been achieved by coupling the finite element code EURDYN with SEURBNUK-2, allowing the use of conical shell elements and axisymmetric triangular elements. Within the code, the equations of motion for the structures are solved quite separately from those for the fluid, and the timestep for the fluid can be an integer multiple of that for the structures. The interaction of the structures with the fluid is then considered as a modification to the coefficients in the pressure equations, the modifications naturally depending on the behaviour of the structures within the fluid cell. The code is limited to dealing with a single fluid, the coolant, and the bubble and the cover gas are treated as cavities of uniform pressure calculated via appropriate pressure-volume-energy relationships. This manual describes the input data specifications needed for the execution of SEURBNUK/EURDYN calculations. After explaining the output facilities information is included to aid users to avoid some common pit-falls. (author)

  16. Analysis of genetic code ambiguity arising from nematode-specific misacylated tRNAs.

    Kiyofumi Hamashima

    Full Text Available The faithful translation of the genetic code requires the highly accurate aminoacylation of transfer RNAs (tRNAs. However, it has been shown that nematode-specific V-arm-containing tRNAs (nev-tRNAs are misacylated with leucine in vitro in a manner that transgresses the genetic code. nev-tRNA(Gly (CCC and nev-tRNA(Ile (UAU, which are the major nev-tRNA isotypes, could theoretically decode the glycine (GGG codon and isoleucine (AUA codon as leucine, causing GGG and AUA codon ambiguity in nematode cells. To test this hypothesis, we investigated the functionality of nev-tRNAs and their impact on the proteome of Caenorhabditis elegans. Analysis of the nucleotide sequences in the 3' end regions of the nev-tRNAs showed that they had matured correctly, with the addition of CCA, which is a crucial posttranscriptional modification required for tRNA aminoacylation. The nuclear export of nev-tRNAs was confirmed with an analysis of their subcellular localization. These results show that nev-tRNAs are processed to their mature forms like common tRNAs and are available for translation. However, a whole-cell proteome analysis found no detectable level of nev-tRNA-induced mistranslation in C. elegans cells, suggesting that the genetic code is not ambiguous, at least under normal growth conditions. Our findings indicate that the translational fidelity of the nematode genetic code is strictly maintained, contrary to our expectations, although deviant tRNAs with misacylation properties are highly conserved in the nematode genome.

  17. Abstract and Lexically Specific Information in Sound Patterns: Evidence from /r/-sandhi in Rhotic and Non-rhotic Varieties of English.

    Cohen-Goldberg, Ariel M

    2015-12-01

    Phonological theories differ as to whether phonological knowledge is abstract (e.g., phonemic), concrete (e.g., exemplar-based), or some combination of the two. The abstractness/concreteness of phonological knowledge was examined by analyzing the process of /r/-sandhi in two corpora of spoken English. Two predictions of exemplar-based theories were examined: the extent to which a word manifests a particular sound pattern like /r/-deletion should be influenced by (1) its lexical frequency and (2) its distribution in the language with respect to the sound pattern's conditioning environment. Lexical frequency was found to influence /r/-sandhi in a corpus of rhotic American English but not in a corpus of predominantly non-rhotic British English. No effect of a word's long-term distribution was found in either corpus. These results support theories proposing that phonological knowledge is both word-specific and abstract and indicate that speakers do not store all phonetic detail that is in principle available to them. The factors that may favor the use of word-specific versus abstract representations are discussed. PMID:27483743

  18. STELLA: A domain-specific embedded language for stencil codes on structured grids

    Gysi, Tobias; Fuhrer, Oliver; Osuna, Carlos; Cumming, Benjamin; Schulthess, Thomas

    2014-05-01

    Adapting regional weather and climate models (RCMs) for hybrid many-core computing architectures is a formidable challenge. Achieving high performance on different supercomputing architectures while retaining a single source code are often perceived as contradicting goals. Typically, the numerical algorithms employed are tightly inter-twined with hardware dependent implementation choices and optimizations such as for example data-structures and loop order. While Fortran is currently the de-facto standard for programming RCMs, no single such standard for porting such models to graphics processing units (GPUs) has yet emerged. The approaches used can be grouped into three main categories: compiler directives (OpenACC, PGI compiler directives), custom programming languages (CUDA, OpenCL) and domain-specific libraries or languages. STELLA (STencil Loop LAnguage) is a domain-specific embedded language (DSEL) built using generic programming in C++ which is targeted at stencil codes on structured grids. It allows a high-level specification of the algorithm while separating hardware dependent implementation details into back-ends. Currently, a back-end for multi-core CPUs using the OpenMP programming model and a back-end for NVIDIA GPUs using the CUDA programming mode has been developed. We will present the domain-specific language and its features such as software managed caching. With the example of an implementation of the dynamical core of a RCM (COSMO) we will compare performance with respect to the original Fortran implementation both on both CPUs and GPUs. Finally, we will discuss advantages and disadvantages of our approach as compared to other approaches such as source-to-source translators.

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

  20. Geometrical modification transfer between specific meshes of each coupled physical codes. Application to the Jules Horowitz research reactor experimental devices

    The CEA develops and uses scientific software, called physical codes, in various physical disciplines to optimize installation and experimentation costs. During a study, several physical phenomena interact, so a code coupling and some data exchanges between different physical codes are required. Each physical code computes on a particular geometry, usually represented by a mesh composed of thousands to millions of elements. This PhD Thesis focuses on the geometrical modification transfer between specific meshes of each coupled physical code. First, it presents a physical code coupling method where deformations are computed by one of these codes. Next, it discusses the establishment of a model, common to different physical codes, grouping all the shared data. Finally, it covers the deformation transfers between meshes of the same geometry or adjacent geometries. Geometrical modifications are discrete data because they are based on a mesh. In order to permit every code to access deformations and to transfer them, a continuous representation is computed. Two functions are developed, one with a global support, and the other with a local support. Both functions combine a simplification method and a radial basis function network. A whole use case is dedicated to the Jules Horowitz reactor. The effect of differential dilatations on experimental device cooling is studied. (author)

  1. Site-Specific Rate Constant Measurements for Primary and Secondary H- and D-Abstraction by OH Radicals: Propane and n -Butane

    Badra, Jihad

    2014-07-03

    Site-specific rate constants for hydrogen (H) and deuterium (D) abstraction by hydroxyl (OH) radicals were determined experimentally by monitoring the reaction of OH with two normal and six deuterated alkanes. The studied alkanes include propane (C3H8), propane 2,2 D2 (CH 3CD2CH3), propane 1,1,1-3,3,3 D6 (CD 3CH2CD3), propane D8 (C3D 8), n-butane (n-C4H10), butane 2,2-3,3 D4 (CH3CD2CD2CH3), butane 1,1,1-4,4,4 D6 (CD3CH2CH2CD3), and butane D10 (C4D10). Rate constant measurements were carried out over 840-1470 K and 1.2-2.1 atm using a shock tube and OH laser absorption. Previous low-temperature data were combined with the current high-temperature measurements to generate three-parameter fits which were then used to determine the site-specific rate constants. Two primary (P1,H and P 1,D) and four secondary (S00,H, S00,D, S 01,H, and S01,D) H- and D-abstraction rate constants, in which the subscripts refer to the number of C atoms connected to the next-nearest-neighbor C atom, are obtained. The modified Arrhenius expressions for the six site-specific abstractions by OH radicals are P1,H = 1.90 × 10-18T2.00 exp(-340.87 K/T) cm 3molecule-1s-1 (210-1294 K); P1,D= 2.72 × 10-17 T1.60 exp(-895.57 K/T) cm 3molecule-1s-1 (295-1317 K); S00,H = 4.40 × 10-18 T1.93 exp(121.50 K/T) cm 3molecule-1s-1 (210-1294 K); S00,D = 1.45 × 10-20 T2.69 exp(282.36 K/T) cm 3molecule-1s-1 (295-1341 K); S01,H = 4.65 × 10-17 T1.60 exp(-236.98 K/T) cm 3molecule-1s-1 (235-1407 K); S01,D = 1.26 × 10-18 T2.07 exp(-77.00 K/T) cm 3molecule-1s-1 (294-1412 K). © 2014 American Chemical Society.

  2. Coding of meaningful concepts in lymphedema-specific questionnaires with the ICF

    Viehoff, P.B.; Hidding, J.T.; Heerkens, Y.F.; Ravensberg, C.D. van; Neumann, H.A.

    2013-01-01

    Abstract Purpose: To identify and quantify the meaningful concepts within questionnaires focusing on lymphedema using the International Classification of Functioning, Disability and Health (ICF). Methods: Electronic searches of Medline, EMBASE, CINAHL, CENtral and Pedro (2005-2010) were conducted. T

  3. Specific and modular binding code for cytosine recognition in Pumilio/FBF (PUF) RNA-binding domains.

    Dong, Shuyun; Wang, Yang; Cassidy-Amstutz, Caleb; Lu, Gang; Bigler, Rebecca; Jezyk, Mark R; Li, Chunhua; Hall, Traci M Tanaka; Wang, Zefeng

    2011-07-29

    Pumilio/fem-3 mRNA-binding factor (PUF) proteins possess a recognition code for bases A, U, and G, allowing designed RNA sequence specificity of their modular Pumilio (PUM) repeats. However, recognition side chains in a PUM repeat for cytosine are unknown. Here we report identification of a cytosine-recognition code by screening random amino acid combinations at conserved RNA recognition positions using a yeast three-hybrid system. This C-recognition code is specific and modular as specificity can be transferred to different positions in the RNA recognition sequence. A crystal structure of a modified PUF domain reveals specific contacts between an arginine side chain and the cytosine base. We applied the C-recognition code to design PUF domains that recognize targets with multiple cytosines and to generate engineered splicing factors that modulate alternative splicing. Finally, we identified a divergent yeast PUF protein, Nop9p, that may recognize natural target RNAs with cytosine. This work deepens our understanding of natural PUF protein target recognition and expands the ability to engineer PUF domains to recognize any RNA sequence. PMID:21653694

  4. Specific and Modular Binding Code for Cytosine Recognition in Pumilio/FBF (PUF) RNA-binding Domains

    Dong, Shuyun; Wang, Yang; Cassidy-Amstutz, Caleb; Lu, Gang; Bigler, Rebecca; Jezyk, Mark R.; Li, Chunhua; Tanaka Hall, Traci M.; Wang, Zefeng (NIH); (Beijing U); (UNC)

    2011-10-28

    Pumilio/fem-3 mRNA-binding factor (PUF) proteins possess a recognition code for bases A, U, and G, allowing designed RNA sequence specificity of their modular Pumilio (PUM) repeats. However, recognition side chains in a PUM repeat for cytosine are unknown. Here we report identification of a cytosine-recognition code by screening random amino acid combinations at conserved RNA recognition positions using a yeast three-hybrid system. This C-recognition code is specific and modular as specificity can be transferred to different positions in the RNA recognition sequence. A crystal structure of a modified PUF domain reveals specific contacts between an arginine side chain and the cytosine base. We applied the C-recognition code to design PUF domains that recognize targets with multiple cytosines and to generate engineered splicing factors that modulate alternative splicing. Finally, we identified a divergent yeast PUF protein, Nop9p, that may recognize natural target RNAs with cytosine. This work deepens our understanding of natural PUF protein target recognition and expands the ability to engineer PUF domains to recognize any RNA sequence.

  5. Specific and Modular Binding Code for Cytosine Recognition in Pumilio/FBF (PUF) RNA-binding Domains*♦

    Dong, Shuyun; Wang, Yang; Cassidy-Amstutz, Caleb; Lu, Gang; Bigler, Rebecca; Jezyk, Mark R.; Li, Chunhua; Hall, Traci M. Tanaka; Wang, Zefeng

    2011-01-01

    Pumilio/fem-3 mRNA-binding factor (PUF) proteins possess a recognition code for bases A, U, and G, allowing designed RNA sequence specificity of their modular Pumilio (PUM) repeats. However, recognition side chains in a PUM repeat for cytosine are unknown. Here we report identification of a cytosine-recognition code by screening random amino acid combinations at conserved RNA recognition positions using a yeast three-hybrid system. This C-recognition code is specific and modular as specificity can be transferred to different positions in the RNA recognition sequence. A crystal structure of a modified PUF domain reveals specific contacts between an arginine side chain and the cytosine base. We applied the C-recognition code to design PUF domains that recognize targets with multiple cytosines and to generate engineered splicing factors that modulate alternative splicing. Finally, we identified a divergent yeast PUF protein, Nop9p, that may recognize natural target RNAs with cytosine. This work deepens our understanding of natural PUF protein target recognition and expands the ability to engineer PUF domains to recognize any RNA sequence. PMID:21653694

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

  7. Poly(A) code analyses reveal key determinants for tissue-specific mRNA alternative polyadenylation.

    Weng, Lingjie; Li, Yi; Xie, Xiaohui; Shi, Yongsheng

    2016-06-01

    mRNA alternative polyadenylation (APA) is a critical mechanism for post-transcriptional gene regulation and is often regulated in a tissue- and/or developmental stage-specific manner. An ultimate goal for the APA field has been to be able to computationally predict APA profiles under different physiological or pathological conditions. As a first step toward this goal, we have assembled a poly(A) code for predicting tissue-specific poly(A) sites (PASs). Based on a compendium of over 600 features that have known or potential roles in PAS selection, we have generated and refined a machine-learning algorithm using multiple high-throughput sequencing-based data sets of tissue-specific and constitutive PASs. This code can predict tissue-specific PASs with >85% accuracy. Importantly, by analyzing the prediction performance based on different RNA features, we found that PAS context, including the distance between alternative PASs and the relative position of a PAS within the gene, is a key feature for determining the susceptibility of a PAS to tissue-specific regulation. Our poly(A) code provides a useful tool for not only predicting tissue-specific APA regulation, but also for studying its underlying molecular mechanisms. PMID:27095026

  8. The specific purpose Monte Carlo code McENL for simulating the response of epithermal neutron lifetime well logging tools

    A new specific purpose Monte Carlo code called McENL for modeling the time response of epithermal neutron lifetime tools is described. The code was developed so that the Monte Carlo neophyte can easily use it. A minimum amount of input preparation is required and specified fixed values of the parameters used to control the code operation can be used. The weight windows technique, employing splitting and Russian Roulette, is used with an automated importance function based on the solution of an adjoint diffusion model to improve the code efficiency. Complete composition and density correlated sampling is also included in the code and can be used to study the effect on tool response of small variations in the formation, borehole, or logging tool composition and density. An illustration of the latter application is given here for the density of a thermal neutron filter. McENL was benchmarked against test-pit data for the Mobil pulsed neutron porosity (PNP) tool and found to be very accurate. Results of the experimental validation and details of code performance are presented

  9. comments to the judicial enforcement of injunctions requiring a person to do or cease doing specific actions in the new brazilian Civil Procedure Code

    Flávia Pereira Hill

    2015-06-01

    Full Text Available The present study analyses the judicial enforcement of injunctions requiring a person to do or cease doing specific actions in the new Brazilian Civil Procedure Code. The article examines the main innovations brought about by the new code, in comparison with doctrine and jurisprudence built under the Brazilian Civil Procedure Code of 1973.

  10. MAIN ABSTRACTS

    2012-01-01

    The Key Points in Keeping Marxism up with the Times and a Review of Eagleton's Understanding of Marxism Yi Junqing Keeping Marxism up with the times is an important task for the theoretical innovation of contemporary Marxism in China. It requires us to explicate at a multi-dimensional level the essential connection between Marxism and the specificity of our time, as well as the key points in keeping Marxism with the times.

  11. Beyond Stabilizer Codes II: Clifford Codes

    Klappenecker, Andreas; Roetteler, Martin

    2000-01-01

    Knill introduced a generalization of stabilizer codes, in this note called Clifford codes. It remained unclear whether or not Clifford codes can be superior to stabilizer codes. We show that Clifford codes are stabilizer codes provided that the abstract error group has an abelian index group. In particular, if the errors are modelled by tensor products of Pauli matrices, then the associated Clifford codes are necessarily stabilizer codes.

  12. Exploiting the hypoxia sensitive non-coding genome for organ-specific physiologic reprogramming.

    Bischof, Corinne; Krishnan, Jaya

    2016-07-01

    In this review we highlight the role of non-coding RNAs in the development and progression of cardiac pathology and explore the possibility of disease-associated RNAs serving as targets for cardiac-directed therapeutics. Contextually, we focus on the role of stress-induced hypoxia as a driver of disease development and progression through activation of hypoxia inducible factor 1α (HIF1α) and explore mechanisms underlying HIFα function as an enforcer of cardiac pathology through direct transcriptional coupling with the non-coding transcriptome. In the interest of clarity, we will confine our analysis to cardiac pathology and focus on three defining features of the diseased state, namely metabolic, growth and functional reprogramming. It is the aim of this review to explore possible mechanisms through which HIF1α regulation of the non-coding transcriptome connects to spatiotemporal control of gene expression to drive establishment of the diseased state, and to propose strategies for the exploitation of these unique RNAs as targets for clinical therapy. This article is part of a Special Issue entitled: Cardiomyocyte Biology: Integration of Developmental and Environmental Cues in the Heart edited by Marcus Schaub and Hughes Abriel. PMID:26851074

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

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

  15. MAIN ABSTRACTS

    2011-01-01

    Analysis on the Formation of Original Ethics from Shan Hai Jing QI Wei-hong (Philosophy Department ,Nanjing University ,Nanjing Jiangsu 210093) Abstract:The book Shah Hal Jing ( the Classic of Mountains and Rivers),filled with good expectations and dreams of living of ancient people, with a clear description of the tendency of right and wrong,reflects the moral outlook of ancient people. The taboos and rituals described in the book are a reflection of ancient people's specifications for the adjustment of the social order. Therefore.it can be concluded thatthe original ethics in Shan HaiJing has been formed as described in ancient times but did not show a clear cultural pattern, resulting from a varietyof historical premises such as the level of productive labor.ancient people's level of consciousness and the social relations at that time. Key words :Shan Hal Jing,original ethics,ancient people

  16. Using the CompGen code for developing new MMS modules specific to CANDU type reactors

    The Modular Modeling System, MMS, is an advanced tool for thermal hydraulic analyses. The MMS code is built upon a modular philosophy allowing users to construct their own schemes from the existing MMS modules. Also, it is possible to develop new MMS modules by using the CompGen sub-code. Developing new modules in the frame of MMS program was necessary because the standard modules of the program libraries are customized to the American reactors, particularly to PWR type reactors. As known the Cernavoda NPP is of PHWR type having equipment and components different from the structure point of view, hence differ from the point of view of the equation describing the transient process. An example is the module of low pressure part of the turbine in the secondary circuit of the plant, where the moisture extraction coefficients measured from equipment operation are different from the coefficient introduced in the module of the MMS library. The new modules developed in this work were compared with data from the thermal balance supplied by General Electric, with functional data from operation, and with the data from the Commissioning Report of the Cernavoda NPP Unit 1 commissioning. In this work new modules which or developed are presented as well as two examples of using the steam generator modules, high pressure turbine, low pressure turbine, and superheater separator

  17. Non coding RNA: sequence-specific guide for chromatin modification and DNA damage signaling

    Sofia eFrancia

    2015-11-01

    Full Text Available Chromatin conformation shapes the environment in which our genome is transcribed into RNA. Transcription is a source of DNA damage, thus it often occurs concomitantly to DNA damage signaling. Growing amounts of evidence suggest that different types of RNAs can, independently from their protein-coding properties, directly affect chromatin conformation, transcription and splicing, as well as promote the activation of the DNA damage response (DDR and DNA repair. Therefore, transcription paradoxically functions to both threaten and safeguard genome integrity. On the other hand, DNA damage signaling is known to modulate chromatin to suppress transcription of the surrounding genetic unit. It is thus intriguing to understand how transcription can modulate DDR signaling while, in turn, DDR signaling represses transcription of chromatin around the DNA lesion. An unexpected player in this field is the RNA interference (RNAi machinery, which play roles in transcription, splicing and chromatin modulation in several organisms. Non-coding RNAs (ncRNAs and several protein factors involved in the RNAi pathway are well known master regulators of chromatin while only recent reports suggest that ncRNAs are involved in DDR signaling and homology-mediated DNA repair. Here, we discuss the experimental evidence supporting the idea that ncRNAs act at the genomic loci from which they are transcribed to modulate chromatin, DDR signaling and DNA repair.

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

  19. Breaking the Customer Code : A model to Translate Customer Expectations into Specification Limits

    Gregorio, Ruben

    2010-01-01

    Today, firms compete with services rather than goods. Large service organizations are beginning to use Six Sigma as continuous improvement tool. An important part of the Six Sigma methodology is the calculation of number of defects in the process, i.e. points outside the specification limits. Unlike goods quality, which can be measured objectively by number of defects, in service goods the setting up of specification limits is a complicated issue because it is marked by the use and expectatio...

  20. INF Code related matters. Joint IAEA/IMO literature survey on potential consequences of severe maritime accidents involving the transport of radioactive material. 2 volumes. Vol. I - Report and publication titles. Vol. II - Relevant abstracts

    This literature survey was undertaken jointly by the International Maritime Organization (IMO) and the International Atomic Energy Agency (IAEA) as a step in addressing the subject of environmental impact of accidents involving materials subject to the IMO's Code for the Safe Carriage of Irradiated Nuclear Fuel, Plutonium and High-Level Radioactive Wastes in Flasks on Board Ships, also known as the INF Code. The results of the survey are provided in two volumes: the first one containing the description of the search and search results with the list of generated publication titles, and the second volume containing the abstracts of those publications deemed relevant for the purposes of the literature survey. Literature published between 1980 and mid-1999 was reviewed by two independent consultants who generated publication titles by performing searches of appropriate databases, and selected the abstracts of relevant publications for inclusion in this survey. The IAEA operates INIS, the world's leading computerised bibliographical information system on the peaceful uses of nuclear energy. The acronym INIS stands for International Nuclear Information System. INIS Members are responsible for determining the relevant nuclear literature produced within their borders or organizational confines, and then preparing the associated input in accordance with INIS rules. INIS records are included in other major databases such as the Energy, Science and Technology database of the DIALOG service. Because it is the INIS Members, rather than the IAEA Secretariat, who are responsible for its contents, it was considered appropriate that INIS be the primary source of information for this literature review. Selected unpublished reports were also reviewed, e.g. Draft Proceedings of the Special Consultative Meeting of Entities involved in the maritime transport of materials covered by the INF Code (SCM 5), March 1996. Many of the formal papers at SCM 5 were included in the literature

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

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

  3. An Improved Algorithm based on Abstract Syntax Tree for Source Code Plagiarism Detection%一种改进的基于抽象语法树的软件源代码比对算法

    刘楠; 韩丽芳; 夏坤峰; 曲通

    2014-01-01

    在软件同源性检测方法中,基于抽象语法树的比对方法能够有效地检测出基于代码全文拷贝、修改变量名、调整代码顺序等的抄袭手段,被广泛用于抄袭检测工具中。但基于抽象语法树的比对方法对于修改变量类型和添加无意义变量的抄袭手段束手无策。针对这种情况,提出了一种基于抽象语法树的改进思想,该思想通过剪去语法树中影响判断的叶子节点的手段来还原检测原文抄袭,能够达到有效检测修改变量类型和添加无意义变量等抄袭的目的。%Among the source code plagiarism detection algorithms used in software engineering, the algorithm based on abstract syntax tree (AST) can effectively detect those plagiarized cases of copying with no modiifcation, modifying variable names and changing the source code sequence, but the algorithm can not detect the cases of modifying the variable type, adding no useful variables and so on. In this paper, we propose an improved algorithm based on abstract syntax tree, which is implemented by cutting out the syntax tree leaf nodes that may affect the judgment. This improved algorithm can positively detect the plagiarism cases described in the previous.

  4. Increased allowable stresses and acceptance of international material specifications in the ASME Boiler and Pressure Vessel Code

    Section II of the ASME Boiler a Pressure Vessel Code consists of four volumes or Parts: A, B, C, and D. Parts A and B contain the ferrous and nonferrous base-material specifications that have been adopted by the ASME Boiler and Pressure Vessel Committee (B and PVC). Part C contains the welding consumable material specifications. Part D contains the tables and charts of design values and material properties required for any of the construction sections of the ASME B and PVC Code. Section II, Parts A, B, and D are under the jurisdiction of the Subcommittee II on Materials of the ASME B and PVC Committee. Part C is under the jurisdiction of Subcommittee IX on welding. This paper will describe the most important of the recent developments for Parts A, B, and D. These are: (1) The increase in allowable stresses for Section I; Section VIII, Division 1 ; and Section III, Classes 2 and 3 Construction, in pan D; (2) The adoption of international material specifications into pans A and B; and (3) The setting of allowable stresses for international materials in Part D. (author)

  5. Sublayer-Specific Coding Dynamics during Spatial Navigation and Learning in Hippocampal Area CA1.

    Danielson, Nathan B; Zaremba, Jeffrey D; Kaifosh, Patrick; Bowler, John; Ladow, Max; Losonczy, Attila

    2016-08-01

    The mammalian hippocampus is critical for spatial information processing and episodic memory. Its primary output cells, CA1 pyramidal cells (CA1 PCs), vary in genetics, morphology, connectivity, and electrophysiological properties. It is therefore possible that distinct CA1 PC subpopulations encode different features of the environment and differentially contribute to learning. To test this hypothesis, we optically monitored activity in deep and superficial CA1 PCs segregated along the radial axis of the mouse hippocampus and assessed the relationship between sublayer dynamics and learning. Superficial place maps were more stable than deep during head-fixed exploration. Deep maps, however, were preferentially stabilized during goal-oriented learning, and representation of the reward zone by deep cells predicted task performance. These findings demonstrate that superficial CA1 PCs provide a more stable map of an environment, while their counterparts in the deep sublayer provide a more flexible representation that is shaped by learning about salient features in the environment. VIDEO ABSTRACT. PMID:27397517

  6. Recognizing cognates and interlingual homographs: Effects of code similarity in language specific and generalized lexical decision

    Lemhöfer, K.M.L.; Dijkstra, A.F.J.

    2004-01-01

    Four experiments investigated how cross-linguistic overlap in semantics, orthography, and phonology affects bilingual word recognition in different variants of the lexical decision task. Dutch-English bilinguals performed a language-specific or a generalized lexical decision task including words tha

  7. Breaking the Discrepancy Code: A Meta-Analysis of the Specific Learning Disability Literature

    Bachmeier, Randy J.

    2009-01-01

    Previous "selective" meta-analyses of the literature relating to the IQ-achievement discrepancy model of specific learning disability identification have concluded that "underachieving" and "low-achieving" poor readers do not differ in any educationally meaningful way. Underachievers are those poor readers who qualify as learning disabled using an…

  8. Sparse but specific temporal coding by spikes in an insect sensory-motor ocellar pathway.

    Simmons, Peter J; van Steveninck, Rob R de Ruyter

    2010-08-01

    We investigate coding in a locust brain neuron, DNI, which transforms graded synaptic input from ocellar L-neurons into axonal spikes that travel to excite particular thoracic flight neurons. Ocellar neurons are naturally stimulated by fluctuations in light collected from a wide field of view, for example when the visual horizon moves up and down. We used two types of stimuli: fluctuating light from a light-emitting diode (LED), and a visual horizon displayed on an electrostatic monitor. In response to randomly fluctuating light stimuli delivered from the LED, individual spikes in DNI occur sparsely but are timed to sub-millisecond precision, carrying substantial information: 4.5-7 bits per spike in our experiments. In response to these light stimuli, the graded potential signal in DNI carries considerably less information than in presynaptic L-neurons. DNI is excited in phase with either sinusoidal light from an LED or a visual horizon oscillating up and down at 20 Hz, and changes in mean light level or mean horizon level alter the timing of excitation for each cycle. DNI is a multimodal interneuron, but its ability to time spikes precisely in response to ocellar stimulation is not degraded by additional excitation. We suggest that DNI is part of an optical proprioceptor system, responding to the optical signal induced in the ocelli by nodding movements of the locust head during each wing-beat. PMID:20639424

  9. Specifications for a neutron scattering code for an XY geometry: DAIXY

    This report describes the specifications of the DAIXY programme which resolves the difference equations system analogue to the homogeneous problem of multigroup neutron scattering, in a two-dimensional space with XY geometry. The maximum number of points treated is 10 050. The number of groups must be less than 4. The internal iterations are dealt with by the alternating directions method; the external iterations are accelerated by the extrapolation method due to Tchebychev. (authors)

  10. Emergence and Evolution of Hominidae-Specific Coding and Noncoding Genomic Sequences.

    Saber, Morteza Mahmoudi; Adeyemi Babarinde, Isaac; Hettiarachchi, Nilmini; Saitou, Naruya

    2016-01-01

    Family Hominidae, which includes humans and great apes, is recognized for unique complex social behavior and intellectual abilities. Despite the increasing genome data, however, the genomic origin of its phenotypic uniqueness has remained elusive. Clade-specific genes and highly conserved noncoding sequences (HCNSs) are among the high-potential evolutionary candidates involved in driving clade-specific characters and phenotypes. On this premise, we analyzed whole genome sequences along with gene orthology data retrieved from major DNA databases to find Hominidae-specific (HS) genes and HCNSs. We discovered that Down syndrome critical region 4 (DSCR4) is the only experimentally verified gene uniquely present in Hominidae. DSCR4 has no structural homology to any known protein and was inferred to have emerged in several steps through LTR/ERV1, LTR/ERVL retrotransposition, and transversion. Using the genomic distance as neutral evolution threshold, we identified 1,658 HS HCNSs. Polymorphism coverage and derived allele frequency analysis of HS HCNSs showed that these HCNSs are under purifying selection, indicating that they may harbor important functions. They are overrepresented in promoters/untranslated regions, in close proximity of genes involved in sensory perception of sound and developmental process, and also showed a significantly lower nucleosome occupancy probability. Interestingly, many ancestral sequences of the HS HCNSs showed very high evolutionary rates. This suggests that new functions emerged through some kind of positive selection, and then purifying selection started to operate to keep these functions. PMID:27289096

  11. Specifications for a two-dimensional multi-group scattering code: ALCI

    This report describes the specifications of the ALCI programme. This programme resolves the system of difference equations similar to the homogeneous problem of multigroup neutron scattering, with two dimensions in space, in the three geometries XY, RZ, RΘ. It is possible with this method to calculate geometric and composition criticalities and also to calculate the accessory problem on demand. The maximum number of points dealt with is 6000. The maximum permissible number of groups is 12. The internal iterations are treated by the method of alternating directions. The external iterations are accelerated using the extrapolation method due to Tchebychev. (authors)

  12. Satellite III non-coding RNAs show distinct and stress-specific patterns of induction

    Sengupta, Sonali, E-mail: sonalis@iitk.ac.in [Department of Biological Sciences and Bioengineering, Indian Institute of Technology, Kanpur 208 016 (India); Parihar, Rashmi [Department of Biological Sciences and Bioengineering, Indian Institute of Technology, Kanpur 208 016 (India); Ganesh, Subramaniam, E-mail: sganesh@iitk.ac.in [Department of Biological Sciences and Bioengineering, Indian Institute of Technology, Kanpur 208 016 (India)

    2009-04-24

    The heat shock response in human cells is associated with the transcription of satellite III repeats (SatIII) located in the 9q12 locus. Upon induction, the SatIII transcripts remain associated with the locus and recruit several transcription and splicing factors to form the nuclear stress bodies (nSBs). The nSBs are thought to modulate epigenetic changes during the heat shock response. We demonstrate here that the nSBs are induced by a variety of stressors and show stress-specific patterns of induction. While the transcription factor HSF1 is required for the induction of SatIII locus by the stressors tested, its specific role in the transcriptional process appears to be stress dependent. Our results suggest the existence of multiple transcriptional loci for the SatIII transcripts and that their activation might depend upon the type of stressors. Thus, induction of SatIII transcripts appears to be a generic response to a variety of stress conditions.

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

  14. Application of the source term code package to obtain a specific source term for the Laguna Verde Nuclear Power Plant

    The main objective of the project was to use the Source Term Code Package (STCP) to obtain a specific source term for those accident sequences deemed dominant as a result of probabilistic safety analyses (PSA) for the Laguna Verde Nuclear Power Plant (CNLV). The following programme has been carried out to meet this objective: (a) implementation of the STCP, (b) acquisition of specific data for CNLV to execute the STCP, and (c) calculations of specific source terms for accident sequences at CNLV. The STCP has been implemented and validated on CDC 170/815 and CDC 180/860 main frames as well as on a Micro VAX 3800 system. In order to get a plant-specific source term, data on the CNLV including initial core inventory, burn-up, primary containment structures, and materials used for the calculations have been obtained. Because STCP does not explicitly model containment failure, dry well failure in the form of a catastrophic rupture has been assumed. One of the most significant sequences from the point of view of possible off-site risk is the loss of off-site power with failure of the diesel generators and simultaneous loss of high pressure core spray and reactor core isolation cooling systems. The probability for that event is approximately 4.5 x 10-6. This sequence has been analysed in detail and the release fractions of radioisotope groups are given in the full report. 18 refs, 4 figs, 3 tabs

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

  16. Modeling Sequence Timing, Technical Specification, and Code Parameter Uncertainties in Success Criteria Definition with Gaussian Process Model

    Fynan, Douglas A.; Ahn, Kwang-Il [Korea Atomic Energy Research Institute, Daejeon (Korea, Republic of)

    2015-10-15

    Best estimate simulations of nuclear power plant (NPP) transients can be performed in support of success criteria definitions in Level 1 Probabilistic Safety Assessment (PSA). Reducing the use of conservatisms and bounding assumptions in the analysis can give a more realistic estimate of the safety margin provided by the safety systems configurations representing the success criteria. Furthermore, rigorous treatment sequence timing uncertainties in success criteria definitions is difficult within the conventional event tree/fault tree (ET/FT) methodologies used in Level 1 PSA. This paper presents a new methodology to estimate safety margin while addressing sequence timing, safety system configuration, technical specification, and thermal hydraulic code parameters uncertainties. The key aspect of the methodology is the Gaussian process model (GPM), a nonparametric regression method for multivariate regression with internal estimate of model uncertainty, is used to process data from many simulations and is a surrogate model for predicting safety parameter distributions as a function of input uncertainties. The methodology is demonstrated for the injection phase of a large-break loss-of-coolant accident (LBLOCA) and the safety margin of the Ulchin Units 3 and 4 (UCN3 and 4) success criteria are quantified. A new methodology to estimate safety margin of a NPP has been proposed and demonstrated for best estimate simulation of LBLOCA in support of Level 1 PSA success criteria definitions. The methodology simultaneously considers sequence timing, safety system configuration, technical specifications, and code model parameter uncertainties. A key aspect of the methodology is the input parameter space is partitioned into two subsets of inputs, explicit regression variables consisting of the dominant input uncertainties that are the fundamental drivers of thermal hydraulic behavior of the transient and implicit noise variables. A Gaussian process model performs regression on

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

  19. From concatenated codes to graph codes

    Justesen, Jørn; Høholdt, Tom

    2004-01-01

    We consider codes based on simple bipartite expander graphs. These codes may be seen as the first step leading from product type concatenated codes to more complex graph codes. We emphasize constructions of specific codes of realistic lengths, and study the details of decoding by message passing in...

  20. Validation of coupled Relap5-3D code in the analysis of RBMK-1500 specific transients

    This paper deals with the modelling of RBMK-1500 specific transients taking place at Ignalina NPP. These transients include: measurements of void and fast power reactivity coefficients, change of graphite cooling conditions and reactor power reduction transients. The simulation of these transients was performed using RELAP5-3D code model of RBMK-1500 reactor. At the Ignalina NPP void and fast power reactivity coefficients are measured on a regular basis and, based on the total reactor power, reactivity, control and protection system control rods positions and the main circulation circuit parameter changes during the experiments, the actual values of these reactivity coefficients are determined. Graphite temperature reactivity coefficient at the plant is determined by changing graphite cooling conditions in the reactor cavity. This type of transient is very unique and important from the gap between fuel channel and the graphite bricks model validation point of view. The measurement results, obtained during this transient, allowed to determine the thermal conductivity coefficient for this gap and to validate the graphite temperature reactivity feedback model. Reactor power reduction is a regular operation procedure during the entire lifetime of the reactor. In all cases it starts by either a scram or a power reduction signal activation by the reactor control and protection system or by an operator. The obtained calculation results demonstrate reasonable agreement with Ignalina NPP measured data. Behaviours of the separate MCC thermal-hydraulic parameters as well as physical processes are predicted reasonably well to the real processes, occurring in the primary circuit of RBMK-1500 reactor. Reasonable agreement of the measured and the calculated total reactor power change in time demonstrates the correct modelling of the neutronic processes taking place in RBMK- 1500 reactor core. And finally, the performed validation of RELAP5-3D model of Ignalina NPP RBMK-1500

  1. Comparison of the calculations of the stability properties of a specific stellarator equilibrium with different MHD stability codes

    A particular configuration of the LHD stellarator with an unusually flat pressure profile has been chosen to be a test case for comparison of the MHD stability property predictions of different three-dimensional and averaged codes for the purpose of code comparison and validation. In particular, two relatively localized instabilities, the fastest growing modes with toroidal mode number n = 2 and n = 3 were studied using several different codes, with the good agreement that has been found providing justification for the use of any of them for equilibria of the type considered

  2. Introduction of restriction enzyme sites in protein-coding DNA sequences by site-specific mutagenesis not affecting the amino acid sequence: a computer program.

    Arentzen, R; Ripka, W. C.

    1984-01-01

    Structure/function relationship studies of proteins are greatly facilitated by recombinant DNA technology which allows specific amino acid mutations to be made at the DNA sequence level by site-specific mutagenesis employing synthetic oligonucleotides. This technique has been successfully used to alter one or two amino acids in a protein. Replacement of existing DNA sequence coding for several amino acids with new synthetic DNA fragments would be facilitated by the presence of unique restrict...

  3. An integrated environment for HW/SW co-design based on a CAL specification and HW/SW code generators

    Roquier, Ghislain; Lucarz, Christophe; Mattavelli, Marco; Wipliez, Matthieu; Raulet, Mickaël; Janneck, Jörn W.; Miller, Ian D.; Parlour, David B.

    2009-01-01

    International audience This demonstration presents an integrated environment that translates a CAL-based dataflow specification [1] into a heterogeneous implementation, composed by HDL and C codes. The demonstration focuses on the capability of the co-design environment to automatically build an executable heterogeneous system implementation running on a platform composed of a processor and a FPGA from the annotation of the CAL specification. The possibility of direct synthesis from a high...

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

  5. A benchmark-problem specification and calculation using SENSIBL, a one- and two-dimensional sensitivity and uncertainty analysis code of the AARE system

    The lack of suitable benchmark problems makes it difficult to test sensitivity codes with a covariance library. A benchmark problem has therefore been defined for one- and two-dimensional sensitivity and uncertainity analysis codes and code systems. The problem, representative of a fusion reactor blanket, has a simple, three-zone /tau/-z geometry containing a D-T fusion neutron source distributed in a central void region surrounded by a thick 6LiH annulus. The response of interest is the 6Li tritium production per source neutron, T6. The calculation has been performed with SENSIBL using other codes from the AARE code system as a test of both SENSIBL and the linked, modular system. The caluclation was performed using the code system in the standard manner with a covariance data library in the COVFILS-2 format but modified to contain specifically tailored covariance data for H and 6Li (Path A). The calculation was also performed by a second method which uses specially perturbed H and Li cross sections (Path B). This method bypasses SENSIBL and allows a hand calculation of the benchmark T6 uncertainties. The results of Path A and Path B were total uncertainties in T6 of 0.21% and 0.19%, respectively. The closeness of the results for this challenging test gives confidence that SENSIBL and the AARE system will perform well for realistic sensitivity and uncertainty analyses

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

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

  8. Specifications

    As part of the Danish RERTR Program, three fuel elements with LEU U3O8-Al fuel and three fuel elements with LEU U3Si2-Al fuel were manufactured by NUKEM for irradiation testing in the DR-3 reactor at the Risoe National Laboratory in Denmark. The specifications for the elements with U3O8-Al fuel are presented here as an illustration only. Specifications for the elements with U3Si2-Al fuel were very similar. In this example, materials, material numbers, documents numbers, and drawing numbers specific to a single fabricator have been deleted. (author)

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

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

  14. The Proteomic Code: a molecular recognition code for proteins

    Biro Jan C

    2007-11-01

    Full Text Available Abstract Background The Proteomic Code is a set of rules by which information in genetic material is transferred into the physico-chemical properties of amino acids. It determines how individual amino acids interact with each other during folding and in specific protein-protein interactions. The Proteomic Code is part of the redundant Genetic Code. Review The 25-year-old history of this concept is reviewed from the first independent suggestions by Biro and Mekler, through the works of Blalock, Root-Bernstein, Siemion, Miller and others, followed by the discovery of a Common Periodic Table of Codons and Nucleic Acids in 2003 and culminating in the recent conceptualization of partial complementary coding of interacting amino acids as well as the theory of the nucleic acid-assisted protein folding. Methods and conclusions A novel cloning method for the design and production of specific, high-affinity-reacting proteins (SHARP is presented. This method is based on the concept of proteomic codes and is suitable for large-scale, industrial production of specifically interacting peptides.

  15. A general computing code devoted to the analysis of bending vibrations specific to the CANDU type fuel channel

    It is known that circulation of the coolant through the pressure tube of a CANDU type reactor initiates and maintains bending vibrations in: individual fuel elements, fuel cluster, cluster column and in the pressure tube. The driving forces are either aleatory, due to turbulent flow, or harmonical due to the pressure pulsations from the circulation pumps. The vibrations induced by laminar flow in case of excessive intensities may induce both a acceleration of the fretting wear phenomena in the fuel elements and pressure tubes and a premature aging of the latter. In these conditions an important problem in the cluster design is that of obtaining, based on knowledge of laminar flow frequency structure, the eigenfrequencies for the four categories of oscillatory systems mentioned above and thus to avoid by construction the resonance phenomenon or at least to diminish its impairing effects. An activity of comparative analysis in different fuel cluster types is underway at INR Pitesti, a special attention being of course directed toward their vibrational behavior. The paper presents a general computational code devoted to characterization of bending vibration for: individual fuel elements, fuel element cluster, pressure tube loaded or not with fuel clusters and filled or not with coolant; fuel channel. During the presentation of the work the computing code will be run for demonstration

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

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

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

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

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

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

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

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

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

  6. Systematic dissection of coding exons at single nucleotide resolution supports an additional role in cell-specific transcriptional regulation.

    Ramon Y Birnbaum

    2014-10-01

    Full Text Available In addition to their protein coding function, exons can also serve as transcriptional enhancers. Mutations in these exonic-enhancers (eExons could alter both protein function and transcription. However, the functional consequence of eExon mutations is not well known. Here, using massively parallel reporter assays, we dissect the enhancer activity of three liver eExons (SORL1 exon 17, TRAF3IP2 exon 2, PPARG exon 6 at single nucleotide resolution in the mouse liver. We find that both synonymous and non-synonymous mutations have similar effects on enhancer activity and many of the deleterious mutation clusters overlap known liver-associated transcription factor binding sites. Carrying a similar massively parallel reporter assay in HeLa cells with these three eExons found differences in their mutation profiles compared to the liver, suggesting that enhancers could have distinct operating profiles in different tissues. Our results demonstrate that eExon mutations could lead to multiple phenotypes by disrupting both the protein sequence and enhancer activity and that enhancers can have distinct mutation profiles in different cell types.

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

  8. Detecting non-coding selective pressure in coding regions

    Blanchette Mathieu

    2007-02-01

    Full Text Available Abstract Background Comparative genomics approaches, where orthologous DNA regions are compared and inter-species conserved regions are identified, have proven extremely powerful for identifying non-coding regulatory regions located in intergenic or intronic regions. However, non-coding functional elements can also be located within coding region, as is common for exonic splicing enhancers, some transcription factor binding sites, and RNA secondary structure elements affecting mRNA stability, localization, or translation. Since these functional elements are located in regions that are themselves highly conserved because they are coding for a protein, they generally escaped detection by comparative genomics approaches. Results We introduce a comparative genomics approach for detecting non-coding functional elements located within coding regions. Codon evolution is modeled as a mixture of codon substitution models, where each component of the mixture describes the evolution of codons under a specific type of coding selective pressure. We show how to compute the posterior distribution of the entropy and parsimony scores under this null model of codon evolution. The method is applied to a set of growth hormone 1 orthologous mRNA sequences and a known exonic splicing elements is detected. The analysis of a set of CORTBP2 orthologous genes reveals a region of several hundred base pairs under strong non-coding selective pressure whose function remains unknown. Conclusion Non-coding functional elements, in particular those involved in post-transcriptional regulation, are likely to be much more prevalent than is currently known. With the numerous genome sequencing projects underway, comparative genomics approaches like that proposed here are likely to become increasingly powerful at detecting such elements.

  9. Advanced video coding systems

    Gao, Wen

    2015-01-01

    This comprehensive and accessible text/reference presents an overview of the state of the art in video coding technology. Specifically, the book introduces the tools of the AVS2 standard, describing how AVS2 can help to achieve a significant improvement in coding efficiency for future video networks and applications by incorporating smarter coding tools such as scene video coding. Topics and features: introduces the basic concepts in video coding, and presents a short history of video coding technology and standards; reviews the coding framework, main coding tools, and syntax structure of AV

  10. Polyphase alternating codes

    M. Markkanen

    2008-08-01

    Full Text Available We present a new class of alternating codes. Instead of the customary binary phase codes, the new codes utilize either p or p–1 phases, where p is a prime number. The first class of codes has code length pm, where m is a positive integer, the second class has code length p–1. We give an actual construction algorithm, and explain the principles behind it. We handle a few specific examples in detail. The new codes offer an enlarged collection of code lengths for radar experiments.

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

  12. KWIC Index of nuclear codes (1975 edition)

    It is a KWIC Index for 254 nuclear codes in the Nuclear Code Abstracts (1975 edition). The classification of nuclear codes and the form of index are the same as those in the Computer Programme Library at Ispra, Italy. (auth.)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Abstract Syntax Tree Analysis for Plagiarism Detection

    Nilsson, Erik

    2012-01-01

    Today, universities rely heavily on systems for detecting plagiarism in students’essays and reports. Code submissions however require specific tools. A numberof approaches to finding plagiarisms in code have already been tried, includingtechniques based on comparing textual transformations of code, token strings,parse trees and graph representations. In this master’s thesis, a new system, cojac,is presented which combines textual, tree and graph techniques to detect a broadspectrum of plagiar...

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

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

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

  12. Practices in Code Discoverability

    Teuben, Peter; Allen, Alice; Nemiroff, Robert J.; Shamir, Lior

    2012-01-01

    Much of scientific progress now hinges on the reliability, falsifiability and reproducibility of computer source codes. Astrophysics in particular is a discipline that today leads other sciences in making useful scientific components freely available online, including data, abstracts, preprints, and fully published papers, yet even today many astrophysics source codes remain hidden from public view. We review the importance and history of source codes in astrophysics and previous efforts to d...

  13. Preparation of materials for flexizyme reactions and genetic code reprogramming

    sprotocols

    2015-01-01

    Authors: Yuki Goto, Takayuki Katoh & Hiroaki Suga ### Abstract Genetic code reprogramming is a method for the reassignment of arbitrary codons from proteinogenic amino acids to non-proteinogenic ones, and thus specific sequences of non-standard peptides can be ribosomally expressed according to their mRNA templates. We have developed a protocol that facilitates the genetic code reprogramming using flexizymes integrated with a custom-made in-vitro translation apparatus, referred to...

  14. The Aster code; Code Aster

    Delbecq, J.M

    1999-07-01

    The Aster code is a 2D or 3D finite-element calculation code for structures developed by the R and D direction of Electricite de France (EdF). This dossier presents a complete overview of the characteristics and uses of the Aster code: introduction of version 4; the context of Aster (organisation of the code development, versions, systems and interfaces, development tools, quality assurance, independent validation); static mechanics (linear thermo-elasticity, Euler buckling, cables, Zarka-Casier method); non-linear mechanics (materials behaviour, big deformations, specific loads, unloading and loss of load proportionality indicators, global algorithm, contact and friction); rupture mechanics (G energy restitution level, restitution level in thermo-elasto-plasticity, 3D local energy restitution level, KI and KII stress intensity factors, calculation of limit loads for structures), specific treatments (fatigue, rupture, wear, error estimation); meshes and models (mesh generation, modeling, loads and boundary conditions, links between different modeling processes, resolution of linear systems, display of results etc..); vibration mechanics (modal and harmonic analysis, dynamics with shocks, direct transient dynamics, seismic analysis and aleatory dynamics, non-linear dynamics, dynamical sub-structuring); fluid-structure interactions (internal acoustics, mass, rigidity and damping); linear and non-linear thermal analysis; steels and metal industry (structure transformations); coupled problems (internal chaining, internal thermo-hydro-mechanical coupling, chaining with other codes); products and services. (J.S.)

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

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

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

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

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

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

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

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

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

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

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

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

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

  19. Developing A Specific Criteria For Categorization Of Radioactive Waste Classification System For Uganda Using The Radar's Computer Code

    Byamukama, Abdul [Korea Advanced Institute of Science and Technology, Daejeon (Korea, Republic of); Jung, Haiyong [Korea Institute of Nuclear Safety, Daejeon (Korea, Republic of)

    2014-10-15

    Radioactive materials are utilized in industries, agriculture and research, medical facilities and academic institutions for numerous purposes that are useful in the daily life of mankind. To effectively manage the radioactive waste and selecting appropriate disposal schemes, it is imperative to have a specific criteria for allocating radioactive waste to a particular waste class. Uganda has a radioactive waste classification scheme based on activity concentration and half-life albeit in qualitative terms as documented in the Uganda Atomic Energy Regulations 2012. There is no clear boundary between the different waste classes and hence difficult to; suggest disposal options, make decisions and enforcing compliance, communicate with stakeholders effectively among others. To overcome the challenges, the RESRAD computer code was used to derive a specific criteria for classifying between the different waste categories for Uganda basing on the activity concentration of radionuclides. The results were compared with that of Australia and were found to correlate given the differences in site parameters and consumption habits of the residents in the two countries.

  20. Developing A Specific Criteria For Categorization Of Radioactive Waste Classification System For Uganda Using The Radar's Computer Code

    Radioactive materials are utilized in industries, agriculture and research, medical facilities and academic institutions for numerous purposes that are useful in the daily life of mankind. To effectively manage the radioactive waste and selecting appropriate disposal schemes, it is imperative to have a specific criteria for allocating radioactive waste to a particular waste class. Uganda has a radioactive waste classification scheme based on activity concentration and half-life albeit in qualitative terms as documented in the Uganda Atomic Energy Regulations 2012. There is no clear boundary between the different waste classes and hence difficult to; suggest disposal options, make decisions and enforcing compliance, communicate with stakeholders effectively among others. To overcome the challenges, the RESRAD computer code was used to derive a specific criteria for classifying between the different waste categories for Uganda basing on the activity concentration of radionuclides. The results were compared with that of Australia and were found to correlate given the differences in site parameters and consumption habits of the residents in the two countries

  1. Comparative genomic analysis of mitochondrial protein-coding genes in Veneroida clams: Analysis of superfamily-specific genomic and evolutionary features.

    Hwang, Jae Yeon; Lee, Chang-Kyu; Kim, Heebal; Nam, Bo-Hye; An, Cheul Min; Park, Jung Youn; Park, Kyu-Hyun; Huh, Chul-Sung; Kim, Eun Bae

    2015-12-01

    Veneroida is the largest order of bivalves, and these clams are commercially important in Asian countries. Although numerous studies have focused on the genomic characters of individual species or genera in Veneroida, superfamily-specific genomic characters have not been determined. In this study, we performed a comparative genomic analysis of 12 mitochondrial protein coding genes (PCGs) from 25 clams in six Veneroida superfamilies to determine genomic and evolutionary features of each superfamily. Length and distribution of nucleotides encoding the PCGs were too variable to define superfamily-specific genomic characters. Phylogenetic analysis revealed that PCGs are suitable for classification of species in three superfamilies: Cardioidea, Mactroidea, and Veneroidea. However, one species classified in Tellinoidea, Sinonovacula constricta, was evolutionarily closer to Solenoidea clams than Tellinoidea clams. dN/dS analysis showed that positively selected sites in NADH dehydrogenase subunit, nd4 and subunit of ATP synthase, atp6 were present in Mactroidea. Differences in selected sites in the nd4 and atp6 could be caused by superfamily-level differences in sodium transport or ATP synthesis functions, respectively. These differences in selected sites in NADH may have conferred these animals, which have low motility and do not generally move, with increased flexibility to maintain homeostasis in the face of osmotic pressure. Our study provides insight into evolutionary traits as well as facilitates identification of veneroids. PMID:26343338

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

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

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

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

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

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

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

  9. 49. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie. Abstracts; 49. Jahrestagung der Deutschen Gesellschaft fuer Neuroradiologie. Abstracts

    NONE

    2014-10-15

    The conference proceedings of the 48. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie contain abstracts on the following issues: neuro-oncological imaging, multimodal imaging concepts, subcranial imaging, spinal codes, interventional neuroradiology.

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

  11. Coupling CFD code with system code and neutron kinetic code

    Vyskocil, Ladislav, E-mail: Ladislav.Vyskocil@ujv.cz; Macek, Jiri

    2014-11-15

    Highlights: • Coupling interface between CFD code Fluent and system code Athlet was created. • Athlet code is internally coupled with neutron kinetic code Dyn3D. • Explicit coupling of overlapped computational domains was used. • A coupled system of Athlet/Dyn3D+Fluent codes was successfully tested on a real case. - Abstract: The aim of this work was to develop the coupling interface between CFD code Fluent and system code Athlet internally coupled with neutron kinetic code Dyn3D. The coupling interface is intended for simulation of complex transients such as Main Steam Line Break scenarios, which cannot be modeled separately first by system and neutron kinetic code and then by CFD code, because of the feedback between the codes. In the first part of this article, the coupling method is described. Explicit coupling of overlapped computational domains is used in this work. The second part of the article presents a demonstration simulation performed by the coupled system of Athlet/Dyn3D and Fluent. The “Opening a Steam Dump to the Atmosphere” test carried out at the Temelin NPP (VVER-1000) was simulated by the coupled system. In this simulation, the primary and secondary circuits were modeled by Athlet, mixing in downcomer and lower plenum was simulated by Fluent and heat generation in the core was calculated by Dyn3D. The results of the simulation with Athlet/Dyn3D+Fluent were compared with the experimental data and the results from a calculation performed with Athlet/Dyn3D without Fluent.

  12. Coupling CFD code with system code and neutron kinetic code

    Highlights: • Coupling interface between CFD code Fluent and system code Athlet was created. • Athlet code is internally coupled with neutron kinetic code Dyn3D. • Explicit coupling of overlapped computational domains was used. • A coupled system of Athlet/Dyn3D+Fluent codes was successfully tested on a real case. - Abstract: The aim of this work was to develop the coupling interface between CFD code Fluent and system code Athlet internally coupled with neutron kinetic code Dyn3D. The coupling interface is intended for simulation of complex transients such as Main Steam Line Break scenarios, which cannot be modeled separately first by system and neutron kinetic code and then by CFD code, because of the feedback between the codes. In the first part of this article, the coupling method is described. Explicit coupling of overlapped computational domains is used in this work. The second part of the article presents a demonstration simulation performed by the coupled system of Athlet/Dyn3D and Fluent. The “Opening a Steam Dump to the Atmosphere” test carried out at the Temelin NPP (VVER-1000) was simulated by the coupled system. In this simulation, the primary and secondary circuits were modeled by Athlet, mixing in downcomer and lower plenum was simulated by Fluent and heat generation in the core was calculated by Dyn3D. The results of the simulation with Athlet/Dyn3D+Fluent were compared with the experimental data and the results from a calculation performed with Athlet/Dyn3D without Fluent

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

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

  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. Hardware Abstraction and Protocol Optimization for Coded Sensor Networks

    Nistor, Maricica; Roetter, Daniel Enrique Lucani; Barros, João

    2015-01-01

    The design of the communication protocols in wireless sensor networks (WSNs) often neglects several key characteristics of the sensor's hardware, while assuming that the number of transmitted bits is the dominating factor behind the system's energy consumption. A closer look at the hardware...

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

  19. The complete mitochondrial genome of the land snail Cornu aspersum (Helicidae: Mollusca: intra-specific divergence of protein-coding genes and phylogenetic considerations within Euthyneura.

    Juan Diego Gaitán-Espitia

    Full Text Available The complete sequences of three mitochondrial genomes from the land snail Cornu aspersum were determined. The mitogenome has a length of 14050 bp, and it encodes 13 protein-coding genes, 22 transfer RNA genes and two ribosomal RNA genes. It also includes nine small intergene spacers, and a large AT-rich intergenic spacer. The intra-specific divergence analysis revealed that COX1 has the lower genetic differentiation, while the most divergent genes were NADH1, NADH3 and NADH4. With the exception of Euhadra herklotsi, the structural comparisons showed the same gene order within the family Helicidae, and nearly identical gene organization to that found in order Pulmonata. Phylogenetic reconstruction recovered Basommatophora as polyphyletic group, whereas Eupulmonata and Pulmonata as paraphyletic groups. Bayesian and Maximum Likelihood analyses showed that C. aspersum is a close relative of Cepaea nemoralis, and with the other Helicidae species form a sister group of Albinaria caerulea, supporting the monophyly of the Stylommatophora clade.

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

  1. Clinical coding. Code breakers.

    Mathieson, Steve

    2005-02-24

    --The advent of payment by results has seen the role of the clinical coder pushed to the fore in England. --Examinations for a clinical coding qualification began in 1999. In 2004, approximately 200 people took the qualification. --Trusts are attracting people to the role by offering training from scratch or through modern apprenticeships. PMID:15768716

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

  3. Permutation codes

    Ericson, Thomas

    1993-01-01

    Slepians permutation codes are investigated in detail. In particular we optimize the initial vector and derive all dominating codes in dimension n 2 6. With the exception of the simplex and biorthogonal codes - which are always included as special cases of permutation codes - there are probably no further good codes in higher dimensions.

  4. Final Programme and Abstracts

    Molecular targeted radionuclide cancer therapy is becoming of increasing importance, especially for disseminated diseases. Systemic chemotherapies often lack selectivity; targeted radionuclide therapy has important advantages as the radioactive cytotoxic unit of the targeting vector is specifically directed to the cancer, sparing normal tissues. The basis of this COST Action is the great potential of targeted radionuclide therapy using a variety of vectors and radionuclides. This Action brings together the different disciplines involved and provide a reliable and rapid means for developing new (fundamental) knowledge, method standardization and products while promoting transfer of technologies. This Action on cancer therapy using innovative targeting nanomedicines is highly multidisciplinary: nuclear medicine physicians, clinical oncologists, surgeons, physicists, radiobiologists, (in)organic chemists, radiochemists, radiopharmacists, pathologists and scientists from bionics participate in it. They define innovative new targets for cancer therapy, develop lead compounds and new radiolabelled ligands as vectors, perform molecular imaging and biologic testing, develop improved software and protocols for dosimetric calculations and select new vectors for early human use. During the working group meeting held in Cracow participants presented 57 communications (oral and posters, as well) on the above subject

  5. The materiality of Code

    Soon, Winnie

    2014-01-01

    , Twitter and Facebook). The focus is not to investigate the functionalities and efficiencies of the code, but to study and interpret the program level of code in order to trace the use of various technological methods such as third-party libraries and platforms’ interfaces. These are important to...... understand the socio-technical side of a changing network environment. Through the study of code, including but not limited to source code, technical specifications and other materials in relation to the artwork production, I would like to explore the materiality of code that goes beyond technical...

  6. Graph Codes with Reed-Solomon Component Codes

    Høholdt, Tom; Justesen, Jørn

    2006-01-01

    We treat a specific case of codes based on bipartite expander graphs coming from finite geometries. The code symbols are associated with the branches and the symbols connected to a given node are restricted to be codewords in a Reed-Solomon code. We give results on the parameters of the codes and...

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

  8. Converting One Type-Based Abstract Domain to Another

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

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

  9. Optical coding theory with Prime

    Kwong, Wing C

    2013-01-01

    Although several books cover the coding theory of wireless communications and the hardware technologies and coding techniques of optical CDMA, no book has been specifically dedicated to optical coding theory-until now. Written by renowned authorities in the field, Optical Coding Theory with Prime gathers together in one volume the fundamentals and developments of optical coding theory, with a focus on families of prime codes, supplemented with several families of non-prime codes. The book also explores potential applications to coding-based optical systems and networks. Learn How to Construct

  10. Health physics research abstracts no. 11

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

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

    Hampton, J A

    2002-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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