7,838 research outputs found

    On the Possible Transformation and Vanishment of Epistemic Objects

    Get PDF
    When considering the question of possible transformation and disappearance of scientific objects, it is useful to distinguish between epistemic and technical objects. This paper presents preliminary observations and offers a typology of obsolescence. It is based on several case studies drawn from the history of life sciences. The paper proceeds as follows: first, the dynamics of epistemic objects is considered through the examples of Carl Correns’ study of “xenia”, Alfred Kühn’s work on physiological developmental genetics, and Paul Zamecnik’s research on the protein biosynthesis. Second, the phasing out of technical objects is then separately discussed and illustrated by the example of radioactive tracing in biology – until recently, an established technique of visualization

    Proving Looping and Non-Looping Non-Termination by Finite Automata

    Get PDF
    A new technique is presented to prove non-termination of term rewriting. The basic idea is to find a non-empty regular language of terms that is closed under rewriting and does not contain normal forms. It is automated by representing the language by a tree automaton with a fixed number of states, and expressing the mentioned requirements in a SAT formula. Satisfiability of this formula implies non-termination. Our approach succeeds for many examples where all earlier techniques fail, for instance for the S-rule from combinatory logic

    Non-termination using Regular Languages

    Get PDF
    We describe a method for proving non-looping non-termination, that is, of term rewriting systems that do not admit looping reductions. As certificates of non-termination, we employ regular (tree) automata.Comment: Published at International Workshop on Termination 201

    Foreign direct investment and search unemployment : Theory and evidence

    Get PDF
    "This paper proposes a simple multi-industry trade model with search frictions in the labor market. Unimpeded access to global financial markets enables capital owners to invest abroad, thereby fostering unemployment at the extensive industry margin. Whether a country benefits from FDI in terms of unemployment depends on the respective country's net-FDI, measured as the difference between in- and outward FDI. The derived FDI and unemployment nexus is tested employing macroeconomic data for 19 OECD countries on unemployment, FDI, and labor market institutions. Results support the model in that net-FDI is robustly associated with lower rates of aggregate unemployment." (Author's abstract, IAB-Doku) ((en))Auslandsinvestitionen, Beschäftigungseffekte - internationaler Vergleich, Sucharbeitslosigkeit, Außenhandel, institutionelle Faktoren, Arbeitsmarktpolitik, friktionelle Arbeitslosigkeit, Wirtschaftszweige, Arbeitslosenquote, Arbeitskräftenachfrage, OECD

    Regulatory agencies and regulatory risk

    Get PDF
    The aim of this paper is to show that regulatory risk is due to the discretionary behaviour of regulatory agencies, caused by a too extensive regulatory mandate provided by the legislator. The normative point of reference and a behavioural model of regulatory agencies based on the positive theory of regulation are presented. Regulatory risk with regard to the future behaviour of regulatory agencies is modelled as the consequence of the ex ante uncertainty about the relative influence of interest groups in the regulatory process. The problem of regulatory risk is analysed separately in competitive network areas and in non-competitive network areas. For both cases a specific measure of regulatory risk is proposed. But measurement and compensation are different issues. The im-possibility of compensating for regulatory risk is demonstrated. Finally, the disaggregated regulatory mandate is presented as an institutional reform approach. --

    Reduction of regulatory risk: a network economic approach

    Get PDF
    Several definitions of regulatory risk are known from the literature. From the perspective of regulatory reform it is important to differentiate between the impact of a given regulatory scheme on the firm's risk exposure and the risk arising from discretionary behavior of regulatory agencies. Whereas the conse-quences of effective regulation in principle are known and accepted, excessive regulatory discretion may cause a strong need for regulatory reform. Regulatory reform focussing on the regulatory base risk and the regulatory instrument risk has to solve the problem of the optimal division of labour between regulatory discretion and statutory constraints. Therefore, in this paper the design of a disaggregated regulatory mandate is elaborated; its major elements being the restriction of regulation to monopolistic bottlenecks and a disaggregated appli-cation of sector-specific regulatory instruments. --
    corecore