The method of abstraction in the design of databases and the interoperability

Science.gov (United States)

Yakovlev, Nikolay

2018-03-01

When designing the database structure oriented to the contents of indicators presented in the documents and communications subject area. First, the method of abstraction is applied by expansion of the indices of new, artificially constructed abstract concepts. The use of abstract concepts allows to avoid registration of relations many-to-many. For this reason, when built using abstract concepts, demonstrate greater stability in the processes. The example abstract concepts to address structure - a unique house number. Second, the method of abstraction can be used in the transformation of concepts by omitting some attributes that are unnecessary for solving certain classes of problems. Data processing associated with the amended concepts is more simple without losing the possibility of solving the considered classes of problems. For example, the concept "street" loses the binding to the land. The content of the modified concept of "street" are only the relations of the houses to the declared name. For most accounting tasks and ensure communication is enough.

Particle methods: An introduction with applications

Directory of Open Access Journals (Sweden)

Moral Piere Del

2014-01-01

Full Text Available Interacting particle methods are increasingly used to sample from complex high-dimensional distributions. They have found a wide range of applications in applied probability, Bayesian statistics and information engineering. Understanding rigorously these new Monte Carlo simulation tools leads to fascinating mathematics related to Feynman-Kac path integral theory and their interacting particle interpretations. In these lecture notes, we provide a pedagogical introduction to the stochastic modeling and the theoretical analysis of these particle algorithms. We also illustrate these methods through several applications including random walk confinements, particle absorption models, nonlinear filtering, stochastic optimization, combinatorial counting and directed polymer models.

Introduction to the Explicit Finite Element Method for Nonlinear Transient Dynamics

CERN Document Server

Wu, Shen R

2012-01-01

A systematic introduction to the theories and formulations of the explicit finite element method As numerical technology continues to grow and evolve with industrial applications, understanding the explicit finite element method has become increasingly important, particularly in the areas of crashworthiness, metal forming, and impact engineering. Introduction to the Explicit FiniteElement Method for Nonlinear Transient Dynamics is the first book to address specifically what is now accepted as the most successful numerical tool for nonlinear transient dynamics. The book aids readers in master

Introduction to numerical methods for time dependent differential equations

CERN Document Server

Kreiss, Heinz-Otto

2014-01-01

Introduces both the fundamentals of time dependent differential equations and their numerical solutions Introduction to Numerical Methods for Time Dependent Differential Equations delves into the underlying mathematical theory needed to solve time dependent differential equations numerically. Written as a self-contained introduction, the book is divided into two parts to emphasize both ordinary differential equations (ODEs) and partial differential equations (PDEs). Beginning with ODEs and their approximations, the authors provide a crucial presentation of fundamental notions, such as the t

Solutions manual to accompany An introduction to numerical methods and analysis

CERN Document Server

Epperson, James F

2014-01-01

A solutions manual to accompany An Introduction to Numerical Methods and Analysis, Second Edition An Introduction to Numerical Methods and Analysis, Second Edition reflects the latest trends in the field, includes new material and revised exercises, and offers a unique emphasis on applications. The author clearly explains how to both construct and evaluate approximations for accuracy and performance, which are key skills in a variety of fields. A wide range of higher-level methods and solutions, including new topics such as the roots of polynomials, sp

Radiation Protection: introduction

International Nuclear Information System (INIS)

Loos, M.

2005-01-01

The abstract gives an overview and introduction to the activities of SCK-CEN's Radiation Protection department. Main strategic developments and achievements in the field of life sciences, policy supports and medical applications are summarised

WASTK: A Weighted Abstract Syntax Tree Kernel Method for Source Code Plagiarism Detection

Directory of Open Access Journals (Sweden)

Deqiang Fu

2017-01-01

