WorldWideScience

Sample records for government greater formal

  1. Governing Knowledge: The Formalization Dilemma in the Governance of the Public Sciences

    Science.gov (United States)

    Woelert, Peter

    2015-01-01

    This paper offers a conceptually novel contribution to the understanding of the distinctive governance challenges arising from the increasing reliance on formalized knowledge in the governance of research activities. It uses the current Australian research governance system as an example--a system which exhibits a comparatively strong degree of…

  2. ADR characteristics and corporate governance in the Greater China region

    Directory of Open Access Journals (Sweden)

    Lee-Hsien Pan

    2012-04-01

    Full Text Available We examine the relationship between firm valuation and governance mechanisms, firm characteristics, and institutional factors of the American Depository Receipts (ADRs domiciled in the Greater China region. We find that China ADRs have the highest market-to-book value ratio followed by Hong Kong and Taiwan ADRs. It appears that Chinese firms with the poorest external governance environment stand to benefit the most from cross listing under the ADR programs. Listing in the U.S. that requires more stringent regulations and disclosure rules may strengthen the firms’ governance practices and thereby enhance their firm value. Among the internal governance mechanisms, institutional ownership and insider ownership are important for firm value.

  3. Governing Governance : A formal framework for analysing institutional design and enactment governance

    NARCIS (Netherlands)

    King, T.C.

    2016-01-01

    This dissertation is motivated by the need, in today’s globalist world, for a precise way to enable governments, organisations and other regulatory bodies to evaluate the constraints they place on themselves and others. An organisation’s modus operandi is enacting and fulfilling contracts between

  4. Vitamin A supplementation in Cambodia: program coverage and association with greater maternal formal education.

    Science.gov (United States)

    Grover, Davinder S; Pee, Saskia de; Sun, Kai; Raju, V K; Bloem, Martin W; Semba, Richard D

    2008-01-01

    Vitamin A supplementation reduces morbidity, mortality, and blindness among children in developing countries. The objective of this study is to characterize the coverage of the Cambodian national vitamin A program among preschool children and to identify risk factors for not receiving vitamin A supplementation. The study subjects were preschool children and their families who participated in the 2005 Cambodian Demographic and Health Survey (CDHS), a nationally representative survey. Of 1,547 preschool children, aged 12-59 months, 42.8% received a vitamin A capsule within the last six months. There were no significant differences in paternal education, child age, fever within the last 2 weeks, stunting, underweight, or wasting between children who did or did not receive a vitamin A capsule. Maternal education of > or =10 years (Odds Ratio [OR] 2.09, 95% Confidence Interval [CI] 1.02-4.29), 7-9 years (OR 1.46, 95% CI 0.99-2.15), 4-6 years (OR 1.71, 95% CI 1.26-2.32), and 1-3 years (OR 1.50, 95% CI 1.10-2.06) was associated with the child receiving a vitamin A capsule compared to no formal education in multivariate analyses adjusting for other potential confounders. The national vitamin A supplementation program in Cambodia did not reach over one-half of preschool children in 2005. Greater maternal formal education appears to be an important determinant for receipt of a vitamin A capsule by preschool children.

  5. Brokers in participatory urban governance: Assembling formal and informal politics

    NARCIS (Netherlands)

    Koster, M.

    2016-01-01

    Participatory urban governance, with its focus on citizen representation and the equitable distribution of resources, has been implemented globally to deepen democracy. Some individuals position themselves as voluntary representatives, or brokers, between the state and their fellow citizens. In this

  6. A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic

    DEFF Research Database (Denmark)

    van Lee, Hanna Sofie

    2017-01-01

    The greater fools explanation of financial bubbles says that traders are willing to pay more for an asset than they deem it worth, because they anticipate they might be able to sell it to someone else for an even higher price. As agents’ beliefs about other agents’ beliefs are at the heart...

  7. Avoid the Pitfalls: Benefits of Formal Part C Data System Governance. Revised

    Science.gov (United States)

    Mauzy, Denise; Bull, Bruce; Gould, Tate

    2016-01-01

    Since the initial authorizing legislation for Part C of the Individuals with Disabilities Education Act (IDEA) in 1986, the scope and complexity of data collected by Part C programs have significantly increased. Formal governance establishes responsibility for Part C data and enables program staff to improve the effectiveness of data processes and…

  8. The Importance of Government Effectiveness for Transitions toward Greater Electrification in Developing Countries

    Directory of Open Access Journals (Sweden)

    Rohan Best

    2017-08-01

    Full Text Available Electricity is a vital factor underlying modern living standards, but there are many developing countries with low levels of electricity access and use. We seek to systematically identify the crucial elements underlying transitions toward greater electrification in developing countries. We use a cross-sectional regression approach with national-level data up to 2012 for 135 low- and middle-income countries. The paper finds that the effectiveness of governments is the most important governance attribute for encouraging the transition to increased electrification in developing countries, on average. The results add to the growing evidence on the importance of governance for development outcomes. Donors seeking to make more successful contributions to electrification may wish to target countries with more effective governments.

  9. Formal and relational contracts between organizations: proposal of a model for analysis of the transactional and governance structure characteristics of comparative cases

    Directory of Open Access Journals (Sweden)

    Luciana Cardoso Siqueira Ambrozini

    Full Text Available Abstract The literature indicates that the use of formal and relational governance structures have a fundamental role in the conduct and maintenance of inter-organizational relationships. Nevertheless, there are possibilities for discussions about the composition and function of these structures in the presence of different transactional characteristics. Thus, a model based on the literatures of formal contracts, inter-organizational relationships, Relational Contract Theory, and Transaction Cost Economics is proposed. Since this is a qualitative exploratory research, six structured interviews were carried out and interpreted by means of Content Analysis for case comparison and discussion of theoretical propositions. It was observed that some transactional characteristics, when present with greater intensity in the context of a transaction, tend to corroborate the theoretical propositions of formal contractual function, demonstrating that the intensity of these characteristics is a relevant factor for analyzing the adequacy of governance structures. Likewise, the use of different relational norms presents variations within each characteristic analyzed. Other aspects explored in the Content Analysis are suggested in the composition of the analysis model. The propositions explored regarding the composition of the transaction context and the complementarity of governance structure of inter-organizational relationships are also discussed.

  10. The formal-informal patient payment mix in European countries. Governance, economics, culture or all of these?

    Science.gov (United States)

    Tambor, Marzena; Pavlova, Milena; Golinowska, Stanisława; Sowada, Christoph; Groot, Wim

    2013-12-01

    Cost-sharing for health care is high on the policy agenda in many European countries that struggle with deficits in their public budget. However, such policy often meets with public opposition, which might delay or even prevent its implementation. Increased reliance on patient payments may also have adverse equity effects, especially in countries where informal patient payments are widespread. The factors which might influence the presence of both, formal and informal payments can be found in economic, governance and cultural differences between countries. The aim of this paper is to review the formal-informal payment mix in Europe and to outline factors associated with this mix. We use quantitative analyses of macro-data for 35 European countries and a qualitative description of selected country experiences. The results suggest that the presence of obligatory cost-sharing for health care services is associated with governance factors, while informal patient payments are a multi-cause phenomenon. A consensus-based policy, supported by evidence and stakeholders' engagement, might contribute to a more sustainable patient payment policy. In some European countries, the implementation of cost-sharing requires policy actions to reduce other patient payment obligations, including measures to eliminate informal payments. Copyright © 2013 Elsevier Ireland Ltd. All rights reserved.

  11. Royalty rules : Alberta producers are now beholden to formal regulations for reporting royalty payments to government levy collectors

    International Nuclear Information System (INIS)

    Cook, D.

    2006-01-01

    The Petroleum Marketing Regulation was established by the Alberta Department of Energy in July 2005 in order to clarify the rules governing conventional crude oil royalties. The regulation provides an incentive for industry to comply with the long-existing oil royalty reporting requirements through the addition of non-compliance penalties. An initial shadow billing system has been implemented to give industry the opportunity to understand their responsibilities and implement procedures to correct reporting and delivery inaccuracies. Battery operators in Alberta must now submit a royalty report to the Alberta Petroleum Marketing Commission on a monthly basis. The regulation provides provisions for interest charges on outstanding invoiced amounts, and formalizes existing eligibility requirements for the reimbursement of trucking costs associated with transporting the Crown's share. Penalties will be incurred if royalty reports contain erroneous information, or if the actual deliveries made are less than the prescribed royalty quantity. All penalties levied by the commission will now be sent to the battery operator in a monthly statement. Battery operators who wish to appeal their penalties may do so within 2 months after the date of the monthly statement. It was concluded that industry is not expected to experience any significant problems when the regulation comes into effect, as the 6 month shadow billing period will allow companies to make a smooth transition to the requirements of the new regulation. Details of information sessions for the new regulation were provided, as well as details of various non-compliance penalties. 1 fig

  12. The impact of governance modes on sustainable transport - the case of bus transport in Greater Manchester, UK

    DEFF Research Database (Denmark)

    Sørensen, Claus Hedegaard; Gudmundsson, Henrik

    2010-01-01

    'Sustainable transport' has become a priority for transport planning and policy making around the world. Sustainable transport plans often promote efforts to shift passengers from private cars to other modes such as public transport. However, the actual success of such efforts is likely to depend...... on how the transport sector is organised and governed. In this paper, we study the impacts of new public management (NPM) reforms in the British local transport sector on the attraction of passengers to buses. Britain is an interesting example since high level sustainable transport policies have been...... contributions. Second, we apply theoretical notions of 'governance modes', to examine whether the strengths and failures of 'market', 'hierarchy' and 'network' governance respectively can help to explain the results we observe. We find that these concepts are particularly useful to clarify the conditions under...

  13. The curbing of corruption by formal and informal accountability at the Indonesian local governments: Learning from Yogyakarta City

    NARCIS (Netherlands)

    Kabullah, M.I.; Wahab, S.; Sadioglu, U.; Dede, K.

    2016-01-01

    According to the compilation of Corruption Perception Index (CPI) by Transparency International Indonesia on 2006, 2008 and 2010, 85 percent of the Indonesia local governments got a score less than 5 with meaning highly corrupt. However, there are exceptions such as Yogyakarta City. Yogyakarta is

  14. Re-examining the Role of Transport Infrastructure in Trade, Regional Growth and Governance: Comparing the Greater Mekong Subregion (GMS and Central Eastern Europe (CEE

    Directory of Open Access Journals (Sweden)

    François Bafoil

    2010-01-01

    Full Text Available The main objective of this article is to question the hypothesis of the role of transport infrastructures in regional economic growth by comparing Central Eastern Europe (supported by the EU structural and cohesion funds and the Greater Mekong Subregion (mainly supported by the “economic corridors” of the ADB. Three main components of trade efficiency are scrutinized and compared: (1 the historical development of trade agreements, (2 the supra-national (regional capacity of trade regulation, and (3 the micro level of governance between the different actors involved in trade. The comparison between CEE and the GMS is all the more warranted because of two paradoxes that need to be explained: The first one results from the existing link between transport and growth in the case of the GMS, and the lack of a link in the case of CEE. The second paradox insists on the fact that despite their very different institutional frameworks, both subregions continue to face similar challenges concerning the implementation of trade agreements and the exchange of facilities at the local level – pointing towards the issue of governance.

  15. Formal matrices

    CERN Document Server

    Krylov, Piotr

    2017-01-01

    This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...

  16. Economic City Branding in China : the Multi-Level Governance of Municipal Self-Promotion in the Greater Pearl River Delta

    NARCIS (Netherlands)

    Lu, H.; de Jong, W.M.; Chen, Y.

    2017-01-01

    In the urban development policy in China, city brands play an important role in setting targets for Chinese cities. These economic city brands, however, are not produced in an institutional vacuum: they are embedded in the visions national, provincial and municipal governments have for these cities,

  17. Economic city branding in China: the multi-level governance of municipal self-promotion in the greater pearl river Delta

    NARCIS (Netherlands)

    H. Lu (Haiyan); M. de Jong (Martin); Y. Chen (Yawei)

    2017-01-01

    textabstractIn the urban development policy in China, city brands play an important role in setting targets for Chinese cities. These economic city brands, however, are not produced in an institutional vacuum: they are embedded in the visions national, provincial and municipal governments have for

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

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

  20. Dynamic Chaos, Conflicts in the Greater Middle East and Global Governance Mechanisms in the XXI Century (Proceedings of PFUR's Expert Seminars and Situational Analysis

    Directory of Open Access Journals (Sweden)

    Denis Andreevich Degterev

    2015-12-01

    Full Text Available The article summarizes the experience of methodological expert seminars and case studies of international conflict of the Department of Theory and History of International Relations of the Faculty of Humanities and Social Sciences at Peoples’ Friendship University of Russia. The background and the main stages of elaboration of PFUR’s integrated multidisciplinary methodology of situation analysis of international conflicts are described. The evolution of methodological approaches to conflict analysis used in the expert community, from classical methods, including the method of analytic hierarchy by T. Saati to the nonlinear dynamics of the processes of regional development and the perception of the international system as a non-equilibrium system are shown, as well as possibilities of use of approaches of the natural sciences (theory of complex systems in the modeling of international relations. Particular attention is paid to the results of PFUR's situational analysis 2015 “Greater Middle East: twenty years later (1994-2014”. The authors show us the methodology of situation analysis in details, including the matrix approach to the distribution of research topics and the method of ranking research tasks by difficulty level between different categories of participants (students, masters, postgraduate students, teachers. A special focus is made on proceedings of leading orientalists from Russia (Institute of Oriental Studies, Russian Academy of Science and foreign countries (Austria, UK. The directions of further improvement of PFUR's methods of situational analysis are provided.

  1. Greater Melbourne.

    Science.gov (United States)

    Wulff, M; Burke, T; Newton, P

    1986-03-01

    With more than a quarter of its population born overseas, Melbourne, Australia, is rapidly changing from an all-white British outpost to a multicultural, multilingual community. Since the "white" Australian policy was abandoned after World War II, 3 million immigrants from 100 different countries have moved to Australia. Most of the immigrants come from New Zealand, Rhodesia, South Africa, Britain, Ireland, Greece, Turkey, Yugoslavia, Poland, and Indochina. Melbourne is Australia's 2nd largest city and houses 1 out of 5 Australians. Its 1984 population was 2,888,400. Melbourne's housing pattern consists of subdivisions; 75% of the population live in detached houses. Between 1954 and 1961 Melbourne grew at an annual rate of 3.5%; its growth rate between 1961 and 1971 still averaged 2.5%. In the 1970s the growth rate slowed to 1.4%. Metropolitan Melbourne has no central government but is divided into 56 councils and 8 regions. Both Australia's and Melbourne's fertility rates are high compared to the rest of the developed world, partly because of their younger age structure. 41% of Melbourne's population was under age 24 in 1981. Single-person households are growing faster than any other type. 71% of the housing is owner-occupied; in 1981 the median sized dwelling had 5.2 rooms. Public housing only accounts for 2.6% of all dwellings. Fewer students graduate from high school in Australia than in other developed countries, and fewer graduates pursue higher education. Melbourne's suburban sprawl promotes private car travel. In 1980 Melbourne contained more than 28,000 retail establishments and 4200 restaurants and hotels. Industry accounts for 30% of employment, and services account for another 30%. Its largest industries are motor vehicles, clothing, and footware. Although unemployment reached 10% after the 1973 energy crisis, by 1985 it was down to 6%.

  2. An International Comparison of Corporate Governance Models: a study on the formal independence and governance of one-tier and two-tier corporate boards of directors in the United States of America, the United Kingdom and the Netherlands

    NARCIS (Netherlands)

    G.F. Maassen (Gregory)

    1999-01-01

    textabstractAccording to Cochran and Wartick (1988), corporate governance is an umbrella term that covers many aspects related to concepts, theories and practices of boards of directors and their executive and non-executive directors. It is a field that concentrates on the relationship between

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

  4. 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 i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......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...

  5. Greater oil investment opportunities

    International Nuclear Information System (INIS)

    Arenas, Ismael Enrique

    1997-01-01

    Geologically speaking, Colombia is a very attractive country for the world oil community. According to this philosophy new and important steps are being taken to reinforce the oil sector: Expansion of the exploratory frontier by including a larger number of sedimentary areas, and the adoption of innovative contracting instruments. Colombia has to offer, Greater economic incentives for the exploration of new areas to expand the exploratory frontier, stimulation of exploration in areas with prospectivity for small fields. Companies may offer Ecopetrol a participation in production over and above royalties, without it's participating in the investments and costs of these fields, more favorable conditions for natural gas seeking projects, in comparison with those governing the terms for oil

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

  7. Formal Verification -26 ...

    Indian Academy of Sciences (India)

    by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...

  8. Combining Formal, Non-Formal and Informal Learning for Workforce Skill Development

    Science.gov (United States)

    Misko, Josie

    2008-01-01

    This literature review, undertaken for Australian Industry Group, shows how multiple variations and combinations of formal, informal and non-formal learning, accompanied by various government incentives and organisational initiatives (including job redesign, cross-skilling, multi-skilling, diversified career pathways, action learning projects,…

  9. Formalizing Informal Logic

    Directory of Open Access Journals (Sweden)

    Douglas Walton

    2015-12-01

    Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

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

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

  12. 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 “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...

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

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

  15. Software Formal Inspections Guidebook

    Science.gov (United States)

    1993-01-01

    The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

  16. Formality in Brackets

    DEFF Research Database (Denmark)

    Garsten, Christina; Nyqvist, Anette

    Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... 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...... 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...

  17. Renewing governance.

    Science.gov (United States)

    Loos, Gregory P

    2003-01-01

    Globalization's profound influence on social and political institutions need not be negative. Critics of globalization have often referred to the "Impossible Trinity" because decision-making must 1. respect national sovereignty, 2. develop and implement firm regulation, and 3. allow capital markets to be as free as possible. To many, such goals are mutually exclusive because history conditions us to view policy-making and governance in traditional molds. Thus, transnational governance merely appears impossible because current forms of governance were not designed to provide it. The world needs new tools for governing, and its citizens must seize the opportunity to help develop them. The rise of a global society requires a greater level of generality and inclusion than is found in most policy bodies today. Politicians need to re-examine key assumptions about government. States must develop ways to discharge their regulatory responsibilities across borders and collaborate with neighboring jurisdictions, multilateral bodies, and business. Concepts such as multilateralism and tripartism show great promise. Governments must engage civil society in the spirit of shared responsibility and democratic decision-making. Such changes will result in a renewal of the state's purpose and better use of international resources and expertise in governance.

  18. Transnational Governance and Constitutionalism

    DEFF Research Database (Denmark)

    Joerges, Christian; Sand, Inger-Johanne; Teubner, Gunther

    of democratic governance. The book refers to this term as a yardstick to which then contributors feel committed even where they plead for a reconceptualisation of constitutionalism or a discussion of its functional equivalents. 'Transnational governance' is neither public nor private, nor purely international......The term transnational governance designates untraditional types of international and regional collaboration among both public and private actors. These legally-structured or less formal arrangements link economic, scientific and technological spheres with political and legal processes...

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

  20. 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....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

  1. Integrated formal operations plan

    Energy Technology Data Exchange (ETDEWEB)

    Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

    1994-01-05

    The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

  2. Tax Governance

    DEFF Research Database (Denmark)

    Boll, Karen; Brehm Johansen, Mette

    to wider international trends within tax administration, especially concerning the development of risk assessments and internal control in the corporations and a greater focus on monitoring of these elements by the tax authorities. Overall, the working paper concludes that Tax Governance as a model......This working paper presents an analysis of the experiences of Cooperative Compliance in Denmark. Cooperative Compliance denotes a specific kind of collaborative program for the regulation of large corporate taxpayers by the tax authorities. Cooperative Compliance programs have been implemented...... in several countries worldwide. In Denmark the program is called Tax Governance. Tax Governance has been studied using qualitative method and the analyses of the working paper build on an extensive base of in-depth interviews – primarily with tax directors from corporations participating in the program...

  3. 'Good Governance' dan 'Governability'

    Directory of Open Access Journals (Sweden)

    - Pratikno

    2005-03-01

    Full Text Available The article endeavors to trace the outset of governance concept, its dominant meanings and discourse, and its implication towards governability. The central role of government in the governing processes has predominantly been adopted. The concept of governance was emerged precisely in the context of the failure of government as key player in regulation, economic redistribution and political participation. Governance is therefore aimed to emphasize pattern of governing which are based both on democratic mechanism and sound development management. However, practices of such good governance concept –which are mainly adopted and promoted by donor states and agencies– tend to degrade state and/or government authority and legitimacy. Traditional function of the state as sole facilitator of equal societal, political and legal membership among citizens has been diminished. The logic of fair competition has been substituted almost completely by the logic of free competition in nearly all sectors of public life. The concept and practices of good governance have resulted in decayed state authority and failed state which in turn created a condition for "ungovernability". By promoting democratic and humane governance, the article accordingly encourages discourse to reinstall and bring the idea of accountable state back in.

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

  5. Traditional and formal education: Means of improving grasscutter ...

    African Journals Online (AJOL)

    The study concludes that both traditional and non-formal education are important for the development and efficiency of grasscutter farming in Ogun Waterside Local Government Area of Ogun State. The following are the recommendations of the study: revision of the curriculum of formal schools to include items that inculcate ...

  6. Financing Adult and Non-Formal Education in Nigeria

    Science.gov (United States)

    Hassan, Moshood Ayinde

    2009-01-01

    The purpose of this study is to determine how adult and non formal education is financed in Nigeria; and to examine areas or forms of and the problems of financing adult and non-formal education in Nigeria. Survey research was used in order to carry out the study. Three hundred and twenty five (325) respondents from government agencies,…

  7. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    2016-01-01

    term this ‘fear of the formal’, outlining key elements of its genealogy and exploring its contemporary manifestation in relation to recent and ongoing reforms of organisational life in a range of contexts. At the same time, we seek to indicate the continuing constitutive significance of formality...

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

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

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

  11. IDEF3 Formalization Report

    Science.gov (United States)

    1991-10-01

    SUBJECT TERMS 15. NUMBER OF PAGES engineering management information systems method formalization 60 information engineering process modeling 16 PRICE...CODE information systems requirements definition methods knowlede acquisition methods systems engineering 17. SECURITY CLASSIFICATION ji. SECURITY... Management , Inc., Santa Monica, California. CORYNEN, G. C., 1975, A Mathematical Theory of Modeling and Simula- tion. Ph.D. Dissertation, Department

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

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

  14. Greater autonomy at work

    NARCIS (Netherlands)

    Houtman, I.L.D.

    2004-01-01

    In the past 10 years, workers in the Netherlands increasingly report more decision-making power in their work. This is important for an economy in recession and where workers face greater work demands. It makes work more interesting, creates a healthier work environment, and provides opportunities

  15. Corporate governance through codes

    NARCIS (Netherlands)

    Haxhi, I.; Aguilera, R.V.; Vodosek, M.; den Hartog, D.; McNett, J.M.

    2014-01-01

    The UK's 1992 Cadbury Report defines corporate governance (CG) as the system by which businesses are directed and controlled. CG codes are a set of best practices designed to address deficiencies in the formal contracts and institutions by suggesting prescriptions on the preferred role and

  16. Decentralized environmental governance

    International Development Research Centre (IDRC) Digital Library (Canada)

    Tula

    Human Development, a Road to the. Future. Systematization of ... Opportunities for Sustainability and Natural Resources Access for Poor. Rural Areas ... natural resource management. Under this ... Governance is defined as the formal and informal ... approval of the Environmental Impact Study, the strong oppo- sition of the ...

  17. Greater-confinement disposal

    International Nuclear Information System (INIS)

    Trevorrow, L.E.; Schubert, J.P.

    1989-01-01

    Greater-confinement disposal (GCD) is a general term for low-level waste (LLW) disposal technologies that employ natural and/or engineered barriers and provide a degree of confinement greater than that of shallow-land burial (SLB) but possibly less than that of a geologic repository. Thus GCD is associated with lower risk/hazard ratios than SLB. Although any number of disposal technologies might satisfy the definition of GCD, eight have been selected for consideration in this discussion. These technologies include: (1) earth-covered tumuli, (2) concrete structures, both above and below grade, (3) deep trenches, (4) augered shafts, (5) rock cavities, (6) abandoned mines, (7) high-integrity containers, and (8) hydrofracture. Each of these technologies employ several operations that are mature,however, some are at more advanced stages of development and demonstration than others. Each is defined and further described by information on design, advantages and disadvantages, special equipment requirements, and characteristic operations such as construction, waste emplacement, and closure

  18. More features, greater connectivity.

    Science.gov (United States)

    Hunt, Sarah

    2015-09-01

    Changes in our political infrastructure, the continuing frailties of our economy, and a stark growth in population, have greatly impacted upon the perceived stability of the NHS. Healthcare teams have had to adapt to these changes, and so too have the technologies upon which they rely to deliver first-class patient care. Here Sarah Hunt, marketing co-ordinator at Aid Call, assesses how the changing healthcare environment has affected one of its fundamental technologies - the nurse call system, argues the case for wireless such systems in terms of what the company claims is greater adaptability to changing needs, and considers the ever-wider range of features and functions available from today's nurse call equipment, particularly via connectivity with both mobile devices, and ancillaries ranging from enuresis sensors to staff attack alert 'badges'.

  19. The greater picture

    CERN Multimedia

    Staff Association

    2013-01-01

    Strike of the European civil servants Two representatives of the CERN Staff Association, who attended a conference of Staff Committees of European Agencies in Brussels, participated in the strike of the European civil servants on 8th November. Indeed, more than 500 people were demonstrating in front of the Commission against the attacks on their working conditions.  By solidarity, our representatives joined them. The governments of the richest countries want large cuts in the Union European budget, especially in the administration costs, cuts of up to 15 billion, presently the European parliament does not follow. This could result in pension fund reforms, going from 1/3 2/3 repartition of the contributions to 1/2 1/2, which is unacceptable especially for low salaries. Besides, reduction of staff of 5 %, or even 15 % is seriously considered. 2004 saw already a diminution of the working conditions at the Union European, will 2013 make even more damages? The AASC (Assembly of Agency Staff Committe...

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

  1. Formal Analysis of Domain Models

    National Research Council Canada - National Science Library

    Bharadwaj, Ramesh

    2002-01-01

    Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...

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

  3. 'Governance' sebagai Pengelolaan Konflik

    Directory of Open Access Journals (Sweden)

    Riza Noer Arfani

    2005-03-01

    Full Text Available The article explores the notion of understanding governance as part of conflict management, or vice versa, of undustanding conflict management aspects as benefiting from governance concepts and practices. Governance, with its much broader meaning than government, suggests diverse relevant and significant clues, hints and ideas in the context of conflict management endeavors. one of which is the idea to involve larger audiences and stakeholders –beyond the conventional institutions such as governmental bodies– in policy making processes and public discourses. Such comprehension and appreciation of governance concepts and practices is certainly parallel with the conflict management philosophies, concepis and practices which based on and oriented toward integrative, non-formal and non-litigative mechanisms.

  4. Topical Roots of Formal Dialectic

    NARCIS (Netherlands)

    Krabbe, Erik C. W.

    Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la

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

  6. Formalized informal learning

    DEFF Research Database (Denmark)

    Levinsen, Karin; Sørensen, Birgitte Holm

    2011-01-01

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

  7. Government Policy in the Formal and Informal Sectors

    DEFF Research Database (Denmark)

    Prado, Mauricio

    2011-01-01

    is used to show that firms with lower productivity endogenously choose to operate in the informal sector. I use cross-country data on taxes, measures of informality, and measures of regulation (entry and compliance costs, red tape, etc.) to back out how high the enforcement levels must be country...... (1999), I find that distortions associated with informality account for a factor of 1.5 of the output per capita difference between the richest and the poorest countries....

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

  9. DE-FORMALIZATION AND FORMALIZATION OF THE GOVERNMENT AND BUSINESS INTERACTION INSTITUTES AT THE LOCAL LEVEL

    OpenAIRE

    M.V. Kurbatova; U.V. Trofimova

    2008-01-01

    Russia currently faces the time when the new institutions emerge and develop. Thus there is a scientific problem that focuses on the explanation of deviations from institutional planning’s expected results. These deviations serve the purpose of solving current problems and maintaining the economic survival of the certain enterprises. It is especially noticeable at the municipal level where the opposite trends are quite interlaced. The article focuses on the example of Kemerovo region where ...

  10. DE-FORMALIZATION AND FORMALIZATION OF THE GOVERNMENT AND BUSINESS INTERACTION INSTITUTES AT THE LOCAL LEVEL

    Directory of Open Access Journals (Sweden)

    M.V. Kurbatova

    2008-12-01

    Full Text Available Russia currently faces the time when the new institutions emerge and develop. Thus there is a scientific problem that focuses on the explanation of deviations from institutional planning’s expected results. These deviations serve the purpose of solving current problems and maintaining the economic survival of the certain enterprises. It is especially noticeable at the municipal level where the opposite trends are quite interlaced. The article focuses on the example of Kemerovo region where local authorities derive adjacent institutions with small enterprises. The analysis is using the concept of rules; the extra attention is paid to the matter of regional market institutions foundation and the specifics of small mono-profile towns.

  11. Formal System Verification - Extension 2

    Science.gov (United States)

    2012-08-08

    vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in

  12. Formalized Epistemology, Logic, and Grammar

    Science.gov (United States)

    Bitbol, Michel

    The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

  13. Formal, Non-Formal and Informal Learning in the Sciences

    Science.gov (United States)

    Ainsworth, Heather L.; Eaton, Sarah Elaine

    2010-01-01

    This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

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

  15. Social Learning, Social Control, and Strain Theories: A Formalization of Micro-level Criminological Theories

    OpenAIRE

    Proctor, Kristopher Ryan

    2010-01-01

    This dissertation proposes theoretical formalization as a way of enhancing theory development within criminology. Differential association, social learning, social control, and general strain theories are formalized in order to identify assumptions of human nature, key theoretical concepts, theoretical knowledge claims, and scope conditions. The resulting formalization allows greater comparability between theories in terms of explanatory power, and additionally provides insights into integrat...

  16. 40 years of formal methods

    DEFF Research Database (Denmark)

    Bjørner, Dines; Havelund, Klaus

    2014-01-01

    In this "40 years of formal methods" essay we shall first delineate, Sect. 1, what we mean by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on this, we shall characterize a spectrum from specification-oriented met...

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

  18. Seniority in projection operator formalism

    International Nuclear Information System (INIS)

    Ullah, N.

    1976-01-01

    It is shown that the concept of seniority can be introduced in projection operator formalism through the use of the operator Q, which has been defined by de-Shalit and Talmi. The usefulness of seniority concept in projection operator formalism is discussed. An example of four nucleons in j=3/2 configuration is given for illustrative purposes

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

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

  1. Interactive governance

    DEFF Research Database (Denmark)

    Sørensen, Eva; Torfing, Jacob; Peters, B. Guy

    Governance has become one of the most commonly used concepts in contemporary political science. It is, however, often used to mean a variety of different things. This book helps to clarify this conceptual muddle by concentrating on one variety of governance-interactive governance. The authors argue...... that although the state may remain important for many aspects of governing, interactions between state and society represent an important, and perhaps increasingly important, dimension of governance. These interactions may be with social actors such as networks, with market actors or with other governments......, but all these forms represent means of governing involving mixtures of state action with the actions of other entities.This book explores thoroughly this meaning of governance, and links it to broader questions of governance. In the process of explicating this dimension of governance the authors also...

  2. Innovation in City Governments

    DEFF Research Database (Denmark)

    Lewis, Jenny M; Ricard, Lykke Margot; Klijn, Erik Hans

    Innovation has become an important focus for governments around the world over the last decade, with greater pressure on governments to do more with less, and expanding community expectations. Some are now calling this ‘social innovation’ – innovation that is related to creating new services...... that have value for stakeholders (such as citizens) in terms of the social and political outcomes they produce. Innovation in City Governments: Structures, Networks, and Leadership establishes an analytical framework of innovation capacity based on three dimensions: Structure - national governance...... project in Copenhagen, Barcelona and Rotterdam. The book provides major new insights on how structures, networks and leadership in city governments shape the social innovation capacity of cities. It provides ground-breaking analyses of how governance structures and local socio-economic challenges...

  3. Bus transport in Greater Manchester

    DEFF Research Database (Denmark)

    Sørensen, Claus Hedegaard; Gudmundsson, Henrik

    component regards the organisation of public bus transport at the local level. This involves the deregulation and privatisation reforms introduced by the Conservative Government from 1986 onwards, as well as the ‘partnerships’ and other new instruments introduced by the Labour Government in the Transport...

  4. Corporate Governance Quality in Selected Transition Countries

    Directory of Open Access Journals (Sweden)

    Danila Djokic

    2017-12-01

    Full Text Available Important questions that concern the notion of good corporate governance focus on what good corporate governance is, who benefits from good corporate governance, and how corporate governance quality can be measured. The aim of our study was to broaden our understanding of the role of standards and codes of good corporate governance in improving governance practices.We found that not only formal regulations, standards, and governance codes, but also corporate governance indices-which make the assessment of companies’ governance practices possible-are important in measuring and improving governance quality. The results of the research based on the SEECGAN Index methodology indicated that mandatory requirements and voluntary recommendations of high governance standards had a positive impact on the corporate governance practice in Slovenia.

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

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

  7. Interactive Governance

    DEFF Research Database (Denmark)

    Bang, Henrik

    2016-01-01

    Governance analysis has exploded in recent years, and it has become nearly impossible to tell what difference the concept and practice of governance makes from those of government and state. In addition governance analysis has been placed more and more in the shadow of the new institutionalisms and...... and growth. However, interactive governance is not a property or effect of institutions; nor does it apply solely to those individuals who seek success above everything else. It is connective more than individualistic or collectivistic in nature; and it manifests a governability capacity which...

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

  9. Formal Mediation and Negotiation Training, Providing Greater Skills for Commanders in Bosnia

    National Research Council Canada - National Science Library

    McConnell, G

    1999-01-01

    .... However, the training is not optimized for the environment that they will encounter. The Bosnia environment requires battalion and brigade commanders to possess and utilize mediation and negotiation skills...

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

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

  13. Helicity formalism and spin effects

    International Nuclear Information System (INIS)

    Anselmino, M.; Caruso, F.; Piovano, U.

    1990-01-01

    The helicity formalism and the technique to compute amplitudes for interaction processes involving leptons, quarks, photons and gluons are reviewed. Explicit calculations and examples of exploitation of symmetry properties are shown. The formalism is then applied to the discussion of several hadronic processes and spin effects: the experimental data, when related to the properties of the elementary constituent interactions, show many not understood features. Also the nucleon spin problem is briefly reviewed. (author)

  14. Electronic Government

    DEFF Research Database (Denmark)

    Wimmer, Maria A.; Traunmüller, Roland; Grönlund, Åke

    This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government, EGOV 2005, held in Copenhagen, Denmark, in August 2005. The 30 revised papers presented were carefully reviewed and selected from numerous submissions, and assess the state-of-the-art in e-government/e-governance...

  15. Leadership, Governance

    Science.gov (United States)

    : Environmental Documents, Reports LANL Home Calendar Search Contacts About » Leadership, Governance Leadership national security and energy challenges. Leadership, Governance Ethics, Accountability Los Alamos National . Director's Office terry wallace in leadership, governance Director Terry C. Wallace, Jr. Terry C. Wallace, Jr

  16. Stakeholder Governance

    DEFF Research Database (Denmark)

    Flak, Leif Skiftenes; Rose, Jeremy

    2005-01-01

    to e-Government. Originally a management theory, stakeholder theory advocates addressing the concerns of all stakeholders in a firm, as opposed to concentration on the interests of senior managers and stockholders. Apart from the original profit focus, there is no serious conceptual mismatch between...... of governance. Finally, the paper makes recommendations for future work in adapting ST to the e-government context....

  17. The Integration of Formal and Non-formal Education: The Dutch “brede school”

    Directory of Open Access Journals (Sweden)

    du Bois-Reymond, Manuela

    2009-12-01

    Full Text Available The Dutch “brede school” (BS development originates in the 1990s and has spread unevenly since: quicker in the primary than secondary educational sector. In 2007, there were about 1000 primary and 350 secondary BS schools and it is the intention of the government as well as the individual municipalities to extend that number and make the BS the dominant school form of the near future. In the primary sector, a BS cooperates with crèche and preschool facilities, besides possible other neighborhood partners. The main targets are, first, to enhance educational opportunities, particularly for children with little (western- cultural capital, and secondly to increase women’s labor market participation by providing extra familial care for babies and small children. All primary schools are now obliged to provide such care. In the secondary sector, a BS is less neighborhood-orientated than a primary BS because those schools are bigger and more often located in different buildings. As in the primary sector, there are broad and more narrow BS, the first profile cooperating with many non-formal and other partners and facilities and the second with few. On the whole, there is a wide variety of BS schools, with different profiles and objectives, dependent on the needs and wishes of the initiators and the neighborhood. A BS is always the result of initiatives of the respective school and its partners: parents, other neighborhood associations, municipality etc. BS schools are not enforced by the government although the general trend will be that existing school organizations transform into BS. The integration of formal and non-formal education and learning is more advanced in primary than secondary schools. In secondary education, vocational as well as general, there is a clear dominance of formal education; the non-formal curriculum serves mainly two lines and objectives: first, provide attractive leisure activities and second provide compensatory

  18. Operational technology for greater confinement disposal

    International Nuclear Information System (INIS)

    Dickman, P.T.; Vollmer, A.T.; Hunter, P.H.

    1984-12-01

    Procedures and methods for the design and operation of a greater confinement disposal facility using large-diameter boreholes are discussed. It is assumed that the facility would be located at an operating low-level waste disposal site and that only a small portion of the wastes received at the site would require greater confinement disposal. The document is organized into sections addressing: facility planning process; facility construction; waste loading and handling; radiological safety planning; operations procedures; and engineering cost studies. While primarily written for low-level waste management site operators and managers, a detailed economic assessment section is included that should assist planners in performing cost analyses. Economic assessments for both commercial and US government greater confinement disposal facilities are included. The estimated disposal costs range from $27 to $104 per cubic foot for a commercial facility and from $17 to $60 per cubic foot for a government facility. These costs are based on average site preparation, construction, and waste loading costs for both contact- and remote-handled wastes. 14 figures, 22 tables

  19. Program governance

    CERN Document Server

    Khan, Muhammad Ehsan

    2014-01-01

    FOUNDATION OF GOVERNANCEGovernanceDefining GovernanceGovernance at Multiple LevelsSummaryReferencesTransaction Cost EconomicsTransactions-Core Elements and Attributes     Behavioral Assumptions     Governance Structure AttributesHazards of Concern     Incomplete Contracting     Bilateral Dependency and Fundamental Transformation     Adaptation or MaladaptationLinking Governance, Governance Structures, and ContractsThe Impact of Asset Specificity and Behavioral Assumptions on ContractsAp

  20. Plural Governance

    DEFF Research Database (Denmark)

    Mols, Niels Peter; Menard, Claude

    2014-01-01

    Plural governance is a form of governance where a firm both makes and buys similar goods or services. Despite a widespread use of plural governance there are no transaction cost models of how plural governance affects performance. This paper reviews the literature about plural forms and proposes...... a model relating transaction cost and resource-based variables to the cost of the plural form. The model is then used to analyze when the plural form is efficient compared to alternative governance structures. We also use the model to discuss the strength of three plural form synergies....

  1. A Quantitative Approach to the Formal Verification of Real-Time Systems.

    Science.gov (United States)

    1996-09-01

    Computer Science A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos September 1996 CMU-CS-96-199...ptisiic raieaiSI v Diambimos Lboiamtad _^ A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos...implied, of NSF, the Semiconduc- tor Research Corporation, ARPA or the U.S. government. Keywords: real - time systems , formal verification, symbolic

  2. 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.......Purpose: The purpose of this paper is to review the emerging literature on formal women-only business networks and outline propositions to develop this under-theorised area of knowledge and stimulate future research. Design/methodology/approach: The authors review the existing literature on formal...

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

  4. The role of formal specifications

    International Nuclear Information System (INIS)

    McHugh, J.

    1994-01-01

    The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted

  5. The content and role of formal contracts in high-tech alliances

    NARCIS (Netherlands)

    de Jong, Gjalt; Woolthuis, Rosalinde Ja Klein

    2009-01-01

    In this study we investigate the governance structure of innovation processes in high-tech alliances, focusing on the content and role of formal contracts. The design of a formal agreement is one of the most important strategic decisions for alliance partners. Drawing upon transaction cost arguments

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

  7. Formal connections in deformation quantization

    DEFF Research Database (Denmark)

    Masulli, Paolo

    The field of this thesis is deformation quantization, and we consider mainly symplectic manifolds equipped with a star product. After reviewing basics in complex geometry, we introduce quantization, focusing on geometric quantization and deformation quantization. The latter is defined as a star...... characteristic class, and that formal connections form an affine space over the derivations of the star products. Moreover, if the parameter space for the family of star products is contractible, we obtain that any two flat formal connections are gauge equivalent via a self-equivalence of the family of star...

  8. Corruption, Governance and Political Instability in Nigeria ...

    African Journals Online (AJOL)

    The Nigerian State is a victim of high-level corruption, bad governance, political instability and cyclical legitimacy crisis. In the absence of support from civil society, the effective power of government was eroded and patron-client relationships took a prime role over the formal aspects of politics, such as the rule of law, ...

  9. Governance or Governing – the Missing Link?

    Directory of Open Access Journals (Sweden)

    Luminiţa Maria Crăciun

    2010-07-01

    Full Text Available Governance and governing are two distinct concepts, but they intertwine. “Good governing” exercises good influence on development. “Good governance” supposes first a relationship of power focused on a series of reforms structured at three levels: the political – administrative level, the economic level, and the level of civil society. As this dimension is difficult to measure, the qualitative evaluation of the governing act raised the interest of the World Bank researchers, who elaborated and monitored the dynamics of a set of indicators, which includes six major dimensions of the governing. A retrospective concerning the image of governing in Romania during the period from 1996 to 2005 suggests a modest increase of the score: from -0.138 (1996 to 0.008 (2002; that was partially achieved based on the voice and responsibility index and on the political stability index, not on those that measure more directly the administrative performance or the integrity of the governing act. For a comparative study, we chose seven countries for the purposes of analysis (two new European Union member states: Romania and Bulgaria; two older member countries of the European Union: Slovenia and Latvia; three non-member states: Moldova, Ukraine, and Georgia, which reveal the quality of the governing from a comparative perspective. Corruption control completes the image created by the analyzed indicators. The mere formal accomplishment of commitments made in the pre-accession activity, doubled by recent internal evolutions, bring doubts about the credibility of the anticorruption reforms, as Romania continues to be considered the country with the highest CPI in the European Union. The pessimism of public opinion and the fact that only 34% of the Romanian people consider that the level of corruption will decrease in the following three years constitutes an alarm signal addressed to the governance, in view of the real reformation of the administration system

  10. Creative Process: Its Use and Extent of Formalization by Corporations.

    Science.gov (United States)

    Fernald, Lloyd W., Jr.; Nickolenko, Pam

    1993-01-01

    This study reports creativity policies and practices used by Central Florida corporations. Survey responses (n=105) indicated that businesses are using a variety of creativity techniques with usage greater among the newer companies but that these techniques are not yet a formal part of business operations. (DB)

  11. Regulatory Governance

    DEFF Research Database (Denmark)

    Kjær, Poul F.; Vetterlein, Antje

    2018-01-01

    Regulatory governance frameworks have become essential building blocks of world society. From supply chains to the regimes surrounding international organizations, extensive governance frameworks have emerged which structure and channel a variety of social exchanges, including economic, political...... by the International Transitional Administrations (ITAs) in Kosovo and Iraq as well as global supply chains and their impact on the garment industry in Bangladesh....

  12. Experimentalist governance

    NARCIS (Netherlands)

    Sabel, C.F.; Zeitlin, J.; Levi-Faur, D.

    2012-01-01

    A secular rise in volatility and uncertainty is overwhelming the capacities of conventional hierarchical governance and ‘command-and-control’ regulation in many settings. One significant response is the emergence of a novel, ‘experimentalist’ form of governance that establishes deliberately

  13. Remaking Governance.

    Science.gov (United States)

    Carver, John

    2000-01-01

    The Policy Governance model's philosophical foundations lie in Rousseau's social contract, Greenleaf's servant-leadership, and modern management theory. Policy Governance stresses primacy of the owner-representative role; full-board authority; superintendents as chief executive officers; authoritative prescription of "ends," bounded…

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

  15. A formalization of computational trust

    NARCIS (Netherlands)

    Güven - Ozcelebi, C.; Holenderski, M.J.; Ozcelebi, T.; Lukkien, J.J.

    2018-01-01

    Computational trust aims to quantify trust and is studied by many disciplines including computer science, social sciences and business science. We propose a formal computational trust model, including its parameters and operations on these parameters, as well as a step by step guide to compute trust

  16. Formal monkey linguistics : The debate

    NARCIS (Netherlands)

    Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.|info:eu-repo/dai/nl/413333450; 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:

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

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

  19. Formal Methods: Practice and Experience

    DEFF Research Database (Denmark)

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

    2009-01-01

    . Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate...... the repository, and describe the challenges they address. © 2009 ACM. (146 refs.)...

  20. Critical formalism or digital biomorphology. The contemporary architecture formal dilema

    Directory of Open Access Journals (Sweden)

    Beatriz Villanueva Cajide

    2018-05-01

    Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.

  1. Does formal research training lead to academic success in otolaryngology?

    Science.gov (United States)

    Bobian, Michael R; Shah, Noor; Svider, Peter F; Hong, Robert S; Shkoukani, Mahdi A; Folbe, Adam J; Eloy, Jean Anderson

    2017-01-01

    To evaluate whether formalized research training is associated with higher researcher productivity, academic rank, and acquisition of National Institutes of Health (NIH) grants within academic otolaryngology departments. Each of the 100 civilian otolaryngology program's departmental websites were analyzed to obtain a comprehensive list of faculty members credentials and characteristics, including academic rank, completion of a clinical fellowship, completion of a formal research fellowship, and attainment of a doctorate in philosophy (PhD) degree. We also recorded measures of scholarly impact and successful acquisition of NIH funding. A total of 1,495 academic physicians were included in our study. Of these, 14.1% had formal research training. Bivariate associations showed that formal research training was associated with a greater h-index, increased probability of acquiring NIH funding, and higher academic rank. Using a linear regression model, we found that otolaryngologists possessing a PhD had an associated h-index of 1.8 points higher, and those who completed a formal research fellowship had an h-index of 1.6 points higher. A PhD degree or completion of a research fellowship was not associated with a higher academic rank; however, a higher h-index and previous acquisition of an NIH grant were associated with a higher academic rank. The attainment of NIH funding was three times more likely for those with a formal research fellowship and 8.6 times more likely for otolaryngologists with a PhD degree. Formalized research training is associated with academic success in otolaryngology. Such dedicated research training accompanies greater scholarly impact, acquisition of NIH funding, and a higher academic rank. NA Laryngoscope, 127:E15-E21, 2017. © 2016 The American Laryngological, Rhinological and Otological Society, Inc.

  2. Organizational governance

    DEFF Research Database (Denmark)

    Foss, Nicolai Juul; Klein, Peter G.

    This chapter reviews and discusses rational-choice approaches to organizational governance. These approaches are found primarily in organizational economics (virtually no rational-choice organizational sociology exists), particularly in transaction cost economics, principal-agent theory...

  3. Waste governance

    CSIR Research Space (South Africa)

    Oelofse, Suzanna HH

    2018-06-01

    Full Text Available of governance in Africa. The next section focuses on regulation, and the status of the regulatory frameworks in different African countries. Shortcomings in the regulatory framework are highlighted through examples in various countries. Specific policy...

  4. 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....... Separating different types of institutional quality, we find that in low-income countries the effects of economic-judicial institutions on happiness dominate those of political institutions, while analyses restricted to middle- and high-income countries show strong support for an additional beneficial effect...

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

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

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

  8. Methodology of formal software evaluation

    International Nuclear Information System (INIS)

    Tuszynski, J.

    1998-01-01

    Sydkraft AB, the major Swedish utility, owner of ca 6000 MW el installed in nuclear (NPP Barsebaeck and NPP Oskarshamn), fossil fuel and hydro Power Plants is facing modernization of the control systems of the plants. Standards applicable require structured, formal methods for implementation of the control functions in the modem, real time software systems. This presentation introduces implementation methodology as discussed presently at the Sydkraft organisation. The approach suggested is based upon the process of co-operation of three parties taking part in the implementation; owner of the plant, vendor and Quality Assurance (QA) organisation. QA will be based on tools for formal software validation and on systematic gathering by the owner of validated and proved-by-operation control modules for the concern-wide utilisation. (author)

  9. NON-FORMAL EDUCATION WITHIN THE FUNCTION OF RESPONSIBLE PARENTING

    Directory of Open Access Journals (Sweden)

    Dragana Bogavac

    2017-06-01

    Full Text Available The aim of this survey was to discover to what degree parental non-formal education is present within the function of responsible parenting. The questionnaire research method was used in the survey. For the purpose of this research a questionnaire of 13 questions was constructed relating to the forms of non-formal education, and another questionnaire of 10 questions relating to the parents’ expectations of non-formal education. The sample included 198 parents. Examination of the scores concerning the presence of certain forms of parental non-formal education realized in cooperation with the school leads to the conclusion that the parents possess a positive attitude towards non-formal education. The analysis showed that the parents’ expectations were not on a satisfactory level. According to the results, the fathers displayed a greater interest towards non-formal education (7.72±1.35 than the mothers (6.93±1.85, (p<0.05. Unemployed parents had a greater score (7.85±1.30 than the employed parents (7.22±1.71, (p<0.05. A difference in the acceptance of non-formal education in accordance with the level of formal education was also noticeable (p<0.001. Respondents with a high school degree displayed the highest level of acceptance (7.97±0.78, while the lowest interest was seen in respondents with an associate degree (6.41±2.29. Univariate linear regression analysis showed that statistically important predictors were: gender (OR: -0.23 (-1.24 – -0.33, p< 0.001, work status (OR: -0.14 (-1.24 – -0.01, < 0.05 and the level of formal education (OR: -0.33 (-0.81 – -0.34, p< 0.001. The final results lead to the conclusion that parental non-formal education supports the concept of lifelong education.

  10. Corporate Governance

    Directory of Open Access Journals (Sweden)

    Dragoș-Mihail Daghie

    2011-05-01

    Full Text Available The purpose of this study is to analyze and understand the recently introduced form of managementof a company limited by shares. The Law no. 441/2006, which fundamentally amended Company Law,created this form of controlling the company, the corporate governance, but the legislation does not explicitlydefine what it wants to achieve through this instrument. This topic is recent in research as the theme ofgerman-roman commercial law systems (in French corporate governance system was introduced in 1966 andin Romania in 2006 but in terms of Anglo-Saxon law, the topic has been addressed years since 1776 (AdamSmith: The Wealth of Nations The concept of corporate governance would like, as a result, to establish somerules that companies must comply in order to achieve effective governance, transparent and beneficial forboth shareholders and for the minority. Corporate governance is a key element with an aim at improvingefficiency and economic growth in full accordance with the increase of investors’ confidence. Corporategovernance assumes a series of relationship between the company management, leadership, shareholders andthe other people concerned. Also corporate governance provides for that structure by means of which thecompany’s targets are set out and the means to achieve them and also the manner how to monitor such.

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

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

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

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

  15. Determining the privacy policy deficiencies of health ICT applications through semi-formal modelling.

    Science.gov (United States)

    Croll, Peter R

    2011-02-01

    To ensure that patient confidentiality is securely maintained, health ICT applications that contain sensitive personal information demand comprehensive privacy policies. Determining the adequacy of these policies to meet legal conformity together with clinical users and patient expectation is demanding in practice. Organisations and agencies looking to analyse their Privacy and Security policies can benefit from guidance provided by outside entities such as the Privacy Office of their State or Government together with law firms and ICT specialists. The advice given is not uniform and often open to different interpretations. Of greater concern is the possibility of overlooking any important aspects that later result in a data breach. Based on three case studies, this paper considers whether a more formal approach to privacy analysis could be taken that would help identify the full coverage of a Privacy Impact Analysis and determine the deficiencies with an organisation's current policies and approach. A diagrammatic model showing the relationships between Confidentiality, Privacy, Trust, Security and Safety is introduced. First the validity of this model is determined by mapping it against the real-world case studies taken from three healthcare services that depend on ICT. Then, by using software engineering methods, a formal mapping of the relationships is undertaken to identify a full set of policies needed to satisfy the model. How effective this approach may prove as a generic method for deriving a comprehensive set of policies in health ICT applications is finally discussed. Copyright © 2010 Elsevier Ireland Ltd. All rights reserved.

  16. To Be or Not To Be: The Existential Issue for National Governance Bundles

    NARCIS (Netherlands)

    Millar-Schijf, Carla C.J.M.

    2014-01-01

    Research Question/Issue The article addresses the issue of whether governance bundles which include both formal and informal governance mechanisms should be classified and compared on the basis of national identity. Research Findings/Insights The governance bundle affecting each firm has formal

  17. Social health insurance contributes to universal coverage in South Africa, but generates inequities: survey among members of a government employee insurance scheme

    OpenAIRE

    Goudge, Jane; Alaba, Olufunke A.; Govender, Veloshnee; Harris, Bronwyn; Nxumalo, Nonhlanhla; Chersich, Matthew F.

    2018-01-01

    Background Many low- and middle-income countries are reforming their health financing mechanisms as part of broader strategies to achieve universal health coverage (UHC). Voluntary social health insurance, despite evidence of resulting inequities, is attractive to policy makers as it generates additional funds for health, and provides access to a greater range of benefits for the formally employed. The South African government introduced a voluntary health insurance scheme (GEMS) for governme...

  18. Mobilizing Government

    DEFF Research Database (Denmark)

    Wang, Cancan; Medaglia, Rony; Jensen, Tina Blegind

    2016-01-01

    The nature of inter-organizational collaboration between government and other stakeholders is rapidly changing with the introduction of open social media (OSM) platforms. Characterized by a high degree of informality as well as a blurred personal/professional nature, OSM can potentially introduce...... changes and tensions in the well-established routines of the public sector. This paper aims at shedding light on such changes, presenting findings from a study on the use of an OSM platform, WeChat, in an interorganizational collaboration project between government, university, and industry stakeholders...

  19. Formal Verification of Continuous Systems

    DEFF Research Database (Denmark)

    Sloth, Christoffer

    2012-01-01

    and the verification procedures should be algorithmically synthesizable. Autonomous control plays an important role in many safety-critical systems. This implies that a malfunction in the control system can have catastrophic consequences, e.g., in space applications where a design flaw can result in large economic...... losses. Furthermore, a malfunction in the control system of a surgical robot may cause death of patients. The previous examples involve complex systems that are required to operate according to complex specifications. The systems cannot be formally verified by modern verification techniques, due...

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

  1. Formalization in Component Based Development

    DEFF Research Database (Denmark)

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

    2006-01-01

    We present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect...... 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...

  2. Asymmetric Formal Synthesis of Azadirachtin.

    Science.gov (United States)

    Mori, Naoki; Kitahara, Takeshi; Mori, Kenji; Watanabe, Hidenori

    2015-12-01

    An asymmetric formal synthesis of azadirachtin, a potent insect antifeedant, was accomplished in 30 steps to Ley's synthetic intermediate (longest linear sequence). The synthesis features: 1) rapid access to the optically active right-hand segment starting from the known 5-hydroxymethyl-2-cyclopentenone scaffold; 2) construction of the B and E rings by a key intramolecular tandem radical cyclization; 3) formation of the hemiacetal moiety in the C ring through the α-oxidation of the six-membered lactone followed by methanolysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

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

  4. Bank Governance

    OpenAIRE

    Laura Ard; Alexander Berg

    2010-01-01

    Principles of good governance have been a major component of international financial standards and are seen as essential to the stability and integrity of financial systems. Over the past 10 years much energy and attention have gone to improving the ability of company boards, managers, and owners to prudently navigate rapidly changing and volatile market conditions. So, how to explain the ...

  5. Government Organizations

    DEFF Research Database (Denmark)

    Krause Hansen, Hans; Salskov-Iversen, Dorte

    2017-01-01

    , with clearly defined boundaries between the public and private; and in terms of polycentrism, where power and authority are seen as dispersed among state and nonstate organizations, including business and civil society organizations. Globalization and new media technologies imply changes in the relationship...... democracy and the public sphere; and discourse approaches to studying the intersections of government, organizational change, and information and communication technology....

  6. Corporate Governance

    International Development Research Centre (IDRC) Digital Library (Canada)

    Andy Knight; David Malone; Faith Mitchell. Finance and Audit Committee. Members: Denis Desautels (Chairman); Ahmed Galal;. Frieda Granot; Elizabeth Parr-Johnston; Andrés Rozental;. Gordon Shirley. Governance Committee. Members: The Honourable Barbara McDougall (Chairman);. Claude-Yves Charron; Denis ...

  7. [Autoerotic fatalities in Greater Dusseldorf].

    Science.gov (United States)

    Hartung, Benno; Hellen, Florence; Borchard, Nora; Huckenbeck, Wolfgang

    2011-01-01

    Autoerotic fatalities in the Greater Dusseldorf area correspond to the relevant medicolegal literature. Our results included exclusively young to middle-aged, usually single men who were found dead in their city apartments. Clothing and devices used showed a great variety. Women's or fetish clothing and complex shackling or hanging devices were disproportionately frequent. In most cases, death occurred due to hanging or ligature strangulation. There was no increased incidence of underlying psychiatric disorders. In most of the deceased no or at least no remarkable alcohol intoxication was found. Occasionally, it may be difficult to reliably differentiate autoerotic accidents, accidents occurring in connection with practices of bondage & discipline, dominance & submission (BDSM) from natural death, suicide or homicide.

  8. Planning for greater confinement disposal

    International Nuclear Information System (INIS)

    Gilbert, T.L.; Luner, C.; Meshkov, N.K.; Trevorrow, L.E.; Yu, C.

    1985-01-01

    A report that provides guidance for planning for greater-confinement disposal (GCD) of low-level radioactive waste is being prepared. The report addresses procedures for selecting a GCD technology and provides information for implementing these procedures. The focus is on GCD; planning aspects common to GCD and shallow-land burial are covered by reference. Planning procedure topics covered include regulatory requirements, waste characterization, benefit-cost-risk assessment and pathway analysis methodologies, determination of need, waste-acceptance criteria, performance objectives, and comparative assessment of attributes that support these objectives. The major technologies covered include augered shafts, deep trenches, engineered structures, hydrofracture, improved waste forms, and high-integrity containers. Descriptive information is provided, and attributes that are relevant for risk assessment and operational requirements are given. 10 refs., 3 figs., 2 tabs

  9. Psychologist in non-formal education

    OpenAIRE

    Pavićević Miljana S.

    2011-01-01

    Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...

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

  11. Formal Proofs for Nonlinear Optimization

    Directory of Open Access Journals (Sweden)

    Victor Magron

    2015-01-01

    Full Text Available We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of f over K.This method allows to bound in a modular way some of the constituents of f by suprema of quadratic forms with a well chosen curvature. Thus, we reduce the initial goal to a hierarchy of semialgebraic optimization problems, solved by sums of squares relaxations. Our implementation tool interleaves  semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent.The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of multivariate transcendental inequalities. We illustrate the performance of our formal framework on some of these inequalities as well as on examples from the global optimization literature.

  12. Canonical formalism for relativistic dynamics

    International Nuclear Information System (INIS)

    Penafiel-Nava, V.M.

    1982-01-01

    The possibility of a canonical formalism appropriate for a dynamical theory of isolated relativistic multiparticle systems involving scalar interactions is studied. It is shown that a single time-parameter structure satisfying the requirements of Poincare invariance and simultaneity of the constituents (global tranversality) can not be derived from a homogeneous Lagrangian. The dynamics is deduced initially from a non-homogeneous but singular Lagrangian designed to accommodate the global tranversality constraints with the equaltime plane associated to the total momentum of the system. An equivalent standard Lagrangian is used to generalize the parametrization procedure which is referred to an arbitrary geodesic in Minkowski space. The equations of motion and the definition of center of momentum are invariant with respect to the choice of geodesic and the entire formalism becomes separable. In the original 8N-dimensional phase-space, the symmetries of the Lagrangian give rise to a canonical realization of a fifteen-generator Lie algebra which is projected in the 6N dimensional hypersurface of dynamical motions. The time-component of the total momentum is thus reduced to a neutral element and the canonical Hamiltonian survives as the only generator for time-translations so that the no-interaction theorem becomes inapplicable

  13. Formal analysis of design process dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  14. Formal Analysis of Design Process Dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  15. Formal Symplectic Groupoid of a Deformation Quantization

    Science.gov (United States)

    Karabegov, Alexander V.

    2005-08-01

    We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid ‘with separation of variables’ over an arbitrary Kähler-Poisson manifold.

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

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

  18. Lifelong Learning to Empowerment: Beyond Formal Education

    Science.gov (United States)

    Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James

    2018-01-01

    This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…

  19. Space standard of formal employment in Paraná

    Directory of Open Access Journals (Sweden)

    Ariana Cericatto da Silva

    2017-08-01

    Full Text Available The paper analyzes the spatial profile of the location of formal employment in the Paraná State in Brazil, between 2002 and 2011. For the analysis we used the measures of location for analysis of economic sectors between the regions and among them was elected Location Quotient and redistribution coefficient, using data from the Annual Report of Social Information (RAIS Ministry of Labor and Employment (MTE. The results showed that agriculture presents greater dispersion of formal employment in almost all regions of Paraná State, with the exception of the middle region of Curitiba´s city. Thus, agriculture accounts for a major source of employment and income in the state of Paraná. For the industrial sector, it is observed that the Traditional Industry presents greater dispersion between the Paraná regions, while the Non-Traditional Industry and Industry dynamics are more concentrated.

  20. Plural Governance

    DEFF Research Database (Denmark)

    Mols, Niels Peter; Hansen, Jesper Rosenberg; Villadsen, Anders Ryom

    We suggest that both making and buying the same product or service has several effects on market performance. A model is developed and tested by use of 170 answers gathered from the Danish municipalities. The results support the hypotheses that both making and buying: (1) moderates the negative r...... on how the plurality is measured. The results indicate that internal production may facilitate effective governance of the relationships with suppliers. Implications for research on firm boundaries and for practice are also discussed....

  1. IT Governance

    OpenAIRE

    Šimková, Hana

    2008-01-01

    IT governance (control of information technology) is a frequently discussed topic today which represents current needs to take control of IT, judge impacts of all resolutions and lead up investments running to the information technology. It is very important for both small and large organizations to have IT which encourages business strategy and helps to meet objectives of a company. The theoretical part of this paper is focused on characterization of the main areas, benefits, rules and vario...

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

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

  4. Formal analysis of physical theories

    International Nuclear Information System (INIS)

    Dalla Chiara, M.L.; Toraldo di Francia, G.

    1979-01-01

    The rules of inference that are made use of in formalization are considered. It is maintained that a physical law represents the universal assertion of a probability, and not the assessment of the probability of a universal assertion. The precision of the apparatus used to collect the experimental evidence is introduced as an essential part of the theoretical structure of physics. This approach allows the author to define the concept of truth in a satisfactory way, abandoning the unacceptable notion of approximate truth. It is shown that a considerable amount of light can be shed on a number of much debated problems arising in the logic of quantum mechanics. It is stressed that the deductive structure of quantum theory seems to be essentially founded on a kind of mixture of different logics. Two different concepts of truth are distinguished within quantum theory, an empirical truth and quantum-logical truth. (Auth.)

  5. Waste management in Greater Vancouver

    Energy Technology Data Exchange (ETDEWEB)

    Carrusca, K. [Greater Vancouver Regional District, Burnaby, BC (Canada); Richter, R. [Montenay Inc., Vancouver, BC (Canada)]|[Veolia Environmental Services, Vancouver, BC (Canada)

    2006-07-01

    An outline of the Greater Vancouver Regional District (GVRD) waste-to-energy program was presented. The GVRD has an annual budget for solid waste management of $90 million. Energy recovery revenues from solid waste currently exceed $10 million. Over 1,660,00 tonnes of GVRD waste is recycled, and another 280,000 tonnes is converted from waste to energy. The GVRD waste-to-energy facility combines state-of-the-art combustion and air pollution control, and has processed over 5 million tonnes of municipal solid waste since it opened in 1988. Its central location minimizes haul distance, and it was originally sited to utilize steam through sales to a recycle paper mill. The facility has won several awards, including the Solid Waste Association of North America award for best facility in 1990. The facility focuses on continual improvement, and has installed a carbon injection system; an ammonia injection system; a flyash stabilization system; and heat capacity upgrades in addition to conducting continuous waste composition studies. Continuous air emissions monitoring is also conducted at the plant, which produces a very small percentage of the total air emissions in metropolitan Vancouver. The GVRD is now seeking options for the management of a further 500,000 tonnes per year of solid waste, and has received 23 submissions from a range of waste energy technologies which are now being evaluated. It was concluded that waste-to-energy plants can be located in densely populated metropolitan areas and provide a local disposal solution as well as a source of renewable energy. Other GVRD waste reduction policies were also reviewed. refs., tabs., figs.

  6. Persian Back Channel Responses in Formal versus Informal Contexts

    Directory of Open Access Journals (Sweden)

    Shahla Sharifi

    2012-01-01

    Full Text Available Utterances like /xob/ (okay, /doroste/ (right, /hmm/, /ee/, /?re/ (yeah, occur frequently in Persian conversations, but have thus far escaped from the systematic studies. Good listeners generally produce these short utterances, called "back channel responses", in appropriate times to show their participation in the conversation, but the rules governing back channeling vary from one context to another. The usage of back channel responses is different in various contexts, due to politeness or formality. This paper studies the types and functions of the back channel responses in both formal and informal settings and provides a comparison of the usage of these responses in these two kinds of contexts. The results show /bale/ (yes and /doroste/ (right are used with formal or polite verbal form, while /xob/ (okay is used with the informal style of speech and less polite verbal form. With respect to the function of back channels, signaling the understanding is the main function of back channels in informal contexts. Also, back channels signaling agreement are more frequent in formal contexts, where emotional function is less likely.

  7. A Comparison of Participation Patterns in Selected Formal, Non-Formal, and Informal Online Learning Environments

    Science.gov (United States)

    Schwier, Richard A.; Seaton, J. X.

    2013-01-01

    Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…

  8. Evolution and Revolutions of Adult Learning: Capacity Building in Adult and Non-Formal Education in Nigeria

    Science.gov (United States)

    Ugwu, Chinwe U.

    2015-01-01

    The National Commission for Mass Literacy, Adult and Non-Formal Education (NMEC) is the Federal Statutory Agency set up to co-ordinate all aspects of Non-Formal Education in Nigeria whether offered by government agencies or non-governmental organisations. This study looked at the existing Capacity Building Programme, the delivery methods, impact…

  9. Recrafting in/formality, leveraging public market trade in Baguio, Philippines

    Directory of Open Access Journals (Sweden)

    B. Lynne Milgram

    2017-12-01

    Full Text Available With growing urbanization, Southern governments often privilege large-scale developments that frustrate urbanites’ livelihood needs. In Baguio, Philippines public marketers counter such top-down disenfranchisement by operationalizing formal “advocacy” and informal “everyday” politics. That authorities negotiate agreements to accept payments for marketers’ infractions, I argue, materializes complex and complicit intersections of formal/informal and legal/illegal practices.

  10. Just Security and the Crisis of Global Governance

    OpenAIRE

    Durch, W.; Larik, J.; Ponzio, R.

    2016-01-01

    Pursuing security and justice jointly in global governance will be vital to human progress in the twenty-first century. Humanity lives and operates simultaneously in three spaces critical to contemporary life and governance: public, transactional and ecological. Failures in one space can cascade into others. Managing them so as to avoid such failures is an essential function of global governance. Public space is the home of governance (formal and informal) and of rights-exercising groups and ...

  11. Beyond formal groups: neighboring acts and watershed protection in Appalachia

    Directory of Open Access Journals (Sweden)

    Heather Lukacs

    2016-09-01

    Full Text Available This paper explores how watershed organizations in Appalachia have persisted in addressing water quality issues in areas with a history of coal mining. We identified two watershed groups that have taken responsibility for restoring local creeks that were previously highly degraded and sporadically managed. These watershed groups represent cases of self-organized commons governance in resource-rich, economically poor Appalachian communities. We describe the extent and characteristics of links between watershed group volunteers and watershed residents who are not group members. Through surveys, participant observation, and key-informant consultation, we found that neighbors – group members as well as non-group-members – supported the group's function through informal neighboring acts. Past research has shown that local commons governance institutions benefit from being nested in supportive external structures. We found that the persistence and success of community watershed organizations depends on the informal participation of local residents, affirming the necessity of looking beyond formal, organized groups to understand the resources, expertise, and information needed to address complex water pollution at the watershed level. Our findings augment the concept of nestedness in commons governance to include that of a formal organization acting as a neighbor that exchanges informal neighboring acts with local residents. In this way, we extend the concept of neighboring to include interactions between individuals and a group operating in the same geographic area.

  12. Industrial applications of formal methods to model, design and analyze computer systems

    CERN Document Server

    Craigen, Dan

    1995-01-01

    Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal m

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

  14. Quantum formalism for classical statistics

    Science.gov (United States)

    Wetterich, C.

    2018-06-01

    In static classical statistical systems the problem of information transport from a boundary to the bulk finds a simple description in terms of wave functions or density matrices. While the transfer matrix formalism is a type of Heisenberg picture for this problem, we develop here the associated Schrödinger picture that keeps track of the local probabilistic information. The transport of the probabilistic information between neighboring hypersurfaces obeys a linear evolution equation, and therefore the superposition principle for the possible solutions. Operators are associated to local observables, with rules for the computation of expectation values similar to quantum mechanics. We discuss how non-commutativity naturally arises in this setting. Also other features characteristic of quantum mechanics, such as complex structure, change of basis or symmetry transformations, can be found in classical statistics once formulated in terms of wave functions or density matrices. We construct for every quantum system an equivalent classical statistical system, such that time in quantum mechanics corresponds to the location of hypersurfaces in the classical probabilistic ensemble. For suitable choices of local observables in the classical statistical system one can, in principle, compute all expectation values and correlations of observables in the quantum system from the local probabilistic information of the associated classical statistical system. Realizing a static memory material as a quantum simulator for a given quantum system is not a matter of principle, but rather of practical simplicity.

  15. Food security governance in Latin America

    NARCIS (Netherlands)

    Pérez-Escamilla, Rafael; Shamah-Levy, Teresa; Candel, Jeroen

    2017-01-01

    In spite of major advances in recent decades, food insecurity continues to be a pressing concern to policymakers across the world. Food security governance (FSG) relates to the formal and informal rules and processes through which interests are articulated, and decisions relevant to food security

  16. BASELINE MECHANISMS FOR IT GOVERNANCE AT UNIVERSITIES

    NARCIS (Netherlands)

    Bianchi, Isaias; Sousa, Rui; Pereira, Ruben; van Hillegersberg, Jos

    The pervasive use of technology has created a critical dependency on Information Technology (IT) that requires IT Governance (ITG). ITG calls for the definition and implementation of formal mechanisms at the highest level in the organization taking into account structures, processes and relational

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

  18. NON-FORMAL EDUCATION, OVEREDUCATION AND WAGES

    OpenAIRE

    SANDRA NIETO; RAÚL RAMOS

    2013-01-01

    Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abiliti...

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

  20. Fundamentals of the Pure Spinor Formalism

    CERN Document Server

    Hoogeveen, Joost

    2010-01-01

    This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved

  1. Governing Engineering

    DEFF Research Database (Denmark)

    Buch, Anders

    2012-01-01

    Most people agree that our world face daunting problems and, correctly or not, technological solutions are seen as an integral part of an overall solution. But what exactly are the problems and how does the engineering ‘mind set’ frame these problems? This chapter sets out to unravel dominant...... perspectives in challenge per-ception in engineering in the US and Denmark. Challenge perception and response strategies are closely linked through discursive practices. Challenge perceptions within the engineering community and the surrounding society are thus critical for the shaping of engineering education...... and the engineering profession. Through an analysis of influential reports and position papers on engineering and engineering education the chapter sets out to identify how engineering is problematized and eventually governed. Drawing on insights from governmentality studies the chapter strives to elicit the bodies...

  2. Governing Engineering

    DEFF Research Database (Denmark)

    Buch, Anders

    2011-01-01

    Abstract: Most people agree that our world faces daunting problems and, correctly or not, technological solutions are seen as an integral part of an overall solution. But what exactly are the problems and how does the engineering ‘mind set’ frame these problems? This chapter sets out to unravel...... dominant perspectives in challenge perception in engineering in the US and Denmark. Challenge perception and response strategies are closely linked through discursive practices. Challenge perceptions within the engineering community and the surrounding society are thus critical for the shaping...... of engineering education and the engineering profession. Through an analysis of influential reports and position papers on engineering and engineering education the chapter sets out to identify how engineering is problematized and eventually governed. Drawing on insights from governmentality studies the chapter...

  3. Formal Methods for Life-Critical Software

    Science.gov (United States)

    Butler, Ricky W.; Johnson, Sally C.

    1993-01-01

    The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

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

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

  6. Methodological imperfection and formalizations in scientific activity

    International Nuclear Information System (INIS)

    Svetlichny, G.

    1987-01-01

    Any mathematical formalization of scientific activity allows for imperfections in the methodology that is formalized. These can be of three types, dirty, rotten, and dammed. Restricting mathematical attention to those methods that cannot be construed to be imperfect drastically reduces the class of objects that must be analyzed, and related all other objects to these more regular ones. Examples are drawn from empirical logic

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

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

  9. 37 CFR 251.41 - Formal hearings.

    Science.gov (United States)

    2010-07-01

    ... ARBITRATION ROYALTY PANEL RULES AND PROCEDURES COPYRIGHT ARBITRATION ROYALTY PANEL RULES OF PROCEDURE Procedures of Copyright Arbitration Royalty Panels § 251.41 Formal hearings. (a) The formal hearings that will be conducted under the rules of this subpart are rate adjustment hearings and royalty fee...

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

  11. Multiverse in the Third Quantized Formalism

    International Nuclear Information System (INIS)

    Faizal Mir

    2014-01-01

    In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler—DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occur in the multiverse, without violating the baryon number conservation. (general)

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

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

  14. Opinion dynamics model based on quantum formalism

    Energy Technology Data Exchange (ETDEWEB)

    Artawan, I. Nengah, E-mail: nengahartawan@gmail.com [Theoretical Physics Division, Department of Physics, Udayana University (Indonesia); Trisnawati, N. L. P., E-mail: nlptrisnawati@gmail.com [Biophysics, Department of Physics, Udayana University (Indonesia)

    2016-03-11

    Opinion dynamics model based on quantum formalism is proposed. The core of the quantum formalism is on the half spin dynamics system. In this research the implicit time evolution operators are derived. The analogy between the model with Deffuant dan Sznajd models is discussed.

  15. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1997-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control...

  16. Rapid Prototyping of Formally Modelled Distributed Systems

    OpenAIRE

    Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.

    1999-01-01

    This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.

  17. Formal analysis of a fair payment protocol

    NARCIS (Netherlands)

    J.G. Cederquist; M.T. Dashti (Mohammad)

    2004-01-01

    textabstractWe formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the ?-CRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free ?-calculus. These properties are then verified

  18. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, M.T.

    2004-01-01

    We formally specify a payment protocol. This protocol is intended for fair exchange of timesensitive data. Here the μCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free μ-calculus. These properties are then verified using the finite

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

  20. On Fitting a Formal Method into Practice

    DEFF Research Database (Denmark)

    Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan

    2011-01-01

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

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

  2. Noncommutativity and Duality through the Symplectic Embedding Formalism

    Directory of Open Access Journals (Sweden)

    Everton M.C. Abreu

    2010-07-01

    Full Text Available This work is devoted to review the gauge embedding of either commutative and noncommutative (NC theories using the symplectic formalism framework. To sum up the main features of the method, during the process of embedding, the infinitesimal gauge generators of the gauge embedded theory are easily and directly chosen. Among other advantages, this enables a greater control over the final Lagrangian and brings some light on the so-called ''arbitrariness problem''. This alternative embedding formalism also presents a way to obtain a set of dynamically dual equivalent embedded Lagrangian densities which is obtained after a finite number of steps in the iterative symplectic process, oppositely to the result proposed using the BFFT formalism. On the other hand, we will see precisely that the symplectic embedding formalism can be seen as an alternative and an efficient procedure to the standard introduction of the Moyal product in order to produce in a natural way a NC theory. In order to construct a pedagogical explanation of the method to the nonspecialist we exemplify the formalism showing that the massive NC U(1 theory is embedded in a gauge theory using this alternative systematic path based on the symplectic framework. Further, as other applications of the method, we describe exactly how to obtain a Lagrangian description for the NC version of some systems reproducing well known theories. Naming some of them, we use the procedure in the Proca model, the irrotational fluid model and the noncommutative self-dual model in order to obtain dual equivalent actions for these theories. To illustrate the process of noncommutativity introduction we use the chiral oscillator and the nondegenerate mechanics.

  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...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......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...

  4. SBME : Exploring boundaries between formal, non-formal, and informal learning

    OpenAIRE

    Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark

    2013-01-01

    In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...

  5. Harmonizing formal requirements for cross-border sales contracts

    Directory of Open Access Journals (Sweden)

    Peter Winship

    2012-07-01

    Full Text Available Legal systems have different traditions about how to “prove” a contract for the sale of personal property. Most legal systems today permit the contract to be proved by any means but some States require that the agreement be concluded in or evidenced by writing. The United Nations Convention on Contracts for the International Sale of Goods adopts a freedom-of-form rule but authorizes a State to declare that the rule does not apply when the seller or buyer has its place of business in that State. This essay studies the consequences of such a declaration. The Convention text does not expressly state the consequences. The Convention’s travaux préparatoires suggest that this silence was deliberate. Doctrine and court opinions are divided on whether the writing formalities of the declaring State always apply or the formalities, if any, of the law applicable by virtue of the rules of private international law govern. In the absence of a consensus, this essay argues that the writing formalities of the declaring State apply. The argument is based on the policies implicit in the decision of non-declaring Contracting States to adhere to a Convention that allows certain Contracting States to opt out of the freedom-of-form rule. The result is consistent with recent private international law treaties that, while providing liberal rules that favor freedom of form, direct application of the fundamental policies not only of the forum but also of other jurisdictions.

  6. Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?

    Science.gov (United States)

    Zepke, Nick; Leach, Linda

    2006-01-01

    This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…

  7. Formal Semantics: Origins, Issues, Early Impact

    Directory of Open Access Journals (Sweden)

    Barbara H. Partee

    2010-12-01

    Psychology’, 183–216. Cambridge: Cambridge University Press.Chomsky, N. 1975. ‘Questions of form and interpretation’. In R. Austerlitz (ed. ‘The Scope of American Linguistics’, 159–196. Lisse: Peter de Ridder Press.Church, A. 1940. ‘A formulation of the simple theory of types’. Journal of Symbolic Logic 5: 56–68.http://dx.doi.org/10.2307/2266170Church, A. 1951. ‘A formulation of the logic of sense and denotation’. In P. Henle, H. Kallen & S. Langer (eds. ‘Structure, Method, and Meaning: Essays in Honor of H.M. Sheffer’, 3–24. New York: Liberal Arts Press.Cocchiarella, N. 1997. ‘Formally-oriented work in the philosophy of language’. In J.V. Canfield (ed. ‘Philosophy of Meaning, Knowledge and Value in the 20th Century’, 39–75. London; New York: Routledge.Cresswell, M. J. 1978. ‘Semantic competence’. In F. Guenthner & M. Guenthner-Reutter (eds. ‘Meaning and Translation: Philosophical and Linguistic Approaches’, 9–43. London: Duckworth.Davidson, D. 1964. ‘Theories of meaning and learnable languages’. In ‘Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science’, Jerusalem: North-Holland.Davidson, D. 1967. ‘The logical form of action sentences’. In N. Rescher (ed. ‘The Logic of Decision and Action’, 81–95. Pittsburgh: Pittsburgh University Press.Davidson, D. 1970. ‘Semantics for natural languages’. In B. Visentini (ed. ‘Linguaggi nella Societa e nella Tecnica’, Milan: Edizioni di Comunita.Dowty, D. 1978a. A Guide to Montague’s PTQ. Bloomington, IN: Indiana University Linguistics Club.Dowty, D. 1978b. ‘Governed transformations as lexical rules in a Montague Grammar’. Linguistic Inquiry 9: 393–426.Dowty, D., Wall, R. E. & Peters, S. Jr. 1981. Introduction to Montague Semantics. Dordrecht: Reidel.Feferman, A. Burdman & Feferman, S. 2004. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press.Fodor, J. 1961. ‘Projection and paraphrase in

  8. Faculty in Governance at the University of Minnesota.

    Science.gov (United States)

    Deegan, William L.; Mortimer, Kenneth P.

    This is 1 of 3 related case studies of faculty in college and university government. The purpose was to investigate: the formal mechanisms and the informal practices of faculty participation in governance; the emergence of oligarchies and the relationships of these "ruling" groups to faculty constituencies and administrative agencies;…

  9. Governance and strategy of entrepreneurial networks: an introduction

    NARCIS (Netherlands)

    J. Windsperger (Josef); G.W.J. Hendrikse (George); G. Cliquet (Gérard); T. Ehrmann (Thomas)

    2017-01-01

    textabstractThis special issue focuses on empirical and theoretical papers that help us to better understand the strategy and governance of entrepreneurial networks, such as franchise chains, alliances, and cooperative networks. The following central themes are covered: (I) Which formal governance

  10. Engineering governance: introducing a governance meta framework.

    OpenAIRE

    Brand, N.; Beens, B.; Vuuregge, E.; Batenburg, R.

    2011-01-01

    There is a need for a framework that depicts strategic choices within an organisation with regard to potential governance structures. The governance meta framework provides the necessary structure in the current developments of governance. Performance as well as conformance are embedded in this framework and provide the balance for all governance domains. (aut.ref.)

  11. Formal Analysis Of Use Case Diagrams

    Directory of Open Access Journals (Sweden)

    Radosław Klimek

    2010-01-01

    Full Text Available Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed.

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

  13. Local government and climate policy

    International Nuclear Information System (INIS)

    Burger, H.; Menkveld, M.; Coenen, F.H.J.M.

    2000-01-01

    Local government in the Netherlands could play a greater role than they currently do in reducing greenhouse gas emissions in the country. This fact formed the motivation for initiating the research project on Local Government and Climate Policy. Many local climate options are known in theory. Options for reduction that lie within the sphere of influence of Dutch local government are, for example, sustainable building or encouraging the utilisation of sustainable energy. But actual practice turns out to be rather refractory. If such options are to be implemented, then one has to overcome institutional barriers, such as the co-operation between different departments in the same local authority. The objective of this research is to improve the contribution that local government makes to climate policy

  14. SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS

    Directory of Open Access Journals (Sweden)

    Muhammad Nadeem ANWAR

    2009-07-01

    Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.

  15. Policy Review on Adult Learning: The Adult Non-Formal Education Policy of Mali, West Africa

    Science.gov (United States)

    Gadio, Moussa

    2011-01-01

    This article focuses on the issue of policy development for adult learning in Mali, West Africa. On January 2007, the Malian government adopted the "Adult Non-formal Education Policy Document," which was intended to regulate the adult learning sector and federate the actions of policy makers, adult education providers, and adult…

  16. Exclusive Minilateralism: An Emerging Discourse within International Climate Change Governance?

    Directory of Open Access Journals (Sweden)

    Jeffrey Scott McGee

    2011-12-01

    Full Text Available Over the past five years there have been a series of significant international climate change agreements involving only elite state actors. The Asia-Pacific Partnership on Clean Development and Climate, APEC Sydney Leaders Declaration and US Major Economies Process all displayed a shift towards a model of international climate change governance involving a small group of economically powerful states, to the exclusion of less powerful states and environmental NGOs. The modest result from the UNFCCC COP 15 meeting in Copenhagen in December 2009 and subsequent UNFCCC meetings has strengthened calls for international climate governance to be pared down to smaller decision making forums of key states only. This article argues that these developments evidence an emerging discourse of ‘exclusive minilateralism’ in international climate policy that is challenging the inclusive multilateral discourse that has formed the bedrock of international climate change governance since the inception of UN climate regime in the early 1990s. The exclusive minilateralism discourse offers a significant challenge to both the cosmopolitan and discursive democratic aspirations of international climate change governance. One response to the exclusive minilateral discourse is to reform the UNFCCC consensus-based decision making rule to provide the COP with greater ease of decision making on key issues relating to mitigation and adaptation. Another response is to more formally include the exclusive minilateralism discourse within the UNFCCC COP process. This could be achieved by forming a small peak body of states and key NGO groups to act as an influential advisor to the COP process on key issues requiring expedition and resolution.

  17. Governança, Sucessão e Profissionalização em uma Empresa Familiar: (rearranjando o lugar da família multigeracionalGovernance, Succession, and Formalization of Management in Family Businesses: (reorganizing the role played by multi-generation familiesGobierno Corporativo, Sucesión y Profesionalización en una Empresa Familiar: reorganizando el lugar de la familia multigeneracional

    Directory of Open Access Journals (Sweden)

    OLIVEIRA, Janete Lara de

    2012-06-01

    Full Text Available RESUMONo âmbito da empresa familiar, conciliar os objetivos organizacionais e as expectativas da família empresária multigeracional não constitui tarefa simples. Este trabalho foi realizado com o objetivo de analisar os mecanismos de governança e os processos de sucessão e de profissionalização implementados em uma empresa familiar brasileira longeva de grande porte. Além disso, visou identificar prováveis níveis de inter-relação entre esses processos e avaliar suas possibilidades como mediadores das relações de propriedade e controle em uma empresa familiar. Foi realizada uma pesquisa qualitativa, por meio de estudo de caso, junto ao grupo Randon S/A, que iniciou um longo processo de reestruturação nos anos 1990, ainda não concluído. Os resultados da pesquisa indicam que fatores endógenos e exógenos, como os processos de crescimento e internacionalização da empresa, a reformulação da estrutura patrimonial, o ingresso de novos sócios e a entrada no Nível 1 de governança corporativa da Bovespa, dentre outros, influenciaram as mudanças que ocorreram na estrutura de propriedade, de poder, de controle e de gestão da organização. Decisões estratégicas da família controladora incluíram profissionalizar a gestão das empresas que compõem a holding, adotar estruturas de governança que possibilitam demarcar a propriedade e a gestão e reduzir conflitos de interesses, bem como definir regras claras para a sucessão. Esses elementos foram corroborados por essa pesquisa como importantes componentes do processo de construção de longevidade da empresa familiar.ABSTRACTIn the context of a family business, harmonizing organizational objectives and the expectations of a multi-generational business-owning family is no easy task. This work was carried out in order to analyze the governance mechanisms and the succession and formalization processes implemented in a traditional and long running family-owned company, seeking to

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

  19. A hydrodynamic formalism for Brownian systems

    International Nuclear Information System (INIS)

    Pina, E.; Rosales, M.A.

    1981-01-01

    A formal hydrodynamic approach to Brownian motion is presented and the corresponding equations are derived. Hydrodynamic quantities are expressed in terms of the physical variables characterizing the Brownian systems. Contact is made with the hydrodynamic model of Quantum Mechanics. (author)

  20. Infinitesimal Deformations of a Formal Symplectic Groupoid

    Science.gov (United States)

    Karabegov, Alexander

    2011-09-01

    Given a formal symplectic groupoid G over a Poisson manifold ( M, π 0), we define a new object, an infinitesimal deformation of G, which can be thought of as a formal symplectic groupoid over the manifold M equipped with an infinitesimal deformation {π_0 + \\varepsilon π_1} of the Poisson bivector field π 0. To any pair of natural star products {(ast,tildeast)} having the same formal symplectic groupoid G we relate an infinitesimal deformation of G. We call it the deformation groupoid of the pair {(ast,tildeast)} . To each star product with separation of variables {ast} on a Kähler-Poisson manifold M we relate another star product with separation of variables {hatast} on M. We build an algorithm for calculating the principal symbols of the components of the logarithm of the formal Berezin transform of a star product with separation of variables {ast} . This algorithm is based upon the deformation groupoid of the pair {(ast,hatast)}.

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

    African Journals Online (AJOL)

    How do senior secondary biology learners from three schools in Lesotho use this ... environmental literacy as a goal of science education is mentioned. ..... formal schooling context) or actions informed by informal information, which we ...

  2. Towards a Formal Treatment of Implicit Invocation

    National Research Council Canada - National Science Library

    Dingel, J

    1997-01-01

    .... A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concurrent systems Jon83,St(phi)91...

  3. Formal education of curriculum and instructional designers

    NARCIS (Netherlands)

    McKenney, Susan; Visscher-Voerman, Irene

    2013-01-01

    McKenney, S., & Visscher-Voerman, I. (2013). Formal education of curriculum and instructional designers. Educational Designer, 2(6). Available online: http://www.educationaldesigner.org/ed/volume2/issue6/article20/index.htm

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

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

  6. Towards a Formal Model of Social Data

    DEFF Research Database (Denmark)

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

    , transform, analyse, and report social data from social media platforms such as Facebook and twitter. Formal methods, models and tools for social data are largely limited to graph theoretical approaches informing conceptual developments in relational sociology and methodological developments in social...... network analysis. As far as we know, there are no integrated modeling approaches to social data across the conceptual, formal and software realms. Social media analytics can be undertaken in two main ways - ”Social Graph Analytics” and ”Social Text Analytics” (Vatrapu, in press/2013). Social graph......, we exemplify the semantics of the formal model with real-world social data examples. Third, we briefly present and discuss the Social Data Analytics Tool (SODATO) that realizes the conceptual model in software and provisions social data for computational social science analysis based on the formal...

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

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

  9. Film for Non-Formal Education.

    Science.gov (United States)

    Jenkins, Janet

    1979-01-01

    Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)

  10. Formal solutions of inverse scattering problems. III

    International Nuclear Information System (INIS)

    Prosser, R.T.

    1980-01-01

    The formal solutions of certain three-dimensional inverse scattering problems presented in papers I and II of this series [J. Math. Phys. 10, 1819 (1969); 17 1175 (1976)] are obtained here as fixed points of a certain nonlinear mapping acting on a suitable Banach space of integral kernels. When the scattering data are sufficiently restricted, this mapping is shown to be a contraction, thereby establishing the existence, uniqueness, and continuous dependence on the data of these formal solutions

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

  12. Young People, Entrepreneurship And Non Formal Learning

    OpenAIRE

    Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria

    2016-01-01

    The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...

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

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

  15. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1996-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control......-based binding-time improvements' for let expressions. Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws....

  16. Implementing a new governance model.

    Science.gov (United States)

    Stanley-Clarke, Nicky; Sanders, Jackie; Munford, Robyn

    2016-05-16

    Purpose - The purpose of this paper is to discuss the lessons learnt from the process of implementing a new model of governance within Living Well, a New Zealand statutory mental health agency. Design/methodology/approach - It presents the findings from an organisational case study that involved qualitative interviews, meeting observations and document analysis. Archetype theory provided the analytical framework for the research enabling an analysis of both the formal structures and informal value systems that influenced the implementation of the governance model. Findings - The research found that the move to a new governance model did not proceed as planned. It highlighted the importance of staff commitment, the complexity of adopting a new philosophical approach and the undue influence of key personalities as key determining factors in the implementation process. The findings suggest that planners and managers within statutory mental health agencies need to consider the implications of any proposed governance change on existing roles and relationships, thinking strategically about how to secure professional commitment to change. Practical implications - There are ongoing pressures within statutory mental health agencies to improve the efficiency and effectiveness of organisational structures and systems. This paper has implications for how planners and managers think about the process of implementing new governance models within the statutory mental health environment in order to increase the likelihood of sustaining and embedding new approaches to service delivery. Originality/value - The paper presents insights into the process of implementing new governance models within a statutory mental health agency in New Zealand that has relevance for other jurisdictions.

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

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

  19. Formal Ontologies and Uncertainty. In Geographical Knowledge

    Directory of Open Access Journals (Sweden)

    Matteo Caglioni

    2014-05-01

    Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study.  The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.

  20. Corporate governance and development - an update

    NARCIS (Netherlands)

    Claessens, S.; Yurtoglu, B.

    2012-01-01

    This paper reviews the relationships between corporate governance and economic development and well-being. It finds that better-governed corporate frameworks benefit firms through greater access to financing, lower cost of capital, better firm performance, and more favorable treatment of all

  1. A Survey of Formal Methods for Intelligent Swarms

    Science.gov (United States)

    Truszkowski, Walt; Rash, James; Hinchey, Mike; Rouff, Chrustopher A.

    2004-01-01

    Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the

  2. Government and governance strategies in medical tourism

    NARCIS (Netherlands)

    Ormond, M.E.; Mainil, T.

    2015-01-01

    This chapter provides an overview of current government and governance strategies relative to medical tourism development and management around the world. Most studies on medical tourism have privileged national governments as key actors in medical tourism regulation and, in some cases, even

  3. Engineering governance: introducing a governance meta framework.

    NARCIS (Netherlands)

    Brand, N.; Beens, B.; Vuuregge, E.; Batenburg, R.

    2011-01-01

    There is a need for a framework that depicts strategic choices within an organisation with regard to potential governance structures. The governance meta framework provides the necessary structure in the current developments of governance. Performance as well as conformance are embedded in this

  4. Institutional analysis of health system governance.

    Science.gov (United States)

    Abimbola, Seye; Negin, Joel; Martiniuk, Alexandra L; Jan, Stephen

    2017-11-01

    It is important that researchers who study health system governance have a set of collective understandings of the meanings of governance, which can then inform the methods used in research. We present an institutional framing and definition of health system governance; that is, governance refers to making, changing, monitoring and enforcing the rules that govern the demand and supply of health services. This pervasive, relational view of governance is to be preferred to approaches that focus primarily on structures of governments and health care organizations, because health system governance involves communities and service users, and because governments in many low- and middle-income countries tend to under-govern. Therefore, the study of health system governance requires institutional analysis; an approach that focuses not only on structures, but also on the rules (both formal and informal) governing demand and supply relations. Using this 'structure-relations' lens, and based on our field experience, we discuss how this focus could be applied to the three approaches to framing and studying health system governance that we identified in the literature. In order of decreasing focus on structures ('hardware') and increasing focus on relations ('software'), they are: (1) the government-centred approach, which focuses on the role of governments, above or to the exclusion of non-government health system actors; (2) the building-block approach, which focuses on the internal workings of health care organizations, and treats governance as one of the several building blocks of organizations; and (3) the institutional approach, which focuses on how the rules governing social and economic interactions are made, changed, monitored and enforced. Notably, either or both qualitative and quantitative methods may be used by researchers in efforts to incorporate the analysis of how rules determine relations among health system actors into these three approaches to health system

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

  6. Tree agency and urban forest governance

    DEFF Research Database (Denmark)

    Konijnendijk, Cecil Cornelis

    2016-01-01

    governance also involving businesses and civic society. However, governance theory usually does not consider the role of non-human agency, which can be considered problematic due to, for example, the important role of urban trees in place making. The purpose of this paper is to provide further insight...... into the importance of considering tree agency in governance. Design/methodology/approach – Taking an environmental governance and actor network theory perspective, the paper presents a critical view of current urban forest governance, extending the perspective to include not only a wide range of human actors......, but also trees as important non-human actors. Findings – Urban forest governance has become more complex and involves a greater range of actors and actor networks. However, the agency of trees in urban forest governance is seldom well developed. Trees, in close association with local residents, create...

  7. Greater trochanteric pain syndrome diagnosis and treatment.

    Science.gov (United States)

    Mallow, Michael; Nazarian, Levon N

    2014-05-01

    Lateral hip pain, or greater trochanteric pain syndrome, is a commonly seen condition; in this article, the relevant anatomy, epidemiology, and evaluation strategies of greater trochanteric pain syndrome are reviewed. Specific attention is focused on imaging of this syndrome and treatment techniques, including ultrasound-guided interventions. Copyright © 2014 Elsevier Inc. All rights reserved.

  8. Negotiating Formal Membership in Mexico and the United States: The case of Federations of Mexican Hometown Associations in Los Angeles County

    OpenAIRE

    Noriega Gonzalez, Veronica

    2015-01-01

    This study focuses on how Mexican Federations of HTAs have negotiated their formal membership in Mexico and the United States. In Mexico, migrants’ market citizenship opened the channels of communication between Federations of HTAs, and the Mexican government. Once those channels were established; HTA Federation leaders were able to negotiate their passage from market to formal membership. In the case of the United States, HTA Federations have advocated for a formal inclusion in the United St...

  9. The future of network governance research

    DEFF Research Database (Denmark)

    Lewis, Jenny

    2011-01-01

    that comprises it. The main theoretical and empirical approaches that have been used to guide it to date are then briefly described, emphasizing recent debates about interpretivism and decentring. Next, it suggests that a robust and interesting future for network governance requires diversity, rather than...... adherence to a single approach. It is argued that more sophisticated approaches for examining network governance are fashioned through a synthesis of ideas and methods to create an analysis of networks as networks. This is especially the case where some formal analysis of network structure is used...

  10. Optimizing Governed Blockchains for Financial Process Authentications

    OpenAIRE

    Lundbaek, Leif-Nissen; D'Iddio, Andrea Callia; Huth, Michael

    2016-01-01

    We propose the formal study of governed blockchains that are owned and controlled by organizations and that neither create cryptocurrencies nor provide any incentives to solvers of cryptographic puzzles. We view such approaches as frameworks in which system parts, such as the cryptographic puzzle, may be instantiated with different technology. Owners of such a blockchain procure puzzle solvers as resources they control, and use a mathematical model to compute optimal parameters for the crypto...

  11. Federalism and multilevel governance

    NARCIS (Netherlands)

    van der Wusten, H.; Agnew, J.; Mamadouh, V.; Secor, A.J.; Sharp, J.

    2015-01-01

    Federalism and multilevel governance both emphasize polycentricity in governing arrangements. With their different intellectual pedigrees, these concepts are discussed in two separate sections. Fragments are now increasingly mixed up in hybrid forms of governance that also encompass originally

  12. Developing digital forensic governance

    CSIR Research Space (South Africa)

    Grobler, M

    2010-03-01

    Full Text Available This paper presents a Digital Forensic (DF) governance framework and its mapping on the SANS ISO/IEC 38500:2009 Corporate governance of information technology structure. DF governance assists organisations in guiding the management team...

  13. Voluntary Environmental Governance Arrangements

    NARCIS (Netherlands)

    van der Heijden, J.

    2012-01-01

    Voluntary environmental governance arrangements have focal attention in studies on environmental policy, regulation and governance. The four major debates in the contemporary literature on voluntary environmental governance arrangements are studied. The literature falls short of sufficiently

  14. Governing Forest Landscape Restoration: Cases from Indonesia

    Directory of Open Access Journals (Sweden)

    Cora van Oosten

    2014-05-01

    Full Text Available Forest landscape restoration includes both the planning and implementation of measures to restore degraded forests within the perspective of the wider landscape. Governing forest landscape restoration requires fundamental considerations about the conceptualisation of forested landscapes and the types of restoration measures to be taken, and about who should be engaged in the governance process. A variety of governance approaches to forest landscape restoration exist, differing in both the nature of the object to be governed and the mode of governance. This paper analyses the nature and governance of restoration in three cases of forest landscape restoration in Indonesia. In each of these cases, both the original aim for restoration and the initiators of the process differ. The cases also differ in how deeply embedded they are in formal spatial planning mechanisms at the various political scales. Nonetheless, the cases show similar trends. All cases show a dynamic process of mobilising the landscape’s stakeholders, plus a flexible process of crafting institutional space for conflict management, negotiation and decision making at the landscape level. As a result, the landscape focus changed over time from reserved forests to forested mosaic lands. The cases illustrate that the governance of forest landscape restoration should not be based on strict design criteria, but rather on a flexible governance approach that stimulates the creation of novel public-private institutional arrangements at the landscape level.

  15. E-Government Dimension

    OpenAIRE

    Rosiyadi, Didi; Suryana, Nana; Cahyana, Ade; Nuryani, Nuryani

    2007-01-01

    Makalah ini mengemukakan E-Government Dimension yang merupakan salah satu hasil TahapanPengumpulan Data, dimana tahapan ini adalah bagian dari penelitian kompetitif di Lembaga Ilmu PengetahuanIndonesia 2007 yang sekarang sedang dilakukan. Data E-Government Dimension ini didapatkan dari berbagaisumber yang meliputi E-Government beberapa Negara di dunia, E-Government yang dibangun oleh beberapapenyedia aplikasi E-Government. E-Government Dimension terdiri dari tiga dimensi yaitu DemocraticDimen...

  16. 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 ...... systems, discrete time systems, timed languages, and real-time operating systems....... 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......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...

  17. Formal Analysis of Graphical Security Models

    DEFF Research Database (Denmark)

    Aslanyan, Zaruhi

    , 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...... formal verification of their properties. Finally, their appealing graphical notations enable to communicate security concerns in an understandable way also to non-experts, often in charge of the decision making. This dissertation argues that automated techniques can be developed on graphical security...

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

  19. Formalizing Darwinism and inclusive fitness theory.

    Science.gov (United States)

    Grafen, Alan

    2009-11-12

    Inclusive fitness maximization is a basic building block for biological contributions to any theory of the evolution of society. There is a view in mathematical population genetics that nothing is caused to be maximized in the process of natural selection, but this is explained as arising from a misunderstanding about the meaning of fitness maximization. Current theoretical work on inclusive fitness is discussed, with emphasis on the author's 'formal Darwinism project'. Generally, favourable conclusions are drawn about the validity of assuming fitness maximization, but the need for continuing work is emphasized, along with the possibility that substantive exceptions may be uncovered. The formal Darwinism project aims more ambitiously to represent in a formal mathematical framework the central point of Darwin's Origin of Species, that the mechanical processes of inheritance and reproduction can give rise to the appearance of design, and it is a fitting ambition in Darwin's bicentenary year to capture his most profound discovery in the lingua franca of science.

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

  1. Enhancing System Realisation in Formal Model Development

    DEFF Research Database (Denmark)

    Tran-Jørgensen, Peter Würtz Vinther

    and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using...... 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...... of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration...

  2. Towards Formal Verification of a Separation Microkernel

    Science.gov (United States)

    Butterfield, Andrew; Sanan, David; Hinchey, Mike

    2013-08-01

    The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the cost and feasibility of doing a formal verification of such a kernel to the Common Criteria (CC) levels mandated by the Separation Kernel Protection Profile (SKPP). We are developing a Reference Specification of such a kernel, and are using higher-order logic (HOL) to construct formal models of this specification and key separation properties. We then plan to do a dry run of part of a formal proof of those properties using the Isabelle/HOL theorem prover.

  3. Rapidly converging path integral formalism. Pt. 1

    International Nuclear Information System (INIS)

    Bender, I.; Gromes, D.; Marquard, U.

    1990-01-01

    The action to be used in the path integral formalism is expanded in a systematic way in powers of the time spacing ε in order to optimize the convergence to the continuum limit. This modifies and extends the usual formalism in a transparent way. The path integral approximation to the Green function obtained by this method approaches the continuum Green function with a higher power of ε than the usual one. The general theoretical derivations are exemplified analytically for the harmonic oscillator and by Monte Carlo methods for the anharmonic oscillator. We also show how curvilinear coordinates and curved spaces can naturally be treated within this formalism. Work on field theory is in progress. (orig.)

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

  5. Formal and Legal Aspects of Buying and Commissioning Flats

    Science.gov (United States)

    Dubas, Sebastian; Nowotarski, Piotr; Milwicz, Roman

    2017-10-01

    Formal and legal aspects of buying flats and their reception is very current topic and touches wide group of buyers. Annually in Poland great amount of flats is being sold and put to use. However, the case of housing purchase requires knowledge of both the construction and the legal aspects each buyer has to encounter. The paper faces the subject of formal and legal aspects, and analyses accompanying procedure of purchase and reception of housing in Poland. The article presents principles associated with the acquisition of a dwelling, process of works reception, removal of detected faults, fault-free reception, transfer of ownership, warranties, guarantees and possibilities of their enforcement. Contracting parties of the developer agreement were revealed. In addition, the entities present in the course of works such as general contractor were mentioned, due to the fact of his direct influence on the results of a contract terms between developer and buyer. Logical connection between three parties (buyer-developer-general contractor) were shown and direct and indirect dependencies were revealed. Existing laws and regulations that govern the relationship between the developer and the buyer of a dwelling were determined showing basic rights and responsibilities of each. The article also presents problems resulting from delaying the completion of works by developer’s fault and indicates possible legal paths to follow in order claim their rights. Due to the fact, that many of discussed formal and legal aspects in this subject have their origin connected to construction works and design issues, author suggests increased quality control and efficient work organization in order to solve problems before appearance.

  6. Place leadership, governance and power

    Directory of Open Access Journals (Sweden)

    Sotarauta Markku

    2016-12-01

    Full Text Available There is an emerging consensus that place leadership is the missing piece in the local and regional development puzzle. In this context, leadership is a hidden form of agency, shadowed by such visible forms of influence as structures and formal institutions, as well as development programs and plans. This article argues that one of the most central issues in a study of place leadership is to analyse the relationships between governance, power and place leadership. The governance arrangements are undoubtedly important, as they dictate the kind of resources and positions provided to regional development work, and thus they also enable, as well as constrain, the many efforts of regional champions to exercise power in complex development processes. It is argued here that revealing how place leadership is enacted in different places and times would allow us to flesh out novel aspects about the eternal questions of how and why some places are able to adapt strategically to ever-changing social, economic and environmental circumstances while others fail to do so. Additionally, deeper investigations of place leadership would hopefully allow us to provide policymakers and practitioners with added insight on the ways to make regional development policies and practices not only more strategic but also effective. This paper elaborates the conceptual link between place leadership, governance and power.

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

  8. African Women in the Entrepreneurial Landscape: reconsidering the formal and informal sectors

    OpenAIRE

    Spring, Anita

    2006-01-01

    Informal and formal can be seen as «dual economies» of African countries. Governments oTen concern themselves with the formal, while development agencies oTen support the informal. This paper discusses the full landscape of entrepreneurship, considering both sectors, and the range from small to large within each. It queries whether or not there can be movement within and between sectors, and if the «rages to riches» upward movement, as seen in developed countries, is possible i...

  9. Network governance and capacity of local governments to deliver LED in Uganda

    Directory of Open Access Journals (Sweden)

    Rose B Namara

    2016-02-01

    Full Text Available This paper discusses network governance and its contribution to the capacity of local governments (LGs to deliver local economic development (LED in Uganda. Although a formal LED policy was only established in Uganda in February 2014, there have been LED-inspired practices in the past decade. Various scholars and practitioners have observed that the autonomy and capacity of LGs to deliver LED is limited, but have been hopeful that new governance strategies like network governance would increase the capacities of LGs. However, neither network governance arrangements among LGs, nor their potential to improve governance capacity, have been documented. In a case study of Kyenjojo District, this paper finds that existing network governance arrangements have been fundamental in improving financial autonomy at this LG, delivering some income to invest in LED activities, although no evidence was found of reduced transaction costs in transforming local economies. The study further reveals that network governance arrangements have not led to the development of specialised skills in regulation or law enforcement, and capacity gaps are evident amongst staff and members in understanding the private sector and how it works. On a positive note, there is clear evidence of attempts by the LG to be innovative. Based on these findings, this study recommends that LGs need to consider a multi-pronged or multi-network governance approach to LED, which in turn will require a refocusing of governance mechanisms to become more dynamic and responsive, and offer incentives to the various actors in the development sector.

  10. In-house training, formal education and public outreach

    International Nuclear Information System (INIS)

    Willis, Y.A.

    1992-01-01

    This paper assumes that a stronger national commitment to public education on nuclear energy and, most particularly radioactive waste management, it needed to overcome public resistance to nuclear projects. Effective public education must become the superordinate goal uniting industry, government, professional societies, national laboratories and the educational community. Since instruction is labor intensive, we must search for more cost effective ways of achieving results. Therefore, this paper proposes: Collaborative training and educational strategies involving as many of the stakeholders as possible; and Innovative tools to improve the credibility, quality and cost effectiveness of education. This win-win approach can reduce the collective expenditures through cost-sharing, as well as the sharing of resources and products. It can close gaps in both in-house training and formal education. Finally, in public outreach, the joint approach addresses the politics of sponsorship by providing checks and balances, and thus improving credibility and public acceptance

  11. The ambiguities of performance-based governance reforms in Italy: Reviving the fortunes of evaluation and performance measurement.

    Science.gov (United States)

    Marra, Mita

    2018-08-01

    Over the past two decades, Italy's administrative reforms have institutionalized evaluation to improve program effectiveness, staff productivity, and results-driven accountability against waste and corruption. Across ministries, regional governments, universities, schools and environmental protection agencies, seemingly unexpected consequences have emerged out of the implementation of performance measurement and evaluation regimes within public organizations. Formal compliance to legally binding evaluation procedures, judicially-sanctioned managerial accountability and lack of cross-agency coordination coupled with long-standing cultural separations among evaluators are some of the ambiguities associated with a performance-based governance system within Italian public administration. Building upon the 'new governane theory,' and qualitative fieldwork, I explore the political consequences of evaluation and performance measurement for possible improvements. From a normative perspective, greater integration between program evaluation and performance measurement can support organizational learning and democratic accountability both at the central and local level. Copyright © 2017 Elsevier Ltd. All rights reserved.

  12. Infinitesimal deformations of a formal symplectic groupoid

    OpenAIRE

    Karabegov, Alexander

    2010-01-01

    Given a formal symplectic groupoid $G$ over a Poisson manifold $(M, \\pi_0)$, we define a new object, an infinitesimal deformation of $G$, which can be thought of as a formal symplectic groupoid over the manifold $M$ equipped with an infinitesimal deformation $\\pi_0 + \\epsilon \\pi_1$ of the Poisson bivector field $\\pi_0$. The source and target mappings of a deformation of $G$ are deformations of the source and target mappings of $G$. To any pair of natural star products $(\\ast, \\tilde\\ast)$ ha...

  13. Keldysh formalism for multiple parallel worlds

    International Nuclear Information System (INIS)

    Ansari, M.; Nazarov, Y. V.

    2016-01-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  14. Keldysh formalism for multiple parallel worlds

    Science.gov (United States)

    Ansari, M.; Nazarov, Y. V.

    2016-03-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  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. A formalization of the flutter shutter

    Science.gov (United States)

    Tendero, Yohann; Rougé, Bernard; Morel, Jean-Michel

    2012-09-01

    Acquiring good quality images of moving objects by a digital camera remains a valid question. If the velocity of the photographed object is not known, it is virtually impossible to tune an optimal exposure time. For this reason the recent Agrawal et al. flutter shutter apparatus has generated much interest. In this communication, we propose a mathematical formalization of a general flutter shutter method, also permitting non-binary shutter sequences. Thanks to this formalization, the question of the optimal flutter shutter code can be defined and solved. The method gives analytic formulas for the best attainable SNR for the restored image. It also gives a way to compute optimal flutter shutter codes.

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

  18. Improved formalism for precision Higgs coupling fits

    Energy Technology Data Exchange (ETDEWEB)

    Barklow, Tim; Peskin, Michael E. [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Fujii, Keisuke; Ogawa, Tomohisa [High Energy Accelerator Research Organization (KEK), Tsukuba, Ibaraki (Japan); Jung, Sunghoon [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Seoul National Univ. (Korea, Republic of). Dept. of Physics and Astronomy; Karl, Robert; List, Jenny [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Tian, Junping [Tokyo Univ. (Japan). International Center for Elementary Particle Physics (ICEPP)

    2017-08-15

    Future e{sup +}e{sup -} 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{sup +}e{sup -} 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{sup +}e{sup -} colliders.

  19. A Mathematical Account of the NEGF Formalism

    DEFF Research Database (Denmark)

    Cornean, Decebal Horia; Moldoveanu, Valeriu; Pillet, Claude-Alain

    2018-01-01

    The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function 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......The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function 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...

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

  1. Keldysh formalism for multiple parallel worlds

    Energy Technology Data Exchange (ETDEWEB)

    Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl [Delft University of Technology, Kavli Institute of Nanoscience (Netherlands)

    2016-03-15

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

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

  3. MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

    Science.gov (United States)

    Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

    2015-01-01

    The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

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

  5. The Interrelatedness of Formal, Non-Formal and Informal Learning: Evidence from Labour Market Program Participants

    Science.gov (United States)

    Cameron, Roslyn; Harrison, Jennifer L.

    2012-01-01

    Definitions, differences and relationships between formal, non-formal and informal learning have long been contentious. There has been a significant change in language and reference from adult education to what amounts to forms of learning categorised by their modes of facilitation. Nonetheless, there is currently a renewed interest in the…

  6. Digital Resource Developments for Mathematics Education Involving Homework across Formal, Non-Formal and Informal Settings

    Science.gov (United States)

    Radovic, Slaviša; Passey, Don

    2016-01-01

    The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…

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

  8. With God's Help I Can Do It: Crack Users' Formal and Informal Recovery Experiences in El Salvador

    Science.gov (United States)

    Dickson-Gomez, Julia; Bodnar, Gloria; Guevara, Carmen Eugenia; Rodriguez, Karla; De Mendoza, Lorena Rivas; Corbett, A. Michelle

    2013-01-01

    Crack use has increased dramatically in El Salvador in the last few decades. As with other developing countries with sudden onsets of drug problems, El Salvador has few medical staff trained in addictions treatment. Little research has examined drug users' attempts to reduce or abstain from drug use in countries where government-regulated formal medical treatment for drug addiction is scarce. This paper uses qualitative and quantitative data gathered from active crack users to explore their formal and informal strategies to reduce or abstain from drugs, and compares these with components of informal and formal treatment in developed countries. PMID:20735191

  9. In Transition towards Sustainability: Bridging the Business and Education Sectors of Regional Centre of Expertise Greater Sendai Using Education for Sustainable Development-Based Social Learning

    Directory of Open Access Journals (Sweden)

    Paul Ofei-Manu

    2012-07-01

    Full Text Available This article discusses a business-school collaborative learning partnership in the Regional Centre of Expertise (RCE on Education for Sustainable Development (ESD in Greater Sendai. This partnership is further linked to a broader context of multi-stakeholder public participation in the RCE that was set up to advance the ESD agenda in the region. The authors propose a conceptual framework for multi-stakeholder, ESD-based social learning within the RCE with the aim of enabling the creation of a sustainability-literate society. This proposal is based on the results of students’ prior experience in ESD activities, optimal age for ESD learning and future job choices presented in this paper, together with a reported article that the levels of sustainability of the two sectoral organizations were mixed and hence need improvement. The paper argues that it will be good to focus on bridging the business and education sectors by building ESD capacity of the children and youth in the formal education sector. It contends this could be done through collaborative learning using the government-mandated “Period of Integrated Studies” (PIS in the Japanese primary and secondary school curriculum. Additionally, it will be appropriate for the RCE Greater Sendai Steering Committee to facilitate and coordinate the learning processes and also promote networking and cooperative interactions among the actors and stakeholders in the region. Recommendations for improvement of the learning partnerships in RCE Greater Sendai are made for consideration at the local and national policy levels.

  10. PRACTICE OF GOOD GOVERNANCE AND CORPORATE GOVERNANCE

    Directory of Open Access Journals (Sweden)

    Bălăceanu Cristina

    2010-12-01

    Full Text Available Corporate governance reforms are occurring in countries around the globe and potentially impacting the population of the entire planet. In developing countries, such reforms occur in a larger context that is primarily defined by previous attempts at promoting “development” and recent processes of economic globalization. In this context, corporate governance reforms (in combination with the liberalising reforms associated with economic globalization, in effect represent a new development strategy for third world countries. The most basic questions that arise with respect to this situation are what the prospects for this new development model are and whether alternatives should be considered. Keywords: governance, corporate governance, economic globalization, development.

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

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

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

  14. 14 CFR 201.1 - Formal requirements.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Formal requirements. 201.1 Section 201.1 Aeronautics and Space OFFICE OF THE SECRETARY, DEPARTMENT OF TRANSPORTATION (AVIATION PROCEEDINGS) ECONOMIC... papers. (b) Any person desiring to provide air transportation as a commuter air carrier must comply with...

  15. The Transition to Formal Thinking in Mathematics

    Science.gov (United States)

    Tall, David

    2008-01-01

    This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts…

  16. Informal Science Learning in the Formal Classroom

    Science.gov (United States)

    Walsh, Lori; Straits, William

    2014-01-01

    In this article the authors share advice from the viewpoints of both a formal and informal educator that will help teachers identify the right Informal Science Institutions (ISIs)--institutions that specialize in learning that occurs outside of the school setting--to maximize their students' learning and use informal education to their…

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

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

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

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

  2. A Formal Model For Declarative Workflows

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao

    it as a general formal model for specification and execution of declarative, event-based business processes, as a generalization of a concurrency model, the classic event structures. The model allows for an intuitive operational semantics and mapping of execution state by a notion of markings of the graphs and we...

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

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

  5. A formal theory of the selfish gene.

    Science.gov (United States)

    Gardner, A; Welch, J J

    2011-08-01

    Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.

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

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

  8. Informal and Formal Learning of General Practitioners

    Science.gov (United States)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose: The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach: To obtain insight in various learning processes, semi-structured…

  9. Informal and formal learning of general practitioners

    NARCIS (Netherlands)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach To obtain insight in

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

  11. On the Need for Practical Formal Methods

    Science.gov (United States)

    1998-01-01

    additional research and engineering that is needed to make the current set of formal methods more practical. To illustrate the ideas, I present several exam ...either a good violin or a highly talented violinist. Light-weight techniques o er software developers good violins . A user need not be a talented

  12. The formal path integral and quantum mechanics

    International Nuclear Information System (INIS)

    Johnson-Freyd, Theo

    2010-01-01

    Given an arbitrary Lagrangian function on R d and a choice of classical path, one can try to define Feynman's path integral supported near the classical path as a formal power series parameterized by 'Feynman diagrams', although these diagrams may diverge. We compute this expansion and show that it is (formally, if there are ultraviolet divergences) invariant under volume-preserving changes of coordinates. We prove that if the ultraviolet divergences cancel at each order, then our formal path integral satisfies a 'Fubini theorem' expressing the standard composition law for the time evolution operator in quantum mechanics. Moreover, we show that when the Lagrangian is inhomogeneous quadratic in velocity such that its homogeneous-quadratic part is given by a matrix with constant determinant, then the divergences cancel at each order. Thus, by 'cutting and pasting' and choosing volume-compatible local coordinates, our construction defines a Feynman-diagrammatic 'formal path integral' for the nonrelativistic quantum mechanics of a charged particle moving in a Riemannian manifold with an external electromagnetic field.

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

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

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

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

  17. Formal and Applied Counseling in Israel

    Science.gov (United States)

    Israelashvili, Moshe; Wegman-Rozi, Orit

    2012-01-01

    Living in Israel is intensive and demanding but also meaningful and exciting. This article addresses the gap between the narrowly defined formal status of counseling in Israel and the widespread occurrence of counseling in various settings. It is argued that several recent changes, especially in the definition of treatment, along with the…

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

  19. Electric current arising from unpolarized polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    An appreciable electric current is observed in a system consisting of a polyvinyl formal (PVF) film in a sandwich ... Electric current; open circuit voltage; water activated phenomenon; plasticization effect. 1. Introduction ... either the trapping parameters or the distribution of the ..... For this reason contact potential drop between.

  20. Formal specifications for safety grade systems

    International Nuclear Information System (INIS)

    Chisholm, G.H.; Smith, B.T.; Wojcik, A.S.

    1992-01-01

    The authors describe the findings of a study into the application of formal methods to the specification of a safety system for an operating nuclear reactor. They developed a formal specification that is used to verify and validate that no unsafe condition will result from action or inaction of the system. For this reason, the specification must facilitate thinking about, talking about, and implementing the system. In fact, the specification must provide a bridge between people (designers, engineers, policy makers) and diverse implementations (hardware, software, sensors, power supplies) at all levels. For a specification to serve as an effective linkage, it must have the following properties: (1) completeness, (2) conciseness, (3) unambiguity, and (4) communicativeness. In this paper they describe the development of a specification that has three properties. This development is based on the use of formal methods, i.e., methods that add mathematical rigor to the development, analysis and operation of computer systems and to applications based thereon (Neumann). They demonstrate that a specification derived from a formal basis facilitates development of the design and its subsequent verification

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

  2. Formal system of communication and understanding. II

    Energy Technology Data Exchange (ETDEWEB)

    Zsuzsanna, M

    1982-01-01

    For pt.I see IBID., no.5, p.252-8 (1982). In this article G. Pask's (1975) formal theory of dialogues and talk is summarized. Part II describes the talk-environment and modelling. The conscious systems and machine-intelligence are mainly dealt with. Finally a couple of cases with Pask's theory implemented are looked at. 7 references.

  3. Formal truncations of connected kernel equations

    International Nuclear Information System (INIS)

    Dixon, R.M.

    1977-01-01

    The Connected Kernel Equations (CKE) of Alt, Grassberger and Sandhas (AGS); Kouri, Levin and Tobocman (KLT); and Bencze, Redish and Sloan (BRS) are compared against reaction theory criteria after formal channel space and/or operator truncations have been introduced. The Channel Coupling Class concept is used to study the structure of these CKE's. The related wave function formalism of Sandhas, of L'Huillier, Redish and Tandy and of Kouri, Krueger and Levin are also presented. New N-body connected kernel equations which are generalizations of the Lovelace three-body equations are derived. A method for systematically constructing fewer body models from the N-body BRS and generalized Lovelace (GL) equations is developed. The formally truncated AGS, BRS, KLT and GL equations are analyzed by employing the criteria of reciprocity and two-cluster unitarity. Reciprocity considerations suggest that formal truncations of BRS, KLT and GL equations can lead to reciprocity-violating results. This study suggests that atomic problems should employ three-cluster connected truncations and that the two-cluster connected truncations should be a useful starting point for nuclear systems

  4. Formal Method of Description Supporting Portfolio Assessment

    Science.gov (United States)

    Morimoto, Yasuhiko; Ueno, Maomi; Kikukawa, Isao; Yokoyama, Setsuo; Miyadera, Youzou

    2006-01-01

    Teachers need to assess learner portfolios in the field of education. However, they need support in the process of designing and practicing what kind of portfolios are to be assessed. To solve the problem, a formal method of describing the relations between the lesson forms and portfolios that need to be collected and the relations between…

  5. Formal demography of families and households

    NARCIS (Netherlands)

    Willekens, F.J.; van Imhoff, E.; Wright, James D.

    2015-01-01

    ‘Family and household demography’ differs from traditional demography in that it explicitly recognizes and studies relationships between individuals. Formal demography focuses on the definition and measurement of families and households, and modeling of types, number, and composition of families and

  6. Ontology Assisted Formal Specification Extraction from Text

    Directory of Open Access Journals (Sweden)

    Andreea Mihis

    2010-12-01

    Full Text Available In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments. In this paper, a method which use ontologies in the semi-automatic extraction of formal specifications from a natural language text is proposed.

  7. Public management and governance

    National Research Council Canada - National Science Library

    Bovaird, A. G; Löffler, Elke

    2009-01-01

    ... how the process of governing needs to be fundamentally altered if a government is to retain public trust and make better use of society's resources. Key themes covered include: ■ ■ ■ ■ the challenges and pressures which governments experience in an international context; the changing functions of modern government in the global economy; the 'mixed ec...

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

  9. Local government and utility firms’ debts

    Directory of Open Access Journals (Sweden)

    Marko Primorac

    2011-12-01

    Full Text Available The global financial crisis has affected the Croatian local public sector. In such circumstances, local government units’ debts and borrowing should be approached with caution. The highly interwoven financial operations of local government units and their utilities indicate the need for analysis of consolidated financial statements of local governments and utility companies in order to gain an insight into the real financial “health” of local units. Accordingly, the main aim of this paper is to analyze the size and the structure of the consolidated (local government and utility companies local public debt in Croatia. Accordingly, the paper presents the financial position of local government units supplemented with information on the financial operations of utility companies, with particular emphasis on the size and structure of their liabilities and gross and net debt. Although the current Budget Law does not require formal preparation of consolidated financial statements by local governments and their utility firms, consolidation is stipulated by International Public Sector Accounting Standards (IPSAS. The application of IPSAS regulations would be helpful in determining overall direct and indirect exposure of local government units arising from the financial operations of their utilities.

  10. Non-formal learning and tacit knowledge in professional work.

    Science.gov (United States)

    Eraut, M

    2000-03-01

    This paper explores the conceptual and methodological problems arising from several empirical investigations of professional education and learning in the workplace. 1. To clarify the multiple meanings accorded to terms such as 'non-formal learning', 'implicit learning' and 'tacit knowledge', their theoretical assumptions and the range of phenomena to which they refer. 2. To discuss their implications for professional practice. A largely theoretical analysis of issues and phenomena arising from empirical investigations. The author's typology of non-formal learning distinguishes between implicit learning, reactive on-the-spot learning and deliberative learning. The significance of the last is commonly overemphasized. The problematic nature of tacit knowledge is discussed with respect to both detecting it and representing it. Three types of tacit knowledge are discussed: tacit understanding of people and situations, routinized actions and the tacit rules that underpin intuitive decision-making. They come together when professional performance involves sequences of routinized action punctuated by rapid intuitive decisions based on tacit understanding of the situation. Four types of process are involved--reading the situation, making decisions, overt activity and metacognition--and three modes of cognition--intuitive, analytic and deliberative. The balance between these modes depends on time, experience and complexity. Where rapid action dominates, periods of deliberation are needed to maintain critical control. Finally the role of both formal and informal social knowledge is discussed; and it is argued that situated learning often leads not to local conformity but to greater individual variation as people's careers take them through a series of different contexts. This abstract necessarily simplifies a more complex analysis in the paper itself.

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

  12. Data governance implementation concept

    OpenAIRE

    Ullrichová, Jana

    2016-01-01

    This master´s thesis discusses concept of implementation for data governance. The theoretical part of this thesis is about data governance. It explains why data are important for company, describes definitoons of data governance, its history, its components, its principles and processes and fitting in company. Theoretical part is amended with examples of data governance failures and banking specifics. The main goal of this thesis is to create a concept for implementing data governance and its...

  13. Postings and transfers in the Ghanaian health system: a study of health workforce governance.

    Science.gov (United States)

    Kwamie, Aku; Asiamah, Miriam; Schaaf, Marta; Agyepong, Irene Akua

    2017-09-15

    Decision-making on postings and transfers - that is, the geographic deployment of the health workforce - is a key element of health workforce governance. When poorly managed, postings and transfers result in maldistribution, absenteeism, and low morale. At stake is managing the balance between organisational (i.e., health system) and individual (i.e., staff preference) needs. The negotiation of this potential convergence or divergence of interests provides a window on practices of postings and transfers, and on the micro-practices of governance in health systems more generally. This article explores the policies and processes, and the interplay between formal and informal rules and norms which underpin postings and transfers practice in two rural districts in the Greater Accra Region of Ghana. Semi-structured interviews were conducted with eight district managers and 87 frontline staff from the district health administration, district hospital, polyclinic, health centres and community outreach compounds across two districts. Interviews sought to understand how the postings and transfers process works in practice, factors in frontline staff and district manager decision-making, personal experiences in being posted, and study leave as a common strategy for obtaining transfers. Differential negotiation-spaces at regional and district level exist and inform postings and transfers in practice. This is in contrast to the formal cascaded rules set to govern decision-making authority for postings and transfers. Many frontline staff lack policy clarity of postings and transfers processes and thus 'test' the system through informal staff lobbying, compounding staff perception of the postings and transfers process as being unfair. District managers are also challenged with limited decision-space embedded in broader policy contexts of systemic hierarchy and resource dependence. This underscores the negotiation process as ongoing, rather than static. These findings point to

  14. Simultaneous bilateral isolated greater trochanter fracture

    Directory of Open Access Journals (Sweden)

    Maruti Kambali

    2013-01-01

    Full Text Available A 48-year-old woman sustained simultaneous isolated bilateral greater trochanteric fracture, following a road traffic accident. The patient presented to us 1 month after the injury. She presented with complaints of pain in the left hip and inability to walk. Roentgenograms revealed displaced comminuted bilateral greater trochanter fractures. The fracture of the left greater trochanter was reduced and fixed internally using the tension band wiring technique. The greater trochanter fracture on the right side was asymptomatic and was managed conservatively. The patient regained full range of motion and use of her hips after a postoperative follow-up of 6 months. Isolated fractures of the greater trochanter are unusual injuries. Because of their relative rarity and the unsettled controversy regarding their etiology and pathogenesis, several methods of treatment have been advocated. Furthermore, the reports of this particular type of injury are not plentiful and the average textbook coverage afforded to this entity is limited. In our study we discuss the mechanism of injury and the various treatment options available.

  15. A Survey of Formal Methods in Software Development

    DEFF Research Database (Denmark)

    Bjørner, Dines

    2012-01-01

    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...... need for multi-language formalisation (Petri Nets, MSC, StateChart, Temporal Logics); the sociology of university and industry acceptance of formal methods; the inevitability of the use of formal software development methods; while referring to seminal monographs and textbooks on formal methods....

  16. Transitions governance: Towards a new governance paradigm

    NARCIS (Netherlands)

    N. Frantzeskaki (Niki); D.A. Loorbach (Derk)

    2009-01-01

    textabstractThis paper presents a framework for governance in the context of large scale and long term societal change (transitions). We argue that existing theories of governance offer interesting descriptive insights for such a framework, but do not present innovative prescriptive ideas

  17. Leisure, Government and Governance: A Swedish Perspective

    Science.gov (United States)

    Lindstrom, Lisbeth

    2011-01-01

    The leisure sector has witnessed a tremendous expansion since 1960. The purpose of this article is to analyse the decisions and goals of Swedish government policy during the period 1962 to 2005. The empirical analysis covers government Propositions and governmental investigations. The fields covered are sports, culture, exercise, tourism and…

  18. Y-formalism and b ghost in the non-minimal pure spinor formalism of superstrings

    International Nuclear Information System (INIS)

    Oda, Ichiro; Tonin, Mario

    2007-01-01

    We present the Y-formalism for the non-minimal pure spinor quantization of superstrings. In the framework of this formalism we compute, at the quantum level, the explicit form of the compound operators involved in the construction of the b ghost, their normal-ordering contributions and the relevant relations among them. We use these results to construct the quantum-mechanical b ghost in the non-minimal pure spinor formalism. Moreover we show that this non-minimal b ghost is cohomologically equivalent to the non-covariant b ghost

  19. Educational Process Reengineering and Diffusion of Innovation in Formal Learning Environment

    DEFF Research Database (Denmark)

    Khalid, Md. Saifuddin; Hossain, Mohammad Shahadat; Rongbutsri, Nikorn

    2011-01-01

    administration and evaluation and assessment. Educational environments are flexible and not governed by standard operating procedures, making technology use lithe. Theory of diffusion of innovations‟ is recommended to be integrated to reason and measure acceptance or rejection of EPR selected technology......In technology mediated learning while relative advantages of technologies is proven, lack of contextualization and process centric change, and lack of user driven change has kept intervention and adoption of educational technologies among individuals and organizations as challenges. Reviewing...... the formal, informal and non-formal learning environments, this study focuses on the formal part. This paper coins the term 'Educational Process Reengineering (EPR) based on the established concept of 'Business Process Reengineering (BPR) for process improvement of teaching learning activities, academic...

  20. Expanding entrepreneurship opportunities through local governance: the case of Barbados

    Directory of Open Access Journals (Sweden)

    Paul Pounder

    2015-06-01

    Full Text Available This paper looks at the government and local governance structures of Barbados, arguing that local governance should be leveraged to expand entrepreneurship opportunities at the community level. It examines the links between local governance and entrepreneurship, and proposes a framework aimed at strengthening the relationship between Barbados’ newly formed constituency councils and its government institutions supporting entrepreneurship. The research concludes that there are many inefficiencies in the interaction between government agencies and constituency councils, which the proposed framework is a first step toward remedying.  The research suggests that local governance is a complex issue worldwide. More specifically in Barbados, even though the role of the constituency councils is defined, there are weak formal arrangements which undermine the processes and activities to support community entrepreneurship. The proposed framework highlighted in the research is a first step in formalising a way forward for entrepreneurship in the community. 

  1. Building Extension Partnerships with Government to Further Water Conservation Efforts

    Science.gov (United States)

    McKee, Brandon; Huang, Pei-wen; Lamm, Alexa

    2017-01-01

    Extension, being a local, state and federally funded program has a natural partnership with government agencies at all three levels, however these partnerships could be built upon and targeted at specific audiences for greater effect if more is known about how government influences public perception. The government has recognized the need for…

  2. Governing economies in areas of limited statehood

    DEFF Research Database (Denmark)

    Rasmussen, Jacob; Varming, Kirstine Strøh

    This DIIS–GOVSEA working paper reviews key debates within economic anthropology and related academic disciplines explaining how economic life is governed in areas of limited statehood. The paper briefly introduces some of the origins of economic anthropology before going into deeper discussions...... of a number of key debates within the field. The literature review and discussion is organised on the basis of six major themes that shed light on this research question: 1) embeddedness and economic transformations, 2) property governance, 3) informal and popular economies, 4) debt and money, 5) borders...... and cross-border trade, and 6) authority, governance and economic regulation. These themes are supported by case examples from the Somali territories in the East and Horn of Africa. Through the reviewed literature, the paper critically engages common categories, such as formal/informal, state...

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

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

  5. Viscous warm inflation: Hamilton-Jacobi formalism

    Science.gov (United States)

    Akhtari, L.; Mohammadi, A.; Sayar, K.; Saaidi, Kh.

    2017-04-01

    Using Hamilton-Jacobi formalism, the scenario of warm inflation with viscous pressure is considered. The formalism gives a way of computing the slow-rolling parameter without extra approximation, and it is well-known as a powerful method in cold inflation. The model is studied in detail for three different cases of the dissipation and bulk viscous pressure coefficients. In the first case where both coefficients are taken as constant, it is shown that the case could not portray warm inflationary scenario compatible with observational data even it is possible to restrict the model parameters. For other cases, the results shows that the model could properly predicts the perturbation parameters in which they stay in perfect agreement with Planck data. As a further argument, r -ns and αs -ns are drown that show the acquired result could stand in acceptable area expressing a compatibility with observational data.

  6. Comparing formal verification approaches of interlocking systems

    DEFF Research Database (Denmark)

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

    2016-01-01

    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......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....../Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies. The DTU/Bremen research has been funded by the RobustRailS project granted by Innovation Fund Denmark. The Surrey/Swansea research has been funded by the Safe...

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

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

  9. Formal Definition of Measures for BPMN Models

    Science.gov (United States)

    Reynoso, Luis; Rolón, Elvira; Genero, Marcela; García, Félix; Ruiz, Francisco; Piattini, Mario

    Business process models are currently attaining more relevance, and more attention is therefore being paid to their quality. This situation led us to define a set of measures for the understandability of BPMN models, which is shown in a previous work. We focus on understandability since a model must be well understood before any changes are made to it. These measures were originally informally defined in natural language. As is well known, natural language is ambiguous and may lead to misunderstandings and a misinterpretation of the concepts captured by a measure and the way in which the measure value is obtained. This has motivated us to provide the formal definition of the proposed measures using OCL (Object Constraint Language) upon the BPMN (Business Process Modeling Notation) metamodel presented in this paper. The main advantages and lessons learned (which were obtained both from the current work and from previous works carried out in relation to the formal definition of other measures) are also summarized.

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

  11. Picture languages formal models for picture recognition

    CERN Document Server

    Rosenfeld, Azriel

    1979-01-01

    Computer Science and Applied Mathematics: Picture Languages: Formal Models for Picture Recognition treats pictorial pattern recognition from the formal standpoint of automata theory. This book emphasizes the capabilities and relative efficiencies of two types of automata-array automata and cellular array automata, with respect to various array recognition tasks. The array automata are simple processors that perform sequences of operations on arrays, while the cellular array automata are arrays of processors that operate on pictures in a highly parallel fashion, one processor per picture element. This compilation also reviews a collection of results on two-dimensional sequential and parallel array acceptors. Some of the analogous one-dimensional results and array grammars and their relation to acceptors are likewise covered in this text. This publication is suitable for researchers, professionals, and specialists interested in pattern recognition and automata theory.

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

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

  14. Greater trochanteric fracture with occult intertrochanteric extension.

    Science.gov (United States)

    Reiter, Michael; O'Brien, Seth D; Bui-Mansfield, Liem T; Alderete, Joseph

    2013-10-01

    Proximal femoral fractures are frequently encountered in the emergency department (ED). Prompt diagnosis is paramount as delay will exacerbate the already poor outcomes associated with these injuries. In cases where radiography is negative but clinical suspicion remains high, magnetic resonance imaging (MRI) is the study of choice as it has the capability to depict fractures which are occult on other imaging modalities. Awareness of a particular subset of proximal femoral fractures, namely greater trochanteric fractures, is vital for both radiologists and clinicians since it has been well documented that they invariably have an intertrochanteric component which may require surgical management. The detection of intertrochanteric or cervical extension of greater trochanteric fractures has been described utilizing MRI but is underestimated with both computed tomography (CT) and bone scan. Therefore, if MRI is unavailable or contraindicated, the diagnosis of an isolated greater trochanteric fracture should be met with caution. The importance of avoiding this potential pitfall is demonstrated in the following case of an elderly woman with hip pain and CT demonstrating an isolated greater trochanteric fracture who subsequently returned to the ED with a displaced intertrochanteric fracture.

  15. Butterfly valves: greater use in power plants

    International Nuclear Information System (INIS)

    McCoy, M.

    1975-01-01

    Improvements in butterfly valves, particularly in the areas of automatic control and leak tightness are described. The use of butterfly valves in nuclear power plants is discussed. These uses include service in component cooling, containment cooling, and containment isolation. The outlook for further improvements and greater uses is examined. (U.S.)

  16. Greater Somalia, the never-ending dream?

    DEFF Research Database (Denmark)

    Zoppi, Marco

    2015-01-01

    This paper provides an historical analysis of the concept of Greater Somalia, the nationalist project that advocates the political union of all Somali-speaking people, including those inhabiting areas in current Djibouti, Ethiopia and Kenya. The Somali territorial unification project of “lost...

  17. Why Governments Intervene

    DEFF Research Database (Denmark)

    Knudsen, Jette Steen; Brown, Dana

    2015-01-01

    Why are national governments increasingly adopting policies on corporate social responsibility (CSR)? Government CSR policies have been explained either as a means of substituting or supporting (mirroring) domestic political-economic institutions and policies, or as a means for government...... to promote international competitiveness of domestic businesses. Both sets of explanations see governments as driving CSR policies to meet particular national government goals. Support is found for the thesis that CSR policies are often related to international competitiveness, yet our findings suggest...... that government goals in this regard are not necessarily pre-defined....

  18. Flexible receiver adapter formal design review

    International Nuclear Information System (INIS)

    Krieg, S.A.

    1995-01-01

    This memo summarizes the results of the Formal (90%) Design Review process and meetings held to evaluate the design of the Flexible Receiver Adapters, support platforms, and associated equipment. The equipment is part of the Flexible Receiver System used to remove, transport, and store long length contaminated equipment and components from both the double and single-shell underground storage tanks at the 200 area tank farms

  19. Formal education in outdoor studies: introduction

    OpenAIRE

    Prince, Heather

    2015-01-01

    Regional cultural perspectives involve outdoor studies in different ways in formal curricula. This section focuses on Western Europe, particularly the UK and Scandinavia, although also has a more international reach in Backman’s consideration of the training of teachers and in place-responsive teaching as described by Mannion and Lynch. ‘Outdoor studies’ is not seen in curricula per se but under various more specialised aspects such as outdoor play, outdoor learning, environmental education, ...

  20. Formal conditions for the significance-effect

    DEFF Research Database (Denmark)

    Thellefsen, Torkild Leo; Sørensen, Bent; Thellefsen, Martin

    2006-01-01

    The significance-effect is the right effect of meaning caused upon an interpreting mind. The right effect is understood as the right interpretation of an intended meaning caused by a sign communicated by an utterer. In the article, which is inspired by Charles S. Peirce's doctrine of signs, his s...... semeiotics and his theory of communication, we account for the formal conditions that have to be present for the release of the significance-effect....

  1. Consistency Anchor Formalization and Correctness Proofs

    OpenAIRE

    Miguel, Correia; Bessani, Alysson

    2014-01-01

    This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014." The consistency anchor technique allows one to increase the consistency provided by eventually consistent cloud storage services like Amazon S3. This technique has been used in the SCFS (Shared Cloud File System) cloud-backed file system for solving rea...

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

  3. Generalized formal model of Big Data

    OpenAIRE

    Shakhovska, N.; Veres, O.; Hirnyak, M.

    2016-01-01

    This article dwells on the basic characteristic features of the Big Data technologies. It is analyzed the existing definition of the “big data” term. The article proposes and describes the elements of the generalized formal model of big data. It is analyzed the peculiarities of the application of the proposed model components. It is described the fundamental differences between Big Data technology and business analytics. Big Data is supported by the distributed file system Google File System ...

  4. 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...... and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL....

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

  6. Textile materials trading center formally launched online

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market. The project will strive to build the most influential textile materials trading center of East China,the whole country and even the whole world China textile materials trading center will be

  7. Toward a Formal Model of Cognitive Synergy

    OpenAIRE

    Goertzel, Ben

    2017-01-01

    "Cognitive synergy" refers to a dynamic in which multiple cognitive processes, cooperating to control the same cognitive system, assist each other in overcoming bottlenecks encountered during their internal processing. Cognitive synergy has been posited as a key feature of real-world general intelligence, and has been used explicitly in the design of the OpenCog cognitive architecture. Here category theory and related concepts are used to give a formalization of the cognitive synergy concept....

  8. On the formal series Witt transform

    NARCIS (Netherlands)

    Moree, P.

    2005-01-01

    Given a formal power series f(z)∈C〚z〛f(z)∈C〚z〛 we define, for any positive integer r, its r th Witt transform, Wf(r), by Wf(r)(z)=1r∑d|rμ(d)f(zd)r/d, where μμ denotes the Möbius function. The Witt transform generalizes the necklace polynomials, M(α;n)M(α;n), that occur in the cyclotomic identity

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

  10. Formalization and Analysis of Reasoning by Assumption

    OpenAIRE

    Bosse, T.; Jonker, C.M.; Treur, J.

    2006-01-01

    This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been speci...

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

  12. Exploiting thesauri knowledge in medical guideline formalization

    OpenAIRE

    Serban, R.C.; ten Teije, A.C.M.

    2009-01-01

    Objectives: As in software product lifecycle, the effort spent in maintaining medical knowl edge in guidelines can be reduced, if modularization, formalization and tracking of domain knowledge are employed across the guideline development phases. Methods: We propose to exploit and combine knowledge templates with medical background knowledge from existing thesauri in order to produce reusable building blocks used in guideline development. These tem- plates enable easier guideline formalizatio...

  13. Generalized operator canonical formalism and gauge invariance

    International Nuclear Information System (INIS)

    Fradkina, T.E.

    1988-01-01

    A direct proof is given in the functional representation of the invariance of the S-matrix constructed in the framework of the generalized operator canonical formalism. We find the traditional functional expression for the S-matrix (without point-splitting in the time factor) in the generalized phase space, as well as in the ghost configuration space. An explicit expression is obtained for the effective unitarizing Hamiltonian for gauge theories with constraints of arbitrary rank

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

  15. Nonextensive formalism and continuous Hamiltonian systems

    International Nuclear Information System (INIS)

    Boon, Jean Pierre; Lutsko, James F.

    2011-01-01

    A recurring question in nonequilibrium statistical mechanics is what deviation from standard statistical mechanics gives rise to non-Boltzmann behavior and to nonlinear response, which amounts to identifying the emergence of 'statistics from dynamics' in systems out of equilibrium. Among several possible analytical developments which have been proposed, the idea of nonextensive statistics introduced by Tsallis about 20 years ago was to develop a statistical mechanical theory for systems out of equilibrium where the Boltzmann distribution no longer holds, and to generalize the Boltzmann entropy by a more general function S q while maintaining the formalism of thermodynamics. From a phenomenological viewpoint, nonextensive statistics appeared to be of interest because maximization of the generalized entropy S q yields the q-exponential distribution which has been successfully used to describe distributions observed in a large class of phenomena, in particular power law distributions for q>1. Here we re-examine the validity of the nonextensive formalism for continuous Hamiltonian systems. In particular we consider the q-ideal gas, a model system of quasi-particles where the effect of the interactions are included in the particle properties. On the basis of exact results for the q-ideal gas, we find that the theory is restricted to the range q<1, which raises the question of its formal validity range for continuous Hamiltonian systems.

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

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

  18. Forms of global governence

    Directory of Open Access Journals (Sweden)

    Maxim V. Kharkevich

    2014-01-01

    Full Text Available Global governance as a concept defines the meaning of contemporary world politics both as a discipline and as reality. Interdependent and globalized world requires governance, and a global government has not been formed yet. The theoretical possibility of global governance without global government is proved and justified. The purpose of this article is to analytically identify possible forms of global governance. Three such forms of global governance are identified: hierarchical, market and network. In a hierarchy the governance is due to the asymmetry of power between the parties. Market control happens via anonymous pricing mechanism. Network, in contrast to the market is characterized by a closer value link between the actors, but unlike the hierarchical relationship actors are free to leave the network. Global governance takes three forms and is being implemented by different actors. To determine the most efficient form of global governance is impossible. Efficiency depends on the match between a form and an object of government. It should be noted that meta governance is likely to remain a monopoly of institutionally strong states in global governance.

  19. Governance and Women's Economic and Political Participation : Power Inequalities, Formal Constraints and Norms

    OpenAIRE

    Milazzo, Annamaria; Goldstein, Markus

    2017-01-01

    What role do institutional constraints and social norms play in determining persistent gender gapsin economic and political participation and have institutional reforms been successful in reducing these gaps? This paper argues that, at the roots of current gender inequalities, there are traditional patriarchal social structures in which power is unequally distributed, with men traditionall...

  20. Formal institutions, local arrangements and conflicts in Northern Bolivian communities after forest governance reforms

    NARCIS (Netherlands)

    Cano Cardona, W.

    2012-01-01

    In the last decades, community forest management (CFM) has become an alternative to reach important objectives related to forests sustainability and the improvement of forest dwellers’ wellbeing. In many countries the recognition and development of specific CFM models has been closely related to

  1. Effectiveness of groundwater governance structures and institutions in Tanzania

    Science.gov (United States)

    Gudaga, J. L.; Kabote, S. J.; Tarimo, A. K. P. R.; Mosha, D. B.; Kashaigili, J. J.

    2018-05-01

    This paper examines effectiveness of groundwater governance structures and institutions in Mbarali District, Mbeya Region. The paper adopts exploratory sequential research design to collect quantitative and qualitative data. A random sample of 90 groundwater users with 50% women was involved in the survey. Descriptive statistics, Kruskal-Wallis H test and Mann-Whitney U test were used to compare the differences in responses between groups, while qualitative data were subjected to content analysis. The results show that the Village Councils and Community Water Supply Organizations (COWSOs) were effective in governing groundwater. The results also show statistical significant difference on the overall extent of effectiveness of the Village Councils in governing groundwater between villages ( P = 0.0001), yet there was no significant difference ( P > 0.05) between male and female responses on the effectiveness of Village Councils, village water committees and COWSOs. The Mann-Whitney U test showed statistical significant difference between male and female responses on effectiveness of formal and informal institutions ( P = 0.0001), such that informal institutions were effective relative to formal institutions. The Kruskal-Wallis H test also showed statistical significant difference ( P ≤ 0.05) on the extent of effectiveness of formal institutions, norms and values between low, medium and high categories. The paper concludes that COWSOs were more effective in governing groundwater than other groundwater governance structures. Similarly, norms and values were more effective than formal institutions. The paper recommends sensitization and awareness creation on formal institutions so that they can influence water users' behaviour to govern groundwater.

  2. Annotated bibliography of scientific research on greater sage-grouse published since January 2015

    Science.gov (United States)

    Carter, Sarah K.; Manier, Daniel J.; Arkle, Robert S.; Johnston, Aaron; Phillips, Susan L.; Hanser, Steven E.; Bowen, Zachary H.

    2018-02-14

    The greater sage-grouse (Centrocercus urophasianus; hereafter GRSG) has been a focus of scientific investigation and management action for the past two decades. The 2015 U.S. Fish and Wildlife Service listing determination of “not warranted” was in part due to a large-scale collaborative effort to develop strategies to conserve GRSG populations and their habitat and to reduce threats to both. New scientific information augments existing knowledge and can help inform updates or modifications to existing plans for managing GRSG and sagebrush ecosystems. However, the sheer number of scientific publications can be a challenge for managers tasked with evaluating and determining the need for potential updates to existing planning documents. To assist in this process, the U.S. Geological Survey (USGS) has reviewed and summarized the scientific literature published since January 1, 2015.To identify articles and reports published about GRSG, we first conducted a structured search of three reference databases (Web of Science, Scopus, and Google Scholar) using the search term “greater sage-grouse.” We refined the initial list of products by (1) removing duplicates, (2) excluding products that were not published as research or scientific review articles in peer-reviewed journals or as formal government technical reports, and (3) retaining only those products for which GRSG or their habitat was a research focus.We summarized the contents of each product by using a consistent structure (background, objectives, methods, location, findings, and implications) and assessed the content of each product relevant to a list of 31 management topics. These topics include GRSG biology and habitat characteristics along with potential management actions, land uses, and environmental factors related to GRSG management and conservation. We also noted which articles/reports created new geospatial data.The final search was conducted on January 6, 2018, and application of our criteria

  3. Appeal for legislation on greater safety.

    Science.gov (United States)

    Baillie, Jonathan

    2011-10-01

    An Essex-headquartered company which claims to manufacture the world's leading "brand" of glass vision panel, is calling for legislation to regulate the quality and design of such products. With no statutory governance currently in place, it is concerned that a rash of badly-designed, poorer quality variants, that it says have emerged in recent years, pose a significant self-harm and ligature risk to mentally unwell patients in hospitals, and a potential danger to staff when components like internal fittings and the glass itself, especially should the latter be too thin and thus easy to break, are used as "weapons". HEJ editor Jonathan Baillie reports.

  4. The orthopaedist's role in healthcare system governance.

    Science.gov (United States)

    Probe, Robert A

    2013-06-01

    Historically, physicians as participants in healthcare governance were shunned because of perceived potential for conflict of interest. This maxim is being revisited as health systems begin to appreciate the value presented by physician leaders. This overview of the orthopaedist's role in healthcare governance will be addressed in three sections: first to identify the need for change in American healthcare, second to examine the role that physicians should play in governing over this inevitable change, and third to outline strategies for effective participation for those physicians wishing to play a role in healthcare governance. The PubMed data set was queried applying the search commands "governance AND (healthcare OR hospital) AND (doctor OR physician OR surgeon)" for the time period 1969 to 2012. In addition, the bibliographies of relevant articles were reviewed. This search strategy returned 404 titles. Abstract and article review identified 19 relevant to the topic. Bibliographic review identified five more articles of relevance forming the foundation for this review. The delivery of American health care will require change to face current economic realities. Organizations that embrace this change guided by the insight of physician governors are well positioned to recognize the simultaneous improvement in value and quality. Although few physicians are formally trained for these roles, multiple paths to becoming effective governors are available. In this environment of rapid change in healthcare delivery, the medical insight of physician leadership will prove invaluable. Governing bodies should reach out to talented physicians and administratively talented physicians should rise to this challenge.

  5. Government and Business

    DEFF Research Database (Denmark)

    Campbell, John L.

    2015-01-01

    There is a vast literature about the relationships between government and business in advanced capitalist societies.......There is a vast literature about the relationships between government and business in advanced capitalist societies....

  6. Nordic Corporate Governance Revisited

    DEFF Research Database (Denmark)

    Thomsen, Steen

    2016-01-01

    This paper reviews the key elements of the Nordic governance model, which include a distinct legal system, high governance ratings and low levels of corruption. Other characteristics include concentrated ownership, foundation ownership, semi two-tier board structures, employee representation...

  7. Exploring Knowledge Governance

    DEFF Research Database (Denmark)

    Foss, Nicolai Juul; Mahoney, Joseph T

    Knowledge governance is characterized as a distinctive research subject, the understanding of which cuts across diverse fields in management. In particular, it represents an intersection of knowledge management, strategic management, and theories of the firm. Knowledge governance considers how de...

  8. Transformative environmental governance

    Science.gov (United States)

    Chaffin, Brian C.; Garmestani, Ahjond S.; Gunderson, Lance H.; Harm Benson, Melinda; Angeler, David G.; Arnold, Craig Anthony (Tony); Cosens, Barbara; Kundis Craig, Robin; Ruhl, J.B.; Allen, Craig R.

    2016-01-01

    Transformative governance is an approach to environmental governance that has the capacity to respond to, manage, and trigger regime shifts in coupled social-ecological systems (SESs) at multiple scales. The goal of transformative governance is to actively shift degraded SESs to alternative, more desirable, or more functional regimes by altering the structures and processes that define the system. Transformative governance is rooted in ecological theories to explain cross-scale dynamics in complex systems, as well as social theories of change, innovation, and technological transformation. Similar to adaptive governance, transformative governance involves a broad set of governance components, but requires additional capacity to foster new social-ecological regimes including increased risk tolerance, significant systemic investment, and restructured economies and power relations. Transformative governance has the potential to actively respond to regime shifts triggered by climate change, and thus future research should focus on identifying system drivers and leading indicators associated with social-ecological thresholds.

  9. Practice of good governance and corporate governance

    OpenAIRE

    Bălăceanu Cristina; Predonu Andreea – Monica

    2010-01-01

    Corporate governance reforms are occurring in countries around the globe and potentially impacting the population of the entire planet. In developing countries, such reforms occur in a larger context that is primarily defined by previous attempts at promoting “development” and recent processes of economic globalization. In this context, corporate governance reforms (in combination with the liberalising reforms associated with economic globalization), in effect re...

  10. The Knowledge Governance Approach

    DEFF Research Database (Denmark)

    Foss, Nicolai J.

    with diverse capabilities of handling these transactions. Various open research issues that a knowledge governance approach may illuminate are sketched. Although knowledge governance draws clear inspiration from organizational economics and `rational' organization theory, it recognizes that knowledge......An attempt is made to characterize a `knowledge governance approach' as a distinctive, emerging field that cuts across the fields of knowledge management, organisation studies, strategy and human resource management. Knowledge governance is taken up with how the deployment of administrative...

  11. Project governance: selected South African government experiments

    Directory of Open Access Journals (Sweden)

    G. van der Walt

    2008-07-01

    Full Text Available Some form of accountability and power structure binds all organisations. Such structures are typically referred to as the “governance” structure of the organisation. In organisations that have relatively mature project applications and methodologies in place, governance mechanisms are established on more permanent bases. With its focus on performance, results and outcomes, project governance establishes decision-making structures, as well as accountability and responsibility mechanisms in public institutions to oversee projects. As government institutions increasingly place emphasis on project applications for policy implementation and service delivery initiatives, mechanisms or structures should be established to facilitate clear interfaces between the permanent organisation and the temporary project organisation. Such mechanisms or structures should enhance the governance of projects, that is, the strategic alignment of projects, the decentralisation of decision- making powers, rapid resource allocation, and the participation of external stakeholders. The purpose of this article is to explore the concept “project governance”, and to highlight examples of project governance as applied in selected government departments in provincial and national spheres. This would enable the establishment of best practice examples and assist to develop benchmarks for effective project applications for service delivery improvement.

  12. The essence of governance in health development

    Directory of Open Access Journals (Sweden)

    Kirigia Joses

    2011-03-01

    Full Text Available Abstract Background Governance and leadership in health development are critically important for the achievement of the health Millennium Development Goals (MDGs and other national health goals. Those two factors might explain why many countries in Africa are not on track to attain the health MDGs by 2015. This paper debates the meaning of 'governance in health development', reviews briefly existing governance frameworks, proposes a modified framework on health development governance (HDG, and develops a HDG index. Discussion We argue that unlike 'leadership in health development', 'governance in health development' is the sole prerogative of the Government through the Ministry of Health, which can choose to delegate (but not abrogate some of the governance tasks. The general governance domains of the UNDP and the World Bank are very pertinent but not sufficient for assessment of health development governance. The WHO six domains of governance do not include effective external partnerships for health, equity in health development, efficiency in resource allocation and use, ethical practises in health research and service provision, and macroeconomic and political stability. The framework for assessing health systems governance developed by Siddiqi et al also does not include macroeconomic and political stability as a separate principle. The Siddiqi et al framework does not propose a way of scoring the various governance domains to facilitate aggregation, inter-country comparisons and health development governance tracking over time. This paper argues for a broader health development governance framework because other sectors that assure human rights to education, employment, food, housing, political participation, and security combined have greater impact on health development than the health systems. It also suggests some amendments to Siddigi et al's framework to make it more relevant to the broader concept of 'governance in health development

  13. The essence of governance in health development.

    Science.gov (United States)

    Kirigia, Joses Muthuri; Kirigia, Doris Gatwiri

    2011-03-28

    Governance and leadership in health development are critically important for the achievement of the health Millennium Development Goals (MDGs) and other national health goals. Those two factors might explain why many countries in Africa are not on track to attain the health MDGs by 2015. This paper debates the meaning of 'governance in health development', reviews briefly existing governance frameworks, proposes a modified framework on health development governance (HDG), and develops a HDG index. We argue that unlike 'leadership in health development', 'governance in health development' is the sole prerogative of the Government through the Ministry of Health, which can choose to delegate (but not abrogate) some of the governance tasks. The general governance domains of the UNDP and the World Bank are very pertinent but not sufficient for assessment of health development governance. The WHO six domains of governance do not include effective external partnerships for health, equity in health development, efficiency in resource allocation and use, ethical practises in health research and service provision, and macroeconomic and political stability. The framework for assessing health systems governance developed by Siddiqi et al also does not include macroeconomic and political stability as a separate principle. The Siddiqi et al framework does not propose a way of scoring the various governance domains to facilitate aggregation, inter-country comparisons and health development governance tracking over time.This paper argues for a broader health development governance framework because other sectors that assure human rights to education, employment, food, housing, political participation, and security combined have greater impact on health development than the health systems. It also suggests some amendments to Siddigi et al's framework to make it more relevant to the broader concept of 'governance in health development' and to the WHO African Region context. A strong

  14. Utilization of wind energy in greater Hanover

    International Nuclear Information System (INIS)

    Sahling, U.

    1993-01-01

    Since the beginning of the Eighties, the association of communities of Greater Hanover has dealt intensively with energy and ecopolitical questions in the scope of regional planning. Renewable energy sources play a dominant role in this context. This brochure is the third contribution to the subject ''Energy policy and environmental protection''. Experts as well as possibly interested parties are addressed especially. For all 8 contributions contained, separate entries have been recorded in this database. (BWI) [de

  15. Small cities face greater impact from automation

    OpenAIRE

    Frank, Morgan R.; Sun, Lijun; Cebrian, Manuel; Youn, Hyejin; Rahwan, Iyad

    2017-01-01

    The city has proven to be the most successful form of human agglomeration and provides wide employment opportunities for its dwellers. As advances in robotics and artificial intelligence revive concerns about the impact of automation on jobs, a question looms: How will automation affect employment in cities? Here, we provide a comparative picture of the impact of automation across U.S. urban areas. Small cities will undertake greater adjustments, such as worker displacement and job content su...

  16. Transformative environmental governance

    Science.gov (United States)

    Transformative governance is an approach to environmental governance that has the capacity to respond to, manage, and trigger regime shifts in coupled social-ecological systems (SESs) at multiple scales. The goal of transformative governance is to actively shift degraded SESs to ...

  17. The Greater Sekhukhune-CAPABILITY outreach project.

    Science.gov (United States)

    Gregersen, Nerine; Lampret, Julie; Lane, Tony; Christianson, Arnold

    2013-07-01

    The Greater Sekhukhune-CAPABILITY Outreach Project was undertaken in a rural district in Limpopo, South Africa, as part of the European Union-funded CAPABILITY programme to investigate approaches for capacity building for the translation of genetic knowledge into care and prevention of congenital disorders. Based on previous experience of a clinical genetic outreach programme in Limpopo, it aimed to initiate a district clinical genetic service in Greater Sekhukhune to gain knowledge and experience to assist in the implementation and development of medical genetic services in South Africa. Implementing the service in Greater Sekhukhune was impeded by a developing staff shortage in the province and pressure on the health service from the existing HIV/AIDS and TB epidemics. This situation underscores the need for health needs assessment for developing services for the care and prevention of congenital disorders in middle- and low-income countries. However, these impediments stimulated the pioneering of innovate ways to offer medical genetic services in these circumstances, including tele-teaching of nurses and doctors, using cellular phones to enhance clinical care and adapting and assessing the clinical utility of a laboratory test, QF-PCR, for use in the local circumstances.

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

  19. Beyond contracts : Governing structures in non-equity alliances

    NARCIS (Netherlands)

    Reuer, Jeffrey; Devarakonda, S.V.

    Non-equity alliances are often portrayed in the literature as purely contractual collaborative agreements. This paper questions the notion that contractual safeguards and incentives alone provide the formal governance mechanisms that undergird non-equity alliances. We argue and show that partners

  20. Prevalence of Adolescent Pregnancy in Ganye Local Government ...

    African Journals Online (AJOL)

    Adolescent pregnancy is formally defined as a pregnancy in a young woman who has not reached her 20th birthday when the pregnancy ends, regardless of whether the woman is married or is legally an adult. The prevalence of adolescent pregnancy in Ganye local government area, Adamawa state were assessed.

  1. Transforming Government Service

    DEFF Research Database (Denmark)

    Pedersen, Keld

    2017-01-01

    The Danish government has defined an ambitious e-government strategy aiming to increase both citizen centricity and the efficiency of government service production and delivery. This research uses dynamic capability theory to compare a highly successful and a less successful e-government program...... both aiming at realizing this strategy by reengineering back office processes and implement one-stop shopping. The research contributes to the e-government literature by identifying key differences between the two cases in terms of dynamic capabilities, by identifying the importance...

  2. Ethical and legal challenges in bioenergy governance

    DEFF Research Database (Denmark)

    Gamborg, Christian; Anker, Helle Tegner; Sandøe, Peter

    2014-01-01

    of regulatory measures and options). We present ethical and legal analyses of the current stalemate on bioenergy governance in the EU using two illustrative cases: liquid biofuels for transport and solid biomass-based bioenergy. The two cases disclose some similarities between these two factors......, but the remaining differences may partly explain, or justify, contrasting forms of governance. While there seems to be no easy way in which the EU and national governments can deal with the multiple sustainability issues raised by bioenergy, it is argued that failure to deal explicitly with the underlying value...... disagreements, or to make apparent the regulatory complexity, clouds the issue of how to move forward with governance of bioenergy. We suggest that governance should be shaped with greater focus on the role of value disagreements and regulatory complexity. There is a need for more openness and transparency...

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

  4. A formal mentorship program for faculty development.

    Science.gov (United States)

    Jackevicius, Cynthia A; Le, Jennifer; Nazer, Lama; Hess, Karl; Wang, Jeffrey; Law, Anandi V

    2014-06-17

    To describe the development, implementation, and evaluation of a formal mentorship program at a college of pharmacy. After extensive review of the mentorship literature within the health sciences, a formal mentorship program was developed between 2006 and 2008 to support and facilitate faculty development. The voluntary program was implemented after mentors received training, and mentors and protégés were matched and received an orientation. Evaluation consisted of conducting annual surveys and focus groups with mentors and protégés. Fifty-one mentor-protégé pairs were formed from 2009 to 2012. A large majority of the mentors (82.8%-96.9%) were satisfied with the mentorship program and its procedures. The majority of the protégés (≥70%) were satisfied with the mentorship program, mentor-protégé relationship, and program logistics. Both mentors and protégés reported that the protégés most needed guidance on time management, prioritization, and work-life balance. While there were no significant improvements in the proteges' number of grant submissions, retention rates, or success in promotion/tenure, the total number of peer-reviewed publications by junior faculty members was significantly higher after program implementation (mean of 7 per year vs 21 per year, p=0.03) in the college's pharmacy practice and administration department. A formal mentorship program was successful as measured by self-reported assessments of mentors and protégés.

  5. Governance and organizational theory

    Directory of Open Access Journals (Sweden)

    Carlos E. Quintero Castellanos

    2017-07-01

    Full Text Available The objective of this essay is to propose a way to link the theoretical body that has been weaved around governance and organizational theory. For this, a critical exposition is done about what is the theoretical core of governance, the opportunity areas are identified for the link of this theory with organizational theory. The essay concludes with a proposal for the organizational analysis of administrations in governance. The essay addresses with five sections. The first one is the introduction. In the second one, I present a synthesis of the governance in its current use. In the next one are presented the work lines of the good governance. In the fourth part, I show the organizational and managerial limits in the governance theory. The last part develops the harmonization proposal for the governance and organizational theories.

  6. Hard and Soft Governance

    DEFF Research Database (Denmark)

    Moos, Lejf

    2009-01-01

    of Denmark, and finally the third layer: the leadership used in Danish schools. The use of 'soft governance' is shifting the focus of governance and leadership from decisions towards influence and power and thus shifting the focus of the processes from the decision-making itself towards more focus......The governance and leadership at transnational, national and school level seem to be converging into a number of isomorphic forms as we see a tendency towards substituting 'hard' forms of governance, that are legally binding, with 'soft' forms based on persuasion and advice. This article analyses...... and discusses governance forms at several levels. The first layer is the global: the methods of 'soft governance' that are being utilised by transnational agencies. The second layer is the national and local: the shift in national and local governance seen in many countries, but here demonstrated in the case...

  7. Topological M Theory from Pure Spinor Formalism

    CERN Document Server

    Grassi, P A; Grassi, Pietro Antonio; Vanhove, Pierre

    2005-01-01

    We construct multiloop superparticle amplitudes in 11d using the pure spinor formalism. We explain how this construction reduces to the superparticle limit of the multiloop pure spinor superstring amplitudes prescription. We then argue that this construction points to some evidence for the existence of a topological M theory based on a relation between the ghost number of the full-fledged supersymmetric critical models and the dimension of the spacetime for topological models. In particular, we show that the extensions at higher orders of the previous results for the tree and one-loop level expansion for the superparticle in 11 dimensions is related to a topological model in 7 dimensions.

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

  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. Noncommutative gauge theories and Kontsevich's formality theorem

    International Nuclear Information System (INIS)

    Jurco, B.; Schupp, P.; Wess, J.

    2001-01-01

    The equivalence of star products that arise from the background field with and without fluctuations and Kontsevich's formality theorem allow an explicitly construction of a map that relates ordinary gauge theory and noncommutative gauge theory (Seiberg-Witten map.) Using noncommutative extra dimensions the construction is extended to noncommutative nonabelian gauge theory for arbitrary gauge groups; as a byproduct we obtain a 'Mini Seiberg-Witten map' that explicitly relates ordinary abelian and nonabelian gauge fields. All constructions are also valid for non-constant B-field, and even more generally for any Poisson tensor

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

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

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

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

  15. 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...... involves a single effective Hamiltonian and one effective Lindblad operator for each naturally occurring decay process. Simple expressions are derived for the effective operators which can be directly applied to reach effective equations of motion for the ground states. We compare our method...

  16. Does Formal Employment Reduce Informal Caregiving?

    Science.gov (United States)

    He, Daifeng; McHenry, Peter

    2016-07-01

    Using the Survey of Income and Program Participation, we examine the impact of formal employment on informal caregiving. We instrument for individual work hours with state unemployment rates. We find that, among women of prime caregiving ages (40-64 years), working 10% more hours per week reduces the probability of providing informal care by about 2 percentage points. The effects are stronger for more time-intensive caregiving and if care recipients are household members. Our results imply that work-promoting policies have the unintended consequence of reducing informal caregiving in an aging society. Copyright © 2015 John Wiley & Sons, Ltd. Copyright © 2015 John Wiley & Sons, Ltd.

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

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

  19. Greater happiness for a greater number: Is that possible in Austria?

    NARCIS (Netherlands)

    R. Veenhoven (Ruut)

    2011-01-01

    textabstractWhat is the final goal of public policy? Jeremy Bentham (1789) would say: greater happiness for a greater number. He thought of happiness as subjective enjoyment of life; in his words as “the sum of pleasures and pains”. In his time the happiness of the great number could not be measured

  20. Greater happiness for a greater number: Is that possible? If so how? (Arabic)

    NARCIS (Netherlands)

    R. Veenhoven (Ruut); E. Samuel (Emad)

    2012-01-01

    textabstractWhat is the final goal of public policy? Jeremy Bentham (1789) would say: greater happiness for a greater number. He thought of happiness as subjective enjoyment of life; in his words as “the sum of pleasures and pains”. In his time, the happiness of the great number could not be

  1. Greater happiness for a greater number: Is that possible in Germany?

    NARCIS (Netherlands)

    R. Veenhoven (Ruut)

    2009-01-01

    textabstractWhat is the final goal of public policy? Jeremy Bentham (1789) would say: greater happiness for a greater number. He thought of happiness as subjective enjoyment of life; in his words as “the sum of pleasures and pains”. In his time the Happiness of the great number could not be measured

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

    African Journals Online (AJOL)

    Religion Dept

    discussed the concept of non-formal education, entrepreneurship and development, non-formal ... introducing some developmental programmes such as poverty alleviation .... aesthetic, cultural and civic education for public enlightenment.

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

  4. Early Number Competencies of Children at the Start of Formal ...

    African Journals Online (AJOL)

    cce

    occupy a central position in the Primary Mathematics Curriculum in Ghana. ... The results of the study suggest that pupils possess varied abilities .... formal classroom instruction, to the use of memorised number facts and formal addition and.

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

  6. String operator formalism and functional intergal in the holomorphic representation

    International Nuclear Information System (INIS)

    Losev, A.S.; Morozov, A.Yu.; Rislyj, A.A.; Shatashvili, S.L.

    1989-01-01

    Connection between the continual integral over open Riemann surfaces and the operator formalism on closed Riemann surfaces is discussed. States of the operator formalism are the holomorphic representation of the continual integral

  7. Search for greater stability in nuclear regulation

    International Nuclear Information System (INIS)

    Asselstine, J.K.

    1985-01-01

    The need for greater stability in nuclear regulation is discussed. Two possible approaches for dealing with the problems of new and rapidly changing regulatory requirements are discussed. The first approach relies on the more traditional licensing reform initiatives that have been considered off and on for the past decade. The second approach considers a new regulator philosophy aimed at the root causes of the proliferation of new safety requirements that have been imposed in recent years. For the past few years, the concepts of deregulation and regulatory reform have been in fashion in Washington, and the commercial nuclear power program has not remained unaffected. Many look to these concepts to provide greater stability in the regulatory program. The NRC, the nuclear industry and the administration have all been avidly pursuing regulatory reform initiatives, which take the form of both legislative and administrative proposals. Many of these proposals look to the future, and, if adopted, would have little impact on currently operating nuclear power plants or plants now under construction

  8. Greater Sudbury fuel efficient driving handbook

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2009-12-15

    Reducing the amount of fuel that people use for personal driving saves money, improves local air quality, and reduces personal contributions to climate change. This handbook was developed to be used as a tool for a fuel efficient driving pilot program in Greater Sudbury in 2009-2010. Specifically, the purpose of the handbook was to provide greater Sudbury drivers with information on how to drive and maintain their personal vehicles in order to maximize fuel efficiency. The handbook also provides tips for purchasing fuel efficient vehicles. It outlines the benefits of fuel maximization, with particular reference to reducing contributions to climate change; reducing emissions of air pollutants; safe driving; and money savings. Some tips for efficient driving are to avoid aggressive driving; use cruise control; plan trips; and remove excess weight. Tips for efficient winter driving are to avoid idling to warm up the engine; use a block heater; remove snow and ice; use snow tires; and check tire pressure. The importance of car maintenance and tire pressure was emphasized. The handbook also explains how fuel consumption ratings are developed by vehicle manufacturers. refs., figs.

  9. Women at greater risk of HIV infection.

    Science.gov (United States)

    Mahathir, M

    1997-04-01

    Although many people believe that mainly men get infected with HIV/AIDS, women are actually getting infected at a faster rate than men, especially in developing countries, and suffer more from the adverse impact of AIDS. As of mid-1996, the Joint UN Program on AIDS estimated that more than 10 million of the 25 million adults infected with HIV since the beginning of the epidemic are women. The proportion of HIV-positive women is growing, with almost half of the 7500 new infections daily occurring among women. 90% of HIV-positive women live in a developing country. In Asia-Pacific, 1.4 million women have been infected with HIV out of an estimated total 3.08 million adults from the late 1970s until late 1994. Biologically, women are more vulnerable than men to infection because of the greater mucus area exposed to HIV during penile penetration. Women under age 17 years are at even greater risk because they have an underdeveloped cervix and low vaginal mucus production. Concurrent sexually transmitted diseases increase the risk of HIV transmission. Women's risk is also related to their exposure to gender inequalities in society. The social and economic pressures of poverty exacerbate women's risk. Prevention programs are discussed.

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

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

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

  13. FORMAL METHOD TO IMPLEMENT FUZZY REQUIREMENTS

    Directory of Open Access Journals (Sweden)

    MARLENE GONCALVES

    2012-01-01

    Full Text Available RESUMEN: Muchos requerimientos de usuario pueden involucrar criterios de preferencia expresados en el lenguaje natural por medio de términos difusos; éstos son llamados requerimientos difusos. Por otro lado, los lenguajes de consulta a bases de datos han sido extendidos incorporando la lógica difusa para manejar las preferencias de usuarios. Pocas de las metodologías conocidas para el desarrollo de aplicaciones sobre base de datos consideran las consultas difusas. En este trabajo, se propone un método para aplicaciones a bases de datos cuyo objetivo es desarrollar sistemas de software con soporte de consultas difusas. Lo novedoso de éste es la extensión al cálculo de tuplas para la especificación formal de consultas difusas. Además, el método incluye reglas de traducción de una especificación formal a una consulta en SQLf (structured query language + fuzzy logic, un lenguaje de consultas difusas sobre bases de datos precisas. Se ilustra su utilidad con la aplicación a un caso de estudio real.

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

  15. Group adaptation, formal darwinism and contextual analysis.

    Science.gov (United States)

    Okasha, S; Paternotte, C

    2012-06-01

    We consider the question: under what circumstances can the concept of adaptation be applied to groups, rather than individuals? Gardner and Grafen (2009, J. Evol. Biol.22: 659-671) develop a novel approach to this question, building on Grafen's 'formal Darwinism' project, which defines adaptation in terms of links between evolutionary dynamics and optimization. They conclude that only clonal groups, and to a lesser extent groups in which reproductive competition is repressed, can be considered as adaptive units. We re-examine the conditions under which the selection-optimization links hold at the group level. We focus on an important distinction between two ways of understanding the links, which have different implications regarding group adaptationism. We show how the formal Darwinism approach can be reconciled with G.C. Williams' famous analysis of group adaptation, and we consider the relationships between group adaptation, the Price equation approach to multi-level selection, and the alternative approach based on contextual analysis. © 2012 The Authors. Journal of Evolutionary Biology © 2012 European Society For Evolutionary Biology.

  16. A new member of the greater double-collared sunbird complex (Passeriformes: Nectariniidae) from the Eastern Arc Mountains of Africa

    DEFF Research Database (Denmark)

    Bowie, Rauri C. K.; Fjeldså, Jon; Kiure, Jacob

    2016-01-01

    a cautious approach and formally describe the Rubeho and Udzungwa greater double-collared sunbird population as a subspecies of Cinnyris whytei. This new sunbird taxon has been recorded only above 1700 m in scrub on the forest/grassland ecotone in a very restricted area in the Rubeho and Udzungwa Highlands...

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

  18. Sound Computational Interpretation of Formal Encryption with Composed Keys

    NARCIS (Netherlands)

    Laud, P.; Corin, R.J.; In Lim, J.; Hoon Lee, D.

    2003-01-01

    The formal and computational views of cryptography have been related by the seminal work of Abadi and Rogaway. In their work, a formal treatment of encryption that uses atomic keys is justified in the computational world. However, many proposed formal approaches allow the use of composed keys, where

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

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

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

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

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2018-01-01

    between unsatisfiable sets of clauses and finite semantic trees is formalized in Herbrand’s theorem. I discuss the difficulties that I had formalizing proofs of the lifting lemma found in the literature, and I formalize a correct proof. The completeness proof is by induction on the size of a finite...

  3. The governance of the European patent system:

    DEFF Research Database (Denmark)

    Borras, Susana

    2006-01-01

    at the formal and informal dimensions of interactions in economic systems. This is further developed into an analytical framework which is then used in the assessment of the structural features of the current European patent system, one of the most advanced, complex, and contested economic systems in Europe....... The conclusions elaborate on the normative implications regarding the current weaknesses of the European patent system, and examine the general theoretical implications of the findings, particularly looking at the effectiveness and legitimacy of technically complex governance systems....

  4. Small cities face greater impact from automation.

    Science.gov (United States)

    Frank, Morgan R; Sun, Lijun; Cebrian, Manuel; Youn, Hyejin; Rahwan, Iyad

    2018-02-01

    The city has proved to be the most successful form of human agglomeration and provides wide employment opportunities for its dwellers. As advances in robotics and artificial intelligence revive concerns about the impact of automation on jobs, a question looms: how will automation affect employment in cities? Here, we provide a comparative picture of the impact of automation across US urban areas. Small cities will undertake greater adjustments, such as worker displacement and job content substitutions. We demonstrate that large cities exhibit increased occupational and skill specialization due to increased abundance of managerial and technical professions. These occupations are not easily automatable, and, thus, reduce the potential impact of automation in large cities. Our results pass several robustness checks including potential errors in the estimation of occupational automation and subsampling of occupations. Our study provides the first empirical law connecting two societal forces: urban agglomeration and automation's impact on employment. © 2018 The Authors.

  5. Small cities face greater impact from automation

    Science.gov (United States)

    Sun, Lijun; Cebrian, Manuel; Rahwan, Iyad

    2018-01-01

    The city has proved to be the most successful form of human agglomeration and provides wide employment opportunities for its dwellers. As advances in robotics and artificial intelligence revive concerns about the impact of automation on jobs, a question looms: how will automation affect employment in cities? Here, we provide a comparative picture of the impact of automation across US urban areas. Small cities will undertake greater adjustments, such as worker displacement and job content substitutions. We demonstrate that large cities exhibit increased occupational and skill specialization due to increased abundance of managerial and technical professions. These occupations are not easily automatable, and, thus, reduce the potential impact of automation in large cities. Our results pass several robustness checks including potential errors in the estimation of occupational automation and subsampling of occupations. Our study provides the first empirical law connecting two societal forces: urban agglomeration and automation's impact on employment. PMID:29436514

  6. Planning for greater-confinement disposal

    International Nuclear Information System (INIS)

    Gilbert, T.L.; Luner, C.; Meshkov, N.K.; Trevorrow, L.E.; Yu, C.

    1984-01-01

    This contribution is a progress report for preparation of a document that will summarize procedures and technical information needed to plan for and implement greater-confinement disposal (GCD) of low-level radioactive waste. Selection of a site and a facility design (Phase I), and construction, operation, and extended care (Phase II) will be covered in the document. This progress report is limited to Phase I. Phase I includes determination of the need for GCD, design alternatives, and selection of a site and facility design. Alternative designs considered are augered shafts, deep trenches, engineered structures, high-integrity containers, hydrofracture, and improved waste form. Design considerations and specifications, performance elements, cost elements, and comparative advantages and disadvantages of the different designs are covered. Procedures are discussed for establishing overall performance objectives and waste-acceptance criteria, and for comparative assessment of the performance and cost of the different alternatives. 16 references

  7. Greater confinement disposal of radioactive wastes

    International Nuclear Information System (INIS)

    Trevorrow, L.E.; Gilbert, T.L.; Luner, C.; Merry-Libby, P.A.; Meshkov, N.K.; Yu, C.

    1985-01-01

    Low-level radioactive waste (LLW) includes a broad spectrum of different radionuclide concentrations, half-lives, and hazards. Standard shallow-land burial practice can provide adequate protection of public health and safety for most LLW. A small volume fraction (approx. 1%) containing most of the activity inventory (approx. 90%) requires specific measures known as greater-confinement disposal (GCD). Different site characteristics and different waste characteristics - such as high radionuclide concentrations, long radionuclide half-lives, high radionuclide mobility, and physical or chemical characteristics that present exceptional hazards - lead to different GCD facility design requirements. Facility design alternatives considered for GCD include the augered shaft, deep trench, engineered structure, hydrofracture, improved waste form, and high-integrity container. Selection of an appropriate design must also consider the interplay between basic risk limits for protection of public health and safety, performance characteristics and objectives, costs, waste-acceptance criteria, waste characteristics, and site characteristics

  8. Planning for greater-confinement disposal

    International Nuclear Information System (INIS)

    Gilbert, T.L.; Luner, C.; Meshkov, N.K.; Trevorrow, L.E.; Yu, C.

    1984-01-01

    This contribution is a progress report for preparation of a document that will summarize procedures and technical information needed to plan for and implement greater-confinement disposal (GCD) of low-level radioactive waste. Selection of a site and a facility design (Phase I), and construction, operation, and extended care (Phase II) will be covered in the document. This progress report is limited to Phase I. Phase I includes determination of the need for GCD, design alternatives, and selection of a site and facility design. Alternative designs considered are augered shafts, deep trenches, engineered structures, high-integrity containers, hydrofracture, and improved waste form. Design considerations and specifications, performance elements, cost elements, and comparative advantages and disadvantages of the different designs are covered. Procedures are discussed for establishing overall performance objecties and waste-acceptance criteria, and for comparative assessment of the performance and cost of the different alternatives. 16 refs

  9. The base of the iceberg: informal learning and its impact on formal and non-formal learning

    OpenAIRE

    Rogers, Alan

    2014-01-01

    The author looks at learning (formal, non-formal and informal) and examines the hidden world of informal (unconscious, unplanned) learning. He points out the importance of informal learning for creating tacit attitudes and values, knowledge and skills which influence (conscious, planned) learning - formal and non-formal. Moreover, he explores the implications of informal learning for educational planners and teachers in the context of lifelong learning. While mainly aimed at adult educators, ...

  10. Governance, Trust, and Taxes

    OpenAIRE

    Schrøter Joensen, Juanna; Weihe, Guðrið

    2013-01-01

    This paper examines the role of social capital (trust) vis-à-vis the propensity of a country to be a tax haven. The empirical analysis corroborates that better governed countries have a higher ceteris paribus probability to be tax havens. However, social capital counteracts the effect of governance quality. This effect is so strong that the partial effect of governance quality is reversed for countries with the trust index in the top quartile – making these high trust countries le...

  11. Civil Society and Governance

    DEFF Research Database (Denmark)

    Hulgård, Lars

    An illustration of how important the relationship is between civil society anbd governance. A short historic journey with four snapshots of times and situations that have provided interesting evidence about the connection between civil society and governance. My goal for the short historic journey...... is to make clear and hopefully even verify that providing knowledge about the impact of civil society and citizens’ participation on governance is one of the most urgent research tasks in the current period of time....

  12. Energy Efficiency Governance: Handbook

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2010-07-01

    This handbook has been written to assist EE practitioners, government officials and stakeholders to establish effective EE governance structures for their country. The handbook provides readers with relevant information in an accessible format that will help develop comprehensive and effective governance mechanisms. For each of the specific topics dealt with (see Figure 1 in the Handbook), the IEA offers guidelines for addressing issues, or directs readers to examples of how such issues have been dealt with by specific countries.

  13. Codes of Good Governance

    DEFF Research Database (Denmark)

    Beck Jørgensen, Torben; Sørensen, Ditte-Lene

    2013-01-01

    Good governance is a broad concept used by many international organizations to spell out how states or countries should be governed. Definitions vary, but there is a clear core of common public values, such as transparency, accountability, effectiveness, and the rule of law. It is quite likely......, transparency, neutrality, impartiality, effectiveness, accountability, and legality. The normative context of public administration, as expressed in codes, seems to ignore the New Public Management and Reinventing Government reform movements....

  14. Gobernanza Versus Gobierno Governance Versus Government

    Directory of Open Access Journals (Sweden)

    Dany-Robert Dufour

    2009-06-01

    Full Text Available El desplazamiento del término moderno de gobierno por el postmoderno de gobernanza, pone de manifiesto un nuevo lenguaje postmoderno en el que se deja entrever que ambas nociones, gobierno y gobernanza, tienden a oponerse. La gobernanza corporativa designa la toma del poder del capitalismo financiero sobre el capitalismo industrial, que no es otra cosa que, por un lado, propender por la rentabilidad máxima para los accionistas, valorizar todo en el mercado sin consideraciones morales, obligar a los actores a la búsqueda de riesgo permanente y flexibilizar las relaciones jerárquicas en la Administración de la empresa; y por el otro, la marginación de la clase obrera. La gobernanza ha llegado a los asuntos políticos convirtiéndose en modelo de gestión pública por excelencia, ella trata que el gobierno reducido a su mínima expresión guie a una sociedad civil que adquiere un papel importante en la creación y seguimiento de las diferentes políticas, es decir, que el gobierno adquiere una forma flexible de regulación, es allá donde la gobernanza política nos conduce, a la supuesta autorregulación de los intereses privados que sumados pasan a configurar el interés general. En realidad se trata de una nueva forma de dominación marcada por un desvanecimiento político, donde la sociedad civil juega en contra del Estado. La gobernanza le está tendiendo una temible trampa a la democracia, en tanto se presenta como una ampliación de la democracia materializada en una mejor participación de la sociedad civil, destruyendo la persona pública que se forma por la unión de todos los otros y convirtiéndola en representante de intereses particulares.The displacement of the modern term of government for the postmodern one of governance, reveals a new postmodern language in which one is left to guess that both notions, government and governance, tend to be opposed. Corporate governance signifies the seizure of power of financial capitalism

  15. E-Government Partnerships Across Levels of Government

    OpenAIRE

    Charbit, Claire; Michalun, Varinia

    2009-01-01

    E-government Partnerships across Levels of Government, is an overview of the challenges and approaches to creating a collaborative and cooperative partnership across levels of government for e-government development and implementation.

  16. Sustainability and Convergence: The Future of Corporate Governance Systems?

    Directory of Open Access Journals (Sweden)

    Daniela M. Salvioni

    2016-11-01

    Full Text Available In today’s world, a sustainable approach to corporate governance can be a source of competitive advantage and a long-term success factor for any firm. Sustainable governance requires that the board of directors considers economic, social and environmental expectations in an integrated way, no matter what ownership structure and formal rules of corporate governance apply to the company: this mitigates the traditional differences between insider and outsider systems of corporate governance. Previous studies failed to consider the contribution of sustainability in the process of corporate governance convergence. Therefore, the aim of this article is to fill the gap in the existing literature by means of a qualitative analysis, supporting the international debate about convergence of corporate governance systems. The article describes the evolution of outsider and insider systems in the light of the increasing importance of sustainability in the board’s decision-making and firm’s operation to satisfy the needs of all the company’s stakeholders. According to this, a qualitative content analysis developed with a directed approach completes the theoretical discussion, demonstrating that sustainability can bring de facto convergence between outsider and insider corporate governance systems. The article aims to be a theoretical starting point for future research, the findings of which could also have practical implications: the study encourages the policy makers to translate the sustainable business best practices into laws and recommendations, strengthening the mutual influence between formal and substantial convergence.

  17. Governance, Trust and Taxes

    DEFF Research Database (Denmark)

    Weihe, Guri; Joensen, E. Juanna Schröter

    This paper examines the role of social capital (trust) vis-à-vis the propensity of a country to be a tax haven. The empirical analysis corroborates that better governed countries have a higher ceteris paribus probability to be tax havens. However, social capital counteracts the effect of governance...... quality. This effect is so strong that the partial effect of governance quality is reversed for countries with the trust index in the top quartile – making these high trust countries less likely to be tax havens – even as governance quality is increased. Thus it is crucial to consider the interaction...

  18. Decision making in goverment tenders: A formalized qualitative model

    Directory of Open Access Journals (Sweden)

    Štěpán Veselý

    2012-01-01

    Full Text Available The paper presents a simple formalized qualitative model of government tenders (GTs. Qualitative models use just three values: Positive/Increasing, Zero/Constant and Negative/Decreasing. Such quantifiers of trends are the least information intensive. Qualitative models can be useful, since GT evaluation often includes such goals as e.g. efficiency of public purchasing, and variables as e.g. availability of relevant information or subjectivity of judgment, that are difficult to quantify. Hence, a significant fraction of available information about GTs is not of numerical nature, e.g. if availability of relevant information is decreasing then efficiency of public purchasing is decreasing as well. Such equationless relations are studied in this paper. A qualitative model of the function F(Goals, Variables is developed. The model has four goal functions, eight variables, and 39 equationless relations. The model is solved and seven solutions, i.e. scenarios are obtained. All qualitative states, including first and second qualitative derivatives with respect to time, of all variables are specified for each scenario. Any unsteady state behavior of the GT model is described by its transitional oriented graph. There are eight possible transitions among seven scenarios. No a priori knowledge of qualitative modeling is required on the reader’s part.

  19. The formal and the formalized: the cases of syllogistic and supposition theory

    NARCIS (Netherlands)

    Dutilh Novaes, Catarina

    2015-01-01

    As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is

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

  1. Indigenous Knowledge and Education from the Quechua Community to School: Beyond the Formal/Non-Formal Dichotomy

    Science.gov (United States)

    Sumida Huaman, Elizabeth; Valdiviezo, Laura Alicia

    2014-01-01

    In this article, we propose to approach Indigenous education beyond the formal/non-formal dichotomy. We argue that there is a critical need to conscientiously include Indigenous knowledge in education processes from the school to the community; particularly, when formal systems exclude Indigenous cultures and languages. Based on ethnographic…

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

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

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

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

  6. Towards Safe Navigation by Formalizing Navigation Rules

    Directory of Open Access Journals (Sweden)

    Arne Kreutzmann

    2013-06-01

    Full Text Available One crucial aspect of safe navigation is to obey all navigation regulations applicable, in particular the collision regulations issued by the International Maritime Organization (IMO Colregs. Therefore, decision support systems for navigation need to respect Colregs and this feature should be verifiably correct. We tackle compliancy of navigation regulations from a perspective of software verification. One common approach is to use formal logic, but it requires to bridge a wide gap between navigation concepts and simple logic. We introduce a novel domain specification language based on a spatio-temporal logic that allows us to overcome this gap. We are able to capture complex navigation concepts in an easily comprehensible representation that can direcly be utilized by various bridge systems and that allows for software verification.

  7. University and non-formal education

    Directory of Open Access Journals (Sweden)

    Popescu Liliana Georgeta

    2017-01-01

    Full Text Available Young students place great importance on their personal, professional and educational development alike but in the same time are actively involved in leisure activities. Through non-formal and informal activities the university can help students to develop new skills, can change or increase certain preferences regarding cultural consumption, sports and recreational activities. This paper presents the results of a study based on students attending universities across three cities. It aims to demonstrate that during the years spent at university, students are significantly less influenced by their parents in terms of behaviour and cultural preferences; instead these aspects as well as recreational activities are undertaken by universities and their group of friends and colleagues. For a meaningful analysis and correct interpretation of data, specific tools of quality management were used.

  8. Enriching project organizations with formal change agents

    DEFF Research Database (Denmark)

    Eskerod, Pernille; Justesen, Just Bendix; Sjøgaard, Gisela

    2017-01-01

    Purpose: Project success requires effective and efficient cooperation between the project organization and the permanent organization in which the project takes place. The purpose of this paper is to discuss potentials and pitfalls from enriching project organizations by appointing peers as formal...... and middle and top management support are major determinants of success within change projects. To select change agents that the employees respect and can identify with, combined with top management prioritization, is important in order for the project organization to benefit from the additional role...... change agents. Design/methodology/approach: The paper is based on a literature review and a multiple-case study in which six organizations participated in an action-oriented research project. The aim for the organizations was to obtain a better health status among the employees by accomplishing...

  9. Quantum Hamiltonian reduction in superspace formalism

    International Nuclear Information System (INIS)

    Madsen, J.O.; Ragoucy, E.

    1994-02-01

    Recently the quantum Hamiltonian reduction was done in the case of general sl(2) embeddings into Lie algebras and superalgebras. The results are extended to the quantum Hamiltonian reduction of N=1 affine Lie superalgebras in the superspace formalism. It is shown that if we choose a gauge for the supersymmetry, and consider only certain equivalence classes of fields, then our quantum Hamiltonian reduction reduces to quantum Hamiltonian reduction of non-supersymmetric Lie superalgebras. The super energy-momentum tensor is constructed explicitly as well as all generators of spin 1 (and 1/2); thus all generators in the superconformal, quasi-superconformal and Z 2 *Z 2 superconformal algebras are constructed. (authors). 21 refs

  10. Biological formal counterparts of logical machines

    Energy Technology Data Exchange (ETDEWEB)

    Moreno-diaz, R; Hernandez Guarch, F

    1983-01-01

    The significance of the McCulloch-Pitts formal neural net theory (1943) is still nowadays frequently misunderstood, and their basic units are wrongly considered as factual models for neurons. As a consequence, the whole original theory and its later addenda are unreasonably criticized for their simplicity. But, as it was proved then and since, the theory is after the modular neurophysiological counterpart of logical machines, so that it actually provides biologically plausible models for automata, turing machines, etc., and not vice versa. In its true context, no theory has surpassed its proposals. In McCulloch and Pitts memoriam and for the sake of future theoretical research, the authors stress this important historical point, including also some recent results on the neurophysiological counterparts of modular arbitrary probabilistic automata. 16 references.

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

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

  13. Formalization and analysis of reasoning by assumption.

    Science.gov (United States)

    Bosse, Tibor; Jonker, Catholijn M; Treur, Jan

    2006-01-02

    This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate among different approaches to the reasoning. These properties have been automatically checked for the traces acquired in experiments undertaken. The approach turned out to be beneficial from two perspectives. First, checking characteristic properties contributes to the empirical validation of a theory on reasoning by assumption. Second, checking discriminating properties allows the analyst to identify different classes of human reasoners. 2006 Lawrence Erlbaum Associates, Inc.

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

  15. A Study of Faculty Governance Leaders' Perceptions of Online and Blended Learning

    Science.gov (United States)

    Ciabocchi, Elizabeth; Ginsberg, Amy; Picciano, Anthony

    2016-01-01

    This article reports the findings of a study on the perceptions of faculty governance leaders to online and blended learning. For the purposes of this study, faculty governance was defined as formally established bodies in colleges and universities such as senates, councils, and collective bargaining organizations that are affiliated with the…

  16. Exact classical scaling formalism for nonreactive processes

    International Nuclear Information System (INIS)

    DePristo, A.E.

    1981-01-01

    A general nonreactive collision system is considered with internal molecular variables (p, r) and/or (I, theta) of arbitrary dimensions and relative translational variables (P, R) of three or less dimensions. We derive an exact classical scaling formalism which relates the collisional change in any function of molecular variables directly to the initial values of these variables. The collision dynamics is then described by an explicit function of the initial point in the internal molecular phase space, for a fixed point in the relative translational phase space. In other words, the systematic variation of the internal molecular properties (e.g., actions and average internal kinetic energies) is given as a function of the initial internal action-angle variables. A simple three term approximation to the exact formalism is derived, the natural variables of which are the internal action I and internal linear momenta p. For the final average internal kinetic energies T, the result is T-T/sup( 0 ) = α+βp/sup( 0 )+γI/sup( 0 ), where the superscripted ''0'' indicates the initial value. The parameters α, β, and γ in this scaling theory are directly related to the moments of the change in average internal kinetic energy. Utilizing a very limited number of input moments generated from classical trajectory calculations, the scaling can be used to predict the entire distribution of final internal variables as a function of initial internal actions and linear momenta. Initial examples for atom--collinear harmonic oscillator collision systems are presented in detail, with the scaling predictions (e.g., moments and quasiclassical histogram transition probabilities) being generally very good to excellent quantitatively

  17. Assessing Centralized Governance in a Software Cluster

    Directory of Open Access Journals (Sweden)

    João Paulo Leonardo Oliveira

    2014-04-01

    Full Text Available Increasing attention has been paid to the creation of spatially concentrated environments (industrial agglomerations or clusters that aim at fostering firm-level competitiveness. However, while much has been said about clusters in general, less attention has been paid to structural governance within these agglomerations. This paper discusses the economic dynamics of clusters in the presence of centralized formal body of governance regarding internal and external relationships. We have carried out a case study of the key players in the software industry of Ribeirão Preto, which relies on an institutional arrangement called PISO. PISO arises as an economic institution in the context of Ribeirão Preto’s software cluster that structures collective action within the system, interfering in the regional policymaking processes and fostering an environment that improves overall capabilities that allow firms to take full advantage of the externalities in order to create and consolidate competitive local advantages.

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

  19. Urban acid deposition in Greater Manchester

    Energy Technology Data Exchange (ETDEWEB)

    Lee, D.S.; Longhurst, J.W.S.; Gee, D.R.; Hare, S.E. (Manchester Polytechnic, Manchester (UK). Acid Rain Information Centre)

    1989-08-01

    Data are presented from a monitoring network of 18 bulk precipitation collectors and one wet-only collector in the urban area of Greater Manchester, in the north west of England. Weekly samples were analysed for all the major ions in precipitation along with gaseous nitrogen dioxide concentrations from diffusion tubes. Statistical analysis of the data shows significant spatial variation of non marine sulphate, nitrate, ammonium, acidity and calcium concentrations, and nitrogen dioxide concentrations. Calcium is thought to be responsible for the buffering of acidity and is of local origin. Wet deposition is the likely removal process for calcium in the atmosphere and probably by below cloud scavenging. Nitrate and ammonium concentrations and depositions show close spatial, temporal and statistical association. Examination of high simultaneous episodes of nitrate and ammonium deposition shows that these depositions cannot be explained in terms of trajectories and it is suggested that UK emissions of ammonia may be important. Statistical analysis of the relationships between nitrate and ammonium depositions, concentrations and precipitation amount suggest that ammonia from mesoscale sources reacts reversibly with nitric acid aerosol and is removed by below cloud scavenging. High episodes of the deposition of non marine sulphate are difficult to explain by trajectory analysis alone, perhaps suggesting local sources. In a comparison between wet deposition and bulk deposition, it was shown that only 15.2% of the non marine sulphur was dry deposited to the bulk precipitation collector. 63 refs., 86 figs., 31 tabs.

  20. Paradoxes around good governance

    NARCIS (Netherlands)

    A.G. Dijkstra (Geske)

    2013-01-01

    textabstract Good governance is not a new concept Ambrogio Lorenzetti made his frescoes on good and bad governance already in the years 1338-1340 They can be viewed in the Palazzo Publicco on one of the most beautiful squares of the world, the Piazza del Campo in Siena, Italy I assume many of you

  1. Human-centred Governance

    DEFF Research Database (Denmark)

    Bason, Christian

    2017-01-01

    Design approaches are now being applied all over the world as a powerful approach to innovating public policies and services. Christian Bason, author of Leading public design: Discovering human-centred governance, argues that by bringing design methods into play, public managers can lead change...... with citizens at the centre, and discover a new model for steering public organisations: human-centred governance....

  2. Partnerships and Governance

    DEFF Research Database (Denmark)

    Damgaard, Bodil

    Three models of cooperation are outlined and their consequences for governance discussed, using case studies of local multisectoral collaboration on labour market related social policy - active social policy - in Denmark.......Three models of cooperation are outlined and their consequences for governance discussed, using case studies of local multisectoral collaboration on labour market related social policy - active social policy - in Denmark....

  3. Educational Governance in Denmark

    Science.gov (United States)

    Moos, Lejf

    2014-01-01

    Denmark has entered global competition by expanding collaboration with European countries, which is profoundly impacting the public sector and school governance. Relations between the state and institutions are transforming from traditional democratic, public-sector models of governance into new forms characterized as corporate and market-driven…

  4. Tension-filled Governance?

    DEFF Research Database (Denmark)

    Celik, Tim Holst

    on the statesituated tension-filled functional relationship between legitimation and accumulation, the study both historically and theoretically reworks this approach and reapplies it for the post-1970s/1990s governance period. It asks whether and to what extent governance has served as a distinctive post- 1970s/1990s...

  5. Benefit from the Government

    NARCIS (Netherlands)

    Evert Pommer; Jedid-Jah Jonker

    2003-01-01

    Original title: Profijt van de overheid. Income levels are determined to a considerable extent by the government, which exerts an influence through social security and taxation. The traditional purchasing power tables are a reflection of this. However, the influence of the government goes

  6. Global Governance, Educational Change

    Science.gov (United States)

    Mundy, Karen

    2007-01-01

    In the last half decade, a rising literature has focused on the idea that processes of economic, political and social globalization require analysis in terms of governance at the global level. It is argued in this article that emerging forms of global governance have produced significant challenges to conventional conceptions of international…

  7. Learning Democratic Global Governance.

    Science.gov (United States)

    Haavelsrud, Magnus

    1996-01-01

    Outlines a model process of developing knowledge from within different groups and cultures to allow more equitable participation of all world societies in the definition of global governance. Reviews concepts relevant to education's contributions toward learning and creating democratic global governance. Discusses the educational utility of…

  8. Governing EU employment policy

    DEFF Research Database (Denmark)

    Sørensen, Eva; Triantafillou, Peter; Damgaard, Bodil

    2015-01-01

    In the European Union (EU), employment policy is a prerogative of the member states. Therefore the EU's ability to govern in this area depends on its capability to involve national governments and relevant stakeholders in a collaborative effort to formulate and implement shared policy objectives....... of collaboration, the implementation phase mainly consists in the less demanding forms of cooperation and coordination....

  9. Tax administration good governance

    NARCIS (Netherlands)

    Végh, Gyöngyi; Gribnau, Hans

    2018-01-01

    There is no doubt that tax administration is a complex matter. It is institutionalised by a governance framework which is strongly influenced by legal traditions, state governance approaches, historical developments, and norms and values of society. While there are many common aspects of national

  10. Australian Government Information Resources

    OpenAIRE

    Chapman, Bert

    2017-01-01

    Provides an overview of Australian Government information resources. Features content from Australian Government agency websites such as the Department of Environment and Energy, Department of Defence, Australian National Maritime Museum, ANZAC Memorial in Sydney, Department of Immigration & Border Protection, Australian Bureau of Statistics, Australian Dept. of Agriculture and Water Resources, Australian Parliament, Australian Treasury, Australian Transport Safety Board, and Australian Parl...

  11. DOD Open Government

    Science.gov (United States)

    increase transparency and openness. We encourage you to explore other information on our website to learn Defense Search DOD Open Government: Home Open Government @ DoD Transparency Congressional Inquiries IT Dashboard.gov Regulations.gov Challenge.gov Performance.gov ForeignAssistance.gov Transparency

  12. Negotiating Collaborative Governance Designs

    DEFF Research Database (Denmark)

    Plotnikof, Mie

    2017-01-01

    This chapter addresses the design and implementation issues of collaborative governance, a public management practice aimed at involving stakeholders in problem-solving and public innovation.......This chapter addresses the design and implementation issues of collaborative governance, a public management practice aimed at involving stakeholders in problem-solving and public innovation....

  13. Using IT Governance

    Science.gov (United States)

    Brobst, Jan; Council, Chip

    2005-01-01

    The discussion in this article is intended to provide an examination of why top management, IT management, and internal auditors should be interested in IT governance. Some aspects of IT management will be described including implementation, auditing, availability, security, and alignment. One governance framework, COBIT, will be utilized as a…

  14. Governing through standards

    DEFF Research Database (Denmark)

    Brøgger, Katja

    This abstract adresses the ways in which new education standards have become integral to new modes of education governance. The paper explores the role of standards for accelerating the shift from national to transnational governance in higher education. Drawing on the case of higher education...

  15. Student Participation in Governance

    Science.gov (United States)

    Deegan, William L.; And Others

    1970-01-01

    The success of student government activities on any campus is significantly affected by the amount of student participation permitted in the institution's decision-making processes. The traditional" model of government--characterized by tokenism--often results in the separate jurisdictions" model-- characterized by fragmentation and interest…

  16. The governance of adaptation

    NARCIS (Netherlands)

    Huitema, Dave; Adger, William Neil; Berkhout, Frans; Massey, Eric; Mazmanian, Daniel; Munaretto, Stefania; Plummer, Ryan; Termeer, Katrien

    2016-01-01

    The governance of climate adaptation involves the collective efforts of multiple societal actors to address problems, or to reap the benefits, associated with impacts of climate change. Governing involves the creation of institutions, rules and organizations, and the selection of normative

  17. Making Government Liquid

    DEFF Research Database (Denmark)

    du Gay, Paul; Millo, Yuval; Tuck, Penelope

    2012-01-01

    The financialised character of contemporary rationalities of public governance has been the subject of increased attention within a range of disciplinary and interdisciplinary fields. With this paper we propose a particular analytical framework, focused on the notion of 'governance devices', for ...

  18. Digital Government and Public Health

    OpenAIRE

    Fountain, Jane E.

    2004-01-01

    Digital government is typically defined as the production and delivery of information and services inside government and between government and the public using a range of information and communication technologies. Two types of government relationships with other entities are government-to-citizen and government-to-government relationships. Both offer opportunities and challenges. Assessment of a public health agencys readiness for digital government includes examination of technical, manage...

  19. Energy Efficiency Governance

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2010-07-01

    The purpose of this report is to help EE practitioners, government officials and stakeholders to establish the most effective EE governance structures, given their specific country context. It also aims to provide readers with relevant and accessible information to support the development of comprehensive and effective governance mechanisms. The International Energy Agency (IEA) conducted a global review of many elements of EE governance,including legal frameworks, institutional frameworks, funding mechanisms, co-ordination mechanisms and accountability arrangements, such as evaluation and oversight. The research tools included a survey of over 500 EE experts in 110 countries, follow-up interviews of over 120 experts in 27 countries and extensive desk study and literature searches on good EE governance.

  20. Privacy and Open Government

    Directory of Open Access Journals (Sweden)

    Teresa Scassa

    2014-06-01

    Full Text Available The public-oriented goals of the open government movement promise increased transparency and accountability of governments, enhanced citizen engagement and participation, improved service delivery, economic development and the stimulation of innovation. In part, these goals are to be achieved by making more and more government information public in reusable formats and under open licences. This paper identifies three broad privacy challenges raised by open government. The first is how to balance privacy with transparency and accountability in the context of “public” personal information. The second challenge flows from the disruption of traditional approaches to privacy based on a collapse of the distinctions between public and private sector actors. The third challenge is that of the potential for open government data—even if anonymized—to contribute to the big data environment in which citizens and their activities are increasingly monitored and profiled.