WorldWideScience

Sample records for legislature begins formal

  1. Beginning phase of career manager for non-formal education

    OpenAIRE

    Kostková, Blanka

    2015-01-01

    This thesis deals with the beginning phase of career manager for organization non- formal education. The work examines the process that precedes the onset school manager to executive positions primarily in terms of motivation, expectations and subsequent reality. It describes the initial phase of his work in a new role in life from the perspective of the management of school facilities and other activities associated with this process . The work is mapped to what extent the entrance to the Di...

  2. Pluralism in the regional political process (by the example of the legislatures elections in Western Siberia. The late 20th - beginning of the 21st centuries

    Directory of Open Access Journals (Sweden)

    Sharaev Pavel

    2016-01-01

    Full Text Available Pluralism in a democratic society is a key principle of providing active political members. Its introduction into the Russian political process, of both federal and regional levels, began during a period of radical change in the system of state power and the mechanism of its formation (the 90s of the 20th century. Legislatures of the subjects of the Russian Federation became the first government, created on the basis of alternative democratic elections (1994. They presented the variety of parties, public associations and movements, which, thanks to the principle of pluralism declared their political interests. However, the modern list of political members - bearers of different ideologies - is much inferior in diversity. The study of political experience of legislatures in Western Siberia in historical retrospective reveals the role of pluralism as a condition of the transition from an emerging system to its sustainable development. The findings reflect the specifics of the Russian multi-party system within the boundaries of regional political process.

  3. BEGINNING ARABIC, A LINGUISTIC APPROACH--FROM CULTIVATED CAIRENE TO FORMAL LITERARY ARABIC.

    Science.gov (United States)

    GREIS, NAGUIB; HANNA, SAMI A.

    WRITTEN FOR THE LINGUISTICALLY-ORIENTED STUDENT, THIS NINE-UNIT TEXT PRESENTS A CAREFULLY STRUCTURED INTRODUCTION TO THE ARABIC LANGUAGE. THE CONTENT MOVES FROM SOUNDS TO LETTERS, FROM SPOKEN PATTERNS TO WRITTEN FORMS, AND FROM FAMILIAR TO FORMAL STYLE. PREFACING THE LESSON UNITS ARE INTRODUCTORY NOTES ON THE ARABIC LANGUAGE AND THE STRUCTURAL AND…

  4. Los inicios de la diplomacia parlamentaria en España durante la Legislatura Constituyente (1977–1979 = The beginnings of parliamentary diplomacy in Spain during the Constituent Legislature (1977–1979

    Directory of Open Access Journals (Sweden)

    Miguel Ángel Giménez Martínez

    2014-05-01

    strengthen cultural and commercial bonds between countries. Spain joined this new form of diplomacy during the transition to democracy and, specifically, during the constituent legislature (1977–1979, when the Cortes took an active part in the implementation of normalization and integration politics that should leave behind the isolation of the preceding period of dictatorship. Starting from the analysis of parliamentary archive documents, this article studies the main lines of action that dominated the beginnings of parliamentary diplomacy in Spain and its effects over the international activity displayed by the state as a whole.

  5. Human trafficking in domestic legislature

    Directory of Open Access Journals (Sweden)

    Skakavac Zdravko

    2008-01-01

    Full Text Available Human trafficking is an occurrence that, even in our time, is present in alarming proportions, in its actuality and consequences. It is a phenomenon with a long history and has been qualified as a serious international problem and is the object of interest for a large number of international subjects. However, the key international document that defines this phenomenon is the Convention against Transnational Organized Crime from Palermo 2000; specifically its Protocol to Prevent, Suppress and Punish Trafficking in Persons, especially Women and Children. After its adoption, intensive actions were undertaken to regulate the phenomenon on the level of national legislature. It's done so in the local legislature too. According to the criminal law of the republic of Serbia, besides the concrete law against human trafficking, a number of other crimes are connected to human trafficking. This paper deals with the most important ones. The purpose of this paper is to review the legislature on the phenomenon in the domestic law, then the accordance of incrimination with international standards, as well as to indicate the need for further changes in domestic legislature.

  6. Tobacco Industry Influences in the Oklahoma Legislature.

    Science.gov (United States)

    Matheny, James D; Wagener, Theodore L; Anderson, Michael P

    2015-11-01

    To identify recent tobacco industry influences in the Oklahoma Legislature. Relevant public records were compiled and published online in searchable databases. Activities related to two contested tobacco-related legislative initiatives were analyzed. Analyses of voting behavior controlled for party affiliation. Legislators receiving the largest amounts of campaign contributions and gifts from tobacco lobbyists performed actions necessary to advance tobacco industry objectives. Several significant associations with voting behavior were observed, the strongest of which was between votes on a pro-tobacco industry bill and gifts from tobacco lobbyists. Most lobbyists'gifts were meals. Tobacco industry influence in the Oklahoma Legislature is enhanced through tobacco lobbyists' campaign contributions and gifts. Greater investments are made in legislative leaders, those serving as champions or spokespersons, and others taking key roles in advancing tobacco industry objectives. Exposing such influences may diminish their effects. Given the egregious and uniquely destructive behavior of the tobacco industry, lawmakers could, as an ethical matter of principle, refuse tobacco lobbyists' money and seek to remedy past harms.

  7. The Gendered Face of the Mauritian Legislature | Bunwaree | Africa ...

    African Journals Online (AJOL)

    This article aims to provide an overview of the state of gender representivity in Mauritian politics. The author argues that the Mauritian legislature is plagued with issues of sociocultural bias, at the expense of women's limited participation in the nation's political arena. Transformation of the legislature is required in order to ...

  8. Beyond formalism

    Science.gov (United States)

    Denning, Peter J.

    1991-01-01

    The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

  9. 27 | Page OVERSIGHT FUNCTIONS OF THE LEGISLATURE: AN ...

    African Journals Online (AJOL)

    Fr. Ikenga

    2004-09-06

    Sep 6, 2004 ... government based on the principle of separation of powers between the legislature, the executive and the .... is, its representative role.25 The principle behind legislative oversight is that legislative function does not ..... (a) information on the Appropriation Bills, (b) reports on accounting, financial control and.

  10. Beginning C

    CERN Document Server

    Horton, Ivor

    2013-01-01

    Beginning C, 5th Edition teaches you how to program using the widely-available C language. You'll begin from first-principles and progress through step-by-step examples to become a competent, C-language programmer. All you need are this book and any of the widely available free or commercial C or C++ compilers, and you'll soon be writing real C programs. C is a foundational language that every programmer ought to know. C is the basis for C# used in Microsoft .NET programming. It is the basis for Objective-C used in programming for the iPhone, the iPad, and other Apple devices. It is the basis

  11. Provisions on illegitimate children in 19th century Montenegrin legislature

    Directory of Open Access Journals (Sweden)

    Kulauzov Maša

    2012-01-01

    Full Text Available Legal position of illegitimate children according to 19th century Montenegrin legislature is examined in this paper. Provisions on personal rights, property rights and rights of succession of illegitimate children are presented and critically analyzed. Children born out of wedlock were not equal to children born in lawful marriage. Therefore, significance of legalization of illegitimate children regarding improvement of their legal status is accentuated. As non-marital relationships were condemned in patriarchal Montenegrin 19th century society, illegitimate children were considered a product of sin and family disgrace. Hence, legislative attempts to protect their interests and improve their legal position are emphasized in this paper.

  12. Beginning Spring

    CERN Document Server

    Caliskan, Mert

    2015-01-01

    Get up to speed quickly with this comprehensive guide toSpring Beginning Spring is the complete beginner's guide toJava's most popular framework. Written with an eye towardreal-world enterprises, the book covers all aspects of applicationdevelopment within the Spring Framework. Extensive samples withineach chapter allow developers to get up to speed quickly byproviding concrete references for experimentation, building askillset that drives successful application development byexploiting the full capabilities of Java's latest advances. Spring provides the exact toolset required to build anent

  13. Beginning Scala

    CERN Document Server

    Pollak, David

    2009-01-01

    The open source Scala language is a Java--based dynamic scripting, functional programming language. Moreover, this highly scalable scripting language lends itself well to building Cloud--based/deliverable Software as a Service (SaaS) online applications. Written by Lift Scala web framework founder and lead Dave Pollak, Beginning Scala takes a down--to--earth approach to teaching Scala that leads you through simple examples that can be combined to build complex, scalable systems and applications. This book introduces you to the Scala programming language and then guides you through Scala constr

  14. Beginning Perl

    CERN Document Server

    Poe, Curtis 'Ovid'

    2012-01-01

    Everything beginners need to start programming with Perl Perl is the ever-popular, flexible, open source programming language that has been called the programmers’ Swiss army knife. This book introduces Perl to both new programmers and experienced ones who are looking to learn a new language. In the tradition of the popular Wrox Beginning guides, it presents step-by-step guidance in getting started, a host of try-it-out exercises, real-world examples, and everything necessary for a Perl novice to start programming with confidence. Introduces Perl to both new programmers and experienced o

  15. Beginning Hibernate

    CERN Document Server

    Minter, Dave; Ottinger, Joseph

    2014-01-01

    Beginning Hibernate, Third Edition is ideal if you're experienced in Java with databases (the traditional, or "connected," approach), but new to open-source, lightweight Hibernate, a leading object-relational mapping and database-oriented application development framework.This book packs in information about the release of the Hibernate 4.x persistence layer and provides a clear introduction to the current standard for object-relational persistence in Java. And since the book keeps its focus on Hibernate without wasting time on nonessential third-party tools, you'll be able to immediately star

  16. Beginning Hibernate

    CERN Document Server

    Linwood, Jeff

    2010-01-01

    Beginning Hibernate, Second Edition is ideal if you're experienced in Java with databases (the traditional, or "connected," approach), but new to open source, lightweight Hibernate-the de facto object-relational mapping and database-oriented application development framework. This book packs in brand-new information about the latest release of the Hibernate 3.5 persistence layer and provides a clear introduction to the current standard for object-relational persistence in Java. And since the book keeps its focus on Hibernate without wasting time on nonessential third-party tools, you

  17. Beginning F#

    CERN Document Server

    Pickering, Robert

    2010-01-01

    Functional programming is perhaps the next big wave in application development. As experienced developers know, functional programming makes its mark by allowing application builders to develop solutions to complicated programming situations cleanly and efficiently. A rich history of functional languages, including Erlang and OCaml, leads the way to F#, Microsoft's effort to bring the elegance and focus of functional programming into the world of managed code and .NET. With Beginning F#, you have a companion that that will help you explore F# and functional programming in a .NET environment. T

  18. Beginning topology

    CERN Document Server

    Goodman, Sue E

    2009-01-01

    Beginning Topology is designed to give undergraduate students a broad notion of the scope of topology in areas of point-set, geometric, combinatorial, differential, and algebraic topology, including an introduction to knot theory. A primary goal is to expose students to some recent research and to get them actively involved in learning. Exercises and open-ended projects are placed throughout the text, making it adaptable to seminar-style classes. The book starts with a chapter introducing the basic concepts of point-set topology, with examples chosen to captivate students' imaginations while i

  19. Directing Discipline: State Medical Board Responsiveness to State Legislatures.

    Science.gov (United States)

    Lillvis, Denise F; McGrath, Robert J

    2017-02-01

    State medical boards are increasingly responsible for regulating medical and osteopathic licensure and professional conduct in the United States. Yet, there is great variation in the extent to which such boards take disciplinary action against physicians, indicating that some boards are more zealous regulators than others. We look to the political roots of such variation and seek to answer a simple, yet important, question: are nominally apolitical state medical boards responsive to political preferences? To address this question, we use panel data on disciplinary actions across sixty-four state medical boards from 1993 through 2006 and control for over-time changes in board characteristics (e.g., composition, independence, budgetary status), regulatory structure, and resources. We show that as state legislatures become more liberal [conservative], state boards increasingly [decreasingly] discipline physicians, especially during unified government and in the presence of highly professional legislatures. Our conclusions join others in emphasizing the importance of state medical boards and the contingent nature of political control of state regulation. In addition, we emphasize the roles that oversight capacity and strategy play in offsetting concerns regarding self-regulation of a powerful organized interest. Copyright © 2017 by Duke University Press.

  20. Comprehensive fire prevention legislation enacted by the California legislature in 1992 after the East Bay firestorm

    Science.gov (United States)

    Rachel Richman

    1995-01-01

    Legislation was enacted by the California Legislature in 1992 after the East Bay firestorm on the Oakland/Berkeley border; it included roofing standards, brush clearance, and other safety requirements. Fire safety personnel and local government officials all participated in developing these measures and presenting them to the California Legislature.

  1. Superfield formalism

    Indian Academy of Sciences (India)

    dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original. 4D theory. Keywords. Non-Abelian 1-form gauge theory; Dirac fields; (anti-)Becchi–Roucet–Stora–. Tyutin invariance; superfield formalism; ...

  2. GIS tool for California state legislature electoral history

    Science.gov (United States)

    Artham, Swathi

    The California State Legislature contains two bodies consisting of the lower house, the California State Assembly, with eighty members, and the upper house, the California State Senate, with forty members. Elections are held for every two years for both Senate and Assembly. The terms of the Senators are staggered so that half the membership is elected every two years, whereas all the Assembly members are elected every two years. The electoral district boundaries vary after every 10-year census. My main objective is to provide a summary of both California State Senate and California State Assembly election results in a single GIS tool, from the years 1970 to 2012. This tool provides information about different trends in the California State Senate and State Assembly elections along the years. This tool was designed to help students, and teachers to interactively learn about the California State Legislature elections. Users can view the election results by selecting a particular year for Senate or Assembly, which results in adding a new layer on the map with a coloring scheme for better understanding of change of parties; red for Republicans, blue for Democrats and green for Independents. Users can click on any district shown on the map using a hotlink tool to see the electoral trends for the districts for the past years. This application provides a powerful Stored Query Language (SQL) query option to enter queries and get election results in the form of tables with various fields. This data can be further used to aid other analysis as per user requirements. This tool also provides various visual statistics using graphs and tables for voter turnout, number of candidates won by each party, number of seats changed from one party to another. It also features a color matrix table that helps users to see trends in California State Senate and Assembly. Every two-year election results are shown in the form of graphs and tables for better understanding by the user. The tool

  3. Superfield formalism

    Indian Academy of Sciences (India)

    framework of the usual superfield approach to BRST formalism [1–9]. This ap- proach, however, has not been able ... within the framework of the superfield formulation. The central theme of a couple of very ... define [23a] the curvature tensor Fµν = ∂µAν −∂νAµ +iAµ ×Aν. Here B and ¯B are the auxiliary fields that satisfy the ...

  4. Formal Indonesian.

    Science.gov (United States)

    Wolff, John U.

    This Indonesian book contains a reference grammar with exercises and a series of reading selections with composition and conversation exercises based on them. It is intended for students at the advanced level who have completed the series entitled "Beginning Indonesian," or have had 300 to 400 hours of classroom work. The materials…

  5. Making Meaning out of Human/Animal: Scientific Competition of Classifications in the Spanish Legislature

    Science.gov (United States)

    Mitchell, Ross

    2010-01-01

    In the summer of 2008, the Spanish legislature resolved to grant great apes (though not all simians) basic human rights. While the decision to grant such rights came about largely through the lobbying efforts of the Great Ape Project (GAP), the decision has potential reverberations throughout the scientific world and beyond in its implications for…

  6. 129,000 pound pilot project : report to the 62nd Idaho State Legislature.

    Science.gov (United States)

    2013-01-01

    In 2003, the Idaho Legislature passed House Bill 395, which created a pilot project to test the effect of : increasing the legal truck weights on State Highways. Trucks configured to increase gross vehicle weight : (GVW) from 105,500 pounds to 129,00...

  7. A Mathematical Formalization Proposal for Business Growth

    Directory of Open Access Journals (Sweden)

    Gheorghe BAILESTEANU

    2013-01-01

    Full Text Available Economic sciences have known a spectacular evolution in the last century; beginning to use axiomatic methods, applying mathematical instruments as a decision-making tool. The quest to formalization needs to be addressed from various different angles, reducing entry and operating formal costs, increasing the incentives for firms to operate formally, reducing obstacles to their growth, and searching for inexpensive approaches through which to enforce compliancy with government regulations. This paper proposes a formalized approach to business growth, based on mathematics and logics, taking into consideration the particularities of the economic sector.

  8. Review of the helicity formalism

    International Nuclear Information System (INIS)

    Barreiro, F.; Cerrada, M.; Fernandez, E.

    1972-01-01

    Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs

  9. Teaching Beginning Trombone Players.

    Science.gov (United States)

    Fallis, Todd L.

    2001-01-01

    Discusses the process of introducing the trombone to beginning students and addresses the issue of warming-up. Provides resources for beginning trombone methods, band methods, and daily warm-up studies. Includes resources for scale studies and etudes for beginning to intermediate trombone players. (CMK)

  10. BEGINNING INDONESIAN. VOLUME 4 AND GLOSSARY.

    Science.gov (United States)

    DYEN, ISIDORE

    VOLUME 4 OF A 4-VOLUME WORK ON BEGINNING INDONESIAN CONTAINS LESSONS 19-24 OF A TOTAL OF 24. INCLUDED IN THIS FINAL VOLUME IS A GLOSSARY OF TERMS AND LESSONS WHICH PROVIDE DRILLS IN BASIC INDONESIAN SENTENCE PATTERNS INVOLVING THE USE OF FORMAL AND INFORMAL WORDS, ADJECTIVES, CLOSELY ASSOCIATED SECOND VERBS, COMPARATIVES, PREFIXES, AND SUFFIXES.…

  11. Masses of Formal Philosophy

    DEFF Research Database (Denmark)

    Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions....

  12. How do relationships begin?

    NARCIS (Netherlands)

    Holmen, Elsebeth; Roos, Kaspar; Kallevag, Magne; von Raesfeld Meijer, Ariane M.; de Boer, L.; Pedersen, Ann-Charlott

    2005-01-01

    In this paper we address the issue ‘How do relationships begin?’ Based on a review of work within theIMP Approach on stage and state models of relationship evolution, we conclude that very littleattention has been paid to beginnings of relationships. We discuss why this might be so, and why theissue

  13. Pragmatics for formal semantics

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2011-01-01

    This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal sem...

  14. The Quantum Formalism and the GRW Formalism

    Science.gov (United States)

    Goldstein, Sheldon; Tumulka, Roderich; Zanghì, Nino

    2012-10-01

    The Ghirardi-Rimini-Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet be performed. While some testable deviations from quantum mechanics have long been known, we provide here something that has until now been missing: a formalism that succinctly summarizes the empirical predictions of GRWm and GRWf. We call it the GRW formalism. Its structure is similar to that of the quantum formalism but involves different operators. In other words, we establish the validity of a general algorithm for directly computing the testable predictions of GRWm and GRWf. We further show that some well-defined quantities cannot be measured in a GRWm or GRWf world.

  15. Industrial use of formal methods formal verification

    CERN Document Server

    Boulanger, Jean-Louis

    2012-01-01

    At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.  The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow

  16. Beginning Ubuntu Linux

    CERN Document Server

    Raggi, Emilio; Channelle, Andy; Parsons, Trevor; Van Vugt, Sander

    2010-01-01

    Ubuntu Linux is the fastest growing Linux-based operating system, and Beginning Ubuntu Linux, Fifth Edition teaches all of us - including those who have never used Linux - how to use it productively, whether you come from Windows or the Mac or the world of open source. Beginning Ubuntu Linux, Fifth Edition shows you how to take advantage of the newest Ubuntu release, Lucid Lynx. Based on the best-selling previous edition, Emilio Raggi maintains a fine balance between teaching Ubuntu and introducing new features. Whether you aim to use it in the home or in the office, you'll be introduced to th

  17. Beginning Microsoft Excel 2010

    CERN Document Server

    Katz, Abbott

    2010-01-01

    Beginning Microsoft Excel 2010 is a practical, step-by-step guide to getting started with the world's most widely used spreadsheet application. The book offers a hands-on approach to learning how to create and edit spreadsheets, use various calculation formulas, employ charts/graphs, and get work done efficiently. Microsoft is rolling out several new features with Excel 2010 - perhaps the most notable is the ability to use Excel 2010 online and this collaborate on a project in real time. Beginning Microsoft Office 2010 keeps you up-to-date with all of these new features and more. What you'll l

  18. Beginning Rails 3

    CERN Document Server

    Barazi, Rida Al

    2010-01-01

    Beginning Rails 3 is the practical starting point for anyone wanting to learn how to build dynamic web applications using the latest release of the Rails framework for Ruby. You'll learn how all of the components of Rails fit together and how you can leverage them to create sophisticated web applications with less code and more joy. This book is particularly well suited to those with little or no experience with web application development, or who have some experience but are new to Rails. Beginning Rails 3 assumes basic familiarity with web terms and technologies, but doesn't require you to b

  19. Integrating semi-formal and formal requirements

    NARCIS (Netherlands)

    Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander

    1997-01-01

    In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of

  20. Beginning to edit physics

    Energy Technology Data Exchange (ETDEWEB)

    Murphy, P.W.

    1995-02-01

    A physicist-turned-editor shows you the basics required for copyediting physics papers (physical quantities, symbols, units, scientific notation, the structure of mathematical expressions, the nature of graphs), and points the way to learning enough ``editorial physics`` to begin substantive editing.

  1. BEGINNING INDONESIAN, VOLUME 3.

    Science.gov (United States)

    DYEN, ISIDORE

    VOLUME 3 OF A 4 VOLUME WORK ON BEGINNING INDONESIAN CONTAINS LESSONS 13-18 OF A TOTAL OF 24. THESE SIX LESSONS PROVIDE DRILLS IN BASIC INDONESIAN SENTENCE PATTERNS INVOLVING THE USE OF THE PASSIVE VOICE, PRONUNCIATION TECHNIQUES, ORTHOGRAPHY, FINAL VOWELS, AND FINAL SYLLABLES. LANGUAGE DRILLS ARE ALSO PROVIDED CONCERNING THE MONTHS OF THE YEAR AND…

  2. BEGINNING INDONESIAN. VOLUME 1.

    Science.gov (United States)

    DYEN, ISIDORE

    VOLUME 1 OF A 4-VOLUME WORK ON BEGINNING INDONESIAN CONTAINS THE FIRST 6 LESSONS OF A TOTAL OF 24. THESE SIX LESSONS PROVIDE DRILLS IN BASIC INDONESIAN SENTENCE PATTERNS INVOLVING THE USE OF TERMS OF ADDRESS, POLITE FORMULAS AND RESPONSES, AUXILIARIES, COMMANDS, AND ABSOLUTE EXPRESSIONS. RELATED REPORTS ARE ED 010 456 THROUGH ED 010 459. (GD)…

  3. BEGINNING INDONESIAN. VOLUME 2.

    Science.gov (United States)

    DYEN, ISIDORE

    VOLUME 2 OF A 4-VOLUME WORK ON BEGINNING INDONESIAN CONTAINS LESSONS 7-12 OF A TOTAL OF 24. THESE SIX LESSONS PROVIDE DRILLS IN BASIC INDONESIAN SENTENCE PATTERNS INVOLVING THE USE OF DIFFICULT VERBS, THE ACTIVE VOICE, INVERTED NARRATIVE CLAUSES, INTERROGATIVE WORDS, AND COUNTING METHODS. RELATED REPORTS ARE ED 010 456 THROUGH ED 010 459. (GD)

  4. Health Begins at Home

    Centers for Disease Control (CDC) Podcasts

    2009-03-30

    Clean and well-maintained homes can prevent many illnesses and injuries. This podcast discusses how good health begins at home.  Created: 3/30/2009 by Coordinating Center for Environmental Health and Injury Prevention (CCEHIP).   Date Released: 3/30/2009.

  5. State legislatures and energy policy in the Northeast: energy facility siting and legislative action

    Energy Technology Data Exchange (ETDEWEB)

    None

    1977-06-01

    At the Federal level, a vast array of bureaucratic and legislative institutions are presently immersed in various explorations of energy policy and its national ramifications. Almost each of the 50 states has Energy offices. One element of the institutional/political equation, however, often is missed in studies of energy policy: the state legislature. This institution may well be vitally important to formulation of broad policies, and certainly is critical to successful implementation of certain aspects of those policies--especially when new enabling legislation, new tax incentives, or new regulatory powers are required. The study covers three main aspects of energy-policy formulation and action by state legislatures: legislative structure; enactment of energy-facility-siting laws; and passage (or defeat) of significant energy legislation of a more general nature. Emphasis is placed on energy-facility-siting statutes and approaches for two reasons. First, energy facilities have a great impact on land use, environmental quality, and economic growth. Second, siting of these facilities raises inherent conflicts in the attempt to achieve balance between potentially contradictory objectives. The states of New Jersey and Maryland were examined in considerable depth as examples in this study. (MCW)

  6. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism. In a...

  7. Geometry and Formal Linguistics.

    Science.gov (United States)

    Huff, George A.

    This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

  8. Beginning Objective-C

    CERN Document Server

    Dovey, James

    2012-01-01

    Objective-C is today's fastest growing programming language, at least in part due to the popularity of Apple's Mac, iPhone and iPad. Beginning Objective-C is for you if you have some programming experience, but you're new to the Objective-C programming language and you want a modern-and fast-way forwards to your own coding projects. Beginning Objective-C offers you a modern programmer's perspective on Objective-C courtesy of two of the best iOS and Mac developers in the field today, and gets you programming to the best of your ability in this important language.  It gets you rolling fast into

  9. Beginning algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Beginning Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in algebra. The publication first elaborates on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on solving linear systems by graphing, elimination method, graphing ordered pairs and straight lines, linear and compound inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then examines exponents and polynomials, factoring, and rational expressions. Topics include multiplication and division

  10. Beginning partial differential equations

    CERN Document Server

    O'Neil, Peter V

    2014-01-01

    A broad introduction to PDEs with an emphasis on specialized topics and applications occurring in a variety of fields Featuring a thoroughly revised presentation of topics, Beginning Partial Differential Equations, Third Edition provides a challenging, yet accessible,combination of techniques, applications, and introductory theory on the subjectof partial differential equations. The new edition offers nonstandard coverageon material including Burger's equation, the telegraph equation, damped wavemotion, and the use of characteristics to solve nonhomogeneous problems. The Third Edition is or

  11. Special Education Electronic Individualized Education Program (IEP) System. Fiscal Year 2016 Report to the Legislature. As Required by Minnesota Statutes, Section 125A.085

    Science.gov (United States)

    Minnesota Department of Education, 2016

    2016-01-01

    In 2013, the Minnesota Legislature appropriated $1.763M for Fiscal Year 2014 to create a statewide system for special education paperwork. In 2014, the Legislature greatly expanded the requirements of the system but did not appropriate additional resources to maintain ongoing operation of the system. The 2014 legislation codified the system in…

  12. Necessity of Integral Formalism

    International Nuclear Information System (INIS)

    Tao Yong

    2011-01-01

    To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)

  13. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    2016-01-01

    Over recent decades, ‘formal’ organisations have come in for severe criticism. Not only is formal organisation represented as ill suited to the realities of the contemporary organisational world, but as a key source from which organisational dysfunctions themselves emerge. For that reason informal...... and spontaneous modes of organising have emerged, or better re-emerged, as preferable substitutes, because they, in contrast to the formal, allegedly allow for creativity, inventiveness, flexibility, speed, and freedom. Thus, the province of the formal is significantly devalued. In this paper, we explore what we...

  14. Beginning Android 3

    CERN Document Server

    Murphy, Mark

    2011-01-01

    The vibrant and rich Android development platform, created by Google and the Open Handset Alliance, continues to be a platform in its truest sense, encompassing hundreds of classes beyond the traditional Java classes and open source components that ship with the software development kit. Android's continued growth includes support for Flash and Flash gaming apps, Wi-Fi tethering, improved performance, WebM or WebMedia integration for HTML5-based video and other multimedia APIs, Chrome OS (WebOS) integration, and more. With Beginning Android 3, you'll learn how to develop applications for Andro

  15. Begining Java EE 7

    CERN Document Server

    Gonclaves, Antonio

    2013-01-01

    Java Enterprise Edition (Java EE) continues to be one of the leading Java technologies and platforms. Beginning Java EE 7 is the first tutorial book on Java EE 7. Step by step and easy to follow, this book describes many of the Java EE 7 specifications and reference implementations, and shows them in action using practical examples. This definitive book also uses the newest version of GlassFish to deploy and administer the code examples. Written by an expert member of the Java EE specification request and review board in the Java Community Process (JCP), this book contains the best information possible, from an expert’s perspective on enterprise Java technologies.

  16. Cinder begin creative coding

    CERN Document Server

    Rijnieks, Krisjanis

    2013-01-01

    Presented in an easy to follow, tutorial-style format, this book will lead you step-by-step through the multi-faceted uses of Cinder.""Cinder: Begin Creative Coding"" is for people who already have experience in programming. It can serve as a transition from a previous background in Processing, Java in general, JavaScript, openFrameworks, C++ in general or ActionScript to the framework covered in this book, namely Cinder. If you like quick and easy to follow tutorials that will let yousee progress in less than an hour - this book is for you. If you are searching for a book that will explain al

  17. Beginning Swift programming

    CERN Document Server

    Lee, Wei-Meng

    2014-01-01

    Enter the Swift future of iOS and OS X programming Beginning Swift Programming is your ideal starting point for creating Mac, iPhone, and iPad apps using Apple's new Swift programming language. Written by an experienced Apple developer and trainer, this comprehensive guide explains everything you need to know to jumpstart the creation of your app idea. Coverage includes data types, strings and characters, operators and functions, arrays and dictionaries, control flow, and looping, with expert guidance on classes, objects, class inheritance, closures, protocols, and generics. This succinct - ye

  18. Beginning software engineering

    CERN Document Server

    Stephens, Rod

    2015-01-01

    Beginning Software Engineering demystifies the software engineering methodologies and techniques that professional developers use to design and build robust, efficient, and consistently reliable software. Free of jargon and assuming no previous programming, development, or management experience, this accessible guide explains important concepts and techniques that can be applied to any programming language. Each chapter ends with exercises that let you test your understanding and help you elaborate on the chapter's main concepts. Everything you need to understand waterfall, Sashimi, agile, RAD, Scrum, Kanban, Extreme Programming, and many other development models is inside!

  19. Cosmology without a beginning

    CERN Multimedia

    CERN. Geneva

    2000-01-01

    Most of the puzzles with standard big bang cosmology can be avoided if the big bang is NOT identified with the beginning of time. The short-distance cutoff and duality symmetries of superstring theory suggest a new (so-called pre-big bang) cosmology in which the birth of our Universe is the result of a long classical evolution characterized by a gravitational instability. I will motivate and describe this heretical scenario and compare its phenomenological implications with those of ortodox (post-big bang) inflation.

  20. Beginning Android 2

    CERN Document Server

    Murphy, Mark

    2010-01-01

    The Android development platform, created by Google and the Open Handset Alliance, is a platform in its truest sense, encompassing hundreds of classes beyond the traditional Java classes and open source components that ship with the SDK. With Beginning Android 2, you'll learn how to develop applications for Android 2.x mobile devices, using simple examples that are ready to run with your copy of the SDK. Author, Android columnist, writer, developer, and community advocate Mark L. Murphy will show you what you need to know to get started programming Android applications, including how to craft

  1. Beginning Windows 8

    CERN Document Server

    Halsey, Mike

    2012-01-01

    Windows 8 has been described by Microsoft as its 'boldest' Windows release ever. Beginning Windows 8 takes you through the new features and helps you get more out of the familiar to reveal the possibilities for this amazing new operating system. You will learn, with non-technical language used throughout, how to get up and running in the new Windows interface, minimize downtime, maximize productivity, and harness the features you never knew existed to take control of your computer and enjoy the peace of mind and excitement that comes with it. From tips and tweaks to easy-to-follow guides and d

  2. Beginning partial differential equations

    CERN Document Server

    O'Neil, Peter V

    2011-01-01

    A rigorous, yet accessible, introduction to partial differential equations-updated in a valuable new edition Beginning Partial Differential Equations, Second Edition provides a comprehensive introduction to partial differential equations (PDEs) with a special focus on the significance of characteristics, solutions by Fourier series, integrals and transforms, properties and physical interpretations of solutions, and a transition to the modern function space approach to PDEs. With its breadth of coverage, this new edition continues to present a broad introduction to the field, while also addres

  3. Beginning programming for dummies

    CERN Document Server

    Wang, Wallace

    2011-01-01

    Do you think the programmers who work at your office are magical wizards who hold special powers that manipulate your computer? Believe it or not, anyone can learn how to write programs, and it doesn't take a higher math and science education to start. Beginning Programming for Dummies shows you how computer programming works without all the technical details or hard programming language. It explores the common parts of every computer programming language and how to write for multiple platforms like Windows, Mac OS X, or Linux. This easily accessible guide provides you with the tools

  4. Formalizing Arrow's theorem

    Indian Academy of Sciences (India)

    Keywords. formalization of mathematics; Mizar; social choice theory; Arrow's theorem; Gibbard–Satterthwaite theorem; proof errors. ... Author Affiliations. Freek Wiedijk1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands ...

  5. Formalizing typical crosscutting concerns

    NARCIS (Netherlands)

    Marin, A.M.

    2006-01-01

    We present a consistent system for referring crosscutting functionality, relating crosscutting concerns to specific implementation idioms, and formalizing their underlying relations through queries. The system is based on generic crosscutting concerns that we organize and describe in a catalog. We

  6. Report to the Legislature by the Native American Heritage Commission on Protection of Native American Sacred Places in California.

    Science.gov (United States)

    Native American Heritage Commission, Sacramento, CA.

    Created by act of the California Legislature in September of 1976, the Native American Heritage Commission seeks to identify and protect places of cultural significance to California Native Americans and to safeguard Indian religious rights. The Commission, which is composed entirely of Native Americans, provides community services to solve the…

  7. Upholding Indigenous Freedoms of Religion and Medicine: Peyotists at the 1906-1908 Oklahoma Constitutional Convention and First Legislature

    Science.gov (United States)

    Wiedman, Dennis

    2012-01-01

    In the five hundred years of European and American globalization of the world, seldom have Indigenous peoples been invited to a constitutional convention and first legislature to express their perspectives and concerns. Rarely in the five-hundred-year history of the European and American colonization of the world were the rights of the Indigenous…

  8. The legislature's duty to make subsequent improvements in the Atomic Energy Law

    International Nuclear Information System (INIS)

    Rossnagel, A.

    1985-01-01

    The decision as to whether the Federal Republic of Germany will enter the phase of closing the nuclear fuel cycle by approvement of the plutonium recycling technology may not implicity be taken by the executive; this question has to be treated as a problem of principles, and the decision has to be taken by the legislature alone, on the basis of a complete risk-benefit analysis. Parliament is obliged to 'improve' the provisions of the Atomic Energy Law as soon as new, essential developments and scientific knowledge are available. Until this duty has been fulfilled, the licensing authorities do not have the competence to licence large-scale technical activities such as plutonium recycle and storage, and the Federal Minister of the Interior is not authorised to give order to the authorities to license such activities. (orig.) [de

  9. Behaviorism and the beginnings of close reading.

    Science.gov (United States)

    Gang, Joshua

    2011-01-01

    Many of close reading's most enduring assumptions and techniques have their origins in psychological behaviorism. Beginning with I. A. Richards's critical work from the 1920s, this article demonstrates the central place of behaviorist ideas in New Critical theories of poetry. Despite explicitly disparaging Richards's behavioristic poetics, Brooks's Well Wrought Urn and Wimsatt and Beardsley's "intentional fallacy" perpetuated behaviorism's influence on literary criticism. This article traces how the New Critics translated behavioristic psychology into poetic formalism and discusses the implications of this for contemporary critical practice.

  10. Formality in Brackets

    DEFF Research Database (Denmark)

    Garsten, Christina; Nyqvist, Anette

    suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... conceptualize and articulate the informal and the formal? How do we represent the multidimensional character of organizations while maintaining a degree of integrity of informants? And how do we decide on relevance as we transpose our fieldwork experiences into text? We suggest that ethnographic organization...

  11. Formalizing Probabilistic Safety Claims

    Science.gov (United States)

    Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

    2011-01-01

    A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

  12. Ontology or formal ontology

    Science.gov (United States)

    Žáček, Martin

    2017-07-01

    Ontology or formal ontology? Which word is correct? The aim of this article is to introduce correct terms and explain their basis. Ontology describes a particular area of interest (domain) in a formal way - defines the classes of objects that are in that area, and relationships that may exist between them. Meaning of ontology consists mainly in facilitating communication between people, improve collaboration of software systems and in the improvement of systems engineering. Ontology in all these areas offer the possibility of unification of view, maintaining consistency and unambiguity.

  13. Concepciones acerca de la maternidad en la educación formal y no formal

    Directory of Open Access Journals (Sweden)

    Alvarado Calderón, Kathia

    2005-06-01

    Full Text Available Este artículo presenta algunos resultados de la investigación desarrollada en el Instituto de Investigación en Educación (INIE, bajo el nombre "Construcción del concepto de maternidad en la educación formal y no formal". Utilizando un enfoque cualitativo de investigación, recurrimos a las técnicas de elaboración de dibujos, entrevistas y grupo focal como recursos para la recolección de la información. De esta manera, podemos acercarnos a las concepciones de la maternidad que utilizan los participantes de las diferentes instancias educativas (formal y no formal con quienes se trabajó. This article presents some results the research developed in the Instituto de Investigación en Educación (INIE, named "Construcción del concepto de maternidad en la educación formal y no formal". It begins with a theoretical analysis about social conceptions regarding motherhood in the occidental societies. Among the techniques for gathering information were thematic drawing, interview and focus group, using a qualitative approach research method. This is followed by a brief summary of main findings. The article concludes with a proposal of future working lines for the deconstruction of the motherhood concept in formal and informal education contexts.

  14. Beginning statistics with data analysis

    CERN Document Server

    Mosteller, Frederick; Rourke, Robert EK

    2013-01-01

    This introduction to the world of statistics covers exploratory data analysis, methods for collecting data, formal statistical inference, and techniques of regression and analysis of variance. 1983 edition.

  15. Criteria for logical formalization

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2013-01-01

    Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

  16. Formal Verification -26 ...

    Indian Academy of Sciences (India)

    This is a short tutorial on formal methods which are techniques for specifying and verifying com- plex software and hardware systems. A few ex- amples of successful industrial use of these are also presented. Computers are ubiquitous these days and are used to control various safety critical systems like aircrafts, satel-.

  17. Formalization of Medical Guidelines

    Czech Academy of Sciences Publication Activity Database

    Peleška, Jan; Anger, Z.; Buchtela, David; Šebesta, K.; Tomečková, Marie; Veselý, Arnošt; Zvára, K.; Zvárová, Jana

    2005-01-01

    Roč. 1, - (2005), s. 133-141 ISSN 1801-5603 R&D Projects: GA AV ČR 1ET200300413 Institutional research plan: CEZ:AV0Z10300504 Keywords : GLIF model * formalization of guidelines * prevention of cardiovascular diseases Subject RIV: IN - Informatics, Computer Science

  18. The Benefits of Formalization

    DEFF Research Database (Denmark)

    Rand, John; Torm, Nina Elisabeth

    2012-01-01

    Based on unique panel data consisting of both formal and informal firms, this paper uses a matched double difference approach to examine the relationship between legal status and firm level outcomes in micro, small and medium manufacturing enterprises (SMEs) in Vietnam. Controlling for determining...

  19. Formalizing Arrow's theorem

    Indian Academy of Sciences (India)

    a formalization is done using a computer program called a proof checker or proof assistant. Such a proof assistant .... means 'Prototype Verification System', but the system is far more than a prototype. It actually is one of the ... related to the Lisp programming language (ACL2 means 'A Computational Logic for. Applicative ...

  20. Formalizing physical security procedures

    NARCIS (Netherlands)

    Meadows, C.; Pavlovic, Dusko

    Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now

  1. Beginning analog electronics through projects

    CERN Document Server

    Singmin, Andrew

    2001-01-01

    Analog electronics is the simplest way to start a fun, informative, learning program. Beginning Analog Electronics Through Projects, Second Edition was written with the needs of beginning hobbyists and students in mind. This revision of Andrew Singmin's popular Beginning Electronics Through Projects provides practical exercises, building techniques, and ideas for useful electronics projects. Additionally, it features new material on analog and digital electronics, and new projects for troubleshooting test equipment.Published in the tradition of Beginning Electronics Through Projects an

  2. Childhood Obesity Task Forces Established by State Legislatures, 2001-2010

    Science.gov (United States)

    Kim, Sonia A.; Sherry, Bettylou; Blanck, Heidi M.

    2013-01-01

    Introduction States and communities are considering policy and environmental strategies, including enacting legislation, to reduce and prevent childhood obesity. One legislative approach has been to create task forces to understand key issues and develop a course of action. The goal of this study was to describe state-level, childhood obesity task forces in the United States created by legislation from 2001 through 2010. Methods We used the Center for Disease Control and Prevention’s Division of Nutrition, Physical Activity, and Obesity database to identify state-level childhood obesity task forces created through legislation from 2001 through 2010. Results We identified 21 states that had enacted legislation creating childhood obesity task forces of which 6 had created more than one task force. Most task forces were charged with both gathering and reviewing information and making recommendations for obesity-prevention actions in the state. Most legislation required that task forces include representation from the state legislature, state agencies, community organizations, and community members. Conclusion Evaluation of the effectiveness of obesity-prevention task forces and the primary components that contribute to their success may help to determine the advantages of the use of such strategies in obesity prevention. PMID:23987250

  3. Formalized Informal Learning

    DEFF Research Database (Denmark)

    Levinsen, Karin Tweddell; Sørensen, Birgitte Holm

    2013-01-01

    are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach......Longitudinal research projects into social practices are both subject to and capture changes in society, meaning that research is conducted in a fluid context and that new research questions appear during the project’s life cycle. In the present study emerging new performances and uses of ICT....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

  4. Readings in Formal Epistemology

    DEFF Research Database (Denmark)

    Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty......, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision, and game theory. This volume presents 42 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy...... and its neighbouring intellectual disciplines. The editors provide introductions to five basic subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Logics of Knowledge and Belief. The volume also includes a thorough index and suggestions for further reading...

  5. Formal groups and applications

    CERN Document Server

    Hazewinkel, Michiel

    2012-01-01

    This book is a comprehensive treatment of the theory of formal groups and its numerous applications in several areas of mathematics. The seven chapters of the book present basics and main results of the theory, as well as very important applications in algebraic topology, number theory, and algebraic geometry. Each chapter ends with several pages of historical and bibliographic summary. One prerequisite for reading the book is an introductory graduate algebra course, including certain familiarity with category theory.

  6. Formal Methods in Industry

    Directory of Open Access Journals (Sweden)

    Alexei Serna A.

    2012-12-01

    Full Text Available The application of formal methods in industry has progressed extensively over the past decade and the results are promising. But despite these achievements and it have been documented in numerous studies, it is still very common the skepticism about its usefulness and applicability. The goal of this paper is to show that its evolution over the past decade exceeds all previous processes and each time they do a better job to satisfy industrial needs. This is achieved by the description of some experiments and the result of various applications in industry and through an analyzing of the needs of companies that must be satisfy the research community in this field.

  7. Formalizing the concept of sound.

    Energy Technology Data Exchange (ETDEWEB)

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  8. Formalization of Database Systems -- and a Formal Definition of {IMS}

    DEFF Research Database (Denmark)

    Bjørner, Dines; Løvengreen, Hans Henrik

    1982-01-01

    Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

  9. Formalization of Database Systems -- and a Formal Definition of {IMS}

    DEFF Research Database (Denmark)

    Bjørner, Dines; Løvengreen, Hans Henrik

    1982-01-01

    come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics......Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

  10. Formal Methods in Knowledge Engineering

    NARCIS (Netherlands)

    Harmelen, van F.A.H.; Fensel, D.

    1995-01-01

    This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by

  11. First formal ITER negotiations make excellent progress

    International Nuclear Information System (INIS)

    Barnard, P.

    2001-01-01

    November 8 and 9 2001 marked the historic beginning of formal negotiations meetings on the ITER project. Delegations from Canada, the European Union, Japan and the Russian Federation met in Toronto, Canada, for the first in a series of Negotiations that is expected to lead, by the end of 2002, to an agreement on the joint implementation of ITER. This agreement will govern, under international law, the construction, operation and decommissioning of ITER. The Negotiations concluded by issuing a joint news release, reflecting a commitment to share the progress reports on the efforts to implement ITER

  12. Beginnings

    DEFF Research Database (Denmark)

    Rehfeld, Jens F

    2012-01-01

    The gut is the largest endocrine organ in the body. Gut hormones share some characteristics: Their structure groups hormones into families, each of which originate from a single gene. A hormone gene is often expressed in multiple peptides due to tandem genes, alternative splicing or differentiated...

  13. In/formalization

    Directory of Open Access Journals (Sweden)

    Alan Smart

    2017-12-01

    Full Text Available Addressing a variety of locations and subjects across several social contexts and countries, this forum intends to stimulate novel ways of conceptualizing the inevitable interpenetration and entanglement of formalization and informalization as two interlinked social processes. Rather than proposing a new coherent definition of “informality”, we propose to consider “in/formalization” as a space of practice and reflection which is crucial for engaging with contemporary economy, law and politics and their current local and global articulations and scenarios. The forum features contributions by Stamatis Amarianakis, Lenka Brunclíková, Dolores Koenig, B. Lynne Milgram, Sarah Muir, Antonio Maria Pusceddu, Alan Smart, Mechthild von Vacano, Filippo M. Zerilli & Julie Trappe.

  14. Formal aspects of resilience

    Directory of Open Access Journals (Sweden)

    Diana-Maria Drigă

    2015-12-01

    Full Text Available The concept of resilience has represented during the recent years a leading concern both in Romania, within the European Union and worldwide. Specialists in economics, management, finance, legal sciences, political sciences, sociology, psychology, grant a particular interest to this concept. Multidisciplinary research of resilience has materialized throughout the time in multiple conceptualizations and theorizing, but without being a consensus between specialists in terms of content, specificity and scope. Through this paper it is intended to clarify the concept of resilience, achieving an exploration of the evolution of this concept in ecological, social and economic environment. At the same time, the paper presents aspects of feedback mechanisms and proposes a formalization of resilience using the logic and mathematical analysis.

  15. Formalized informal learning

    DEFF Research Database (Denmark)

    Levinsen, Karin; Sørensen, Birgitte Holm

    2011-01-01

    This paper presents findings from a large-scale longitudinal, qualitative study - Project ICT and Learning (PIL) - that engaged the participation of eight primary schools in Denmark, and was conducted between 2006 and 2008. The research design was based on action research, involving teachers...... and other relevant stakeholders, as well as participant observations in the classroom documented by thick descriptions, formal and informal interviews and focus group interviews. The aim of the study was to explore and identify relations between designs for teaching and learning and the students' learning...... of school subjects within defined learning goals and curricula, along with various implementations of ICT in the pedagogical everyday practice (Levinsen & Sørensen 2008). However, another research strand - the topic of this paper - emerged during the project's life cycle as a consequence of ongoing changes...

  16. Reflective Methodology: The Beginning Teacher

    Science.gov (United States)

    Templeton, Ronald K.; Siefert, Thomas E.

    1970-01-01

    Offers a variety of specific techniques which will help the beginning teacher to implement reflective methodology and create an inquiry-centered classroom atmosphere, at the same time meeting the many more pressing demands of first-year teaching. (JES)

  17. The beginning of human life

    Science.gov (United States)

    2008-01-01

    Introduction The Jewish religion is characterized by a strict association between faith and practical precept. Jewish law has two sections, the written and the oral tradition. The foundation of the written law and the origin of authority is the Torah, the first five books of the Scripture. It is an expression of God’s revelation, teaching and guiding humanity. The oral laws interpret, expand, and elucidate the written Torah and behavior patterns regulate new rules and customs. The main parts of the oral law are as follows: the Mishnah, the Talmud, Post-Talmudic Codes and. Responsa Literature. Discussion Life is a process that has a beginning and an end. The consensus about the time when human life really begins is still not reached among scientists, philosophers, ethicists, sociologists and theologizes. The scientific data suggested that a single developmental moment marking the beginning of human life does not exist. Current biological perspectives on when human life begins range through fertilization, gastrulation, to birth and even after. The development of a newborn is a smoothly continuous process. Results Procreation is acknowledged in the Bible to be the gift of God. The (Halachic) Jewish interpretation of when human life begins is extracted predominantly from procreation is acknowledged in the Bible to be the gift of God. The Jewish interpretation of when human life begins is extracted predominantly from The Halachic sources. The Bible does not make any other direct references regarding the beginning of human life. Conclusion While the Talmud gives the full status of humanness to a child at birth, the rabbinical writings have partially extended the acquisition of humanness to the 13th postnatal day of life for full-term infants. The Babylonian Talmud Yevamot 69b states that: “the embryo is considered to be mere water until the fortieth day.” Afterwards, it is considered subhuman until it is born. The issues of abortion, embryo research, multifetal

  18. Formalism and the notion of truth

    Science.gov (United States)

    Spencer, Joseph M.

    The most widely acknowledged conceptions of truth take some kind of relation to be at truth's core. This dissertation attempts to establish that an adequate conception of this relation begins with an investigation of the entanglement of the formal and the material as set forth in the model theoretical development of set theoretical mathematics. Truth concerns first and most crucially a certain commerce across the border between the formal and the material, between the ideal and the real. The entanglement of the formal and the material must be thought in itself, apart from or prior to any assimilation into philosophical schemas committed to larger metaphysical claims. This is accomplished in model theory. The twentieth century witnessed two attempts at bringing model theoretical mathematics to bear on accounting philosophically for the concept of truth: that of Alfred Tarski, and that of Alain Badiou. In order to investigate the relevance of model theory to the task of working out a philosophical conception of truth, this dissertation investigates, through comparative work, these two thinkers. It is necessary to see where their projects converge in important ways, as well as where their projects diverge in equally important ways. What brings their work into close proximity is their shared conviction that truth must be thought in light of model theory. Nonetheless, the two do not agree about exactly how model theory sheds light on truth. Comparative study thus reveals both a shared site for thinking and a struggle over the significance of that site. Agreement between Tarski and Badiou concerns the excess of the purely formal over itself, marked by the generation of an undecidable statement within formal systems of a certain level of complexity. Both thinkers determine that this formal excess touches on the material, and both further determine that the consequent entanglement of the formal and the material provides the basic frame for any philosophical consideration

  19. Spinor formalism and complex-vector formalism of general relativity

    International Nuclear Information System (INIS)

    Han-ying, G.; Yong-shi, W.; Gendao, L.

    1974-01-01

    In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra

  20. The (non-utilisation of information provided by the senior information officers to the researchers in the Gauteng provincial legislature

    Directory of Open Access Journals (Sweden)

    A.C. Netshivhuyu

    2015-06-01

    Full Text Available Members of legislatures are relying on the researchers to guide and advise them on the alternatives to deliver on their constitutional mandates of law making, oversight, public participation and cooperative governance. The researchers are also dependent on the Senior Information Officers for the provision of current comprehensive, unbiased and reliable information in order to develop research and advisory documents to be used by legislators when carrying out their mandates. However, legislators often decry the standard of research and advisory documents, citing the shortcomings which include among others: inadequateness, inaccuracy and lack of credibility of the information upon which they are to base their decisions or policy direction. This study was set out to investigate the extent to which researchers in the legislatures utilise the information provided by the Senior Information Officers (SIOs and/or the reasons for non-utilisation thereof in cases where information is not utilised. The study used a qualitative research approach to establish meaning from the views of the participants. In-depth interviews were used as a key method of data collection. The findings of this study suggest that the Gauteng Provincial Legislature’s researchers do not make full use of the Information provided to them by the SIOs. Furthermore, researchers appeared not to value the role played by the SIOs in keeping the legislators informed but rather as duplicating the researchers’ role

  1. Multifractal formalisms of human behavior.

    Science.gov (United States)

    Ihlen, Espen A F; Vereijken, Beatrix

    2013-08-01

    With the mounting realization that variability is an inevitable part of human behavior comes the need to integrate this phenomenon in concomitant models and theories of motor control. Among other things, this has resulted in a debate throughout the last decades about the origin of variability in behavior, the outcome of which has important implications for motor control theories. To date, a monofractal formalism of variability has been used as the basis for arguing for component- versus interaction-oriented theories of motor control. However, monofractal formalism alone cannot decide between the opposing sides of the debate. The present theoretical overview introduces multifractal formalisms as a necessary extension of the conventional monofractal formalism. In multifractal formalisms, the scale invariance of behavior is numerically defined as a spectrum of scaling exponents, rather than a single average exponent as in the monofractal formalism. Several methods to estimate the multifractal spectrum of scaling exponents - all within two multifractal formalisms called large deviation and Legendre formalism - are introduced and briefly discussed. Furthermore, the multifractal analyses within these two formalisms are applied to several performance tasks to illustrate how explanations of motor control vary with the methods used. The main section of the theoretical overview discusses the implications of multifractal extensions of the component- and interaction-oriented models for existing theories of motor control. Copyright © 2013 Elsevier B.V. All rights reserved.

  2. Leibniz' First Formalization of Syllogistics

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

    of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity...

  3. Outline of Neutron Scattering Formalism

    OpenAIRE

    Berk, N. F.

    1993-01-01

    Neutron scattering formalism is briefly surveyed. Topics touched upon include coherent and incoherent scattering, bound and free cross-sections, the Van Hove formalism, magnetic scattering, elastic scattering, the static approximation, sum rules, small angle scattering, inelastic scattering, thermal diffuse scattering, quasielastic scattering, and neutron optics.

  4. A Formalization of Linkage Analysis

    DEFF Research Database (Denmark)

    Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.

    In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been ...

  5. Formal Methods: Practice and Experience

    DEFF Research Database (Denmark)

    Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan

    2009-01-01

    Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design. We do this by reporting on...

  6. Math Learning Begins at Home

    Science.gov (United States)

    Eason, Sarah H.; Levine, Susan C.

    2017-01-01

    Children demonstrate gaps in the math knowledge that they possess by the time they begin school, and these gaps have been found to predict long-term outcomes not only in math but also in reading. Consequently, it is important to identify what accounts for these early differences and how they can be addressed to ensure that all children enter…

  7. In the beginning was information

    CERN Document Server

    Gitt, Werner, Dr

    2006-01-01

    Information is the cornerstone of life, yet it is something people don't often think about. In his fascinating new book, In the Beginning Was Information, Dr. Werner Gitt helps the reader see how the very presence of information reveals a Designer.

  8. New procedure for departure formalities

    CERN Multimedia

    HR & GS Departments

    2011-01-01

    As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...

  9. Formal Education with LSST

    Science.gov (United States)

    Herrold, Ardis; Bauer, Amanda, Dr.; Peterson, J. Matt; Large Synoptic Survey Telescope Education and Public Outreach Team

    2018-01-01

    The Large Synoptic Survey Telescope will usher in a new age of astronomical data exploration for science educators and students. LSST data sets will be large, deep, and dynamic, and will establish a time-domain record that will extend over a decade. They will be used to provide engaging, relevant learning experiences.The EPO Team will develop online investigations using authentic LSST data that offer varying levels of challenge and depth by the start of telescope operations, slated to begin in 2022. The topics will cover common introductory astronomy concepts, and will align with the four science domains of LSST: The Milky Way, the changing sky (transients), solar system (moving) objects, and dark matter and dark energy.Online Jupyter notebooks will make LSST data easily available to access and analyze by students at the advanced middle school through college levels. Using online notebooks will circumvent common obstacles caused by firewalls, bandwidth issues, and the need to download software, as they will be accessible from any computer or tablet with internet access. Although the LSST EPO Jupyter notebooks are Python-based, a knowledge of programming will not be required to use them.Each topical investigation will include teacher and student versions of Jupyter notebooks, instructional videos, and access to a suite of support materials including a forum, and professional development training and tutorial videos.Jupyter notebooks will contain embedded widgets to process data, eliminating the need to use external spreadsheets and plotting software. Students will be able to analyze data by using some of the existing modules already developed for professional astronomers. This will shorten the time needed to conduct investigations and will shift the emphasis to understanding the underlying science themes, which is often lost with novice learners.

  10. CONTRACTUAL FREEDOM AND FORMALISM IN THE CREDIT AGREEMENT

    Directory of Open Access Journals (Sweden)

    ANCA NICOLETA GHEORGHE

    2011-04-01

    Full Text Available The credit agreement meaning is trust. It involves a psychological relationship between two or more persons, characterized by predictability the third one involving present or future action on the status of a particular person.This relationship is psychological, in a certain context, social relationship and may take legal meanings. If at the beginning, people borrowed food and tools, later borrowed money to buy everything you wanted. Financial lending institution has become very popular, creating a group of people who have dealt with this service. Over time, this community has turned into banks. Being originally a loan of money covered by the Civil Code, the credit is used daily by both individuals and by professionals, becoming an engine of capitalist society. Unprecedented expansion of this contract led to a strict control of public authorities and subsequent legislative interventions, the articles of the Civil Code is supplemented by regulations governing the progressive banking, legal interest, namely consumer credit. Under the credit agreement, the economic situation of the parties is not equal, one party is disadvantaged in comparison to the other, protecting the disadvantaged part of the legislature making it a target in credit operations. In French doctrine, consumer credit has been praised as “a contract of all pleasures”; but at the same time “an agreement of all risks”.

  11. Formal verification - Robust and efficient code: Introduction to Formal Verification

    CERN Multimedia

    CERN. Geneva

    2016-01-01

    In general, FV means "proving that certain properties hold for a given system using formal mathematics". This definition can certainly feel daunting, however, as we will learn, we can reap benefits from the paradigm without digging too deep into ...

  12. Scalable Techniques for Formal Verification

    CERN Document Server

    Ray, Sandip

    2010-01-01

    This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issue

  13. Leibniz' First Formalization of Syllogistics

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

    of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity......In his Dissertatio de Arte Combinatoria from 1666 Leibniz provides a formal presentation of syllogistics within the framework of his general-combinatoric program. He does not set up an axiomatic system for the derivation of all valid syllogistic mode, rather he formulates a set of rules which...

  14. The Beginning of Protohaykian Calendar

    Science.gov (United States)

    Broutian, G. H.

    2017-07-01

    From its foundation, studies in the field of history of Armenian astronomy and Armenian calendars were integral to astrophysical researches of the Byurakan Observatory. It is important to note the monographs and articles of H. Badalian and B. Toumanian in this field. As the result of our work in this field, beginning of the Haykian calendar (BC 2341) and the concept of Protohaykian calendar were established. In the present work an attempt is made to determine the beginning of the oldest Armenian calendar-the Protohaykian calendar. It is shown that Protohaykian calendar was originated when the heliacal rising of the star Spica (α Virgo) was observable from Armenia 8 days before summer solstice. Calculations made on this basis provide date of the beginning of this calendar as BC 9000 with an error not to exceed 80 years. This date is in correspondence with the date of observations of the Pleiades from Metsamor (about BC 9000), that was found a few years ago. Meanwhile, it also corresponds to the geological data, which prove, that the oldest lake (Araratian Sea) in the territory of modern Araratian valley was dried out at the same time. There is also good correlation with the time of cultivation of crops that was done in the territory of historical Armenia about 12000 years ago.

  15. The debate over weight- versus price-based taxation of snuff in the United States' state legislatures.

    Science.gov (United States)

    Timberlake, David S; Sami, Mojgan; Patel, Sonam; Thiagarajan, Shamili; Badiyan, Ramin; Willard, Shay

    2014-08-01

    Discount snuff, known for its cheap price, high nicotine content, and popularity among youth, has increased substantially in market share in the United States. As a likely result, the leading manufacturer of premium snuff has supported legislation changing the basis for taxing snuff from price to weight. To determine which public health issues arose in legislative debates, we transcribed 17 of 52 bills from US state legislatures and coded for arguments broadly categorized into public health, fair taxation, tax revenue, tax efficiency, and anti-competitiveness. State legislators expressed frustration that equitable taxation, revenue generation, and prevention of youth tobacco use were frequently conflated in the debates. Public health advocates expressed concerns over youths' incentives to purchase low-weight snuff, but seldom discussed youths' growing preference for discount snuff. The evolving market of moist snuff is a critical consideration for US state legislators as well as policy makers from other countries who may evaluate taxation methods for alternate tobacco products.

  16. Low-level waste management: a report on the states - the laws, the legislature, the administration

    International Nuclear Information System (INIS)

    1981-10-01

    This document presents a state-by-state review of existing legislation on low-level radioactive waste disposal. As noted in the introduction, exploration of regional waste management has begun in many parts of the country. To aid readers wishing to obtain legislative information quickly, this document has been organized according to those general geographical areas currently engaged in regional discussion. The first section includes those states who have yet to enter into formal compact negotiations or who have indicated their intention to manage waste as a single state. At this writing only three states have enacted a regional compact. It should also be noted that the membership of the Midwest and Southcentral areas particularly are in considerable flux. The grouping of state profiles in this document is thus for the purpose of quick reference to the changing national picture and is not presented as recommended regions

  17. El Salvador - Formal Technical Education

    Data.gov (United States)

    Millennium Challenge Corporation — With a budget of nearly $20 million, the Formal Technical Education Sub-Activity was designed to strengthen technical and vocational educational institutions in the...

  18. Concepts of formal concept analysis

    Science.gov (United States)

    Žáček, Martin; Homola, Dan; Miarka, Rostislav

    2017-07-01

    The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.

  19. Readings in Formal Epistemology : Sourcebook

    NARCIS (Netherlands)

    Arló-Costa, H.; Hendricks, V.F.; van Benthem, J.

    2016-01-01

    This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory,

  20. How does interstitial cystitis begin?

    Science.gov (United States)

    Parsons, C Lowell

    2015-12-01

    Interstitial cystitis (IC) does not start as an endstage disease, it has a beginning when symptoms are milder, intermittent and the disease is misdiagnosed. To determine how IC develops patients were interviewed on when their symptoms began, what they were and are now as well as the various diagnoses that they received before they were determined to have IC. One hundred female IC patients were screened. They filled out a questionnaire asking about the age their disease presented, their initial and current symptoms, what their original diagnoses were, effect of the menstrual cycle and sexual activity on their symptoms and about any relatives with bladder symptoms or a current diagnosis of IC. By age 30, 81% of patients had bladder symptoms, 21% before age 10. The first symptom was frequency in 81%, pain present in 59% and the symptoms were intermittent in 64%. Most common early misdiagnosis was UTI in 74% with 93% reporting negative urine cultures. Sex was painful and causes symptom flares in 82%, symptoms flared the week before the menses in 75%. Most common gynecologic diagnosis was yeast vaginitis, 42%. Urge incontinence was present in 33%. There were 51% that reported bladder symptoms in a first degree female relative. IC begins primarily with frequency and is intermittent in most patients with symptom flares associated with sexual activity. Pain and urgency incontinence tend to be a later symptoms. When IC flares the most common misdiagnosis is UTI. Symptoms begin before age 30 in most but an IC diagnosis is often not made until age 40. Genetics appear to play a significant role. It is important to consider these facts when evaluating women with "early IC" because correct diagnosis will result in proper therapy and reduced health care costs.

  1. Engineering drawing from the beginning

    CERN Document Server

    Cousins, M F

    1970-01-01

    Engineering Drawing from the Beginning, Volume 2 discusses the methods for communicating technical engineering concepts through illustrations and drawings. This volume covers the more advance techniques in engineering drawing. The coverage of the text includes the helix, which is the path traced by a point moving uniformly around the surface of a right cylinder that is moving axially. The book also covers drawings of solid objects such as prisms, pyramids, and cones, along with hollow objects made from sheet material. In Chapter 5, the text presents the conventional representations of common

  2. Beginning RPG Maker VX Ace

    CERN Document Server

    Perez, Darrin

    2014-01-01

    Beginning RPG Maker VX Ace takes you through the process of using the RPG Maker VX Ace game development engine to create your very own role playing game. The book has been designed with the complete beginner in mind who has little to no experience with the engine. Tutorials and exercises will take you from installing the software to putting the final touches upon your first project. Game design can be quite a daunting challenge, as it generally involves a large amount of programming know-how on top of having to plan everything out that makes a good game what it is. RPG Maker VX Ace

  3. Beginning SQL Server 2008 Administration

    CERN Document Server

    Walters, R

    2009-01-01

    Beginning SQL Server 2008 Administration is essential for anyone wishing to learn about implementing and managing SQL Server 2008 database. From college students, to experienced database administrators from other platforms, to those already familiar with SQL Server and wanting to fill in some gaps of knowledge, this book will bring all readers up to speed on the enterprise platform Microsoft SQL Server 2008. * Clearly describes relational database concepts* Explains the SQL Server database engine and supporting tools* Shows various database maintenance scenarios What you'll learn* Understand c

  4. Beginning Windows 8.1

    CERN Document Server

    Halsey, Mike

    2013-01-01

    Windows 8 has been described by Microsoft as its 'boldest' Windows release ever and the 8.1 update enhances the paradigm further. Beginning Windows 8.1 takes you through the new features and helps you get more out of the familiar to reveal the fullest possibilities for this amazing new operating system. You will learn, with non-technical language used throughout, how to get up and running in the new Windows interface, minimize downtime, maximize productivity, and harness the features you never knew existed to take control of your computer and enjoy the peace of mind and excitement that comes w

  5. Beginning Django E-Commerce

    CERN Document Server

    McGaw, James

    2009-01-01

    Beginning Django E-Commerce guides you through producing an e-commerce site using Django, the most popular Python web development framework. Topics covered include how to make a shopping cart, a checkout, and a payment processor; how to make the most of Ajax; and search engine optimization best practices. Throughout the book, you'll take each topic and apply it to build a single example site, and all the while you'll learn the theory behind what you're architecting. * Build a fully functional e-commerce site. * Learn to architect your site properly to survive in an increasingly competitive onl

  6. Partnership Cultures: Beginning at the Beginning through Parenting

    Directory of Open Access Journals (Sweden)

    Licia Rando

    2016-06-01

    Full Text Available Partnership cultures begin with the smallest units of society, the family. Creating partnership families requires evaluating internalized parenting scripts, discarding domination practices, and acting to nurture and form healthy relationships. Care and respect are foundational to partnership parenting, creating a safe environment in which children’s neurophysiologies flourish. Parenting practices that promote safety and calm, such as use of touch and communication that appreciates feelings, buffer children from the effects of stress. Policies and practices that support parents toward partnership -- particularly parents living with overwhelming stress, depression, addictions, and/or childhood histories of abuse and neglect -- may improve children’s lifetime physical and mental health outcomes as well as improve our society.

  7. Formalization of an environmental model using formal concept analysis - FCA

    Science.gov (United States)

    Bourdon-García, Rubén D.; Burgos-Salcedo, Javier D.

    2016-08-01

    Nowadays, there is a huge necessity to generate novel strategies for social-ecological systems analyses for resolving global sustainability problems. This paper has as main purpose the application of the formal concept analysis to formalize the theory of Augusto Ángel Maya, who without a doubt, was one of the most important environmental philosophers in South America; Ángel Maya proposed and established that Ecosystem-Culture relations, instead Human-Nature ones, are determinants in our understanding and management of natural resources. Based on this, a concept lattice, formal concepts, subconcept-superconcept relations, partially ordered sets, supremum and infimum of the lattice and implications between attributes (Duquenne-Guigues base), were determined for the ecosystem-culture relations.

  8. Review of the helicity formalism; Revision del formalismo de helicidad

    Energy Technology Data Exchange (ETDEWEB)

    Barreiro, F.; Cerrada, M.; Fernandez, E.

    1972-07-01

    Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs.

  9. When’s the Party (or Coalition? Agenda-Setting in a Highly Fragmented, Decentralized Legislature

    Directory of Open Access Journals (Sweden)

    Mónica Pachón

    2016-01-01

    Full Text Available This paper examines committee behavior in Colombia to determine whether parties or coalitions exert agenda-setting powers despite the fact that the formal rules seemingly create little incentive for cooperation. Colombia’s party system is extremely fragmented, electoral volatility is high, and there is a long history of candidate-centered electoral rules, all of which suggests that party and coalition leaders have few tools to control the legislative agenda. Additionally, chairs do not directly control committee reports as in other presidential cases. However, the naming of ponentes (rapporteurs to write ponencias (bill reports for the committee may give leaders the opportunity to set the agendas in committees. Hence, we test whether committee chairs strategically name ponentes to control the agenda and favor their partisan or coalition interests. We test these ideas using a unique dataset covering two complete legislative sessions and thousands of bills. Overall, we find that committee chairs use the ponente process to set the agenda and privilege legislation sponsored by allies, especially the executive.

  10. Representations of spacetime: Formalism and ontological commitment

    Science.gov (United States)

    Bain, Jonathan Stanley

    This dissertation consists of two parts. The first is on the relation between formalism and ontological commitment in the context of theories of spacetime, and the second is on scientific realism. The first part begins with a look at how the substantivalist/relationist debate over the ontological status of spacetime has been influenced by a particular mathematical formalism, that of tensor analysis on differential manifolds (TADM). This formalism has motivated the substantivalist position known as manifold substantivalism. Chapter 1 focuses on the hole argument which maintains that manifold substantivalism is incompatible with determinism. I claim that the realist motivations underlying manifold substantivalism can be upheld, and the hole argument avoided, by adopting structural realism with respect to spacetime. In this context, this is the claim that it is the structure that spacetime points enter into that warrants belief and not the points themselves. In Chapter 2, an elimination principle is defined by means of which a distinction can be made between surplus structure and essential structure with respect to formulations of a theory in two distinct mathematical formulations and some prior ontological commitments. This principle is then used to demonstrate that manifold points may be considered surplus structure in the formulation of field theories. This suggests that, if we are disposed to read field theories literally, then, at most, it should be the essential structure common to all alternative formulations of such theories that should be taken literally. I also investigate how the adoption of alternative formalisms informs other issues in the philosophy of spacetime. Chapter 3 offers a realist position which takes a semantic moral from the preceding investigation and an epistemic moral from work done on reliability. The semantic moral advises us to read only the essential structure of our theories literally. The epistemic moral shows us that such structure

  11. No Smooth Beginning for Spacetime

    Science.gov (United States)

    Feldbrugge, Job; Lehners, Jean-Luc; Turok, Neil

    2017-10-01

    We identify a fundamental obstruction to any theory of the beginning of the Universe, formulated as a semiclassical path integral. The Hartle-Hawking no boundary proposal and Vilenkin's tunneling proposal are examples of such theories. Each may be formulated as the quantum amplitude for obtaining a final 3-geometry by integrating over 4-geometries. We introduce a new mathematical tool—Picard-Lefschetz theory—for defining the semiclassical path integral for gravity. The Lorentzian path integral for quantum cosmology with a positive cosmological constant is mathematically meaningful in this approach, but the Euclidean version is not. The Lorentzian-Picard-Lefschetz formulation yields unambiguous predictions. Unfortunately, the outcome is that primordial tensor (gravitational wave) fluctuations are unsuppressed. We prove a general theorem to this effect, in a wide class of theories.

  12. Comecon links begin to unravel

    International Nuclear Information System (INIS)

    Wood, J.

    1990-01-01

    The last year has seen a rapid disintegration of Comecon as an economic group and the basis of trade between the East European countries and the Soviet Union is still changing. For the nuclear industry, the most important change in Comecon trade is the Soviet Union's decision to charge for all its services. The Comecon countries share a number of problems, largely with Soviet equipment. The European Community expects to make grants available for some upgrading work but this plan has not met with unqualified enthusiasm. The Comecon countries are losing nuclear generating capacity as Western assessments of their technology are accepted, and conventional capacity is being lost as environment legislation starts to take effect. The danger is that when the economies begin to expand they may be held back by power shortages. (author)

  13. Did the Big Bang begin?

    International Nuclear Information System (INIS)

    Levy-Leblond, J.

    1990-01-01

    It is argued that the age of the universe may well be numerically finite (20 billion years or so) and conceptually infinite. A new and natural time scale is defined on a physical basis using group-theoretical arguments. An additive notion of time is obtained according to which the age of the universe is indeed infinite. In other words, never did the Big Bang begin. This new time scale is not supposed to replace the ordinary cosmic time scale, but to supplement it (in the same way as rapidity has taken a place by the side of velocity in Einsteinian relativity). The question is discussed within the framework of conventional (big-bang) and classical (nonquantum) cosmology, but could easily be extended to more elaborate views, as the purpose is not so much to modify present theories as to reach a deeper understanding of their meaning

  14. Beginning of Viniculture in France

    Science.gov (United States)

    McGovern, Patrick E.; Luley, Benjamin P.; Rovira, Nuria; Mirzoian, Armen; Callahan, Michael P.; Smith, Karen F.; Hall, Gretchen R.; Davidson, Theodore; Henkin, Joshua M.

    2013-01-01

    Chemical analyses of ancient organic compounds absorbed into the pottery fabrics of imported Etruscan amphoras (ca. 500-475 B.C.) and into a limestone pressing platform (ca. 425-400 B.C.) at the ancient coastal port site of Lattara in southern France provide the earliest biomolecular archaeological evidence for grape wine and viniculture from this country, which is crucial to the later history of wine in Europe and the rest of the world. The data support the hypothesis that export of wine by ship from Etruria in central Italy to southern Mediterranean France fueled an ever-growing market and interest in wine there, which, in turn, as evidenced by the winepress, led to transplantation of the Eurasian grapevine and the beginning of a Celtic industry in France. Herbal and pine resin additives to the Etruscan wine point to the medicinal role of wine in antiquity, as well as a means of preserving it during marine transport.

  15. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    INTRODUCTION: Formal pathways models outline that patients should receive information in order to experience a coherent journey but do not describe an active role for patients or their relatives. The aim of this is paper is to articulate and discuss the active role of patients during their cancer...... trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  16. Formal connections in deformation quantization

    DEFF Research Database (Denmark)

    Masulli, Paolo

    product on a Poisson manifold that is in general non-commutative and corresponds to the composition of the quantized observables. While in general it is difficult to express a star product globally on a curved manifold in an explicit way, we consider a case where this is possible, namely that of a Kähler...... terms. This allows us to express the equations determining a trivialization of the formal connection completely in graph terms, and solving them amounts to finding a linear combination of graphs whose derivative is equal to a given expression. We shall also look at another approach to the problem...... that is more calculative. Moreover we use the graph formalism to give a set of recursive equations determining the formal connection for a given family of star products....

  17. Logical formalization and the formalization of logic(s)

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2016-01-01

    Roč. 59, č. 233 (2016), s. 55-80 ISSN 0024-5836 R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : logical formalization * logical analysis * reflective equilibrium Subject RIV: AA - Philosophy ; Religion

  18. Integrating Semi-formal and Formal Software Specification Techniques

    NARCIS (Netherlands)

    Wieringa, Roelf J.; Dubois, Eric

    1998-01-01

    In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured

  19. Formal Institutions and Subjective Wellbeing

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina A.V.

    2010-01-01

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited, and inconclusive. In this paper, we revisit the findings from recent...... cross-country studies on the institution-happiness association. Our findings suggest that their conclusions are qualitatively rather insensitive to the specific measure of 'happiness' used, while the associations between formal institutions and subjective well-being differ among poor and rich countries...

  20. Item Vetoes and Attempts to Override Them in Multiparty Legislatures Vetos parciales e intentos de insistencia en legislaturas multipartidistas

    Directory of Open Access Journals (Sweden)

    Valeria Palanza

    2013-01-01

    Full Text Available This paper analyzes the dynamics of vetoes and veto overrides in the context of a multiparty legislature using an original dataset from the period 1983–2007 in Argentina. We argue that the President can use an “item” or “partial” veto to selectively delete articles, while keeping enough distributive goods in the bill to break up the coalition responsible for its passage, thereby eliminating support for an override. Our research reveals that total vetoes – which affect all legislators equally – are more likely to be overridden than partial vetoes. Contradicting the received wisdom that in multiparty legislatures override attempts are more likely under a divided government, we find that override attempts are more likely in plurality governments. We use case analyses to illustrate the main arguments developed in this paper.El trabajo estudia las dinámicas desatadas por la práctica del veto presidencial e insistencias del congreso, en el contexto de legislaturas multipartidarias, a través del análisis de una base de datos original que abarca el período 1983-2007 en Argentina. El trabajo argumenta que el presidente puede usar el veto parcial para quitar del texto, en forma selectiva, artículos puntuales, dejando al mismo tiempo en el texto bienes distributivos suficientes como para romper la coalición responsable de la aprobación del proyecto, de manera tal de eliminar la posibilidad de una insistencia. La investigación revela que los vetos totales, que afectan por igual a todos los legisladores, son más factibles de ser insistidos que los vetos parciales. En contra de lo sostenido al momento acerca de que en legislaturas multipartidarias los intentos de insistencia son más factibles bajo gobierno dividido, este trabajo encuentra que son más factibles cuando el gobierno cuenta con al menos una pluralidad en una de las cámaras. Además del análisis cuantitativo, presentamos estudios de casos para ilustrar los argumentos

  1. Charging transient in polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    401–406. © Indian Academy of Sciences. 401. Charging transient in polyvinyl formal. P K KHARE*, P L JAIN† and R K PANDEY‡. Department of Postgraduate Studies & Research in Physics & Electronics, Rani Durgavati University,. Jabalpur 482 001, India. †Department of Physics, Government PG College, Damoh 470 ...

  2. Formal monkey linguistics : The debate

    NARCIS (Netherlands)

    Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.; Fuller, James; Gautier, Jean Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus

    2016-01-01

    We explain why general techniques from formal linguistics can and should be applied to the analysis of monkey communication - in the areas of syntax and especially semantics. An informed look at our recent proposals shows that such techniques needn't rely excessively on categories of human language:

  3. Rotor and wind turbine formalism

    DEFF Research Database (Denmark)

    Branlard, Emmanuel Simon Pierre

    2017-01-01

    The main conventions used in this book for the study of rotors are introduced in this chapter. The main assumptions and notations are provided. The formalism specific to wind turbines is presented. The forces, moments, velocities and dimensionless coefficients used in the study of rotors...

  4. Formalization in Component Based Development

    DEFF Research Database (Denmark)

    Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr

    2006-01-01

    may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced...

  5. Formal tautologies in Czech language

    OpenAIRE

    Bílková, Jana

    2006-01-01

    The main purpose ofthis work was to describe and classify FT used in the contemporary Czech language and to demonstrate formal and semantic variety and high functional potential of this specific class of sentences. Powered by TCPDF (www.tcpdf.org)

  6. Formal systems for persuasion dialogue

    NARCIS (Netherlands)

    Prakken, Henry

    This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various

  7. Automatic Testing with Formal Methods

    NARCIS (Netherlands)

    Tretmans, G.J.; Belinfante, Axel

    1999-01-01

    The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on

  8. UML-ising formal techniques

    DEFF Research Database (Denmark)

    Bjørner, Dines; George, Chris W.; Haxthausen, Anne Elisabeth

    2004-01-01

    these different UML views are unified, integrated, correlated or merely co-located is for others to dispute. We also seek to support multiple views, but are also in no doubt that there must be sound, well defined relations between such views. We thus report on ways and means of integrating formal techniques...

  9. Formalizing ICD coding rules using Formal Concept Analysis.

    Science.gov (United States)

    Jiang, Guoqian; Pathak, Jyotishman; Chute, Christopher G

    2009-06-01

    With the 11th revision of the International Classification of Disease (ICD) being officially launched by the World Health Organization (WHO), the significance of a formal representation for ICD coding rules has emerged as a pragmatic concern. To explore the role of Formal Concept Analysis (FCA) on examining ICD10 coding rules and to develop FCA-based auditing approaches for the formalization process. We propose a model for formalizing ICD coding rules underlying the ICD Index using FCA. The coding rules are generated from FCA models and represented in the Semantic Web Rule Language (SWRL). Two auditing approaches were developed focusing upon non-disjoint nodes and anonymous nodes manifest in the FCA model. The candidate domains (i.e. any three character code with their sub-codes) of all 22 chapters of the ICD10 2006 version were analyzed using the two auditing approaches. Case studies and a preliminary evaluation were performed for validation. A total of 2044 formal contexts from the candidate domains of 22 ICD chapters were generated and audited. We identified 692 ICD codes having non-disjoint nodes in all chapters; chapters 19 and 21 contained the highest proportion of candidate domains with non-disjoint nodes (61.9% and 45.6%). We also identified 6996 anonymous nodes from 1382 candidate domains. Chapters 7, 11, 13, and 17, have the highest proportion of candidate domains having anonymous nodes (97.5%, 95.4%, 93.6% and 93.0%) while chapters 15 and 17 have the highest proportion of anonymous nodes among all chapters (45.5% and 44.0%). Case studies and a limited evaluation demonstrate that non-disjoint nodes and anonymous nodes arising from FCA are effective mechanisms for auditing ICD10. FCA-based models demonstrate a practical solution for formalizing ICD coding rules. FCA techniques could not only audit ICD domain knowledge completeness for a specific domain, but also provide a high level auditing profile for all ICD chapters.

  10. The National Parliamentary Arena and Methods of Open Coordination: Explaining the Frequency of OMC-related Executive-legislature Interactions

    Directory of Open Access Journals (Sweden)

    Rik de Ruiter

    2011-02-01

    Full Text Available This article tests the importance of different factors for the frequency with which information from open methods of coordination (OMCs is used in parliamentary debates. Previous research has shown that OMCs provide the executive and the legislature with information on best and worst national policy practices, enabling them to adopt different strategies. First, a national government can fame its own policies with the use of information from OMCs. Second, information from OMCs can be used by parliamentarians of opposition parties to shame the policies of the incumbent government. A study of Dutch parliamentary debates indicates that the Dutch government uses more information from OMCs to fame its own policies when OMCs have a developed infrastructure and/or a treaty base. Parliamentarians from opposition parties use more information from OMCs adopted for policy areas in which there was already EU-level activity prior to the OMC, and the government provided information on the substance of OMCs to members of national parliaments.

  11. Antecedents of Norwegian Beginning Teachers' Turnover Intentions

    Science.gov (United States)

    Tiplic, Dijana; Brandmo, Christian; Elstad, Eyvind

    2015-01-01

    This study aims at exploring several individual, organizational, and contextual factors that may affect beginning teachers' turnover intentions during their first years of practice. The sample consists of 227 beginning teachers (69% female and 31% male) from 133 schools in Norway. The results show four important antecedents of beginning teachers'…

  12. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... to begin as you develop a partnership and treatment plan with your physician. Click here to find a place to begin. Sjögren’s Syndrome: A Place To Begin from Sjögren’s Syndrome Foundation on Vimeo . anxiety and buy , tranquility as well as medication © 2018 ...

  13. An Investigation of Anglicized Spanish as a Communication Strategy in the Beginning Spanish Classroom

    Science.gov (United States)

    Kobeck, Ashley Brianne

    2013-01-01

    Considering the recent increase in Spanish use in the United States, particularly as reflected in the media, beginning Spanish students are entering their classrooms with knowledge of phrases such as "hasta la vista" and "numero uno," regardless of their amount of previous formal Spanish study. The present research focuses on…

  14. Polynomials formalism of quantum numbers

    International Nuclear Information System (INIS)

    Kazakov, K.V.

    2005-01-01

    Theoretical aspects of the recently suggested perturbation formalism based on the method of quantum number polynomials are considered in the context of the general anharmonicity problem. Using a biatomic molecule by way of example, it is demonstrated how the theory can be extrapolated to the case of vibrational-rotational interactions. As a result, an exact expression for the first coefficient of the Herman-Wallis factor is derived. In addition, the basic notions of the formalism are phenomenologically generalized and expanded to the problem of spin interaction. The concept of magneto-optical anharmonicity is introduced. As a consequence, an exact analogy is drawn with the well-known electro-optical theory of molecules, and a nonlinear dependence of the magnetic dipole moment of the system on the spin and wave variables is established [ru

  15. Contextual approach to quantum formalism

    CERN Document Server

    Khrennikov, Andrei

    2009-01-01

    The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bell’s inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems...

  16. Musical Formalism and Political Performances

    Directory of Open Access Journals (Sweden)

    Jonathan A. Neufeld

    2009-01-01

    Full Text Available Musical formalism, which strictly limits the type of thing any description of the music can tell us, is ill-equipped to account for contemporary performance practice. If performative interpretations are in a position to tell us something about musical works—that is if performance is a kind of description, as Peter Kivy argues—then we have to loosen the restrictions on notions of musical relevance to make sense of performance. I argue that musical formalism, which strictly limits the type of thing any description of the music can tell us, is inconsistent with Kivy's quite compelling account of performance. This shows the difficulty that actual performances pose to overly rigid conceptions of music. Daniel Barenboim's unannounced performance of Wagner in Israel in 2001 shows that the problem of the boundaries of musical relevance is no mere philosophical puzzle. It is a pressing problem in the musical public sphere.

  17. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment...... and care. They initiated processes in the trajectories, and acquired information, which they used to form their trajectories. Patients presented problems to the healthcare professionals in order to get proper help when needed. DISCUSSION: Work done by patients was invisible and not perceived as work....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  18. Stroh formalism and Rayleigh waves

    CERN Document Server

    Tanuma, Kazumi

    2008-01-01

    Introduces a powerful and elegant mathematical method for the analysis of anisotropic elasticity equationsThe reader can grasp the essentials as quickly as possibleCan be used as a textbook, which presents compactly introduction and applications of the Stroh formalismAppeals to the people not only in mathematics but also in mechanics and engineering sciencePrerequisites are only basic linear algebra, calculus and fundamentals of differential equations

  19. Formal Women-only Networks

    DEFF Research Database (Denmark)

    Villesèche, Florence; Josserand, Emmanuel

    2017-01-01

    /organisations and the wider social group of women in business. Research limitations/implications: The authors focus on the distinction between external and internal formal women-only networks while also acknowledging the broader diversity that can characterise such networks. Their review provides the reader with an insight...... member level, the authors suggest that such networks can be of value for organisations and the wider social group of women in management and leadership positions....

  20. Variational formalism for spin particles

    International Nuclear Information System (INIS)

    Horvathy, P.

    1977-11-01

    The geometrical formulation of Hamilton's principle presented in a previous paper has been related to the usual one in terms of Lagrangian functions. The exact conditions for their equivalence are obtained and a method is given for the construction of a Lagrangian function. The formalism is extended to spin particles and a local Lagrangian is constructed in this case, too. However, this function cannot be extended to a global one. (D.P.)

  1. Ashtekar formalism with real variables

    International Nuclear Information System (INIS)

    Kalau, W.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

    1990-12-01

    A new approach to canonical gravity is presented which is based on the Ashtekar formalism. But, in contrast to Ashtekar's variables, this formulation does not need complex quantities nor does it lead to second class constraints. This is achieved using SO(3,1) as a gauge group instead of complexified SO(3). Because of the larger group additional first class constraints are needed which turn out to be cubic and quartic in the momenta. (author). 13 refs

  2. SPIG From Beginning To Today

    Science.gov (United States)

    Labat, J.

    2010-07-01

    Rapid growth of nuclear physics in fifties attracted attention of numerous scientists, mainly physicists. At the same time, governments become interested in the field, expecting various advantages, and to be honest, in the first place the nuclear weapons. As a result, also in the country at that time called Yugoslavia, the Federal Nuclear Agency has been formed, and generously funds have been given to support the research. In Yugoslavia three nuclear centers have been founded: in Belgrade (Serbia), Zagreb (Croatia) and Ljubljana (Slovenia). The nuclear research and applications to related fields, inevitably was related to the physics of ionized gases. Just to mention electro-magnetic separation of isotopes, mass spectrometry, gas filled nuclear radiation detectors, accelerator ion sources, sources for analytical spectroscopy and others. Right from the beginning a common problem has been met: lack of basic knowledge on elementary collision processes and in general on the matter in ionized state. Groups of physicists in the mentioned institutes have started paying full attention to these problems. They found it of interest to exchange the results and cooperate not only between themselves but also with research centers in other countries. It was felt that at least one national meeting should be organized, where an overview of activities in the field of ionized gases could be presented. Thanks to extraordinary efforts of prof. B. Perovic, supported, backed and simulated by prof. A. Milojevic, prof. Z. Sternberg, prof. Dj. Bosan and prof. A. Moljk first such meeting was prepared. In 1962 the "Ist Yugoslav Symposium an the Physics of Ionized Gases" was organized in Belgrade. Six invited lectures and 26 original contributions were presented. Two years later, in 1964, the second meeting of the same title was held in Zagreb (Croatia). The large number of participants and unexpected interest in field has initiated an idea that the study of different fields related to the

  3. Conceptual graph grammar--a simple formalism for sublanguage.

    Science.gov (United States)

    Johnson, S B

    1998-11-01

    There are a wide variety of computer applications that deal with various aspects of medical language: concept representation, controlled vocabulary, natural language processing, and information retrieval. While technical and theoretical methods appear to differ, all approaches investigate different aspects of the same phenomenon: medical sublanguage. This paper surveys the properties of medical sublanguage from a formal perspective, based on detailed analyses cited in the literature. A review of several computer systems based on sublanguage approaches shows some of the difficulties in addressing the interaction between the syntactic and semantic aspects of sublanguage. A formalism called Conceptual Graph Grammar is presented that attempts to combine both syntax and semantics into a single notation by extending standard Conceptual Graph notation. Examples from the domain of pathology diagnoses are provided to illustrate the use of this formalism in medical language analysis. The strengths and weaknesses of the approach are then considered. Conceptual Graph Grammar is an attempt to synthesize the common properties of different approaches to sublanguage into a single formalism, and to begin to define a common foundation for language-related research in medical informatics.

  4. Measuring the effect of formalization

    International Nuclear Information System (INIS)

    Stoelen, K.; Mohn, P.

    1998-01-01

    We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should the fault counting be integrated in the development process? Thirdly, any reasonable definition of fault depends on a notion of satisfaction. Hence, we must address the question: What does it mean for a specification or an implementation to satisfy a requirement imposed by a more high-level specification? (author)

  5. The formal de Rham complex

    Science.gov (United States)

    Zharinov, V. V.

    2013-02-01

    We propose a formal construction generalizing the classic de Rham complex to a wide class of models in mathematical physics and analysis. The presentation is divided into a sequence of definitions and elementary, easily verified statements; proofs are therefore given only in the key case. Linear operations are everywhere performed over a fixed number field {F} = {R},{C}. All linear spaces, algebras, and modules, although not stipulated explicitly, are by definition or by construction endowed with natural locally convex topologies, and their morphisms are continuous.

  6. Economic expansion and increase in labout market formality: a poaching approach

    Directory of Open Access Journals (Sweden)

    Carlos Henrique L. Corseuil

    2012-06-01

    Full Text Available This paper investigates the relationship between economic expansion and the degree of formalization for the Brazilian labour market in the recent period. We present a theoretical framework that attempts to explain this relationship through the dynamics of firms hiring strategies. The main predictions are: the share of formal employment rises as the unemployment rate falls, and that the formal-informal wage gap increases, at least at the beginning of the economic expansion. In the empirical part, we use longitudinal microdata from a Brazilian household survey to check whether these two predictions are confirmed. To a large extent our results corroborate both predictions.

  7. A survey of formal languages for contracts

    DEFF Research Database (Denmark)

    Hvitved, Tom

    2010-01-01

    In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred...... to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms....

  8. 19 CFR 4.9 - Formal entry.

    Science.gov (United States)

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Formal entry. 4.9 Section 4.9 Customs Duties U.S... FOREIGN AND DOMESTIC TRADES Arrival and Entry of Vessels § 4.9 Formal entry. (a) General. Section 4.3 provides which vessels are subject to formal entry and where and when entry must be made. The formal entry...

  9. Formalizing the concept phase of product development

    NARCIS (Netherlands)

    Schuts, M.; Hooman, J.

    2015-01-01

    We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing

  10. Formal Testing of Correspondence Carrying Software

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.

    2008-01-01

    Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to

  11. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry Eye ... What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip Survival Tips ...

  12. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & Friends ... Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & Friends ...

  13. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Trials – What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry ... Trials – What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip Survival ...

  14. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... here to find a place to begin. Sjögren’s Syndrome: A Place To Begin from Sjögren’s Syndrome Foundation on Vimeo . anxiety and buy , tranquility as well as medication © 2018 Sjögren's Syndrome Foundation, Inc. 10701 Parkridge Blvd. Suite 170, Reston, ...

  15. Formal modeling of virtual machines

    Science.gov (United States)

    Cremers, A. B.; Hibbard, T. N.

    1978-01-01

    Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.

  16. Formal analysis of electromagnetic optics

    Science.gov (United States)

    Khan-Afshar, Sanaz; Hasan, Osman; Tahar, Sofiène

    2014-09-01

    Optical systems are increasingly being used in safety-critical applications. Due to the complexity and sensitivity of optical systems, their verification raises many challenges for engineers. Traditionally, the analysis of such systems has been carried out by paper-and-pencil based proofs and numerical computations. However, these techniques cannot provide accurate results due to the risk of human error and inherent approximations of numerical algorithms. In order to overcome these limitations, we propose to use theorem proving (i.e., a computer-based technique that allows to express mathematical expressions and reason about their correctness by taking into account all the details of mathematical reasoning) as a complementary approach to improve optical system analysis. This paper provides a higher-order logic (a language used to express mathematical theories) formalization of electromagnetic optics in the HOL Light theorem prover. In order to demonstrate the practical effectiveness of our approach, we present the analysis of resonant cavity enhanced photonic devices.

  17. A Formal Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José

    This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...

  18. Formal algorithmic elimination for PDEs

    CERN Document Server

    Robertz, Daniel

    2014-01-01

    Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of analytic solutions of such a system and conversely to find differential equations whose set of solutions coincides with a given parametrized set of analytic functions. After giving a detailed introduction to Janet bases and Thomas decomposition, the problem of finding an implicit description of certain sets of analytic functions in terms of differential equations is addressed. Effective methods of varying generality are developed to solve the differential elimination problems that arise in this context. In particular, it is demonstrated how the symbolic solution of partial differential equations profits from the study of the implicitization problem. For instance, certain families of exact solutions of the Navier-Stokes equations can be computed.

  19. A Beginning Teacher's First Steps to "Fitting in Where You Are Getting In": Identifying Top Rated Collegial and Non-Collegial Dispositional Behaviors

    Science.gov (United States)

    Scaglione, Jacquelyn; Johnston, Pattie C.; Bentz, Lauren; Draper, Elsa; Feldman, Hailey; Kehl, Jessica; Tucker, Meagan; Wilcox, Rotunda; Joenson, Trevor; Wilson, Adrienne

    2016-01-01

    Beginning teachers have to figure out how to "fit in" once they "get in" their new work environments. New teachers do know they need to perform all aspects of their formal contracts. New teachers may not know there are also extra-role expectations that exist beyond those in the formal contract. The extra-role behaviors teachers…

  20. Lexical and Grammatical Abilities in Deaf Italian Preschoolers: The Role of Duration of Formal Language Experience

    Science.gov (United States)

    Rinaldi, Pasquale; Caselli, Cristina

    2009-01-01

    We evaluated language development in deaf Italian preschoolers with hearing parents, taking into account the duration of formal language experience (i.e., the time elapsed since wearing a hearing aid and beginning language education) and different methods of language education. Twenty deaf children were matched with 20 hearing children for age and…

  1. Beginning Programming with Java For Dummies

    CERN Document Server

    Burd, Barry

    2012-01-01

    One of the most popular beginning programming books, now fully updated Java is a popular language for beginning programmers, and earlier editions of this fun and friendly guide have helped thousands get started. Now fully revised to cover recent updates for Java 7.0, Beginning Programming with Java For Dummies, 3rd Edition is certain to put more first-time programmers and Java beginners on the road to Java mastery.Explores what goes into creating a program, putting the pieces together, dealing with standard programming challenges, debugging, and making the program work Offers new options for

  2. Applications of the Decoherence Formalism

    Science.gov (United States)

    Brun, Todd Andrew

    In this work the decoherence formalism of quantum mechanics is explored and applied to a number of interesting problems in quantum physics. The boundary between quantum and classical physics is examined, and demonstration made that quantum histories corresponding to classical equations of motion become more probable for a broad class of models, including linear and nonlinear models of Brownian motion. The link between noise, dissipation, and decoherence is studied. This work is then applied to systems which classically exhibit dissipative chaotic dynamics. A theory is explicated for treating these systems, and the ideas are applied to a particular model of the forced, damped Duffing oscillator, which is chaotic for certain parameter values. Differences between classical and quantum chaos are examined, particularly differences arising in the structure of fractal strange attractors, and the conceptual difficulties in framing standard notions of chaos in a quantum system. A brief discussion of previous work on quantum chaos is included, and the differences between Hamiltonian and dissipative chaos pointed out; a somewhat different interpretation of quantum chaos from the standard one is suggested. A class of histories for quantum systems, in phase space rather than configuration space, is studied. Different ways of representing projections in phase space are discussed, and expressions for the probability of phase space histories are derived; conditions for such histories to decohere are also estimated in the semiclassical limit.

  3. A Healthy Start Can Begin Now

    Science.gov (United States)

    A healthy pregnancy begins before you ever become pregnant. Give yourself the best chance for a healthy pregnancy and healthy baby before you start down the road to motherhood. If you smoke, now’s a great time to quit.

  4. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Syndrome: A Place To Begin from Sjögren’s Syndrome Foundation on Vimeo . anxiety and buy , tranquility as well as medication © 2018 Sjögren's Syndrome Foundation, Inc. 10701 ...

  5. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... you will hear from Sjögren’s experts about the causes, treatments and manifestations of Sjögren’s. From ... Syndrome: A Place To Begin from Sjögren’s Syndrome Foundation ...

  6. A Formal Description of Problem Frames

    OpenAIRE

    Souleymane KOUSSOUBE; Roger NOUSSI; Balira O. KONFE

    2014-01-01

    Michael Jackson defines a Problem Frame as a mean to describe and classify software development problems. The initial description of problem Frames is essentially graphical. A weakness of this proposal is the lack of formal specification allowing efficient reasoning tools. This paper deals with Problem Frames’ formal specification with Description Logics. We first propose a formal terminology of Problem Frames leading to the specification of a Problem Frames’ TBOX and a specific problem’s ABO...

  7. Survey of Existing Tools for Formal Verification.

    Energy Technology Data Exchange (ETDEWEB)

    Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

    2014-12-01

    Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

  8. Formal Information Model for Representing Production Resources

    OpenAIRE

    Siltala, Niko; Järvenpää, Eeva; Lanz, Minna

    2017-01-01

    Part 2: Intelligent Manufacturing Systems; International audience; This paper introduces a concept and associated descriptions to formally describe physical production resources for modular and reconfigurable production systems. These descriptions are source of formal information for (automatic) production system design and (re-)configuration. They can be further utilized during the system deployment and execution. The proposed concept and the underlying formal resource description model is c...

  9. What Determines Firms’ Decisions to Formalize?

    OpenAIRE

    Neil McCulloch; Günther G. Schulze; Janina Voss

    2010-01-01

    In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

  10. Pioneers - The Beginning of Danish Electronic Music

    DEFF Research Database (Denmark)

    Kristensen, Thomas Bjørnsten

    2009-01-01

    Anmeldelse af dobbelt-cd'en Pioneers - The Beginning of Danish Electronic Music, der dokumenterer de tidligste år af dansk elektronisk musiks historie fra 1960-1978. Udgivelsesdato: 29.10......Anmeldelse af dobbelt-cd'en Pioneers - The Beginning of Danish Electronic Music, der dokumenterer de tidligste år af dansk elektronisk musiks historie fra 1960-1978. Udgivelsesdato: 29.10...

  11. Answering the Questions of Beginning Teachers

    OpenAIRE

    Harrington, Ingrid

    2011-01-01

    Research reports that despite new or beginning teachers being well received by the education profession, their first year experience is often traumatic and difficult nature. This is not a new phenomenon and is a problem shared by many new teachers nationwide and in the western world. Consequently, the retention rate for new teachers is decreasing at an alarming rate and is currently reported that 33% of beginning teachers in New South Wales do not expect to be teaching in public schools withi...

  12. Freedom and enforcement in action a study in formal action theory

    CERN Document Server

    Czelakowski, Janusz

    2015-01-01

    Action theory is the object of growing attention in a variety of scientific disciplines, and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence, and automata theory to jurisprudence, deontology, and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology.   The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action, and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic, and its key appl...

  13. Formal language constrained path problems

    Energy Technology Data Exchange (ETDEWEB)

    Barrett, C.; Jacob, R.; Marathe, M.

    1997-07-08

    In many path finding problems arising in practice, certain patterns of edge/vertex labels in the labeled graph being traversed are allowed/preferred, while others are disallowed. Motivated by such applications as intermodal transportation planning, the authors investigate the complexity of finding feasible paths in a labeled network, where the mode choice for each traveler is specified by a formal language. The main contributions of this paper include the following: (1) the authors show that the problem of finding a shortest path between a source and destination for a traveler whose mode choice is specified as a context free language is solvable efficiently in polynomial time, when the mode choice is specified as a regular language they provide algorithms with improved space and time bounds; (2) in contrast, they show that the problem of finding simple paths between a source and a given destination is NP-hard, even when restricted to very simple regular expressions and/or very simple graphs; (3) for the class of treewidth bounded graphs, they show that (i) the problem of finding a regular language constrained simple path between source and a destination is solvable in polynomial time and (ii) the extension to finding context free language constrained simple paths is NP-complete. Several extensions of these results are presented in the context of finding shortest paths with additional constraints. These results significantly extend the results in [MW95]. As a corollary of the results, they obtain a polynomial time algorithm for the BEST k-SIMILAR PATH problem studied in [SJB97]. The previous best algorithm was given by [SJB97] and takes exponential time in the worst case.

  14. A Conceptual Formalization of Crosscutting in AOSD

    NARCIS (Netherlands)

    van den Berg, Klaas; Conejero, J.M.

    2005-01-01

    We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise

  15. Formalizing Evaluation in Music Information Retrieval

    DEFF Research Database (Denmark)

    Sturm, Bob L.

    2013-01-01

    We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...

  16. Applicability of four parameter formalisms in interpreting ...

    Indian Academy of Sciences (India)

    terms of applicability of the three well known four-parameter formalisms for the representation of the thermody- namic properties of binary systems. The study indicates that the derived values of the infinite dilution parameters based on the formalisms compare favourably with the computed data available in the literature.

  17. Hamiltonian path integral formalism with higher derivatives

    Energy Technology Data Exchange (ETDEWEB)

    Barcelos-Neto, J.; Natividade, C.P. (Rio de Janeiro Univ. (Brazil). Inst. de Fisica)

    1991-07-01

    We study the Hamiltonian path integral formalism for systems containing higher derivatives. First we show the consistency of the formalism in applications involving only scalar fields. Later we use the Maxwell electromagnetic theory with a higher order regularization term to show that the Batalin-Fradkin-Vilkovisky (BFV) theory can also be consistently described. (orig.).

  18. DNA expressions - A formal notation for DNA

    NARCIS (Netherlands)

    Vliet, Rudy van

    2015-01-01

    We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions may denote the same molecule. Such DNA expressions are called equivalent. We examine which DNA expressions are minimal, which

  19. Formal balancing of chemical reaction networks

    NARCIS (Netherlands)

    van der Schaft, Abraham; Rao, S.; Jayawardhana, B.

    2016-01-01

    In this paper we recall and extend the main results of Van der Schaft, Rao, Jayawardhana (2015) concerning the use of Kirchhoff’s Matrix Tree theorem in the explicit characterization of complex-balanced reaction networks and the notion of formal balancing. The notion of formal balancing corresponds

  20. Coefficient rings of formal group laws

    International Nuclear Information System (INIS)

    Buchstaber, V M; Ustinov, A V

    2015-01-01

    We describe the coefficient rings of universal formal group laws which arise in algebraic geometry, algebraic topology and their application to mathematical physics. We also describe the homomorphisms of these coefficient rings coming from reductions of one formal group law to another. The proofs are based on the number-theoretic properties of binomial coefficients. Bibliography: 37 titles

  1. Restorative Practices as Formal and Informal Education

    Science.gov (United States)

    Carter, Candice C.

    2013-01-01

    This article reviews restorative practices (RP) as education in formal and informal contexts of learning that are fertile sites for cultivating peace. Formal practices involve instruction about response to conflict, while informal learning occurs beyond academic lessons. The research incorporated content analysis and a critical examination of the…

  2. Formal Engineering Hybrid Systems: Semantic Underpinnings

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.

    2008-01-01

    In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be

  3. Industrial Practice in Formal Methods : A Review

    DEFF Research Database (Denmark)

    Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm

    2009-01-01

    We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...

  4. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, Muhammad Torabi; Dimitrakos, Theo; Martinelli, Fabio

    We formally specify a payment protocol described by Vogt et al. This protocol is intended for fair exchange of time-sensitive data. Here the mCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free mu-calculus. These properties are then

  5. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    2008-12-23

    Dec 23, 2008 ... The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those ...

  6. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...

  7. Enhancing System Realisation in Formal Model Development

    DEFF Research Database (Denmark)

    Tran-Jørgensen, Peter Würtz Vinther

    – a formal methods tool that supports the Vienna Development Method. The development of the code generation infrastructure has involved the re-design of the software architecture of Overture. The new architecture brings forth the reuse and extensibility features of Overture to take into account the needs......Software for mission-critical systems is sometimes analysed using formal specification to increase the chances of the system behaving as intended. When sufficient insights into the system have been obtained from the formal analysis, the formal specification is realised in the form of a software...... implementation. One way to realise the system’s software is by automatically generating it from the formal specification – a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code – especially while requiring automation...

  8. Aquinas and Contemporary Cosmology: Creation and Beginnings

    Science.gov (United States)

    Carroll, William E.

    Discussions in the Middle Ages about creation and the temporal beginning of the world involved sophisticated analyses in theology, metaphysics, and natural philosophy. Mediaeval insights on this subject, especially Thomas Aquinas' defense of the intelligibility of an eternal, created universe, can help to clarify reflections about the philosophical and theological implications of contemporary cosmological theories: from the "singularity" of the Big Bang, to "quantum tunneling from nothing," to multiverse scenarios. Thomas' insights help us to see the value of Georges Lemaître's insistence that his cosmological reflections must be kept separate from an analysis of creation. This essay will look at different senses of "beginning" and examine the claim that creation, in its fundamental meaning, tells us nothing about whether there is a temporal beginning to the universe. Multiverse models, like that recently proposed by Stephen Hawking and Leonard Mlodinow, may challenge certain views of a Grand Designer, but not of a Creator.

  9. Ivor Horton's beginning visual C++ 2013

    CERN Document Server

    Horton, Ivor

    2014-01-01

    Learn C++ with the best tutorial on the market! Horton's unique tutorial approach and step-by-step guidance have helped over 100,000 novice programmers learn C++. In Ivor Horton's Beginning Visual C++ 2013, Horton not only guides you through the fundamentals of the standard C++ language, but also teaches you how C++ is used in the latest Visual Studio 2013 environment. Visual Studio 2013 includes major changes to the IDE and expanded options for C++ coding. Ivor Horton's Beginning Visual C++ 2013 will teach you the latest techniques to take your Visual C++ coding to an all-new level.C++ langua

  10. Beginning Microsoft SQL Server 2012 Programming

    CERN Document Server

    Atkinson, Paul

    2012-01-01

    Get up to speed on the extensive changes to the newest release of Microsoft SQL Server The 2012 release of Microsoft SQL Server changes how you develop applications for SQL Server. With this comprehensive resource, SQL Server authority Robert Vieira presents the fundamentals of database design and SQL concepts, and then shows you how to apply these concepts using the updated SQL Server. Publishing time and date with the 2012 release, Beginning Microsoft SQL Server 2012 Programming begins with a quick overview of database design basics and the SQL query language and then quickly proceeds to sho

  11. Beginning iPad Application Development

    CERN Document Server

    Lee, Wei-Meng

    2010-01-01

    A hands-on approach to iPad application development. Beginning iPad Application Development is written to help jumpstart beginning iPad developers. It covers the various topics in such a manner that you will progressively learn without being overwhelmed by the details. It adopts the philosophy that the best way to learn is by doing, hence the numerous Try It Out sections in all the chapters, which first show you how to build something and then explain how things work. Although iPad programming is a huge topic, the aim for this book is to get you started with the fundamentals, and help you unde

  12. Report of the Commission to Study the Adequacy and Equity of Certain Cost Components of the School Funding Formula. Report to Joint Standing Committee on Education and Cultural Affairs, Maine State Legislature

    Science.gov (United States)

    Center for Education Policy, Applied Research, and Evaluation, 2015

    2015-01-01

    The Commission to Study the Adequacy and Equity of Certain Cost Components of the School Funding Formula was created in legislation crafted by the Joint Standing Committee on Education of the 126th Legislature (the "Education Committee"). The legislation was enacted as Resolve 2014, chapter 114. Creation of the Commission is the latest…

  13. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... the SSF Blog: Conquering Sjögren’s SSF Social Network Host an SSF Event SSF Store - Books, CDs & More ... Trials – What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip Survival ...

  14. Symposium: A Beginning in the Humanities

    Science.gov (United States)

    Brooks, Peter; Fry, Paul H.; Carnochan, W. B.; Culler, Jonathan; Lerer, Seth; Marshall, Donald G.; Johnson, Barbara; Steiner, Wendy; Haack, Susan; Nussbaum, Martha C.

    2002-01-01

    2001 marked Yale's 300th birthday. It seemed an opportunity for reflection on the evolution of the institution, and particularly on the vicissitudes of the humanities over those three centuries. This article presents essays which represent a selection from the symposium, "Beginning With the Humanities," held at the Whitney Humanities Center on…

  15. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry Eye Tips > Dry Mouth Tips > Other Dryness Tips > Diet & Food Tips > Peripheral Neuropathy Tips > Surgery Tips Survival Tips ...

  16. The Beginnings of X-ray Crystallography

    Indian Academy of Sciences (India)

    IAS Admin

    The Beginnings of X-ray Crystallography. A Profile on the Two Braggs. Those were the days when Science was hovering around the wave–particle duality. William. Henry Bragg was toying with the idea that X-rays are particles and the observation made by Max von Laue that X-rays are diffracted by crystals could indeed ...

  17. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry Eye ... Team Sjögren’s Running Program National Patient Conference Shop Online to Support the SSF Blog: Conquering Sjögren’s SSF ...

  18. Beginnings and advances in heavy ion research

    International Nuclear Information System (INIS)

    Brix, P.

    1979-01-01

    The very important field of heavy ion research is briefly reviewed from the beginnings up to the present time. The article was intended to be a scientific lecture for the general public read on the occasion of the 70th birthday of Prof. Schmelzer. (KBE)

  19. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... of Sjögren's Living with Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & ... Patient Information Living with Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place ...

  20. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Dry Eyes >> Resources > Dry Mouth Diagnosis Treatments Patient Information Faces of Sjögren's Living with Sjögren's Survey Sjögren’s ... Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry Eye Tips > ...

  1. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... with Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & Friends Information Sjögren’s FAQs Glossary Sjögren’s Tip > Dry Eye Tips > Dry Mouth Tips > Other Dryness Tips > Diet & Food Tips > Peripheral ...

  2. The "White Canvas" Approach to Beginning Conducting.

    Science.gov (United States)

    Mailman, Matthew

    2000-01-01

    Discusses the white canvas approach to beginning conducting, a basic mirror conducting of both hands generating the symmetrical takt, or beat, that represents the basic foundation of conducting. Focuses on such issues as conducting as communication, conducting at the tip of the baton, and extension beyond the white canvas approach. (CMK)

  3. Beginning Teachers' Responses to Education Reform Agendas

    Science.gov (United States)

    Adoniou, Misty

    2016-01-01

    National education reform agendas are increasingly prevalent in school systems around the world. Whilst we have a substantial body of research exploring the ways in which schools manage change agendas, there is less discussion of the impacts these agendas may have on beginning teachers and their retention in the profession. Here I report on a…

  4. Patterns of Analogical Reasoning among Beginning Readers

    Science.gov (United States)

    Farrington-Flint, Lee; Wood, Clare; Canobi, Katherine H.; Faulkner, Dorothy

    2004-01-01

    Despite compelling evidence that analogy skills are available to beginning readers, few studies have actually explored the possibility of identifying individual differences in young children's analogy skills in early reading. The present study examined individual differences in children's use of orthographic and phonological relations between…

  5. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... who care about them. Home > About Sjögren's When a person is diagnosed with Sjögren’s, they often don' ... Sjögren’s. From there, we hope you will have a place to begin as you develop a partnership ...

  6. An ENSO beginning in the year 2000?

    Digital Repository Service at National Institute of Oceanography (India)

    Gopinathan, C.K.

    Several models have been developed over the last few decades to predict the advent of new ENSO events several months in advance of the actual event. None of the models have predicted a warm event beginning by the year 2000. Positive SST anomalies...

  7. On New Beginnings and Democratic Legitimacy

    Directory of Open Access Journals (Sweden)

    Signe Larsen

    2013-06-01

    Full Text Available This paper sets out to discuss the enigma of revolutionary new political beginnings of constitutional orders. The problem is that when a political community is constituted, the act of constituting per definition is unconstitutional or extra-legal. For this reason the question of new beginnings is a political and not a legal question. The question of what the authority of the constituent act is presents an important question since the constitution is the fundamental law from which the legitimacy or authority of all other laws is derived. The problem for this paper is whether and in what way it is possible to think new beginnings that are not merely institutionalizations of factual relations of domination or arbitrary acts of violence. This problem is discussed on basis of two revolutionary theories in the tradition of constituent power—Emmanuel Sieyès and Hannah Arendt—that both understand power to emanate from below and not from above whereby they both, though in different way, present arguments against the understanding that new beginnings merely are institutionalizations of relations of domination and arbitrary acts of violence. The question of whether and to what extent they are successful and whether their theories are democratic will finally be discussed.

  8. Mozart Effect: Sound Beginnings? Infants and Toddlers.

    Science.gov (United States)

    Caulfield, Rick

    1999-01-01

    Notes that outcomes of the "Mozart Effect" on early brain development are not thoroughly proven and presents challenges for future research. Points out that it is still unknown at what age exposure to musical concepts should begin, and that parents should allow children to pursue musical interests at their own pace to avoid burnout at a…

  9. On Fitting a Formal Method into Practice

    DEFF Research Database (Denmark)

    Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan

    2011-01-01

    of industrial use. We report on where Event-B and its tools have succeeded, where they have not. We also report on advances that were inspired by the case study. Interestingly, the case study was not a pure formal methods problem. In addition to Event-B, it used Problem Frames for capturing requirements....... The interaction between the two proved to be crucial for the success of the case study. The heart of the problem was tracing informal requirements from Problem Frames descriptions to formal Event-B models. To a large degree, this issue dictated the approach that had to be used for formal modelling. A dedicated...

  10. Towards Formal Implementation of PUS Standard

    Science.gov (United States)

    Ilić, D.

    2009-05-01

    As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.

  11. Music acquisition: effects of enculturation and formal training on development.

    Science.gov (United States)

    Hannon, Erin E; Trainor, Laurel J

    2007-11-01

    Musical structure is complex, consisting of a small set of elements that combine to form hierarchical levels of pitch and temporal structure according to grammatical rules. As with language, different systems use different elements and rules for combination. Drawing on recent findings, we propose that music acquisition begins with basic features, such as peripheral frequency-coding mechanisms and multisensory timing connections, and proceeds through enculturation, whereby everyday exposure to a particular music system creates, in a systematic order of acquisition, culture-specific brain structures and representations. Finally, we propose that formal musical training invokes domain-specific processes that affect salience of musical input and the amount of cortical tissue devoted to its processing, as well as domain-general processes of attention and executive functioning.

  12. The Intersituational Generality of Formal Thought

    Science.gov (United States)

    Stone, Mary Ann; Ausubel, David P.

    1969-01-01

    Shows that, contrary to Piagetian Theory, formal thought in a variety of subject matters is not possible until sufficient requisite concrete background experience in each content area involved has been attained. (MH)

  13. Graphical And Textual Notations In Formal Specification

    Energy Technology Data Exchange (ETDEWEB)

    Bove, Rocco; Dipoppa, Giovanni; Groven, Arne-Kristian; Sivertsen, Terje

    1996-07-01

    The present report describes the current status of the co-operative project between ENEA and the OECD Halden Reactor Project on graphical and formal methods for software specification. The aim of this project is to contribute to a clarification of the relationship between graphical descriptions and formal specifications, and to provide guidelines for how they can be combined in order to utilize the strengths of' each approach. The overall aim of such a combination is to improve the formal basis of graphical descriptions and make formal specifications more generally comprehensible. The research reported includes the application of the IPTES technology on the APRM case example, an approach to the translation of Petri nets into algebraic specification, and the specification of real-time distributed systems using time-extended LOTOS. (author)

  14. El Salvador - Non-Formal Skills Development

    Data.gov (United States)

    Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...

  15. Transitions from Formal Education to the Workplace

    Science.gov (United States)

    Olson, Joann S.

    2014-01-01

    This chapter frames the transition to adulthood in the context of the moving from formal educational settings to the often less-structured learning that occurs in workplace settings. Although schooling may end, learning continues.

  16. Regla formal de justicia, valores y principios

    OpenAIRE

    López Ruiz, Francisco

    1995-01-01

    SUMARIO: 1. Racionalidad y regla formal de justicia. 2. Las diferencias estructurales entre normas y principios. 3. Clases de principios. 4. Funciones de los principios. 5. Principios y racionalidad material del Derecho. Publicado

  17. Formal specification of human-computer interfaces

    Science.gov (United States)

    Auernheimer, Brent

    1990-01-01

    A high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described. Top-level specifications written in ASLAN for a library and a multiwindow interface are discussed.

  18. Formalisms for reuse and systems integration

    CERN Document Server

    Rubin, Stuart

    2015-01-01

    Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.   This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integratio...

  19. Toward a formal ontology for narrative

    Directory of Open Access Journals (Sweden)

    Ciotti, Fabio

    2016-03-01

    Full Text Available In this paper the rationale and the first draft of a formal ontology for modeling narrative texts are presented. Building on the semiotic and structuralist narratology, and on the work carried out in the late 1980s by Giuseppe Gigliozzi in Italy, the focus of my research are the concepts of character and of narrative world/space. This formal model is expressed in the OWL 2 ontology language. The main reason to adopt a formal modeling approach is that I consider the purely probabilistic-quantitative methods (now widespread in digital literary studies inadequate. An ontology, on one hand provides a tool for the analysis of strictly literary texts. On the other hand (though beyond the scope of the present work, its formalization can also represent a significant contribution towards grounding the application of storytelling methods outside of scholarly contexts.

  20. Statistical Survey of Non-Formal Education

    Directory of Open Access Journals (Sweden)

    Ondřej Nývlt

    2012-12-01

    Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.

  1. Approaches to Formal Verification of Security Protocols

    OpenAIRE

    Lal, Suvansh; Jain, Mohit; Chaplot, Vikrant

    2011-01-01

    In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional correctness before they are used in practice. Application of formal methods for verification of security protocols would enhance their reliability thereby, increasing the usability of systems that employ them. Thus, formal verification of security protocols has become a key issue in computer and communications security. In...

  2. Improved formalism for precision Higgs coupling fits

    International Nuclear Information System (INIS)

    Barklow, Tim; Peskin, Michael E.; Jung, Sunghoon; Tian, Junping

    2017-08-01

    Future e + e - colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e + e - data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e + e - colliders.

  3. Towards a Formal Model of Context Awareness

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun; Bunde-Pedersen, Jonathan

    2006-01-01

    There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The CONAWA calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs...... and capabilities. The calculus is a step in the direction of making formal methods applicable in the area of pervasive computing....

  4. Towards a Formal Notion of Trust

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Krukow, Karl Kristian

    2003-01-01

    Trust management systems have been proposed as an alternative to traditional security mechanisms in Global Computing. We present some challenges in establishing a formal foundation for the notion of trust, and some preliminary ideas towards a category of trust models.......Trust management systems have been proposed as an alternative to traditional security mechanisms in Global Computing. We present some challenges in establishing a formal foundation for the notion of trust, and some preliminary ideas towards a category of trust models....

  5. Improved formalism for precision Higgs coupling fits

    Science.gov (United States)

    Barklow, Tim; Fujii, Keisuke; Jung, Sunghoon; Karl, Robert; List, Jenny; Ogawa, Tomohisa; Peskin, Michael E.; Tian, Junping

    2018-03-01

    Future e+e- colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e+e- data, based on the effective field theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e+e- colliders.

  6. Formalization of Many-Valued Logics

    DEFF Research Database (Denmark)

    Villadsen, Jørgen; Schlichtkrull, Anders

    2017-01-01

    Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

  7. Unifying Class-Based Representation Formalisms

    OpenAIRE

    Calvanese, D.; Lenzerini, M.; Nardi, D.

    2011-01-01

    The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representatio...

  8. Formal System Verification for Trustworthy Embedded Systems

    Science.gov (United States)

    2011-04-19

    step is for the first time formal and machine-checked. Contemporary OS verification projects include Verisoft, Verisoft XT, and Verve . The Verisoft...tens of thousands lines of code. The Verve kernel [22] shows that type and memory safety properties can be established on the assembly level via type...systems and therefore with much lower cost. Verve contains a formally verified runtime system, in particular a garbage collector that the type system

  9. Formality of the Chinese collective leadership.

    Science.gov (United States)

    Li, Haiying; Graesser, Arthur C

    2016-09-01

    We investigated the linguistic patterns in the discourse of four generations of the collective leadership of the Communist Party of China (CPC) from 1921 to 2012. The texts of Mao Zedong, Deng Xiaoping, Jiang Zemin, and Hu Jintao were analyzed using computational linguistic techniques (a Chinese formality score) to explore the persuasive linguistic features of the leaders in the contexts of power phase, the nation's education level, power duration, and age. The study was guided by the elaboration likelihood model of persuasion, which includes a central route (represented by formal discourse) versus a peripheral route (represented by informal discourse) to persuasion. The results revealed that these leaders adopted the formal, central route more when they were in power than before they came into power. The nation's education level was a significant factor in the leaders' adoption of the persuasion strategy. The leaders' formality also decreased with their increasing age and in-power times. However, the predictability of these factors for formality had subtle differences among the different types of leaders. These results enhance our understanding of the Chinese collective leadership and the role of formality in politically persuasive messages.

  10. Application of Formal Methods in Software Engineering

    Directory of Open Access Journals (Sweden)

    Adriana Morales

    2011-12-01

    Full Text Available The purpose of this research work is to examine: (1 why are necessary the formal methods for software systems today, (2 high integrity systems through the methodology C-by-C –Correctness-by-Construction–, and (3 an affordable methodology to apply formal methods in software engineering. The research process included reviews of the literature through Internet, in publications and presentations in events. Among the Research results found that: (1 there is increasing the dependence that the nations have, the companies and people of software systems, (2 there is growing demand for software Engineering to increase social trust in the software systems, (3 exist methodologies, as C-by-C, that can provide that level of trust, (4 Formal Methods constitute a principle of computer science that can be applied software engineering to perform reliable process in software development, (5 software users have the responsibility to demand reliable software products, and (6 software engineers have the responsibility to develop reliable software products. Furthermore, it is concluded that: (1 it takes more research to identify and analyze other methodologies and tools that provide process to apply the Formal Software Engineering methods, (2 Formal Methods provide an unprecedented ability to increase the trust in the exactitude of the software products and (3 by development of new methodologies and tools is being achieved costs are not more a disadvantage for application of formal methods.

  11. From the beginning of radon therapy

    International Nuclear Information System (INIS)

    Schuettmann, W.

    1986-01-01

    The revival of the radon therapy in several countries since the end of the Second World War was the occasion for a review to the beginnings of this special form of radiotherapy. Initially the early history of radioactivity research is described which among others led to the detection of the emanation as a daughter product of radium. After this followed the evidence of the emanation as a constituent of the natural atmosphere. The establishment of its presence in spring-waters led to the knowledge that there are more than average concentrations of emanation in several mineral springs. In the second part of the article the therapeutic use of the natural radon springs initiated by this is described in its development and importance for Austria (Badgastein, St. Joachimsthal) and Germany (Bad Brambach) up to the beginning of the First World War. (author)

  12. [Dementia. Most frequent forms of beginning].

    Science.gov (United States)

    Arizaga, Raúl L; Cristalli, Diana O; Golimstok, Angel; Saredo, Gustavo

    2008-01-01

    In the present chapter, that is part of a more comprehensive work performed by the Argentine Consortium for Dementia Study - Consortium Argentino para el Estudio de la Demencia (CAED), we describe the most frequent forms of beginning for the four more prevalent types of dementia: Alzheimer's disease, dementia with Lewy bodies, vascular dementia and frontotemporal dementia). Despite this, it must be kept in mind, that frequently the clinical presentation is not typical and the diagnostic impression at the disease's beginning is controversial comparing it with the etiological diagnosis reached when the dementia is definitively installed. This issue must be considered when the initial impression is given to the patient and/or relatives. It must be clarified, in this instance, that this impression is based in statistical data of ways of presentation, but the definitive diagnosis could be different according to the dementia evolution.

  13. Radiotherapy in veterinary medicine: beginnings and perspectives

    International Nuclear Information System (INIS)

    Fernandes, Marco A.R.; Andrade, Alexandre L.; Luvizoto, Maria C.R.; Piero, Juliana R.; Ciarlini, Luciana D.R.P.

    2010-01-01

    This work presents a brief historical about the use of ionizing radiations in Veterinary Medicine, instructing the physical beginnings and techniques wrapped in the realization of the proceedings of radiotherapy in animals, illustrating some treated cases, highlighting the difficulties and pointing to the perspectives and importance of the acting of the medical physics in this kind of therapeutic still little used in the national scenery. (author)

  14. Sjogren's Syndrome: A Place to Begin

    Medline Plus

    Full Text Available ... Faces of Sjögren's Living with Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place to Begin Family & ... Treatments Patient Information Living with Sjögren's Survey Sjögren’s Clinical Trial Locations Clinical Trials – What’s Involved Video: A Place ...

  15. Fourier Series Formalization in ACL2(r

    Directory of Open Access Journals (Sweden)

    Cuong K. Chau

    2015-09-01

    Full Text Available We formalize some basic properties of Fourier series in the logic of ACL2(r, which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r. Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.

  16. Construction of Formal Ontology on Computer

    Directory of Open Access Journals (Sweden)

    Yelda FIRAT

    2013-01-01

    Full Text Available From a general point of view, the defined reality models by using a formal language are called formal ontology. These general purposeful models can be also used in the special fields of application. Because ontologies are large-scale by their nature, they have the potential of hosting errors and deficiencies in case they are generated by human labor. Besides, an ontology formed such a way will be difficult to be adapted to a application specific. In this study, an application of a computerized formal ontology formation saved from probable problems which are likely to arise using human labor will be introduced. In the application, semantic analysis of Turkish has been targetted as a special application field using corpus-based marking method in the framework of formal concept analysis. Beside the applications of these kinds of natural language processing formal ontologies are used considerably in the field of education as they present the information in the way of semantic structures clearly and meaningfully. The most important reasons of this are the use of the information technologies such as expansion of constructivist approach and the concept maps used for educational reasons.

  17. Formal modeling of robot behavior with learning.

    Science.gov (United States)

    Kirwan, Ryan; Miller, Alice; Porr, Bernd; Di Prodi, P

    2013-11-01

    We present formal specification and verification of a robot moving in a complex network, using temporal sequence learning to avoid obstacles. Our aim is to demonstrate the benefit of using a formal approach to analyze such a system as a complementary approach to simulation. We first describe a classical closed-loop simulation of the system and compare this approach to one in which the system is analyzed using formal verification. We show that the formal verification has some advantages over classical simulation and finds deficiencies our classical simulation did not identify. Specifically we present a formal specification of the system, defined in the Promela modeling language and show how the associated model is verified using the Spin model checker. We then introduce an abstract model that is suitable for verifying the same properties for any environment with obstacles under a given set of assumptions. We outline how we can prove that our abstraction is sound: any property that holds for the abstracted model will hold in the original (unabstracted) model.

  18. Beginning programming with Python for dummies

    CERN Document Server

    Mueller, John Paul

    2014-01-01

    Learn Python-the fun and easy way-and get in the programming game today! Python is one of the fastest growing programming languages, and no wonder. It requires three to five times less time than developing in Java, is a great building block for learning both procedural and object-oriented programming concepts, and is an ideal language for data analysis. Beginning Programming with Python For Dummies is the perfect guide to this dynamic and powerful programming language-even if you''ve never coded before! Author John Paul Mueller draws on his vast programming knowledge and experience to guide yo

  19. Beginning C# Object-Oriented Programming

    CERN Document Server

    Clark, Dan

    2011-01-01

    Beginning C# Object-Oriented Programming brings you into the modern world of development as you master the fundamentals of programming with C# and learn to develop efficient, reusable, elegant code through the object-oriented programming (OOP) methodology. Take your skills out of the 20th century and into this one with Dan Clark's accessible, quick-paced guide to C# and object-oriented programming, completely updated for .NET 4.0 and C# 4.0. As you develop techniques and best practices for coding in C#, one of the world's most popular contemporary languages, you'll experience modeling a "real

  20. Beginning database design from novice to professional

    CERN Document Server

    Churcher, Clare

    2012-01-01

    Beginning Database Design, Second Edition provides short, easy-to-read explanations of how to get database design right the first time. This book offers numerous examples to help you avoid the many pitfalls that entrap new and not-so-new database designers. Through the help of use cases and class diagrams modeled in the UML, you'll learn to discover and represent the details and scope of any design problem you choose to attack. Database design is not an exact science. Many are surprised to find that problems with their databases are caused by poor design rather than by difficulties in using th

  1. Is cloud computing finally beginning to mature?

    OpenAIRE

    Dimitrios Zissis; Dimitrios Lekkas

    2012-01-01

    The buzz term that came into popularity in the beginning of 2006 to describe an innovative IT deployment architecture, originated from the cloud metaphor that was used to represent the Internet in various network diagrams as early as the 1990s. In a short period of time after the term appeared, cloud solutions were being rapidly marketed by many IT companies and various new buzz words came into vogue such as "cloud in a can", "cloud bursting", and we suddenly had “blue clouds”, “green clouds”...

  2. Beginning programming with Java for dummies

    CERN Document Server

    Burd, Barry

    2014-01-01

    A practical introduction to programming with Java Beginning Programming with Java For Dummies, 4th Edition is a comprehensive guide to learning one of the most popular programming languages worldwide. This book covers basic development concepts and techniques through a Java lens. You'll learn what goes into a program, how to put the pieces together, how to deal with challenges, and how to make it work. The new Fourth Edition has been updated to align with Java 8, and includes new options for the latest tools and techniques. Java is the predominant language used to program Android and cloud app

  3. Beginning Python from novice to professional

    CERN Document Server

    Hetland, Magnus Lie

    2005-01-01

    ""Beginning Python: From Novice to Professional"" is the most comprehensive book on the Python ever written. Based on ""Practical Python,"" this newly revised book is both an introduction and practical reference for a swath of Python-related programming topics, including addressing language internals, database integration, network programming, and web services. Advanced topics, such as extending Python and packaging/distributing Python applications, are also covered. Ten different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing applicati

  4. Requiring formal training in preventive health practices for child day care providers.

    Science.gov (United States)

    Bassoff, B Z; Willis, W O

    1991-01-01

    The study was a test of the feasibility of mandating training in preventive health practices for child day care providers in California. Three approaches were taken to determining the feasibility of mandatory training. They were (a) to identify persons and groups with the capability to provide training, (b) to identify systems and networks for communication and collaboration on health issues related to day care at the local level, and (c) to determine the child day care providers' concerns, needs, and future interests regarding child health. Information was collected on relevant courses offered by universities, colleges, and adult education programs; on training offered by child health authorities; and on formal curriculums offered by local and national sources. Day care center and family day care home providers were surveyed to determine their knowledge of child health issues, their concerns, and their future needs. The providers surveyed cared for a total of 14,340 children. Information on local networks was obtained from the surveys, from interviews, and from a special task force that had been set up to advise the State legislature. Study results supported the conclusion that a coordinated system of State-wide training was feasible, given the existing networks of training and educational resources, the number of day care providers who had already been motivated to seek some training in child health practices, and the almost unanimous interest among day care providers in obtaining training. Mandating training in child health for day care providers will require a commitment in the form of new legislation outlining basic requirements and allocating funding. The implementation and costs of such a mandate at the State and local level are discussed.

  5. First order formalism for quantum gravity

    International Nuclear Information System (INIS)

    Gleiser, M.; Holman, R.; Neto, N.P.

    1987-05-01

    We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs

  6. Designing for Non-Formal Learning

    DEFF Research Database (Denmark)

    Petersson, Eva

    2008-01-01

    perspective on designing for non-formal learning by elaborating from a position at the juncture of social semiotics and Vygotskian inspired socio-cultural theories. The embodied complex processes of sign transformation, by way of modes, media, play and engagement will be discussed. To support my position I...... opportunities in empowerment of children with impairment, especially in respect of their ‘non-formal learning' potentials. The questioning of how to best use the technology so as to optimise possibilities and overcome constraints in education, therapy and rehabilitation is an aspect of my talk. Additionally, I...... semiotic point of view. This is due to the fact that design is a way to configure communicative resources and social interaction (Kress & van Leeuwen, 2001) which, from my position, supports designing for non-formal learning which is at the core of my research. In this presentation, I will introduce my...

  7. Formal analogies in physics teacher education

    DEFF Research Database (Denmark)

    Avelar Sotomaior Karam, Ricardo; Ricardo, Elio

    2012-01-01

    the relevance of the subject, formal analogies are rarely systematically approached in physics education. In order to discuss this issue with pre-service physics teachers, we planned a lecture and designed a questionnaire with the goal of encouraging them to think about some “coincidences” in well known......Reasoning by similarities, especially the ones associated with formal aspects, is one of the most valuable sources for the development of physical theories. The essential role of formal analogies in science can be highlighted by the fact that several equations for different physical situations have...... the exact same appearance. Coulomb’s law’s similarity with Newton’s, Maxwell’s application of fluid theory to electromagnetism and Hamilton’s optical mechanical analogy are some among many other examples. These cases illustrate the power of mathematics in providing unifying structures for physics. Despite...

  8. PERANAN PENDIDIKAN FORMAL DALAM PROSES PEMBUDAYAAN

    Directory of Open Access Journals (Sweden)

    Juanda Juanda

    2010-06-01

    Full Text Available This article deals the role of formal education in the process of enculturation, including six aspects: education and encul-turation, educational policy in Indonesia, educational aspects as cultural phenomena, the functions of culture in education, the role of formal education in the process of enculturation, and the process of enculturation through formal education. The policy of equal right for education is designed to give equal opportunity to all people to get education without discrimination to any ethnic group. Education is an endeavour of developing the community culture to be a modern society, developed and harmonious based on the shared cultural values. Enculturation process is an attempt to guide someone’s attitude and behaviour based on science and skill.

  9. Formal verification of industrial control systems

    CERN Multimedia

    CERN. Geneva

    2015-01-01

    Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems. [1]: http://cern.ch/project-plc-formalmethods [2]: http://cern.ch/plcverif

  10. Automated Formal Verification for PLC Control Systems

    CERN Multimedia

    Fernández Adiego, Borja

    2014-01-01

    Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software. However, these techniques are still not widely applied in industry due to the complexity of building formal models, which represent the system and the formalization of requirement specifications. We propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g. CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in any of the languages described in the IEC 61131-3 standard (ST, IL, etc.) to different modeling languages of verification tools. This approach has been applied to CERN PLC programs validating the methodology.

  11. Did time begin? Will time end?

    CERN Document Server

    Frampton, Paul H

    2009-01-01

    Did time begin at a Big Bang? Will the present expansion of the universe last for a finite or infinite time? These questions sound philosophical but are becoming, now in the twenty-first century, central to the scientific study of cosmology. The answers, which should become clarified in the next decade or two, could have profound implications for how we see our own role in the universe. Since the original publication of Stephen Hawking's {\\it A Brief History of Time} in 1988, the answers to these questions have progressed as a result of research by the community of active theoretical physicists including myself. To present the underlying ideas requires discussion of a wide range of topics in cosmology, especially the make up of the energy content of the universe. A brief summary of my conclusions, that of three different possibilities concerning the history and future of time, the least likely is the conventional wisdom (time began and will never end) and most likely is a cyclic model (time never begins or en...

  12. User Interface Technology for Formal Specification Development

    Science.gov (United States)

    Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

    1994-01-01

    Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

  13. Educación no formal

    Science.gov (United States)

    Tignanelli, H.

    Se comentan en esta comunicación, las principales contribuciones realizadas en el campo de la educación en astronomía en los niveles primario, secundario y terciario, como punto de partida para la discusión de la actual inserción de los contenidos astronómicos en los nuevos contenidos curriculares de la EGB - Educación General Básica- y Polimodal, de la Reforma Educativa. En particular, se discuten los alcances de la educación formal y no formal, su importancia para la capacitación de profesores y maestros, y perspectivas a futuro.

  14. Towards formalization of inspection using petrinets

    International Nuclear Information System (INIS)

    Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.

    2014-01-01

    Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)

  15. Formal Concept Analysis for Information Retrieval

    OpenAIRE

    Qadi, Abderrahim El; Aboutajedine, Driss; Ennouary, Yassine

    2010-01-01

    In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape of a lattice of concepts, the answers provided by a search engine. We proposed for the IR an incremental algorithm based on Galois lattice. This algorithm allows a formal clustering of the data sources, and the results which it turns over are classified by ...

  16. The UML as a Formal Modeling Notation

    OpenAIRE

    Evans, Andy; France, Robert; Lano, Kevin; Rumpe, Bernhard

    2014-01-01

    The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to ensure that UML concepts are precisely stated and defined. In this paper we motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams and describe a roadmap for ...

  17. Comparing formal verification approaches of interlocking systems

    DEFF Research Database (Denmark)

    Haxthausen, Anne Elisabeth; Nguyen, Hoang Nga; Roggenbach, Markus

    2016-01-01

    The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare...... these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey...

  18. Formal Institutions and Subjective Well-Being

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross-country stud......A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross...

  19. Formalizing the Problem of Music Description

    DEFF Research Database (Denmark)

    Sturm, Bob L.; Bardeli, Rolf; Langlois, Thibault

    2015-01-01

    The lack of a formalism for “the problem of music descrip- tion” results in, among other things: ambiguity in what problem a music description system must address, how it should be evaluated, what criteria define its success, and the paradox that a music description system can reproduce the “ground...... truth” of a music dataset without attending to the music it contains. To address these issues, we formal- ize the problem of music description such that all elements of an instance of it are made explicit. This can thus inform the building of a system, and how it should be evaluated in a meaningful way...

  20. Formal Modeling and Analysis of Timed Systems

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand; Niebert, Peter

    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts...... of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real......-time systems, discrete time systems, timed languages, and real-time operating systems....

  1. A Formal Model For Declarative Workflows

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao

    the declarative nature of the projected graphs (which are also DCR graphs). We have also provided semantics for distributed executions based on synchronous communication among network of projected graphs and proved that global and distributed executions are equivalent. Further, to support modeling of processes...... using DCR Graphs and to make the formal model available to a wider audience, we have developed prototype tools for specification and a workflow engine for the execution of DCR Graphs. We have also developed tools interfacing SPIN model checker to formally verify safety and liveness properties on the DCR...

  2. Augmenting Reality and Formality of Informal and Non-Formal Settings to Enhance Blended Learning

    Science.gov (United States)

    Pérez-Sanagustin, Mar; Hernández-Leo, Davinia; Santos, Patricia; Kloos, Carlos Delgado; Blat, Josep

    2014-01-01

    Visits to museums and city tours have been part of higher and secondary education curriculum activities for many years. However these activities are typically considered "less formal" when compared to those carried out in the classroom, mainly because they take place in informal or non-formal settings. Augmented Reality (AR) technologies…

  3. The Dynamics of Formal Organization: Essays on bureaucracy and formal rules

    NARCIS (Netherlands)

    S.E. Osadchiy (Sergey)

    2011-01-01

    textabstractTheories of bureaucracy in organization studies constitute a perspective in which formal or written rules are seen as fundamental to the understanding of organization. It is argued, for example, that formal rules facilitate organizational decision-making, establish the basis for

  4. Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam

    NARCIS (Netherlands)

    Lensink, B.W.; Pham, T.T.T.

    2007-01-01

    This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related

  5. Before the beginning our universe and others

    CERN Document Server

    Rees, Martin

    1997-01-01

    "Although we cannot observe them (and they may be forever inaccessible), other universes are a natural expectation from current cosmology. Moreover, many features of our universe that otherwise seem baffling fall into place once we recognize this." Sir Martin Rees, the British Astronomer Royal, gives a vivid, occasionally acid tour of current astrophysics and cosmology, with insights into scientific politics, such as the enormous increase in the cost of the space telescope because of its association with the Space Shuttle. He also offers keen observations on personalities such as Subrahmayan Chandrasekhar and Isaac Newton, Yakov Zeldovich and Albert Einstein. Joseph Silk calls Before the Beginning "an unusual blend of wit, asperity and cosmology ... a combination of clarity and conciseness."

  6. Beginning iPhone Games Development

    CERN Document Server

    Cabera, P; Marsh, Ian; Smith, Ben; Wing, Eric

    2010-01-01

    iPhone games are hot! Just look at the numbers. Games make up over 25 percent of total apps and over 70 percent of the most popular apps. Surprised? Of course not! Most of us have filled our iPhone or iPod touch with games, and many of us hope to develop the next best-selling, most talked-about game. You've probably already read and mastered Beginning iPhone 3 Development; Exploring the iPhone SDK, the best-selling, the second edition of Apress's highly acclaimed introduction to the iPhone and iPod touch by developers Dave Mark and Jeff LaMarche. This book is the game-specific equivalent, prov

  7. How to Begin a Quality Improvement Project.

    Science.gov (United States)

    Silver, Samuel A; Harel, Ziv; McQuillan, Rory; Weizman, Adam V; Thomas, Alison; Chertow, Glenn M; Nesrallah, Gihad; Bell, Chaim M; Chan, Christopher T

    2016-05-06

    Quality improvement involves a combined effort among health care staff and stakeholders to diagnose and treat problems in the health care system. However, health care professionals often lack training in quality improvement methods, which makes it challenging to participate in improvement efforts. This article familiarizes health care professionals with how to begin a quality improvement project. The initial steps involve forming an improvement team that possesses expertise in the quality of care problem, leadership, and change management. Stakeholder mapping and analysis are useful tools at this stage, and these are reviewed to help identify individuals who might have a vested interest in the project. Physician engagement is a particularly important component of project success, and the knowledge that patients/caregivers can offer as members of a quality improvement team should not be overlooked. After a team is formed, an improvement framework helps to organize the scientific process of system change. Common quality improvement frameworks include Six Sigma, Lean, and the Model for Improvement. These models are contrasted, with a focus on the Model for Improvement, because it is widely used and applicable to a variety of quality of care problems without advanced training. It involves three steps: setting aims to focus improvement, choosing a balanced set of measures to determine if improvement occurs, and testing new ideas to change the current process. These new ideas are evaluated using Plan-Do-Study-Act cycles, where knowledge is gained by testing changes and reflecting on their effect. To show the real world utility of the quality improvement methods discussed, they are applied to a hypothetical quality improvement initiative that aims to promote home dialysis (home hemodialysis and peritoneal dialysis). This provides an example that kidney health care professionals can use to begin their own quality improvement projects. Copyright © 2016 by the American

  8. Towards a Formal Framework for Computational Trust

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro

    2006-01-01

    We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation....

  9. Rhythmic Characteristics of Colloquial and Formal Tamil

    Science.gov (United States)

    Keane, Elinor

    2006-01-01

    Application of recently developed rhythmic measures to passages of read speech in colloquial and formal Tamil revealed some significant differences between the two varieties, which are in diglossic distribution. Both were also distinguished from a set of control data from British English speakers reading an equivalent passage. The findings have…

  10. Does Formal Environmental Knowledge Inform the Everyday ...

    African Journals Online (AJOL)

    This paper explores the link between formal environmental knowledge encapsulated in the University of Cambridge International Examination Curriculum and learners' ability to translate this knowledge into everyday practices in Lesotho. The paper reports on research undertaken in three secondary schools in Lesotho ...

  11. Formal Schema Theory and Teaching EFL Reading

    Science.gov (United States)

    Young, Barbara N; Man, Zhou

    2005-01-01

    Inquirers designed and conducted a study investigating whether or not results derived from previous research focusing on teaching and learning English as a native or foreign language would be replicated in a learning environment in which English is taught as a foreign language as in China. Because activation of formal schemata plays an important…

  12. Revisiting the formal foundation of Probabilistic Databases

    NARCIS (Netherlands)

    Wanders, B.; van Keulen, Maurice

    2015-01-01

    One of the core problems in soft computing is dealing with uncertainty in data. In this paper, we revisit the formal foundation of a class of probabilistic databases with the purpose to (1) obtain data model independence, (2) separate metadata on uncertainty and probabilities from the raw data, (3)

  13. Effective operator formalism for open quantum systems

    DEFF Research Database (Denmark)

    Reiter, Florentin; Sørensen, Anders Søndberg

    2012-01-01

    We present an effective operator formalism for open quantum systems. Employing perturbation theory and adiabatic elimination of excited states for a weakly driven system, we derive an effective master equation which reduces the evolution to the ground-state dynamics. The effective evolution...

  14. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    2008-12-23

    Dec 23, 2008 ... changing gene frequencies, and the optimization programme represents design. The fundamental strategy of the Formal. Darwinism Project is linking two .... tions research. Note that there is no sense of generations, or of genes. Indeed there is no population, and so for many rea- sons there is no sense of ...

  15. Formally analysing the concepts of domestic violence

    NARCIS (Netherlands)

    Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.

    2011-01-01

    The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case data is still stored as unstructured text. In this paper Formal Concept Analysis (FCA) is showcased for its exploratory

  16. Uncertainty and Reconfigurability in Hilbertean Formal Methods

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.

    Hilbertian Formal Methods is a recently introduced paradigm for embedded systems operating in harsh physical environments. This paradigm has been more developed for the deterministic case. However, it is very rare that a physical environment follows precisely a deterministic rule and then it is more

  17. Formal verification of algorithms for critical systems

    Science.gov (United States)

    Rushby, John M.; Von Henke, Friedrich

    1993-01-01

    We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

  18. A Formal Model for Trust Lifecycle Management

    DEFF Research Database (Denmark)

    Wagealla, Waleed; Carbone, Marco; English, Colin

    2003-01-01

    We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the sam...

  19. Incremental guideline formalization with tool support

    NARCIS (Netherlands)

    Serban, Radu; Puig-Centelles, Anna; ten Teije, Annette

    2006-01-01

    Guideline formalization is recognized as an important component in improving computerized guidelines, which in turn leads to better informedness, lower inter-practician variability and, ultimately, to higher quality healthcare. By means of a modeling exercise, we investigate the role of guideline

  20. A New Formalism for Relational Algebra

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Larsen, Kim Skak; Schmidt, Erik Meineche

    1992-01-01

    We present a new formalism for relational algebra, the FC language, which is based on a novel factorization of relations. The acronym stands for factorize and combine. A pure version of this language is equivalent to relational algebra in the sense that semantics preserving translations exist...

  1. Moving interprofessional learning forward through formal assessment.

    Science.gov (United States)

    Stone, Judy

    2010-04-01

    There is increasing agreement that graduates who finish tertiary education with the full complement of skills and knowledge required for their designated profession are not 'work-ready' unless they also acquire interpersonal, collaborative practice and team-working capabilities. Health workers are unable to contribute to organisational culture in a positive way unless they too attain these capabilities. These capabilities have been shown to improve health care in terms of patient safety, worker satisfaction and health service efficiency. Given the importance of interprofessional learning (IPL) which seeks to address these capabilities, why is IPL not consistently embedded into the education of undergraduates, postgraduates and vocationally qualified personnel through formal assessment? This paper offers an argument for the formal assessment of IPL. It illustrates how the interests of the many stakeholders in IPL can benefit from, and contribute to, the integration of IPL into mainstream professional development and tertiary education. It offers practical examples of assessment in IPL which could drive learning and offer authentic, contextual teaching and learning experiences to undergraduates and health workers alike. Assessment drives learning and without formal assessment IPL will continue to be viewed as an optional topic of little relative importance for learners. In order to make the next step forward, IPL needs to be recognised and endorsed through formal assessment, both at the tertiary education level and within the workplace environment. This is supported by workforce initiatives and tertiary education policy which can be used to specify the capabilities or generic skills necessary for effective teamwork and collaborative practice.

  2. What makes industries believe in formal methods

    NARCIS (Netherlands)

    Vissers, C.A.; van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Danthine, A.S.; Leduc, G.; Wolper, P.

    1993-01-01

    The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current

  3. A Formal Model for Context-Awareness

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun; Bunde-Pedersen, Jonathan

    here is a definite lack of formal support for modeling real- istic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new construc...

  4. Simulation and formal analysis of visual attention

    NARCIS (Netherlands)

    Bosse, T.; Maanen, P.P. van; Treur, J.

    2009-01-01

    In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is

  5. Maintaining formal models of living guidelines efficiently

    NARCIS (Netherlands)

    Seyfang, Andreas; Martínez-Salvador, Begoña; Serban, Radu; Wittenberg, Jolanda; Miksch, Silvia; Marcos, Mar; Ten Teije, Annette; Rosenbrand, Kitty C J G M

    2007-01-01

    Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the

  6. Formal Verification of Circuits and Systems

    Indian Academy of Sciences (India)

    R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22

    Today formal verification is finding increasing acceptance in some areas, especially model abstraction and functional verification. Other major chal- lenges, like timing verification, remain before this technology can be posed as a complete alternative to simulation. This special issue is devoted to presenting some of the ...

  7. Protocol design and implementation using formal methods

    NARCIS (Netherlands)

    van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Vissers, C.A.

    1992-01-01

    This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on

  8. A formal model for total quality management

    NARCIS (Netherlands)

    S.C. van der Made-Potuijt; H.B. Bertsch (Boudewijn); L.P.J. Groenewegen

    1996-01-01

    textabstractTotal Quality Management (TQM) is a systematic approach to managing a company. TQM is systematic in the sense that it is uses facts through observation, analysis and measurable goals. There are theoretical descriptions of this management concept, but there is no formal model of it. A

  9. Formal synthesis of naturally occurring norephedrine

    Indian Academy of Sciences (India)

    A concise and simple synthesis of 1-hydroxy-phenethylamine derivatives has been achieved following classical organic transformations using commercially available chiral pools. The said derivatives were explored for the synthesis of naturally occurring bio-active small molecules. Formal synthesis of norephedrine, virolin ...

  10. A Formal Model of Identity Mixer

    DEFF Research Database (Denmark)

    Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter

    2010-01-01

    Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity...

  11. Confusion about entrepreneurship? Formal versus informal small ...

    African Journals Online (AJOL)

    chestt

    that contributes to both business formation and the ultimate expansion or growth of the business. The entrepreneurial actions related to these business activities are analysed in this study. The differential application of these actions in the formal and informal business panels is of particular importance for this study. Although ...

  12. Applicability of four parameter formalisms in interpreting ...

    Indian Academy of Sciences (India)

    The four parameter functions are generally considered to be adequate for representation of the thermodynamic properties for the strongly interacting binary systems. The present study involves a critical comparison in terms of applicability of the three well known four-parameter formalisms for the representation of the ...

  13. Educational attainment, formal employment and contraceptives ...

    African Journals Online (AJOL)

    Based on this, the study examines educational attainment, formal employment and contraceptives practices among working women in Lagos State University. Survey design was adopted for the study. Using Stratified and simple random sampling techniques, quantitative data was gathered through the administration of ...

  14. 29 CFR 101.20 - Formal hearing.

    Science.gov (United States)

    2010-07-01

    ... 29 Labor 2 2010-07-01 2010-07-01 false Formal hearing. 101.20 Section 101.20 Labor Regulations Relating to Labor NATIONAL LABOR RELATIONS BOARD STATEMENTS OF PROCEDURES Representation Cases Under... a copy of the petition, is served on the unions and employer filing or named in the petition and on...

  15. Beginning science teachers' strategies for communicating with families

    Science.gov (United States)

    Bloom, Nena E.

    Science learning occurs in both formal and informal spaces. Families are critical for developing student learning and interest in science because they provide important sources of knowledge, support and motivation. Bidirectional communication between teachers and families can be used to build relationships between homes and schools, leverage family knowledge of and support for learners, and create successful environments for science learning that will support both teaching and student learning. To identify the communication strategies of beginning science teachers, who are still developing their teaching practices, a multiple case study was conducted with seven first year secondary science teachers. The methods these teachers used to communicate with families, the information that was communicated and shared, and factors that shaped these teachers' continued development of communication strategies were examined. Demographic data, interview data, observations and documentation of communication through logs and artifacts were collected for this study. Results indicated that the methods teachers had access to and used for communication impacted the frequency and efficacy of their communication. Teachers and families communicated about a number of important topics, but some topics that could improve learning experiences and science futures for their students were rarely discussed, such as advancement in science, student learning in science and family knowledge. Findings showed that these early career teachers were continuing to learn about their communities and to develop their communication strategies with families. Teachers' familiarity with their school community, opportunities to practice strategies during preservice preparation and student teaching, their teaching environment, school policies, and learning from families and students in their school culture continued to shape and influence their views and communication strategies. Findings and implications for

  16. Formalization and Land Grabbing in Africa: Facilitation or Protection ...

    African Journals Online (AJOL)

    The first focuses on investment and land grabbing, and the second on the formalization of rural property rights. Less has been written on the impact of formalization on land grabbing and of land grabbing on formalization. Recently, formalization has been put forward to protect the rights of pastoralists and farmers from land ...

  17. 20 CFR 702.336 - Formal hearings; new issues.

    Science.gov (United States)

    2010-04-01

    ... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Formal hearings; new issues. 702.336 Section... Procedures Formal Hearings § 702.336 Formal hearings; new issues. (a) If, during the course of the formal hearing, the evidence presented warrants consideration of an issue or issues not previously considered...

  18. Técnica, Modernidade e Educação Formal Pública. Technique, modernity and public formal education

    Directory of Open Access Journals (Sweden)

    Silva, Cesar Augusto Alves da

    2009-05-01

    contemporary world. Since its beginning in the period to which may be called "modernity", this logic, the maximum efficiency in achieving the greatest gains in the shortest time possible, reached all the social relations in the contemporary world and is used in technology and science to achieve this goal. The configuration erected by the economic relations of capitalist production, in order to achieve its movement of reproduction, built an environment where the technique, transformed into a tool, object technology and form of action, shapes the behavior of human beings living in order to facilitate daily activities: reducing steps, creating patterns to perform them and reducing the need for complex thinking and prepared. Moreover, the acceleration of the pace of production from factories exceeded its walls and reached the lives of humans outside creating a climate of social and cultural high speed. Our goal is to demonstrate that this is a scenario which to make formal education uninteresting, as unnecessary, since the behavior is reckless required that the majority of human beings - especially the young. The conclusion we reached is that, for formal education, thought, reflection - and the slow pace to chisel both - is fundamental, but the actual human being has great potential to become totally averse to them.

  19. Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final Report

    Science.gov (United States)

    Bush, Eric; Oglesby, David; Bhatt, Devesh; Murugesan, Anitha; Engstrom, Eric; Mueller, Joe; Pelican, Michael

    2017-01-01

    This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that might be applied to chains of such formal methods tools in order to increase confidence in their certification of airborne software.

  20. An Institutional Framework for Heterogeneous Formal Development in UML

    OpenAIRE

    Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus

    2014-01-01

    We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging fr...

  1. Galen and the beginnings of Western physiology.

    Science.gov (United States)

    West, John B

    2014-07-15

    Galen (129-c. 216 AD) was a key figure in the early development of Western physiology. His teachings incorporated much of the ancient Greek traditions including the work of Hippocrates and Aristotle. Galen himself was a well-educated Greco-Roman physician and physiologist who at one time was a physician to the gladiators in Pergamon. Later he moved to Rome, where he was associated with the Roman emperors Marcus Aurelius and Lucius Verus. The Galenical school was responsible for voluminous writings, many of which are still extant. One emphasis was on the humors of the body, which were believed to be important in disease. Another was the cardiopulmonary system, including the belief that part of the blood from the right ventricle could enter the left through the interventricular septum. An extraordinary feature of these teachings is that they dominated thinking for some 1,300 years and became accepted as dogma by both the State and Church. One of the first anatomists to challenge the Galenical teachings was Andreas Vesalius, who produced a magnificent atlas of human anatomy in 1543. At about the same time Michael Servetus described the pulmonary transit of blood, but he was burned at the stake for heresy. Finally, with William Harvey and others in the first part of the 17th century, the beginnings of modern physiology emerged with an emphasis on hypotheses and experimental data. Nevertheless, vestiges of Galen's teaching survived into the 19th century. Copyright © 2014 the American Physiological Society.

  2. Drawing as a beginning: Case report

    Directory of Open Access Journals (Sweden)

    Stojković-Pavlović Jasmina

    2016-01-01

    Full Text Available Treatment of patients with affective disorders during hospitalisation at the Institute of Mental Health includes pharmacotherapy, individual supportive therapy, group and expressive therapies including art therapy. Art therapy takes a place weekly, it lasts one hour during which patients paint for twenty minutes and then discuss their paintings in the group for the next forty minutes. In this paper the case of a patient who has been treated as recurrent depressive disorder (F33 and mixed personality disorder (F61 is presented. During previous years of treatment the patient had no inability to verbalise his symptoms and feelings, which led to difficult understanding of his actual psychopathology. After applied integrative treatment, pharmaco – and psychotherapy including expressive – art therapy, with the help of the supportive group, the patient for the first time since the beginning of the treatment spoke about his thoughts and feelings of hopelessness, sorrow, alienation and loneliness. All of the applied psychometric scales have shown improvement, for depression – MADRS, for anxiety – VAS and for functionality – SDS. This clinical example shows how the art therapy and interreaction with the group, which was supportive and highly associative, can turn the non-verbal into verbal and non-communication into communication.

  3. Helicobacter pylori: Beginning the Second Decade

    Directory of Open Access Journals (Sweden)

    Ann Matisko

    1995-01-01

    Full Text Available ‘Beginning the Second Decade’ - a recent international meeting on Helicobacter pylori - was held in conjunction with the VIIth International Workshop on Gastroduodenal Pathology and H pylori and with the meeting of the European Helicobacter pylori Study Group in Houston, Texas from September 30 to October 1, 1994. A menu of 476 abstracts, published in the American Journal of Gastroenterology (1994;89:8, highlighted the explosion of advances in this area. The Houston meeting was followed by the Tenth World Congresses of Gastroenterology from October 2 to 7, 1994 in Los Angeles, California, again with scores of presentations and posters on topics ranging from the epidemiology of H pylori infection to steps towards the development of a human vaccine. All this was in addition to important new work presented earlier in 1994 in New Orleans during Digestive Diseases Week. In this digest of these important meetings, the authors will not regurgitate what the informed reader already knows, but will instead focus on the recent developments in important areas, providing selected key published references for background, and referring to this new work in abstract form which is at the cutting edge of “yesterday’s tomorrow today”.

  4. What Is Europe? The Greek Beginnings

    Directory of Open Access Journals (Sweden)

    Piotr Jaroszyński

    2016-03-01

    Full Text Available The article begins with the statement that there are three concepts of Europe historically significant. The first concept of Europe looms out in the context of the clash between the ancient Greeks and the Persians, the second one is induced by Christianity and Islam meeting head-on whereas the third concept results from the European civilization confronting the cultures of the newly discovered peoples inhabiting other continents. It is just in the context of the indicated clashes that the concept of Europe is shaped as a phenomenon diversified not only geographically but also in terms of civilization as regards other cultures or civilizations. The article then concerns with the concept of Europeanism which in the cultural sense was crystallized in Greece at the turn of the fifth and fourth centuries before Christ. It emerged on the background of the opposition between the Greeks and Asians as well as other peoples, which were referred to as barbarians by the Greeks. The article concludes that it was culture and freedom which constituted two arms of Europeanness shaped by the ancient Greeks.

  5. About the beginnings of orthopaedics in Timisoara.

    Science.gov (United States)

    Poenaru, Dan V

    2015-12-01

    The historical and geographical territory of Banat is part of present-day Romania. Timisoara's history, the capital city of Banat region, dates back to the second century B.C. Medical life in Banat was re-organised after the promulgation of the Aulic Laws in the eighteenth century. Thorough research was undertaken through historic manuscripts, old newspapers, biographies and other papers about the history of Romanian medicine. The eighteenth century witnessed the building of three hospitals in Timisoara. In that period, Banat region benefited from the expertise and professionalism of doctors who graduated and were trained mainly in Central and Western European universities. By the beginning of the twentieth century, many medical clinics or sanatoriums specialising in orthopaedics and traumatology were offering their services to the population. Banat region had many good orthopaedists, and one of them was Prof. Dr. Doc. Berceanu, who graduated from the University of Medicine Bucharest and further specialised in Paris, France. He is the founder of the Orthopaedics and Traumatology Clinic in Timisoara.

  6. Exploiting formal, non-formal and informal learning when using business games in leadership education

    DEFF Research Database (Denmark)

    Børgesen, Kenneth; Nielsen, Rikke Kristine; Henriksen, Thomas Duus

    2016-01-01

    Purpose This paper aims to address the necessity of allowing non-formal and informal processes to unfold when using business games for leadership development. While games and simulations have long been used in management training and leadership development, emphasis has been placed on the formal...... parts of the process and especially on the gaming experience. Design/methodology/approach This paper is based on a qualitative study of a French management game on change management, in which the game-based learning process is examined in light of adult learning. Findings This paper concludes that less...... formal dialogues that stem from formal activities make important contributions to the learning process. Consequently, the use of business games in leadership development should be didactically designed to facilitate such dialogues. While playing the game takes center stage, activities such as theory...

  7. Formal Analysis of Graphical Security Models

    DEFF Research Database (Denmark)

    Aslanyan, Zaruhi

    The increasing usage of computer-based systems in almost every aspects of our daily life makes more and more dangerous the threat posed by potential attackers, and more and more rewarding a successful attack. Moreover, the complexity of these systems is also increasing, including physical devices......, software components and human actors interacting with each other to form so-called socio-technical systems. The importance of socio-technical systems to modern societies requires verifying their security properties formally, while their inherent complexity makes manual analyses impracticable. Graphical...... models for security offer an unrivalled opportunity to describe socio-technical systems, for they allow to represent different aspects like human behaviour, computation and physical phenomena in an abstract yet uniform manner. Moreover, these models can be assigned a formal semantics, thereby allowing...

  8. The MODUS approach to formal verification

    DEFF Research Database (Denmark)

    Brewka, Lukasz Jerzy; Soler, José; Berger, Michael Stübert

    2014-01-01

    in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution......Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely...... Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model...

  9. Formalism and physical interpretation in Schroedinger

    International Nuclear Information System (INIS)

    Paty, M.

    1992-01-01

    The question of the relation between a formalism and its physical interpretation arises not only when theoretical and conceptual systems are reorganized, but in the theoretical elaboration as well. The Schroedinger's work and thought are examined in this paper with this double concern. His work on the mathematical formalism is constantly sustained by a proper physical thought which takes the form of a wave intuition that guarantees him intelligibility. Concerning his interpretation of quantum mechanics, his thought remains characterized, through its evolution, by a w ave image of the world . The way he deals with space-time structure in General Relativity and favours the possibility of a direct interpretation of space-time geometrical quantities, is also studied. (author). 75 refs

  10. Formal verification of a deadlock detection algorithm

    Directory of Open Access Journals (Sweden)

    Freek Verbeek

    2011-10-01

    Full Text Available Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching. The algorithm has been specified and proven correct in ACL2. To enable a top-down proof methodology, some parts of the algorithm have been left unimplemented. For these parts, the ACL2 specification contains constrained functions introduced with defun-sk. We used single-threaded objects to represent the data structures used by the algorithm. In this paper, we present details on the proof of correctness of the algorithm. The process of formal verification was crucial to get the algorithm flawless. Our ultimate objective is to have an efficient executable, and formally proven correct implementation of the algorithm running in ACL2.

  11. On the Coherence of Probabilistic Relational Formalisms

    Directory of Open Access Journals (Sweden)

    Glauber De Bona

    2018-03-01

    Full Text Available There are several formalisms that enhance Bayesian networks by including relations amongst individuals as modeling primitives. For instance, Probabilistic Relational Models (PRMs use diagrams and relational databases to represent repetitive Bayesian networks, while Relational Bayesian Networks (RBNs employ first-order probability formulas with the same purpose. We examine the coherence checking problem for those formalisms; that is, the problem of guaranteeing that any grounding of a well-formed set of sentences does produce a valid Bayesian network. This is a novel version of de Finetti’s problem of coherence checking for probabilistic assessments. We show how to reduce the coherence checking problem in relational Bayesian networks to a validity problem in first-order logic augmented with a transitive closure operator and how to combine this logic-based approach with faster, but incomplete algorithms.

  12. Generalizing Prototype Theory: A Formal Quantum Framework

    Science.gov (United States)

    Aerts, Diederik; Broekaert, Jan; Gabora, Liane; Sozzo, Sandro

    2016-01-01

    Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper. PMID:27065436

  13. A Formal Framework for Workflow Analysis

    Science.gov (United States)

    Cravo, Glória

    2010-09-01

    In this paper we provide a new formal framework to model and analyse workflows. A workflow is the formal definition of a business process that consists in the execution of tasks in order to achieve a certain objective. In our work we describe a workflow as a graph whose vertices represent tasks and the arcs are associated to workflow transitions. Each task has associated an input/output logic operator. This logic operator can be the logical AND (•), the OR (⊗), or the XOR -exclusive-or—(⊕). Moreover, we introduce algebraic concepts in order to completely describe completely the structure of workflows. We also introduce the concept of logical termination. Finally, we provide a necessary and sufficient condition for this property to hold.

  14. The formal logic of business rules

    Directory of Open Access Journals (Sweden)

    Ivana Rábová

    2007-01-01

    Full Text Available Identification of improvement areas and utilization of information and communication technologies have gained value and priority in our knowledge driven society. Rules define constraints, conditions and policies of how the business processes are to be performed but they also affect the behavior of the resource and facilitate strategic business goals achieving. They control the business and represent business knowledge. The research works about business rules show how to specify and classify business rules from the business perspective and to establish an approach to managing them that will enable faster change in business processes and other business concepts in all areas of the business. In concrete this paper deals with four approaches to business rules formalization, i. e. notation of OCL, inference rules, decision table and predicate logic and with their general evaluation. The article shows also the advantages and disadvantages of these approaches of formalization. They are the example of every mentioned approach.

  15. Measurements and mathematical formalism of quantum mechanics

    Science.gov (United States)

    Slavnov, D. A.

    2007-03-01

    A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum mechanics, and to study the limits of its applicability. A short outline is given of the necessary material from the theory of algebras and probability theory. It is described how the mathematical scheme of the paper agrees with the theory of quantum measurements, and avoids quantum paradoxes.

  16. A Formal Basis for Safety Case Patterns

    Science.gov (United States)

    Denney, Ewen; Pai, Ganesh

    2013-01-01

    By capturing common structures of successful arguments, safety case patterns provide an approach for reusing strategies for reasoning about safety. In the current state of the practice, patterns exist as descriptive specifications with informal semantics, which not only offer little opportunity for more sophisticated usage such as automated instantiation, composition and manipulation, but also impede standardization efforts and tool interoperability. To address these concerns, this paper gives (i) a formal definition for safety case patterns, clarifying both restrictions on the usage of multiplicity and well-founded recursion in structural abstraction, (ii) formal semantics to patterns, and (iii) a generic data model and algorithm for pattern instantiation. We illustrate our contributions by application to a new pattern, the requirements breakdown pattern, which builds upon our previous work

  17. Generalizing Prototype Theory: A Formal Quantum Framework

    Directory of Open Access Journals (Sweden)

    Diederik eAerts

    2016-03-01

    Full Text Available Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper.

  18. $\\delta N$ formalism from superpotential and holography

    CERN Document Server

    Garriga, Jaume; Vernizzi, Filippo

    2016-02-16

    We consider the superpotential formalism to describe the evolution of scalar fields during inflation, generalizing it to include the case with non-canonical kinetic terms. We provide a characterization of the attractor behaviour of the background evolution in terms of first and second slow-roll parameters (which need not be small). We find that the superpotential is useful in justifying the separate universe approximation from the gradient expansion, and also in computing the spectra of primordial perturbations around attractor solutions in the $\\delta N$ formalism. As an application, we consider a class of models where the background trajectories for the inflaton fields are derived from a product separable superpotential. In the perspective of the holographic inflation scenario, such models are dual to a deformed CFT boundary theory, with $D$ mutually uncorrelated deformation operators. We compute the bulk power spectra of primordial adiabatic and entropy cosmological perturbations, and show that the results...

  19. Pendekatan Non Formal Dan Formal Dalam Menganalisis Artefak Sebagai Media Pendidikan Sen1 Rupa

    OpenAIRE

    Iswahyudi, Iswahyudi; Mardiyatmo, Mardiyatmo

    1999-01-01

    An artifact is an object made by man and assumedto possess symbolic and esthetic values. An artifactcomes into existence through a concept of creationand based on an esthetic aspect.Artifacts can be used as educational media forcertain teaching materials. They can be in the form ofhardware (e.g., temples) and software (e.g., paintings).Non formal and formal approaches can be usedto analyze artifacts so that a comprehensive understandingis obtained. Such a combined use of approaches isalso mul...

  20. Formal First Integrals of General Dynamical Systems

    Directory of Open Access Journals (Sweden)

    Jia Jiao

    2016-01-01

    Full Text Available The goal of this paper is trying to make a complete study on the integrability for general analytic nonlinear systems by first integrals. We will firstly give an exhaustive discussion on analytic planar systems. Then a class of higher dimensional systems with invariant manifolds will be considered; we will develop several criteria for existence of formal integrals and give some applications to illustrate our results at last.

  1. Heuristics structure and pervade formal risk assessment.

    Science.gov (United States)

    MacGillivray, Brian H

    2014-04-01

    Lay perceptions of risk appear rooted more in heuristics than in reason. A major concern of the risk regulation literature is that such "error-strewn" perceptions may be replicated in policy, as governments respond to the (mis)fears of the citizenry. This has led many to advocate a relatively technocratic approach to regulating risk, characterized by high reliance on formal risk and cost-benefit analysis. However, through two studies of chemicals regulation, we show that the formal assessment of risk is pervaded by its own set of heuristics. These include rules to categorize potential threats, define what constitutes valid data, guide causal inference, and to select and apply formal models. Some of these heuristics lay claim to theoretical or empirical justifications, others are more back-of-the-envelope calculations, while still more purport not to reflect some truth but simply to constrain discretion or perform a desk-clearing function. These heuristics can be understood as a way of authenticating or formalizing risk assessment as a scientific practice, representing a series of rules for bounding problems, collecting data, and interpreting evidence (a methodology). Heuristics are indispensable elements of induction. And so they are not problematic per se, but they can become so when treated as laws rather than as contingent and provisional rules. Pitfalls include the potential for systematic error, masking uncertainties, strategic manipulation, and entrenchment. Our central claim is that by studying the rules of risk assessment qua rules, we develop a novel representation of the methods, conventions, and biases of the prior art. © 2013 Society for Risk Analysis.

  2. A Formal Definition of VDM-SL

    DEFF Research Database (Denmark)

    Bruun, Hans; Damm, F.; Dawes, J.

    1998-01-01

    This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part o...... and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL....

  3. Towards an Ashtekar formalism in eight dimensions

    International Nuclear Information System (INIS)

    Nieto, J A

    2005-01-01

    We investigate the possibility of extending the Ashtekar theory to eight dimensions. Our approach relies on two notions: the octonionic structure and the MacDowell-Mansouri formalism generalized to a spacetime of signature 1 + 7. The key mathematical tool for our construction is the self-dual (antiself-dual) four-rank fully antisymmetric octonionic tensor. Our results may be of particular interest in connection with a possible formulation of M -theory via matroid theory

  4. Towards a Formal Model of Social Data

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao; Vatrapu, Ravi; Hussain, Abid

    of the interactions, it focuses on the topics discussed and how they are discussed. What keywords appear? What pronouns are used? How far are negative or positive sentiments expressed? In this report, we first present and discuss a conceptual model of social data followed by a formal model based on set theory. Second...... model. Finally, we exemplify our approach with help of a case study on big social data of the fast fashion company, H&M. from its Facebook page....

  5. Globalization and formal sector migration in Brazil

    OpenAIRE

    Aguayo-Tellez, Ernesto; Muendler, Marc-Andreas; Poole, Jennifer Pamela

    2008-01-01

    We use novel linked employer–employee data to study the relationship between globalization and formal sector interstate migration for Brazil. We estimate the worker’s multichoice migration problem and document that previously unobserved employer covariates are significant predictors associated with migration flows. Our results provide support for the idea that globalization acts on internal migration through the growth of employment opportunities at locations with a high concentration of fore...

  6. Fourth NASA Langley Formal Methods Workshop

    Science.gov (United States)

    Holloway, C. Michael (Compiler); Hayhurst, Kelly J. (Compiler)

    1997-01-01

    This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS.

  7. Time delay in a multichannel formalism

    International Nuclear Information System (INIS)

    Haberzettl, Helmut; Workman, Ron

    2007-01-01

    We reexamine the time-delay formalism of Wigner, Eisenbud, and Smith, which was developed to analyze both elastic and inelastic resonances. An error in the paper of Smith has propagated through the literature. We correct this error and show how the results of Eisenbud and Smith are related. We also comment on some recent time-delay studies, based on Smith's erroneous interpretation of the Eisenbud result

  8. A FORMALISM FOR FUZZY BUSINESS RULES

    Directory of Open Access Journals (Sweden)

    Vasile Mazilescu

    2015-05-01

    Full Text Available The aim of this paper is to provide a formalism for fuzzy rule bases, included in our prototype system FUZZY_ENTERPRISE. This framework can be used in Distributed Knowledge Management Systems (DKMSs, real-time interdisciplinary decision making systems, that often require increasing technical support to high quality decisions in a timely manner. The language of the first-degree predicates facilitates the formulation of complex knowledge in a rigorous way, imposing appropriate reasoning techniques.

  9. Formal Specification of Real-Time Systems

    Energy Technology Data Exchange (ETDEWEB)

    Groven, Arne-Kristian

    1996-07-01

    This report presents the results of a study on formal specification of real-time distributed control systems. Emphasis has been but on the ability to describe both system architecture, system functionality and timed system behaviour inside the same formal framework. A timed extension of the ISO standardized formal description language LOTOS (ISO 8807), called TE-LOTOS, has been used for describing the timed behaviour. The functionality can be described in LOTOS, which is a subset of the timed extension. A graphical notation has been used for describing system architecture, transformable to a subset of LOTOS. This methodology has been used to specify a test example, a steam-boiler control system. Modularization of the specification is an important issue. This is achieved by isolating the time-dependent aspect in one part of the specification, and the system functionality in another. This modularization facilitates the separation of general aspect from the more specific aspects. This is demonstrated by comparison with another type of control systems, the APRM system (HWR-397). (author)

  10. [How to write an article: formal aspects].

    Science.gov (United States)

    Corral de la Calle, M A; Encinas de la Iglesia, J

    2013-06-01

    Scientific research and the publication of the results of the studies go hand in hand. Exquisite research methods can only be adequately reflected in formal publication with the optimum structure. To ensure the success of this process, it is necessary to follow orderly steps, including selecting the journal in which to publish and following the instructions to authors strictly as well as the guidelines elaborated by diverse societies of editors and other institutions. It is also necessary to structure the contents of the article in a logical and attractive way and to use an accurate, clear, and concise style of language. Although not all the authors are directly involved in the actual writing, elaborating a scientific article is a collective undertaking that does not finish until the article is published. This article provides practical advice about formal and not-so-formal details to take into account when writing a scientific article as well as references that will help readers find more information in greater detail. Copyright © 2012 SERAM. Published by Elsevier Espana. All rights reserved.

  11. Qualitative simulation in formal process modelling

    International Nuclear Information System (INIS)

    Sivertsen, Elin R.

    1999-01-01

    In relation to several different research activities at the OECD Halden Reactor Project, the usefulness of formal process models has been identified. Being represented in some appropriate representation language, the purpose of these models is to model process plants and plant automatics in a unified way to allow verification and computer aided design of control strategies. The present report discusses qualitative simulation and the tool QSIM as one approach to formal process models. In particular, the report aims at investigating how recent improvements of the tool facilitate the use of the approach in areas like process system analysis, procedure verification, and control software safety analysis. An important long term goal is to provide a basis for using qualitative reasoning in combination with other techniques to facilitate the treatment of embedded programmable systems in Probabilistic Safety Analysis (PSA). This is motivated from the potential of such a combination in safety analysis based on models comprising both software, hardware, and operator. It is anticipated that the research results from this activity will benefit V and V in a wide variety of applications where formal process models can be utilized. Examples are operator procedures, intelligent decision support systems, and common model repositories (author) (ml)

  12. Formal refinement of extended state machines

    Directory of Open Access Journals (Sweden)

    Thomas Fayolle

    2016-06-01

    Full Text Available In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.

  13. Leslie Martin and the formal order

    Directory of Open Access Journals (Sweden)

    Jaime J. Ferrer Fores

    2016-05-01

    Full Text Available Abstract This paper analyzes the architecture of Sir Leslie Martin (1908-2000 and covers the intense professional career that starts with the Nursery School at Northwich, Cheshire (1937-1938 or the Alastair Morton house at Brampton (1938 which are ascribed to the orthodoxy of modern architecture, and  continues with the projects he planned as the architect responsible of the railway company for stations and railroad infrastructure rearrangements in the postwar, interventions that will prepare him for his architectural maturity stage which he crystallizes in buildings for the Royal Festival Hall in London (1948-1951, the Harvey Court, Cambridge (1958-1962, the auditoriums  for the Middleton Hall, University of Hull (1958 , the School of Music  (1974 and College (1979 at Cambridge University and his proposal for  the University of Bristol (1979 that illustrate the essential basis of his  coherent architectural career where the tradition of modern architecture, the spatial continuity and the formal order converge. This analysis of the works in the fifties, sixties and seventies illustrates the architect’s constants  through the chronological exploration of his works that reveal the  compositional mechanisms, the search for formal order and the correct spatial organization taking into account the functional requirements, the relationship with the site and the technological resources that determine his entire career which is characterized by formal consistency and architectural coherence.

  14. First Contact: Expectations of Beginning Astronomy Students

    Science.gov (United States)

    Lacey, T. L.; Slater, T. F.

    1999-05-01

    Three hundred seven undergraduate students enrolled in Introductory Astronomy were surveyed at the beginning of class to determine their expectations for course content. The course serves as a survey of astronomy for non-science majors and is a distribution course for general education core requirements. The course has no prerequisites, meets three times each week for 50 minutes, and represents three semester credit hours. The university catalog describes the course with the title "PHYSICS 101 - Mysteries of the Sky" and the official course description is: a survey of the struggle to understand the Universe and our place therein. The structure, growth, methods, and limitations of science will be illustrated using the development of astronomy as a vehicle. Present day views of the Universe are presented. Two questions were asked as open response items: What made you decide to take this course? and What do you expect to learn in this course? The reasons that students cited to take the course, in order of frequency, were: interested in astronomy, interesting or fun sounding course, required general education fulfillment, recommendation by peer. Secondary reasons cited were required for major or minor, general interest in science, and was available in the schedule. Tertiary reasons listed were recommendation by advisor or orientation leader, inflate grade point average, and heard good things about the teacher. The students' expectations about what they would learn in the course were numerous. The most common objects listed, in order of frequency, were: stars, constellations, planets, galaxies, black holes, solar system, comets, galaxies, asteroids, moon, and Sun. More interesting were the aspects not specifically related to astronomy. These were weather, atmosphere, UFOs and the unexplained, generally things in the sky. A mid-course survey suggests that students expected to learn more constellations and that the topics would be less in-depth.

  15. [The beginning of the Cuban demographic revolution].

    Science.gov (United States)

    Hernandez Castellon, R

    1981-01-01

    The characteristics of the Cuban demographic revolution associated with the main economic, political, and social changes in the country are analyzed. The authors begin with a brief historical outline of the political-economic situation in the country in the middle of the 19th century. There is emphasis on the dependency of the Cuban economy and its monoproducer nature (with sugar being the major export). This was due to the Spanish colonization and to the subsequent American neocolonization. The discovery of the cause for yellow fever by a Cuban physician and the sanitation campaign conducted by the Americans contributed to a diminishing of mortality. A great migratory flow occurred due to the price of sugar in the world market. This must have influenced Cuban demographic patterns which are a major factor linked to the demographic revolution. The influence on proliferation of urbanization and educational trends is emphasized. The low participation in economic activities of women during the early part of the century did affect fertility levels. The trends in mortality throughout the period 1907-43 are pointed out. It was found that 1 major aspect which had a bearing on Cuban demographic patterns was the 2 large migratory flows. An analysis of growth rates in the population--which also confirms the demographic changes in Cuba--is presented. It is concluded that the 4th decade of this century witnessed Cuba's entry in a new stage of the demographic revolution, a stage in which decreased fertility and mortality go together to create a new period. (author's)

  16. A report on high-level nuclear waste transportation: Prepared pursuant to assembly concurrent resolution No. 8 of the 1987 Nevada Legislature

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1988-12-01

    This report has been prepared by the staff of the State of Nevada Agency for Nuclear Projects/Nuclear Waste Project Office (NWPO) in response to Assembly Concurrent Resolution No. 8 (ACR 8), passed by the Nevada State Legislature in 1987. ACR 8 directed the NWPO, in cooperation with affected local governments and the Legislative committee on High-Level Radioactive Waste, to prepare this report which scrutinizes the US Department of Energy`s (DOE) plans for transportation of high-level radioactive waste to the proposed yucca Mountain repository, which reviews the regulatory structure under which shipments to a repository would be made and which presents NWPO`s plans for addressing high-level radioactive waste transportation issues. The report is divided into three major sections. Section 1.0 provides a review of DOE`s statutory requirements, its repository transportation program and plans, the major policy, programmatic, technical and institutional issues and specific areas of concern for the State of Nevada. Section 2.0 contains a description of the current federal, state and tribal transportation regulatory environment within which nuclear waste is shipped and a discussion of regulatory issues which must be resolved in order for the State to minimize risks and adverse impacts to its citizens. Section 3.0 contains the NWPO plan for the study and management of repository-related transportation. The plan addresses four areas, including policy and program management, regulatory studies, technical reviews and studies and institutional relationships. A fourth section provides recommendations for consideration by State and local officials which would assist the State in meeting the objectives of the plan.

  17. A report on high-level nuclear waste transportation: Prepared pursuant to assembly concurrent resolution No. 8 of the 1987 Nevada Legislature

    International Nuclear Information System (INIS)

    1988-12-01

    This report has been prepared by the staff of the State of Nevada Agency for Nuclear Projects/Nuclear Waste Project Office (NWPO) in response to Assembly Concurrent Resolution No. 8 (ACR 8), passed by the Nevada State Legislature in 1987. ACR 8 directed the NWPO, in cooperation with affected local governments and the Legislative committee on High-Level Radioactive Waste, to prepare this report which scrutinizes the US Department of Energy's (DOE) plans for transportation of high-level radioactive waste to the proposed yucca Mountain repository, which reviews the regulatory structure under which shipments to a repository would be made and which presents NWPO's plans for addressing high-level radioactive waste transportation issues. The report is divided into three major sections. Section 1.0 provides a review of DOE's statutory requirements, its repository transportation program and plans, the major policy, programmatic, technical and institutional issues and specific areas of concern for the State of Nevada. Section 2.0 contains a description of the current federal, state and tribal transportation regulatory environment within which nuclear waste is shipped and a discussion of regulatory issues which must be resolved in order for the State to minimize risks and adverse impacts to its citizens. Section 3.0 contains the NWPO plan for the study and management of repository-related transportation. The plan addresses four areas, including policy and program management, regulatory studies, technical reviews and studies and institutional relationships. A fourth section provides recommendations for consideration by State and local officials which would assist the State in meeting the objectives of the plan

  18. The Beginning Before the Beginning: Hegel and the Activation of Philosophy

    Directory of Open Access Journals (Sweden)

    Paul Ashton

    2007-12-01

    Full Text Available This paper suggests that it is not enough to simply account for the lsquo;beginningrsquo; in Hegelrsquo;s philosophy. To capture the speculative depth of Hegelrsquo;s thinking one must also account for the beginning of philosophy as such. That is, how or why the philosopher begins or lsquo;the beginning before the beginningrsquo;. The question of the activation of the philosophical project itself is explored through Hegelrsquo;s notion of the lsquo;need of philosophyrsquo; and the fundamental relation between the historical event of the French Revolution and philosophical thinking. This question is explored through a critical discussion of those thinkers who are also concerned with the philosophy/revolution relation but are critical of Hegelrsquo;s approach. It is suggested that these critical readings employ a thematic approach to both Hegel and philosophy more generally. This approach renders them unable to appreciate Hegelrsquo;s philosophy speculatively and as a consequence the relation between philosophy and freedom, via the revolution, is misconstrued. In contradistinction to these readings the question of how one encounters Hegelrsquo;s thought non-thematically is explored through an analysis of the willingness of the would-be philosopher to activate themselves into the philosophical project and dwell with Hegel in the lsquo;wersquo;. Rather than providing answers to the questions raised, this paper seeks to act as a provocation for a renewed encounter with Hegelrsquo;s philosophy. br /

  19. 34 CFR 75.605 - Beginning the construction.

    Science.gov (United States)

    2010-07-01

    ... 34 Education 1 2010-07-01 2010-07-01 false Beginning the construction. 75.605 Section 75.605... by a Grantee? Construction § 75.605 Beginning the construction. (a) A grantee shall begin work on... working drawings and specifications. (Authority: 20 U.S.C. 1221e-3 and 3474) ...

  20. Formalization of the Resolution Calculus for First-Order Logic

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2016-01-01

    A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

  1. [Women and HIV/AIDS: stormy beginnings].

    Science.gov (United States)

    Henrion, Roger

    2012-11-01

    Following the transfusion of a young woman with two units of blood infected by human immunodeficiency virus (HIV) during a Cesarean section performed at the Obstetrics and Gynecology Unit of Port-Royal Hospital in Paris in 1984, the author realized the danger that this virus would represent for women and their children, at a time when the infection seemed to be confined to homosexuals, drug addicts, hemophiliacs and transfusion recipients. He was confronted with a whole series of issues, including the rejection of HIV-positive women; the need for special precautions in the labor room and operating theater; and the need for these patients to be managed in a single center staffed by skilled and willing healthcare professionals who could help them decide whether or not to continue the pregnancy. The main risks at this time were the onset of life-threatening opportunistic infections during pregnancy and HIV transmission to the child (estimated at 20% to 30%). Other thorny issues included the case of couples wishing to have children when either of the two members was infected, and the question of professional confidentiality when an immunocompromised HIV-seropositive husband stubbornly refused to inform his wife or to use condoms. It seemed important to bring these women together, especially those of African origin, within a self-help group where they could express themselves openly and discuss their difficulties. Screening for HIV antibodies in early pregnancy became necessary to permit preventive treatment of mother-child HIV transmission, and to inform pediatricians. There was also a need to estimate and monitor the seroprevalence of HIV among pregnant women, and this was done by conducting a "sentinel" survey that was subsequently taken over by INSERM and the European Centre for the Epidemiological Monitoring of AIDS. After listing many other issues that were hotly debated over the years, the author describes how, at the beginning of the epidemic, new proposals

  2. Eigenvalues and eigenvectors: embodied, symbolic and formal thinking

    Science.gov (United States)

    Thomas, Michael O. J.; Stewart, Sepideh

    2011-09-01

    Many beginning university students struggle with the new approaches to mathematics that they find in their courses due to a shift in presentation of mathematical ideas, from a procedural approach to concept definitions and deductive derivations, and ideas building upon each other in quick succession. This paper highlights this struggle by considering some conceptual processes and difficulties students find in learning about eigenvalues and eigenvectors. We use the theoretical framework of Tall's three worlds of mathematical thinking, along with perspectives from Dubinsky's APOS (action, process, object, schema) theory and Thomas's representational versatility. The results of the study describe thinking about these concepts by several groups of first- and second-year university students. In particular the obstacles they faced, and the emerging links some were constructing between parts of their concept images formed from the embodied, symbolic, and formal worlds are presented. We also identify some fundamental problems with student understanding of the definition of eigenvectors that lead to implementation problems, and some of the concepts underlying such difficulties.

  3. Formal linguistics as a cue to demographic history.

    Science.gov (United States)

    Longobardi, Giuseppe; Ceolin, Andrea; Ecay, Aaron; Ghirotto, Silvia; Guardiano, Cristina; Irimia, Monica-Alexandrina; Michelioudakis, Dimitris; Radkevich, Nina; Pettener, Davide; Luiselli, Donata; Barbujani, Guido

    2016-06-20

    Beyond its theoretical success, the development of molecular genetics has brought about the possibility of extraordinary progress in the study of classification and in the inference of the evolutionary history of many species and populations. A major step forward was represented by the availability of extremely large sets of molecular data suited to quantitative and computational treatments. In this paper, we argue that even in cognitive sciences, purely theoretical progress in a discipline such as linguistics may have analogous impact. Thus, exactly on the model of molecular biology, we propose to unify two traditionally unrelated lines of linguistic investigation: 1) the formal study of syntactic variation (parameter theory) in the biolinguistic program; 2) the reconstruction of relatedness among languages (phylogenetic taxonomy). The results of our linguistic analysis have thus been plotted against data from population genetics and the correlations have turned out to be largely significant: given a non-trivial set of languages/populations, the description of their variation provided by the comparison of systematic parametric analysis and molecular anthropology informatively recapitulates their history and relationships. As a result, we can claim that the reality of some parametric model of the language faculty and language acquisition/transmission (more broadly of generative grammar) receives strong and original support from its historical heuristic power. Then, on these grounds, we can begin testing Darwin's prediction that, when properly generated, the trees of human populations and of their languages should eventually turn out to be significantly parallel.

  4. Formal specification is an experimental science

    Energy Technology Data Exchange (ETDEWEB)

    Bjorner, D. [Technical Univ., Lyngby (Denmark)

    1992-09-01

    Traditionally, abstract models of large, complex systems have been given in free-form mathematics, combining - often in ad-hoc, not formally supported ways - notions from the disciplines of partial differential equations, functional analysis, mathematical statistics, etc. Such models have been very useful for assimilation of information, analysis (investigation), and prediction (simulation). These models have, however, usually not been helpful in deriving computer representations of the modelled systems - for the purposes of computerized monitoring and control, Computing science, concerned with how to construct objects that can exist within the computer, offers ways of complementing, and in some cases, replacing or combining traditional mathematical models. Formal, model-, as well as property-oriented, specifications in the styles of denotational (respectively, algebraic semantics) represent major approaches to such modelling. In this expository, discursive paper we illustrate what we mean by model-oriented specifications of large, complex technological computing systems. The three modelling examples covers the introvert programming methodological subject of SDEs: software development environments, the distributed computing system subject of wfs`s: (transaction) work flow systems, and the extrovert subject of robots: robotics! the thesis is, just as for mathematical modelling, that we can derive much understanding, etc., from experimentally creating such formally specified models - on paper - and that we gain little in additionally building ad-hoc prototypes. Our models are expressed in a model-oriented style using the VDM specification language Meta-IV In this paper the models only reflect the {open_quotes}data modelling{close_quotes} aspects. We observe that such data models are more easily captured in the model-oriented siyle than in the algebraic semantics property-oriented style which originally was built of the abstraction of operations. 101 refs., 4 figs.

  5. Formal Housing Sector Reform in Neoliberal Nigeria

    Directory of Open Access Journals (Sweden)

    Maren Mallo Daniel

    2016-09-01

    Full Text Available In the past two decades, Nigeria has deployed neoliberal principles in the provision of formal housing. This approach was adopted on the assumption that the implementation of enabling reforms would enhance the role of the private sector and equally promote the development of a formal housing system in Nigeria. This has not occurred; the neoliberal housing approach has brought fewer results than the reform promised. The study therefore aims to explore the agency and actions of Nigerian authorities in response to this neoliberal agenda. To achieve this aim, the following objectives are pursued: The first objective analyses why neoliberalism failed to effectively change the housing market in Nigeria; the second examines the impact of neoliberal restructuring process on housing provision in Nigeria; and the last analyses the success of legislative reform that were carried to support housing provision under Nigeria’s neoliberalism. To achieve these objectives, the paper adopts a documentary method and in accordance with this, a wide range of documentary evidence was collected for a content analysis. The findings of the analysis suggest that economic recession, political instability and changing ideological stances of successive governments affected the consistency of neoliberal reforms. Furthermore, the reforms implemented were seen to be progressive but the events occurred rather slowly, haphazardly and uncoordinated. A time lag is also observed in the reform processes and the sequence of events shows a lack of consideration of the interdependency of legislation and action. This policy review concludes that the neoliberal approach has the potential to improve the delivery of formal housing; however the authorities need to be consistent with the reforms while at the same time aligning legislation and action.

  6. Constraint satisfaction problems CSP formalisms and techniques

    CERN Document Server

    Ghedira, Khaled

    2013-01-01

    A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive increased attention because of both their high complexity and their omnipresence in academic, industrial and even real-life problems. This is why they are the subject of intense research in both artificial intelligence and operations research. This book introduces the classic CSP and details several extensions/improvements of both formalisms a

  7. Interatomic Potentials via the Effective Action Formalism

    Science.gov (United States)

    Rasamny, M.; Valiev, M.; Fernando, G. W.

    1998-03-01

    We present a method for the generation of interatomic potentials from first principles calculations using the marat>effective action formalism which leads to a systematic definition for effective two-body interatomic potentials. We do this by reducing the fully interacting system to an auxilliary system which interacts via a two-body interatomic potential. This definition can be trivially extended to higher order interatomic potentials. Unlike other approaches, our interatomic potentials are obtained from a sampling of configuration space pertaining to the thermodynamic environment of interest.

  8. Program Developments: Formal Explanations of Implementations.

    Science.gov (United States)

    1982-08-01

    Developments: Formal Explanations of Implementations ’V 0 CD 0 -n rat INORAIO S.EN >.IN-iIUT : 0 C)- - LA - INFORMATION SCIENCES. INSTITUTE 4616 Admiralti’ Cr...We could write the steps which transform . .. I I la 25 ... the program in-line, or we could invoke a transformation which is globally defined. Let’s...34 Acta Informatica 10, (3), 1978, 245-264,265-272. [Balzer 69] Balzer, R. M., "EXDAMS--extendable debugging and monitoring system," in Spring Joint

  9. Aspects of the supersymmetric Goldstone formalism

    International Nuclear Information System (INIS)

    Lerche, W.

    1985-01-01

    The present thesis deal with the discussion of general properties of Goldstone excitations in global N=1 supersymmetric theories. The results can become relevant in the framework of theories which interpret quarks and leptons as composite 'quasi-Goldstone fermions'. The thesis is arranged in two main parts: the first is occupied by group-theoretical aspects, i.e. by the spectrum of supersymmetric Goldstone excitations as well as by geometrical considerations which are connected with effective Lagrangian densities. In the second main part dynamic questions like for instance mass generation are treated. For this a suitable formalism is developed. (orig.) [de

  10. From Safety Analysis to Formal Specification

    DEFF Research Database (Denmark)

    Hansen, Kirsten Mark; Ravn, Anders P.; Stavridou, Victoria

    1998-01-01

    Software for safety critical systems must deal with the hazards identified bysafety analysis. This paper investigates, how the results of onesafety analysis technique, fault trees, are interpreted as software safetyrequirements to be used in the program design process. We propose thatfault tree...... analysis and program development use the samesystem model. This model is formalized in areal-time, interval logic, based on a conventional dynamic systems modelwith state evolving over time. Fault trees are interpreted astemporal formulas, and it is shown how such formulas can be usedfor deriving safety...

  11. Thermo field theory versus imaginary time formalism

    International Nuclear Information System (INIS)

    Fujimoto, Y.; Nishino, H.; Grigjanis, R.

    1983-11-01

    We calculate a two-loop diagram at finite temperature to compare Thermo Field Theory (=Th.F.Th.) with the conventional imaginary time formalism (=Im.T.F.). The summation over the Matsubara frequency in Im.T.F. is carried out at two-loop level, and the result is shown to coincide with that of Th.F.Th. We confirm that in Im.T.F. the temperature dependent divergences cancel out at least in the calculation of effective potential of phi 4 theory, as in Th.F.Th. (author)

  12. Closing the gap between formalism and application

    DEFF Research Database (Denmark)

    Christensen, Ole Ravn

    2008-01-01

    A common problem in learning mathematics concerns the gap between, on the one hand, doing the formalisms and calculations of abstract mathematics and, on the other hand, applying these in a specific contextualized setting for example the engineering world. The skills acquired through problem......-based learning (PBL), in the special model used at Aalborg University, Denmark, may give us some idea of how to bridge this gap. Through an investigation of a series of examples of student projects concerning the application of mathematical subjects-such as matrices, differential equations, cluster analysis...

  13. Canonical formalism for coupled beam optics

    International Nuclear Information System (INIS)

    Kheifets, S.A.

    1989-09-01

    Beam optics of a lattice with an inter-plane coupling is treated using canonical Hamiltonian formalism. The method developed is equally applicable both to a circular (periodic) machine and to an open transport line. A solution of the equation of a particle motion (and correspondingly transfer matrix between two arbitrary points of the lattice) are described in terms of two amplitude functions (and their derivatives and corresponding phases of oscillations) and four coupling functions, defined by a solution of the system of the first-order nonlinear differential equations derived in the paper. Thus total number of independent parameters is equal to ten. 8 refs

  14. Entropy Current Formalism for Supersymmetric Theories

    CERN Document Server

    Andrianopoli, L; Grassi, P A; Trigiante, M

    2015-01-01

    The recent developments in fluid/gravity correspondence give a new impulse to the study of fluid dynamics of supersymmetric theories. In that respect, the entropy current formalism requires some modifications in order to be adapted to supersymmetric theories and supergravities. We formulate a new entropy current in superspace with the properties: 1) it is conserved off-shell for non dissipative fluids, 2) it is invariant under rigid supersymmetry transformations 3) it is covariantly closed in local supersymmetric theories 4) it reduces to its bosonic expression on space-time.

  15. Formalized Search Strategies for Human Risk Contributions

    DEFF Research Database (Denmark)

    Rasmussen, Jens; Pedersen, O. M.

    and documentation of the PRA coverage, including the search strategies applied, is discussed and aids are proposed such as plant description in terms of a formal abstraction hierarchy and use of cause-consequence-charts for the documentation of not only the results of PRA but also of its coverage. Typical human...... risk contributions are described on the basis of general plant design features relevant for risk and accident analysis. With this background, search strategies for human risk contributions are treated: Under the designation "work analysis", procedures for the analysis of familiar, well trained, planned...

  16. Towards a formal logic of design rationalization

    DEFF Research Database (Denmark)

    Galle, Per

    1997-01-01

    Certain extensions to standard predicate logic are proposed and used as a framework for critical logical study of patterns of inference in design reasoning. It is shown that within this framework a modal logic of design rationalization (suggested by an empirical study reported earlier) can...... be formally defined in terms of quantification over a universe of discourse of ‘relevant points of view’. Five basic principles of the extended predicate logic are listed, on the basis of which the validity of ten modal patterns of inference encountered in design rationalization is tested. The basic idea...

  17. Formal methods in software development: A road less travelled

    Directory of Open Access Journals (Sweden)

    John A van der Poll

    2010-08-01

    Full Text Available An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.

  18. Formalization of Hostel Management System. | Obi | Journal of the ...

    African Journals Online (AJOL)

    HMS) can invariably contribute greatly to the success, profitability and customerbased approach of such an organization. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the ...

  19. The formality of learning science in everyday life

    DEFF Research Database (Denmark)

    Bonderup Dohn, Niels

    2010-01-01

    perspectives. Based on a literature review, the educational modes of education are defined as discrete entities (formal, non-formal, and informal education), whereas formality at the psychological level is defined in terms of attributes of formality and informality along a continuum (formal - informal learning......The terms non-formal and informal are attributed to learning in everyday life by many authors, often linked to their interests in particular learning practices. However, many authors use the terms without any clear definition, or employ conflicting definitions and boundaries. An analysis...... of relevant literature revealed two fundamentally different interpretations of informal learning. The one describes formality of education at the organizational level, while the second describes formality of learning at the psychological level. This article presents a conceptual reconciling of these two...

  20. Regaining the Square of Opposition in Formal Ontology Development

    OpenAIRE

    Nilsson, Jørgen Fischer

    2014-01-01

    Use of formal ontologies is becoming widespread in information systems. Forerunners of formal ontologies are scientific classification systems such as the Linnaean biological ones. Unlike biological classifications modern formal ontologies are often non-hierarchical. A formal ontology in its basic form simply specifies all direct inclusion relationships between a finite repertoire of classes. Individuals may be conceived of as singleton classes. An assertion "P sub Q" states that class P is a...

  1. Formal ontologies in biomedical knowledge representation.

    Science.gov (United States)

    Schulz, S; Jansen, L

    2013-01-01

    Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often misinterpreted to encode all kinds of statements, including those which are not ontological. We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements. We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations. To illustrate these four types of representations, we use a running example from parasitology. We finally formulate recommendations for semantically adequate ontologies that can efficiently be used as a stable framework for more context-dependent biomedical knowledge representation and reasoning applications like clinical decision support systems.

  2. The MODUS Approach to Formal Verification

    Directory of Open Access Journals (Sweden)

    Brewka Lukasz

    2014-03-01

    Full Text Available Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project

  3. Formalism and Interpretation in Quantum Theory

    Science.gov (United States)

    Wilce, Alexander

    2010-04-01

    Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework. These points of view are usually taken to be somewhat in tension with one another. The first has generated a vast literature aiming at a “realistic” and “collapse-free” interpretation of quantum mechanics that will account for its statistical predictions. The second has generated an at least equally large literature aiming to derive, or at any rate motivate, the formal structure of quantum theory in probabilistically intelligible terms. In this paper I explore, in a preliminary way, the possibility that these two programmes have something to offer one another. In particular, I show that a version of the measurement problem occurs in essentially any non-classical probabilistic theory, and ask to what extent various interpretations of quantum mechanics continue to make sense in such a general setting. I make a start on answering this question in the case of a rudimentary version of the Everett interpretation.

  4. Functional Constructivism: In Search of Formal Descriptors.

    Science.gov (United States)

    Trofimova, Irina

    2017-10-01

    The Functional Constructivism (FC) paradigm is an alternative to behaviorism and considers behavior as being generated every time anew, based on an individual's capacities, environmental resources and demands. Walter Freeman's work provided us with evidence supporting the FC principles. In this paper we make parallels between gradual construction processes leading to the formation of individual behavior and habits, and evolutionary processes leading to the establishment of biological systems. Referencing evolutionary theory, several formal descriptors of such processes are proposed. These FC descriptors refer to the most universal aspects for constructing consistent structures: expansion of degrees of freedom, integration processes based on internal and external compatibility between systems and maintenance processes, all given in four different classes of systems: (a) Zone of Proximate Development (poorly defined) systems; (b) peer systems with emerging reproduction of multiple siblings; (c) systems with internalized integration of behavioral elements ('cruise controls'); and (d) systems capable of handling low-probability, not yet present events. The recursive dynamics within this set of descriptors acting on (traditional) downward, upward and horizontal directions of evolution, is conceptualized as diagonal evolution, or di-evolution. Two examples applying these FC descriptors to taxonomy are given: classification of the functionality of neuro-transmitters and temperament traits; classification of mental disorders. The paper is an early step towards finding a formal language describing universal tendencies in highly diverse, complex and multi-level transient systems known in ecology and biology as 'contingency cycles.'

  5. Versatile Formal Methods Applied to Quantum Information.

    Energy Technology Data Exchange (ETDEWEB)

    Witzel, Wayne [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Rudinger, Kenneth Michael [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Sarovar, Mohan [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)

    2015-11-01

    Using a novel formal methods approach, we have generated computer-veri ed proofs of major theorems pertinent to the quantum phase estimation algorithm. This was accomplished using our Prove-It software package in Python. While many formal methods tools are available, their practical utility is limited. Translating a problem of interest into these systems and working through the steps of a proof is an art form that requires much expertise. One must surrender to the preferences and restrictions of the tool regarding how mathematical notions are expressed and what deductions are allowed. Automation is a major driver that forces restrictions. Our focus, on the other hand, is to produce a tool that allows users the ability to con rm proofs that are essentially known already. This goal is valuable in itself. We demonstrate the viability of our approach that allows the user great exibility in expressing state- ments and composing derivations. There were no major obstacles in following a textbook proof of the quantum phase estimation algorithm. There were tedious details of algebraic manipulations that we needed to implement (and a few that we did not have time to enter into our system) and some basic components that we needed to rethink, but there were no serious roadblocks. In the process, we made a number of convenient additions to our Prove-It package that will make certain algebraic manipulations easier to perform in the future. In fact, our intent is for our system to build upon itself in this manner.

  6. Formal specification level concepts, methods, and algorithms

    CERN Document Server

    Soeken, Mathias

    2015-01-01

    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces. • Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL); • Provides a variety of use cases which can be adapted to readers’ specific design flows; • Includes a comprehensive illustration of Natural Language Processing (NLP) techniques, along with examples of how to i...

  7. The simplest formal argument for fitness optimization.

    Science.gov (United States)

    Grafen, Alen

    2008-12-01

    The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe on theoretical grounds that there is no sense of fitness that can usefully be said to be optimized. The current paper's main objective is to provide a careful mathematical introduction to the project, and it also reflects on the project's scope and limitations. The central argument is the proof of close ties between the mathematics of motion, as embodied in the Price equation, and the mathematics of optimization, as represented by optimization programmes. To make these links, a general and abstract model linking genotype, phenotype and number of successful gametes is assumed. The project has begun with simple dynamic models and simple linking models, and its progress will involve more realistic versions of them. The versions given here are fully mathematically rigorous, but elementary enough to serve as an introduction.

  8. Land grabbing and formalization in Africa : a critical inquiry

    NARCIS (Netherlands)

    Stein, H.; Cunningham, S.

    2015-01-01

    Two developments in Africa have generated an extensive literature. The first focuses on investment and land grabbing and the second on the formalization of rural property rights. Less has been written on the impact of formalization on land grabbing and of land grabbing on formalization. Recently,

  9. An approach of requirements tracing in formal refinement

    DEFF Research Database (Denmark)

    Jastram, Michael; Hallerstede, Stefan; Leuschel, Michael

    2010-01-01

    Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminar...... changes, making use of corresponding techniques already built into the Event-B method....

  10. Evaluating the effect of a lightweight formal technique in industry

    NARCIS (Netherlands)

    Osaiweran, A.; Schuts, M.; Hooman, J.; Groote, J.F.; Rijnsoever, B. van

    2016-01-01

    We evaluate the effect of applying the commercial formal technique Analytical Software Design (ASD) to an industrial project. In ASD, interfaces and software designs are modelled using a formal tabular notation. The ASD tool set supports formal checks of these models, such as deadlock freedom and

  11. "Passing It On": Beyond Formal or Informal Pedagogies

    Science.gov (United States)

    Cain, Tim

    2013-01-01

    Informal pedagogies are a subject of debate in music education, and there is some evidence of teachers abandoning formal pedagogies in favour of informal ones. This article presents a case of one teacher's formal pedagogy and theorises it by comparing it with a case of informal pedagogy. The comparison reveals affordances of formal pedagogies…

  12. 40 CFR 35.938-4 - Formal advertising.

    Science.gov (United States)

    2010-07-01

    ... 40 Protection of Environment 1 2010-07-01 2010-07-01 false Formal advertising. 35.938-4 Section 35... advertising. Each contract shall be awarded after formal advertising, unless negotiation is permitted in accordance with § 35.936-18. Formal advertising shall be in accordance with the following: (a) Adequate...

  13. 49 CFR 1111.1 - Content of formal complaints; joinder.

    Science.gov (United States)

    2010-10-01

    ... 49 Transportation 8 2010-10-01 2010-10-01 false Content of formal complaints; joinder. 1111.1... § 1111.1 Content of formal complaints; joinder. (a) General. A formal complaint must contain the correct... language the facts upon which it is based. It should include specific reference to pertinent statutory...

  14. Developing Non-Formal Education Competences as a Complement of Formal Education for STEM Lecturers

    Science.gov (United States)

    Terrazas-Marín, Roy Alonso

    2018-01-01

    This paper focuses on a current practice piece on professional development for university lecturers, transformative learning, dialogism and STEM (Science, Technology, Engineering and Mathematics) education. Its main goals are to identify the key characteristics that allow STEM educators to experiment with the usage of non-formal education…

  15. VLT Data Flow System Begins Operation

    Science.gov (United States)

    1999-06-01

    their proposed observations and provide accurate estimates of the amount of telescope time they will need to complete their particular scientific programme. Once the proposals have been reviewed by the OPC and telescope time is awarded by the ESO management according to the recommendation by this Committee, the successful astronomers begin to assemble detailed descriptions of their intended observations (e.g. position in the sky, time and duration of the observation, the instrument mode, etc.) in the form of computer files called Observation Blocks (OBs) . The software to make OBs is distributed by ESO and used by the astronomers at their home institutions to design their observing programs well before the observations are scheduled at the telescope. The OBs can then be directly executed by the VLT and result in an increased efficiency in the collection of raw data (images, spectra) from the science instruments on the VLT. The activation (execution) of OBs can be done by the astronomer at the telescope on a particular set of dates ( visitor mode operation) or it can be done by ESO science operations astronomers at times which are optimally suited for the particular scientific programme ( service mode operation). An enormous VLT Data Archive ESO PR Photo 25b/99 ESO PR Photo 25b/99 [Preview - JPEG: 400 x 465 pix - 160k] [Normal - JPEG: 800 x 929 pix - 568k] [High-Res - JPEG: 3000 x 3483 pix - 5.5M] Caption to ESO PR Photo 25b/99 : The first of several DVD storage robot at the VLT Data Archive at the ESO headquarters include 1100 DVDs (with a total capacity of about 16 Terabytes) that may be rapidly accessed by the archive software system, ensuring fast availbility of the requested data. The raw data generated at the telescope are stored by an archive system that sends these data regularly back to ESO headquarters in Garching (Germany) in the form of CD and DVD ROM disks. While the well-known Compact Disks (CD ROMs) store about 600 Megabytes (600,000,000 bytes) each, the

  16. Lectures on formal and rigid geometry

    CERN Document Server

    Bosch, Siegfried

    2014-01-01

    A first version of this work appeared in 2005 as a Preprint of the Collaborative Research Center "Geometrical Structures in Mathematics" at the University of Münster. Its aim was to offer a concise and self-contained 'lecture-style' introduction to the theory of classical rigid geometry established by John Tate, together with the formal algebraic geometry approach launched by Michel Raynaud. These Lectures are now viewed commonly as an ideal means of learning advanced rigid geometry, regardless of the reader's level of background. Despite its parsimonious style, the presentation illustrates a number of key facts even more extensively than any other previous work. This Lecture Notes Volume is a revised and slightly expanded version of the original preprint and has been published at the suggestion of several experts in the field.

  17. Building ontologies with basic formal ontology

    CERN Document Server

    Arp, Robert; Spear, Andrew D.

    2015-01-01

    In the era of "big data," science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now u...

  18. Toward a Grid Work flow Formal Composition

    Energy Technology Data Exchange (ETDEWEB)

    Hlaoui, Y. B.; BenAyed, L. J.

    2007-07-01

    This paper exposes a new approach for the composition of grid work flow models. This approach proposes an abstract syntax for the UML Activity Diagrams (UML-AD) and a formal foundation for grid work flow composition in form of a work flow algebra based on UML-AD. This composition fulfils the need for collaborative model development particularly the specification and the reduction of the complexity of grid work flow model verification. This complexity has arisen with the increase in scale of grid work flow applications such as science and e-business applications since large amounts of computational resources are required and multiple parties could be involved in the development process and in the use of grid work flows. Furthermore, the proposed algebra allows the definition of work flow views which are useful to limit the access to predefined users in order to ensure the security of grid work flow applications. (Author)

  19. Information Superiority via Formal Concept Analysis

    Science.gov (United States)

    Koester, Bjoern; Schmidt, Stefan E.

    This chapter will show how to get more mileage out of information. To achieve that, we first start with an introduction to the fundamentals of Formal Concept Analysis (FCA). FCA is a highly versatile field of applied lattice theory, which allows hidden relationships to be uncovered in relational data. Moreover, FCA provides a distinguished supporting framework to subsequently find and fill information gaps in a systematic and rigorous way. In addition, we would like to build bridges via a universal approach to other communities which can be related to FCA in order for other research areas to benefit from a theory that has been elaborated for more than twenty years. Last but not least, the essential benefits of FCA will be presented algorithmically as well as theoretically by investigating a real data set from the MIPT Terrorism Knowledge Base and also by demonstrating an application in the field of Web Information Retrieval and Web Intelligence.

  20. A Visual Formalism for Interacting Systems

    Directory of Open Access Journals (Sweden)

    Paul C. Jorgensen

    2015-04-01

    Full Text Available Interacting systems are increasingly common. Many examples pervade our everyday lives: automobiles, aircraft, defense systems, telephone switching systems, financial systems, national governments, and so on. Closer to computer science, embedded systems and Systems of Systems are further examples of interacting systems. Common to all of these is that some "whole" is made up of constituent parts, and these parts interact with each other. By design, these interactions are intentional, but it is the unintended interactions that are problematic. The Systems of Systems literature uses the terms "constituent systems" and "constituents" to refer to systems that interact with each other. That practice is followed here. This paper presents a visual formalism, Swim Lane Event-Driven Petri Nets, that is proposed as a basis for Model-Based Testing (MBT of interacting systems. In the absence of available tools, this model can only support the offline form of Model-Based Testing.

  1. The formalisms of quantum mechanics an introduction

    CERN Document Server

    David, Francois

    2015-01-01

    These lecture notes present a concise and introductory, yet as far as possible coherent, view of the main formalizations of quantum mechanics and of quantum field theories, their interrelations and their theoretical foundations. The “standard” formulation of quantum mechanics (involving the Hilbert space of pure states, self-adjoint operators as physical observables, and the probabilistic interpretation given by the Born rule) on one hand, and the path integral and functional integral representations of probabilities amplitudes on the other, are the standard tools used in most applications of quantum theory in physics and chemistry. Yet, other mathematical representations of quantum mechanics sometimes allow better comprehension and justification of quantum theory. This text focuses on two of such representations: the algebraic formulation of quantum mechanics and the “quantum logic” approach. Last but not least, some emphasis will also be put on understanding the relation between quantum physics and ...

  2. Asymptotic freedom in the BV formalism

    Science.gov (United States)

    Elliott, Chris; Williams, Brian; Yoo, Philsang

    2018-01-01

    We define the β-function of a perturbative quantum field theory in the mathematical framework introduced by Costello - combining perturbative renormalization and the BV formalism - as the cohomology class of a certain functional measuring scale dependence of the effective interaction. We show that the one-loop β-function is a well-defined element of the obstruction-deformation complex for translation-invariant and classically scale-invariant theories, and furthermore that it is locally constant as a function on the space of classical interactions and computable as a rescaling anomaly, or as the logarithmic one-loop counterterm. We compute the one-loop β-function in first-order Yang-Mills theory, recovering the famous asymptotic freedom for Yang-Mills in a mathematical context.

  3. Quadratic gravity in first order formalism

    Energy Technology Data Exchange (ETDEWEB)

    Alvarez, Enrique; Anero, Jesus; Gonzalez-Martin, Sergio, E-mail: enrique.alvarez@uam.es, E-mail: jesusanero@gmail.com, E-mail: sergio.gonzalez.martin@uam.es [Departamento de Física Teórica and Instituto de Física Teórica (IFT-UAM/CSIC), Universidad Autónoma de Madrid, Cantoblanco, 28049, Madrid (Spain)

    2017-10-01

    We consider the most general action for gravity which is quadratic in curvature. In this case first order and second order formalisms are not equivalent. This framework is a good candidate for a unitary and renormalizable theory of the gravitational field; in particular, there are no propagators falling down faster than 1/ p {sup 2}. The drawback is of course that the parameter space of the theory is too big, so that in many cases will be far away from a theory of gravity alone. In order to analyze this issue, the interaction between external sources was examined in some detail. We find that this interaction is conveyed mainly by propagation of the three-index connection field. At any rate the theory as it stands is in the conformal invariant phase; only when Weyl invariance is broken through the coupling to matter can an Einstein-Hilbert term (and its corresponding Planck mass scale) be generated by quantum corrections.

  4. Toward a Grid Work flow Formal Composition

    International Nuclear Information System (INIS)

    Hlaoui, Y. B.; BenAyed, L. J.

    2007-01-01

    This paper exposes a new approach for the composition of grid work flow models. This approach proposes an abstract syntax for the UML Activity Diagrams (UML-AD) and a formal foundation for grid work flow composition in form of a work flow algebra based on UML-AD. This composition fulfils the need for collaborative model development particularly the specification and the reduction of the complexity of grid work flow model verification. This complexity has arisen with the increase in scale of grid work flow applications such as science and e-business applications since large amounts of computational resources are required and multiple parties could be involved in the development process and in the use of grid work flows. Furthermore, the proposed algebra allows the definition of work flow views which are useful to limit the access to predefined users in order to ensure the security of grid work flow applications. (Author)

  5. Formalizing Linguistic Conventions for Conceptual Models

    Science.gov (United States)

    Becker, Jörg; Delfmann, Patrick; Herwig, Sebastian; Lis, Łukasz; Stein, Armin

    A precondition for the appropriate analysis of conceptual models is not only their syntactic correctness but also their semantic comparability. Assuring comparability is challenging especially when models are developed by different persons. Empirical studies show that such models can vary heavily, especially in model element naming, even if they express the same issue. In contrast to most ontology-driven approaches proposing the resolution of these differences ex-post, we introduce an approach that avoids naming differences in conceptual models already during modeling. Therefore we formalize naming conventions combining domain thesauri and phrase structures based on a lin-guistic grammar. This allows for guiding modelers automatically during the modeling process using standardized labels for model elements. Our approach is generic, making it applicable for any modeling language.

  6. On the Green and Wald formalism

    Science.gov (United States)

    Ostrowski, Jan J.; Roukema, Boudewijn F.

    Backreaction in the cosmological context is a longstanding problem that is especially important in the present era of precise cosmology. The standard model of a homogeneous background plus density perturbations is most probably oversimplified and is expected to fail to fully account for the near-future observations of sub-percent precision. From a theoretical point of view, the problem of backreaction is very complicated and deserves careful examination. Recently, Green and Wald claimed in a series of papers to have developed a formalism to properly describe the influence of density inhomogeneities on average properties of the Universe, i.e., the backreaction effect. A brief discussion of this framework is presented, focussing on its drawbacks and on misconceptions that have arisen during the "backreaction debate".

  7. Formalized search strategies for human risk contributions

    International Nuclear Information System (INIS)

    Rasmussen, J.; Pedersen, O.M.

    1982-07-01

    For risk management, the results of a probabilistic risk analysis (PRA) as well as the underlying assumptions can be used as references in a closed-loop risk control; and the analyses of operational experiences as a means of feedback. In this context, the need for explicit definition and documentation of the PRA coverage, including the search strategies applied, is discussed and aids are proposed such as plant description in terms of a formal abstraction hierarchy and use of cause-consequence-charts for the documentation of not only the results of PRA but also of its coverage. Typical human risk contributions are described on the basis of general plant design features relevant for risk and accident analysis. With this background, search strategies for human risk contributions are treated: Under the designation ''work analysis'', procedures for the analysis of familiar, well trained, planned tasks are proposed. Strategies for identifying human risk contributions outside this category are outlined. (author)

  8. Formal representation of complex SNOMED CT expressions

    Directory of Open Access Journals (Sweden)

    Markó Kornél

    2008-10-01

    Full Text Available Abstract Background Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning. SNOMED CT claims to support formal reasoning by description-logic based concept definitions. Methods On the basis of formal ontology criteria we analyze complex SNOMED CT concepts, such as "Concussion of Brain with(out Loss of Consciousness", using alternatively full first order logics and the description logic ℰℒ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@. Results Typical complex SNOMED CT concepts, including negations or not, can be expressed in full first-order logics. Negations cannot be properly expressed in the description logic ℰℒ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@ underlying SNOMED CT. All concepts concepts the meaning of which implies a temporal scope may be subject to diverging interpretations, which are often unclear in SNOMED CT as their contextual determinants are not made explicit. Conclusion The description of complex medical occurrents is ambiguous, as the same situations can be described as (i a complex occurrent C that has A and B as temporal parts, (ii a simple occurrent A' defined as a kind of A followed by some B, or (iii a simple occurrent B' defined as a kind of B preceded by some A. As negative statements in SNOMED CT cannot be exactly represented without

  9. A Mathematical Account of the NEGF Formalism

    Science.gov (United States)

    Cornean, Horia D.; Moldoveanu, Valeriu; Pillet, Claude-Alain

    2018-02-01

    The main goal of this paper is to put on solid mathematical grounds the so-called Non-Equilibrium Green's Function (NEGF) transport formalism for open systems. In particular, we derive the Jauho-Meir-Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting leads. Our proof is non-perturbative and uses neither complex-time Keldysh contours, nor Langreth rules of 'analytic continuation'. We also discuss other technical identities (Langreth, Keldysh) involving various many body Green's functions. Finally, we study the Dyson equation for the advanced/retarded interacting Green's function and we rigorously construct its (irreducible) self-energy, using the theory of Volterra operators.

  10. Formal methods for industrial critical systems a survey of applications

    CERN Document Server

    Margaria-Steffen, Tiziana

    2012-01-01

    "Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of...

  11. A Survey of Formal Methods in Software Development

    DEFF Research Database (Denmark)

    Bjørner, Dines

    2012-01-01

    for an industry to do so; discuss what education that candidates for these industries need, that is, which courses must be part of a BSc/MSc Software Engineering curriculum. Finally we shall comment on distinctions between formal methods and formal techniques; limitations of mono-language formalisations, hence......The use of formal methods and formal techniques in industry is steadily growing. In this survey we shall characterise what we mean by software development and by a formal method; briefly overview a history of formal specification languages - some of which are: VDM (Vienna Development Method, 1974......-..., [1]), Z (Z for Zermelo Fraenkel, 1980-..., [2]), RAISE (Rigorous Approach to Industrial Software Engineering, 1987-..., [3]) Event B (B for Bourbaki, 1990/2000-..., [4]) and Alloy [5]; and outline the basics of a formal development using, for example, RAISE: first developing a domain description D...

  12. Formal Semantics: Origins, Issues, Early Impact

    Directory of Open Access Journals (Sweden)

    Barbara H. Partee

    2010-12-01

    Full Text Available Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields.ReferencesAbbott, B. 1999. ‘The formal approach to meaning: Formal semantics and its recent developments’. Journal of Foreign Languages (Shanghai119, no. 1: 2–20. https://www.msu.edu/~abbottb/formal.htm.Ajdukiewicz, K. 1960. Je¸zyk i Poznanie (Language and Knowledge. Warsaw.Bach, E. 1968. ‘Nouns and Noun Phrases’. In E. Bach & R.T. Harms (eds. ‘Universals in Linguistic Theory’, 90–122. NY: Holt, Rinehart & Winston.Bach, E. 1989. Informal Lectures on Formal Semantics. New York: State University of New York Press.Bar-Hillel, Y. 1954a. ‘Logical syntax and semantics’. Language 30: 230–237.http://dx.doi.org/10.2307/410265Bar-Hillel, Y. 1954b. ‘Indexical Expressions’. Mind 63: 359–379.http://dx.doi.org/10.1093/mind/LXIII.251.359Bar-Hillel, Y. 1963. ‘Remarks on Carnap’s Logical Syntax of Language’. In P. A. Schilpp (ed. ‘The Philosophy of Rudolf Carnap’, 519–543. LaSalle, Illinois / London: Open

  13. Creating a vision of teaching: Two cases of beginning teachers' beliefs and practices

    Science.gov (United States)

    Guilbert, R. Ann

    The purpose of this study was three-fold: (1) to examine the teaching philosophies of two new teachers involved in the Salish I Research Project; (2) to uncover any relationship between the beginning teacher's instruction and personal practical philosophy of instruction; and, (3) to seek to understand the relationship between a written research-based rationale and instructional practice. This qualitative study consisted of two case studies of beginning teachers. Through the use of classroom observation, written anecdotal records, written reflections during student teaching, written research-based rationales, unstructured interview, and audiotaped formal exit interviews, a thick, rich description of the participants was compiled. Using the constant comparative method, an inductive analysis of the data was conducted by coding, unitizing, and categorizing the data to determine the beliefs of the participants. Both the exposed beliefs and those acted on during the first year of teaching are described. Results indicate that beginning teachers enter the classroom with images of their role in the classroom and that preservice programs have an influence on that image. Those images, however, are not always clear and clarity was an influential factor in the participants' ability to implement the knowledge and skills they had examined in their preservice program. Two images were particularly potent to the implementation of new teaching strategies. One of those images was the role and the influence of the teacher in the classroom. The second was the type of student outcomes that should result. These two images were "sharpened" when the participants were forced to assign language to describe the relationship between theory and practice. The results further indicate that beginning teachers who come from the same preservice programs enter their first year with a variety of images of teaching. The degree to which the image is implemented in the classroom appeared to be related to

  14. Using HIPPO Data for Formal and Informal Science Education

    Science.gov (United States)

    Rockwell, A.; Hatheway, B.; Zondlo, M. A.

    2012-12-01

    The HIAPER Pole-to-Pole Observations (HIPPO) field project recently concluded its mission to map greenhouse gases and black carbon from the Arctic to the Antarctic using the NSF/NCAR Gulfstream V. HIPPO resulted in visually-rich and easy-to-understand altitude/latitude curtain plots of several trace gases and black carbon, from five seasons during 2009-2011. The data and curtain plots are available for both formal and informal science education to support the instruction of atmospheric science and Earth systems. Middle and high school activities have been developed using these data and curtain plots, and an undergraduate course based on HIPPO data - Global Air Pollution - is offered at Princeton University. The visually stimulating curtain plots are unique in that a wide range of people can comprehend them because they provide an easy-to-understand picture of the global distribution of chemical species for non-scientists or beginning users, while also displaying valuable detailed information for the advanced viewer. The plots are a powerful graphical tool that can be used to communicate climate science because they illustrate the concepts of how trace gas distributions are linked to the large-scale dynamics of the Earth; show seasonal changes in distribution and concentrations; and use the same display format for each tracer. In order to connect people to the data, a multi-faceted and engaging public information program and supporting educational materials for HIPPO were developed. These provided a unique look into global field research and included social media platforms such as Facebook and Twitter; a range of videos from simple motion graphics to detailed narratives; both printed and online written materials; and mass-media publications.

  15. The beginnings of psychoanalytic supervision: the crucial role of Max Eitingon.

    Science.gov (United States)

    Watkins, C Edward

    2013-09-01

    Psychoanalytic supervision is moving well into its 2nd century of theory, practice, and (to a limited extent) research. In this paper, I take a look at the pioneering first efforts to define psychoanalytic supervision and its importance to the psychoanalytic education process. Max Eitingon, the "almost forgotten man" of psychoanalysis, looms large in any such consideration. His writings or organizational reports were seemingly the first psychoanalytic published material to address the following supervision issues: rationale, screening, notes, responsibility, supervisee learning/personality issues, and the extent and length of supervision itself. Although Eitingon never wrote formally on supervision, his pioneering work in the area has continued to echo across the decades and can still be seen reflected in contemporary supervision practice. I also recognize the role of Karen Horney-one of the founders of the Berlin Institute and Poliklinik, friend of Eitingon, and active, vital participant in Eitingon's efforts-in contributing to and shaping the beginnings of psychoanalytic education.

  16. Six Beginning Music Teachers' Music Teacher Role Identities

    Science.gov (United States)

    Paise, Michele Paynter

    2010-01-01

    In this study, I used a qualitative approach to explore the music teacher role identities of six beginning music teachers prior to, during, and after their student teaching experience. Data collection included participant-observation, interviews, and e-mail communication. Specifically, I looked at what each of these beginning music teachers…

  17. Exploring Beginning Teachers' Attrition in the Netherlands

    Science.gov (United States)

    den Brok, Perry; Wubbels, Theo; van Tartwijk, Jan

    2017-01-01

    Based on a review of recent studies and reports, this research investigates attrition among beginning teachers in the Netherlands as well as reasons for teacher attrition, and compares the finding with studies on this topic conducted elsewhere in the world. The findings suggest that attrition among beginning teachers in the Netherlands with a…

  18. 42 CFR 407.25 - Beginning of entitlement: Individual enrollment.

    Science.gov (United States)

    2010-10-01

    ..., entitlement began with the third month after the month in which the enrollment request was filed. (c... 42 Public Health 2 2010-10-01 2010-10-01 false Beginning of entitlement: Individual enrollment... Individual Enrollment and Entitlement for SMI § 407.25 Beginning of entitlement: Individual enrollment. The...

  19. Bidrag til "Life begins at 100 - Secrets of the supercentenarians"

    DEFF Research Database (Denmark)

    von Bornemann Hjelmborg, Jacob

    2009-01-01

    Bidrag til: "Life begins at 100 - Secrets of the supercentenarians". Uddrag fra Human Genetics, vol. 119 p 1432. Udgivelsesdato: 5 september......Bidrag til: "Life begins at 100 - Secrets of the supercentenarians". Uddrag fra Human Genetics, vol. 119 p 1432. Udgivelsesdato: 5 september...

  20. Evaluating Beginning Reading Software for At-Risk Learners

    Science.gov (United States)

    Bishop, M. J.; Santoro, Lana Edwards

    2006-01-01

    Beginning reading software programs may be one way to provide at-risk readers the additional instruction and practice they need to attain grade-level expectations. Criteria such as interface design, instructional design, and beginning reading content (phonological awareness and alphabetic understanding) are all important considerations when…

  1. Beginning To Read among Monolingual and Bilingual Children.

    Science.gov (United States)

    Valadez, Concepcion M.; And Others

    This study examined language and reading ability in English monolinguals, Spanish monolinguals, and two bilingual groups at the beginning of kindergarten and at the beginning of first grade. The study also compared the family background of the children on home literacy, parent education, and the parents' aspirations for their children. In…

  2. Developing New Reading Assessments to Promote Beginning Reading in Singapore

    Science.gov (United States)

    Koh, Kim H.; Paris, Scott G.

    2011-01-01

    Effective reading instruction and intervention are rooted in effective assessments of children's developing skills in reading. The article aims to describe the development of new reading assessments to help promote beginning reading in Singapore primary schools. We begin with an introduction to the educational landscape and policies before…

  3. Beginning Teachers' Perception of Their Induction into the Teaching Profession

    Science.gov (United States)

    Kidd, Lynda; Brown, Natalie; Fitzallen, Noleine

    2015-01-01

    Beginning teachers' induction into the teaching profession needs to be personally and professionally fulfilling, which is often not the case. The main objective of this mixed method study was to gain a deeper understanding of beginning teachers' experiences and the perceptions of their induction into the teaching profession and the support they…

  4. Intuitions and Competence in Formal Semantics

    Directory of Open Access Journals (Sweden)

    Martin Stokhof

    2010-12-01

    Full Text Available In formal semantics intuition plays a key role, in two ways. Intuitions about semantic properties of expressions are the primary data, and intuitions of the semanticists are the main access to these data. The paper investigates how this dual role is related to the concept of competence and the role that this concept plays in semantics. And it inquires whether the self-reflexive role of intuitions has consequences for the methodology of semantics as an empirical discipline.ReferencesBaggio, Giosuè, van Lambalgen, Michiel & Hagoort, Peter. 2008. ‘Computing and recomputing discourse models: an ERP study of the semantics of temporal connectives’. Journal of Memory and Language 59, no. 1: 36–53.http://dx.doi.org/10.1016/j.jml.2008.02.005Chierchia, Gennaro & McConnell-Ginet, Sally. 2000. Meaning and Grammar. second ed. Cambridge, Mass.: MIT Press.Chomsky, Noam. 1965. Aspects of the Theory of Syntax. Cambridge, Mass.: MIT Press.Cresswell, Max J. 1978. ‘Semantic competence’. In F. Guenthner & M. Guenther-Reutter (eds. ‘Meaning and Translation’, 9–27. Duckworth, London. de Swart, Henriëtte. 1998. Introduction to Natural Language Semantics. Stanford: CSLI.Dowty, David, Wall, Robert & Peters, Stanley. 1981. Introduction to Montague Semantics. Dordrecht: Reidel.Heim, Irene & Kratzer, Angelika. 1998. Semantics in Generative Grammar. Oxford: Blackwell.Larson, Richard & Segal, Gabriel. 1995. Knowledge of Meaning. Cambridge, Mass.: MIT Press.Lewis, David K. 1975. ‘Languages and Language’. In Keith Gunderson (ed. ‘Language, Mind and Knowledge’, 3–35. Minneapolis: University of Minnesota Press.Montague, Richard. 1970. ‘Universal Grammar’. Theoria 36: 373–98.http://dx.doi.org/10.1111/j.1755-2567.1970.tb00434.xPartee, Barbara H. 1979. ‘Semantics – Mathematics or Psychology?’ In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds. ‘Semantics from Different Points of View’, 1–14. Berlin: Springer.Partee, Barbara H. 1980.

  5. Connecting Formal and Informal Learning Experiences

    Science.gov (United States)

    O'Mahony, Timothy Kieran

    The learning study reports on part of a larger project being lead by the author. In this dissertation I explore one goal of this project---to understand effects on student learning outcomes as a function of using different methods for connecting out-of-school experiential learning with formal school-based instruction. There is a long history of assuming that "experience is the best teacher"(e.g. Aristotle, 360 BC; Dewey, 1934; Kolb, 1997; Pliny, AD 77). As a practical geographer I endorsed that assumption throughout my teaching career, paying attention to local topography, physical features, and natural resources in the geographic hinterland. I was particularly interested in understanding the impact of the physical landscape on humankind, and reciprocally, noting humankind's widespread impressions on the natural world. Until I began this research project, I assumed that everyone else paid a similar attention to immediate surroundings. The work that I describe in this dissertation emerges out of a conviction that there are many degrees of truth to the idea that experience is a great teacher. Its effectiveness seems to depend on how one's "experience" is mediated, and how "learning from it" is defined. This motivated me to think about design principles for linking people's experiences to learning. I began to explore, experimentally, how I might enhance people's abilities to notice, represent, and discuss their experiences in order to better learn from them. This study investigated how different ways of connecting outdoor learning experiences to formal schooling impacts students' performance. I studied high-school students in outdoor settings as they engaged in evocative issues of learning pertaining to consequential everyday life encounters. Different kinds of "expert mediation" were introduced and tested as the students engaged in investigative activities around the science of dam removal and habitat restoration. I measured outcomes with the aid of pre- and

  6. Beginning at the beginning: Recall order and the number of words to be recalled.

    Science.gov (United States)

    Tan, Lydia; Ward, Geoff; Paulauskaite, Laura; Markou, Maria

    2016-08-01

    When participants are asked to recall a short list of words in any order that they like, they tend to initiate recall with the first list item and proceed in forward order, even when this is not a task requirement. The current research examined whether this tendency might be influenced by varying the number of items that are to be recalled. In 3 experiments, participants were presented with short lists of between 4 and 6 words and instructed to recall 1, 2, 3, or all of the items from the lists. Data were collected using immediate free recall (IFR, Experiment 1), immediate serial recall (ISR, Experiment 2), and a variant of ISR that we call ISR-free (Experiment 3), in which participants had to recall words in their correct serial positions but were free to output the words in any order. For all 3 tasks, the tendency to begin recall with the first list item occurred only when participants were required to recall as many items from the list as they could. When participants were asked to recall only 1 or 2 items, they tended to initiate recall with end-of-list items. It is argued that these findings show for the first time a manipulation that eliminates the initial tendency to recall in forward order, provide some support for recency-based accounts of IFR and help explain differences between single-response and multiple-response immediate memory tasks. (PsycINFO Database Record (c) 2016 APA, all rights reserved).

  7. Chilean Teachers Begin Exchange Program Visit in Magdalena

    Science.gov (United States)

    2007-01-01

    Two teachers from the town of San Pedro de Atacama, in the northern desert of the South American nation of Chile, arrive in Magdalena, New Mexico, Sunday, January 28, for a two-week visit that is part of a Sister Cities program sponsored by Associated Universities, Inc. (AUI), the nonprofit research corporation that operates the National Radio Astronomy Observatory (NRAO). They will be accompanied by their town's mayor. Myriam Nancy Rivera Mercado, Head of the high school in San Pedro, Gabriela Fernanda Rodriguez Moraleda, a tourism teacher there, and San Pedro Mayor Sandra Berna Martinez will begin a visit that includes classroom observations in the Magdalena schools, a reception hosted by the Magdalena Village Council, and a Mayor's Breakfast with Magdalena Mayor Jim Wolfe. They also will meet local residents, tour the Bosque del Apache National Wildlife Refuge with a second-grade class, visit an area ranch, tour the Very Large Array (VLA) radio telescope, and see Socorro's Community Arts Party. "These teachers will learn much about New Mexico, the United States, and our educational system, and will take this new knowledge back to their students and their community," said NRAO Education Officer Robyn Harrison. The visit is part of a Sister Cities program initiated and funded by AUI, which operates the NRAO for the U.S. National Science Foundation. Radio astronomy is a common link between San Pedro de Atacama and Magdalena. San Pedro is near the site of the Atacama Large Millimeter/submillimeter Array (ALMA), an international telescope project now under construction with funding by major partners in North America, Europe, and Japan. Magdalena is near the site of NRAO's VLA radio telescope. In Magdalena, the Village Council and Mayor Wolfe formalized their participation in the Sister Cities program last September, and San Pedro ratified the program in December. In San Pedro, the ceremony ratifying the agreement was attended by U.S. Ambassador to Chile Craig K

  8. Formalized description of strategic control system functioning

    Directory of Open Access Journals (Sweden)

    Sborshchikov Sergey Borisovich

    2016-10-01

    Full Text Available Investment and construction activity as a technical and economic system represents a complex of coordinated elements interdependent in frames of a more complicated structure and logically constituting a whole entity which is controlled basing on control actions stated in a plan. The processes of investment and construction activity are determined by different flows of workforce, raw materials, energy, main funds and investments. On the other hand the system functioning influences these flows. The article presents the structure of investment and construction activity as a technical-and-economic system with large number of input and output flows. For its functioning implementation of strategic control is necessary. The authors consider a suggestion that providing balanced and proportional growth basing on the general aim is the important result of strategy control. Both inner and outer impacts should be taken into account. The higher is the hierarchy level of the investment and construction activity, the higher the degree of complexity of control, management and decision-making functions grow. The formalized description of strategic controlling process is given.

  9. Preserving cultural heritage objects: provenance formalization

    Directory of Open Access Journals (Sweden)

    Francesca Tomasi

    2017-12-01

    Full Text Available Preservation is a composite task, because digital objects are multilevel, stratified, and complex entities. In order to ensure conceptual preservation, the cultural object must be accompanied by the most accurate details about the provenance. With the provenance, in fact, it is possible to attribute paternity to the actions linked to that cultural object, in such a way as to guarantee its reliability. Given the amount of existing information on the Web, there is a need for mechanisms to determine the provenance of the data, in order to guarantee not just the reliability of the information but also the authoritativeness, so that the final user can use it. By translating these principles into ontology, the object is preserved in its conceptual dimension. Two ontologies aimed at the formalization of the provenance (PRoles and HiCO are then described, which have also been tested on two different projects: a structured collection (a catalog and a set of unstructured documents (a digital edition.

  10. Starobinsky cosmological model in Palatini formalism

    Energy Technology Data Exchange (ETDEWEB)

    Stachowski, Aleksander [Jagiellonian University, Astronomical Observatory, Krakow (Poland); Szydlowski, Marek [Jagiellonian University, Astronomical Observatory, Krakow (Poland); Jagiellonian University, Mark Kac Complex Systems Research Centre, Krakow (Poland); Borowiec, Andrzej [Wroclaw University, Institute for Theoretical Physics, Wroclaw (Poland)

    2017-06-15

    We classify singularities in FRW cosmologies, which dynamics can be reduced to the dynamical system of the Newtonian type. This classification is performed in terms of the geometry of a potential function if it has poles. At the sewn singularity, which is of a finite scale factor type, the singularity in the past meets the singularity in the future. We show that such singularities appear in the Starobinsky model in f(R) = R + γR{sup 2} in the Palatini formalism, when dynamics is determined by the corresponding piecewise-smooth dynamical system. As an effect we obtain a degenerate singularity. Analytical calculations are given for the cosmological model with matter and the cosmological constant. The dynamics of model is also studied using dynamical system methods. From the phase portraits we find generic evolutionary scenarios of the evolution of the universe. For this model, the best fit value of Ω{sub γ} = 3γH{sub 0}{sup 2} is equal 9.70 x 10{sup -11}. We consider a model in both Jordan and Einstein frames. We show that after transition to the Einstein frame we obtain both the form of the potential of the scalar field and the decaying Lambda term. (orig.)

  11. Grammar and grammars: between formalism and functionalism

    Directory of Open Access Journals (Sweden)

    Alvaro William Santiago Galvis

    2012-02-01

    Full Text Available En este trabajo se presentan las distintas nociones que tiene el término gramática, desde la perspectiva prescriptiva, referida al sistema organizativo de la lengua, reglas y principios que intervienen en la construcción de palabras, frases y oraciones; pasando por la no prescriptiva, de orientación científica, que estudia sistemáticamente las palabras, sus clases, posibles combinaciones, relaciones y significados que puedan atribuírseles; hasta llegar a la relacionada con los enfoques lingüísticos específicos, o cada teoría o modelo de análisis que se ha propuesto para abordar un sistema verbal. Es a partir de la inmersión en esta última acepción que se estudian los presupuestos básicos de los programas formalista y funcionalista. El primero de ellos es utilizado por la gramática como un aparato formal de descripción y explicación con el que se busca aclarar la capacidad de la mente humana para producir y comprender expresiones verbales, sin tener en cuenta factores no verbales, mientras que el segundo hace énfasis en la función comunicativa de las lenguas, de forma que la gramática queda subordinada a factores extralingüísticos.

  12. Quantum mechanics formalism for biological evolution

    International Nuclear Information System (INIS)

    Bianconi, Ginestra; Rahmede, Christoph

    2012-01-01

    Highlights: ► Biological evolution is an off-equilibrium process described by path integrals over phylogenies. ► The phylogenies are sums of linear lineages for asexual populations. ► For sexual populations, each lineage is a tree and the path integral is given by a sum over these trees. ► Quantum statistics describe the stationary state of biological populations in simple cases. - Abstract: We study the evolution of sexual and asexual populations in fitness landscapes compatible with epistatic interactions. We find intriguing relations between the mathematics of biological evolution and quantum mechanics formalism. We give the general structure of the evolution of sexual and asexual populations which is in general an off-equilibrium process that can be expressed by path integrals over phylogenies. These phylogenies are the sum of linear lineages for asexual populations. For sexual populations, instead, each lineage is a tree of branching ratio two and the path integral describing the evolving population is given by a sum over these trees. Finally we show that the Bose–Einstein and the Fermi–Dirac distributions describe the stationary state of biological populations in simple cases.

  13. Formal policies for flexible EHR security.

    Science.gov (United States)

    Blobel, Bernd; Pharow, Peter

    2006-01-01

    State of the Art methodologies for establishing requirements and solutions to securing applications are based on narrative descriptions about the use of available system, sometimes also dedicated to system components. Even nowadays new developments to ruling application security services by the use of predicate logic suffer from being administered manually. Therefore, security and privacy requirements cannot be properly met resulting in restrictions and fears for allowing the use of sensitive data and functions. Because of the sensitivity of personal health information and especially of genetic data with its wider implications beyond the original subject of care, weaknesses in guaranteeing fine-grained security and privacy rules lead to less acceptance or even the avoidance of essential information transfer and use. To overcome the problem, security and privacy have to become properties of the architectural components of the respective health information system. Embedding security into the systems architecture allows for negotiating and enforcing any security and privacy services related to principals, their roles, their relationships, further contextual information as well as other regulations summarized in formally modeled policies. The paper introduces the evolving paradigm of the model-driven architecture, first time also comprehensively deployed for security and privacy services in bio-genetic and health information systems.

  14. Application of Bondarenko formalism to fusion reactors

    International Nuclear Information System (INIS)

    Soran, P.D.; Dudziak, D.J.

    1975-01-01

    The Bondarenko formalism used to account for resonance self-shielding effects (temperature and composition) in a Reference Theta-Pinch Reactor is reviewed. A material of interest in the RTPR blanket is 93 Nb, which exhibits a large number of capture resonance in the energy region below 800 keV. Although Nb constitutes a small volume fraction of the blanket, its presence significantly affects the nucleonic properties of the RTPR blanket. The effects of self-shielding in 93 Nb on blanket parameters such as breeding ratio, total afterheat, radioactivity, magnet-coil heating and total energy depositions have been studied. Resonance self-shielding of 93 Nb, as compared to unshielded cross sections, will increase tritium breeding by approximately 7 percent in the RTPR blanket and will decrease blanket radioactivity, total recoverable energy, and magnet-coil heating. Temperature effects change these parameters by less than 2 percent. The method is not restricted to the RTPR, as a single set of Bondarenko f-factors is suitable for application to a variety of fusion reactor designs

  15. Formal verification of Simulink/Stateflow diagrams a deductive approach

    CERN Document Server

    Zhan, Naijun; Zhao, Hengjun

    2017-01-01

    This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

  16. Regaining the Square of Opposition in Formal Ontology Development

    DEFF Research Database (Denmark)

    Nilsson, Jørgen Fischer

    2014-01-01

    Use of formal ontologies is becoming widespread in information systems. Forerunners of formal ontologies are scientific classification systems such as the Linnaean biological ones. Unlike biological classifications modern formal ontologies are often non-hierarchical. A formal ontology in its basic...... relationship induces a partial order relation corresponding to the relationship "all P are Q" in the square of opposition. Accordingly, so far, formal ontologies provide only assertions of the form "all P are Q". However, it is our contention that the three other assertion forms in the square of opposition...... be held simply in the case that "all P are Q" does not hold. These default rules are routinely adopted in ontology development without mentioning. Appealing to these conventions, the 4 sentence forms in the square are effectively made at disposal. We discuss a first order metalogical formalization...

  17. Mixing Formal and Informal Model Elements for Tracing Requirements

    DEFF Research Database (Denmark)

    Jastram, Michael; Hallerstede, Stefan; Ladenberger, Lukas

    2011-01-01

    Tracing between informal requirements and formal models is challenging. A method for such tracing should permit to deal efficiently with changes to both the requirements and the model. A particular challenge is posed by the persisting interplay of formal and informal elements. In this paper, we...... describe an incremental approach to requirements validation and systems modelling. Formal modelling facilitates a high degree of automation: it serves for validation and traceability. The foundation for our approach are requirements that are structured according to the WRSPM reference model. We provide...... a system for traceability with a state-based formal method that supports refinement. We do not require all specification elements to be modelled formally and support incremental incorporation of new specification elements into the formal model. Refinement is used to deal with larger amounts of requirements...

  18. Formal verification of an oral messages algorithm for interactive consistency

    Science.gov (United States)

    Rushby, John

    1992-01-01

    The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving,' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification.

  19. Formality theory from Poisson structures to deformation quantization

    CERN Document Server

    Esposito, Chiara

    2015-01-01

    This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebras and the formality theorem. Readers will also be familiarized with the relevant physical motivations underlying the purely mathematical construction.

  20. A Formal Specification Framework for Smart Grid Components

    OpenAIRE

    Akram, Waseem; Niazi, Muaz A.

    2017-01-01

    Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there is a considerable focus on the practical aspects of smart grid, there are very few modeling attempts and even lesser attempts at formalization. To the best of our knowledge, among other formal methods, formal specific...

  1. Balancing Formality and Informality in Business Exchanges as a Duality

    DEFF Research Database (Denmark)

    Lin, Daomi; Lu, Jiangyong; Li, Peter Ping

    2015-01-01

    for firms, especially those facing institutional differences in transnational contexts and institutional transitions. In this research, we conducted a comparative multicase study on returnee entrepreneurs and local entrepreneurs in China. We found that at the early stage of venturing, returnee entrepreneurs...... emphasized formality more than informality, while local entrepreneurs stressed informality more than formality. However, the formality-informality balance among both returnee and local entrepreneurs converged over time in line with the institutional transition in China. Returnee entrepreneurs increased...

  2. Formalized Linear Algebra over Elementary Divisor Rings in Coq

    OpenAIRE

    Cano , Guillaume; Cohen , Cyril; Dénès , Maxime; Mörtberg , Anders; Siles , Vincent

    2016-01-01

    International audience; This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential operations of linear algebra, the classification theorem of finitely pre-sented modules over such rings and the uniqueness of the Smith normal form up to multiplication by units. We present formally verified algorithms comput-in...

  3. Formal Test Automation: The Conference Protocol with PHACT

    OpenAIRE

    Heerink, A.W.; Ural, Hasan; Probert, Robert L.; Feenstra, J.; Tretmans, G.J.; von Bochmann, Gregor

    2000-01-01

    We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available and which is also used in other case study experiments. The tool used for test generation and test execution is Phact, the PHilips Automated Conformance Tester. The formal method is (Extented) Finite State Machines which is the input language f...

  4. General many-body formalism for composite quantum particles.

    Science.gov (United States)

    Combescot, M; Betbeder-Matibet, O

    2010-05-21

    This Letter provides a formalism capable of exactly treating Pauli blocking between n-fermion particles. This formalism is based on an operator algebra made of commutators and anticommutators which contrasts with the usual scalar formalism of Green functions developed half a century ago for elementary quantum particles. We also provide the diagrams which visualize the very specific many-body physics induced by fermion exchanges between composite quantum particles.

  5. What determines firms' decisions to formalize? Evidence from rural Indonesia

    OpenAIRE

    McCulloch, Neil; Schulze, Günther G.; Voss, Janina

    2010-01-01

    In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

  6. A formalism for the calculus of variations with spinors

    International Nuclear Information System (INIS)

    Bäckdahl, Thomas; Valiente Kroon, Juan A.

    2016-01-01

    We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors

  7. A formalism for the calculus of variations with spinors

    Energy Technology Data Exchange (ETDEWEB)

    Bäckdahl, Thomas, E-mail: thobac@chalmers.se [The School of Mathematics, University of Edinburgh, JCMB 6228, Peter Guthrie Tait Road, Edinburgh EH9 3FD, United Kingdom and Mathematical Sciences - Chalmers University of Technology and University of Gothenburg - SE-412 96 Gothenburg (Sweden); Valiente Kroon, Juan A., E-mail: j.a.valiente-kroon@qmul.ac.uk [School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS (United Kingdom)

    2016-02-15

    We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

  8. Do formal management practices impact the emergence of bootlegging behavior?

    DEFF Research Database (Denmark)

    Globocnik, Dietfried; Salomo, Søren

    2014-01-01

    behavior, research has barely addressed the antecedents of this deviance. Drawing on strain theory and social cognitive theory, we study whether the emergence of bootlegging behavior is influenced by formal management practices, in particular, strategic autonomy, front-end formality, rewards, and sanctions...... and promote their implementation. They work without formal legitimacy and gather their own resources until sufficient clarity allows for informed decisions. Finally, they bypass formal communication channels to convince top management of the merits of their ideas. Despite the significance of such bootlegging...... their ideas and gathering their own resources to support their bootlegging efforts. © 2014 Product Development & Management Association....

  9. Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

    DEFF Research Database (Denmark)

    Villadsen, Jørgen; Schlichtkrull, Anders

    2017-01-01

    We present a formalization of a so-called paraconsistent logic that avoids the catastrophic explosiveness of inconsistency in classical logic. The paraconsistent logic has a countably infinite number of non-classical truth values. We show how to use the proof assistant Isabelle to formally prove...... theorems in the logic as well as meta-theorems about the logic. In particular, we formalize a meta-theorem that allows us to reduce the infinite number of truth values to a finite number of truth values, for a given formula, and we use this result in a formalization of a small case study....

  10. A diagrammatic construction of formal E-independent model hamiltonian

    International Nuclear Information System (INIS)

    Kvasnicka, V.

    1977-01-01

    A diagrammatic construction of formal E-independent model interaction (i.e., without second-quantization formalism) is suggested. The construction starts from the quasi-degenerate Brillouin-Wigner perturbation theory, in the framework of which an E-dependent model Hamiltonian is simply constructed. Applying the ''E-removing'' procedure to this E-dependent model Hamiltonian, the E-independent formal model Hamiltonian either Hermitian or non-Hermitian can diagrammatically be easily derived. For the formal E-independent model Hamiltonian the separability theorem is proved, which can be profitably used for a rather ''formalistic ''construction of a many-body E-independent model Hamiltonian

  11. Search begins for missing radiation sources in Republic of Georgia

    International Nuclear Information System (INIS)

    2002-01-01

    An international team assembled by the IAEA will begin a search today for two abandoned Strontium 90 generators in a ca. 550 sq. km area of Western Georgia. About 80 people will take part in the two-week search beginning on Monday, 10 June. Radiation experts for the IAEA, India, France, Turkey and the U.S. are also part of the team, which will set out on horseback, foot and by car. The second phase - an aerial and road survey covering different territory - is scheduled to begin in early September. The objective is to locate and recover other known or suspected orphaned radioactive sources in the country

  12. A Pedagogical Model in a Non-Formal Educational Context: The Museum Un Modelo Pedagógico en un Contexto No Formal: El Museo.

    Directory of Open Access Journals (Sweden)

    Mª Begoña Alfageme González

    2007-11-01

    Full Text Available Our proposal is to present a model of educational planning for museums. The school cannot be assumed to render all the education that a person needs. Therefore other social institutions are called upon to complement a person?s training. We begin by justifying the interest of including non-formal education in this context. Subsequently, we focus our study on an educational model that can be used as a planning tool in museums, thus expanding its use as a formative institution as well. Nuestra propuesta se centra en presentar un modelo de planificación educativa para las instituciones museísticas. La escuela no puede asumir toda la educación que un sujeto necesita, de ahí que tengan que ser otras instituciones sociales las que ayuden a complementar su formación. Comenzamos justificando el interés de abarcar la educación no formal en este contexto, y terminamos profundizando en el estudio de un modelo de enseñanza que nos puede ayudar a planificar en los museos, potenciando, así, sus posibilidades de uso formativo.

  13. Beginning Foreign Language: FLEX "sans prix, sans precio, kostenlos."

    Science.gov (United States)

    Bowman, Mary Lee

    1982-01-01

    Discusses implementation of a FLEX program called Beginning Foreign Language at Mooresville High School, including administrative scheduling, room assignments, budget, general and specific objectives of course, materials, testing, and grading. Concludes positive aspects outweigh unresolved problems. (BK)

  14. Punctuality of tram departing from beginning of tramstop

    Directory of Open Access Journals (Sweden)

    Adam MOLECKI

    2008-01-01

    Full Text Available The article presents results of researches of punctuality of tram departing from beginning of tramstops in Zagłębie Dąbrowskie. There were analyzed departures at classical tram lines, without light signaling of departing-time. There were inside of driver’s cabs sound signaling of departure. The departure’s punctuality problem from beginning of tramstops is very important to make tram traffic simulations. These ones let to optimalyze traffic engineering solutions.

  15. Formal modelling techniques in human-computer interaction

    NARCIS (Netherlands)

    de Haan, G.; de Haan, G.; van der Veer, Gerrit C.; van Vliet, J.C.

    1991-01-01

    This paper is a theoretical contribution, elaborating the concept of models as used in Cognitive Ergonomics. A number of formal modelling techniques in human-computer interaction will be reviewed and discussed. The analysis focusses on different related concepts of formal modelling techniques in

  16. Researching non-formal religious education: The example of the ...

    African Journals Online (AJOL)

    This article discusses the need for researching non-formal religious education as a neglected field of empirical research in religious education. By describing the growing awareness of the theological and educational meaning and importance of non-formal education and by reviewing the literature on research in religious ...

  17. Lekhnitskii's formalism of one-dimensional quasicrystals and its ...

    Indian Academy of Sciences (India)

    To illustrate its utility, the generalized Lekhnitskii's formal- ism is used to analyse the coupled phonon and phason fields in an infinite quasicrystal medium con- taining an elliptic rigid inclusion. Keywords. Generalized Lekhnitskii's formalism; one-dimensional quasicrystals; plane problems; elliptic inclusion. PACS Nos 61.44.

  18. Blending Formal and Informal Learning Networks for Online Learning

    Science.gov (United States)

    Czerkawski, Betül C.

    2016-01-01

    With the emergence of social software and the advance of web-based technologies, online learning networks provide invaluable opportunities for learning, whether formal or informal. Unlike top-down, instructor-centered, and carefully planned formal learning settings, informal learning networks offer more bottom-up, student-centered participatory…

  19. Adolescent Egocentrism and Formal Operations: Tests of a Theoretical Assumption.

    Science.gov (United States)

    Lapsley, David K.; And Others

    1986-01-01

    Describes two studies of the theoretical relation between adolescent egocentrism and formal operations. Study 1 used the Adolescent Egocentrism Scale (AES) and Lunzer's battery of formal reasoning tasks to assess 183 adolescents. Study 2 administered the AES, the Imaginary Audience Scale (IAS), and the Test of Logical Thinking to 138 adolescents.…

  20. Report on the Standardization Project "Formal Methods in Conformance Testing"

    NARCIS (Netherlands)

    Baumgarten, B.; Hogrefe, D.; Heymer, S.; Burkhardt, H.-J.; Giessler, A.; Tretmans, G.J.

    1996-01-01

    This paper presents the latest developments in the “Formal Methods in Conformance Testing��? (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the

  1. Formal concept analysis in knowledge discovery: A survey

    NARCIS (Netherlands)

    Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.; Croitoru, M.; Ferré, S.; Lukose, D.

    2010-01-01

    In this paper, we analyze the literature on Formal Concept Analysis (FCA) using FCA. We collected 702 papers published between 2003-2009 mentioning Formal Concept Analysis in the abstract. We developed a knowledge browsing environment to support our literature analysis process. The pdf-files

  2. EFL Teachers' Formal Assessment Practices Based on Exam Papers

    Science.gov (United States)

    Kiliçkaya, Ferit

    2016-01-01

    This study reports initial findings from a small-scale qualitative study aimed at gaining insights into English language teachers' assessment practices in Turkey by examining the formal exam papers. Based on the technique of content analysis, formal exam papers were analyzed in terms of assessment items, language skills tested as well as the…

  3. Formal Test Automation: The Conference Protocol with PHACT

    NARCIS (Netherlands)

    Heerink, A.W.; Ural, Hasan; Probert, Robert L.; Feenstra, J.; Tretmans, G.J.; von Bochmann, Gregor

    2000-01-01

    We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available and which is also used in other case study

  4. General form of effective Lagrangian in path integral quantization formalism

    CERN Document Server

    Tu Tung Sheng; Yuan Tu Nan

    1980-01-01

    The general form of the effective lagrangian in path integral formalism is obtained. The effective lagrangian includes the classical lagrangian, the term proportional to delta (0) given by Lee and Yang (see Phys. Rev., vol.128, p.885, 1962) and the additional term which is presented explicitly in the series expansion. The formalism is explicitly covariant. (6 refs).

  5. Enhancing Formal E-Learning with Edutainment on Social Networks

    Science.gov (United States)

    Labus, A.; Despotovic-Zrakic, M.; Radenkovic, B.; Bogdanovic, Z.; Radenkovic, M.

    2015-01-01

    This paper reports on the investigation of the possibilities of enhancing the formal e-learning process by harnessing the potential of informal game-based learning on social networks. The goal of the research is to improve the outcomes of the formal learning process through the design and implementation of an educational game on a social network…

  6. The development of mobile computation and the related formal description

    International Nuclear Information System (INIS)

    Jin Yan; Yang Xiaozong

    2003-01-01

    The description and research for formal representation in mobile computation, which is very instructive to resolve the status transmission, domain administration, authentication. This paper presents the descriptive communicating process and computational process from the view of formal calculus, what's more, it construct a practical application used by mobile ambient. Finally, this dissertation shows the future work and direction. (authors)

  7. Formal concept analysis in knowledge processing: a survey on applications

    NARCIS (Netherlands)

    Poelmans, J.; Ignatov, D.I.; Kuznetsov, S.O.; Dedene, G.

    2013-01-01

    This is the second part of a large survey paper in which we analyze recent literature on Formal Concept Analysis (FCA) and some closely related disciplines using FCA. We collected 1072 papers published between 2003 and 2011 mentioning terms related to Formal Concept Analysis in the title, abstract

  8. Formal specification of a query expression generator using RSL ...

    African Journals Online (AJOL)

    Formal methods are used for the specification of the query generator which is not the usual practice in the specification of query generators. We use RSL, the RAISE Specification Language, to formally specify our generator. From the specification, an implementation of our generator is generated in C++ using a command ...

  9. Non-Formal Educational Empowerment of Nigeria Youths for ...

    African Journals Online (AJOL)

    This paper, therefore, discussed the concept of non-formal education, entrepreneurship and development, non-formal educational empowerment of youths for entrepreneurship, and then made some recommendations that will help the youths acquire the desired entrepreneurial skills for self and national development.

  10. Formalized Verification of Snapshotable Trees: Separation and Sharing

    DEFF Research Database (Denmark)

    Mehnert, Hannes; Sieczkowski, Filip; Birkedal, Lars

    2012-01-01

    We use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the speci- cation and verication in the Coq proof assistant. We achieve local and modular reasoning about a tree and its snapshots and their iterators, al- though...... for full functional specication and verication, whether by separation logic or by other formalisms....

  11. The higher returns to formal education for entrepreneurs versus employees

    NARCIS (Netherlands)

    van Praag, M.; van Witteloostuijn, A.; van der Sluis, J.

    2013-01-01

    How valuable is formal education for entrepreneurs’ income relative to employees’? And if the income returns to formal education are different for entrepreneurs vis-à-vis employees, what might be a plausible explanation? To explore these questions, we analyze a large representative US panel. We show

  12. Formalizing Implementation Strategies for First-Class Continuations

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2000-01-01

    We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations...

  13. Configuration interaction formalism for atom-antiatom systems

    International Nuclear Information System (INIS)

    Roszak, S.; Chojnacki, H.

    1989-01-01

    The Hartree-Fock LCAO MO SCF formalism designed for molecular atom-antiatom systems has been proposed. The interlepton correlation effects have been accounted for within the configuration interaction formalism. The method seems to be general for leptonic systems and comprises other simplified approximations known in the literature. (orig.)

  14. Formalizing artisanal and small-scale mining: Whither the workforce?

    NARCIS (Netherlands)

    Verbrugge, B.L.P.; Besmanos, B.

    2016-01-01

    This article develops a critique of ongoing formalization efforts in the Artisanal and Small-scale Mining (ASM) sector. By departing from erroneous assumptions about a homogeneous ASM-sector, and by focusing on the recognition of mineral property rights, these formalization efforts tend to overlook

  15. Formal logic rewrite system bachelor in teaching mathematical informatics

    Science.gov (United States)

    Habiballa, Hashim; Jendryscik, Radek

    2017-07-01

    The article presents capabilities of the formal rewrite logic system - Bachelor - for teaching theoretical computer science (mathematical informatics). The system Bachelor enables constructivist approach to teaching and therefore it may enhance the learning process in hard informatics essential disciplines. It brings not only detailed description of formal rewrite process but also it can demonstrate algorithmical principles for logic formulae manipulations.

  16. RAISE: a Product Supporting Industrial Use of Formal Methods

    DEFF Research Database (Denmark)

    Haxthausen, Anne Elisabeth; Pedersen, J. Storbank; Prehn, Søren

    1993-01-01

    This paper gives an overview of RAISE, a product consisting of a method for developing software, an associated formal specification language and tools supporting the method and the language. The method is based on the notion of stepwise refinement and offers the possibility of formal verification...

  17. Formalities in the digital era: an obstacle or opportunity?

    NARCIS (Netherlands)

    van Gompel, S.; Bently, L.; Suthersanen, U.; Torremans, P.

    2010-01-01

    This paper, which was presented at the 2009 ALAI conference in London, examines the possible reintroduction of copyright formalities against the background of the challenges that copyright law faces in the digital era. It does so by contrasting the current calls for reintroducing formalities with

  18. Formal-Language-Theoretic Control & Coordination of Mobile Robots

    National Research Council Canada - National Science Library

    Ray, Asok

    2007-01-01

    ... of formal-language-theoretic models instead of ad-hoc rule-based expert systems. Future Plans: 1) Formulation of operational intelligence models in a formal-language-theoretic setting. 2) Algorithm development for intelligent coordination of autonomous agent teams to accomplish complex mission tasks.

  19. Automatically Grading Customer Confidence in a Formal Specification.

    Science.gov (United States)

    Shukur, Zarina; Burke, Edmund; Foxley, Eric

    1999-01-01

    Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of…

  20. On the Equivalence of Formal Grammars and Machines.

    Science.gov (United States)

    Lund, Bruce

    1991-01-01

    Explores concepts of formal language and automata theory underlying computational linguistics. A computational formalism is described known as a "logic grammar," with which computational systems process linguistic data, with examples in declarative and procedural semantics and definite clause grammars. (13 references) (CB)

  1. Formalization of the Resolution Calculus for First-Order Logic

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2018-01-01

    I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations and semantic trees. The correspondence...

  2. Formal description of the OSI session layer: introduction

    NARCIS (Netherlands)

    Ajubi, I.; Scollo, Giuseppe; van Sinderen, Marten J.; van Eijk, P.H.J.; Vissers, C.A.; Diaz, M.

    1989-01-01

    The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the

  3. Home Education Transitions with Formal Schooling: Student Perspectives

    Science.gov (United States)

    Jackson, Glenda

    2007-01-01

    Home education is a well established phenomenon in Australia but little is known about the movement of students between home schooling and formal education and how students view and handle the transitions. A sociocultural theoretical framework has been used to explore student perceptions of their transition experiences between formal education and…

  4. Formal and Informal Rural Credit in Four Provinces of Vietnam

    DEFF Research Database (Denmark)

    Barslund, Mikkel Christoffer; Tarp, Finn

    This paper uses a survey of 932 rural households to uncover how the rural credit market operates in four provinces of Vietnam. Households obtain credit through formal and informal lenders. Formal loans are almost entirely for production and asset accumulation, while informal loans are used...... are striking. A ‘one size fits all' approach to credit policy in Vietnam would be inappropriate...

  5. Formal TCA cycle description based on elementary actions

    Indian Academy of Sciences (India)

    Prakash

    2006-12-20

    Dec 20, 2006 ... BioΨ allows the formal integration of functional information existing in current databases and make them available for further automated analysis. In addition such a formal TCA cycle process description leads to a more accurate biological process annotation which takes in account the biological context.

  6. Formal TCA cycle description based on elementary actions

    Indian Academy of Sciences (India)

    2006-12-20

    Dec 20, 2006 ... Applied to the description of the tricarboxylic acid cycle (TCA), we show that BioΨ allows the formal integration of functional information existing in current databases and make them available for further automated analysis. In addition such a formal TCA cycle process description leads to a more accurate ...

  7. Informal Risk Perceptions and Formal Theory

    International Nuclear Information System (INIS)

    Cayford, Jerry

    2001-01-01

    Economists have argued persuasively that our goals are wider than just risk minimization, and that they include a prudent weighing of costs and benefits. This economic line of thought recognizes that our policy goals are complex. As we widen the range of goals we are willing to entertain, though, we need to check that the methods we customarily employ are appropriate for the tasks to which we customarily apply them. This paper examines some economic methods of risk assessment, in light of the question of what our policy goals are and should be. Once the question of goals is open, more complexities than just cost intrude: what the public wants and why begs to be addressed. This leads us to the controversial issue of public risk perceptions. We have now examined a number of procedures that experts use to make public policy decisions. Behind all these issues is always the question of social welfare: what actions can we take, what policies should we embrace, to make the world a better place? In many cases, the public and the experts disagree about what the right choice is. In the first section, we saw a possible defense of the experts based on democratic theory: the people's participation, and even their will, can be legitimately set aside in the pursuit of their true interests. If this defense is to work, a great deal of weight rests on the question of the people's interests and the competence and integrity of the experts' pursuit of it. But at the same time, social preferences are ill-defined, and so are not good candidates for rational actor theory. Both the prescriptive legitimacy claim and the very workings of formal theory we have seen to depend on informal, qualitative, political judgments. Unfortunately, we have also seen a steady pattern of expert reliance on technical procedures even when they were manifestly unsuited to the task. The experts seem so intent on excluding informal thought that they would prefer even a bad quantitative process to a qualitative

  8. Informal Risk Perceptions and Formal Theory

    Energy Technology Data Exchange (ETDEWEB)

    Cayford, Jerry [Resources for the Future, Washington, DC (United States)

    2001-07-01

    Economists have argued persuasively that our goals are wider than just risk minimization, and that they include a prudent weighing of costs and benefits. This economic line of thought recognizes that our policy goals are complex. As we widen the range of goals we are willing to entertain, though, we need to check that the methods we customarily employ are appropriate for the tasks to which we customarily apply them. This paper examines some economic methods of risk assessment, in light of the question of what our policy goals are and should be. Once the question of goals is open, more complexities than just cost intrude: what the public wants and why begs to be addressed. This leads us to the controversial issue of public risk perceptions. We have now examined a number of procedures that experts use to make public policy decisions. Behind all these issues is always the question of social welfare: what actions can we take, what policies should we embrace, to make the world a better place? In many cases, the public and the experts disagree about what the right choice is. In the first section, we saw a possible defense of the experts based on democratic theory: the people's participation, and even their will, can be legitimately set aside in the pursuit of their true interests. If this defense is to work, a great deal of weight rests on the question of the people's interests and the competence and integrity of the experts' pursuit of it. But at the same time, social preferences are ill-defined, and so are not good candidates for rational actor theory. Both the prescriptive legitimacy claim and the very workings of formal theory we have seen to depend on informal, qualitative, political judgments. Unfortunately, we have also seen a steady pattern of expert reliance on technical procedures even when they were manifestly unsuited to the task. The experts seem so intent on excluding informal thought that they would prefer even a bad quantitative process to

  9. The Formalization of Cultural Psychology. Reasons and Functions.

    Science.gov (United States)

    Salvatore, Sergio

    2017-03-01

    In this paper I discuss two basic theses about the formalization of cultural psychology. First, I claim that formalization is a relevant, even necessary stage of development of this domain of science. This is so because formalization allows the scientific language to achieve a much needed autonomy from the commonsensical language of the phenomena that this science deals with. Second, I envisage the two main functions that formalization has to perform in the field of cultural psychology: on the one hand, it has to provide formal rules grounding and constraining the deductive construction of the general theory; on the other hand, it has to provide the devices for supporting the interpretation of local phenomena, in terms of the abductive reconstruction of the network of linkages among empirical occurrences comprising the local phenomena.

  10. A Formalism for Scattering of Complex Composite Structures

    DEFF Research Database (Denmark)

    Svaneborg, Carsten; Pedersen, Jan Skov

    2012-01-01

    -unit scattering. The structural scattering expressions allow composite structures to be used as sub-units within the formalism itself. This allows the scattering expressions for complex hierarchical structures to be derived with great ease. The formalism is generic in the sense that the scattering due......We present a formalism for the scattering of an arbitrary linear or acyclic branched structure build by joining mutually non-interacting arbitrary functional sub-units. The formalism consists of three equations expressing the structural scattering in terms of three equations expressing the sub...... to structural connectivity is completely decoupled from internal structure of the sub-units. This allows sub-units to be replaced by more complex structures. We illustrate the physical interpretation of the formalism diagrammatically. By applying a self-consistency requirement, we derive the pair distributions...

  11. Formal and informal credit in four provinces of Vietnam

    DEFF Research Database (Denmark)

    Barslund, Mikkel; Tarp, Finn

    2008-01-01

    This paper uses a survey of 932 rural households to uncover how the rural credit market operates in Vietnam. Households obtain credit through formal and informal lenders. Formal loans are almost entirely for production and asset accumulation, while informal loans are used for consumption smoothen......This paper uses a survey of 932 rural households to uncover how the rural credit market operates in Vietnam. Households obtain credit through formal and informal lenders. Formal loans are almost entirely for production and asset accumulation, while informal loans are used for consumption...... smoothening. The determinants of formal and informal credit demand are distinct. While credit rationing depends on education and credit history, in particular, regional differences in the demand for credit are striking. A 'one size fits all' approach to credit policy in Vietnam would be inappropriate...

  12. A Comparitive Study of Subject Knowledge of B.Ed Graduates of Formal and Non-Formal Teacher Education Systems

    Science.gov (United States)

    Saif, Perveen; Reba, Amjad; ud Din, Jalal

    2017-01-01

    This study was designed to compare the subject knowledge of B.Ed graduates of formal and non-formal teacher education systems. The population of the study included all teachers from Girls High and Higher Secondary Schools both from private and public sectors from the district of Peshawar. Out of the total population, twenty schools were randomly…

  13. Correlates of formal reasoning: Content and problem effects

    Science.gov (United States)

    Linn, Marcia C.; Pulos, Steven; Gans, Adrienne

    Piaget's structural theory of formal thought suggests that a general construct of formal reasoning exists. The content of the task and type of problem employed are often ignored in Piagetian based studies but are important for generalizing findings to other studies and to educational problems. The study reported here examines content and problem effects of formal thought in 13-year-old adolescents. Specifically, three controlling variables tasks with different content and two question type tests (analysis and controlling questions) were administered to 120 seventh graders. Ability measures and personality dimensions associated with formal reasoning in the literature are used to clarify what formal reasoning is and how content and problem type are involved in formal reasoning. Significant main effects were found for problem and content effects (p = 0.001), and a significant interaction was found between the two (p = 0.001). Across the three tasks general ability, field dependency, and locus of control were consistently and significantly related to the controlling questions. However, only measures of field dependency were related to the analysis questions. Combinations of ability and personality factors were found to be uniquely related to each task, within each question type. Results have implications for a theory of formal thought and the teaching of the controlling variables strategy.

  14. Formalization and Validation of Safety-Critical Requirements

    Directory of Open Access Journals (Sweden)

    Alessandro Cimatti

    2010-03-01

    Full Text Available The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements.

  15. Transforming PLC Programs into Formal Models for Verification Purposes

    CERN Document Server

    Darvas, D; Blanco, E

    2013-01-01

    Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

  16. Machine Learning-based Intelligent Formal Reasoning and Proving System

    Science.gov (United States)

    Chen, Shengqing; Huang, Xiaojian; Fang, Jiaze; Liang, Jia

    2018-03-01

    The reasoning system can be used in many fields. How to improve reasoning efficiency is the core of the design of system. Through the formal description of formal proof and the regular matching algorithm, after introducing the machine learning algorithm, the system of intelligent formal reasoning and verification has high efficiency. The experimental results show that the system can verify the correctness of propositional logic reasoning and reuse the propositional logical reasoning results, so as to obtain the implicit knowledge in the knowledge base and provide the basic reasoning model for the construction of intelligent system.

  17. A Synthesized Framework for Formal Verification of Computing Systems

    Directory of Open Access Journals (Sweden)

    Nikola Bogunovic

    2003-12-01

    Full Text Available Design process of computing systems gradually evolved to a level that encompasses formal verification techniques. However, the integration of formal verification techniques into a methodical design procedure has many inherent miscomprehensions and problems. The paper explicates the discrepancy between the real system implementation and the abstracted model that is actually used in the formal verification procedure. Particular attention is paid to the seamless integration of all phases of the verification procedure that encompasses definition of the specification language and denotation and execution of conformance relation between the abstracted model and its intended behavior. The concealed obstacles are exposed, computationally expensive steps identified and possible improvements proposed.

  18. Beginning ASPNET Web Pages with WebMatrix

    CERN Document Server

    Brind, Mike

    2011-01-01

    Learn to build dynamic web sites with Microsoft WebMatrix Microsoft WebMatrix is designed to make developing dynamic ASP.NET web sites much easier. This complete Wrox guide shows you what it is, how it works, and how to get the best from it right away. It covers all the basic foundations and also introduces HTML, CSS, and Ajax using jQuery, giving beginning programmers a firm foundation for building dynamic web sites.Examines how WebMatrix is expected to become the new recommended entry-level tool for developing web sites using ASP.NETArms beginning programmers, students, and educators with al

  19. Mathematics Competency for Beginning Chemistry Students Through Dimensional Analysis.

    Science.gov (United States)

    Pursell, David P; Forlemu, Neville Y; Anagho, Leonard E

    2017-01-01

    Mathematics competency in nursing education and practice may be addressed by an instructional variation of the traditional dimensional analysis technique typically presented in beginning chemistry courses. The authors studied 73 beginning chemistry students using the typical dimensional analysis technique and the variation technique. Student quantitative problem-solving performance was evaluated. Students using the variation technique scored significantly better (18.3 of 20 points, p mathematics competency and problem-solving ability in both education and practice. [J Nurs Educ. 2017;56(1):22-26.]. Copyright 2017, SLACK Incorporated.

  20. Beginning Amazon Web Services with Node.js

    CERN Document Server

    Shackelford, Adam

    2015-01-01

    Beginning Amazon Web Services with Node.js teaches any novice Node.js developer to configure, deploy, and maintain scalable small to large scale Node.js applications in Amazon Web Services. Hosting a Node.js application in a production environment usually means turning to PaaS hosting, but this approach brings problems. Deploying Node.js directly to AWS solves the problems you encounter in these situations, enabling you to cut out the middle man. You will begin with a basic RESTful web service in Node.js, using the popular Express.js framework, pre-built and ready to run in your local env