Full Text Available In this paper, we introduce a source code plagiarism detection method, named WASTK (Weighted Abstract Syntax Tree Kernel, for computer science education. Different from other plagiarism detection methods, WASTK takes some aspects other than the similarity between programs into account. WASTK firstly transfers the source code of a program to an abstract syntax tree and then gets the similarity by calculating the tree kernel of two abstract syntax trees. To avoid misjudgment caused by trivial code snippets or frameworks given by instructors, an idea similar to TF-IDF (Term Frequency-Inverse Document Frequency in the field of information retrieval is applied. Each node in an abstract syntax tree is assigned a weight by TF-IDF. WASTK is evaluated on different datasets and, as a result, performs much better than other popular methods like Sim and JPlag.

An introduction to harmony search optimization method

CERN Document Server

Wang, Xiaolei; Zenger, Kai

2014-01-01

This brief provides a detailed introduction, discussion and bibliographic review of the nature1-inspired optimization algorithm called Harmony Search. It uses a large number of simulation results to demonstrate the advantages of Harmony Search and its variants and also their drawbacks. The authors show how weaknesses can be amended by hybridization with other optimization methods. The Harmony Search Method with Applications will be of value to researchers in computational intelligence in demonstrating the state of the art of research on an algorithm of current interest. It also helps researche

Multigrid methods for partial differential equations - a short introduction

International Nuclear Information System (INIS)

Linden, J.; Stueben, K.

1993-01-01

These notes summarize the multigrid methods and emphasis is laid on the algorithmic concepts of multigrid for solving linear and non-linear partial differential equations. In this paper there is brief description of the basic structure of multigrid methods. Detailed introduction is also contained with applications to VLSI process simulation. (A.B.)

Introduction to abstract harmonic analysis

CERN Document Server

Loomis, Lynn H

2011-01-01

Written by a prominent figure in the field of harmonic analysis, this classic monograph is geared toward advanced undergraduates and graduate students and focuses on methods related to Gelfand's theory of Banach algebra. 1953 edition.

Numerical methods in finance and economics a MATLAB-based introduction

CERN Document Server

Brandimarte, Paolo

2006-01-01

A state-of-the-art introduction to the powerful mathematical and statistical tools used in the field of financeThe use of mathematical models and numerical techniques is a practice employed by a growing number of applied mathematicians working on applications in finance. Reflecting this development, Numerical Methods in Finance and Economics: A MATLAB?-Based Introduction, Second Edition bridges the gap between financial theory and computational practice while showing readers how to utilize MATLAB?--the powerful numerical computing environment--for financial applications.The author provides an essential foundation in finance and numerical analysis in addition to background material for students from both engineering and economics perspectives. A wide range of topics is covered, including standard numerical analysis methods, Monte Carlo methods to simulate systems affected by significant uncertainty, and optimization methods to find an optimal set of decisions.Among this book''s most outstanding features is the...

Abstract Introduction

African Journals Online (AJOL)

was more highly heritable than canopy diameter. at this stage in the establishment,and.hen.cewolJ.ld.l!e more readily manipulated byselectiondn.a breeding programme. ' .:;' -:_~ J',. ,,_,._ .. : . -.-' ... occidentale L.) grown in Tanzania, are, planted as unselected ...... selected cashew clones, (Anacardium occidentale linn). Tan-.

Abstract Introduction

African Journals Online (AJOL)

cce

occurs in the form of protein-protein interactions involving high molecular weight proteins. ... pH, moderate ionic strength, (0.1) and low protein concentration. .... For aquomethemoglobin, the variation of the afore-mentioned parameters showed ...

Abstract Introduction

African Journals Online (AJOL)

cce

. Babalola, J. O.. Chemistry Department, Faculty of Science, University of Ibadan, Nigeria,. Oyelakin, O. O.. Department of Science and Technology, University of The Gambia, Serrekunda, The Gambia. Professor Okonjo, K. O.. Chemistry ...

Abstract/ introduction

African Journals Online (AJOL)

User

2011-12-29

Dec 29, 2011 ... of eutrophication on aquatic ecosystems is the disappearance of submerged macrophytes ... macrophyte plants (e.g. Rowmanowska- Duda and .... plant exposure to 5.0 μg/l of MC-LR, the production of a .... Toxicology, 43:.

Automatically classifying sentences in full-text biomedical articles into Introduction, Methods, Results and Discussion.

Science.gov (United States)

Agarwal, Shashank; Yu, Hong

2009-12-01

Biomedical texts can be typically represented by four rhetorical categories: Introduction, Methods, Results and Discussion (IMRAD). Classifying sentences into these categories can benefit many other text-mining tasks. Although many studies have applied different approaches for automatically classifying sentences in MEDLINE abstracts into the IMRAD categories, few have explored the classification of sentences that appear in full-text biomedical articles. We first evaluated whether sentences in full-text biomedical articles could be reliably annotated into the IMRAD format and then explored different approaches for automatically classifying these sentences into the IMRAD categories. Our results show an overall annotation agreement of 82.14% with a Kappa score of 0.756. The best classification system is a multinomial naïve Bayes classifier trained on manually annotated data that achieved 91.95% accuracy and an average F-score of 91.55%, which is significantly higher than baseline systems. A web version of this system is available online at-http://wood.ims.uwm.edu/full_text_classifier/.

An introduction to computer simulation methods applications to physical systems

CERN Document Server

Gould, Harvey; Christian, Wolfgang

2007-01-01

Now in its third edition, this book teaches physical concepts using computer simulations. The text incorporates object-oriented programming techniques and encourages readers to develop good programming habits in the context of doing physics. Designed for readers at all levels , An Introduction to Computer Simulation Methods uses Java, currently the most popular programming language. Introduction, Tools for Doing Simulations, Simulating Particle Motion, Oscillatory Systems, Few-Body Problems: The Motion of the Planets, The Chaotic Motion of Dynamical Systems, Random Processes, The Dynamics of Many Particle Systems, Normal Modes and Waves, Electrodynamics, Numerical and Monte Carlo Methods, Percolation, Fractals and Kinetic Growth Models, Complex Systems, Monte Carlo Simulations of Thermal Systems, Quantum Systems, Visualization and Rigid Body Dynamics, Seeing in Special and General Relativity, Epilogue: The Unity of Physics For all readers interested in developing programming habits in the context of doing phy...

Study on the Application of TOPSIS Method to the Introduction of Foreign Players in CBA Games

Science.gov (United States)

Zhongyou, Xing

The TOPSIS method is a multiple attribute decision-making method. This paper introduces the current situation of the introduction of foreign players in CBA games, presents the principles and calculation steps of TOPSIS method in detail, and applies it to the quantitative evaluation of the comprehensively competitive ability during the introduction of foreign players. Through the analysis of practical application, we found that the TOPSIS method has relatively high rationality and applicability when it is used to evaluate the comprehensively competitive ability during the introduction of foreign players.

The Complexity of Abstract Machines

Directory of Open Access Journals (Sweden)

Beniamino Accattoli

2017-01-01

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

Game theory an introduction

CERN Document Server

Barron, E N

2013-01-01

An exciting new edition of the popular introduction to game theory and its applications The thoroughly expanded Second Edition presents a unique, hands-on approach to game theory. While most books on the subject are too abstract or too basic for mathematicians, Game Theory: An Introduction, Second Edition offers a blend of theory and applications, allowing readers to use theory and software to create and analyze real-world decision-making models. With a rigorous, yet accessible, treatment of mathematics, the book focuses on results that can be used to

Labour and Passion. : Introduction

NARCIS (Netherlands)

Dr. Joke Hermes

2014-01-01

Abstract In this introduction to the themed section on ‘Labour and passion’, it is argued that work has bled into all areas of life. Political economists and media production researchers have shown how both paid and unpaid labour are singularly important and build upon one another. The set of

Study on introduction of SN transition type FCL into distribution systems

International Nuclear Information System (INIS)

Kameda, Hideyuki; Uemura, Satoshi; Ichinose, Ataru

2013-01-01

Highlights: •We describe the arrangement of SNFCL into a present and a future distribution system. •The FCLs near loop-switches can prevent a blackout against a fault within the loop. •The FCLs enable us to enhance the flexibility of the system configuration. -- Abstract: The suitable introduction method of SN transition type superconducting fault current limiter (SNFCL) into a typical 6.6-kVdistribution system in Japan is described. A present distribution system is operated in the radial configuration and aged equipment with the isolated neutral system. An introduction of the FCLs into this system could expect to become a countermeasure against a short-circuit when introducing distributed generations in a future looped distribution system, the entire system will go into a blackout without any countermeasures, when a fault occurs within the looped system. But the introduction of the FCLs is expected to localize a blackout and to enhance the flexibility of a system configuration. In order to achieve the above-mentioned purposes of the introduction of the FCLs, the setting method of the parameters which a user should set is proposed using the transient analysis model of the SNFCL which we have ever developed

TQM: A bibliography with abstracts. [total quality management

Science.gov (United States)

Gottlich, Gretchen L. (Editor)

1992-01-01

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

Elements of abstract algebra

CERN Document Server

Clark, Allan

1984-01-01

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

Introduction to the Finite-Difference Time-Domain (FDTD) Method for Electromagnetics

CERN Document Server

Gedney, Stephen

2011-01-01

Introduction to the Finite-Difference Time-Domain (FDTD) Method for Electromagnetics provides a comprehensive tutorial of the most widely used method for solving Maxwell's equations -- the Finite Difference Time-Domain Method. This book is an essential guide for students, researchers, and professional engineers who want to gain a fundamental knowledge of the FDTD method. It can accompany an undergraduate or entry-level graduate course or be used for self-study. The book provides all the background required to either research or apply the FDTD method for the solution of Maxwell's equations to p

Introduction: Discourse Analysis and Policy Discourse

NARCIS (Netherlands)

D.R. Gasper (Des); R.J. Apthorpe (Raymond)

1996-01-01

markdownabstractAbstract: As introduction to a collection on policy discourses and patterns of argumentation in international development, this paper clarifies different meanings of `discourse' and 'discourse analysis', including as applied in development studies, and explains why effective

Abstract algebra an introductory course

CERN Document Server

Lee, Gregory T

2018-01-01

This carefully written textbook offers a thorough introduction to abstract algebra, covering the fundamentals of groups, rings and fields. The first two chapters present preliminary topics such as properties of the integers and equivalence relations. The author then explores the first major algebraic structure, the group, progressing as far as the Sylow theorems and the classification of finite abelian groups. An introduction to ring theory follows, leading to a discussion of fields and polynomials that includes sections on splitting fields and the construction of finite fields. The final part contains applications to public key cryptography as well as classical straightedge and compass constructions. Explaining key topics at a gentle pace, this book is aimed at undergraduate students. It assumes no prior knowledge of the subject and contains over 500 exercises, half of which have detailed solutions provided.

8th seminar on spectroscopic methods in environmental monitoring. Book of abstracts

International Nuclear Information System (INIS)

1995-01-01

Out of 28 short communications contained in the book of abstracts, 2 items were inputted to the INIS system. These deal with the use of X-ray fluorescence spectroscopy in trace analysis and the current development in radon detection methods. (Z.S.)

8th seminar on spectroscopic methods in environmental monitoring. Book of abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1995-07-01

Out of 28 short communications contained in the book of abstracts, 2 items were inputted to the INIS system. These deal with the use of X-ray fluorescence spectroscopy in trace analysis and the current development in radon detection methods. (Z.S.).

Abstract 1. Introduction

African Journals Online (AJOL)

Maseh

E-government implications for records management in Africa – a review of literature. Elsebah Maseh (PhD). First affiliation: .... developing countries, Africa included, where ... perspective African countries were particularly underdeveloped in ...

Copper Mountain conference on multigrid methods. Preliminary proceedings -- List of abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1995-12-31

This report contains abstracts of the papers presented at the conference. Papers cover multigrid algorithms and applications of multigrid methods. Applications include the following: solution of elliptical problems; electric power grids; fluid mechanics; atmospheric data assimilation; thermocapillary effects on weld pool shape; boundary-value problems; prediction of hurricane tracks; modeling multi-dimensional combustion and detailed chemistry; black-oil reservoir simulation; image processing; and others.

Validity of a structured method of selecting abstracts for a plastic surgical scientific meeting

NARCIS (Netherlands)

van der Steen, LPE; Hage, JJ; Kon, M; Monstrey, SJ

In 1999, the European Association of Plastic Surgeons accepted a structured method to assess and select the abstracts that are submitted for its yearly scientific meeting. The two criteria used to evaluate whether such a selection method is accurate were reliability and validity. The authors

Editors' Introduction to the Thematic Issue: Mad about Methods? Teaching Research Methods in Political Science

Science.gov (United States)

Adriaensen, Johan; Kerremans, Bart; Slootmaeckers, Koen

2015-01-01

The contributors to this special issue all seek to address the challenge of teaching research methods to political science students. This introduction aims to provide a concise framework for the various innovations presented throughout this issue, situating them in the wider literature. Particular emphasis is placed on the factors that distinguish…

Method of synthesis of abstract images with high self-similarity

Science.gov (United States)

Matveev, Nikolay V.; Shcheglov, Sergey A.; Romanova, Galina E.; Koneva, Ð.¢atiana A.

2017-06-01

Abstract images with high self-similarity could be used for drug-free stress therapy. This based on the fact that a complex visual environment has a high affective appraisal. To create such an image we can use the setup based on the three laser sources of small power and different colors (Red, Green, Blue), the image is the pattern resulting from the reflecting and refracting by the complicated form object placed into the laser ray paths. The images were obtained experimentally which showed the good therapy effect. However, to find and to choose the object which gives needed image structure is very difficult and requires many trials. The goal of the work is to develop a method and a procedure of finding the object form which if placed into the ray paths can provide the necessary structure of the image In fact the task means obtaining the necessary irradiance distribution on the given surface. Traditionally such problems are solved using the non-imaging optics methods. In the given case this task is very complicated because of the complicated structure of the illuminance distribution and its high non-linearity. Alternative way is to use the projected image of a mask with a given structure. We consider both ways and discuss how they can help to speed up the synthesis procedure for the given abstract image of the high self-similarity for the setups of drug-free therapy.

Abstract Interpretation and Attribute Gramars

DEFF Research Database (Denmark)

Rosendahl, Mads

The objective of this thesis is to explore the connections between abstract interpretation and attribute grammars as frameworks in program analysis. Abstract interpretation is a semantics-based program analysis method. A large class of data flow analysis problems can be expressed as non-standard ...... is presented in the thesis. Methods from abstract interpretation can also be used in correctness proofs of attribute grammars. This proof technique introduces a new class of attribute grammars based on domain theory. This method is illustrated with examples....

An Enzymatic Clinical Chemistry Laboratory Experiment Incorporating an Introduction to Mathematical Method Comparison Techniques

Science.gov (United States)

Duxbury, Mark

2004-01-01

An enzymatic laboratory experiment based on the analysis of serum is described that is suitable for students of clinical chemistry. The experiment incorporates an introduction to mathematical method-comparison techniques in which three different clinical glucose analysis methods are compared using linear regression and Bland-Altman difference…

The variational method in quantum mechanics: an elementary introduction

Science.gov (United States)

Borghi, Riccardo

2018-05-01

Variational methods in quantum mechanics are customarily presented as invaluable techniques to find approximate estimates of ground state energies. In the present paper a short catalogue of different celebrated potential distributions (both 1D and 3D), for which an exact and complete (energy and wavefunction) ground state determination can be achieved in an elementary way, is illustrated. No previous knowledge of calculus of variations is required. Rather, in all presented cases the exact energy functional minimization is achieved by using only a couple of simple mathematical tricks: ‘completion of square’ and integration by parts. This makes our approach particularly suitable for undergraduates. Moreover, the key role played by particle localization is emphasized through the entire analysis. This gentle introduction to the variational method could also be potentially attractive for more expert students as a possible elementary route toward a rather advanced topic on quantum mechanics: the factorization method. Such an unexpected connection is outlined in the final part of the paper.

Introduction to elementary computational modeling essential concepts, principles, and problem solving

CERN Document Server

Garrido, Jose

2011-01-01

… offers a solid first step into scientific and technical computing for those just getting started. … Through simple examples that are both easy to conceptualize and straightforward to express mathematically (something that isn't trivial to achieve), Garrido methodically guides readers from problem statement and abstraction through algorithm design and basic programming. His approach offers those beginning in a scientific or technical discipline something unique; a simultaneous introduction to programming and computational thinking that is very relevant to the practical application of computin

Statistical theory a concise introduction

CERN Document Server

Abramovich, Felix

2013-01-01

Introduction Preamble Likelihood Sufficiency Minimal sufficiency Completeness Exponential family of distributionsPoint Estimation Introduction Maximum likelihood estimation Method of moments Method of least squares Goodness-of-estimation. Mean squared error. Unbiased estimationConfidence Intervals, Bounds, and Regions Introduction Quoting the estimation error Confidence intervalsConfidence bounds Confidence regionsHypothesis Testing Introduction Simple hypothesesComposite hypothesesHypothesis testing and confidence intervals Sequential testingAsymptotic Analysis Introduction Convergence and consistency in MSE Convergence and consistency in probability Convergence in distribution The central limit theorem Asymptotically normal consistency Asymptotic confidence intervals Asymptotic normality of the MLE Multiparameter case Asymptotic distribution of the GLRT. Wilks' theorem.Bayesian Inference Introduction Choice of priors Point estimation Interval estimation. Credible sets. Hypothesis testingElements of Statisti...

Abstract Level Parallelization of Finite Difference Methods

Directory of Open Access Journals (Sweden)

Edwin Vollebregt

1997-01-01

Full Text Available A formalism is proposed for describing finite difference calculations in an abstract way. The formalism consists of index sets and stencils, for characterizing the structure of sets of data items and interactions between data items (“neighbouring relations”. The formalism provides a means for lifting programming to a more abstract level. This simplifies the tasks of performance analysis and verification of correctness, and opens the way for automaticcode generation. The notation is particularly useful in parallelization, for the systematic construction of parallel programs in a process/channel programming paradigm (e.g., message passing. This is important because message passing, unfortunately, still is the only approach that leads to acceptable performance for many more unstructured or irregular problems on parallel computers that have non-uniform memory access times. It will be shown that the use of index sets and stencils greatly simplifies the determination of which data must be exchanged between different computing processes.

Full-text publication of abstracts presented at European Orthodontic Society congresses

NARCIS (Netherlands)

Livas, Christos; Pandis, Nikolaos; Ren, Yijin

2014-01-01

INTRODUCTION: Empirical evidence has indicated that only a subsample of studies conducted reach full-text publication and this phenomenon has become known as publication bias. A form of publication bias is the selectively delayed full publication of conference abstracts. The objective of this

Reduced basis methods for partial differential equations an introduction

CERN Document Server

Quarteroni, Alfio; Negri, Federico

2016-01-01

This book provides a basic introduction to reduced basis (RB) methods for problems involving the repeated solution of partial differential equations (PDEs) arising from engineering and applied sciences, such as PDEs depending on several parameters and PDE-constrained optimization.  The book presents a general mathematical formulation of RB methods, analyzes their fundamental theoretical properties, discusses the related algorithmic and implementation aspects, and highlights their built-in algebraic and geometric structures.  More specifically, the authors discuss alternative strategies for constructing accurate RB spaces using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline-online decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry out both a priori and a posteriori error analysis.  The whole mathematical presentation is made more stimulating by the use of representative examp...

Introduction to methods of approximation in physics and astronomy

CERN Document Server

van Putten, Maurice H P M

2017-01-01

This textbook provides students with a solid introduction to the techniques of approximation commonly used in data analysis across physics and astronomy. The choice of methods included is based on their usefulness and educational value, their applicability to a broad range of problems and their utility in highlighting key mathematical concepts. Modern astronomy reveals an evolving universe rife with transient sources, mostly discovered - few predicted - in multi-wavelength observations. Our window of observations now includes electromagnetic radiation, gravitational waves and neutrinos. For the practicing astronomer, these are highly interdisciplinary developments that pose a novel challenge to be well-versed in astroparticle physics and data-analysis. The book is organized to be largely self-contained, starting from basic concepts and techniques in the formulation of problems and methods of approximation commonly used in computation and numerical analysis. This includes root finding, integration, signal dete...

Advanced scientific computational methods and their applications to nuclear technologies. (3) Introduction of continuum simulation methods and their applications (3)

International Nuclear Information System (INIS)

Satake, Shin-ichi; Kunugi, Tomoaki

2006-01-01

Scientific computational methods have advanced remarkably with the progress of nuclear development. They have played the role of weft connecting each realm of nuclear engineering and then an introductory course of advanced scientific computational methods and their applications to nuclear technologies were prepared in serial form. This is the third issue showing the introduction of continuum simulation methods and their applications. Spectral methods and multi-interface calculation methods in fluid dynamics are reviewed. (T. Tanaka)

Introduction of characteristics and construction methods for Lungmen NPP

International Nuclear Information System (INIS)

Hur, Kyung Phil; Manager, General

2007-01-01

Daewoo Engineering and Construction Co., Ltd. has taken part in the construction of ABWR (Advance Boiling Water Reactor of capacity of 1,350MW) at Lungmen site in Taiwan since 1999 as a member of Joint Company for the Nuclear Island Civil Work and Nuclear Island Equipment and Piping Work. This paper discusses the introduction of NSSS of ABWR and the major construction methods applied to Lungmen Nuclear Power Plants. Even though there is no BWR or ABWR type of Nuclear Power Plants built in Korea, the information and data related to the newly advanced construction technologies which has been already applied successfully is very important for the future overseas expansion

Knowledge acquisition for temporal abstraction.

Science.gov (United States)

Stein, A; Musen, M A; Shahar, Y

1996-01-01

Temporal abstraction is the task of detecting relevant patterns in data over time. The knowledge-based temporal-abstraction method uses knowledge about a clinical domain's contexts, external events, and parameters to create meaningful interval-based abstractions from raw time-stamped clinical data. In this paper, we describe the acquisition and maintenance of domain-specific temporal-abstraction knowledge. Using the PROTEGE-II framework, we have designed a graphical tool for acquiring temporal knowledge directly from expert physicians, maintaining the knowledge in a sharable form, and converting the knowledge into a suitable format for use by an appropriate problem-solving method. In initial tests, the tool offered significant gains in our ability to rapidly acquire temporal knowledge and to use that knowledge to perform automated temporal reasoning.

Introduction to Geostatistics

Science.gov (United States)

Kitanidis, P. K.

1997-05-01

Introduction to Geostatistics presents practical techniques for engineers and earth scientists who routinely encounter interpolation and estimation problems when analyzing data from field observations. Requiring no background in statistics, and with a unique approach that synthesizes classic and geostatistical methods, this book offers linear estimation methods for practitioners and advanced students. Well illustrated with exercises and worked examples, Introduction to Geostatistics is designed for graduate-level courses in earth sciences and environmental engineering.

Advanced scientific computational methods and their applications of nuclear technologies. (1) Overview of scientific computational methods, introduction of continuum simulation methods and their applications (1)

International Nuclear Information System (INIS)

Oka, Yoshiaki; Okuda, Hiroshi

2006-01-01

Scientific computational methods have advanced remarkably with the progress of nuclear development. They have played the role of weft connecting each realm of nuclear engineering and then an introductory course of advanced scientific computational methods and their applications to nuclear technologies were prepared in serial form. This is the first issue showing their overview and introduction of continuum simulation methods. Finite element method as their applications is also reviewed. (T. Tanaka)

A New Method for Post-introduction Risk Assessment of Biological Invasions Among Introduced Shrubs in Developing Countries.

Science.gov (United States)

Seburanga, J L; Bizuru, E; Mwavu, E N; Kampungu, K G; Gatesire, T; Kaplin, B A

2016-03-01

Risk-assessment methods are useful in collecting data that can help decision making to prevent the introduction of new species that have the potential of invading as well as in management of established taxa. Not only the complexity and unaffordability of available pre-introduction risk-assessment models make them rarely or inconsistently applied in the least-developed countries, but also there is lack of tools to assess the status of already introduced plant species. In this study, an affordable and rapid method of assessment of invasiveness among introduced plant species was developed and tested in Rwanda. This method defines three invasion stages (potential, effective, and suppressive invaders) and four levels of risk assessment: post-introduction assessment of species inherent invasive potential (Level 1), post-establishment assessment of species capacity of regeneration (Level 2), post-naturalization assessment of species range of occurrence and ability for long-distance dispersal (Level 3), and post-naturalization assessment of species ability to outcompete other plants in the community and transform the landscape (Level 4). A review of invasive species in Rwanda was developed through desk review, examination of herbarium records, and vegetation surveys. This method should be applicable in other countries that lack the means for a more conventional scientific investigation or under any circumstance where a quick and inexpensive assessment is needed. The method could be useful to environmental managers for timely intervention with strategies specific to different stages of invasion (post-introduction, post-establishment, or post-naturalization) and allocate resources accordingly.

Introduzione / Introduction | Guzzetta | Italian Studies in Southern ...

African Journals Online (AJOL)

Username, Password, Remember me, or Register. Introduzione / Introduction. G Guzzetta. Abstract. Identità Italiane In Movimento. Full Text: EMAIL FREE FULL TEXT EMAIL FREE FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · http://dx.doi.org/10.4314/issa.v21i1-2.43947 · AJOL African Journals Online.

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

DEFF Research Database (Denmark)

Song, Lei; Godskesen, Jens Christian

2012-01-01

topology constraint. We allow continuous time stochastic behavior of processes running at network nodes, e.g. in order to be able to model randomized protocols. The introduction of group broadcast and an operator to help avoid flooding allows us to define a novel notion of broadcast abstraction. Finally......, we define a weak bisimulation congruence and apply our theory on an example of a leader election protocol....

An introduction to neural network methods for differential equations

CERN Document Server

Yadav, Neha; Kumar, Manoj

2015-01-01

This book introduces a variety of neural network methods for solving differential equations arising in science and engineering. The emphasis is placed on a deep understanding of the neural network techniques, which has been presented in a mostly heuristic and intuitive manner. This approach will enable the reader to understand the working, efficiency and shortcomings of each neural network technique for solving differential equations. The objective of this book is to provide the reader with a sound understanding of the foundations of neural networks, and a comprehensive introduction to neural network methods for solving differential equations together with recent developments in the techniques and their applications. The book comprises four major sections. Section I consists of a brief overview of differential equations and the relevant physical problems arising in science and engineering. Section II illustrates the history of neural networks starting from their beginnings in the 1940s through to the renewed...

Book review: Advanced Introduction to Comparative Constitutional Law.

Directory of Open Access Journals (Sweden)

Ainhoa Martinez

2016-12-01

Full Text Available Tushnet presents a thoughtful introduction to the field of comparative constitutional law through a review of recent literature and an analysis of the key contemporary issues in constitutional design and structure. In the following lines a review of his book is presented.Book review of Mark Tushnet. Advanced Introduction to Comparative Constitutional Law. Cheltenham; Northampton: Edward Elgar Publishing, 2014. ISBN (Hb 978 1 78100 731 0 £58.50, ISBN (Pb 978 1 78347 351 9 £12.76.DOWNLOAD THIS PAPER FROM SSRN: https://ssrn.com/abstract=2887014

Introduction to differentiable manifolds

CERN Document Server

Auslander, Louis

2009-01-01

The first book to treat manifold theory at an introductory level, this text surveys basic concepts in the modern approach to differential geometry. The first six chapters define and illustrate differentiable manifolds, and the final four chapters investigate the roles of differential structures in a variety of situations.Starting with an introduction to differentiable manifolds and their tangent spaces, the text examines Euclidean spaces, their submanifolds, and abstract manifolds. Succeeding chapters explore the tangent bundle and vector fields and discuss their association with ordinary diff

METHOD AND ABSTRACT MODEL FOR CONTROL AND ACCESS RIGHTS BY REQUESTS REDIRECTION

Directory of Open Access Journals (Sweden)

K. A. Shcheglov

2015-11-01

Full Text Available We have researched implementation problems of control and access rights of subjects to objects in modern computer systems. We have suggested access control method based on objects access requests redirection. The method possesses a distinctive feature as compared to discretional access control. In case when a subject needs to deny writing (object modification, it is not denied but redirected (access rights are not changed, but operation is performed with another object. This gives the possibility to implement access policies to system objects without breaking the system and applications operability, and share correctly access objects between subjects. This important property of suggested access control method enables to solve fundamentally new system objects securing problems like system resources virtualization aimed to protect system objects from users’ and applications attacks. We have created an abstract model, and it shows that this method (access control from subjects to objects based on requests redirection can be used as self-sufficient access control method, implementing any access control policy (from subjects to objects, thus being an alternative to discretional access control method.

Abstract Introduction Our findings

Indian Academy of Sciences (India)

Avrion Mitchison

2017-02-14

Feb 14, 2017 ... University College London, Great Britain and Harvard Medical ... which to test this prediction, as it allows the proportion of recessive disease ... Accordingly our first step was to consider the 28 diseases listed in OMIM (Euro-.

Write Python instead of SQL - an introduction to SQLAlchemy.

CERN Multimedia

CERN. Geneva

2016-01-01

SQLAlchemy is the most popular ORM and SQL abstraction layer for Python and used by multiple big projects at CERN such as Indico or Invenio. In my talk I'm going to give a short introduction on how to use it.

Introduction

International Nuclear Information System (INIS)

Kadirov, A.Kh.; Khaydarov, K.Kh.; Giyosov, A.Sh.

2000-01-01

In the introduction authors describe book in general and in particular describe the ways and methods of direct synthesis on the base of different derivatives of cholanic acids and receiving of line of corresponding ethers which have practical properties

Quantum statistical field theory an introduction to Schwinger's variational method with Green's function nanoapplications, graphene and superconductivity

CERN Document Server

Morgenstern Horing, Norman J

2017-01-01

This book provides an introduction to the methods of coupled quantum statistical field theory and Green's functions. The methods of coupled quantum field theory have played a major role in the extensive development of nonrelativistic quantum many-particle theory and condensed matter physics. This introduction to the subject is intended to facilitate delivery of the material in an easily digestible form to advanced undergraduate physics majors at a relatively early stage of their scientific development. The main mechanism to accomplish this is the early introduction of variational calculus and the Schwinger Action Principle, accompanied by Green's functions. Important achievements of the theory in condensed matter and quantum statistical physics are reviewed in detail to help develop research capability. These include the derivation of coupled field Green's function equations-of-motion for a model electron-hole-phonon system, extensive discussions of retarded, thermodynamic and nonequilibrium Green's functions...

An introduction to tensors and group theory for physicists

CERN Document Server

Jeevanjee, Nadir

2015-01-01

The second edition of this highly praised textbook provides an introduction to tensors, group theory, and their applications in classical and quantum physics.  Both intuitive and rigorous, it aims to demystify tensors by giving the slightly more abstract but conceptually much clearer definition found in the math literature, and then connects this formulation to the component formalism of physics calculations.  New pedagogical features, such as new illustrations, tables, and boxed sections, as well as additional “invitation” sections that provide accessible introductions to new material, offer increased visual engagement, clarity, and motivation for students.   Part I begins with linear algebraic foundations, follows with the modern component-free definition of tensors, and concludes with applications to physics through the use of tensor products. Part II introduces group theory, including abstract groups and Lie groups and their associated Lie algebras, then intertwines this material with that of Part...

Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

Energy Technology Data Exchange (ETDEWEB)

Anon.

2000-07-01

This issue of the journal contains the abstracts of the 183 conference papers as well as 266 posters presented at the conference. Subject fields covered are: Neurology, psychology, oncology, pediatrics, radiopharmacy, endocrinology, EDP, measuring equipment and methods, radiological protection, cardiology, and therapy. (orig./CB) [German] Die vorliegende Zeitschrift enthaelt die Kurzfassungen der 183 auf der Tagung gehaltenen Vortraege sowie der 226 praesentierten Poster, die sich mit den folgenden Themen befassten: Neurologie, Psychiatrie, Onkologie, Paediatrie, Radiopharmazie, Endokrinologie, EDV, Messtechnik, Strahlenschutz, Kardiologie sowie Therapie. (MG)

Abstraction by Set-Membership

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander

2010-01-01

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

Introduction to First-Principles Electronic Structure Methods: Application to Actinide Materials

International Nuclear Information System (INIS)

Klepeis, J E

2006-01-01

This paper provides an introduction for non-experts to first-principles electronic structure methods that are widely used in condensed-matter physics. Particular emphasis is placed on giving the appropriate background information needed to better appreciate the use of these methods to study actinide and other materials. Specifically, I describe the underlying theory sufficiently to enable an understanding of the relative strengths and weaknesses of the methods. I also explain the meaning of commonly used terminology, including density functional theory (DFT), local density approximation (LDA), and generalized gradient approximation (GGA), as well as linear muffin-tin orbital (LMTO), linear augmented plane wave (LAPW), and pseudopotential methods. I also briefly discuss methodologies that extend the basic theory to address specific limitations. Finally, I describe a few illustrative applications, including quantum molecular dynamics (QMD) simulations and studies of surfaces, impurities, and defects. I conclude by addressing the current controversy regarding magnetic calculations for actinide materials

Advanced scientific computational methods and their applications to nuclear technologies. (4) Overview of scientific computational methods, introduction of continuum simulation methods and their applications (4)

International Nuclear Information System (INIS)

Sekimura, Naoto; Okita, Taira

2006-01-01

Scientific computational methods have advanced remarkably with the progress of nuclear development. They have played the role of weft connecting each realm of nuclear engineering and then an introductory course of advanced scientific computational methods and their applications to nuclear technologies were prepared in serial form. This is the fourth issue showing the overview of scientific computational methods with the introduction of continuum simulation methods and their applications. Simulation methods on physical radiation effects on materials are reviewed based on the process such as binary collision approximation, molecular dynamics, kinematic Monte Carlo method, reaction rate method and dislocation dynamics. (T. Tanaka)

Surgery for constipation : systematic review and clinical guidance : Paper 1 : Introduction & Methods

OpenAIRE

Knowles, C. H.; Grossi, U.; Horrocks, E. J.; Pares, D.; Vollebregt, P. F.; Chapman, M.; Brown, S. R.; Mercer-Jones, M.; Williams, A. B.; Hooper, R. J.; Stevens, N.; Mason, James; HASH(0x55897e378178); HASH(0x55897e14a718)

2017-01-01

Aim\\ud \\ud This manuscript provides the introduction and detailed methodology used in subsequent reviews to assess the outcomes of surgical interventions with the primary intent of treating chronic constipation in adults and to develop recommendations for practice.\\ud \\ud Method\\ud \\ud PRISMA guidance was adhered to throughout. A literature search was performed in public databases between January 1960 and February 2016. Studies that fulfilled strictly-defined PICOS (patients, interventions, c...

Introduction to DNA methods for identification of irradiated foods

International Nuclear Information System (INIS)

Delincee, H.

1996-01-01

This brief introduction sets the scene with respect to the presentations in this ADMIT meeting dealing with DNA changes as a tool to detect the radiation processing of food. The choice to examine DNA seems obvious, since DNA is a sensitive cellular target to irradiation and the changes in DNA are responsible for many effects observed in irradiated foods, such as the inactivation of microorganisms, elimination of insects, inhibition of sprouting in bulbs and tubers and delay of ripening in several fruits. Therefore, these changes in DNA should be discernible in microbial or insect DNA or in the nucleic acids in the food itself. If DNA changes were specific to irradiation, a detection method could be designed which would have wide applicability, since most foods are derived from living organisms which all contain DNA. Such a method could almost be the universal method for detecting the radiation treatment of foods. Radiation-induced changes in DNA can be analysed by a variety of analytical techniques, which have mostly been employed on pure DNA or on DNA in living cells in radiation biology research. Whether or not some of these techniques can be utilised to detect irradiated food has recently been very briefly discussed. (author)

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

Energy Technology Data Exchange (ETDEWEB)

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

1981-07-01

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

Introduction to Analytical Methods for Internal Combustion Engine Cam Mechanisms

CERN Document Server

Williams, J J

2013-01-01

Modern design methods of Automotive Cam Design require the computation of a range of parameters. This book provides a logical sequence of steps for the derivation of the relevant equations from first principles, for the more widely used cam mechanisms. Although originally derived for use in high performance engines, this work is equally applicable to the design of mass produced automotive and other internal combustion engines.   Introduction to Analytical Methods for Internal Combustion Engine Cam Mechanisms provides the equations necessary for the design of cam lift curves with an associated smooth acceleration curve. The equations are derived for the kinematics and kinetics of all the mechanisms considered, together with those for cam curvature and oil entrainment velocity. This permits the cam shape, all loads, and contact stresses to be evaluated, and the relevant tribology to be assessed. The effects of asymmetry on the manufacture of cams for finger follower and offset translating curved followers is ...

Abstraction of continuous dynamical systems utilizing lyapunov functions

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2010-01-01

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

Introduction of a pyramid guiding process for general musculoskeletal physical rehabilitation

Directory of Open Access Journals (Sweden)

Stark Timothy W

2006-06-01

Full Text Available Abstract Successful instruction of a complicated subject as Physical Rehabilitation demands organization. To understand principles and processes of such a field demands a hierarchy of steps to achieve the intended outcome. This paper is intended to be an introduction to a proposed pyramid scheme of general physical rehabilitation principles. The purpose of the pyramid scheme is to allow for a greater understanding for the student and patient. As the respected Food Guide Pyramid accomplishes, the student will further appreciate and apply supported physical rehabilitation principles and the patient will understand that there is a progressive method to their functional healing process.

Abstract analysis method facilitates filtering low-methodological quality and high-bias risk systematic reviews on psoriasis interventions.

Science.gov (United States)

Gómez-García, Francisco; Ruano, Juan; Aguilar-Luque, Macarena; Alcalde-Mellado, Patricia; Gay-Mimbrera, Jesús; Hernández-Romero, José Luis; Sanz-Cabanillas, Juan Luis; Maestre-López, Beatriz; González-Padilla, Marcelino; Carmona-Fernández, Pedro J; García-Nieto, Antonio Vélez; Isla-Tejera, Beatriz

2017-12-29

Article summaries' information and structure may influence researchers/clinicians' decisions to conduct deeper full-text analyses. Specifically, abstracts of systematic reviews (SRs) and meta-analyses (MA) should provide structured summaries for quick assessment. This study explored a method for determining the methodological quality and bias risk of full-text reviews using abstract information alone. Systematic literature searches for SRs and/or MA about psoriasis were undertaken on MEDLINE, EMBASE, and Cochrane database. For each review, quality, abstract-reporting completeness, full-text methodological quality, and bias risk were evaluated using Preferred Reporting Items for Systematic Reviews and Meta-analyses for abstracts (PRISMA-A), Assessing the Methodological Quality of Systematic Reviews (AMSTAR), and ROBIS tools, respectively. Article-, author-, and journal-derived metadata were systematically extracted from eligible studies using a piloted template, and explanatory variables concerning abstract-reporting quality were assessed using univariate and multivariate-regression models. Two classification models concerning SRs' methodological quality and bias risk were developed based on per-item and total PRISMA-A scores and decision-tree algorithms. This work was supported, in part, by project ICI1400136 (JR). No funding was received from any pharmaceutical company. This study analysed 139 SRs on psoriasis interventions. On average, they featured 56.7% of PRISMA-A items. The mean total PRISMA-A score was significantly higher for high-methodological-quality SRs than for moderate- and low-methodological-quality reviews. SRs with low-bias risk showed higher total PRISMA-A values than reviews with high-bias risk. In the final model, only 'authors per review > 6' (OR: 1.098; 95%CI: 1.012-1.194), 'academic source of funding' (OR: 3.630; 95%CI: 1.788-7.542), and 'PRISMA-endorsed journal' (OR: 4.370; 95%CI: 1.785-10.98) predicted PRISMA-A variability. Reviews with a

Gaining industrial confidence for the introduction of domain-specific languages

NARCIS (Netherlands)

Mooij, A.J.; Hooman, J.; Albers, R.

2013-01-01

Domain-Specific Languages (DSLs) receive attention as the possible next abstraction step in programming. Despite the benefits of using DSLs, in the industry there is also some reluctance against their introduction in product development. We address a number of issues that are important to gain

From Abstract Art to Abstracted Artists

Directory of Open Access Journals (Sweden)

Romi Mikulinsky

2016-11-01

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

Nuclear medicine. Abstracts

International Nuclear Information System (INIS)

Anon.

2000-01-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) [de

An Introduction of Finite Element Method in the Engineering Teaching at the University of Camaguey.

Science.gov (United States)

Napoles, Elsa; Blanco, Ramon; Jimenez, Rafael; Mc.Pherson, Yoanka

This paper illuminates experiences related to introducing finite element methods (FEM) in mechanical and civil engineering courses at the University of Camaguey in Cuba and provides discussion on using FEM in postgraduate courses for industry engineers. Background information on the introduction of FEM in engineering teaching is focused on…

An introduction to the geometry of singularities on general relativity

International Nuclear Information System (INIS)

Canarutto, D.

1988-01-01

The aim of this paper is the introduction of many ideas in differential geometry by adopting an abstract and general framework. Such a clearness permits to obtain a powerful and simple theory of connection on fibred manifolds allowing a clearer understanding and easier handling (C.P.)

Introduction to nonimaging optics

CERN Document Server

Chaves, Julio

2015-01-01

Introduction to Nonimaging Optics covers the theoretical foundations and design methods of nonimaging optics, as well as key concepts from related fields. This fully updated, revised, and expanded Second Edition: Features a new and intuitive introduction with a basic description of the advantages of nonimaging opticsAdds new chapters on wavefronts for a prescribed output (irradiance or intensity), infinitesimal étendue optics (generalization of the aplanatic optics), and Köhler optics and color mixingIncorporates new material on the simultaneous multiple surface (SMS) design method in 3-D, int

47 CFR 2.1501 - Introduction.

Science.gov (United States)

2010-10-01

... 47 Telecommunication 1 2010-10-01 2010-10-01 false Introduction. 2.1501 Section 2.1501 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL... Radiobeacons (EPIRBs) General § 2.1501 Introduction. The procedure described herein sets forth uniform methods...

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

Directory of Open Access Journals (Sweden)

Gwinn Marta

2007-06-01

Full Text Available 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 research interests, and collecting current contact information. We present a novel strategy for building investigator networks dynamically and producing detailed investigator profiles using data available in PubMed abstracts. Results We developed a novel strategy to obtain detailed investigator information by automatically parsing the affiliation string in PubMed records. We illustrated the results by using a published literature database in human genome epidemiology (HuGE Pub Lit as a test case. Our parsing strategy extracted country information from 92.1% of the affiliation strings in a random sample of PubMed records and in 97.0% of HuGE records, with accuracies of 94.0% and 91.0%, respectively. Institution information was parsed from 91.3% of the general PubMed records (accuracy 86.8% and from 94.2% of HuGE PubMed records (accuracy 87.0. We demonstrated the application of our approach to dynamic creation of investigator networks by creating a prototype information system containing a large database of PubMed abstracts relevant to human genome epidemiology (HuGE Pub Lit, indexed using PubMed medical subject headings converted to Unified Medical Language System concepts. Our method was able to identify 70–90% of the investigators/collaborators in three different human genetics fields; it also successfully identified 9 of 10 genetics investigators within the PREBIC network, an existing preterm birth research network. Conclusion We successfully created a

Abstract Cauchy problems three approaches

CERN Document Server

Melnikova, Irina V

2001-01-01

Although the theory of well-posed Cauchy problems is reasonably understood, ill-posed problems-involved in a numerous mathematical models in physics, engineering, and finance- can be approached in a variety of ways. Historically, there have been three major strategies for dealing with such problems: semigroup, abstract distribution, and regularization methods. Semigroup and distribution methods restore well-posedness, in a modern weak sense. Regularization methods provide approximate solutions to ill-posed problems. Although these approaches were extensively developed over the last decades by many researchers, nowhere could one find a comprehensive treatment of all three approaches.Abstract Cauchy Problems: Three Approaches provides an innovative, self-contained account of these methods and, furthermore, demonstrates and studies some of the profound connections between them. The authors discuss the application of different methods not only to the Cauchy problem that is not well-posed in the classical sense, b...

Converting One Type-Based Abstract Domain to Another

DEFF Research Database (Denmark)

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

2006-01-01

The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported....... We develop a method which has been applied in order to generate call and success patterns from the Ciaopp assertions for built-ins, for any given regular type-based domain. In the paper we present the method as an instance of the more general problem of mapping elements of one abstract domain...

Child Development in Developing Countries: Introduction and Methods

Science.gov (United States)

Bornstein, Marc H.; Britto, Pia Rebello; Nonoyama-Tarumi, Yuko; Ota, Yumiko; Petrovic, Oliver; Putnick, Diane L.

2012-01-01

The Multiple Indicator Cluster Survey (MICS) is a nationally representative, internationally comparable household survey implemented to examine protective and risk factors of child development in developing countries around the world. This introduction describes the conceptual framework, nature of the MICS3, and general analytic plan of articles…

Introduction to First-Principles Electronic Structure Methods: Application to Actinide Materials

International Nuclear Information System (INIS)

Klepeis, J E

2005-01-01

The purpose of this paper is to provide an introduction for non-experts to first-principles electronic structure methods that are widely used in the field of condensed-matter physics, including applications to actinide materials. The methods I describe are based on density functional theory (DFT) within the local density approximation (LDA) and the generalized gradient approximation (GGA). In addition to explaining the meaning of this terminology I also describe the underlying theory itself in some detail in order to enable a better understanding of the relative strengths and weaknesses of the methods. I briefly mention some particular numerical implementations of DFT, including the linear muffin-tin orbital (LMTO), linear augmented plane wave (LAPW), and pseudopotential methods, as well as general methodologies that go beyond DFT and specifically address some of the weaknesses of the theory. The last third of the paper is devoted to a few selected applications that illustrate the ideas discussed in the first two-thirds. In particular, I conclude by addressing the current controversy regarding magnetic DFT calculations for actinide materials. Throughout this paper particular emphasis is placed on providing the appropriate background to enable the non-expert to gain a better appreciation of the application of first-principles electronic structure methods to the study of actinide and other materials

28 CFR 59.1 - Introduction.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Introduction. 59.1 Section 59.1 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) GUIDELINES ON METHODS OF OBTAINING DOCUMENTARY MATERIALS HELD BY THIRD PARTIES § 59.1 Introduction. (a) A search for documentary materials necessarily involves...

The introduction of anthropometrics into development and economics

OpenAIRE

Komlos, John; Meermann, Lukas

2007-01-01

'The authors trace the introduction and use of anthropometric indicators (height, weight, body mass index) into development and labor economics in the late 1970s. These biological markers are used as a proxy measure for health human capital, the degree of poverty or malnutrition, net nutritional status, and productive capacity. The use of these indicators has spread rapidly after the 1980s.' (author's abstract)

Odors and Air Pollution: A Bibliography with Abstracts.

Science.gov (United States)

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

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

The Impact of Hydrochloride Heroin on Mental Flexibility, Abstract Reasoning, Impulsivity, and Attention

Directory of Open Access Journals (Sweden)

Zahra Alam Mehrjerdi

2011-04-01

Full Text Available Introduction: Drug addiction could lead to severe impairments in executive and neurocognitive functions but study on the impact of hydrochloride heroin on executive functions has remained in infancy in Iran. The aim of this study was to examine the relationship between addiction to hydrochloride heroin and executive functioning in several cognitive domains including mental flexibility, abstract reasoning, impulsivity, and attention. Methods: A total of 60 cases of young male addicts aged 18 to 21 were recruited from outpatient addiction clinics in Karaj city and were matched with 60 non-drug using controls. A test battery including the Wisconsin Card Sorting Test (WCST, Porteus Maze Test (PMQS, Serial Seven Subtraction Test (SSST, and Color Trails Test (CTT were administered respectively. Results: The patient group showed more problems in impulse control compared with the control group, while mental flexibility, abstract reasoning and attention were not affected. Discussion: The findings indicated that addiction to hydrochloride heroin had a negative effect on impulse control. This issue could reflect the role of impaired inhibitory control on drug-seeking behaviors and relapse. Special treatment programs must be tailored to control impulsivity among addicts to hydrochloride heroin during treatment.

WWNPQFT-2013 - Abstracts

International Nuclear Information System (INIS)

Cessac, B.; Bianchi, E.; Bellon, M.; Fried, H.; Krajewski, T.; Schubert, C.; Barre, J.; Hofmann, R.; Muller, B.; Raffaelli, B.

2014-01-01

The object of this Workshop is to consolidate and publicize new efforts in non perturbative-like Field Theories, relying in Functional Methods, Renormalization Group, and Dyson-Schwinger Equations. A presentation deals with effective vertices and photon-photon scattering in SU(2) Yang-Mills thermodynamics. This document gathers the abstracts of the presentations

[Methods of substances and organelles introduction in living cell for cell engineering technologies].

Science.gov (United States)

Nikitin, V A

2007-01-01

We have presented the classification of more than 40 methods of genetic material, substances and organelles introduction into a living cell. Each of them has its characteristic advantages, disadvantages and limitations with respect to cell viability, transfer efficiency, general applicability, and technical requirements. It this article we have enlarged on the description of our developments of several new and improved approaches, methods and devices of the direct microinjection into a single cell and cell microsurgery with the help of glass micropipettes. The problem of low efficiency of mammalian cloning is discussed with emphasis on the necessity of expertizing of each step of single cell reconstruction to begin with microsurgical manipulations and necessity of the development of such methods of single cell resonstruction that could minimize the possible damage of the cell.

Introduction to the theory of sets

CERN Document Server

Breuer, Joseph

2006-01-01

Set theory permeates much of contemporary mathematical thought. This text for undergraduates offers a natural introduction, developing the subject through observations of the physical world. Its progressive development leads from concrete finite sets to cardinal numbers, infinite cardinals, and ordinals.Although set theory begins in the intuitive and the concrete, it ascends to a very high degree of abstraction. All that is necessary to its grasp, declares author Joseph Breuer, is patience. Breuer illustrates the grounding of finite sets in arithmetic, permutations, and combinations, which pro

Introduction to magnetochemistry

CERN Document Server

Earnshaw, Alan

2013-01-01

Introduction to Magnetochemistry provides an introduction to the more important aspects of magnetochemistry. The measurement of magnetic moment has been one of the most consistently useful to coordination chemists. For teaching purposes it provides a simple method of illustrating the ideas of electronic structure, and in research it can provide fundamental information about the bonding and stereochemistry of complexes. The book contains six chapters covering topics such as free atoms and ions, transition metal complexes, crystal field theory, second and third row transition metal complexes, a

Temporal abstraction for the analysis of intensive care information

Science.gov (United States)

Hadad, Alejandro J.; Evin, Diego A.; Drozdowicz, Bartolomé; Chiotti, Omar

2007-11-01

This paper proposes a scheme for the analysis of time-stamped series data from multiple monitoring devices of intensive care units, using Temporal Abstraction concepts. This scheme is oriented to obtain a description of the patient state evolution in an unsupervised way. The case of study is based on a dataset clinically classified with Pulmonary Edema. For this dataset a trends based Temporal Abstraction mechanism is proposed, by means of a Behaviours Base of time-stamped series and then used in a classification step. Combining this approach with the introduction of expert knowledge, using Fuzzy Logic, and multivariate analysis by means of Self-Organizing Maps, a states characterization model is obtained. This model is feasible of being extended to different patients groups and states. The proposed scheme allows to obtain intermediate states descriptions through which it is passing the patient and that could be used to anticipate alert situations.

Temporal abstraction for the analysis of intensive care information

International Nuclear Information System (INIS)

Hadad, Alejandro J; Evin, Diego A; Drozdowicz, Bartolome; Chiotti, Omar

2007-01-01

This paper proposes a scheme for the analysis of time-stamped series data from multiple monitoring devices of intensive care units, using Temporal Abstraction concepts. This scheme is oriented to obtain a description of the patient state evolution in an unsupervised way. The case of study is based on a dataset clinically classified with Pulmonary Edema. For this dataset a trends based Temporal Abstraction mechanism is proposed, by means of a Behaviours Base of time-stamped series and then used in a classification step. Combining this approach with the introduction of expert knowledge, using Fuzzy Logic, and multivariate analysis by means of Self-Organizing Maps, a states characterization model is obtained. This model is feasible of being extended to different patients groups and states. The proposed scheme allows to obtain intermediate states descriptions through which it is passing the patient and that could be used to anticipate alert situations

Introduction to statistical methods in signal and image processing

OpenAIRE

Forbes , Florence

2016-01-01

Doctoral; This is a 3 part lecture starting with basics on Bayesian analysis in particular for image and signal analysis applications. The last part is devoted to an introduction to variational approximations.

Full-text publication of abstracts in emergency medicine in Denmark

DEFF Research Database (Denmark)

Ravn, Anne Katrine; Petersen, Dan Brun; Folkestad, Lars

2014-01-01

INTRODUCTION: Abstracts presented at medical conferences or scientific meetings should ideally be published as full-text articles in peer-reviewed journals after initial presentation and feedback regardless of the findings. The aim of this survey was to determine the publication rate of papers...... similar publication rates. However, other more established specialties have higher publication levels. Knowledge of reasons for non-publication could lead to efforts to promote publication like funding; the possibility of discussion between authors and editors at conferences; "publication mentors"; and...

European winter conference on plasma spectrochemistry 2009. Book of abstracts

International Nuclear Information System (INIS)

Francesconi, K.; Goessler, W.; Kuehnelt, D.; Raber, G.; Tuider, A.; Knapp, G.; Kuczewski, B.; Wiltsche, H.; Eberl, M.

2009-01-01

The oral and poster presentations were dedicated to recent developments in the following areas: fundamental plasma spectrochemistry; instrumentation: sources and spectrometers, sample introduction and sample preparation; laser-assisted plasma spectrochemistry; stable isotope measurements and isotope dilution analysis; certified reference materials; speciation analysis, and its applications in various fields such as clinical, environmental, biological, forensic, industrial, geological, mining/exploration, advanced materials. This book of abstracts contains their summaries and those contributions which are in the INIS subject scope are indexed individually. (nevyjel)

Introduction; Vvedenie

Energy Technology Data Exchange (ETDEWEB)

Nikitin, V I

1961-07-01

Introduction describes the present book. Its includes seven chapters. First four from them touch with glycerin of acetylene line-their receiving, studying their oxidation reactions, transformations under the influence of dehydrating methods. Last three chapters dedicated to glycerin of ethylen line-synthesis, their cyclization into substituted dihydropyran.

Abstract Résumé Introduction

African Journals Online (AJOL)

Keywords: Stigma, healthcare workers, HIV-positive patients, India. Kartavya J Vyas (BS, .... Several changes were made to the study protocol by respective healthcare facilities .... by HIV-positive patients should be disposed of or burned. This.

Abstract Résumé Introduction

African Journals Online (AJOL)

... epidemiological and molecular aspects of alcoholic liver disease and hepatitis B virus-related liver cancer. ..... various facilities, and in addition to their usual medical care, could ..... Alcohol, cannabis, and methamphetamine use and other.

Introduction Abstract Résumé

African Journals Online (AJOL)

increase in new cases of infections, especially among migrants ... personal issues that regulate HIV/AIDS disclosure in a context of socio-cultural and demographic transformation. Several ... recommend the development of standardised guidelines that recognise the diversity and peculiarities of persons living with HIV/. AIDS ...

Abstract Résumé Introduction

African Journals Online (AJOL)

Despite this surge in interest, few public policies have been enacted that define the role and ... Finally, Sharp and Foster (2002) present two case examples of work with ... Through a process of constant comparative analysis, relationships among the .... that “the researchers/sponsors [are] giving back to the community.”.

Résumé Abstract Introduction

African Journals Online (AJOL)

He completed his doctoral programme in 2008 from the Walden University,. Minneapolis ... importance of structures or micro-issues. ..... primarily responsible for their upbringing and training (Schapera, .... the epidemic increases the cost of health care, health education, ..... trajectory of HIV epidemics in sub-Saharan Africa.

Abstract Résumé Introduction

African Journals Online (AJOL)

2010-12-04

Dec 4, 2010 ... Keywords: HIV and AIDS, CABA, non-CABA, poverty, Zimbabwe. Dr Joshua Kembo ... There is great commonality in the plight of children, families .... household members, a number of key demographic dimensions such as ...

Abstract Résumé Introduction

African Journals Online (AJOL)

2010-12-04

Dec 4, 2010 ... their masculinity by testing, thus portraying themselves as positive role models for other men. ..... this was more common with men because they were ashamed of ..... He accused the media authorities for being money-.

Abstract Résumé Introduction

African Journals Online (AJOL)

based on the HBM components show that speaking with a partner about how to avoid AIDS (Odds ..... being used by public health service providers to arrest the spread of ..... who found that low socioeconomic status has persistent negative.

research article Abstract Keywords Introduction

African Journals Online (AJOL)

www.jsaa.ac.za. Listen, live and learn: A review of the application process, aiming to enhance diversity within the Listen, Live and Learn senior student housing initiative at Stellenbosch University. Mathew Smorenburg* and Munita Dunn** research article. * Coordinator: Listen, Live and Learn, Stellenbosch University, ...

Abstract Résumé Introduction

African Journals Online (AJOL)

Reaching the hearts and minds of illiterate women in the Amhara highland of. Ethiopia: ... recorded episodes, which can be broadcast on radio or presented to listening groups ... For effective communication, reaching the mind is important ...

Abstract Résumé Introduction

African Journals Online (AJOL)

2010-12-04

Dec 4, 2010 ... of 297 FSWs in Mombasa, a well-known tourist destination and the second largest port in .... ignore it, neither tracking its sale nor demanding any bribes from ... HP personal digital assistants (PDAs) operating on a Windows.

Abstract Résumé Introduction

African Journals Online (AJOL)

HIV prevalence in central Mozambique is the highest in the country with high urban rates impacting on the rural areas. To identify potential factors influencing the spread of HIV in three sparsely populated districts in southern Sofala province, 847 married and .... main cause of death in the Central Hospital in the city of Beira.

Introduction to spectral theory

CERN Document Server

Levitan, B M

1975-01-01

This monograph is devoted to the spectral theory of the Sturm- Liouville operator and to the spectral theory of the Dirac system. In addition, some results are given for nth order ordinary differential operators. Those parts of this book which concern nth order operators can serve as simply an introduction to this domain, which at the present time has already had time to become very broad. For the convenience of the reader who is not familar with abstract spectral theory, the authors have inserted a chapter (Chapter 13) in which they discuss this theory, concisely and in the main without proofs, and indicate various connections with the spectral theory of differential operators.

8th Czechoslovak spectroscopic conference. Abstracts

International Nuclear Information System (INIS)

1988-01-01

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

Maternal breastfeeding, early introduction of non-breast milk, and excess weight in preschoolers

Directory of Open Access Journals (Sweden)

Viviane Gabriela Nascimento

Full Text Available Abstract Objective: Investigate associations between excess weight in preschool children, breastfeeding duration and age of non-breast milk introduction. Methods: Cross-sectional study of a representative sample of 817 preschool children, aged 2-4 years, attending municipal day care centers in the city of Taubaté. The weight and height of children were measured in the day care centers in 2009, 2010 and 2011. The body mass index z-score (BMIz was calculated and children were classified as risk of overweight (BMIz≥1 to<2 or excess weight (BMIz≥2. Data analysis was carried out by comparison of proportions, coefficient of correlation and multivariate linear regression. Results: The prevalence of risk of overweight was 18.9% and of excess weight (overweight or obesity was 9.3%. The median duration of breastfeeding and age of introduction of non-breast milk was 6 months. The child's BMIz showed direct correlation with birth weight (r=0.154; p<0.001 and maternal body mass index (BMI (r=0.113; p=0.002. The correlation was inverse with the total duration of breastfeeding (r=−0.099; p=0.006 and age at non-breast milk introduction (r=−0.112; p=0.002. There was no correlation between the child's BMIz with birth length, duration of exclusive breastfeeding and mother's age. Conclusions: The earlier the introduction of non-breast milk, the higher the correlation with excess weight at preschool age.

Training and minimum wages: first evidence from the introduction of the minimum wage in Germany

Directory of Open Access Journals (Sweden)

Lutz Bellmann

2017-06-01

Full Text Available Abstract We analyze the short-run impact of the introduction of the new statutory minimum wage in Germany on further training at the workplace level. Applying difference-in-difference methods to data from the IAB Establishment Panel, we do not find a reduction in the training incidence but a slight reduction in the intensity of training at treated establishments. Effect heterogeneities reveal that the negative impact is mostly driven by employer-financed training. On the worker level, we observe a reduction of training for medium- and high-skilled employees but no significant effects on the training of low-skilled employees.

Scientific methods and cultural heritage an introduction to the application of materials science to archaeometry and conservation science

CERN Document Server

Artioli, Gilberto

2010-01-01

Artioli provides an introduction to the methods and rationales of the scientific investigation of cultural heritage materials, with an emphasis placed on the analytical strategies, modes of operation and resulting information rather than on technicalities.

Verification Based on Set-Abstraction Using the AIF Framework

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander

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

Sentence retrieval for abstracts of randomized controlled trials

Directory of Open Access Journals (Sweden)

Chung Grace Y

2009-02-01

Full Text Available Abstract Background The practice of evidence-based medicine (EBM requires clinicians to integrate their expertise with the latest scientific research. But this is becoming increasingly difficult with the growing numbers of published articles. There is a clear need for better tools to improve clinician's ability to search the primary literature. Randomized clinical trials (RCTs are the most reliable source of evidence documenting the efficacy of treatment options. This paper describes the retrieval of key sentences from abstracts of RCTs as a step towards helping users find relevant facts about the experimental design of clinical studies. Method Using Conditional Random Fields (CRFs, a popular and successful method for natural language processing problems, sentences referring to Intervention, Participants and Outcome Measures are automatically categorized. This is done by extending a previous approach for labeling sentences in an abstract for general categories associated with scientific argumentation or rhetorical roles: Aim, Method, Results and Conclusion. Methods are tested on several corpora of RCT abstracts. First structured abstracts with headings specifically indicating Intervention, Participant and Outcome Measures are used. Also a manually annotated corpus of structured and unstructured abstracts is prepared for testing a classifier that identifies sentences belonging to each category. Results Using CRFs, sentences can be labeled for the four rhetorical roles with F-scores from 0.93–0.98. This outperforms the use of Support Vector Machines. Furthermore, sentences can be automatically labeled for Intervention, Participant and Outcome Measures, in unstructured and structured abstracts where the section headings do not specifically indicate these three topics. F-scores of up to 0.83 and 0.84 are obtained for Intervention and Outcome Measure sentences. Conclusion Results indicate that some of the methodological elements of RCTs are

Genre analysis of linguistics research introductions

Directory of Open Access Journals (Sweden)

Anthony Porras

2017-12-01

Full Text Available The emergence of exploring genre analysis has been a trend in Applied Linguistics, not only for its interesting factor, but also because of its pedagogical implications. This study aimed to determine the overall structure, specifically the presence and conformity of moves and steps of the research introductions in the field of Linguistics. Twelve (12 available research introductions were analyzed using Create-A-Research-Space (CARS model. The findings revealed that moves and steps across the research introductions are present. Majority of the research introductions conformed to the CARS model, but did not necessarily follow the suggested sequence. Results imply that teachers of research writing should acknowledge and introduce the CARS model as a basis for teaching the method of writing research introductions effectively.

Abstracts of the 8th Conference on total reflection x-ray fluorescence analysis and related methods

International Nuclear Information System (INIS)

Wobrauschek, P.

2000-01-01

The 8. conference on total reflection x-ray fluorescence analysis and related methods held from 25.9 to 29.9.2000 contains 79 abstracts about x-ray fluorescence analysis (XRFA) as a powerful tool used for industrial production, geological prospecting and for environmental control. Total reflection x-ray fluorescence spectroscopy is also a tool used for chemical analysis in medicine, industry and research. (E.B.)

Introduction

DEFF Research Database (Denmark)

Høgfeldt Hansen, Leif

2016-01-01

This introduction to South Korean architecture gives an overall view of the architecture done in the country in historic times as well as a general introduction to the culture of the country.......This introduction to South Korean architecture gives an overall view of the architecture done in the country in historic times as well as a general introduction to the culture of the country....

Introduction to scientific publishing backgrounds, concepts, strategies

CERN Document Server

Öchsner, Andreas

2013-01-01

This book is a very concise introduction to the basic knowledge of scientific publishing. It  starts with the basics of writing a scientific paper, and recalls the different types of scientific documents. In gives an overview on the major scientific publishing companies and different business models. The book also introduces to abstracting and indexing services and how they can be used for the evaluation of science, scientists, and institutions. Last but not least, this short book faces the problem of plagiarism and publication ethics.

An introduction to the calculus of variations

CERN Document Server

Pars, LA

2009-01-01

This clear, rigorous introduction to the calculus of variations covers applications to geometry, dynamics, and physics. Focusing upon problems with one independent variable, the text connects the abstract theory to its use in concrete problems. It offers a working knowledge of relevant techniques, plus an impetus for further study.Starting with an overview of fundamental problems and theories, the text advances to illustrative examples and examinations of variable end-points and the fundamental sufficiency theorem. Subsequent chapters explore the isoperimetrical problem, curves in space, the p

ESNA: European Society for New Methods in Agricultural Research. 23. annual meeting and 3. German meeting on food irradiation. Book of abstracts

International Nuclear Information System (INIS)

1993-01-01

The book comprises 181 abstracts of the 23rd Annual Meeting of the European Society for New Methods in Agricultural Research and the 3rd German Meeting on Food Irradiation. The following subjects were discussed in six workshops: Radiation Technology and 3rd German Meeting on Food Irradiation (44); Advanced Methods in Animal Sciences (17); Soil-Plant Relationships (36); Plant Genetics, Breeding and Physiology (48); Environmental Aspects and Energy Use (16); Pest Management (20). The abstracts are supplemented by an alphabetic index of authors. (UHE) [de

Introduction to Stochastic Simulations for Chemical and Physical Processes: Principles and Applications

Science.gov (United States)

Weiss, Charles J.

2017-01-01

An introduction to digital stochastic simulations for modeling a variety of physical and chemical processes is presented. Despite the importance of stochastic simulations in chemistry, the prevalence of turn-key software solutions can impose a layer of abstraction between the user and the underlying approach obscuring the methodology being…

A Classical Introduction to Galois Theory

CERN Document Server

Newman, Stephen C

2012-01-01

This book provides an introduction to Galois theory and focuses on one central theme - the solvability of polynomials by radicals. Both classical and modern approaches to the subject are described in turn in order to have the former (which is relatively concrete and computational) provide motivation for the latter (which can be quite abstract). The theme of the book is historically the reason that Galois theory was created, and it continues to provide a platform for exploring both classical and modern concepts. This book examines a number of problems arising in the area of classical mathematic

What are the beliefs of pediatricians and dietitians regarding complementary food introduction to prevent allergy?

Directory of Open Access Journals (Sweden)

Leo Sara

2012-03-01

Full Text Available Abstract Background The timing of complementary food introduction is controversial. Providing information on the timing of dietary introduction is crucial to the primary prevention of food allergy. The American Academy of Pediatrics offers dietary recommendations that were updated in 2008. Objective Identify the recommendations that general pediatricians and registered dietitians provide to parents and delineate any differences in counselling. Methods A 9-item survey was distributed to pediatricians and dietitians online and by mail. Information on practitioner type, gender, length of practice and specific recommendations regarding complementary food introduction and exposure was collected. Results 181 surveys were returned with a 54% response rate from pediatricians. It was not possible to calculate a meaningful dietitian response rate due to overlapping email databases. 52.5% of all respondents were pediatricians and 45.9% were dietitians. The majority of pediatricians and dietitians advise mothers that peanut abstinence during pregnancy and lactation is unnecessary. Dietitians were more likely to counsel mothers to breastfeed their infants to prevent development of atopic dermatitis than pediatricians. Hydrolyzed formulas for infants at risk of developing allergy were the top choice of formula amongst both practitioners. For food allergy prevention, pediatricians were more likely to recommend delayed introduction of peanut and egg, while most dietitians recommended no delay in allergenic food introduction. Conclusions In the prophylaxis of food allergy, pediatricians are less aware than dietitians of the current recommendation that there is no benefit in delaying allergenic food introduction beyond 4 to 6 months. More dietitians than pediatricians believe that breastfeeding decreases the risk of atopic dermatitis. Practitioners may benefit from increased awareness of current guidelines.

An introduction to statistical computing a simulation-based approach

CERN Document Server

Voss, Jochen

2014-01-01

A comprehensive introduction to sampling-based methods in statistical computing The use of computers in mathematics and statistics has opened up a wide range of techniques for studying otherwise intractable problems.  Sampling-based simulation techniques are now an invaluable tool for exploring statistical models.  This book gives a comprehensive introduction to the exciting area of sampling-based methods. An Introduction to Statistical Computing introduces the classical topics of random number generation and Monte Carlo methods.  It also includes some advanced met

DEGRO 2017. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2017-06-15

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

Introduction to control system performance measurements

CERN Document Server

Garner, K C

1968-01-01

Introduction to Control System Performance Measurements presents the methods of dynamic measurements, specifically as they apply to control system and component testing. This book provides an introduction to the concepts of statistical measurement methods.Organized into nine chapters, this book begins with an overview of the applications of automatic control systems that pervade almost every area of activity ranging from servomechanisms to electrical power distribution networks. This text then discusses the common measurement transducer functions. Other chapters consider the basic wave

Abstraction of man-made shapes

KAUST Repository

Mehra, Ravish; Zhou, Qingnan; Long, Jeremy; Sheffer, Alla; Gooch, Amy Ashurst; Mitra, Niloy J.

2009-01-01

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

Effects of the Pilates method on neck pain: a systematic review

OpenAIRE

Cemin, Natália Fernanda; Schmit, Emanuelle Francine Detogni; Candotti, Cláudia Tarragô

2017-01-01

Abstract Introduction: The Pilates method has been used for neck pain reduction. Objective: To systematically review randomized and non-randomized controlled trials that assessed the effects of Pilates on neck pain when compared to other groups (CRD42015025987). Methods: This study involved a systematic review directed by the PRISMA Statement based on the recommendations of the Cochrane Colaboration, registered in PROSPERO under the code CRD42015025987. The following databases were searche...

Applied energy an introduction

CERN Document Server

Abdullah, Mohammad Omar

2012-01-01

Introduction to Applied EnergyGeneral IntroductionEnergy and Power BasicsEnergy EquationEnergy Generation SystemsEnergy Storage and MethodsEnergy Efficiencies and LossesEnergy industry and Energy Applications in Small -Medium Enterprises (SME) industriesEnergy IndustryEnergy-Intensive industryEnergy Applications in SME Energy industriesEnergy Sources and SupplyEnergy SourcesEnergy Supply and Energy DemandEnergy Flow Visualization and Sankey DiagramEnergy Management and AnalysisEnergy AuditsEnergy Use and Fuel Consumption StudyEnergy Life-Cycle AnalysisEnergy and EnvironmentEnergy Pollutants, S

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

Science.gov (United States)

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

2007-01-01

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 research interests, and collecting current contact information. We present a novel strategy for building investigator networks dynamically and producing detailed investigator profiles using data available in PubMed abstracts. Results We developed a novel strategy to obtain detailed investigator information by automatically parsing the affiliation string in PubMed records. We illustrated the results by using a published literature database in human genome epidemiology (HuGE Pub Lit) as a test case. Our parsing strategy extracted country information from 92.1% of the affiliation strings in a random sample of PubMed records and in 97.0% of HuGE records, with accuracies of 94.0% and 91.0%, respectively. Institution information was parsed from 91.3% of the general PubMed records (accuracy 86.8%) and from 94.2% of HuGE PubMed records (accuracy 87.0). We demonstrated the application of our approach to dynamic creation of investigator networks by creating a prototype information system containing a large database of PubMed abstracts relevant to human genome epidemiology (HuGE Pub Lit), indexed using PubMed medical subject headings converted to Unified Medical Language System concepts. Our method was able to identify 70–90% of the investigators/collaborators in three different human genetics fields; it also successfully identified 9 of 10 genetics investigators within the PREBIC network, an existing preterm birth research network. Conclusion We successfully created a web-based prototype

Introduction to semantic e-Science in biomedicine

Directory of Open Access Journals (Sweden)

Wang Yimin

2007-05-01

Full Text Available Abstract The Semantic Web technologies provide enhanced capabilities that allow data and the meaning of the data to be shared and reused across application, enterprise, and community boundaries, better enabling integrative research and more effective knowledge discovery. This special issue is intended to give an introduction of the state-of-the-art of Semantic Web technologies and describe how such technologies would be used to build the e-Science infrastructure for biomedical communities. Six papers have been selected and included, featuring different approaches and experiences in a variety of biomedical domains.

Physical activity among South Asian women: a systematic, mixed-methods review

OpenAIRE

Babakus, Whitney S; Thompson, Janice L

2012-01-01

Abstract Introduction The objective of this systematic mixed-methods review is to assess what is currently known about the levels of physical activity (PA) and sedentary time (ST) and to contextualize these behaviors among South Asian women with an immigrant background. Methods A systematic search of the literature was conducted using combinations of the key words PA, ST, South Asian, and immigrant. A mixed-methods approach was used to analyze and synthesize all evidence, both quantitative an...

Introduction to topological quantum matter & quantum computation

CERN Document Server

Stanescu, Tudor D

2017-01-01

What is -topological- about topological quantum states? How many types of topological quantum phases are there? What is a zero-energy Majorana mode, how can it be realized in a solid state system, and how can it be used as a platform for topological quantum computation? What is quantum computation and what makes it different from classical computation? Addressing these and other related questions, Introduction to Topological Quantum Matter & Quantum Computation provides an introduction to and a synthesis of a fascinating and rapidly expanding research field emerging at the crossroads of condensed matter physics, mathematics, and computer science. Providing the big picture, this book is ideal for graduate students and researchers entering this field as it allows for the fruitful transfer of paradigms and ideas amongst different areas, and includes many specific examples to help the reader understand abstract and sometimes challenging concepts. It explores the topological quantum world beyond the well-know...

Grounding abstractness: Abstract concepts and the activation of the mouth

Directory of Open Access Journals (Sweden)

Anna M Borghi

2016-10-01

Full Text Available One key issue for theories of cognition is how abstract concepts, such as freedom, are represented. According to the WAT (Words As social Tools proposal, abstract concepts activate both sensorimotor and linguistic/social information, and their acquisition modality involves the linguistic experience more than the acquisition of concrete concepts. We report an experiment in which participants were presented with abstract and concrete definitions followed by concrete and abstract target-words. When the definition and the word matched, participants were required to press a key, either with the hand or with the mouth. Response times and accuracy were recorded. As predicted, we found that abstract definitions and abstract words yielded slower responses and more errors compared to concrete definitions and concrete words. More crucially, there was an interaction between the target-words and the effector used to respond (hand, mouth. While responses with the mouth were overall slower, the advantage of the hand over the mouth responses was more marked with concrete than with abstract concepts. The results are in keeping with grounded and embodied theories of cognition and support the WAT proposal, according to which abstract concepts evoke linguistic-social information, hence activate the mouth. The mechanisms underlying the mouth activation with abstract concepts (re-enactment of acquisition experience, or re-explanation of the word meaning, possibly through inner talk are discussed. To our knowledge this is the first behavioral study demonstrating with real words that the advantage of the hand over the mouth is more marked with concrete than with abstract concepts, likely because of the activation of linguistic information with abstract concepts.

Extended abstract: Partial row projection methods

Energy Technology Data Exchange (ETDEWEB)

Bramley, R.; Lee, Y. [Indiana Univ., Bloomington, IN (United States)

1996-12-31

Accelerated row projection (RP) algorithms for solving linear systems Ax = b are a class of iterative methods which in theory converge for any nonsingular matrix. RP methods are by definition ones that require finding the orthogonal projection of vectors onto the null space of block rows of the matrix. The Kaczmarz form, considered here because it has a better spectrum for iterative methods, has an iteration matrix that is the product of such projectors. Because straightforward Kaczmarz method converges slowly for practical problems, typically an outer CG acceleration is applied. Definiteness, symmetry, or localization of the eigenvalues, of the coefficient matrix is not required. In spite of this robustness, work has generally been limited to structured systems such as block tridiagonal matrices because unlike many iterative solvers, RP methods cannot be implemented by simply supplying a matrix-vector multiplication routine. Finding the orthogonal projection of vectors onto the null space of block rows of the matrix in practice requires accessing the actual entries in the matrix. This report introduces a new partial RP algorithm which retains advantages of the RP methods.

Minimalism in architecture: Abstract conceptualization of architecture

Directory of Open Access Journals (Sweden)

Vasilski Dragana

2015-01-01

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

GOClonto: an ontological clustering approach for conceptualizing PubMed abstracts.

Science.gov (United States)

Zheng, Hai-Tao; Borchert, Charles; Kim, Hong-Gee

2010-02-01

Concurrent with progress in biomedical sciences, an overwhelming of textual knowledge is accumulating in the biomedical literature. PubMed is the most comprehensive database collecting and managing biomedical literature. To help researchers easily understand collections of PubMed abstracts, numerous clustering methods have been proposed to group similar abstracts based on their shared features. However, most of these methods do not explore the semantic relationships among groupings of documents, which could help better illuminate the groupings of PubMed abstracts. To address this issue, we proposed an ontological clustering method called GOClonto for conceptualizing PubMed abstracts. GOClonto uses latent semantic analysis (LSA) and gene ontology (GO) to identify key gene-related concepts and their relationships as well as allocate PubMed abstracts based on these key gene-related concepts. Based on two PubMed abstract collections, the experimental results show that GOClonto is able to identify key gene-related concepts and outperforms the STC (suffix tree clustering) algorithm, the Lingo algorithm, the Fuzzy Ants algorithm, and the clustering based TRS (tolerance rough set) algorithm. Moreover, the two ontologies generated by GOClonto show significant informative conceptual structures.

An Introduction to Perturbative Methods in Gauge Theories

International Nuclear Information System (INIS)

T Muta

1998-01-01

This volume develops the techniques of perturbative QCD in great pedagogical detail starting with field theory. Aside from extensive treatments of the renormalization group technique, the operator product expansion formalism and their applications to short-distance reactions, this book provides a comprehensive introduction to gauge theories. Examples and exercises are provided to amplify the discussions on important topics. This is an ideal textbook on the subject of quantum chromodynamics and is essential for researchers and graduate students in high energy physics, nuclear physics and mathematical physics

Introduction to stochastic analysis integrals and differential equations

CERN Document Server

Mackevicius, Vigirdas

2013-01-01

This is an introduction to stochastic integration and stochastic differential equations written in an understandable way for a wide audience, from students of mathematics to practitioners in biology, chemistry, physics, and finances. The presentation is based on the naïve stochastic integration, rather than on abstract theories of measure and stochastic processes. The proofs are rather simple for practitioners and, at the same time, rather rigorous for mathematicians. Detailed application examples in natural sciences and finance are presented. Much attention is paid to simulation diffusion pro

Novel mixing method for cross linker introduction into droplet emulsions

CSIR Research Space (South Africa)

Land, KJ

2013-10-01

Full Text Available the introduction of cross linker after droplet formation, together with the utilisation of topological microfluidic channel structures, allowing for the novel manufacture of particles. Flow over these structures has been simulated in order to choose the most...

Abstract Interpretation Using Attribute Grammar

DEFF Research Database (Denmark)

Rosendahl, Mads

1990-01-01

This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof...

Introduction

International Nuclear Information System (INIS)

2002-01-01

In the Introduction a common data about the monograph are presented. It is noted that results of α-particles elastic and inelastic scattering angular distribution with energies 40.0 and 50.1 MeV on 90,94 Zr carried out on the Kazakhstan isochronous cyclotron U-150M. A new data on total reaction cross sections at α-particles energies 96(1) MeV and 3 He ions 95(1) MeV on 90 Zr isotope, obtained on the Kiev isochronous cyclotron U-240 are given. Within framework of unified approach the experimental data analysis for α-particles quasi-elastic scattering with energies 35.4, 40.0 and 50.1, 65.0 MeV on odd zirconium isotopes as well as their reaction total cross sections is carried out. With use of α-particles scattering at low and middle energies the excited states transitions isospin character for odd tin isotopes is studied in detail with application of up-to date analysis methods. The monograph consists of introduction, four chapters and Conclussion. The chapters are as follows: (1) Experimental measurement methods of differential and total reaction cross sections with complicated particles at low and middle energies; (2) Macroscopic and semi-microscopic optical-potential approaches; (3) Peculiarities of experimental angular distribution of alpha particles at energies up to 12.5 MeV/nucleon, total reaction cross sections and results their optical potential analysis; (4) Structure characteristics of odd-odd nuclei and their comparative analysis

Object-oriented programming with gradual abstraction

DEFF Research Database (Denmark)

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

2013-01-01

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

Introduction to ordinary differential equations

CERN Document Server

Rabenstein, Albert L

1966-01-01

Introduction to Ordinary Differential Equations is a 12-chapter text that describes useful elementary methods of finding solutions using ordinary differential equations. This book starts with an introduction to the properties and complex variable of linear differential equations. Considerable chapters covered topics that are of particular interest in applications, including Laplace transforms, eigenvalue problems, special functions, Fourier series, and boundary-value problems of mathematical physics. Other chapters are devoted to some topics that are not directly concerned with finding solutio

Utilization of chemical abstracts service (CAS) data bases

International Nuclear Information System (INIS)

Ehrhardt, F.; Gesellschaft Deutscher Chemiker, Berlin

1979-04-01

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

Quandles an introduction to the algebra of knots

CERN Document Server

Elhamdadi, Mohamed

2015-01-01

From prehistory to the present, knots have been used for purposes both artistic and practical. The modern science of Knot Theory has ramifications for biochemistry and mathematical physics and is a rich source of research projects for undergraduate and graduate students and professionals alike. Quandles are essentially knots translated into algebra. This book provides an accessible introduction to quandle theory for readers with a background in linear algebra. Important concepts from topology and abstract algebra motivated by quandle theory are introduced along the way. With elementary self-co

Introduction to statistics

CERN Multimedia

CERN. Geneva

2005-01-01

The three lectures will present an introduction to statistical methods as used in High Energy Physics. As the time will be very limited, the course will seek mainly to define the important issues and to introduce the most wide used tools. Topics will include the interpretation and use of probability, estimation of parameters and testing of hypotheses.

Introduction to statistics

CERN Multimedia

CERN. Geneva

2004-01-01

The three lectures will present an introduction to statistical methods as used in High Energy Physics. As the time will be very limited, the course will seek mainly to define the important issues and to introduce the most wide used tools. Topics will include the interpretation and use of probability, estimation of parameters and testing of hypotheses.

Introduction to proof in abstract mathematics

CERN Document Server

Wohlgemuth, Andrew

2011-01-01

The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. The self-contained treatment features many exercises, problems, and selected answers, including worked-out solutions. Starting with sets and rules of inference, this text covers functions, relations, operation, and the integers. Additional topics include proofs in analysis, cardinality, and groups. Six appendixe

Introduction

DEFF Research Database (Denmark)

Kørnøv, Lone; Lund, Henrik; Remmen, Arne

2004-01-01

The chapter gives an introduction to the book "Environmental planning and management : tools for a sustainable development".......The chapter gives an introduction to the book "Environmental planning and management : tools for a sustainable development"....

Introduction to Real Analysis An Educational Approach

CERN Document Server

Bauldry, William C

2011-01-01

An accessible introduction to real analysis and its connection to elementary calculus Bridging the gap between the development and history of real analysis, Introduction to Real Analysis: An Educational Approach presents a comprehensive introduction to real analysis while also offering a survey of the field. With its balance of historical background, key calculus methods, and hands-on applications, this book provides readers with a solid foundation and fundamental understanding of real analysis. The book begins with an outline of basic calculus, including a close examination of problems illust

5. International conference on materials science and condensed matter physics and symposium 'Electrical methods of materials treatment'. Abstracts

International Nuclear Information System (INIS)

2010-09-01

This book includes abstracts of the communications presented at the 5th International Conference on Materials Science and Condensed-Matter Physics and at the Symposium dedicated to the 100th anniversary of academician Boris Lazarenko, the prominent scientist and inventor, the first director of the Institute of Applied Physics of the Academy of Sciences of Moldova. The abstracts presented in the book cover a vast range of subjects, such as: advanced materials and fabrication processes; methods of crystal growth, post-growth technological processes, doping and implantation, fabrication of solid state structures; defect engineering, engineering of molecular assembly; methods of nanostructures and nano materials fabrication and characterization; quantum wells and superlattices; nano composite, nanowires and nano dots; fullerenes and nano tubes, molecular materials, meso- and nano electronics; methods of material and structure characterization; structure and mechanical characterization; optical, electrical, magnetic and superconductor properties, transport processes, nonlinear phenomena, size and interface effects; advances in condensed matter theory; theory of low dimensional systems; modelling of materials and structure properties; development of theoretical methods of solid-state characterization; phase transition; advanced quantum physics for nano systems; device modelling and simulation, device structures and elements; micro- and optoelectronics; photonics; microsensors and micro electro-mechanical systems; microsystems; degradation and reliability, solid-state device design; theory and advanced technologies of electro-physico-chemical and combined methods of materials machining and treatment, including modification of surfaces; theory and advanced technologies of using electric fields, currents and discharges so as to intensify heat mass-transfer, to raise the efficiency of treatment of materials, of biological preparations and foodstuff; modern equipment for

Introduction to mathematical physics methods and concepts

CERN Document Server

Wong, Chun Wa

2013-01-01

Mathematical physics provides physical theories with their logical basis and the tools for drawing conclusions from hypotheses. Introduction to Mathematical Physics explains to the reader why and how mathematics is needed in the description of physical events in space. For undergraduates in physics, it is a classroom-tested textbook on vector analysis, linear operators, Fourier series and integrals, differential equations, special functions and functions of a complex variable. Strongly correlated with core undergraduate courses on classical and quantum mechanics and electromagnetism, it helps the student master these necessary mathematical skills. It contains advanced topics of interest to graduate students on relativistic square-root spaces and nonlinear systems. It contains many tables of mathematical formulas and references to useful materials on the Internet. It includes short tutorials on basic mathematical topics to help readers refresh their mathematical knowledge. An appendix on Mathematica encourages...

Abstracts of the 34. Days of Nuclear Medicine with Internationa l Participation; 34. Dni nuklearnej mediciny s medzinarodnou ucastou. Abstrakty

Energy Technology Data Exchange (ETDEWEB)

NONE

1997-09-01

The publication has been set up as the abstracts of the conference dealing with nuclear medicine problems. The book consists of the sections: (1) Introduction lectures; (2) Technologists; (3) Cardiology; (4) Oncology; (5) Radiation hygiene and physics; (6) Radiopharmaceuticals; (7) Miscellaneous; (8) Poster section.

Introduction of active learning method in learning physiology by MBBS students.

Science.gov (United States)

Gilkar, Suhail Ahmad; Lone, Shabiruddin; Lone, Riyaz Ahmad

2016-01-01

Active learning has received considerable attention over the past several years, often presented or perceived as a radical change from traditional instruction methods. Current research on learning indicates that using a variety of teaching strategies in the classroom increases student participation and learning. To introduce active learning methodology, i.e., "jigsaw technique" in undergraduate medical education and assess the student and faculty response to it. This study was carried out in the Department of Physiology in a Medical College of North India. A topic was chosen and taught using one of the active learning methods (ALMs), i.e., jigsaw technique. An instrument (questionnaire) was developed in English through an extensive review of literature and was properly validated. The students were asked to give their response on a five-point Likert scale. The feedback was kept anonymous. Faculty also provided their feedback in a separately provided feedback proforma. The data were collected, compiled, and analyzed. Of 150 students of MBBS-first year batch 2014, 142 participated in this study along with 14 faculty members of the Physiology Department. The majority of the students (>90%) did welcome the introduction of ALM and strongly recommended the use of such methods in teaching many more topics in future. 100% faculty members were of the opinion that many more topics shall be taken up using ALMs. This study establishes the fact that both the medical students and faculty want a change from the traditional way of passive, teacher-centric learning, to the more active teaching-learning techniques.

A broadly applicable surgical teaching method: evaluation of a stepwise introduction to cataract surgery.

Science.gov (United States)

Kloek, Carolyn E; Borboli-Gerogiannis, Sheila; Chang, Kenneth; Kuperwaser, Mark; Newman, Lori R; Lane, Anne Marie; Loewenstein, John I

2014-01-01

Although cataract surgery is one of the most commonly performed surgeries in the country, it is a microsurgical procedure that is difficult to learn and to teach. This study aims to assess the effectiveness of a new method for introducing postgraduate year (PGY)-3 ophthalmology residents to cataract surgery. Hospital-based ophthalmology residency program. Retrospective cohort study. PGY-3 and PGY-4 residents of the Harvard Medical School Ophthalmology Residency from graduating years 2010 to 2012. In July 2009, a new method of teaching PGY-3 ophthalmology residents cataract surgery was introduced, which was termed "the stepwise introduction to cataract surgery." This curriculum aimed to train residents to perform steps of cataract surgery by deliberately practicing each of the steps of surgery under a structured curriculum with faculty feedback. Assessment methods included surveys administered to the PGY-4 residents who graduated before the implementation of these measures (n = 7), the residents who participated in the first and second years of the new curriculum (n = 16), faculty who teach PGY-4 residents cataract surgery (n = 8), and review of resident Accreditation Council for Graduate Medical Education surgical logs. Resident survey response rate was 100%. Residents who participated in the new curriculum performed more of each step of cataract surgery in the operating room, spent more time practicing each step of cataract surgery on a cataract surgery simulator during the PGY-3 year, and performed more primary cataract surgeries during the PGY-3 year than those who did not. Faculty survey response rate was 63%. Faculty noted an increase in resident preparedness following implementation of the new curriculum. There was no statistical difference between the precurriculum and postcurriculum groups in the percentage turnover of cataracts for the first 2 cataract surgery rotations of the PGY-4 year of training. The introduction of cataract surgery to PGY-3 residents

Naming a Lego world. The role of language in the acquisition of abstract concepts.

Science.gov (United States)

Granito, Carmen; Scorolli, Claudia; Borghi, Anna Maria

2015-01-01

While embodied approaches of cognition have proved to be successful in explaining concrete concepts and words, they have more difficulties in accounting for abstract concepts and words, and several proposals have been put forward. This work aims to test the Words As Tools proposal, according to which both abstract and concrete concepts are grounded in perception, action and emotional systems, but linguistic information is more important for abstract than for concrete concept representation, due to the different ways they are acquired: while for the acquisition of the latter linguistic information might play a role, for the acquisition of the former it is instead crucial. We investigated the acquisition of concrete and abstract concepts and words, and verified its impact on conceptual representation. In Experiment 1, participants explored and categorized novel concrete and abstract entities, and were taught a novel label for each category. Later they performed a categorical recognition task and an image-word matching task to verify a) whether and how the introduction of language changed the previously formed categories, b) whether language had a major weight for abstract than for concrete words representation, and c) whether this difference had consequences on bodily responses. The results confirm that, even though both concrete and abstract concepts are grounded, language facilitates the acquisition of the latter and plays a major role in their representation, resulting in faster responses with the mouth, typically associated with language production. Experiment 2 was a rating test aiming to verify whether the findings of Experiment 1 were simply due to heterogeneity, i.e. to the fact that the members of abstract categories were more heterogeneous than those of concrete categories. The results confirmed the effectiveness of our operationalization, showing that abstract concepts are more associated with the mouth and concrete ones with the hand, independently from

Naming a Lego world. The role of language in the acquisition of abstract concepts.

Directory of Open Access Journals (Sweden)

Carmen Granito

Full Text Available While embodied approaches of cognition have proved to be successful in explaining concrete concepts and words, they have more difficulties in accounting for abstract concepts and words, and several proposals have been put forward. This work aims to test the Words As Tools proposal, according to which both abstract and concrete concepts are grounded in perception, action and emotional systems, but linguistic information is more important for abstract than for concrete concept representation, due to the different ways they are acquired: while for the acquisition of the latter linguistic information might play a role, for the acquisition of the former it is instead crucial. We investigated the acquisition of concrete and abstract concepts and words, and verified its impact on conceptual representation. In Experiment 1, participants explored and categorized novel concrete and abstract entities, and were taught a novel label for each category. Later they performed a categorical recognition task and an image-word matching task to verify a whether and how the introduction of language changed the previously formed categories, b whether language had a major weight for abstract than for concrete words representation, and c whether this difference had consequences on bodily responses. The results confirm that, even though both concrete and abstract concepts are grounded, language facilitates the acquisition of the latter and plays a major role in their representation, resulting in faster responses with the mouth, typically associated with language production. Experiment 2 was a rating test aiming to verify whether the findings of Experiment 1 were simply due to heterogeneity, i.e. to the fact that the members of abstract categories were more heterogeneous than those of concrete categories. The results confirmed the effectiveness of our operationalization, showing that abstract concepts are more associated with the mouth and concrete ones with the hand

The Conversion of Cardiovascular Conference Abstracts to Publications

DEFF Research Database (Denmark)

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

2012-01-01

a systematic and automated evaluation of rates, timing, and correlates of publication from scientific abstracts presented at 3 major cardiovascular conferences. Methods and Results—Using an automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts......–3, 2.5–5.8) for ESC (P for difference between groups 0.01). Clinical science and population science were less likely to be published compared with basic science. Conclusions—One third of abstracts were translated into publications by 2 years after presentation and less than one half by 5 years after...

Closeness and Distance: Using Close Reading as a Method of Educational Enquiry in English Studies

Science.gov (United States)

Brookman, Helen; Horn, Julia

2016-01-01

This article draws on a pedagogical case study in order to reflect on the value of using a Humanities disciplinary practice (the "close reading" of literary studies) as a method of educational enquiry and to provide a worked example of this approach. We explore the introduction of a pedagogic strategy--students writing abstracts for…

Functional Abstraction of Stochastic Hybrid Systems

NARCIS (Netherlands)

Bujorianu, L.M.; Blom, Henk A.P.; Hermanns, H.

2006-01-01

The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways

AIF-ω: Set-Based Protocol Abstraction with Countable Families

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander; Bruni, Alessandro

2016-01-01

this limitation by abstracting state into countable families of sets. We can then formalize a problem with unbounded agents, where each agent maintains its own set of keys. Still, our method does not loose the benefits of the abstraction approach, in particular, it translates a verification problem to a set...

Accelerated molecular dynamics methods: introduction and recent developments

Energy Technology Data Exchange (ETDEWEB)

Uberuaga, Blas Pedro [Los Alamos National Laboratory; Voter, Arthur F [Los Alamos National Laboratory; Perez, Danny [Los Alamos National Laboratory; Shim, Y [UNIV OF TOLEDO; Amar, J G [UNIV OF TOLEDO

2009-01-01

reaction pathways may be important, we return instead to a molecular dynamics treatment, in which the trajectory itself finds an appropriate way to escape from each state of the system. Since a direct integration of the trajectory would be limited to nanoseconds, while we are seeking to follow the system for much longer times, we modify the dynamics in some way to cause the first escape to happen much more quickly, thereby accelerating the dynamics. The key is to design the modified dynamics in a way that does as little damage as possible to the probability for escaping along a given pathway - i.e., we try to preserve the relative rate constants for the different possible escape paths out of the state. We can then use this modified dynamics to follow the system from state to state, reaching much longer times than we could reach with direct MD. The dynamics within any one state may no longer be meaningful, but the state-to-state dynamics, in the best case, as we discuss in the paper, can be exact. We have developed three methods in this accelerated molecular dynamics (AMD) class, in each case appealing to TST, either implicitly or explicitly, to design the modified dynamics. Each of these methods has its own advantages, and we and others have applied these methods to a wide range of problems. The purpose of this article is to give the reader a brief introduction to how these methods work, and discuss some of the recent developments that have been made to improve their power and applicability. Note that this brief review does not claim to be exhaustive: various other methods aiming at similar goals have been proposed in the literature. For the sake of brevity, our focus will exclusively be on the methods developed by the group.

Accelerated molecular dynamics methods: introduction and recent developments

International Nuclear Information System (INIS)

Uberuaga, Blas Pedro; Voter, Arthur F.; Perez, Danny; Shim, Y.; Amar, J.G.

2009-01-01

reaction pathways may be important, we return instead to a molecular dynamics treatment, in which the trajectory itself finds an appropriate way to escape from each state of the system. Since a direct integration of the trajectory would be limited to nanoseconds, while we are seeking to follow the system for much longer times, we modify the dynamics in some way to cause the first escape to happen much more quickly, thereby accelerating the dynamics. The key is to design the modified dynamics in a way that does as little damage as possible to the probability for escaping along a given pathway - i.e., we try to preserve the relative rate constants for the different possible escape paths out of the state. We can then use this modified dynamics to follow the system from state to state, reaching much longer times than we could reach with direct MD. The dynamics within any one state may no longer be meaningful, but the state-to-state dynamics, in the best case, as we discuss in the paper, can be exact. We have developed three methods in this accelerated molecular dynamics (AMD) class, in each case appealing to TST, either implicitly or explicitly, to design the modified dynamics. Each of these methods has its own advantages, and we and others have applied these methods to a wide range of problems. The purpose of this article is to give the reader a brief introduction to how these methods work, and discuss some of the recent developments that have been made to improve their power and applicability. Note that this brief review does not claim to be exhaustive: various other methods aiming at similar goals have been proposed in the literature. For the sake of brevity, our focus will exclusively be on the methods developed by the group

The strategic approach to contraceptive introduction.

Science.gov (United States)

Simmons, R; Hall, P; Díaz, J; Díaz, M; Fajans, P; Satia, J

1997-06-01

The introduction of new contraceptive technologies has great potential for expanding contraceptive choice, but in practice, benefits have not always materialized as new methods have been added to public-sector programs. In response to lessons from the past, the UNDP/UNFPA/WHO/World Bank Special Programme of Research, Development, and Research Training in Human Reproduction (HRP) has taken major steps to develop a new approach and to support governments interested in its implementation. After reviewing previous experience with contraceptive introduction, the article outlines the strategic approach and discusses lessons from eight countries. This new approach shifts attention from promotion of a particular technology to an emphasis on the method mix, the capacity to provide services with quality of care, reproductive choice, and users' perspectives and needs. It also suggests that technology choice should be undertaken through a participatory process that begins with an assessment of the need for contraceptive introduction and is followed by research and policy and program development. Initial results from Bolivia, Brazil, Burkina Faso, Chile, Myanmar, South Africa, Vietnam, and Zambia confirm the value of the new approach.

Introduction

DEFF Research Database (Denmark)

Jensen, Rasmus Thybo; Moran, Dermot

2012-01-01

An introduction to a special issue of Phenomenology and the Cognitive Sciences dedicated to empathy and the direct perception approach to other minds......An introduction to a special issue of Phenomenology and the Cognitive Sciences dedicated to empathy and the direct perception approach to other minds...

Automatic Probabilistic Program Verification through Random Variable Abstraction

Directory of Open Access Journals (Sweden)

Damián Barsotti

2010-06-01

Full Text Available The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automatic method for proving quantitative linear properties on any denumerable state space using iterative backwards fixed point calculation in the general framework of abstract interpretation. In order to accomplish this task we present the technique of random variable abstraction (RVA and we also postulate a sufficient condition to achieve exact fixed point computation in the abstract domain. The feasibility of our approach is shown with two examples, one obtaining the expected running time of a probabilistic program, and the other the expected gain of a gambling strategy. Our method works on general guarded probabilistic and nondeterministic transition systems instead of plain pGCL programs, allowing us to easily model a wide range of systems including distributed ones and unstructured programs. We present the operational and weakest precondition semantics for this programs and prove its equivalence.

Arche papers on the mathematics of abstraction

CERN Document Server

Cook, Roy T

2007-01-01

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

Introduction to experimental infrared spectroscopy fundamentals and practical methods

CERN Document Server

Tasumi, Mitsuo; Ochiai, Shukichi

2014-01-01

Infrared spectroscopy is generally understood to mean the science of spectra relating to infrared radiation, namely electromagnetic waves, in the wavelength region occurring intermediately between visible light and microwaves. Measurements of infrared spectra have been providing useful information, for a variety of scientific research and industrial studies, for over half a century; this is set to continue in the foreseeable future. Introduction to Experimental Infrared Spectroscopy is intended to be a handy guide for those who have no, or limited, experience in infrared spectroscopi

Experimental study of laser ablation as sample introduction technique for inductively coupled plasma-mass spectrometry

International Nuclear Information System (INIS)

Van Winckel, S.

2001-01-01

The contribution consists of an abstract of a PhD thesis. In the PhD study, several complementary applications of laser-ablation were investigated in order to characterise experimentally laser ablation (LA) as a sample introduction technique for ICP-MS. Three applications of LA as a sample introduction technique are discussed: (1) the microchemical analysis of the patina of weathered marble; (2) the possibility to measure isotope ratios (in particular Pb isotope ratios in archaeological bronze artefacts); and (3) the determination of Si in Al as part of a dosimetric study of the BR2 reactor vessel

An introduction to g methods.

Science.gov (United States)

Naimi, Ashley I; Cole, Stephen R; Kennedy, Edward H

2017-04-01

Robins' generalized methods (g methods) provide consistent estimates of contrasts (e.g. differences, ratios) of potential outcomes under a less restrictive set of identification conditions than do standard regression methods (e.g. linear, logistic, Cox regression). Uptake of g methods by epidemiologists has been hampered by limitations in understanding both conceptual and technical details. We present a simple worked example that illustrates basic concepts, while minimizing technical complications. © The Author 2016; all rights reserved. Published by Oxford University Press on behalf of the International Epidemiological Association.

The Passage of Time and its Enemies: an Introduction to Time and Reality II

Directory of Open Access Journals (Sweden)

Emiliano Boccardi

Full Text Available ABSTRACT This essay is a critical introduction to the second part of the special issue Time and Reality. The volume contains responses to papers appeared in the first part, as well as many original articles. The aim of this introduction is to frame these works within the general arena of the philosophy of time, highlighting a number of recurrent themes. A central theme that emerges is a difficulty in pinning down the ontological structure underlying dynamicity and passage without postulating a primitive notion of transiency that is conceptually independent from the instantiation of tense properties. I argue that this has far reaching implications.

Introduction to Feynman diagrams

CERN Document Server

Bilenky, Samoil Mikhelevich

1974-01-01

Introduction to Feynman Diagrams provides Feynman diagram techniques and methods for calculating quantities measured experimentally. The book discusses topics Feynman diagrams intended for experimental physicists. Topics presented include methods for calculating the matrix elements (by perturbation theory) and the basic rules for constructing Feynman diagrams; techniques for calculating cross sections and polarizations; processes in which both leptons and hadrons take part; and the electromagnetic and weak form factors of nucleons. Experimental physicists and graduate students of physics will

Measure and integral an introduction to real analysis

CERN Document Server

Wheeden, Richard L

2015-01-01

Now considered a classic text on the topic, Measure and Integral: An Introduction to Real Analysis provides an introduction to real analysis by first developing the theory of measure and integration in the simple setting of Euclidean space, and then presenting a more general treatment based on abstract notions characterized by axioms and with less geometric content.Published nearly forty years after the first edition, this long-awaited Second Edition also:Studies the Fourier transform of functions in the spaces L1, L2, and Lp, 1 p Shows the Hilbert transform to be a bounded operator on L2, as an application of the L2 theory of the Fourier transform in the one-dimensional caseCovers fractional integration and some topics related to mean oscillation properties of functions, such as the classes of Hölder continuous functions and the space of functions of bounded mean oscillationDerives a subrepresentation formula, which in higher dimensions plays a role roughly similar to the one played by the fundamental theor...

Polymeric Materials - introduction and degradation

DEFF Research Database (Denmark)

Kontogeorgis, Georgios

1999-01-01

These notes support the polymer part of the courses 91742 and 91762 (Materials and Corrosion/degradation of materials) taught in IFAKthey contain a short introduction on group contribution methods for estimating properties of polymers, polymer thermodynamics, viscoelasticity models as well...

Programme and abstracts

International Nuclear Information System (INIS)

1975-01-01

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

2018 Congress Podium Abstracts

Science.gov (United States)

2018-02-21

Each abstract has been indexed according to first author. Abstracts appear as they were submitted and have not undergone editing or the Oncology Nursing Forum’s review process. Only abstracts that will be presented appear here. For Congress scheduling information, visit congress.ons.org or check the Congress guide. Data published in abstracts presented at the ONS 43rd Annual Congress are embargoed until the conclusion of the presentation. Coverage and/or distribution of an abstract, poster, or any of its supplemental material to or by the news media, any commercial entity, or individuals, including the authors of said abstract, is strictly prohibited until the embargo is lifted. Promotion of general topics and speakers is encouraged within these guidelines.

Introduction to structural failure modes for nuclear power facilities

International Nuclear Information System (INIS)

Reed, J.W.; Gurbuz, O.

1993-01-01

This introduction provides a background of the evaluation methods for earthquakes larger than design basis. Seismic probabilistic risk assessment (SPRA) and seismic margin assessment (SMA) methods are introduced to the reader. The basic parameters used to define seismic capacity for each method are explained. The objectives of both evaluation methods and how they can be used to evaluate the adequacy of a seismic design are discussed. General issues related to computing seismic capacity are reviewed relative to SPRA and SMA. Four companion papers presented in the journal following this introduction discuss the types of information (i.e., dynamic tests, earthquake experience, and analytical data) that are used to determine the real capacity of structures and equipment in nuclear power plants to resist earthquakes. The motivation for discussing these three types of information is presented as an introduction to these papers that following in this journal edition. The purpose of the present paper is to lay the groundwork and provide motivation for these papers

Evaluating Data Abstraction Assistant, a novel software application for data abstraction during systematic reviews: protocol for a randomized controlled trial

Directory of Open Access Journals (Sweden)

Ian J. Saldanha

2016-11-01

Full Text Available Abstract Background Data abstraction, a critical systematic review step, is time-consuming and prone to errors. Current standards for approaches to data abstraction rest on a weak evidence base. We developed the Data Abstraction Assistant (DAA, a novel software application designed to facilitate the abstraction process by allowing users to (1 view study article PDFs juxtaposed to electronic data abstraction forms linked to a data abstraction system, (2 highlight (or “pin” the location of the text in the PDF, and (3 copy relevant text from the PDF into the form. We describe the design of a randomized controlled trial (RCT that compares the relative effectiveness of (A DAA-facilitated single abstraction plus verification by a second person, (B traditional (non-DAA-facilitated single abstraction plus verification by a second person, and (C traditional independent dual abstraction plus adjudication to ascertain the accuracy and efficiency of abstraction. Methods This is an online, randomized, three-arm, crossover trial. We will enroll 24 pairs of abstractors (i.e., sample size is 48 participants, each pair comprising one less and one more experienced abstractor. Pairs will be randomized to abstract data from six articles, two under each of the three approaches. Abstractors will complete pre-tested data abstraction forms using the Systematic Review Data Repository (SRDR, an online data abstraction system. The primary outcomes are (1 proportion of data items abstracted that constitute an error (compared with an answer key and (2 total time taken to complete abstraction (by two abstractors in the pair, including verification and/or adjudication. Discussion The DAA trial uses a practical design to test a novel software application as a tool to help improve the accuracy and efficiency of the data abstraction process during systematic reviews. Findings from the DAA trial will provide much-needed evidence to strengthen current recommendations for data

2018 Congress Poster Abstracts

Science.gov (United States)

2018-02-21

Each abstract has been indexed according to the first author. Abstracts appear as they were submitted and have not undergone editing or the Oncology Nursing Forum’s review process. Only abstracts that will be presented appear here. Poster numbers are subject to change. For updated poster numbers, visit congress.ons.org or check the Congress guide. Data published in abstracts presented at the ONS 43rd Annual Congress are embargoed until the conclusion of the presentation. Coverage and/or distribution of an abstract, poster, or any of its supplemental material to or by the news media, any commercial entity, or individuals, including the authors of said abstract, is strictly prohibited until the embargo is lifted. Promotion of general topics and speakers is encouraged within these guidelines.

Quantum chemistry the development of ab initio methods in molecular electronic structure theory

CERN Document Server

Schaefer III, Henry F

2004-01-01

This guide is guaranteed to prove of keen interest to the broad spectrum of experimental chemists who use electronic structure theory to assist in the interpretation of their laboratory findings. A list of 150 landmark papers in ab initio molecular electronic structure methods, it features the first page of each paper (which usually encompasses the abstract and introduction). Its primary focus is methodology, rather than the examination of particular chemical problems, and the selected papers either present new and important methods or illustrate the effectiveness of existing methods in predi

Introduction to Statistics course

CERN Multimedia

CERN. Geneva HR-RFA

2006-01-01

The four lectures will present an introduction to statistical methods as used in High Energy Physics. As the time will be very limited, the course will seek mainly to define the important issues and to introduce the most wide used tools. Topics will include the interpretation and use of probability, estimation of parameters and testing of hypotheses.

E-SCIENCE: AN INTRODUCTION

OpenAIRE

, Sarhan M. Musa

2017-01-01

E-science refers to the type of scientific research that uses large-scale computing infrastructure to process very large amount of data. It is an interdisciplinary branch of science that explores and implements information technology platforms, which include computer networks, computer information technology, telecommunication, and computational methods. This paper provides a brief introduction to e-science.

An introduction to tensors and group theory for physicists

CERN Document Server

Jeevanjee, Nadir

2011-01-01

An Introduction to Tensors and Group Theory for Physicists provides both an intuitive and rigorous approach to tensors and groups and their role in theoretical physics and applied mathematics. A particular aim is to demystify tensors and provide a unified framework for understanding them in the context of classical and quantum physics. Connecting the component formalism prevalent in physics calculations with the abstract but more conceptual formulation found in many mathematical texts, the work will be a welcome addition to the literature on tensors and group theory. Part I of the text begins with linear algebraic foundations, follows with the modern component-free definition of tensors, and concludes with applications to classical and quantum physics through the use of tensor products. Part II introduces abstract groups along with matrix Lie groups and Lie algebras, then intertwines this material with that of Part I by introducing representation theory. Exercises and examples are provided throughout for go...

Preparing and presenting effective abstracts and posters in psychiatry.

Science.gov (United States)

Singh, Manpreet K

2014-12-01

Presenting an abstract and a poster gives scientists from all fields, including psychiatry, an important opportunity to introduce their research to others. Researchers and mental health professionals at all levels of career development can use several media resources to assist them with the technical aspects of preparing an abstract or a poster. This article will focus on major principles associated with preparing and presenting an abstract and a poster at a scientific meeting. A literature search using NIH PubMed was conducted to identify peer and nonpeer-reviewed articles that provide methods for effective abstract and poster presentation for the period of 1966 to June 2014. First, the author reviews the purpose and relative importance of abstracts and posters in academic settings. Next, the author describes the qualities of an effective abstract and poster and common pitfalls that may occur. Finally, the author presents a systematic approach to preparing and presenting an abstract and a poster in a scientific setting. Several sources consistently suggest that readability, organization, and succinctness are qualities that make an effective and successful abstract and poster. Mental health professionals in all stages of their career development may benefit from following these guidelines in presenting their scientific work.

Preparing and presenting effective abstracts and posters in psychiatry

Science.gov (United States)

Singh, Manpreet K.

2014-01-01

Presenting an abstract and a poster gives scientists from all fields, including psychiatry, an important opportunity to introduce their research to others. Researchers and mental health professionals at all levels of career development can use several media resources to assist them with the technical aspects of preparing an abstract or a poster. This article will focus on major principles associated with preparing and presenting an abstract and a poster at a scientific meeting. A literature search using NIH PubMed was conducted to identify peer and non-peer-reviewed articles that provide methods for effective abstract and poster presentation for the period of 1966 to June 2014. First, we review the purpose and relative importance of abstracts and posters in academic settings. Next, we describe the qualities of an effective abstract and poster and common pitfalls that may occur. Finally, we present a systematic approach to preparing and presenting an abstract and a poster in a scientific setting. Several sources consistently suggest that readability, organization, and succinctness are qualities that make an effective and successful abstract and poster. Mental health professionals in all stages of their career development may benefit from following these guidelines in presenting their scientific work. PMID:25085499

An introduction to multilevel flow modeling

International Nuclear Information System (INIS)

Lind, Morten

2011-01-01

Multilevel Flow Modeling (MFM) is a methodology for functional modeling of industrial processes on several interconnected levels of means-end and part-whole abstractions. The basic idea of MFM is to represent an industrial plant as a system which provides the means required to serve purposes in its environment. MFM has a primary focus on plant goals and functions and provide a methodological way of using those concepts to represent complex industrial plant. The paper gives a brief introduction to the historical development, introduces the concepts of MFM and presents the application of the concepts in detail by a water mill example. The overall reasoning capabilities of MFM and its basis in cause-effect relations are also explained. The appendix contains an overview of MFM concepts and their definitions. (author)

Introduction

DEFF Research Database (Denmark)

Søbjerg, Lene Mosegaard

2016-01-01

Introduction to anthology which provides the theoretical basis of an Erasmus+ project involving marginalised young people, practitioners, students and academics in co-creating a teaching module for the social professions.......Introduction to anthology which provides the theoretical basis of an Erasmus+ project involving marginalised young people, practitioners, students and academics in co-creating a teaching module for the social professions....

Generation and exploration of aggregation abstractions for scheduling and resource allocation

Science.gov (United States)

Lowry, Michael R.; Linden, Theodore A.

1993-01-01

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Frames and other bases in abstract and function spaces novel methods in harmonic analysis

CERN Document Server

Gia, Quoc; Mayeli, Azita; Mhaskar, Hrushikesh; Zhou, Ding-Xuan

2017-01-01

The first of a two volume set on novel methods in harmonic analysis, this book draws on a number of original research and survey papers from well-known specialists detailing the latest innovations and recently discovered links between various fields. Along with many deep theoretical results, these volumes contain numerous applications to problems in signal processing, medical imaging, geodesy, statistics, and data science. The chapters within cover an impressive range of ideas from both traditional and modern harmonic analysis, such as: the Fourier transform, Shannon sampling, frames, wavelets, functions on Euclidean spaces, analysis on function spaces of Riemannian and sub-Riemannian manifolds, Fourier analysis on manifolds and Lie groups, analysis on combinatorial graphs, sheaves, co-sheaves, and persistent homologies on topological spaces. Volume I is organized around the theme of frames and other bases in abstract and function spaces, covering topics such as: The advanced development of frames, including ...

Effects of semantic neighborhood density in abstract and concrete words.

Science.gov (United States)

Reilly, Megan; Desai, Rutvik H

2017-12-01

Concrete and abstract words are thought to differ along several psycholinguistic variables, such as frequency and emotional content. Here, we consider another variable, semantic neighborhood density, which has received much less attention, likely because semantic neighborhoods of abstract words are difficult to measure. Using a corpus-based method that creates representations of words that emphasize featural information, the current investigation explores the relationship between neighborhood density and concreteness in a large set of English nouns. Two important observations emerge. First, semantic neighborhood density is higher for concrete than for abstract words, even when other variables are accounted for, especially for smaller neighborhood sizes. Second, the effects of semantic neighborhood density on behavior are different for concrete and abstract words. Lexical decision reaction times are fastest for words with sparse neighborhoods; however, this effect is stronger for concrete words than for abstract words. These results suggest that semantic neighborhood density plays a role in the cognitive and psycholinguistic differences between concrete and abstract words, and should be taken into account in studies involving lexical semantics. Furthermore, the pattern of results with the current feature-based neighborhood measure is very different from that with associatively defined neighborhoods, suggesting that these two methods should be treated as separate measures rather than two interchangeable measures of semantic neighborhoods. Copyright © 2017 Elsevier B.V. All rights reserved.

Introduction to precise numerical methods

CERN Document Server

Aberth, Oliver

2007-01-01

Precise numerical analysis may be defined as the study of computer methods for solving mathematical problems either exactly or to prescribed accuracy. This book explains how precise numerical analysis is constructed. The book also provides exercises which illustrate points from the text and references for the methods presented. All disc-based content for this title is now available on the Web. · Clearer, simpler descriptions and explanations ofthe various numerical methods· Two new types of numerical problems; accurately solving partial differential equations with the included software and computing line integrals in the complex plane.

UAS Conflict-Avoidance Using Multiagent RL with Abstract Strategy Type Communication

Science.gov (United States)

Rebhuhn, Carrie; Knudson, Matt; Tumer, Kagan

2014-01-01

The use of unmanned aerial systems (UAS) in the national airspace is of growing interest to the research community. Safety and scalability of control algorithms are key to the successful integration of autonomous system into a human-populated airspace. In order to ensure safety while still maintaining efficient paths of travel, these algorithms must also accommodate heterogeneity of path strategies of its neighbors. We show that, using multiagent RL, we can improve the speed with which conflicts are resolved in cases with up to 80 aircraft within a section of the airspace. In addition, we show that the introduction of abstract agent strategy types to partition the state space is helpful in resolving conflicts, particularly in high congestion.

Introduction to crystal structure determination methods using x-ray diffraction: application to some rare earth complexes

International Nuclear Information System (INIS)

Oliveira, M.A. de.

1986-01-01

This work is composed by a theoretical introduction studying crystal concept, interaction between X-ray and crystal medium, and methods for determining small molecular structures applied in solution of crystal structures of praseodymium, neodymium and europium complexes with perrhenate and trans - 1,4 - dithiane - 1,4 - dioxide, (TDTD), which general formula is [ Ln (H sub(2) O) sub(4) (η-TDTD) (η'Re O sub(4)) (μ-η sup(2)-TDTD)] sub(n) (Re O sub(4)) sub(2n). nTDTD, where, Ln = Eu, Pr, Nd and methyl-2,6-anhydrous-3-azido-4-0-benzoyl-3-deoxy-α-D-iodo pyranoside. The structure of C sub(14) H sub(15) N sub(3) O sub(5) organic complex was determined using direct methods. (M.C.K.)

Program and abstracts

Energy Technology Data Exchange (ETDEWEB)

1975-01-01

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.

Program and abstracts

International Nuclear Information System (INIS)

1975-01-01

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

Nuclear medicine 2009. Abstracts; NuklearMedizin 2009. Vortraege

Energy Technology Data Exchange (ETDEWEB)

NONE

2009-07-01

The journal contains the abstracts of 188 lectures and the abstracts of 103 poster contributions concerning the following topics: systemic therapy; oncology: PET/therapy; physics: device technology; oncology: PET/new pharmaceuticals; neurology: receptors; motion correction methods; oncology: PET/FDG; cardiology; malign thyroid tumors; neuroendocrine tumors; radiochemistry {sup 1}8F, oncology: pre-clinic PET; neurology-oncology-activation; physics: quantification; various topics; radiochemistry: radioactive metals; benign thyroid tumors; therapeutical studies; neurology: neurodegeneration; oncology: SPECT/planar scintigraphy; local therapy; inflammation; dosimetry - radiation protection; radiochemistry: halogens.

Program and abstracts

International Nuclear Information System (INIS)

1976-01-01

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

Introduction

Directory of Open Access Journals (Sweden)

Jonathan Carson

2011-08-01

Full Text Available

Abstract: Written as Carson & Miller, collaborative artists who explore narrative and the places where narrative intersects with material culture and everyday experience, this introduction presents the stakes of the larger project that entails the exhibition The Story of Things (2009, the conference The Story of Things: reading narrative in the visual (2010 and the double issue of Image (& Narrative. It mainly focuses on the interdisciplinary approaches to the relationship between object and storytelling.

Résumé: Portant la double signature de Carson & Miller, un duo d'artistes avec un intérêt particulier pour la narration et les rapports entre les interaction entre culture ordinaire et  manières de raconter, cette introduction présente les enjeux du projet plus large qui regroupe une exposition

Introduction

DEFF Research Database (Denmark)

Henkel, Anna; Åkerstrøm Andersen, Niels

2015-01-01

An introduction is presented in which the authors discuss various reports within the issue on topics including the concept of responsibility, the discourse about responsibility, and the attribution of responsibility in an interdisciplinary context.......An introduction is presented in which the authors discuss various reports within the issue on topics including the concept of responsibility, the discourse about responsibility, and the attribution of responsibility in an interdisciplinary context....

Introduction to information retrieval

CERN Document Server

Manning, Christopher D; Schütze, Hinrich

2008-01-01

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using examples and figures, making it perfect for introductory courses in information retrieval for advanced un

Completeness of Lyapunov Abstraction

Directory of Open Access Journals (Sweden)

Rafael Wisniewski

2013-08-01

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

Introduction to linear elasticity

CERN Document Server

Gould, Phillip L

2013-01-01

Introduction to Linear Elasticity, 3rd Edition, provides an applications-oriented grounding in the tensor-based theory of elasticity for students in mechanical, civil, aeronautical, and biomedical engineering, as well as materials and earth science. The book is distinct from the traditional text aimed at graduate students in solid mechanics by introducing the subject at a level appropriate for advanced undergraduate and beginning graduate students. The author's presentation allows students to apply the basic notions of stress analysis and move on to advanced work in continuum mechanics, plasticity, plate and shell theory, composite materials, viscoelasticity and finite method analysis. This book also:  Emphasizes tensor-based approach while still distilling down to explicit notation Provides introduction to theory of plates, theory of shells, wave propagation, viscoelasticity and plasticity accessible to advanced undergraduate students Appropriate for courses following emerging trend of teaching solid mechan...

Oxygen introduction during extraction and the improvement of antioxidant activity of essential oils of basil, lemon and lemongrass

Directory of Open Access Journals (Sweden)

Daniele de Freitas Ferreira

Full Text Available ABSTRACT: Essential oil extraction is commonly carried out by using the hydrodistillation method, which is described in official compendia of food quality control and medicinal plants. Despite the widespread use of this method, few studies have evaluated the effect of the atmosphere change during extraction on the composition and antioxidant activity of essentials oils. Therefore, a study of oxygen introduction influence during the extraction of essential oils from basil, lemongrass and lemon by hydrodistillation was performed. Total amount of oxygenated compounds (e.g., linalool, camphor, α-terpineol, neral, geranial, eugenol and α-muurolol increased for all essential oils extracted under oxygen flow. Antioxidant activity evaluated by using the ORAC method significantly increased (P<0.0001 with oxygen from 618 to 906, 355 to 613 and 72 to 262µmol Trolox g-1 oil for basil, lemongrass and lemon, respectively. Therefore, the simple modification proposed could be considered a suitable alternative to obtain essential oils with higher antioxidant activity.

Abstract algebra

CERN Document Server

Garrett, Paul B

2007-01-01

Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal

A Novel Method Using Abstract Convex Underestimation in Ab-Initio Protein Structure Prediction for Guiding Search in Conformational Feature Space.

Science.gov (United States)

Hao, Xiao-Hu; Zhang, Gui-Jun; Zhou, Xiao-Gen; Yu, Xu-Feng

2016-01-01

To address the searching problem of protein conformational space in ab-initio protein structure prediction, a novel method using abstract convex underestimation (ACUE) based on the framework of evolutionary algorithm was proposed. Computing such conformations, essential to associate structural and functional information with gene sequences, is challenging due to the high-dimensionality and rugged energy surface of the protein conformational space. As a consequence, the dimension of protein conformational space should be reduced to a proper level. In this paper, the high-dimensionality original conformational space was converted into feature space whose dimension is considerably reduced by feature extraction technique. And, the underestimate space could be constructed according to abstract convex theory. Thus, the entropy effect caused by searching in the high-dimensionality conformational space could be avoided through such conversion. The tight lower bound estimate information was obtained to guide the searching direction, and the invalid searching area in which the global optimal solution is not located could be eliminated in advance. Moreover, instead of expensively calculating the energy of conformations in the original conformational space, the estimate value is employed to judge if the conformation is worth exploring to reduce the evaluation time, thereby making computational cost lower and the searching process more efficient. Additionally, fragment assembly and the Monte Carlo method are combined to generate a series of metastable conformations by sampling in the conformational space. The proposed method provides a novel technique to solve the searching problem of protein conformational space. Twenty small-to-medium structurally diverse proteins were tested, and the proposed ACUE method was compared with It Fix, HEA, Rosetta and the developed method LEDE without underestimate information. Test results show that the ACUE method can more rapidly and more

Behavioral technique for workflow abstraction and matching

NARCIS (Netherlands)

Klai, K.; Ould Ahmed M'bareck, N.; Tata, S.; Dustdar, S.; Fiadeiro, J.L.; Sheth, A.

2006-01-01

This work is in line with the CoopFlow approach dedicated for workflow advertisement, interconnection, and cooperation in virtual organizations. In order to advertise workflows into a registry, we present in this paper a novel method to abstract behaviors of workflows into symbolic observation

Abstract: Implementing Infection Control Measures in Neonatology ...

African Journals Online (AJOL)

Abstract. Background Neonatal infection is a primary cause of morbidity and mortality globally. Objective The project's objective is to facilitate quality improvement by reduction of hospital-acquired infection (HAI) in hospitalized neonates. Methods Current infection control practices were surveyed and three main areas were ...

Age of the introduction of the first complementary food and determinants of its early introduction by Slovak mothers

Directory of Open Access Journals (Sweden)

Slávka Mrosková

2016-03-01

Full Text Available Aim: To assess the age of introduction of complementary food (CF and the factors leading to early introduction of CF (≤ four months. Design: Cross-sectional study. Methods: In the period October 2011 to April 2012 we conducted research on 405 mothers of infants living in the Slovak Republic, particularly in the regions of Prešov (56.0% and Košice (20.5%. The questionnaire, of our own design, integrated 13 factors. Statistical analysis included descriptive statistics and logistic regression (95% CI. Results: The first CF was introduced at 5.5 months (M = 5.47; SD = 1.22; range 1.0 to 10.0. Early introduction of CF was identified in 24.2% of children. A significantly higher risk of early introduction of first CF was found in respondents with: lower maternal age (OR = 4.436, lower levels of education (secondary education without GCE/vocational qualifications - OR = 10.140, lower maternal awareness of healthy nutrition (OR = 2.996, lower levels of satisfaction with their financial situation (OR = 1.927, and in single mothers (OR = 5.143, and children receiving combined milk nutrition rather than purely breastfeeding (OR = 3.888. Conclusion: Recognition of the factors leading to early introduction of CF allows the implementation of effective prevention strategies by health professionals.

A Review of Abstracting and Indexing Services for Biomedical Journals

Directory of Open Access Journals (Sweden)

Sarita Bhardwaj

2017-10-01

Full Text Available The days are gone when the researchers used to go to library to look for the articles of their choice. With the introduction of electronic era, searching an article online has become easier. This has been possible due to the availability of various Abstracting and Indexing (A & I services in the world. Of more than 400 online A & I services available, only a few like Google and Thomson Reuters cover all disciplines. Most A & I services cover just one discipline allowing them to cover their area in more depth. There are many databases and indexing services for biomedical journals, most important ones being PubMed/Medline, Scopus, and Web of Science (ISI. This article gives a review of various databases and indexes available for dental journals in the world.

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

CERN Document Server

Koltay, Tibor

2010-01-01

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

Introduction to neutron scattering

Energy Technology Data Exchange (ETDEWEB)

Fischer, W E [Paul Scherrer Inst. (PSI), Villigen (Switzerland)

1996-11-01

We give here an introduction to the theoretical principles of neutron scattering. The relationship between scattering- and correlation-functions is particularly emphasized. Within the framework of linear response theory (justified by the weakness of the basic interaction) the relation between fluctuation and dissipation is discussed. This general framework explains the particular power of neutron scattering as an experimental method. (author) 4 figs., 4 refs.

Combinatorics an introduction

CERN Document Server

Faticoni, Theodore G

2014-01-01

Bridges combinatorics and probability and uniquely includes detailed formulas and proofs to promote mathematical thinking Combinatorics: An Introduction introduces readers to counting combinatorics, offers examples that feature unique approaches and ideas, and presents case-by-case methods for solving problems. Detailing how combinatorial problems arise in many areas of pure mathematics, most notably in algebra, probability theory, topology, and geometry, this book provides discussion on logic and paradoxes; sets and set notations; power sets and their cardinality; Venn diagrams; the multip

Truthful Monadic Abstractions

DEFF Research Database (Denmark)

Brock-Nannestad, Taus; Schürmann, Carsten

2012-01-01

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

Preface to Introduction to Structural Bioinformatics

NARCIS (Netherlands)

Feenstra, K. Anton; Abeln, Sanne

2018-01-01

While many good textbooks are available on Protein Structure, Molecular Simulations, Thermodynamics and Bioinformatics methods in general, there is no good introductory level book for the field of Structural Bioinformatics. This book aims to give an introduction into Structural Bioinformatics, which

Abstraction of Dynamical Systems by Timed Automata

DEFF Research Database (Denmark)

Wisniewski, Rafael; Sloth, Christoffer

2011-01-01

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

USSR and Eastern Europe Scientific Abstracts Chemistry No. 53

Science.gov (United States)

1977-03-23

16. Abstracts The report contains abstracts and news items on adsorption phenomena, aerosols, alkaloids, analytica, electro- and biochemistry, coal...purification, a desorption- adsorption method of extracting aromatic hydrocarbons from industrial sewage is presented. For removing toxic nitrogen...124-5; Br, H, H, C6H3ClBrN03, 78, 74-5. USSR UDC 661:632.952 NEW MEANS FOR CHEMICAL PROCESSING OF FURFURAL Riga ISPOL’Z PENTOZANSODERZH SYR’YA [USE

From abstract to peer-reviewed publication: country matters

DEFF Research Database (Denmark)

Fosbol, E.; Fosbøl, Philip Loldrup; Eapen, Z. J.

2013-01-01

within 2 years of the conference. Less is known about the relative difference between countries in regards to likelihood of publication. Methods: Using a validated automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts presented at the AHA...... observed a significant variation among countries in terms of odds of subsequent publication (Figure). Conclusions: Our results show that conversion of science from an abstract into a peer-reviewed publication varies significantly by country. Local national initiatives should be deployed in order to break...

Introduction to Statistics - eNotes

DEFF Research Database (Denmark)

Brockhoff, Per B.; Møller, Jan Kloppenborg; Andersen, Elisabeth Wreford

2015-01-01

Online textbook used in the introductory statistics courses at DTU. It provides a basic introduction to applied statistics for engineers. The necessary elements from probability theory are introduced (stochastic variable, density and distribution function, mean and variance, etc.) and thereafter...... the most basic statistical analysis methods are presented: Confidence band, hypothesis testing, simulation, simple and muliple regression, ANOVA and analysis of contingency tables. Examples with the software R are included for all presented theory and methods....

Heuristic introduction to estimation methods

International Nuclear Information System (INIS)

Feeley, J.J.; Griffith, J.M.

1982-08-01

The methods and concepts of optimal estimation and control have been very successfully applied in the aerospace industry during the past 20 years. Although similarities exist between the problems (control, modeling, measurements) in the aerospace and nuclear power industries, the methods and concepts have found only scant acceptance in the nuclear industry. Differences in technical language seem to be a major reason for the slow transfer of estimation and control methods to the nuclear industry. Therefore, this report was written to present certain important and useful concepts with a minimum of specialized language. By employing a simple example throughout the report, the importance of several information and uncertainty sources is stressed and optimal ways of using or allowing for these sources are presented. This report discusses optimal estimation problems. A future report will discuss optimal control problems

Abstracts

Institute of Scientific and Technical Information of China (English)

2011-01-01

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

Beyond the Model Nation Image Abstract Introduction

African Journals Online (AJOL)

2011-10-02

Oct 2, 2011 ... opportunities to provide themselves with material goods, positive living conditions and ..... Ghana signed up as a partner in the West Africa Gas Pipeline Company ... Table 1: Comparative Selected Educational Enrolments.

Introduction to Machine Learning: Class Notes 67577

OpenAIRE

Shashua, Amnon

2009-01-01

Introduction to Machine learning covering Statistical Inference (Bayes, EM, ML/MaxEnt duality), algebraic and spectral methods (PCA, LDA, CCA, Clustering), and PAC learning (the Formal model, VC dimension, Double Sampling theorem).

Introduction to DNA methods

International Nuclear Information System (INIS)

Delincee, H.

1991-01-01

The purpose of this session is to discuss the various possibilities for detecting modifications in DNA after irradiation and whether these changes can be utilized as an indicator for the irradiation treatment of foods. The requirement to be fulfilled is that the method be able to distinguish irradiated food without the presence of a control sample, thus the measured response after irradiation must be large enough to supersede background levels from other treatments. Much work has been performed on the effects of radiation on DNA, particularly due to its importance in radiation biology. The main lesions of DNA as a result of irradiation are base damage, damage of the sugar moiety, single strand and double strand breaks. Crosslinking between bases also occurs, e.g. production of thymine dimers, or between DNA and protein. A valuable review on how to utilize these DNA changes for detection purposes has already appeared. Tables 1, 2 and 3 list the proposed methods of detecting changes in irradiated DNA, some identified products as examples for a possible irradiation indicator, in the case of immunoassay the substance used as antigen, and some selected literature references. In this short review, it is not intended to provide a complete literature survey

Abstracting massive data for lightweight intrusion detection in computer networks

KAUST Repository

Wang, Wei

2016-10-15

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

Air Pollution Translations: A Bibliography with Abstracts - Volume 4.

Science.gov (United States)

Environmental Protection Agency, Research Triangle Park, NC. Air Pollution Technical Information Center.

This volume is the fourth in a series of compilations presenting abstracts and indexes of translations of technical air pollution literature. The entries are grouped into 12 subject categories: Emission Sources, Control Methods, Measurement Methods, Air Quality Measurements, Atmospheric Interaction, Basic Science and Technology, Effects--Human…

Air Pollution Translations: A Bibliography with Abstracts - Volume 2.

Science.gov (United States)

National Air Pollution Control Administration (DHEW), Raleigh, NC.

This volume is the second in a series of compilations presenting abstracts and indexes of translations of technical air pollution literature. The 444 entries are grouped into 12 subject categories: General; Emission Sources; Atmospheric Interaction; Measurement Methods; Control Methods; Effects--Human Health; Effects--Plants and Livestock;…

Monte Carlo simulation in statistical physics an introduction

CERN Document Server

Binder, Kurt

1992-01-01

The Monte Carlo method is a computer simulation method which uses random numbers to simulate statistical fluctuations The method is used to model complex systems with many degrees of freedom Probability distributions for these systems are generated numerically and the method then yields numerically exact information on the models Such simulations may be used tosee how well a model system approximates a real one or to see how valid the assumptions are in an analyical theory A short and systematic theoretical introduction to the method forms the first part of this book The second part is a practical guide with plenty of examples and exercises for the student Problems treated by simple sampling (random and self-avoiding walks, percolation clusters, etc) are included, along with such topics as finite-size effects and guidelines for the analysis of Monte Carlo simulations The two parts together provide an excellent introduction to the theory and practice of Monte Carlo simulations

Algebraic equations an introduction to the theories of Lagrange and Galois

CERN Document Server

Dehn, Edgar

2004-01-01

Meticulous and complete, this presentation of Galois' theory of algebraic equations is geared toward upper-level undergraduate and graduate students. The theories of both Lagrange and Galois are developed in logical rather than historical form. And they are given a more thorough exposition than is customary. For this reason, and also because the author concentrates on concrete applications of algebraic theory, Algebraic Equations is an excellent supplementary text, offering students a concrete introduction to the abstract principles of Galois theory. Of further value are the many numerical ex

Check Sample Abstracts.

Science.gov (United States)

Alter, David; Grenache, David G; Bosler, David S; Karcher, Raymond E; Nichols, James; Rajadhyaksha, Aparna; Camelo-Piragua, Sandra; Rauch, Carol; Huddleston, Brent J; Frank, Elizabeth L; Sluss, Patrick M; Lewandrowski, Kent; Eichhorn, John H; Hall, Janet E; Rahman, Saud S; McPherson, Richard A; Kiechle, Frederick L; Hammett-Stabler, Catherine; Pierce, Kristin A; Kloehn, Erica A; Thomas, Patricia A; Walts, Ann E; Madan, Rashna; Schlesinger, Kathie; Nawgiri, Ranjana; Bhutani, Manoop; Kanber, Yonca; Abati, Andrea; Atkins, Kristen A; Farrar, Robert; Gopez, Evelyn Valencerina; Jhala, Darshana; Griffin, Sonya; Jhala, Khushboo; Jhala, Nirag; Bentz, Joel S; Emerson, Lyska; Chadwick, Barbara E; Barroeta, Julieta E; Baloch, Zubair W; Collins, Brian T; Middleton, Owen L; Davis, Gregory G; Haden-Pinneri, Kathryn; Chu, Albert Y; Keylock, Joren B; Ramoso, Robert; Thoene, Cynthia A; Stewart, Donna; Pierce, Arand; Barry, Michelle; Aljinovic, Nika; Gardner, David L; Barry, Michelle; Shields, Lisa B E; Arnold, Jack; Stewart, Donna; Martin, Erica L; Rakow, Rex J; Paddock, Christopher; Zaki, Sherif R; Prahlow, Joseph A; Stewart, Donna; Shields, Lisa B E; Rolf, Cristin M; Falzon, Andrew L; Hudacki, Rachel; Mazzella, Fermina M; Bethel, Melissa; Zarrin-Khameh, Neda; Gresik, M Vicky; Gill, Ryan; Karlon, William; Etzell, Joan; Deftos, Michael; Karlon, William J; Etzell, Joan E; Wang, Endi; Lu, Chuanyi M; Manion, Elizabeth; Rosenthal, Nancy; Wang, Endi; Lu, Chuanyi M; Tang, Patrick; Petric, Martin; Schade, Andrew E; Hall, Geraldine S; Oethinger, Margret; Hall, Geraldine; Picton, Avis R; Hoang, Linda; Imperial, Miguel Ranoa; Kibsey, Pamela; Waites, Ken; Duffy, Lynn; Hall, Geraldine S; Salangsang, Jo-Anne M; Bravo, Lulette Tricia C; Oethinger, Margaret D; Veras, Emanuela; Silva, Elvia; Vicens, Jimena; Silva, Elvio; Keylock, Joren; Hempel, James; Rushing, Elizabeth; Posligua, Lorena E; Deavers, Michael T; Nash, Jason W; Basturk, Olca; Perle, Mary Ann; Greco, Alba; Lee, Peng; Maru, Dipen; Weydert, Jamie Allen; Stevens, Todd M; Brownlee, Noel A; Kemper, April E; Williams, H James; Oliverio, Brock J; Al-Agha, Osama M; Eskue, Kyle L; Newlands, Shawn D; Eltorky, Mahmoud A; Puri, Puja K; Royer, Michael C; Rush, Walter L; Tavora, Fabio; Galvin, Jeffrey R; Franks, Teri J; Carter, James Elliot; Kahn, Andrea Graciela; Lozada Muñoz, Luis R; Houghton, Dan; Land, Kevin J; Nester, Theresa; Gildea, Jacob; Lefkowitz, Jerry; Lacount, Rachel A; Thompson, Hannis W; Refaai, Majed A; Quillen, Karen; Lopez, Ana Ortega; Goldfinger, Dennis; Muram, Talia; Thompson, Hannis

2009-02-01

The following abstracts are compiled from Check Sample exercises published in 2008. These peer-reviewed case studies assist laboratory professionals with continuing medical education and are developed in the areas of clinical chemistry, cytopathology, forensic pathology, hematology, microbiology, surgical pathology, and transfusion medicine. Abstracts for all exercises published in the program will appear annually in AJCP.

Commutative algebra constructive methods finite projective modules

CERN Document Server

Lombardi, Henri

2015-01-01

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative algebra. It takes a constructive viewpoint in commutative algebra and studies algorithmic approaches alongside several abstract classical theories. Indeed, it revisits these traditional topics with a new and simplifying manner, making the subject both accessible and innovative. The algorithmic aspects of such naturally abstract topics as Galois theory, Dedekind rings, Prüfer rings, finitely generated projective modules, dimension theory of commutative rings, and others in the current treatise, are all analysed in the spirit of the great developers of constructive algebra in the nineteenth century. This updated and revised edition contains over 350 well-arranged exercises, together with their helpful hints for solution. A basic knowledge of linear algebra, group theory, elementary number theory as well as the fundamentals of ring and module theory is r...

An introduction to surface alloying of metals

CERN Document Server

Hosmani, Santosh S; Goyal, Rajendra Kumar

2014-01-01

An Introduction to Surface Alloying of Metals aims to serve as a primer to the basic aspects of surface alloying of metals. The book serves to elucidate fundamentals of surface modification and their engineering applications. The book starts with basics of surface alloying and goes on to cover key surface alloying methods, such as carburizing, nitriding, chromizing, duplex treatment, and the characterization of surface layers. The book will prove useful to students at both the undergraduate and graduate levels, as also to researchers and practitioners looking for a quick introduction to surface alloying.

Non-native fish introductions and the decline of the mountain yellow-legged frog from within protected areas

Science.gov (United States)

R.A. Knapp; K.R. Matthews

2000-01-01

Abstract: One of the most puzzling aspects of the worldwide decline of amphibians is their disappearance from within protected areas. Because these areas are ostensibly undisturbed, habitat alterations are generally perceived as unlikely causes. The introduction of non-native fishes into protected areas, however, is a common practice throughout the world and may exert...

A Simple Introduction to Grobner Basis Methods in String Phenomenology

International Nuclear Information System (INIS)

Gray, J.

2011-01-01

I give an elementary introduction to the key algorithm used in recent applications of computational algebraic geometry to the subject of string phenomenology. I begin with a simple description of the algorithm itself and then give 3 examples of its use in physics. I describe how it can be used to obtain constraints on flux parameters, how it can simplify the equations describing vacua in 4D string models, and lastly how it can be used to compute the vacuum space of the electroweak sector of the MSSM.

Introduction to digital communication systems

CERN Document Server

Wesolowski, Krzysztof

2009-01-01

Combining theoretical knowledge and practical applications, this advanced-level textbook covers the most important aspects of contemporary digital communication systems. Introduction to Digital Communication Systems focuses on the rules of functioning digital communication system blocks, starting with the performance limits set by the information theory. Drawing on information relating to turbo codes and LDPC codes, the text presents the basic methods of error correction and detection, followed by baseband transmission methods, and single- and multi-carrier digital modulations. The basi

Abstract Datatypes in PVS

Science.gov (United States)

Owre, Sam; Shankar, Natarajan

1997-01-01

PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.

Moves Analysis on Abstracts Written by the Students in Academic Writing Class

Directory of Open Access Journals (Sweden)

Ajeng Setyorini

2017-09-01

Full Text Available This paper contains analysis results on abstracts written by students in Academic Writing course. The analysis includes analyses on moves and linguistic features. The analysis aims at finding out how the abstract writing structures of the English Education students are in the Academic Writing course. The abstract analysis also includes the analysis on the use of the linguistic features in the abstracts. The analysis uses a qualitative research approach. There are totally 10 abstracts that are analyzed. These are then called as the data. Data obtained is analyzed using genre analysis approach. Results of analysis on the 10 abstracts showed that some of the abstracts are written using 5 kinds of moves. All of the abstracts are found using Purpose Move and Method Move. Meanwhile, Situation Move is found in 5 abstracts. 8 abstracts are identified using Result Move. Conclusion Move is found in 5 abstracts. The results also show that all of the abstract writers use pronouns ‘the writer’ and ‘the researcher’. The use of personal pronoun ‘she’ is also found in 1 abstract. Hedges used in abstracts written by students in Academic Writing course vary from modal auxiliary verbs, adjectival, adverbial, nominal to Approximates of degree.

Introduction

DEFF Research Database (Denmark)

Ashbee, Edward; Dumbrell, John

2017-01-01

The introduction sets a framework for subsequent chapters by considering theories of change and the extent to which there was consequential change during the Obama years. It draws upon earlier scholarship to suggest that although there certainly was no “transformation” (when new interests secure...... Congress. Nonetheless, although recent literature within historical institutionalism has stressed the importance of incrementalism, it is vulnerable to rollback. Against this background, the introduction sets questions about the character of change that are addressed in the case studies included...

What works for human papillomavirus vaccine introduction in low and middle-income countries?

Directory of Open Access Journals (Sweden)

Natasha Howard

2017-12-01

Full Text Available Since 2007, low and middle-income countries (LMICs have gained experience delivering HPV vaccines through HPV vaccination pilots, demonstration projects and national programmes. This commentary summarises lessons from HPV vaccination experiences in 45 LMICs and what works for HPV vaccination introduction. Methods included a systematic literature review, unpublished document review, and key informant interviews. Data were extracted from 61 peer-reviewed articles, 11 conference abstracts, 188 technical reports, and 56 interviews, with quantitative data analysed descriptively and qualitative data analysed thematically. Key lessons are described under five themes of preparation, communications, delivery, coverage achievements, and sustainability. Lessons learnt were generally consistent across countries and projects and sufficient lessons have been learnt for countries to deliver HPV vaccine through phased national rollout rather than demonstration projects. However, challenges remain in securing the political will and financial resources necessary to implement successful national programmes. Keywords: Cervical cancer prevention, Human papillomavirus, Vaccination, Low and middle-income countries, Demonstration projects

Automatic Processing of Metallurgical Abstracts for the Purpose of Information Retrieval. Final Report.

Science.gov (United States)

Melton, Jessica S.

Objectives of this project were to develop and test a method for automatically processing the text of abstracts for a document retrieval system. The test corpus consisted of 768 abstracts from the metallurgical section of Chemical Abstracts (CA). The system, based on a subject indexing rational, had two components: (1) a stored dictionary of words…

Introduction to computation and modeling for differential equations

CERN Document Server

Edsberg, Lennart

2008-01-01

An introduction to scientific computing for differential equationsIntroduction to Computation and Modeling for Differential Equations provides a unified and integrated view of numerical analysis, mathematical modeling in applications, and programming to solve differential equations, which is essential in problem-solving across many disciplines, such as engineering, physics, and economics. This book successfully introduces readers to the subject through a unique ""Five-M"" approach: Modeling, Mathematics, Methods, MATLAB, and Multiphysics. This approach facilitates a thorough understanding of h

Introduction to relation algebras relation algebras

CERN Document Server

Givant, Steven

2017-01-01

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured pace and outstanding clarity are particularly ...

CMP 2009: conference of moldavian physicists. Abstracts

International Nuclear Information System (INIS)

2009-11-01

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

CMP 2012: conference of moldavian physicists. Abstracts

International Nuclear Information System (INIS)

2012-10-01

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

The Strategy of New Product Introduction in Durable Goods with Secondary Market: Application of the Optimization Method to Supply Chain Problem

Directory of Open Access Journals (Sweden)

Pei Zhao

2014-01-01

Full Text Available The aim of this paper is to address how the secondary market affects the strategy of the manufacturer’s new product introduction by using the optimization method. To do so, we develop a two-period model in which a monopolistic manufacturer sells its new durable products directly to end consumers in both periods, while an entrant operates a reverse channel selling used products in the secondary market. We assume that the manufacturer launches a higher quality product in the second period for the technological innovation. We find that the secondary market can actually increase the manufacturer’s profitability and drives the new product introduction in the second period. We also derive the effect of the durability and the degree of quality improvement on the pricing of supply chain partners.

Introduction to heat transfer

CERN Document Server

SUNDÉN, B

2012-01-01

Presenting the basic mechanisms for transfer of heat, Introduction to Heat Transfer gives a deeper and more comprehensive view than existing titles on the subject. Derivation and presentation of analytical and empirical methods are provided for calculation of heat transfer rates and temperature fields as well as pressure drop. The book covers thermal conduction, forced and natural laminar and turbulent convective heat transfer, thermal radiation including participating media, condensation, evaporation and heat exchangers.

Semiconductor Manufacturing equipment introduction

International Nuclear Information System (INIS)

Im, Jong Sun

2001-02-01

This book deals with semiconductor manufacturing equipment. It is comprised of nine chapters, which are manufacturing process of semiconductor device, history of semiconductor manufacturing equipment, kinds and role of semiconductor manufacturing equipment, construction and method of semiconductor manufacturing equipment, introduction of various semiconductor manufacturing equipment, spots of semiconductor manufacturing, technical elements of semiconductor manufacturing equipment, road map of technology of semiconductor manufacturing equipment and semiconductor manufacturing equipment in the 21st century.

Concept of Triangle: Examples of Mathematical Abstraction in Two Different Contexts

Directory of Open Access Journals (Sweden)

Farida Nurhasanah

2017-02-01

Full Text Available In attempt to explain how students learning geometry in concept of triangle, this study explore the learning process of students and the process of solving geometry problems in the topic of triangle.  As known as one of the domain in school of mathematics, geometry has abstract notions to be learnt so that all those notions cannot be just transferred into students’ mind like a bunch of information that should be memorized. Students need to construct those concepts during their learning process. This process of knowledge construction can be considered as an abstraction process. This study aimed to qualitatively compare students’ abstraction process who learn topic of triangle in conventional method of teaching and in van Hiele model of teaching aided by Geometers’ sketchpad. Subjects of this study were junir high school students in grade 7. Based on the aims of this study, this is a qualitative study with grounded theory design. Data were collected through classroom observation, test, and task-based interview. Results of the study show that theoretical abstraction processes tend to dominate classrom with conventional method of teaching while classroom with van Hiele model of teaching aided by Geometers’ sketchpad accommodated empirical abstraction process of the students

Radiation-hygienic estimation of interstitial gamma therapy conducted according to principle of subsequent introduction of radioactive sources

International Nuclear Information System (INIS)

Zamyatin, O.A.; Golikov, V.Ya.; Korenkov, I.P.; Ter-Kazar'yan, N.S.; Mindlin, G.M.

1978-01-01

A comparative study of two radiation-hygienic methods of interstitial gamma-therapy: with subsequent introduction of radioactive needles of a standard type; with subsequent manual introduction of 60 Co sources have been carried out. Chronometry-dosimetric methods of investigation and the methods of individual dosimetry underlie the studies. The obtained data showed, that doses of irradiation to which medical personnel is subjected during the use of the method of subsequent manual introduction of the active sources are 3-4 times lower, than those during the introduction of standard radioactive needles with a higher quality of the procedure performance, ensuring a good therapeutic effect. All this makes it possible to consider interstitial gamma-therapy with the use of the principle of subsequent introduction of the source to be a more perspective method than interstitial gamma-therapy with the use standard radioactive needless 60 Co

(U) Introduction to Monte Carlo Methods

Energy Technology Data Exchange (ETDEWEB)

Hungerford, Aimee L. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2017-03-20

Monte Carlo methods are very valuable for representing solutions to particle transport problems. Here we describe a “cook book” approach to handling the terms in a transport equation using Monte Carlo methods. Focus is on the mechanics of a numerical Monte Carlo code, rather than the mathematical foundations of the method.

Egg production methdos in marine fisheries: An introduction

NARCIS (Netherlands)

Bernal, M.; Somarakis, S.; Witthames, P.R.; Damme, van C.J.G.; Uriarte, A.R.; Lo, N.C.H.; Dickey-Collas, M.

2012-01-01

This paper is an introduction of the Fisheries Research special issue on egg production methods (EPM) that emerged from a dedicated workshop held in Athens, Greece, in 2010. The workshop considered if EPMs are still valid today, it reviewed recent developments in the methods and discussed the

'Who Thinks Abstractly?': Quantum Theory and the Architecture of Physical Concepts

International Nuclear Information System (INIS)

Plotnitsky, Arkady

2011-01-01

Beginning with its introduction by W. Heisenberg, quantum mechanics was often seen as an overly abstract theory, mathematically and physically, vis-a-vis classical physics or relativity. This perception was amplified by the fact that, while the quantum-mechanical formalism provided effective predictive algorithms for the probabilistic predictions concerning quantum experiments, it appeared unable to describe, even by way idealization, quantum processes themselves in space and time, in the way classical mechanics or relativity did. The aim of the present paper is to reconsider the nature of mathematical and physical abstraction in modern physics by offering an analysis of the concept of ''physical fact'' and of the concept of 'physical concept', in part by following G. W. F. Hegel's and G. Deleuze's arguments concerning the nature of conceptual thinking. In classical physics, relativity, and quantum physics alike, I argue, physical concepts are defined by the following main features - 1) their multi-component multiplicity; 2) their essential relations to problems; 3) and the interactions between physical, mathematical, and philosophical components within each concept. It is the particular character of these interactions in quantum mechanics, as defined by its essentially predictive (rather than descriptive) nature, that distinguishes it from classical physics and relativity.

Introduction to the Monte Carlo methods

International Nuclear Information System (INIS)

Uzhinskij, V.V.

1993-01-01

Codes illustrating the use of Monte Carlo methods in high energy physics such as the inverse transformation method, the ejection method, the particle propagation through the nucleus, the particle interaction with the nucleus, etc. are presented. A set of useful algorithms of random number generators is given (the binomial distribution, the Poisson distribution, β-distribution, γ-distribution and normal distribution). 5 figs., 1 tab

The Technology of Introduction of Innovation Methods of Management of Development of the Hotel and Restaurant Enterprises on the Basis of Synergistic Approach

Directory of Open Access Journals (Sweden)

Davydova Oksana Yu.

2018-02-01

Full Text Available The article is aimed at formation of technology of introduction of innovation methods of management of development of hotel and restaurant enterprises on the basis of synergetic approach. The following evolutionary stages of innovative management of enterprises’ development are proposed: preliminary (conjugation; existing (relations and bifurcation; perspective (counterdifferentiation. The technology of introduction of innovation methods of management of development of enterprises of hotel-restaurant industry on the basis of synergistic approach has been developed, confirming existence of synergism in the system of increase of activity potential, opening of new directions of innovative management of development of hotel and restaurant enterprises. The indicators of synergistic effect are determined as follows: high level of performance indicators of enterprise of hotel-restaurant industry; adequate response to changes in the external and internal environment; adaptation to predictable and unpredictable crisis phenomena; improving the quality of products and services; creation and improvement of positive image in both internal and external markets, etc.

Abstraction and art.

Science.gov (United States)

Gortais, Bernard

2003-07-29

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

Introduction to Time Series Modeling

CERN Document Server

Kitagawa, Genshiro

2010-01-01

In time series modeling, the behavior of a certain phenomenon is expressed in relation to the past values of itself and other covariates. Since many important phenomena in statistical analysis are actually time series and the identification of conditional distribution of the phenomenon is an essential part of the statistical modeling, it is very important and useful to learn fundamental methods of time series modeling. Illustrating how to build models for time series using basic methods, "Introduction to Time Series Modeling" covers numerous time series models and the various tools f

1. Warsaw School of Statistical Physics - Poster Abstracts

International Nuclear Information System (INIS)

2005-01-01

The abstracts of information presented in posters during '1st Warsaw School of Statistical Physics' which held in Kazimierz Dolny - Poland are presented. They cover different aspects of statistical processes like diffusion, fluid hydrodynamics as well as modern quantum mechanical methods of their solutions

Exponentially Convergent Algorithms for Abstract Differential Equations

CERN Document Server

Gavrilyuk, Ivan; Vasylyk, Vitalii

2011-01-01

This book presents new accurate and efficient exponentially convergent methods for abstract differential equations with unbounded operator coefficients in Banach space. These methods are highly relevant for the practical scientific computing since the equations under consideration can be seen as the meta-models of systems of ordinary differential equations (ODE) as well as the partial differential equations (PDEs) describing various applied problems. The framework of functional analysis allows one to obtain very general but at the same time transparent algorithms and mathematical results which

Bricklayer: An Authentic Introduction to the Functional Programming Language SML

Directory of Open Access Journals (Sweden)

Victor Winter

2014-12-01

Full Text Available Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as possible within the computer science curriculum. Bricklayer is an API, written in SML, that provides a set of abstractions for creating LEGO artifacts which can be viewed using LEGO Digital Designer. The goal of Bricklayer is to create a problem space (i.e., a set of LEGO artifacts that is accessible and engaging to programmers (especially novice programmers while providing an authentic introduction to the functional programming language SML.

Completeness of Lyapunov Abstraction

DEFF Research Database (Denmark)

Wisniewski, Rafal; Sloth, Christoffer

2013-01-01

the vector field, which allows the generation of a complete abstraction. To compute the functions that define the subdivision of the state space in an algorithm, we formulate a sum of squares optimization problem. This optimization problem finds the best subdivisioning functions, with respect to the ability......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...

Introduction to IBS

Science.gov (United States)

... Day Art of IBS Gallery Contact Us Search Introduction to IBS Details What is IBS? Last Updated: ... tax-deductible donation. Make Donation What is IBS? Introduction to IBS Symptoms of IBS What Causes IBS? ...

Introduction to Integral Calculus Systematic Studies with Engineering Applications for Beginners

CERN Document Server

Rohde, Ulrich L; Poddar, Ajay K; Ghosh, A K

2011-01-01

An accessible introduction to the fundamentals of calculus needed to solve current problems in engineering and the physical sciences I ntegration is an important function of calculus, and Introduction to Integral Calculus combines fundamental concepts with scientific problems to develop intuition and skills for solving mathematical problems related to engineering and the physical sciences. The authors provide a solid introduction to integral calculus and feature applications of integration, solutions of differential equations, and evaluation methods. With logical organization coupled with cle

Metaphor: Bridging embodiment to abstraction.

Science.gov (United States)

Jamrozik, Anja; McQuire, Marguerite; Cardillo, Eileen R; Chatterjee, Anjan

2016-08-01

Embodied cognition accounts posit that concepts are grounded in our sensory and motor systems. An important challenge for these accounts is explaining how abstract concepts, which do not directly call upon sensory or motor information, can be informed by experience. We propose that metaphor is one important vehicle guiding the development and use of abstract concepts. Metaphors allow us to draw on concrete, familiar domains to acquire and reason about abstract concepts. Additionally, repeated metaphoric use drawing on particular aspects of concrete experience can result in the development of new abstract representations. These abstractions, which are derived from embodied experience but lack much of the sensorimotor information associated with it, can then be flexibly applied to understand new situations.

Technical abstracts: Mechanical engineering, 1990

International Nuclear Information System (INIS)

Broesius, J.Y.

1991-01-01

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

Introduction to Computational Plasticity

International Nuclear Information System (INIS)

Hartley, P

2006-01-01

matrices with a clear explanation of their development, is a recurring, and commendable, feature of the book, which provides an invaluable introduction for those new to the subject. The chapter moves on from time-independent behaviour to introduce viscoplasticity and creep. Chapter three takes the theories of deformation another stage further to consider the problems associated with large deformation in which an important concept is the separation of the phenomenon into material stretch and rotation. The latter is crucial to allow correct measures of strain and stress to be developed in which the effects of rigid body rotation do not contribute to these variables. Hence, the introduction of 'objective' measures for stress and strain. These are described with reference to deformation gradients, which are clearly explained; however, the introduction of displacement gradients passes with little comment, although velocity gradients appear later in the chapter. The interpretation of different strain measures, e.g. Green--Lagrange and Almansi, is covered briefly, followed by a description of the spin tensor and its use in developing the objective Jaumann rate of stress. It is tempting here to suggest that a more complete description should be given together with other measures of strain and stress, of which there are several, but there would be a danger of changing the book from an 'introduction' to a more comprehensive text, and examples of such exist already. Chapter four begins the process of developing the plasticity theories into a form suitable for inclusion in the finite-element method. The starting point is Hamilton's principle for equilibrium of a dynamic system. A very brief introduction to the finite-element method is then given, followed by the finite-element equilibrium equations and a description of how they are incorporated into Hamilton's principle. A useful clarification is provided by comparing tensor notation and the form normally used in finite

Abstracts of 20. International Symposium Radiation Protection Physics

International Nuclear Information System (INIS)

1988-01-01

51 papers are presented as titles with abstracts which are processed individually for the INIS data base. They deal with general aspects of radiation protection physics, international activities in radiation protection, solid state dosimetry, models and calculation methods in radiation protection, and measuring techniques in radiation protection

A concrete introduction to higher algebra

CERN Document Server

Childs, Lindsay N

1995-01-01

This book is written as an introduction to higher algebra for students with a background of a year of calculus. The first edition of this book emerged from a set of notes written in the 1970sfor a sophomore-junior level course at the University at Albany entitled "Classical Algebra." The objective of the course, and the book, is to give students enough experience in the algebraic theory of the integers and polynomials to appre­ ciate the basic concepts of abstract algebra. The main theoretical thread is to develop algebraic properties of the ring of integers: unique factorization into primes, congruences and congruence classes, Fermat's theorem, the Chinese remainder theorem; and then again for the ring of polynomials. Doing so leads to the study of simple field extensions, and, in particular, to an exposition of finite fields. Elementary properties of rings, fields, groups, and homomorphisms of these objects are introduced and used as needed in the development. Concurrently with the theoretical development,...

BDF-methods

DEFF Research Database (Denmark)

Hostrup, Astrid Kuijers

1999-01-01

An introduction to BDF-methods is given. The use of these methods on differential algebraic equations (DAE's) with different indexes with respect to order, stability and convergens of the BDF-methods is presented.......An introduction to BDF-methods is given. The use of these methods on differential algebraic equations (DAE's) with different indexes with respect to order, stability and convergens of the BDF-methods is presented....

Assessing an Introduction to Systems Thinking

Science.gov (United States)

Monroe, Martha C.; Plate, Richard R.; Colley, Lara

2015-01-01

This research study investigated the learning outcomes of a brief systems thinking intervention at the undergraduate level. A pre/post experimental design (n = 50) was used to address two primary questions: (1) Can a brief introduction to systems thinking improve students' understanding of systems thinking? and (2) Which teaching method (of…

A Modal-Logic Based Graph Abstraction

NARCIS (Netherlands)

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

2008-01-01

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

Collection of abstracts. 6. national symposium on radiation dosimetry

International Nuclear Information System (INIS)

1983-08-01

Abstracts are given of the total of 137 papers presented at the symposium. The papers discussed radiation dosimetry methods, dosemeters and detectors, the metrology and calibration of radiation sources, calibration standards, and radioactivity monitoring. (J.P.)

Fluid Mechanics An Introduction to the Theory of Fluid Flows

CERN Document Server

Durst, Franz

2008-01-01

Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent flows. These methods are extensively used these days in research and engineering practise. This also requires new ways to teach the subject to students at higher educational institutions in an introductory manner. The book provides the knowledge to students in engineering and natural science needed to enter fluid mechanics applications in various fields. Analytical treatments are provided, based on the Navier-Stokes equations. Introductions are also given into numerical and experimental methods applied to flows. The main benefit the reader will derive from the book is a sound introduction into all aspects of fluid mechanics covering all relevant subfields.

Seismic Consequence Abstraction

International Nuclear Information System (INIS)

Gross, M.

2004-01-01

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

Seismic Consequence Abstraction

Energy Technology Data Exchange (ETDEWEB)

M. Gross

2004-10-25

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

Modal abstractions of concurrent behavior

DEFF Research Database (Denmark)

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

2011-01-01

We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking because they allow for the validation as well...... as refutation of safety and liveness properties. However, the algorithmic construction of finite abstractions from potentially infinite concurrent processes is a missing link that prevents their more widespread usage for model checking of concurrent systems. Our algorithm is a worklist algorithm using concepts...... from abstract interpretation and operating upon mappings from sets to intervals in order to express simultaneous over- and underapprox-imations of the multisets of process actions available in a particular state. We obtain a finite abstraction that is 3-valued in both states and transitions...

Assessing the impacts of water abstractions on river ecosystem services: an eco-hydraulic modelling approach

Energy Technology Data Exchange (ETDEWEB)

Carolli, Mauro, E-mail: mauro.carolli@unitn.it; Geneletti, Davide, E-mail: davide.geneletti@unitn.it; Zolezzi, Guido, E-mail: guido.zolezzi@unitn.it

2017-03-15

The provision of important river ecosystem services (ES) is dependent on the flow regime. This requires methods to assess the impacts on ES caused by interventions on rivers that affect flow regime, such as water abstractions. This study proposes a method to i) quantify the provision of a set of river ES, ii) simulate the effects of water abstraction alternatives that differ in location and abstracted flow, and iii) assess the impact of water abstraction alternatives on the selected ES. The method is based on river modelling science, and integrates spatially distributed hydrological, hydraulic and habitat models at different spatial and temporal scales. The method is applied to the hydropeaked upper Noce River (Northern Italy), which is regulated by hydropower operations. We selected locally relevant river ES: habitat suitability for the adult marble trout, white-water rafting suitability, hydroelectricity production from run-of-river (RoR) plants. Our results quantify the seasonality of river ES response variables and their intrinsic non-linearity, which explains why the same abstracted flow can produce different effects on trout habitat and rafting suitability depending on the morphology of the abstracted reach. An economic valuation of the examined river ES suggests that incomes from RoR hydropower plants are of comparable magnitude to touristic revenue losses related to the decrease in rafting suitability.

Assessing the impacts of water abstractions on river ecosystem services: an eco-hydraulic modelling approach

International Nuclear Information System (INIS)

Carolli, Mauro; Geneletti, Davide; Zolezzi, Guido

2017-01-01

The provision of important river ecosystem services (ES) is dependent on the flow regime. This requires methods to assess the impacts on ES caused by interventions on rivers that affect flow regime, such as water abstractions. This study proposes a method to i) quantify the provision of a set of river ES, ii) simulate the effects of water abstraction alternatives that differ in location and abstracted flow, and iii) assess the impact of water abstraction alternatives on the selected ES. The method is based on river modelling science, and integrates spatially distributed hydrological, hydraulic and habitat models at different spatial and temporal scales. The method is applied to the hydropeaked upper Noce River (Northern Italy), which is regulated by hydropower operations. We selected locally relevant river ES: habitat suitability for the adult marble trout, white-water rafting suitability, hydroelectricity production from run-of-river (RoR) plants. Our results quantify the seasonality of river ES response variables and their intrinsic non-linearity, which explains why the same abstracted flow can produce different effects on trout habitat and rafting suitability depending on the morphology of the abstracted reach. An economic valuation of the examined river ES suggests that incomes from RoR hydropower plants are of comparable magnitude to touristic revenue losses related to the decrease in rafting suitability.

Introduction: Working the Boundaries of Law

Directory of Open Access Journals (Sweden)

Morag McDermont

2017-12-01

Full Text Available This introduction to the special issue on Working the Boundaries of Law provides a context for the papers collected here. It locates the papers in a colloquium held in Oñati to discuss issues around this theme. It traces the significance of borders and boundaries as sites of social practice and considers how the boundaries of law are constructed and contested. The introduction then explores the sorts of practices – or labour – that go on at these boundaries – to maintain, challenge and traverse them. It points in particular to boundaries as sites of translation and emotional labour. Finally, it briefly introduces the papers that follow. Esta introducción al número especial Working the Boundaries of Law proporciona un contexto para los artículos que forman el número. Ubica los artículos en un coloquio que tuvo lugar en Oñati para debatir asuntos relacionados con el tema principal. Rastrea el significado de los límites y las fronteras como lugares de práctica social, y considera cómo se construyen y se contestan los límites de la legalidad. Después, esta introducción explora el tipo de prácticas -o trabajos- que suceden en estos límites -para mantenerlos, desafiarlos y atravesarlos. En particular, apunta a los límites como lugares de conversión y de gestión de las emociones. Por último, presenta brevemente los artículos que siguen. DOWNLOAD THIS PAPER FROM SSRN: http://ssrn.com/abstract=3062565

How to write an introduction section of a scientific article?

Science.gov (United States)

Armağan, Abdullah

2013-09-01

An article primarily includes the following sections: introduction, materials and methods, results, discussion, and conclusion. Before writing the introduction, the main steps, the heading and the familiarity level of the readers should be considered. Writing should begin when the experimental system and the equipment are available. The introduction section comprises the first portion of the manuscript, and it should be written using the simple present tense. Additionally, abbreviations and explanations are included in this section. The main goal of the introduction is to convey basic information to the readers without obligating them to investigate previous publications and to provide clues as to the results of the present study. To do this, the subject of the article should be thoroughly reviewed, and the aim of the study should be clearly stated immediately after discussing the basic references. In this review, we aim to convey the principles of writing the introduction section of a manuscript to residents and young investigators who have just begun to write a manuscript.

Introduction to imprecise probabilities

CERN Document Server

Augustin, Thomas; de Cooman, Gert; Troffaes, Matthias C M

2014-01-01

In recent years, the theory has become widely accepted and has been further developed, but a detailed introduction is needed in order to make the material available and accessible to a wide audience. This will be the first book providing such an introduction, covering core theory and recent developments which can be applied to many application areas. All authors of individual chapters are leading researchers on the specific topics, assuring high quality and up-to-date contents. An Introduction to Imprecise Probabilities provides a comprehensive introduction to imprecise probabilities, includin

Introduction of effect and consideration of the introduction of CAD/CAM system

International Nuclear Information System (INIS)

Kang, Man Ok

1984-12-01

This reports introduction of effect and consideration of the introduction of computer-aided design and computer aided manufacturing system. It includes outline of CAD/CAM system like definition, classification, system kinds, and development process of CAD/CAM system, technology, market trend development prospect, and value on introduction of this system, and current application of CAD/CAM system in major application area, development countries and Korea.

The deleuzian abstract machines

DEFF Research Database (Denmark)

Werner Petersen, Erik

2005-01-01

To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...

Typesafe Abstractions for Tensor Operations

OpenAIRE

Chen, Tongfei

2017-01-01

We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural layers such as convolution or recurrent neural networks. This abstraction could lay the foundation of future typesafe deep learning frameworks that runs on Scala/JVM.

Fracture mechanics. With an introduction to micromechanics

International Nuclear Information System (INIS)

Gross, D.

2006-01-01

Concerned with the fundamental concepts and methods of fracture mechanics and micromechanics, Fracture Mechanics primarily focuses on the mechanical description of the fracture process; however, material specific aspects are also discussed. The presentation of continuum mechanical and phenomenological foundations is followed by an introduction into classical failure hypotheses. A major part of the book is devoted to linear elastic and elastic-plastic fracture mechanics. Further subjects are creep fracture, dynamic fracture mechanics, damage mechanics, probabilistic fracture mechanics, failure of thin films and fracture of piezoelectric materials. The book also contains an extensive introduction into micromechanics. Self-contained and well-illustrated, this text serves as a graduate-level text and reference

An Abstraction-Based Data Model for Information Retrieval

Science.gov (United States)

McAllister, Richard A.; Angryk, Rafal A.

Language ontologies provide an avenue for automated lexical analysis that may be used to supplement existing information retrieval methods. This paper presents a method of information retrieval that takes advantage of WordNet, a lexical database, to generate paths of abstraction, and uses them as the basis for an inverted index structure to be used in the retrieval of documents from an indexed corpus. We present this method as a entree to a line of research on using ontologies to perform word-sense disambiguation and improve the precision of existing information retrieval techniques.

Inventory Abstraction

International Nuclear Information System (INIS)

Leigh, C.

2000-01-01

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

INTRODUCTION TOTHE RUSSIAN MUSIC CULTURE AS A WAY OF CHINESE MUSIC TEACHERS TRAINING

Directory of Open Access Journals (Sweden)

N. G. Таgiltseva

2016-01-01

Full Text Available Article purpose – to open the ways of introduction of the Chinese students who are trained in Chinese pedagogical higher education institutions to musical culture of Russia.Methods. The paper is based on ideas of extrapolation of the Russian and Chinese teachers about interrelation of arts and types of art activity of children in the process of vocational performing cello training of future music teachers at pedagogical universities of China; the traditional methods and means of music education that proved the efficiency in pedagogics of professional music education in Russia. The research methods involve the analysis, generalization of literature, the analysis of a condition of modern process of professional pedagogical education of future music teachers at universities of China and Russia.Results: The methods and means of introduction of the Chinese students – future music teachers to cello musical culture of Russia are shown on the basis of interrelation of arts and different means of art activities, and mastering at cello fingering techniques. It is noted that such means and ways serve mutual enrichment of national cultures, and strengthening of international relations.Scientific novelty. The most effective methods of vocational training of music teachers are revealed: polyart education that is based on comparison of different types of art (music, poetry, dance, theater, the fine arts and search of their crossing for deeper penetration into plasticity of intonations of a piece of music; the method of a retrospective and prospect consisting in the comparative analysis of the classical, borrowed from an arsenal recognized masters and modern manners of performance and ways of training at fingering and playing the chosen musical instrument; the method of the Russian teacher, musician and composer D. B. Kabalevsky based on perception and reflection about music, expanding ideas of the range of bag, opportunities of interpretation of a piece of

Chief Editors’ Introduction

Directory of Open Access Journals (Sweden)

Kerry Carrington

2015-12-01

Full Text Available It has been a great year for the journal:  our most successful ever. This edition marks three years of publication of the International Journal for Crime, Justice and Social Democracy. In 2015 the journal was selected for inclusion into Scopus and Web of Science data bases. This is a terrific success story and testimony to the high quality of the articles, the editorship, the reviewing and the international readership of the journal. We are grateful as ever to our distinguished International Editorial Board and all our reviewers who are anonymous to readers and authors due to the norms of blind peer reviewing. We also thank the out-going foundational co-editor-in-chief Reece Walters for his efforts in making this journal the success it is. The journal has now surpassed 150,000 abstract views and 100,000 full PDF downloads. This journal is one of only a few in the world of criminology to support fully on-line free-to-download articles, and to promote creative commons copyright: that is, authors’ rights to reproduce their own material. We support the democratisation of knowledge and are delighted to be leaders in high quality international journal publishing.Download the PDF file here for the Chief Editors’ introduction to this issue and be motivated by the eclectic and impressive range of topics offered by our contributors to read further.

Interval methods: An introduction

DEFF Research Database (Denmark)

Achenie, L.E.K.; Kreinovich, V.; Madsen, Kaj

2006-01-01

This chapter contains selected papers presented at the Minisymposium on Interval Methods of the PARA'04 Workshop '' State-of-the-Art in Scientific Computing ''. The emphasis of the workshop was on high-performance computing (HPC). The ongoing development of ever more advanced computers provides...... the potential for solving increasingly difficult computational problems. However, given the complexity of modern computer architectures, the task of realizing this potential needs careful attention. A main concern of HPC is the development of software that optimizes the performance of a given computer....... An important characteristic of the computer performance in scientific computing is the accuracy of the Computation results. Often, we can estimate this accuracy by using traditional statistical techniques. However, in many practical situations, we do not know the probability distributions of different...

An Introduction to Business Mathematics

OpenAIRE

Henk van Elst

2015-01-01

These lecture notes provide a self-contained introduction to the mathematical methods required in a Bachelor degree programme in Business, Economics, or Management. In particular, the topics covered comprise real-valued vector and matrix algebra, systems of linear algebraic equations, Leontief's stationary input-output matrix model, linear programming, elementary financial mathematics, as well as differential and integral calculus of real-valued functions of one real variable. A special focus...

Introduction to generalized linear models

CERN Document Server

Dobson, Annette J

2008-01-01

Introduction Background Scope Notation Distributions Related to the Normal Distribution Quadratic Forms Estimation Model Fitting Introduction Examples Some Principles of Statistical Modeling Notation and Coding for Explanatory Variables Exponential Family and Generalized Linear Models Introduction Exponential Family of Distributions Properties of Distributions in the Exponential Family Generalized Linear Models Examples Estimation Introduction Example: Failure Times for Pressure Vessels Maximum Likelihood Estimation Poisson Regression Example Inference Introduction Sampling Distribution for Score Statistics Taylor Series Approximations Sampling Distribution for MLEs Log-Likelihood Ratio Statistic Sampling Distribution for the Deviance Hypothesis Testing Normal Linear Models Introduction Basic Results Multiple Linear Regression Analysis of Variance Analysis of Covariance General Linear Models Binary Variables and Logistic Regression Probability Distributions ...

Introduction to Robust Estimation and Hypothesis Testing

CERN Document Server

Wilcox, Rand R

2012-01-01

This revised book provides a thorough explanation of the foundation of robust methods, incorporating the latest updates on R and S-Plus, robust ANOVA (Analysis of Variance) and regression. It guides advanced students and other professionals through the basic strategies used for developing practical solutions to problems, and provides a brief background on the foundations of modern methods, placing the new methods in historical context. Author Rand Wilcox includes chapter exercises and many real-world examples that illustrate how various methods perform in different situations.Introduction to R

Thermoelectric neutron dosimetry: a short introduction

International Nuclear Information System (INIS)

Mathieu, F.; Meier, R.; Debrue, J.; Leonard, F.; Schubert, W.

1977-01-01

The paper gives a short introduction and state-of-the-art account of an unconventional, non destructive neutron dosimetry method based on monitoring the neutron fluence dependent changes of the thermoelectric properties of base metals and alloys. The basic principles are exposed and illustrated with experimental data obtained during an exploratory irradiation in the BR2 reactor

Beyond the dichotomy of figurative and abstract art in hospitals

DEFF Research Database (Denmark)

Nielsen, Stine Maria Louring; Mullins, Michael Finbarr

2017-01-01

from two experimental case studies on 98 patients’ well-being in relation to their experience and use of visual art during hospitalization. The case studies employed a mixed-method approach, including interviews and observations informed by thermal video recording, surveys and psychophysiological......Within the evidence-based design discourse, and deriving particularly from the theory of emotional congruence, abstract art has been indicated as unsuitable for hospitals. As patients may often experience unfamiliarity, vulnerability, stress, unpredictability and uneasiness in hospitals......, these negative factors in terms of patients’ well-being are predicted to be detrimentally reinforced by abstract art, but alleviated by particular forms of figurative art. The present paper focuses particularly on this question of the suitability of abstract art in Danish hospital settings and presents findings...

Theoretical astrophysics an introduction

CERN Document Server

Bartelmann, Matthias

2013-01-01

A concise yet comprehensive introduction to the central theoretical concepts of modern astrophysics, presenting hydrodynamics, radiation, and stellar dynamics all in one textbook. Adopting a modular structure, the author illustrates a small number of fundamental physical methods and principles, which are sufficient to describe and understand a wide range of seemingly very diverse astrophysical phenomena and processes. For example, the formulae that define the macroscopic behavior of stellar systems are all derived in the same way from the microscopic distribution function. This function it

Introduction to perturbation methods

CERN Document Server

Holmes, M

1995-01-01

This book is an introductory graduate text dealing with many of the perturbation methods currently used by applied mathematicians, scientists, and engineers. The author has based his book on a graduate course he has taught several times over the last ten years to students in applied mathematics, engineering sciences, and physics. The only prerequisite for the course is a background in differential equations. Each chapter begins with an introductory development involving ordinary differential equations. The book covers traditional topics, such as boundary layers and multiple scales. However, it also contains material arising from current research interest. This includes homogenization, slender body theory, symbolic computing, and discrete equations. One of the more important features of this book is contained in the exercises. Many are derived from problems of up- to-date research and are from a wide range of application areas.

Mechanical Engineering Department technical abstracts

International Nuclear Information System (INIS)

Denney, R.M.

1982-01-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

5. conference of the physicists of Moldova. Abstracts

International Nuclear Information System (INIS)

2014-10-01

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

5. conference of the physicists of Moldova. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2014-10-15

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

Contraceptive introduction and the management of choice: the role of Cyclofem in Indonesia.

Science.gov (United States)

Simmons, R; Fajans, P; Lubis, F

1994-05-01

This paper presents a programmatic perspective on the relationship between the introduction of new contraceptive technology and expanding contraceptive options, using the example of Cyclofem in Indonesia. Past approaches to contraceptive introduction have considered only the characteristics of the new method in the decision-making process. In assessing whether the introduction of a new method actually expands contraceptive choice for women and whether the program has the managerial capabilities to assure quality of care in this process, the authors argue that consideration must be given to all methods within a delivery system and how new technology relates to the management of contraceptive choice. Using this perspective, the authors suggest that choice would not necessarily be expanded with scaled-up service delivery of a new once-a month injectable in the Indonesian public sector context.

Introduction to variance estimation

CERN Document Server

Wolter, Kirk M

2007-01-01

We live in the information age. Statistical surveys are used every day to determine or evaluate public policy and to make important business decisions. Correct methods for computing the precision of the survey data and for making inferences to the target population are absolutely essential to sound decision making. Now in its second edition, Introduction to Variance Estimation has for more than twenty years provided the definitive account of the theory and methods for correct precision calculations and inference, including examples of modern, complex surveys in which the methods have been used successfully. The book provides instruction on the methods that are vital to data-driven decision making in business, government, and academe. It will appeal to survey statisticians and other scientists engaged in the planning and conduct of survey research, and to those analyzing survey data and charged with extracting compelling information from such data. It will appeal to graduate students and university faculty who...

Networks of networks – An introduction

International Nuclear Information System (INIS)

Kenett, Dror Y.; Perc, Matjaž; Boccaletti, Stefano

2015-01-01

Graphical abstract: Interdependent network reciprocity. Only those blue cooperative domains that are initially present on both networks survive. Abstract: This is an introduction to the special issue titled “Networks of networks” that is in the making at Chaos, Solitons & Fractals. Recent research and reviews attest to the fact that networks of networks are the next frontier in network science [1–7]. Not only are interactions limited and thus inadequately described by well-mixed models, it is also a fact that the networks that should be an integral part of such models are often interconnected, thus making the processes that are unfolding on them interdependent. From the World economy and transportation systems to social media, it is clear that processes taking place in one network might significantly affect what is happening in many other networks. Within an interdependent system, each type of interaction has a certain relevance and meaning, so that treating all the links identically inevitably leads to information loss. Networks of networks, interdependent networks, or multilayer networks are therefore a much better and realistic description of such systems, and this Special Issue is devoted to their structure, dynamics and evolution, as well as to the study of emergent properties in multi-layered systems in general. Topics of interest include but are not limited to the spread of epidemics and information, percolation, diffusion, synchronization, collective behavior, and evolutionary games on networks of networks. Interdisciplinary work on all aspects of networks of networks, regardless of background and motivation, is very welcome.

Constraint-Based Abstract Semantics for Temporal Logic

DEFF Research Database (Denmark)

Banda, Gourinath; Gallagher, John Patrick

2010-01-01

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

EBS Radionuclide Transport Abstraction

International Nuclear Information System (INIS)

Schreiner, R.

2001-01-01

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

Article Abstract

African Journals Online (AJOL)

Abstract. Simple learning tools to improve clinical laboratory practical skills training. B Taye, BSc, MPH. Addis Ababa University, College of Health Sciences, Addis Ababa, ... concerns about the competence of medical laboratory science graduates. ... standardised practical learning guides and assessment checklists would.

Water Pollution Abstracts. Volume 43, Number 4, Abstracts 645-849.

Science.gov (United States)

WATER POLLUTION, *ABSTRACTS, PURIFICATION, WASTES(INDUSTRIAL), CONTROL, SEWAGE, WATER SUPPLIES, PUBLIC HEALTH, PETROLEUM PRODUCTS, DEGRADATION, DAMS...ESTUARIES, PLANKTON, PHOTOSYNTHESIS, VIRUSES, SEA WATER , MICROBIOLOGY, UNITED KINGDOM.

An introduction to clinical microeconomic analysis: purposes and analytic methods.

Science.gov (United States)

Weintraub, W S; Mauldin, P D; Becker, E R

1994-06-01

The recent concern with health care economics has fostered the development of a new discipline that is generally called clinical microeconomics. This is a discipline in which microeconomic methods are used to study the economics of specific medical therapies. It is possible to perform stand alone cost analyses, but more profound insight into the medical decision making process may be accomplished by combining cost studies with measures of outcome. This is most often accomplished with cost-effectiveness or cost-utility studies. In cost-effectiveness studies there is one measure of outcome, often death. In cost-utility studies there are multiple measures of outcome, which must be grouped together to give an overall picture of outcome or utility. There are theoretical limitations to the determination of utility that must be accepted to perform this type of analysis. A summary statement of outcome is quality adjusted life years (QALYs), which is utility time socially discounted survival. Discounting is used because people value a year of future life less than a year of present life. Costs are made up of in-hospital direct, professional, follow-up direct, and follow-up indirect costs. Direct costs are for medical services. Indirect costs reflect opportunity costs such as lost time at work. Cost estimates are often based on marginal costs, or the cost for one additional procedure of the same type. Finally an overall statistic may be generated as cost per unit increase in effectiveness, such as dollars per QALY.(ABSTRACT TRUNCATED AT 250 WORDS)

Garter snakes distributions in high elevation aquatic ecosystems: Is there a link with declining amphibian populations and nonnative trout introductions?

Science.gov (United States)

K.R. Matthews; R.A. Knapp; K.L. Pope

2002-01-01

ABSTRACT.—The dramatic amphibian population declines reported worldwide likely have important effects on their predators. In the Sierra Nevada, where amphibian declines are well documented and some are closely tied to the introduction of nonnative trout, the mountain garter snake, Thamnophis elegans elegans, preys predominately on amphibians. We surveyed 2103 high-...

Particle Tracking Model and Abstraction of Transport Processes

Energy Technology Data Exchange (ETDEWEB)

B. Robinson

2004-10-21

The purpose of this report is to document the abstraction model being used in total system performance assessment (TSPA) model calculations for radionuclide transport in the unsaturated zone (UZ). The UZ transport abstraction model uses the particle-tracking method that is incorporated into the finite element heat and mass model (FEHM) computer code (Zyvoloski et al. 1997 [DIRS 100615]) to simulate radionuclide transport in the UZ. This report outlines the assumptions, design, and testing of a model for calculating radionuclide transport in the UZ at Yucca Mountain. In addition, methods for determining and inputting transport parameters are outlined for use in the TSPA for license application (LA) analyses. Process-level transport model calculations are documented in another report for the UZ (BSC 2004 [DIRS 164500]). Three-dimensional, dual-permeability flow fields generated to characterize UZ flow (documented by BSC 2004 [DIRS 169861]; DTN: LB03023DSSCP9I.001 [DIRS 163044]) are converted to make them compatible with the FEHM code for use in this abstraction model. This report establishes the numerical method and demonstrates the use of the model that is intended to represent UZ transport in the TSPA-LA. Capability of the UZ barrier for retarding the transport is demonstrated in this report, and by the underlying process model (BSC 2004 [DIRS 164500]). The technical scope, content, and management of this report are described in the planning document ''Technical Work Plan for: Unsaturated Zone Transport Model Report Integration'' (BSC 2004 [DIRS 171282]). Deviations from the technical work plan (TWP) are noted within the text of this report, as appropriate. The latest version of this document is being prepared principally to correct parameter values found to be in error due to transcription errors, changes in source data that were not captured in the report, calculation errors, and errors in interpretation of source data.

Particle Tracking Model and Abstraction of Transport Processes

International Nuclear Information System (INIS)

Robinson, B.

2004-01-01

The purpose of this report is to document the abstraction model being used in total system performance assessment (TSPA) model calculations for radionuclide transport in the unsaturated zone (UZ). The UZ transport abstraction model uses the particle-tracking method that is incorporated into the finite element heat and mass model (FEHM) computer code (Zyvoloski et al. 1997 [DIRS 100615]) to simulate radionuclide transport in the UZ. This report outlines the assumptions, design, and testing of a model for calculating radionuclide transport in the UZ at Yucca Mountain. In addition, methods for determining and inputting transport parameters are outlined for use in the TSPA for license application (LA) analyses. Process-level transport model calculations are documented in another report for the UZ (BSC 2004 [DIRS 164500]). Three-dimensional, dual-permeability flow fields generated to characterize UZ flow (documented by BSC 2004 [DIRS 169861]; DTN: LB03023DSSCP9I.001 [DIRS 163044]) are converted to make them compatible with the FEHM code for use in this abstraction model. This report establishes the numerical method and demonstrates the use of the model that is intended to represent UZ transport in the TSPA-LA. Capability of the UZ barrier for retarding the transport is demonstrated in this report, and by the underlying process model (BSC 2004 [DIRS 164500]). The technical scope, content, and management of this report are described in the planning document ''Technical Work Plan for: Unsaturated Zone Transport Model Report Integration'' (BSC 2004 [DIRS 171282]). Deviations from the technical work plan (TWP) are noted within the text of this report, as appropriate. The latest version of this document is being prepared principally to correct parameter values found to be in error due to transcription errors, changes in source data that were not captured in the report, calculation errors, and errors in interpretation of source data

Introduction to Analysis and Design of Plate Panels

DEFF Research Database (Denmark)

Jensen, Jørgen Juncher; Lützen, Marie

, composite materials as glass-fibre-reinforced plates, sandwich plates and reinforced concrete plates are not included as they are topics for other courses. The present notes are mainly based on Pedersen and Jensen (1983), written in Danish. The first version of the notes was prepared by Marie L......The present notes cover plate theory dealing with bending, vibrations, elastic buckling and ultimate strength. The plate structures considered are isotropic, orthotropic and stiffened plates made of metallic materials. The main objective of the notes is to give an introduction to plates and plate...... panels and to present some fairly easy methods and results to be used in the design phase to judge, whether a plate panel can be considered safe from a structural point of view or requires a more detailed numerical analysis, typically using the Finite Element Method. Furthermore, a short introduction...

The Introduction of Non-Verbal Communication in Greek Education: A Literature Review

Science.gov (United States)

Stamatis, Panagiotis J.

2012-01-01

Introduction: The introductory part of this paper underlines the research interest of the educational community in the issue of non-verbal communication in education. The question for the introduction of this scientific field in Greek education enter within the context of this research which include many aspects. Method: The paper essentially…

Exploiting the systematic review protocol for classification of medical abstracts.

Science.gov (United States)

Frunza, Oana; Inkpen, Diana; Matwin, Stan; Klement, William; O'Blenis, Peter

2011-01-01

To determine whether the automatic classification of documents can be useful in systematic reviews on medical topics, and specifically if the performance of the automatic classification can be enhanced by using the particular protocol of questions employed by the human reviewers to create multiple classifiers. The test collection is the data used in large-scale systematic review on the topic of the dissemination strategy of health care services for elderly people. From a group of 47,274 abstracts marked by human reviewers to be included in or excluded from further screening, we randomly selected 20,000 as a training set, with the remaining 27,274 becoming a separate test set. As a machine learning algorithm we used complement naïve Bayes. We tested both a global classification method, where a single classifier is trained on instances of abstracts and their classification (i.e., included or excluded), and a novel per-question classification method that trains multiple classifiers for each abstract, exploiting the specific protocol (questions) of the systematic review. For the per-question method we tested four ways of combining the results of the classifiers trained for the individual questions. As evaluation measures, we calculated precision and recall for several settings of the two methods. It is most important not to exclude any relevant documents (i.e., to attain high recall for the class of interest) but also desirable to exclude most of the non-relevant documents (i.e., to attain high precision on the class of interest) in order to reduce human workload. For the global method, the highest recall was 67.8% and the highest precision was 37.9%. For the per-question method, the highest recall was 99.2%, and the highest precision was 63%. The human-machine workflow proposed in this paper achieved a recall value of 99.6%, and a precision value of 17.8%. The per-question method that combines classifiers following the specific protocol of the review leads to better

Proceedings of the First NASA Formal Methods Symposium

Science.gov (United States)

Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)

2009-01-01

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Introduction to combinatorial designs

CERN Document Server

Wallis, WD

2007-01-01

Combinatorial theory is one of the fastest growing areas of modern mathematics. Focusing on a major part of this subject, Introduction to Combinatorial Designs, Second Edition provides a solid foundation in the classical areas of design theory as well as in more contemporary designs based on applications in a variety of fields. After an overview of basic concepts, the text introduces balanced designs and finite geometries. The author then delves into balanced incomplete block designs, covering difference methods, residual and derived designs, and resolvability. Following a chapter on the e

An introduction to optimization

CERN Document Server

Chong, Edwin K P

2013-01-01

Praise for the Third Edition "". . . guides and leads the reader through the learning path . . . [e]xamples are stated very clearly and the results are presented with attention to detail.""  -MAA Reviews  Fully updated to reflect new developments in the field, the Fourth Edition of Introduction to Optimization fills the need for accessible treatment of optimization theory and methods with an emphasis on engineering design. Basic definitions and notations are provided in addition to the related fundamental background for linear algebra, geometry, and calculus.  This new

INVENTORY ABSTRACTION

International Nuclear Information System (INIS)

Ragan, G.

2001-01-01

The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M andO 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 andO 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 contributors to the dose given a release

Methods to extract information on the atomic and molecular states from scientific abstracts

International Nuclear Information System (INIS)

Sasaki, Akira; Ueshima, Yutaka; Yamagiwa, Mitsuru; Murata, Masaki; Kanamaru, Toshiyuki; Shirado, Tamotsu; Isahara, Hitoshi

2005-01-01

We propose a new application of information technology to recognize and extract expressions of atomic and molecular states from electrical forms of scientific abstracts. Present results will help scientists to understand atomic states as well as the physics discussed in the articles. Combining with the internet search engines, it will make one possible to collect not only atomic and molecular data but broader scientific information over a wide range of research fields. (author)

Data Abstraction in GLISP.

Science.gov (United States)

Novak, Gordon S., Jr.

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

Nuclear code abstracts (1975 edition)

International Nuclear Information System (INIS)

Akanuma, Makoto; Hirakawa, Takashi

1976-02-01

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

Introduction to lattice gauge theories

International Nuclear Information System (INIS)

La Cock, P.

1988-03-01

A general introduction to Lattice Gauge Theory (LGT) is given. The theory is discussed from first principles to facilitate an understanding of the techniques used in LGT. These include lattice formalism, gauge invariance, fermions on the lattice, group theory and integration, strong coupling methods and mean field techniques. A review of quantum chromodynamics on the lattice at finite temperature and density is also given. Monte Carlo results and analytical methods are discussed. An attempt has been made to include most relevant data up to the end of 1987, and to update some earlier reviews existing on the subject. 224 refs., 33 figs., 14 tabs

An Introduction to Cognitive Musicology

DEFF Research Database (Denmark)

Haumann, Niels Trusbak

2015-01-01

This historical-scientific introduction to Cognitive Musicology introduces the 150 years of research and discoveries in the psychology of music that partly presuppose the more recent discipline of Cognitive Musicology. Atomistic, Gestalt, functionalist, testing, behaviorist, cognitive......, and neuroscience approaches to the psychological mechanisms underlying music are presented. Thus, it is argued that Cognitive Musicology is partly based on firm historical traditions in the psychology of music. Also discussed is the way in which the combination of interdisciplinary methods from the humanities...... and the natural sciences, which is integrated in Cognitive Musicology, may minimize the limitations of the separate humanities-based or natural science methods....

Formative research to shape HPV vaccine introduction strategies in Peru.

Science.gov (United States)

Bartolini, Rosario M; Drake, Jennifer Kidwell; Creed-Kanashiro, Hilary M; Díaz-Otoya, Margarita M; Mosqueira-Lovón, Nelly Rocío; Penny, Mary E; Winkler, Jennifer L; LaMontagne, D Scott; Bingham, Allison

2010-01-01

To understand the sociocultural environment, health systems' capacities, and policy processes related to cervical cancer and HPV vaccines in order to inform HPV vaccine introduction. Mixed-method formative research using qualitative and quantitative data collection techniques. Participants included girls, parents, community leaders, health and education officials, and policymakers. Respondents, including policymakers, generally supported HPV vaccine introduction, due partly to appreciation for the benefits of vaccination and the desire to prevent cancer. Community-level concerns regarding safety and quality of services will need to be addressed. The immunization system in Peru is strong and has capacity for including the HPV vaccine. Formative research provides key insights to help shape an effective program for HPV vaccine introduction.

An introduction to the measurement errors and data handling

International Nuclear Information System (INIS)

Rubio, J.A.

1979-01-01

Some usual methods to estimate and correlate measurement errors are presented. An introduction to the theory of parameter determination and goodness of the estimates is also presented. Some examples are discussed. (author)

Shoestring Budget Radio Astronomy (Abstract)

Science.gov (United States)

Hoot, J. E.

2017-12-01

(Abstract only) The commercial exploitation of microwave frequencies for cellular, WiFi, Bluetooth, HDTV, and satellite digital media transmission has brought down the cost of the components required to build an effective radio telescope to the point where, for the cost of a good eyepiece, you can construct and operate a radio telescope. This paper sets forth a family of designs for 1421 MHz telescopes. It also proposes a method by which operators of such instruments can aggregate and archive data via the Internet. With 90 or so instruments it will be possible to survey the entire radio sky for transients with a 24 hour cadence.

Bayesian methods for data analysis

CERN Document Server

Carlin, Bradley P.

2009-01-01

Approaches for statistical inference Introduction Motivating Vignettes Defining the Approaches The Bayes-Frequentist Controversy Some Basic Bayesian Models The Bayes approach Introduction Prior Distributions Bayesian Inference Hierarchical Modeling Model Assessment Nonparametric Methods Bayesian computation Introduction Asymptotic Methods Noniterative Monte Carlo Methods Markov Chain Monte Carlo Methods Model criticism and selection Bayesian Modeling Bayesian Robustness Model Assessment Bayes Factors via Marginal Density Estimation Bayes Factors

Biologically inspired optimization methods an introduction

CERN Document Server

Wahde, M

2008-01-01

The advent of rapid, reliable and cheap computing power over the last decades has transformed many, if not most, fields of science and engineering. The multidisciplinary field of optimization is no exception. First of all, with fast computers, researchers and engineers can apply classical optimization methods to problems of larger and larger size. In addition, however, researchers have developed a host of new optimization algorithms that operate in a rather different way than the classical ones, and that allow practitioners to attack optimization problems where the classical methods are either not applicable or simply too costly (in terms of time and other resources) to apply.This book is intended as a course book for introductory courses in stochastic optimization algorithms (in this book, the terms optimization method and optimization algorithm will be used interchangeably), and it has grown from a set of lectures notes used in courses, taught by the author, at the international master programme Complex Ada...

Is the Abstract a Mere Teaser? Evaluating Generosity of Article Abstracts in the Environmental Sciences

Directory of Open Access Journals (Sweden)

Liana Ermakova

2018-05-01

Full Text Available An abstract is not only a mirror of the full article; it also aims to draw attention to the most important information of the document it summarizes. Many studies have compared abstracts with full texts for their informativeness. In contrast to previous studies, we propose to investigate this relation based not only on the amount of information given by the abstract but also on its importance. The main objective of this paper is to introduce a new metric called GEM to measure the “generosity” or representativeness of an abstract. Schematically speaking, a generous abstract should have the best possible score of similarity for the sections important to the reader. Based on a questionnaire gathering information from 630 researchers, we were able to weight sections according to their importance. In our approach, seven sections were first automatically detected in the full text. The accuracy of this classification into sections was above 80% compared with a dataset of documents where sentences were assigned to sections by experts. Second, each section was weighted according to the questionnaire results. The GEM score was then calculated as a sum of weights of sections in the full text corresponding to sentences in the abstract normalized over the total sum of weights of sections in the full text. The correlation between GEM score and the mean of the scores assigned by annotators was higher than the correlation between scores from different experts. As a case study, the GEM score was calculated for 36,237 articles in environmental sciences (1930–2013 retrieved from the French ISTEX database. The main result was that GEM score has increased over time. Moreover, this trend depends on subject area and publisher. No correlation was found between GEM score and citation rate or open access status of articles. We conclude that abstracts are more generous in recent publications and cannot be considered as mere teasers. This research should be pursued

Introduction

DEFF Research Database (Denmark)

Seeberg, Peter

2015-01-01

states, the Introduction emphasizes the continued relevance of focusing on a repoliticized MENA reality. The Middle East is still on the move away from the established image of unshakeable authoritarianism attributed to the region, which made the upgrading authoritarianism paradigm seem forever relevant......The Introduction briefly presents the ideas behind this collection of articles, namely to analyze popular mobilization and the role of civil society, political parties, and regional organizations in relation to the developments in the Middle East and North Africa (MENA) over the last years......, and to discuss theoretical approaches and paradigms of relevance for the analysis of these new regional dynamics. The MENA region experienced, in connection with and following the Arab uprisings, a hitherto unseen popular mobilization. Despite the recent highly problematic situation in several Middle Eastern...

A practical introduction to tensor networks: Matrix product states and projected entangled pair states

Energy Technology Data Exchange (ETDEWEB)

Orús, Román, E-mail: roman.orus@uni-mainz.de

2014-10-15

This is a partly non-technical introduction to selected topics on tensor network methods, based on several lectures and introductory seminars given on the subject. It should be a good place for newcomers to get familiarized with some of the key ideas in the field, specially regarding the numerics. After a very general introduction we motivate the concept of tensor network and provide several examples. We then move on to explain some basics about Matrix Product States (MPS) and Projected Entangled Pair States (PEPS). Selected details on some of the associated numerical methods for 1d and 2d quantum lattice systems are also discussed. - Highlights: • A practical introduction to selected aspects of tensor network methods is presented. • We provide analytical examples of MPS and 2d PEPS. • We provide basic aspects on several numerical methods for MPS and 2d PEPS. • We discuss a number of applications of tensor network methods from a broad perspective.

Introduction to graph theory

CERN Document Server

Trudeau, Richard J

1994-01-01

Preface1. Pure Mathematics Introduction; Euclidean Geometry as Pure Mathematics; Games; Why Study Pure Mathematics?; What's Coming; Suggested Reading2. Graphs Introduction; Sets; Paradox; Graphs; Graph diagrams; Cautions; Common Graphs; Discovery; Complements and Subgraphs; Isomorphism; Recognizing Isomorphic Graphs; Semantics The Number of Graphs Having a Given nu; Exercises; Suggested Reading3. Planar Graphs Introduction; UG, K subscript 5, and the Jordan Curve Theorem; Are there More Nonplanar Graphs?; Expansions; Kuratowski's Theorem; Determining Whether a Graph is Planar or

Efficient abstraction selection in reinforcement learning

NARCIS (Netherlands)

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

2013-01-01

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

Indico CONFERENCE: Define the Call for Abstracts

CERN Multimedia

CERN. Geneva; Ferreira, Pedro

2017-01-01

In this tutorial, you will learn how to define and open a call for abstracts. When defining a call for abstracts, you will be able to define settings related to the type of questions asked during a review of an abstract, select the users who will review the abstracts, decide when to open the call for abstracts, and more.

Depression As A Cause of Suicide Abstract Introduction

African Journals Online (AJOL)

Frederick Iraki

disease that affects all people irrespective of their social status, educational ... Such students are prey to a number of concerns including: Adjusting in school ... problems can become chronic leading to substantial impairment of an ... To this end, universities tend to have orientation weeks to try and help the .... International.

24 Abstract Introduction Despite impressive progress made in ...

African Journals Online (AJOL)

Administrator

Development Inequalities in Osun State, Southwestern Nigeria. Dr. O.A. ... substantial proportion of the World's population remains in poverty and the gap between ... A fundamental objective of social and economic development of the new .... various LGAs now tend toward the state capital, Osogbo, for all civil matters, thus.

Hydrogen abstraction from n-butanol by the methyl radical: high level ab initio study of abstraction pathways and the importance of low energy rotational conformers.

Science.gov (United States)

Katsikadakos, D; Hardalupas, Y; Taylor, A M K P; Hunt, P A

2012-07-21

Hydrogen abstraction reactions by the methyl radical from n-butanol have been investigated at the ROCBS-QB3 level of theory. Reaction energies and product geometries for the most stable conformer of n-butanol (ROH) have been computed, the reaction energies order α channel more stable than the β-channel? Why do the two C(γ)-H H-abstraction TS differ in energy? The method and basis set dependence of the TS barriers is investigated. The Boltzmann probability distribution for the n-butanol conformers suggests that low energy conformers are present in approximately equal proportions to the most stable conformer at combustion temperatures where ĊH(3) radicals are present. Thus, the relative significance of the various H-abstraction channels has been assessed for a selection of higher energy conformers (ROH'). Key results include finding that higher energy n-butanol conformers (E(ROH') > E(ROH)) can generate lower energy product radicals, E(ROH') < E(ROH). Moreover, higher energy conformers can also have a globally competitive TS energy for H-abstraction.

13th Radiochemical Conference. Booklet of Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1998-04-01

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

13th Radiochemical Conference. Booklet of Abstracts

International Nuclear Information System (INIS)

1998-04-01

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

Abstracts of contributed papers

Energy Technology Data Exchange (ETDEWEB)

1994-08-01

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

Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms

KAUST Repository

Efendiev, Yalchin

2012-02-22

An abstract framework for constructing stable decompositions of the spaces corresponding to general symmetric positive definite problems into "local" subspaces and a global "coarse" space is developed. Particular applications of this abstract framework include practically important problems in porous media applications such as: the scalar elliptic (pressure) equation and the stream function formulation of its mixed form, Stokes\\' and Brinkman\\'s equations. The constant in the corresponding abstract energy estimate is shown to be robust with respect to mesh parameters as well as the contrast, which is defined as the ratio of high and low values of the conductivity (or permeability). The derived stable decomposition allows to construct additive overlapping Schwarz iterative methods with condition numbers uniformly bounded with respect to the contrast and mesh parameters. The coarse spaces are obtained by patching together the eigenfunctions corresponding to the smallest eigenvalues of certain local problems. A detailed analysis of the abstract setting is provided. The proposed decomposition builds on a method of Galvis and Efendiev [Multiscale Model. Simul. 8 (2010) 1461-1483] developed for second order scalar elliptic problems with high contrast. Applications to the finite element discretizations of the second order elliptic problem in Galerkin and mixed formulation, the Stokes equations, and Brinkman\\'s problem are presented. A number of numerical experiments for these problems in two spatial dimensions are provided. © EDP Sciences, SMAI, 2012.

Prediction method abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1994-12-31

This conference was held December 4--8, 1994 in Asilomar, California. The purpose of this meeting was to provide a forum for exchange of state-of-the-art information concerning the prediction of protein structure. Attention if focused on the following: comparative modeling; sequence to fold assignment; and ab initio folding.

Bayesian Networks An Introduction

CERN Document Server

Koski, Timo

2009-01-01

Bayesian Networks: An Introduction provides a self-contained introduction to the theory and applications of Bayesian networks, a topic of interest and importance for statisticians, computer scientists and those involved in modelling complex data sets. The material has been extensively tested in classroom teaching and assumes a basic knowledge of probability, statistics and mathematics. All notions are carefully explained and feature exercises throughout. Features include:.: An introduction to Dirichlet Distribution, Exponential Families and their applications.; A detailed description of learni

Air Pollution Translations: A Bibliography With Abstracts - Volume 1.

Science.gov (United States)

National Air Pollution Control Administration (DHEW), Washington, DC.

Cited are 558 references with abstracts translated from the original foreign languages, including 511 from Russian, 129 from German, and 18 from other countries. The entries are generally of a technical or advanced nature and are grouped into 13 subject areas: General, Emission Sources, Atmospheric Interaction, Measurement Methods, Control…

Biophysics an introduction

CERN Document Server

Cotteril, Rodney

2002-01-01

Biophysics: An Introduction, is a concise balanced introduction to this subject. Written in an accessible and readable style, the book takes a fresh, modern approach with the author successfully combining key concepts and theory with relevant applications and examples drawn from the field as a whole. Beginning with a brief introduction to the origins of biophysics, the book takes the reader through successive levels of complexity, from atoms to molecules, structures, systems and ultimately to the behaviour of organisms. The book also includes extensive coverage of biopolymers, biomembranes, biological energy, and nervous systems. The text not only explores basic ideas, but also discusses recent developments, such as protein folding, DNA/RNA conformations, molecular motors, optical tweezers and the biological origins of consciousness and intelligence.

Convex Hull Abstraction in Specialisation of CLP Programs

DEFF Research Database (Denmark)

Peralta, J.C.; Gallagher, John Patrick

2003-01-01

We introduce an abstract domain consisting of atomic formulas constrained by linear arithmetic constraints (or convex hulls). This domain is used in an algorithm for specialization of constraint logic programs. The algorithm incorporates in a single phase both top-down goal directed propagation...... and bottom-up answer propagation, and uses a widening on the convex hull domain to ensure termination. We give examples to show the precision gained by this approach over other methods in the literature for specializing constraint logic programs. The specialization method can also be used for ordinary logic...

The Magdeburg experiment. Abstracts of the DEGRO congress

International Nuclear Information System (INIS)

2010-01-01

The congress proceedings contain the abstracts concerning the following issues: side effects and support therapy; imaging methods and target volume; gastro-intestinal tumors: from esophagus to colon; psycho-oncology, alternatives and complementary methods; the old patient; mamma carcinomas; benign processes; studies and new concepts; hadron therapy and hyperthermia; (urogenital tumors/prostate, bladder); radiation biology, immunobiology; lymphomas, hematological diseases; precision irradiations and stereotaxis; pediatric tumors, sarcomas and seldom tumors; radiation physics and technology; gynecological tumors; malign brain/central nervous system tumors; publications, graduations and teaching; otolaryngological tumors; metastases treatment, palliative medicine; lung tumors; brachytherapy.

27 CFR 53.1 - Introduction.

Science.gov (United States)

2010-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Introduction. 53.1 Section... THE TREASURY (CONTINUED) FIREARMS MANUFACTURERS EXCISE TAXES-FIREARMS AND AMMUNITION Introduction § 53.1 Introduction. The regulations in this part (part 53, subchapter C, chapter I, title 27, Code of...

Removing the impact of water abstractions on flow duration curves

Science.gov (United States)

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

2015-04-01

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

Advance Organizers: Concret Versus Abstract.

Science.gov (United States)

Corkill, Alice J.; And Others

1988-01-01

Two experiments examined the relative effects of concrete and abstract advance organizers on students' memory for subsequent prose. Results of the experiments are discussed in terms of the memorability, familiarity, and visualizability of concrete and abstract verbal materials. (JD)

Impact of Rotavirus Vaccine Introduction and Postintroduction Etiology of Diarrhea Requiring Hospital Admission in Haydom, Tanzania, a Rural African Setting

Science.gov (United States)

Platts-Mills, James A.; Amour, Caroline; Gratz, Jean; Nshama, Rosemary; Walongo, Thomas; Mujaga, Buliga; Maro, Athanasia; McMurry, Timothy L; Liu, Jie; Mduma, Estomih; Houpt, Eric R

2017-01-01

Abstract Background No data are available on the etiology of diarrhea requiring hospitalization after rotavirus vaccine introduction in Africa. The monovalent rotavirus vaccine was introduced in Tanzania on 1 January 2013. We performed a vaccine impact and effectiveness study as well as a quantitative polymerase chain reaction (qPCR)–based etiology study at a rural Tanzanian hospital. Methods We obtained data on admissions among children <5 years to Haydom Lutheran Hospital between 1 January 2010 and 31 December 2015 and estimated the impact of vaccine introduction on all-cause diarrhea admissions. We then performed a vaccine effectiveness study using the test-negative design. Finally, we tested diarrheal specimens during 2015 by qPCR for a broad range of enteropathogens and calculated pathogen-specific attributable fractions (AFs). Results Vaccine introduction was associated with a 44.9% (95% confidence interval [CI], 17.6%–97.4%) reduction in diarrhea admissions in 2015, as well as delay of the rotavirus season. The effectiveness of 2 doses of vaccine was 74.8% (95% CI, –8.2% to 94.1%) using an enzyme immunoassay–based case definition and 85.1% (95% CI, 26.5%–97.0%) using a qPCR-based case definition. Among 146 children enrolled in 2015, rotavirus remained the leading etiology of diarrhea requiring hospitalization (AF, 25.8% [95% CI, 24.4%–26.7%]), followed by heat-stable enterotoxin-producing Escherichia coli (AF, 18.4% [95% CI, 12.9%–21.9%]), Shigella/enteroinvasive E. coli (AF, 14.5% [95% CI, 10.2%–22.8%]), and Cryptosporidium (AF, 7.9% [95% CI, 6.2%–9.3%]). Conclusions Despite the clear impact of vaccine introduction in this setting, rotavirus remained the leading etiology of diarrhea requiring hospitalization. Further efforts to maximize vaccine coverage and improve vaccine performance in these settings are warranted. PMID:28575304

Science Day 2005 Poster Abstracts: Nuclear Physics

International Nuclear Information System (INIS)

Kline, K.M.

2005-01-01

Abstracts for 11 posters are presented from the Nuclear Physics section. Titles and authors of the posters/abstracts are as follows: 'Fusion and fission: converting mass to energy' by Jeffery Latkowski, 'Studies of inertial confinement fusion targets wtih HYDRA' by Marty Marinak, 'Prospects for demonstrating ignition on the National Ignition Facility in 2010 with noncryogenic double-shell targets' by Peter Amendt, 'Exploring the fast-ignition approach to fusion energy' by Richard Town, 'Simulating the National Ignition Facility with arbitrary Langrangian Eulerian methods and adaptive grids' by Alice Koniges, 'New energy sources: extracting energy from radioisotope materials' by Jeff Morse, 'Production of superheavy elements' by Ken Moody and Josh Patten, 'Nuclear physics from scratch: ab initio description of nuclei with effective interaction' by Eric Ormand, 'Finding fission with scintillator and a stopwatch: statistical theory of fission chains' by Neal Snyderman, 'Mass to energy: how Einstein's equation is helping homeland security' by Jason Pruet, and 'Nuclear Car Wash' by Dennis Slaughter

Abstraction/Representation Theory for heterotic physical computing.

Science.gov (United States)

Horsman, D C

2015-07-28

We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. © 2015 The Author(s) Published by the Royal Society. All rights reserved.

42 CFR 413.1 - Introduction.

Science.gov (United States)

2010-10-01

... 42 Public Health 2 2010-10-01 2010-10-01 false Introduction. 413.1 Section 413.1 Public Health... PROSPECTIVELY DETERMINED PAYMENT RATES FOR SKILLED NURSING FACILITIES Introduction and General Rules § 413.1 Introduction. (a) Basis, scope, and applicability—(1) Statutory basis—(i) Basic provisions. (A) Section 1815 of...

Introduction

DEFF Research Database (Denmark)

Schubart, Rikke

2017-01-01

This special issue of the journal Refractory explores identity in the Penny Dreadful.The introduction introduces the show, themes and the six articles. In Season Two of television horror-drama, Penny Dreadful (Showtime/Sky, 2014-16), Ethan Chandler (Josh Hartnett), American sharpshooter and werew......This special issue of the journal Refractory explores identity in the Penny Dreadful.The introduction introduces the show, themes and the six articles. In Season Two of television horror-drama, Penny Dreadful (Showtime/Sky, 2014-16), Ethan Chandler (Josh Hartnett), American sharpshooter...... and werewolf, asks Vanessa Ives (Eva Green), a British heiress with supernatural powers and a troubled past, what happens when the monsters inside of them are released? She says: “We’re most who we are. Unrestrained. Ourselves.” Summing up a central concern of the series, she confirms the view of its creator...

Introduction to renewable energy

CERN Document Server

Nelson, Vaughn C

2011-01-01

IntroductionEnergy and SocietyTypes of EnergyRenewable EnergyAdvantages/DisadvantagesEconomicsGlobal WarmingOrder of Magnitude EstimatesGrowth (Exponential)SolutionsEnergyIntroductionDefinition of Energy and PowerHeatThermodynamicsEnergy Dilemma in Light of the Laws of ThermodynamicsUse of Fossil FuelsNuclearFinite ResourceSummarySunSolar PowerElectromagnetic SpectrumEnergy Balance of the EarthEarth-Sun MotionInsolationSolar ResourceGreenhouse EffectHeat Transfer and StorageIntroductionConductionConvectionRadiationThermal MassSeasonal Heating or CoolingThermal ComfortSolar Heating and CoolingB

Introduction to semiconductor manufacturing technology

CERN Document Server

2012-01-01

IC chip manufacturing processes, such as photolithography, etch, CVD, PVD, CMP, ion implantation, RTP, inspection, and metrology, are complex methods that draw upon many disciplines. [i]Introduction to Semiconductor Manufacturing Technologies, Second Edition[/i] thoroughly describes the complicated processes with minimal mathematics, chemistry, and physics; it covers advanced concepts while keeping the contents accessible to readers without advanced degrees. Designed as a textbook for college students, this book provides a realistic picture of the semiconductor industry and an in-depth discuss

Theory of viscoelasticity an introduction

CERN Document Server

Christensen, R

1982-01-01

Theory of Viscoelasticity: An Introduction, Second Edition discusses the integral form of stress strain constitutive relations. The book presents the formulation of the boundary value problem and demonstrates the separation of variables condition.The text describes the mathematical framework to predict material behavior. It discusses the problems to which integral transform methods do not apply. Another topic of interest is the thermoviscoelastic stress analysis. The section that follows describes the heat conduction, glass transition criterion, viscoelastic Rayleigh waves, optimal str

An introduction to magnetic resonance in medicine. 2. rev. ed.

International Nuclear Information System (INIS)

Rinck, P.A.; Muller, R.N.; Petersen, S.B.

1990-01-01

The second edition of this introduction to magnetic resonance in medicine is published five years after the first. During these years, magnetic resonance has established itself as a leading diagnostic modality in medicine. With the introduction of fast imaging methods and contrast agents, magnetic resonance imaging (MRI) and magnetic resonance spectroscopy (MRS) have become even more complicated and complex than before. The purpose of this introduction to biomedical MRI and MRS is to give the readers a basic knowledge that will make it possible for them to pursue studies of their own and to cope with some of the most common problems such as image artifacts or patient questions concerning possible hazards of magnetic resonance. (orig./MG) With 99 figs., 11 tabs

Informing the introduction of contraceptive implants in the Pacific: a mixed methods study of contraceptive beliefs and behaviours in Tonga.

Science.gov (United States)

Winn-Dix, Edward A; Nathan, Sally A; Rawstorne, Patrick

2016-04-01

To explore the knowledge and attitudes underlying contraceptive use and non-use among Tongan adults and investigate the potential acceptability of contraceptive implants. A mixed methods study was conducted that used two focus groups and a short self-completed survey (n=109). Participants were recruited from a Tongan non-governmental sexual and reproductive health clinic. Contraceptive method discontinuation was high among the study group, with reasons for discontinuation often relating to misconceptions circulating in the community about the side effects of contraceptives. A high proportion (38%) reported using 'natural' contraceptive methods. A total of 47% of survey participants reported having heard of implants and 37% indicated they would be willing to try them. Current Tongan contraceptive uptake and continuation is hampered by misconceptions about side effects of methods and their risks, particularly among long-acting and reversible methods. Contraceptive implants may be acceptable to Tongans given their arm placement, reversibility and long-lasting effect. Efforts to improve contraceptive continuation in Tonga should focus on improving counselling on potential side effects for all methods. The introduction of contraceptive implants as an additional long-acting reversible method should be considered. © 2015 Public Health Association of Australia.

Decreasing incidence of peptic ulcer complications after the introduction of the proton pump inhibitors, a study of the Swedish population from 1974–2002

Directory of Open Access Journals (Sweden)

Ranstam Jonas

2009-04-01

Full Text Available Abstract Background Despite a decreasing incidence of peptic ulcer disease, most previous studies report a stabile incidence of ulcer complications. We wanted to investigate the incidence of peptic ulcer complications in Sweden before and after the introduction of the proton pump inhibitors (PPI in 1988 and compare these data to the sales of non-steroid anti-inflammatory drugs (NSAID and acetylsalicylic acid (ASA. Methods All cases of gastric and duodenal ulcer complications diagnosed in Sweden from 1974 to 2002 were identified using the National hospital discharge register. Information on sales of ASA/NSAID was obtained from the National prescription survey. Results When comparing the time-periods before and after 1988 we found a significantly lower incidence of peptic ulcer complications during the later period for both sexes (p Conclusion When comparing the periods before and after the introduction of the proton pump inhibitors we found a significant decrease in the incidence of peptic ulcer complications in the Swedish population after 1988 when PPI were introduced on the market. The cause of this decrease is most likely multifactorial, including smoking habits, NSAID consumption, prevalence of Helicobacter pylori and the introduction of PPI. Sales of prescribed NSAID/ASA increased, especially in middle-aged and elderly women. This fact seems to have had little effect on the incidence of peptic ulcer complications.

Existential Dimensions in the Socio-Legal Sphere: Introduction

Directory of Open Access Journals (Sweden)

Ronnie Lippens

2015-09-01

Full Text Available This introduction addresses the relevance of existentialist philosophy for understanding the indeterminacies and instabilities of late-modern society. Whilst existentialist thought is often misunderstood and subsequently unexplored, all the contributors to this special edition accept the basic premise that human existence is inescapably contingent and indeterminate. This introduction provides a short overview of the articles and reflects on themes such as destabilization and reintegration. All the articles are based on contributions to the workshop 'Law, Jurisprudence, Governance and Existential Indeterminacy', held at the International Institute for the Sociology of Law, Onati, Spain, 23-24 May 2013. Esta introducción aborda la relevancia de la filosofía existencialista para comprender las indeterminaciones e inestabilidades de la sociedad tardía. Aunque a menudo el pensamiento existencialista se ha malentendido y por consiguiente, no se ha explorado, todos los participantes de este número especial aceptan la premisa básica de que la existencia humana es ineludiblemente contingente e indeterminada. Esta introducción ofrece un breve resumen de los artículos y reflexiona sobre temas como la desestabilización y reintegración. Todos los artículos se basan en las presentaciones del workshop 'Law, Jurisprudence, Governance and Existential Indeterminacy', celebrado en el Instituto Internacional de Sociología Jurídica, Onati, España, los días 23-24 de mayo de 2013. DOWNLOAD THIS PAPER FROM SSRN: http://ssrn.com/abstract=2619387

Psychological effects and epistemological education through mathematics "abstraction" and "construction"

Directory of Open Access Journals (Sweden)

Aurel Pera

2015-10-01

Full Text Available This study is part of a broader research which will be found in future work, Psychology and epistemology of mathematical creation, complementary work of experimental research psychology mathematics, whose investigative approach, promoting the combination type cross section paradigms and quantitative methods and qualitative and comparative method and the analytic-synthetic, based on the following idea: to make learning as efficient, contents and methods must be appropriate to the individual particularities of the pupils, a measure of the balance between converging and diverging dosing tasks as a promising opening to the transition from education proficiency in math performance. At this juncture, mathematical existence as ontological approach against the background of a history of "abstraction" mathematical and theoretical observations on the abstraction, realization and other mathematical thought processes, explanatory approach fulfills the context in which s mathematics constituted an important factor in psychological and methodological perspective, in a context of maximizing the educational effectiveness that depends on the quality of the methods used in teaching, focused on knowledge of the general principles of psycho-didactics not only mathematical and mental organization individual student or knowledge of the factors that make possible psycho-educational learning process.

Automata Learning through Counterexample Guided Abstraction Refinement

DEFF Research Database (Denmark)

Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

2012-01-01

to a small set of abstract events that can be handled by automata learning tools. In this article, we show how such abstractions can be constructed fully automatically for a restricted class of extended finite state machines in which one can test for equality of data parameters, but no operations on data...... are allowed. Our approach uses counterexample-guided abstraction refinement: whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using Tomte, a prototype tool implementing our algorithm, we have succeeded to learn – fully......Abstraction is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct models of software components, researchers manually define abstractions which, depending on the history, map a large set of concrete events...

Modern survey sampling

CERN Document Server

Chaudhuri, Arijit

2014-01-01

Exposure to SamplingAbstract Introduction Concepts of Population, Sample, and SamplingInitial RamificationsAbstract Introduction Sampling Design, Sampling SchemeRandom Numbers and Their Uses in Simple RandomSampling (SRS)Drawing Simple Random Samples with and withoutReplacementEstimation of Mean, Total, Ratio of Totals/Means:Variance and Variance EstimationDetermination of Sample SizesA.2 Appendix to Chapter 2 A.More on Equal Probability Sampling A.Horvitz-Thompson EstimatorA.SufficiencyA.LikelihoodA.Non-Existence Theorem More Intricacies Abstract Introduction Unequal Probability Sampling StrategiesPPS Sampling Exploring Improved WaysAbstract Introduction Stratified Sampling Cluster SamplingMulti-Stage SamplingMulti-Phase Sampling: Ratio and RegressionEstimationviiviii ContentsControlled SamplingModeling Introduction Super-Population ModelingPrediction Approach Model-Assisted Approach Bayesian Methods Spatial SmoothingSampling on Successive Occasions: Panel Rotation Non-Response and Not-at-Homes Weighting Adj...

Full-text publication of abstracts presented at European Orthodontic Society congresses.

Science.gov (United States)

Livas, Christos; Pandis, Nikolaos; Ren, Yijin

2014-10-01

Empirical evidence has indicated that only a subsample of studies conducted reach full-text publication and this phenomenon has become known as publication bias. A form of publication bias is the selectively delayed full publication of conference abstracts. The objective of this article was to examine the publication status of oral abstracts and poster-presentation abstracts, included in the scientific program of the 82nd and 83rd European Orthodontic Society (EOS) congresses, held in 2006 and 2007, and to identify factors associated with full-length publication. A systematic search of PubMed and Google Scholar databases was performed in April 2013 using author names and keywords from the abstract title to locate abstract and full-article publications. Information regarding mode of presentation, type of affiliation, geographical origin, statistical results, and publication details were collected and analyzed using univariable and multivariable logistic regression. Approximately 51 per cent of the EOS 2006 and 55 per cent of the EOS 2007 abstracts appeared in print more than 5 years post congress. A mean period of 1.32 years elapsed between conference and publication date. Mode of presentation (oral or poster), use of statistical analysis, and research subject area were significant predictors for publication success. Inherent discrepancies of abstract reporting, mainly related to presentation of preliminary results and incomplete description of methods, may be considered in analogous studies. On average 52.2 per cent of the abstracts presented at the two EOS conferences reached full publication. Abstracts presented orally, including statistical analysis, were more likely to get published. © The Author 2013. Published by Oxford University Press on behalf of the European Orthodontic Society. All rights reserved. For permissions, please email: journals.permissions@oup.com.

Introduction to AdS/CFT correspondence

CERN Document Server

Nastase, Horatiu

2015-01-01

Providing a pedagogical introduction to the rapidly developing field of AdS/CFT correspondence, this is one of the first texts to provide an accessible introduction to all the necessary concepts needed to engage with the methods, tools and applications of AdS/CFT. Without assuming anything beyond an introductory course in quantum field theory, it begins by guiding the reader through the basic concepts of field theory and gauge theory, general relativity, supersymmetry, supergravity, string theory and conformal field theory, before moving on to give a clear and rigorous account of AdS/CFT correspondence. The final section discusses the more specialised applications, including QCD, quark-gluon plasma and condensed matter. This book is self-contained and learner-focused, featuring numerous exercises and examples. It is essential reading for both students and researchers across the fields of particle, nuclear and condensed matter physics.

Analysis of complex networks using aggressive abstraction.

Energy Technology Data Exchange (ETDEWEB)

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

2008-10-01

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

Introduction

DEFF Research Database (Denmark)

Petersen, Nils Holger; Sandbeck, Lars; Solten, Therese Bering

2013-01-01

Introduction to the Special Issue of Literature and Theology publishing articles based on selected papers from the international conference of the International Society for Religion, Literature and Culture (ISRLC) conference held at the Theological Faculty of the University of Copenhagen 19...

A theoretical introduction to numerical analysis

CERN Document Server

Ryaben'kii, Victor S

2006-01-01

PREFACE ACKNOWLEDGMENTS INTRODUCTION Discretization Conditioning Error On Methods of Computation INTERPOLATION OF FUNCTIONS. QUADRATURES ALGEBRAIC INTERPOLATION Existence and Uniqueness of Interpolating Polynomial Classical Piecewise Polynomial Interpolation Smooth Piecewise Polynomial Interpolation (Splines) Interpolation of Functions of Two Variables TRIGONOMETRIC INTERPOLATION Interpolation of Periodic Functions Interpolation of Functions on an Interval. Relation between Algebraic and Trigonometric Interpolation COMPUTATION OF DEFINITE INTEGRALS. QUADRATURES Trapezoidal Rule, Simpson's Formula, and the Like Quadrature Formulae with No Saturation. Gaussian Quadratures Improper Integrals. Combination of Numerical and Analytical Methods Multiple Integrals SYSTEMS OF SCALAR EQUATIONS SYSTEMS OF LINEAR ALGEBRAIC EQUATIONS: DIRECT METHODS Different Forms of Consistent Linear Systems Linear Spaces, Norms, and Operators Conditioning of Linear Systems Gaussian Elimination and Its Tri-Diag...

Two-proton correlation function: a gentle introduction

International Nuclear Information System (INIS)

Deloff, A.

2007-01-01

The recent COSY-11 collaboration measurement of the two-proton correlation function in the pp→ppη reaction, reported at this meeting [1], arouse some interest in a simple theoretical description of the correlation function. In these notes we present a pedagogical introduction to the practical methods that can be used for calculating the correlation function

Argonne Code Center: compilation of program abstracts

Energy Technology Data Exchange (ETDEWEB)

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

1976-08-01

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

Argonne Code Center: compilation of program abstracts

International Nuclear Information System (INIS)

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

Introduction to quantum mechanics

CERN Document Server

Phillips, A C

2003-01-01

Introduction to Quantum Mechanics is an introduction to the power and elegance of quantum mechanics. Assuming little in the way of prior knowledge, quantum concepts are carefully and precisely presented, and explored through numerous applications and problems. Some of the more challenging aspects that are essential for a modern appreciation of the subject have been included, but are introduced and developed in the simplest way possible.Undergraduates taking a first course on quantum mechanics will find this text an invaluable introduction to the field and help prepare them for more adv

An introduction to Bayesian statistics in health psychology

NARCIS (Netherlands)

Depaoli, Sarah; Rus, Holly; Clifton, James; van de Schoot, A.G.J.; Tiemensma, Jitske

2017-01-01

The aim of the current article is to provide a brief introduction to Bayesian statistics within the field of Health Psychology. Bayesian methods are increasing in prevalence in applied fields, and they have been shown in simulation research to improve the estimation accuracy of structural equation

A critical analysis of publication rates of national oncology meeting abstracts in Turkey

Directory of Open Access Journals (Sweden)

S. Kilickap

2018-04-01

Full Text Available Purpose: In this study our aim is to analyze the publication rates of abstracts, which were presented between 2006 and 2011 years in biennial National Cancer Meeting of Turkey (NCM and Turkish Medical Oncology Society Meeting (TMOSM and to determine the timely change of publication rates and to predict the quality of the abstracts. Methods: All abstracts, which are either accepted as podium or poster presentations in NCM and TMOM between 2006 and 2011, are extracted. Subsequent publication rate of those abstracts were defined by searching PubMed and Turkish Medical Index. Results: Between 2006 and 2011, overall 2451 abstracts were presented in annual NC and TMOS meetings. Of these 2451 abstracts, 286 of them (11.7% were published in consecutive years. Median publication interval was 11 months. While 28 of 286 (9.8% abstracts were published in national journals, 258 of them (90.2% were published in international journals. 97 of a total of 424 podium presentations (22.9% were published. The publication rate was correlated with the type of presentation (OP vs. PP: 22.9% vs. 9.3%, p < 0.001. The highest publication rate was for prospective studies (%14.4. Majority of abstracts (53.1% were published in journals indexed within the science citation index (SCI. Rest of the published abstracts were in index of SCI-expanded. Conclusions: Non-publication of research abstracts is a problem for 88.3% of abstracts of this study. The data presented in this study should lead abstract authors to criticize themselves and find a way to improve their study quality. Keywords: Abstract, Full-text, Manuscript, Peer-review, Publication rate

Abstract Objects of Verbs

DEFF Research Database (Denmark)

Robering, Klaus

2014-01-01

Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which these obj......Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... these objects represent non-objectual entities in contexts from which they are excluded by type restrictions. Thus these objects are "abstract'' in a functional rather than in an ontological sense: they function as representatives of other entities but they are otherwise quite normal objects. Three examples...

Environmental Psychology: An Introduction

NARCIS (Netherlands)

Steg, L.; Berg, van den A.E.; Groot, de J.I.M.

2012-01-01

Environmental Psychology: An Introduction offers a research-based introduction to the psychological relationship between humans and their built and natural environments and discusses how sustainable environments can be created to the benefit of both people and nature •Explores the environment's

Argonne Code Center: compilation of program abstracts

Energy Technology Data Exchange (ETDEWEB)

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

1977-08-01

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

Argonne Code Center: compilation of program abstracts

International Nuclear Information System (INIS)

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

Abstract concepts in grounded cognition

NARCIS (Netherlands)

Lakens, D.

2010-01-01

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

Introduction

DEFF Research Database (Denmark)

Pop, Paul; Alistar, Mirela; Stuart, Elena

2015-01-01

This chapter presents an introduction to the microfluidics field and microfluidic biochips. We discuss the main fluid propulsion principles used by modern microfluidic platforms, with a focus on “digital” microfluidic biochips, which are the topic of this book. Digital microfluidic biochips...

Introduction

DEFF Research Database (Denmark)

Bandak, Andreas; Janeja, Manpreet Kaur

2018-01-01

This introduction foregrounds waiting as a central analytical category to make way for ethnographic attention to uncertain interplays between doubting and hoping. Using a range of focused ethnographies which explore the centrality of waiting in social life, it offers a critical lens...

Book of Abstracts

International Nuclear Information System (INIS)

2013-06-01

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

Introduction to information retrieval

CERN Document Server

Manning, Christopher D; Schütze, Hinrich

2008-01-01

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using examples and figures, making it perfect for introductory courses in information retrieval for advanced undergraduates and graduate students in computer science. Based on feedback from extensive classroom experience, the book has been carefully structured in order to make teaching more natural and effective. Slides and additional exercises (with solutions for lecturers) are also available through the book's supporting website to help course instructors prepare their lectures.

Ghana Science Abstracts

International Nuclear Information System (INIS)

Entsua-Mensah, C.

2004-01-01

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

Introduction to thermoelectricity

CERN Document Server

Goldsmid, H Julian

2010-01-01

Introduction to Thermoelectricity is the latest work by Professor Julian Goldsmid drawing on his 55 years experience in the field. The theory of the thermoelectric and related phenomena is presented in sufficient detail to enable researchers to understand their observations and develop improved thermoelectric materials. The methods for the selection of materials and their improvement are discussed. Thermoelectric materials for use in refrigeration and electrical generation are reviewed. Experimental techniques for the measurement of properties and for the production of thermoelements are described. Special emphasis is placed on nanotechnology which promises to yield great improvements in the efficiency of thermoelectric devices. Chapters are also devoted to transverse thermoelectric effects and thermionic energy conversion, both techniques offering the promise of important applications in the future.

Building Safe Concurrency Abstractions

DEFF Research Database (Denmark)

Madsen, Ole Lehrmann

2014-01-01

Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized into the no......Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized...

Explorations in computing an introduction to computer science

CERN Document Server

Conery, John S

2010-01-01

Introduction Computation The Limits of Computation Algorithms A Laboratory for Computational ExperimentsThe Ruby WorkbenchIntroducing Ruby and the RubyLabs environment for computational experimentsInteractive Ruby Numbers Variables Methods RubyLabs The Sieve of EratosthenesAn algorithm for finding prime numbersThe Sieve Algorithm The mod Operator Containers Iterators Boolean Values and the delete if Method Exploring the Algorithm The sieve Method A Better Sieve Experiments with the Sieve A Journey of a Thousand MilesIteration as a strategy for solving computational problemsSearching and Sortin

Generalized multivalued equilibrium-like problems: auxiliary principle technique and predictor-corrector methods

Directory of Open Access Journals (Sweden)

Vahid Dadashi

2016-02-01

Full Text Available Abstract This paper is dedicated to the introduction a new class of equilibrium problems named generalized multivalued equilibrium-like problems which includes the classes of hemiequilibrium problems, equilibrium-like problems, equilibrium problems, hemivariational inequalities, and variational inequalities as special cases. By utilizing the auxiliary principle technique, some new predictor-corrector iterative algorithms for solving them are suggested and analyzed. The convergence analysis of the proposed iterative methods requires either partially relaxed monotonicity or jointly pseudomonotonicity of the bifunctions involved in generalized multivalued equilibrium-like problem. Results obtained in this paper include several new and known results as special cases.

Introduction to the functional renormalization group

International Nuclear Information System (INIS)

Kopietz, Peter; Bartosch, Lorenz; Schuetz, Florian

2010-01-01

This book, based on a graduate course given by the authors, is a pedagogic and self-contained introduction to the renormalization group with special emphasis on the functional renormalization group. The functional renormalization group is a modern formulation of the Wilsonian renormalization group in terms of formally exact functional differential equations for generating functionals. In Part I the reader is introduced to the basic concepts of the renormalization group idea, requiring only basic knowledge of equilibrium statistical mechanics. More advanced methods, such as diagrammatic perturbation theory, are introduced step by step. Part II then gives a self-contained introduction to the functional renormalization group. After a careful definition of various types of generating functionals, the renormalization group flow equations for these functionals are derived. This procedure is shown to encompass the traditional method of the mode elimination steps of the Wilsonian renormalization group procedure. Then, approximate solutions of these flow equations using expansions in powers of irreducible vertices or in powers of derivatives are given. Finally, in Part III the exact hierarchy of functional renormalization group flow equations for the irreducible vertices is used to study various aspects of non-relativistic fermions, including the so-called BCS-BEC crossover, thereby making the link to contemporary research topics. (orig.)

Stochastic abstract policies: generalizing knowledge to improve reinforcement learning.

Science.gov (United States)

Koga, Marcelo L; Freire, Valdinei; Costa, Anna H R

2015-01-01

Reinforcement learning (RL) enables an agent to learn behavior by acquiring experience through trial-and-error interactions with a dynamic environment. However, knowledge is usually built from scratch and learning to behave may take a long time. Here, we improve the learning performance by leveraging prior knowledge; that is, the learner shows proper behavior from the beginning of a target task, using the knowledge from a set of known, previously solved, source tasks. In this paper, we argue that building stochastic abstract policies that generalize over past experiences is an effective way to provide such improvement and this generalization outperforms the current practice of using a library of policies. We achieve that contributing with a new algorithm, AbsProb-PI-multiple and a framework for transferring knowledge represented as a stochastic abstract policy in new RL tasks. Stochastic abstract policies offer an effective way to encode knowledge because the abstraction they provide not only generalizes solutions but also facilitates extracting the similarities among tasks. We perform experiments in a robotic navigation environment and analyze the agent's behavior throughout the learning process and also assess the transfer ratio for different amounts of source tasks. We compare our method with the transfer of a library of policies, and experiments show that the use of a generalized policy produces better results by more effectively guiding the agent when learning a target task.

I. Central Europe Symposium of Radiographers. Abstracts

International Nuclear Information System (INIS)

1996-08-01

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

I. Central Europe Symposium of Radiographers. Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1996-11-01

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

Introduction

NARCIS (Netherlands)

Dieci, R.; He, X.-Z.; Hommes, C.; Dieci, R.; He, X.-Z.; Hommes, C.

2014-01-01

This introduction summarises the main contributions of 18 chapters in this book, in addition to two articles (Part I) reflecting Carl's view on a broad range of research-related issues originally published in Italian. The contributed chapters cover the latest developments in Nonlinear Economic

Introduction

DEFF Research Database (Denmark)

Gjerdrum Pedersen, Esben Rahbek; Thusgaard Pedersen, Janni

2013-01-01

An introduction is presented in which the editors discuss various reports within the issue on topics including the shared value concept in the education and business, the role of corporate foundations in establishing cross-sector partnerships, and the mechanisms of governance in the cross...

Air Pollution Publications, A Selected Bibliography With Abstracts, 1966-1968.

Science.gov (United States)

National Air Pollution Control Administration (DHEW), Washington, DC.

Contained are over 1000 entries with abstracts spanning the literature from 1966 to 1968. The references are grouped into broad subject categories: emission sources; atmospheric interactions; measurement; control methods; biosciences and medicine; plants; materials deterioration; air quality; legal and administrative aspects; social aspects; basic…

Hydrogen abstraction reactions by amide electron adducts

International Nuclear Information System (INIS)

Sevilla, M.D.; Sevilla, C.L.; Swarts, S.

1982-01-01

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

Automatically identifying gene/protein terms in MEDLINE abstracts.

Science.gov (United States)

Yu, Hong; Hatzivassiloglou, Vasileios; Rzhetsky, Andrey; Wilbur, W John

2002-01-01

Natural language processing (NLP) techniques are used to extract information automatically from computer-readable literature. In biology, the identification of terms corresponding to biological substances (e.g., genes and proteins) is a necessary step that precedes the application of other NLP systems that extract biological information (e.g., protein-protein interactions, gene regulation events, and biochemical pathways). We have developed GPmarkup (for "gene/protein-full name mark up"), a software system that automatically identifies gene/protein terms (i.e., symbols or full names) in MEDLINE abstracts. As a part of marking up process, we also generated automatically a knowledge source of paired gene/protein symbols and full names (e.g., LARD for lymphocyte associated receptor of death) from MEDLINE. We found that many of the pairs in our knowledge source do not appear in the current GenBank database. Therefore our methods may also be used for automatic lexicon generation. GPmarkup has 73% recall and 93% precision in identifying and marking up gene/protein terms in MEDLINE abstracts. A random sample of gene/protein symbols and full names and a sample set of marked up abstracts can be viewed at http://www.cpmc.columbia.edu/homepages/yuh9001/GPmarkup/. Contact. hy52@columbia.edu. Voice: 212-939-7028; fax: 212-666-0140.

Footing the bill: the introduction of Medicare Benefits Schedule rebates for podiatry services in Australia

Directory of Open Access Journals (Sweden)

Short Anthony J

2009-12-01

Full Text Available Abstract The introduction of Medicare Benefits Schedule items for allied health professionals in 2004 was a pivotal event in the public funding of non-medical primary care services. This commentary seeks to provide supplementary discussion of the article by Menz (Utilisation of podiatry services in Australia under the Medicare Enhanced Primary Care program, 2004-2008 Journal of Foot and Ankle Research 2009, 2:30, by placing these findings within the context of the podiatry profession, clinical decision making and the broader health workforce and government policy.

Introduction

NARCIS (Netherlands)

Salverda, W.; Nolan, B.; Checchi, D.; Marx, I.; McKnight, A.; Tóth, I.G.; van de Werfhorst, H.; Salverda, W.; Nolan, B.; Checchi, D.; Marx, I.; McKnight, A.; Tóth, I.G.; van de Werfhorst, H.

2014-01-01

This chapter provides the introduction to a collection of 11 comparative chapters and a concluding chapter which, based on 30 country studies (25 European, USA, Canada, Australia, Japan, Korea; reported in the companion volume Nolan et al. 2013), look at the evolution of inequalities, their social

Implementation of Markerless Augmented Reality Technology Based on Android to Introduction Lontara in Marine Society

Science.gov (United States)

Jumarlis, Mila; Mirfan, Mirfan

2018-05-01

Local language learning had been leaving by people especially young people had affected technology advances so that involved lack of interest to learn culture especially local language. So required interactive and interest learning media for introduction Lontara. This research aims to design and implement augmented reality on introduction Lontara on mobile device especially android. Application of introduction Lontara based on Android was designed by Vuforia and Unity. Data collection method were observation, interview, and literature review. That data was analysed for being information. The system was designed by Unified Modeling Language (UML). The method used is a marker. The test result found that application of Augmented Reality on introduction Lontara based on Android could improve public interest for introducing local language particularly young people in learning about Lontara because of using technology. Application of introduction of Lontara based on Android used augmented reality occurred sound and how to write Lontara with animation. This application could be running without an internet connection, so that its used more efficient and could maximize from user.

Prospects for the introduction of HTR's: economical and environmental aspects

Energy Technology Data Exchange (ETDEWEB)

NONE

1972-05-03

The working paper describes the economic and environmental aspects related to the introduction of HTRs into the marketplace. The calculation methods available at ISPRA are noted, and the programme for 1972 is outlined.

Eleventh international conference on boron chemistry. Programme and abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

2002-07-01

Abstracts of reports at the Eleventh International Conference on Boron Chemistry are presented. Born chemistry as a connecting bridge between many fields maintains one of the leading positions in modern chemistry. Methods of synthesis of different boron compounds, properties of the compounds, their use in other regions of chemistry and medicine are widely presented in reports.

Eleventh international conference on boron chemistry. Programme and abstracts

International Nuclear Information System (INIS)

2002-01-01

Abstracts of reports at the Eleventh International Conference on Boron Chemistry are presented. Born chemistry as a connecting bridge between many fields maintains one of the leading positions in modern chemistry. Methods of synthesis of different boron compounds, properties of the compounds, their use in other regions of chemistry and medicine are widely presented in reports [ru

Abstraction of iodine from aromatic iodides by alkyl radicals: steric and electronic effects.

Science.gov (United States)

Dolenc, Darko; Plesnicar, Bozo

2006-10-13

Abstraction of the iodine atom from aryl iodides by alkyl radicals takes place in some cases very efficiently despite the unfavorable difference in bond dissociation energies of C-I bonds in alkyl and aryl iodides. The abstraction is most efficient in iodobenzenes, ortho-substituted with bulky groups. The ease of abstraction can be explained by the release of steric strain during the elimination of the iodine atom. The rate of abstraction correlates fairly well with the strain energy, calculated by density functional theory (DFT) and Hartree-Fock (HF) methods as a difference in the total energy of ortho and para isomers. However, besides the steric bulk, the presence of some other functional groups in an ortho substituent also influences the rate. The stabilization of the transition state, resembling a 9-I-2 iodanyl radical, by electron-withdrawing groups seems to explain a positive sign of the Hammett rho value in the radical abstraction of halogen atoms.

Temporal abstraction and temporal Bayesian networks in clinical domains: a survey.

Science.gov (United States)

Orphanou, Kalia; Stassopoulou, Athena; Keravnou, Elpida

2014-03-01

Temporal abstraction (TA) of clinical data aims to abstract and interpret clinical data into meaningful higher-level interval concepts. Abstracted concepts are used for diagnostic, prediction and therapy planning purposes. On the other hand, temporal Bayesian networks (TBNs) are temporal extensions of the known probabilistic graphical models, Bayesian networks. TBNs can represent temporal relationships between events and their state changes, or the evolution of a process, through time. This paper offers a survey on techniques/methods from these two areas that were used independently in many clinical domains (e.g. diabetes, hepatitis, cancer) for various clinical tasks (e.g. diagnosis, prognosis). A main objective of this survey, in addition to presenting the key aspects of TA and TBNs, is to point out important benefits from a potential integration of TA and TBNs in medical domains and tasks. The motivation for integrating these two areas is their complementary function: TA provides clinicians with high level views of data while TBNs serve as a knowledge representation and reasoning tool under uncertainty, which is inherent in all clinical tasks. Key publications from these two areas of relevance to clinical systems, mainly circumscribed to the latest two decades, are reviewed and classified. TA techniques are compared on the basis of: (a) knowledge acquisition and representation for deriving TA concepts and (b) methodology for deriving basic and complex temporal abstractions. TBNs are compared on the basis of: (a) representation of time, (b) knowledge representation and acquisition, (c) inference methods and the computational demands of the network, and (d) their applications in medicine. The survey performs an extensive comparative analysis to illustrate the separate merits and limitations of various TA and TBN techniques used in clinical systems with the purpose of anticipating potential gains through an integration of the two techniques, thus leading to a

Scientific meeting abstracts

International Nuclear Information System (INIS)

1999-01-01

The document is a collection of the scientific meeting abstracts in the fields of nuclear physics, medical sciences, chemistry, agriculture, environment, engineering, different aspects of energy and presents research done in 1999 in these fields

Verifying large modular systems using iterative abstraction refinement

International Nuclear Information System (INIS)

Lahtinen, Jussi; Kuismin, Tuomas; Heljanko, Keijo

2015-01-01

Digital instrumentation and control (I&C) systems are increasingly used in the nuclear engineering domain. The exhaustive verification of these systems is challenging, and the usual verification methods such as testing and simulation are typically insufficient. Model checking is a formal method that is able to exhaustively analyse the behaviour of a model against a formally written specification. If the model checking tool detects a violation of the specification, it will give out a counter-example that demonstrates how the specification is violated in the system. Unfortunately, sometimes real life system designs are too big to be directly analysed by traditional model checking techniques. We have developed an iterative technique for model checking large modular systems. The technique uses abstraction based over-approximations of the model behaviour, combined with iterative refinement. The main contribution of the work is the concrete abstraction refinement technique based on the modular structure of the model, the dependency graph of the model, and a refinement sampling heuristic similar to delta debugging. The technique is geared towards proving properties, and outperforms BDD-based model checking, the k-induction technique, and the property directed reachability algorithm (PDR) in our experiments. - Highlights: • We have developed an iterative technique for model checking large modular systems. • The technique uses BDD-based model checking, k-induction, and PDR in parallel. • We have tested our algorithm by verifying two models with it. • The technique outperforms classical model checking methods in our experiments

General introduction and recovery factors

Science.gov (United States)

Verma, Mahendra K.

2017-07-17

IntroductionThe U.S. Geological Survey (USGS) compared methods for estimating an incremental recovery factor (RF) for the carbon dioxide enhanced oil recovery (CO2-EOR) process involving the injection of CO2 into oil reservoirs. This chapter first provides some basic information on the RF, including its dependence on various reservoir and operational parameters, and then discusses the three development phases of oil recovery—primary, second­ary, and tertiary (EOR). It ends with a brief discussion of the three approaches for estimating recovery factors, which are detailed in subsequent chapters.

An Introduction to Graphene Plasmonics

DEFF Research Database (Denmark)

Gonçalves, P.A.D.; Peres, N. M. R.

This book is meant as an introduction to graphene plasmonics and aims at the advanced undergraduate and graduate students entering the field of plasmonics in graphene. In it different theoretical methods are introduced, starting with an elementary description of graphene plasmonics and evolving...... the chapters to get acquainted with the field of plasmonics in graphene or reading the chapters and studying the appendices to get a working knowledge of the topic. The study of the material in this book will bring the students to the forefront of the research in this field....

Introduction to high-dimensional statistics

CERN Document Server

Giraud, Christophe

2015-01-01

Ever-greater computing technologies have given rise to an exponentially growing volume of data. Today massive data sets (with potentially thousands of variables) play an important role in almost every branch of modern human activity, including networks, finance, and genetics. However, analyzing such data has presented a challenge for statisticians and data analysts and has required the development of new statistical methods capable of separating the signal from the noise.Introduction to High-Dimensional Statistics is a concise guide to state-of-the-art models, techniques, and approaches for ha

Abstract Objects of Verbs

DEFF Research Database (Denmark)

2014-01-01

Verbs do often take arguments of quite different types. In an orthodox type-theoretic framework this results in an extreme polysemy of many verbs. In this article, it is shown that this unwanted consequence can be avoided when a theory of "abstract objects" is adopted according to which...... these objects represent non-objectual entities in contexts from which they are excluded by type restrictions. Thus these objects are "abstract'' in a functional rather than in an ontological sense: they function as representatives of other entities but they are otherwise quite normal objects. Three examples...

Twelfth European TRIGA users conference. Papers and abstracts

International Nuclear Information System (INIS)

2008-01-01

The Twelfth European TRIGA Users Conference was held in Pitesti, Romania, on September 28 - October 1, 1992, under the sponsorship of the Institute for Nuclear Research. The papers which follow in this document are presented in the same order as listed in the Conference Program. All papers which were received for publication (44) have been included. Those papers which were presented but not received for publication are presented in abstract form (3). The European TRIGA9 Owners' Group was fortunate to be hosted by the owners and users of the world's largest TRIGA reactor - the 14-MW Romanian research and test reactor. For too many years it has been impossible to enjoy open interactions with the Romanian researchers. By hosting the 1992 European TRIGA Users' Conference in Romania, the Romanians accomplished a breakthrough in the exchange of TRIGA reactor technology. It was very interesting for the Conference attendees from the West to learn about the large scope of excellent work conducted in Romania, especially at the Institute of Nuclear Research in Pitesti. Similarly, it was fortunate that a large attendance of Romanian researchers from many institutes, universities, and government agencies could attend the Conference and interact with their counterparts from outside Romania. The proceedings of the conference were structured onto the following 6 subject matters: - Opening Session and Introduction; - Session I, Operating and Maintenance Experience (10 papers); - Session II, Reactor Physics And Fuel Utilization (11 papers); - Session III, Instrumentation and Control (5 papers); - Session IV, Irradiation Facilities, Experimental Accessories (8 papers); - Session V, Applications, New Development of TRIGA Concept (6 papers). The document is completed with the abstracts of 3 contributions. A number of 19 experts from Austria, Germany, Italy, United States, Turkey, Morocco, England, Slovenia and Albania, that use TRIGA reactors, and Romania attended the conference. The

An introduction to the language of category theory

CERN Document Server

Roman, Steven

2017-01-01

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics. The goal of this book is to present the five major ideas of category theory: categories, functors, natural transformations, universality, and adjoints in as friendly and relaxed a manner as possible while at the same time not sacrificing rigor. These topics are developed in a straightforward, step-by-step manner and are accompanied by numerous examples and exercises, most of which are drawn from abstract algebra. The first chapter of the book introduces the definitions of category and functor and discusses diagrams, duality, initial and terminal objects, special types of morphisms, and some special types of categories, particularly comma categories and hom-set categories. Chap...

Factors Impacting the Conversion of Abstracts Presented at the Canadian Cardiovascular Congress Meetings to Full Publications

DEFF Research Database (Denmark)

Abuzeid, W.; Fosbøl, E.; Fosbøl, Philip Loldrup

2013-01-01

associated with transition of abstracts to full publications.BackgroundThe rate of conversion of abstracts presented at scientific meetings into peer reviewed published manuscripts, has been a topic of interest for various medical specialties. Rapid translation of abstracts into manuscripts allows...... for reliable and rapid communication of scientific knowledge into practice. Methods;Using a previously validated automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed full manuscript publications of abstracts presented at the CCC. We manually entered information about...

15th radiochemical conference: Booklet of abstracts and conference programme

International Nuclear Information System (INIS)

John, J.; Benes, P.; Kucera, J.; Havela, L.; Bartonicek, B.; Vobecky, M.; Krizova, V.; Kopicka, K.; Prasil, Z.

2006-04-01

The conference was structured as follows: Opening plenary lectures (6 lectures); Topic 1 - radionuclides in the environment, radioecology (22 verbal presentations (VPs), 23 poster presentations (PPs)); Topic 2 - nuclear analytical methods (22 VPs, 32 PPs); Topic 3 - chemistry of actinide and transactinide elements (8 VPs, 10 PPs); Topic 4 - radiation chemistry (9 VPs, 5 PPs); Topic 5 - production and application of radionuclides (17 VPs, 6 PPs); Topic 6 - separation methods, speciation (21 VPs, 23 PPs); Topic 7 - chemistry of nuclear fuel cycle, radiochemical problems in nuclear waste management (20 VPs, 16 PPs); Topic 8 - nuclear methods in medicine, radiopharmaceuticals, and radiodiagnostics, labelled compounds (8 VPs, 7 PPs); and Panels (2 introductions). (P.A.)

Abstract Spatial Reasoning as an Autistic Strength

Science.gov (United States)

Stevenson, Jennifer L.; Gernsbacher, Morton Ann

2013-01-01

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

Introduction to the background field method

International Nuclear Information System (INIS)

Abbott, L.F.; Brandeis Univ., Waltham, MA

1982-01-01

The background field approach to calculations in gauge field theories is presented. Conventional functional techniques are reviewed and the background field method is introduced. Feynman rules and renormalization are discussed and, as an example, the Yang-Mills β function is computed. (author)

Introduction to transonic aerodynamics

CERN Document Server

Vos, Roelof

2015-01-01

Written to teach students the nature of transonic flow and its mathematical foundation, this book offers a much-needed introduction to transonic aerodynamics. The authors present a quantitative and qualitative assessment of subsonic, supersonic, and transonic flow around bodies in two and three dimensions. The book reviews the governing equations and explores their applications and limitations as employed in modeling and computational fluid dynamics.  Some concepts, such as shock and expansion theory, are examined from a numerical perspective. Others, including shock-boundary-layer interaction, are discussed from a qualitative point of view. The book includes 60 examples and more than 200 practice problems. The authors also offer analytical methods such as Method of Characteristics (MOC) that allow readers to practice with the subject matter.  The result is a wealth of insight into transonic flow phenomena and their impact on aircraft design, including compressibility effects, shock and expansion waves, sho...

Science meeting. Abstracts

International Nuclear Information System (INIS)

2000-01-01

the document is a collection of the science meeting abstracts in the fields of nuclear physics, medical sciences, chemistry, agriculture, environment, engineering, material sciences different aspects of energy and presents research done in 2000 in these fields

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

Energy Technology Data Exchange (ETDEWEB)

None

1977-01-01

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

Construct Abstraction for Automatic Information Abstraction from Digital Images

Science.gov (United States)

2006-05-30

objects and features and the names of objects of objects and features. For example, in Figure 15 the parts of the fish could be named the ‘mouth... fish -1 fish -2 fish -3 tennis shoe tennis racquet...of abstraction and generality. For example, an algorithm might usefully find a polygon ( blob ) in an image and calculate numbers such as the

Initial PDS4 Support for the Geospatial Data Abstraction Library (GDAL)

Science.gov (United States)

Hare, T. M.; Gaddis, L. R.

2018-04-01

We introduce initial support for PDS4 within the Geospatial Data Abstraction Library (GDAL). Both highlights and limitations are presented, as well as a short discussion on methods for supporting a GDAL-based workflow for PDS4 conversions.

Introduction to surveillance studies

CERN Document Server

Petersen, JK

2012-01-01

Introduction & OverviewIntroduction Brief History of Surveillance Technologies & TechniquesOptical SurveillanceAerial Surveillance Audio Surveillance Radio-Wave SurveillanceGlobal Positioning Systems Sensors Computers & the Internet Data Cards Biochemical Surveillance Animal Surveillance Biometrics Genetics Practical ConsiderationsPrevalence of Surveillance Effectiveness of Surveillance Freedom & Privacy IssuesConstitutional Freedoms Privacy Safeguards & Intrusions ResourcesReferences Glossary Index

Introduction

DEFF Research Database (Denmark)

Schmidt, Johannes Dragsbæk; Berg, Torsten Rødel

2012-01-01

The chapter includes a discussion about the play by Henrik Ibsen from 1879, A Doll's House, how it still proves to be relevant today to gender relations not only in Denmark but in Nepal as well. The introduction explains how Ibsen's play inspired two theater directors from Denmark and Nepal...

Introduction

International Nuclear Information System (INIS)

Jacquinot, J.

1997-01-01

An introduction to the symposium on nuclear fusion and the CEA researches on magnetic confinement, is presented, with a review of the future energy capacities that fusion could deliver, the technological developments on superconductors, robots, etc. that will assist fusion development, and the european and international cooperation programs on the subject

Mechanical Engineering Department technical abstracts

International Nuclear Information System (INIS)

1984-01-01

The Mechanical Engineering Department publishes abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division

Human drug metabolism: an introduction

National Research Council Canada - National Science Library

Coleman, Michael D

2010-01-01

Human Drug Metabolism, An Introduction, Second Edition provides an accessible introduction to the subject and will be particularly invaluable to those who already have some understanding of the life sciences...

An initial abstraction and constant loss model, and methods for estimating unit hydrographs, peak streamflows, and flood volumes for urban basins in Missouri

Science.gov (United States)

Huizinga, Richard J.

2014-01-01

Streamflow data, basin characteristics, and rainfall data from 39 streamflow-gaging stations for urban areas in and adjacent to Missouri were used by the U.S. Geological Survey in cooperation with the Metropolitan Sewer District of St. Louis to develop an initial abstraction and constant loss model (a time-distributed basin-loss model) and a gamma unit hydrograph (GUH) for urban areas in Missouri. Study-specific methods to determine peak streamflow and flood volume for a given rainfall event also were developed.

National conference on environmental remediation science and technology: Abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1998-12-31

This conference was held September 8--10, 1998 in Greensboro, North Carolina. The purpose of this conference was to provide a multidisciplinary forum for exchange of state-of-the-art information on methods and site characterization technologies for environmental monitoring and remedial action planning of hazardous materials. This report contains the abstracts of sixty-one papers presented at the conference.

Introduction

DEFF Research Database (Denmark)

Barwell, Richard; Clarkson, Philip; Halai, Anjum

2016-01-01

This chapter provides the introduction to this ICMI Study 21 volume. It includes: a discussion of the place of this study and its topic within ICME; a discussion of what is meant by the study title; and a brief historical account of research on this topic in mathematics education. The chapter also...

Introduction: The Power of Example

DEFF Research Database (Denmark)

Højer, Lars; Bandak, Andreas

2015-01-01

It is the contention of this introduction that examples are important prisms through which both reality and anthropological analysis are thought and, equally importantly, reconfigured. The aim of the introduction is to redress the theoretical disregard for exemplification by exploring the persuas....... The introduction further proposes that the example serves to confuse ontological divides, such as the one between theory and ethnography, and also draws attention to the fact that theory is as much suggestive as descriptive....

Interdisciplinary perspectives on abstracts for information retrieval

Directory of Open Access Journals (Sweden)

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.

Annual Conference Abstracts

Science.gov (United States)

Journal of Engineering Education, 1972

1972-01-01

Includes abstracts of papers presented at the 80th Annual Conference of the American Society for Engineering Education. The broad areas include aerospace, affiliate and associate member council, agricultural engineering, biomedical engineering, continuing engineering studies, chemical engineering, civil engineering, computers, cooperative…

Abstracts

Institute of Scientific and Technical Information of China (English)

2017-01-01

Supplementary Short Board: Orderly Cultivate Housing Leasing Market WANG Guangtao (Former Minister of Ministry of Construction) Abstract: In December 2016, Central Economic Work Conference proposed that to promote the steady and healthy development of the real estate market, it should adhere to the “house is used to live, not used to speculate” position. At present, the development of housing leasing market in China is lagging behind. It is urgent to improve the housing conditions of large cities and promote the urbanization of small and medium-sized cities. Therefore, it is imperative to innovate and supplement the short board to accelerate the development of housing leasing market.

1. National Congress of Environmental Science: Abstracts

International Nuclear Information System (INIS)

1995-01-01

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

SENSE 2010, Abstracts

International Nuclear Information System (INIS)

Lumsden, M.D.; Argyriou, D.N.; Inosov, D.

2012-01-01

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)

Abstracting audit data for lightweight intrusion detection

KAUST Repository

Wang, Wei

2010-01-01

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

Introduction to Artificial Neural Networks

DEFF Research Database (Denmark)

Larsen, Jan

1999-01-01

The note addresses introduction to signal analysis and classification based on artificial feed-forward neural networks.......The note addresses introduction to signal analysis and classification based on artificial feed-forward neural networks....

14th National Conference on Physics. Abstracts. Volume 2

International Nuclear Information System (INIS)

Calboreanu, Alexandru; Grecu, Dan

2005-01-01

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

26 CFR 44.0-1 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 16 2010-04-01 2010-04-01 true Introduction. 44.0-1 Section 44.0-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) MISCELLANEOUS EXCISE TAXES TAXES ON WAGERING; EFFECTIVE JANUARY 1, 1955 Introduction § 44.0-1 Introduction. (a) In general. The...

Physics, radiology, and chemistry. An introduction to natural science. 8. rev. ed.

International Nuclear Information System (INIS)

Linde, O.K.; Knigge, H.J.

1991-01-01

This book is an introduction to physics and chemistry especially for medical personnel. After a general introduction, measurement methods, mechanics including mechanics of solid bodies, fluids and gases, heat, optics, acoustics, electricity, radiations including their biological effects, general chemistry, inorganic and organic chemistry are treated. Every chapter contains exercises mostly in connection with medical and biological effects. Furthermore connections with biology and medicine are considered. (orig./HP) With 104 figs., 51 tabs [de

7 CFR 767.1 - Introduction.

Science.gov (United States)

2010-01-01

... SPECIAL PROGRAMS INVENTORY PROPERTY MANAGEMENT Overview § 767.1 Introduction. (a) Purpose. This part... 7 Agriculture 7 2010-01-01 2010-01-01 false Introduction. 767.1 Section 767.1 Agriculture... financial interest. ...

Introduction

International Nuclear Information System (INIS)

Raeder, J.

1975-01-01

The introduction to this monography gives a brief survey of the history of the MHD generator, outlines the fundamental questioning of the research concerned and then deals with the combustion gas MHD generator research programme of the working society MPI for plasma physics (IPP)/Maschinenfabrik Augsburg-Nuernberg AG (M.A.N.). (GG/LH) [de

Introduction

NARCIS (Netherlands)

Doreian, Patrick; Stokman, Frans N.

2001-01-01

Introduction to: The proceedings of a conference that was held on the analysis of repeated cross sections at the University of Nijmegen on June 15±16, 2000. This two-days meeting was attended by 75 participants from seven different countries (AUS, B, F, GER, NL, USA, UK) and from a wide array of

Beyond the abstractions?

DEFF Research Database (Denmark)

Olesen, Henning Salling

2006-01-01

  The anniversary of the International Journal of Lifelong Education takes place in the middle of a conceptual landslide from lifelong education to lifelong learning. Contemporary discourses of lifelong learning etc are however abstractions behind which new functions and agendas for adult education...

Monadic abstract interpreters

DEFF Research Database (Denmark)

Sergey, Ilya; Devriese, Dominique; Might, Matthew

2013-01-01

to instrument an analysis with high-level strategies for improving precision and performance, such as abstract garbage collection and widening. While the paper itself runs the development for continuationpassing style, our generic implementation replays it for direct-style lambda-calculus and Featherweight Java...

26 CFR 41.0-1 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 16 2010-04-01 2010-04-01 true Introduction. 41.0-1 Section 41.0-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) MISCELLANEOUS EXCISE TAXES EXCISE TAX ON USE OF CERTAIN HIGHWAY MOTOR VEHICLES Introduction § 41.0-1 Introduction. The regulations in...

26 CFR 49.0-1 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 16 2010-04-01 2010-04-01 true Introduction. 49.0-1 Section 49.0-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) MISCELLANEOUS EXCISE TAXES FACILITIES AND SERVICES EXCISE TAXES Introduction § 49.0-1 Introduction. The regulations in this part 49 are...

Abstractions for Fault-Tolerant Distributed System Verification

Science.gov (United States)

Pike, Lee S.; Maddalon, Jeffrey M.; Miner, Paul S.; Geser, Alfons

2004-01-01

Four kinds of abstraction for the design and analysis of fault tolerant distributed systems are discussed. These abstractions concern system messages, faults, fault masking voting, and communication. The abstractions are formalized in higher order logic, and are intended to facilitate specifying and verifying such systems in higher order theorem provers.

Competition between abstraction and exchange channels in H + HCN reaction: Full-dimensional quantum dynamics

Energy Technology Data Exchange (ETDEWEB)

Jiang, Bin; Guo, Hua, E-mail: hguo@unm.edu [Department of Chemistry and Chemical Biology, University of New Mexico, Albuquerque, New Mexico 87131 (United States)

2013-12-14

Dynamics of the title reaction is investigated on an ab initio based potential energy surface using a full-dimensional quantum wave packet method within the centrifugal sudden approximation. It is shown that the reaction between H and HCN leads to both the hydrogen exchange and hydrogen abstraction channels. The exchange channel has a lower threshold and larger cross section than the abstraction channel. It also has more oscillations due apparently to quantum resonances. Both channels are affected by long-lived resonances supported by potential wells. Comparison with experimental cross sections indicates underestimation of the abstraction barrier height.

Introduction to Part 3

DEFF Research Database (Denmark)

Petersen, Nils Holger

2015-01-01

A brief contextualising discussion of Western Music History and its relations to Theological Aesthetical Thought since Carolingian Times as an introduction to 3 music articles in Part 3 of the volume.......A brief contextualising discussion of Western Music History and its relations to Theological Aesthetical Thought since Carolingian Times as an introduction to 3 music articles in Part 3 of the volume....

Industry 4.0 Concept Introduction into Construction SMEs

Science.gov (United States)

Nowotarski, Piotr; Paslawski, Jerzy

2017-10-01

The article presents a general idea of Industry 4.0 concept with the introduction presenting descriptions of the most important aspects in terms of production and construction industry development. The importance of the SME sector is stressed showing that this group of companies plays significant role in the European economy. The main objective of the article is to define and show possible research areas connected with the introduction of Industry 4.0 concept into SMEs with the main focus on the construction sector. For this purpose, an analysis was made, based on the most recent literature, to point out actual needs in the SMEs sector in terms of its evolution into 4.0 level. What is more, the analysis was performed based on the most popular articles published in journals available in Thomson Reuters Web of Science Core Collection database regarding Industry 4.0 concept in the last decade showing the actual change of interest in this filed, taking into account possibility of usage of this concept in the construction and production sector. Authors tried to describe current knowledge regarding Industry 4.0 introduction for SMEs. Performed analysis showed that there is a wide spectrum of disciplines that are affected by the Industry 4.0 that needs to be examined considering introduction into SMEs. Study also showed that multidiscipline approach was not investigated so far to create special rules, procedures and methods and know-how designed for introduction of main principles of Industry 4.0 in the SME sector. Authors came to the conclusions that there should be more stress put into research in this field especially taking into account the huge potential which lies in SME sector in terms of global economic strength.

Abstract Interpretation as a Programming Language

DEFF Research Database (Denmark)

Rosendahl, Mads

2013-01-01

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

Introduction

DEFF Research Database (Denmark)

Schmidt, Johannes Dragsbæk; Rasiah, Rajah

2010-01-01

This is a very interesting book. It is topical and is one of the few volumes that attempts to treat Southeast Asia as an integrated whole. The editors are methodologically ambitious, and they skillfully integrate a very large amount of diverse material in their introduction. I imagine that the bo...... working on the economics and development of Southeast Asia....

Agile Software Development: An Introduction and Overview

Science.gov (United States)

Dingsøyr, Torgeir; Dybå, Tore; Moe, Nils Brede

Agile software development is an important topic in software engineering and information systems. This chapter provides a characterization and definition of agile software development, an overview of research through a summary of existing overview studies, an analysis of the research literature so far, and an introduction to the main themes of this book. The first part of the book provides foundations and background of agile development. The second part describes findings from studies of agile methods in practice. The third part identifies principal challenges and discusses new frontiers that agile development methods will meet in the future.

Abstract Machines for Programming Language Implementation

NARCIS (Netherlands)

Diehl, Stephan; Hartel, Pieter H.; Sestoft, Peter

We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular

Tenth Petryanov's and First Fuks's reading. Book of abstracts

International Nuclear Information System (INIS)

2015-01-01

The Tenth Petryanov's and the First Fuks's reading took place in Moscow in April, 21-23, 2015. In the collection there are the abstracts of the reports deal with the investigations in the field of natural and anthropogenic, including radioactive, aerosols; current state and future of filtration processes; development and upgrading of electroforming technology of nano- and microfibrous materials; methods of aerosols investigation and analysis [ru

Writing a Structured Abstract for the Thesis

Science.gov (United States)

Hartley, James

2010-01-01

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

26 CFR 4.954-0 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 14 2010-04-01 2010-04-01 false Introduction. 4.954-0 Section 4.954-0 Internal... INCOME TAX REGULATIONS UNDER SECTION 954 OF THE INTERNAL REVENUE CODE § 4.954-0 Introduction. (a... corporation beginning after December 31, 1986. (I) § 4.954-0 Introduction. (a) Effective dates. (b) Outline...

26 CFR 46.0-1 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 16 2010-04-01 2010-04-01 true Introduction. 46.0-1 Section 46.0-1 Internal... TAX ON POLICIES ISSUED BY FOREIGN INSURERS AND OBLIGATIONS NOT IN REGISTERED FORM Introduction § 46.0-1 Introduction. The regulations in this part 46 relate to the taxes on policies issued by foreign...

Kinetics of Hydrogen Abstraction and Addition Reactions of 3-Hexene by ȮH Radicals.

Science.gov (United States)

Yang, Feiyu; Deng, Fuquan; Pan, Youshun; Zhang, Yingjia; Tang, Chenglong; Huang, Zuohua

2017-03-09

Rate coefficients of H atom abstraction and H atom addition reactions of 3-hexene by the hydroxyl radicals were determined using both conventional transition-state theory and canonical variational transition-state theory, with the potential energy surface (PES) evaluated at the CCSD(T)/CBS//BHandHLYP/6-311G(d,p) level and quantum mechanical effect corrected by the compounded methods including one-dimensional Wigner method, multidimensional zero-curvature tunneling method, and small-curvature tunneling method. Results reveal that accounting for approximate 70% of the overall H atom abstractions occur in the allylic site via both direct and indirect channels. The indirect channel containing two van der Waals prereactive complexes exhibits two times larger rate coefficient relative to the direct one. The OH addition reaction also contains two van der Waals complexes, and its submerged barrier results in a negative temperature coefficient behavior at low temperatures. In contrast, The OH addition pathway dominates only at temperatures below 450 K whereas the H atom abstraction reactions dominate overwhelmingly at temperature over 1000 K. All of the rate coefficients calculated with an uncertainty of a factor of 5 were fitted in a quasi-Arrhenius formula. Analyses on the PES, minimum reaction path and activation free Gibbs energy were also performed in this study.

Publication Rates of Abstracts Presented at the 2006 Meeting of the American Academy of Optometry.

Science.gov (United States)

Bakkum, Barclay W; Trachimowicz, Ruth

2015-11-01

The purposes of this study were to investigate the publication rates of presentations at the 2006 meeting of the American Academy of Optometry (AAO), differences in the publication rates of platform versus poster presentations, consistency of the meeting abstract compared with the full-length journal article, whether abstracts were clinical or basic science, and when and in which journals articles appeared. Abstracts were obtained directly from the AAO. Literature searches using PubMed and VisionCite were performed to locate peer-reviewed journal articles based on those abstracts. Whether the article was based on a poster or platform presentation, congruence of the information in the abstract and the article (i.e., authorship, title, methods, and conclusions), type of study (clinical or basic science), subject category, and journal and year in which the article appeared were recorded. We identified 518 proceeding abstracts, 108 of which ultimately were published between 2006 and 2013, giving an overall publication rate of 21%. Thirty-three percent of platform presentations eventually were published versus 18% of posters. Congruency showed that 17% of articles had the same title as the meeting abstract, 36% had the same authorship, and 53% had the same methods. Eighty-one percent of articles were clinical in nature, whereas 19% of them were basic science. Thirty-seven percent of articles dealt with the subjects of cornea and contact lenses. Articles were found in 39 different journals, with 34% of them appearing in Optometry and Vision Science. Eighty-eight percent of articles were published within 4 years after the meeting. The publication rate from the 2006 AAO meeting was 21%. Platform presentations were more likely to be published than posters. Congruency rates of abstracts to articles are lower than national meetings in other fields. The vast majority of articles were published within 4 years after the meeting.

An introduction to meshfree methods and their programming

CERN Document Server

Liu, GR

2005-01-01

Friendly and straightforward presentation and beginner orientated Provides the fundamentals of numerical analysis that are particularly important to meshfree methods. Wide coverage of meshfree methods: EFG, RPIM, MLPG, LRPIM, MWS and collocation methods Detailed comparison case studies for many existing meshfree methods Well-tested computer source codes are attached with useful descriptions and readily test examples Soft copy of these source codes are available also at http://www.nus.edu.sg/ACES.

When abstraction does not increase stereotyping : Preparing for intragroup communication enables abstract construal of stereotype-inconsistent information

NARCIS (Netherlands)

Greijdanus, Hedy; Postmes, Tom; Gordijn, Ernestine H.; van Zomeren, Martijn

2014-01-01

Two experiments investigated when perceivers can construe stereotype-inconsistent information abstractly (i.e., interpret observations as generalizable) and whether stereotype-consistency delimits the positive relation between abstract construal level and stereotyping. Participants (N1=104, N2=83)

26 CFR 31.0-1 - Introduction.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 15 2010-04-01 2010-04-01 false Introduction. 31.0-1 Section 31.0-1 Internal... OF INCOME TAX AT SOURCE EMPLOYMENT TAXES AND COLLECTION OF INCOME TAX AT SOURCE Introduction § 31.0-1 Introduction. (a) In general. The regulations in this part relate to the employment taxes imposed by subtitle C...

Geometry of abstraction in quantum computation

NARCIS (Netherlands)

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

2012-01-01

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

The Abstraction Engine

DEFF Research Database (Denmark)

Fortescue, Michael David

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

Transport safety research abstracts. No. 1

International Nuclear Information System (INIS)

1991-07-01

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

An introduction to real analysis

CERN Document Server

Ball, Derek G

1973-01-01

An Introduction to Real Analysis presents the concepts of real analysis and highlights the problems which necessitate the introduction of these concepts. Topics range from sets, relations, and functions to numbers, sequences, series, derivatives, and the Riemann integral. This volume begins with an introduction to some of the problems which are met in the use of numbers for measuring, and which provide motivation for the creation of real analysis. Attention then turns to real numbers that are built up from natural numbers, with emphasis on integers, rationals, and irrationals. The chapters tha

Prediction of activation energies for hydrogen abstraction by cytochrome p450

DEFF Research Database (Denmark)

Olsen, Lars; Rydberg, Patrik; Rod, Thomas Holm

2006-01-01

We have estimated the activation energy for hydrogen abstraction by compound I in cytochrome P450 for a diverse set of 24 small organic substrates using state-of-the-art density functional theory (B3LYP). We then show that these results can be reproduced by computationally less demanding methods,...... of the less demanding methods are applied to study the CYP3A4 metabolism of progesterone and dextromethorphan....

Market introduction of renewable energy technologies

International Nuclear Information System (INIS)

1997-01-01

On 11 and 12 November 1997 the VDI Society for Energy Technology (VDI-GET) held a congress in Neuss on the ''Market introduction of renewable energy technologies'' The focal topics of the congress were as follows: market analyses for renewable energy technologies, the development of markets at home and abroad, and the framework conditions governing market introduction. Specifically it dealt with the market effects of national and international introduction measures, promotion programmes and their efficiency, the legal framework conditions governing market introduction, advanced and supplementary training, market-oriented research (e.g., for cost reduction), and improved marketing [de

BOOK REVIEW: Introduction to Computational Plasticity

Science.gov (United States)

Hartley, P.

2006-04-01

Jaumann rate of stress. It is tempting here to suggest that a more complete description should be given together with other measures of strain and stress, of which there are several, but there would be a danger of changing the book from an `introduction' to a more comprehensive text, and examples of such exist already. Chapter four begins the process of developing the plasticity theories into a form suitable for inclusion in the finite-element method. The starting point is Hamilton's principle for equilibrium of a dynamic system. A very brief introduction to the finite-element method is then given, followed by the finite-element equilibrium equations and a description of how they are incorporated into Hamilton's principle. A useful clarification is provided by comparing tensor notation and the form normally used in finite-element expressions, i.e. Voigt notation. The chapter concludes with a brief overview of implicit integration methods, i.e. tangent stiffness, initial tangent stiffness and Newton Raphson. Chapter five deals with the more specialized topic of implicit and explicit integration of von Mises plasticity. One of the techniques described is the radial-return method which ensures that the stresses at the end of an increment of deformation always lie on the expanded yield surface. Although this method guarantees a solution it may not always be the most accurate for large deformation, this is one area where reference to alternative methods would have been a helpful addition. Chapter six continues with further detail of how the plasticity models may be incorporated into finite-element codes, with particular reference to the Abaqus package and the use of user-defined subroutines, introduced via a `UMAT' subroutine. This completes part I of the book. Part II focuses on plasticity models, each chapter dealing with a particular process or material model. For example, chapter seven deals with superplasticity, chapter eight with porous plasticity, chapter nine with

Relationship between abstract thinking and eye gaze pattern in patients with schizophrenia

Science.gov (United States)

2014-01-01

Background Effective integration of visual information is necessary to utilize abstract thinking, but patients with schizophrenia have slow eye movement and usually explore limited visual information. This study examines the relationship between abstract thinking ability and the pattern of eye gaze in patients with schizophrenia using a novel theme identification task. Methods Twenty patients with schizophrenia and 22 healthy controls completed the theme identification task, in which subjects selected which word, out of a set of provided words, best described the theme of a picture. Eye gaze while performing the task was recorded by the eye tracker. Results Patients exhibited a significantly lower correct rate for theme identification and lesser fixation and saccade counts than controls. The correct rate was significantly correlated with the fixation count in patients, but not in controls. Conclusions Patients with schizophrenia showed impaired abstract thinking and decreased quality of gaze, which were positively associated with each other. Theme identification and eye gaze appear to be useful as tools for the objective measurement of abstract thinking in patients with schizophrenia. PMID:24739356

Introduction to the ROOT System

CERN Multimedia

CERN. Geneva

2008-01-01

Introduction to the ROOT data handling system. ROOT is used in some for or another by all LHC experiments and will be used by all for final data analysis. The introduction gives an overview of the system. Prerequisite knowledge: C++

49 CFR 1103.10 - Introduction.

Science.gov (United States)

2010-10-01

... 49 Transportation 8 2010-10-01 2010-10-01 false Introduction. 1103.10 Section 1103.10 Transportation Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION RULES OF PRACTICE PRACTITIONERS Canons of Ethics § 1103.10 Introduction. The...

Introduction to scientific computing and data analysis

CERN Document Server

Holmes, Mark H

2016-01-01

This textbook provides and introduction to numerical computing and its applications in science and engineering. The topics covered include those usually found in an introductory course, as well as those that arise in data analysis. This includes optimization and regression based methods using a singular value decomposition. The emphasis is on problem solving, and there are numerous exercises throughout the text concerning applications in engineering and science. The essential role of the mathematical theory underlying the methods is also considered, both for understanding how the method works, as well as how the error in the computation depends on the method being used. The MATLAB codes used to produce most of the figures and data tables in the text are available on the author’s website and SpringerLink.

Abstract Object Creation in Dynamic Logic

NARCIS (Netherlands)

I. Grabe (Immo); F.S. de Boer (Frank); W. Ahrendt (Wolfgang); A. Cavalcanti; D.R. Dams

2009-01-01

textabstractIn this paper we give a representation of a weakest precondition calculus for abstract object creation in dynamic logic, the logic underlying the KeY theorem prover. This representation allows to both specify and verify properties of objects at the abstraction level of the