Annual Report 2018

Total Page:16

File Type:pdf, Size:1020Kb

Annual Report 2018 Annual Report 2018 IST Austria scientists by The Scientists country of previous institution Austria 15.6% Germany 13.8% USA 11.1% of IST Austria UK 7.2% Spain 4.5% France 4.5% Italy 4.2% Scientists come from all over the world to conduct Switzerland 3.6% research at IST Austria. This map provides an overview Czech Republic 3.3% China 3.0% of the nationalities on campus. Russia 2.7% India 2.4% Other 24.1% North America Europe Asia Canada Austria Afghanistan Mexico Belgium China USA Bosnia and India Herzegovina Iran Bulgaria Israel Croatia Japan Cyprus Jordan Czech Republic Nepal Denmark Palestine Estonia Russia Finland Turkey France Vietnam Germany Greece Hungary Italy Lithuania Netherlands Poland Portugal Romania Serbia IST Austria scientists by nationality Slovakia Austria 15.6% Slovenia Germany 11.1% Spain Italy 5.7% South America Sweden Russia 5.1% Argentina Switzerland China 4.8% Bolivia Slovakia 4.5% UK Brazil Hungary 4.2% Ukraine India 4.2% Chile Poland 3.3% Colombia Czech Republic 3.3% France 3.0% Spain 2.7% UK 2.4% Oceania United States 2.4% Australia Other 27.7% Content Introduction Outreach & Events 4 Foreword by the President 70 Outreach and 6 Board Member Statements Science Education 72 Scientific Discourse Institute Development 8 10 Years IST Austria IST Austria's Future 18 A Decade of Growth 76 Technology Transfer 20 A Decade of Science 78 Donors 26 IST Austria at a Glance 28 Campus Life 81 Facts & Figures Education & Career 30 Career Options at IST Austria 32 PhD Students at IST Austria 38 Interns at IST Austria 40 Postdocs at IST Austria 42 IST Austria Alumni 44 New Professors Research & Work 48 Biology 50 Computer Science 52 Mathematics 54 Neuroscience 56 Physics 60 Scientific Service Units 62 Staff Scientists 66 Administration 2 3 Foreword Thomas A. Henzinger President, IST Austria Almost ten years ago, in June 2009, our campus in Remaining at the forefront of science requires cutting- Klosterneuburg was officially inaugurated and opened edge equipment and services. One of our largest its doors to welcome the first staff and scientists, investments so far, the Nobel prize-winning technology embarking on a path towards the ambitious goal of of cryo-electron microscopy, will be available for use becoming a beacon for scientific excellence in Austria on campus in early 2019. and worldwide. 2019 will be a year of celebration for us, as well as a year of reflection and planning, as we enter Construction on campus is progressing as planned. In the next phase of the Institute’s development. October, IST Austria held the groundbreaking ceremony for Lab Building Five, the future home of chemistry labo- The past decade has seen the campus grow into a pro- ratories, the Graduate School, and the Institute’s library. ductive, vibrant center for basic research of the highest Also, the winning projects for the sixth science building quality, as evidenced by the very encouraging figures and a campus visitor center were selected this year. The in this year’s annual Nature Index survey. Of all research latter will be the future home of the Institute’s outreach institutions established within the last 30 years, IST and educational activities; these will comprise a broad Austria is ranked eighth among the “rising stars” of the program including the hosting of school visits and world, the only institution outside of Asia to appear in the organization of regular events such as the Science the top ten. Another positive sign is our faculty’s con- Education Day, which took place for the first time in tinuing success in acquiring funding from the European 2018. Our technology transfer activities are also ramping Research Council (ERC), the premier funding source up: the construction of the IST Technology Park is for basic research in the EU. With 50% of the grant progressing rapidly, and the Institute’s incubator fund applications awarded, IST Austria has by far the highest is supporting its first two start-up companies. success rate in Europe among all research institutions hosting more than 30 ERC grantees. Currently, about This year has given us many reasons to be confident two thirds of our faculty have obtained at least one about the future of IST Austria. At the same time, we ERC grant, including two Starting Grants awarded in continue to depend on the strong support of our public 2018 to computer scientist Dan Alistarh and physicist and private partners. We are grateful to all donors, Mikhail Lemeshko. With Herbert Edelsbrunner, the supporters, and friends of IST Austria, especially the Institute hosts already the third Wittgenstein Award— Federal Minister of Science, Education, and Research, the highest honor of the Austrian Science Fund (FWF)— Heinz Faßmann, and the Governor of Lower Austria, in its first ten years. Johanna Mikl-Leitner, who have shown their steadfast commitment to our ambitious plans and to the Institute’s The campus community continues to grow: around 700 founding principles of excellence, internationality, and scientists and staff are currently employed, among them independence. The coming decade will present new four new faculty members. These new group leaders milestones to reach and new challenges to overcome, strengthen the Institute’s research profile in number and achieving our aspirations will also depend on theory, neurobiology, quantum physics, and soft-matter engaging new partners. With supporters both old and physics. The past year also saw two successful tenure new, we are eager to take on these challenges and con- evaluations: biologist Călin Guet and mathematician tinue to work towards becoming a globally recognized Uli Wagner were promoted to full professors. institution for basic science and doctoral education in Austria. In June, we celebrated the achievements of 18 new PhDs. In the past decade, a total of 60 students have obtained their doctoral degrees and left the Institute to pursue their next career steps. Our growing network of alumni have taken on positions in over 30 different countries, from Australia to Poland, and at organizations including Harvard University and Google. 4 5 Haim Harari Catherine Cesarsky Chair of the Executive Committee of the Board of Trustees, IST Austria, since 2006 Member of the Board of Trustees, IST Austria, since 2006; Former President, Weizmann Institute of Science, Rehovot, Israel member of the Scientific Board, IST Austria, 2007–2009 Chief Scientific Advisor, Former High Commissioner for Atomic Energy, CEA-Saclay, Gif-sur-Yvette, France More than fifty years ago, Sixth, permission to train students and grant degrees I was invited to participate in groups and play a role in the hiring of junior scientists. I began my studies towards in PhD and MSc programs. Seventh, no external political the Board of IST Austria very Soon, we realized that it took time and persuasion to an MSc degree at the Weizmann or business interference in the science and management early on, in 2006. I received convince senior professors to leave their institutions Institute in Israel. I have been of the organization. Eighth, an optimal rate of growth, the visionary report by Haim Harari, and move to the IST Austria campus, and thus the pace associated with that institute as a PhD allowing the creation of a critical mass in one new area Olaf Kübler, and Hubert Markl, and was of growth of the Institute could be compromised. We student, a young professor, department head, dean, after another, without compromising quality for the sake tremendously impressed with it. The report took decided to proceed faster than originally planned with president for 13 years, founder of several new enterprises of rapid growth. Ninth, contributing to the national and inspiration from the best proven practices of institutions the hiring of junior scientists, still keeping the original in and around it, and now as a partly retired, partly international economy and to human development, by from around the world—hiring practices like those at very high standards and betting on their promise as active “institute professor”. During those years, exploiting intellectual property created by the institute ETH Zurich, career paths similar to the US university future leaders. In the end, it worked out. Now that the I have sampled numerous European and American scientists, without allowing it to redirect research system, technology transfer and fundraising as pursued faculty of the Institute comprises more than 50 profes- research organizations, serving in many different capaci- programs away from basic science. Tenth, contributing by the Weizmann Institute of Science, and so on—and sors and assistant professors, it has become much ties and activities. I committed endless errors, learned to society in a variety of other ways, primarily by used them to shape a beautifully coherent proposal. easier to continue expanding the faculty. The excellence many lessons, and even took some successful steps advancing science education for young and old and Another essential ingredient was the independence of the hiring, at all levels, is reflected in the fact that and decisions. Among other countries, I became familiar bringing an awareness of science to every mind. of the Institute. I had been involved in many advisory IST Austria is the institute with the highest proportion of with the basic research landscape of Austria, and family committees of university departments and research ERC grantees, and by far, the highest rate of acceptance reasons attached me further to the country. When, at the In many ways, this blueprint is an approximate descrip- centers, but this was the first time I had a chance to of ERC proposals, among those institutes with over beginning of the new millennium, Anton Zeilinger started tion of the Weizmann Institute, an outstanding multidis- see an ambitious science institute born ex nihilo.
Recommended publications
  • Biology, Bioinformatics, Bioengineering, Biophysics, Biostatistics, Neuroscience, Medicine, Ophthalmology, and Dentistry
    Biology, Bioinformatics, Bioengineering, Biophysics, Biostatistics, Neuroscience, Medicine, Ophthalmology, and Dentistry This section contains links to textbooks, books, and articles in digital libraries of several publishers (Springer, Elsevier, Wiley, etc.). Most links will work without login on any campus (or remotely using the institution’s VPN) where the institution (company) subscribes to those digital libraries. For De Gruyter and the associated university presses (Chicago, Columbia, Harvard, Princeton, Yale, etc.) you may have to go through your institution’s library portal first. A red title indicates an excellent item, and a blue title indicates a very good (often introductory) item. A purple year of publication is a warning sign. Titles of Open Access (free access) items are colored green. The library is being converted to conform to the university virtual library model that I developed. This section of the library was updated on 06 September 2021. Professor Joseph Vaisman Computer Science and Engineering Department NYU Tandon School of Engineering This section (and the library as a whole) is a free resource published under Attribution-NonCommercial-NoDerivatives 4.0 International license: You can share – copy and redistribute the material in any medium or format under the following terms: Attribution, NonCommercial, and NoDerivatives. https://creativecommons.org/licenses/by-nc-nd/4.0/ Copyright 2021 Joseph Vaisman Table of Contents Food for Thought Biographies Biology Books Articles Web John Tyler Bonner Morphogenesis Evolution
    [Show full text]
  • Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Mathematical Foundations of Programming Semantics
    Submission Data for 2020-2021 CORE conference Ranking process International Conference on Mathematical Foundations of Programming Semantics Bartek Klin Conference Details Conference Title: International Conference on Mathematical Foundations of Programming Semantics Acronym : MFPS Requested Rank Rank: B Primarily CS Is this conference primarily a CS venue: True Location Not commonly held within a single country, set of countries, or region. DBLP Link DBLP url: https://dblp.org/db/conf/mfps/index.html FoR Codes For1: 4613 For2: SELECT For3: SELECT Recent Years Proceedings Publishing Style Proceedings Publishing: journal Link to most recent proceedings: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/347/suppl/C Further details: Proceedings published as volumes of Electronic Notes in Theoretical Computer Science, published by Elsevier. Most Recent Years Most Recent Year Year: 2019 URL: https://www.coalg.org/calco-mfps-2019/mfps/ Location: London, UK Papers submitted: 20 Papers published: 15 Acceptance rate: 75 Source for numbers: https://www.coalg.org/calco-mfps-2019/mfps/mfps-xxxv-list-of-accepted-papers/ General Chairs 1 No General Chairs Program Chairs Name: Barbara KÃűnig Affiliation: University of Duisburg-Essen, Germany Gender: F H Index: 27 GScholar url: https://scholar.google.com/citations?user=bcM7IuEAAAAJ DBLP url: Second Most Recent Year Year: 2018 URL: https://www.mathstat.dal.ca/mfps2018/ Location: Halifax, Canada Papers submitted: 24 Papers published: 16 Acceptance rate: 67 Source for
    [Show full text]
  • Part I Background
    Cambridge University Press 978-0-521-19746-5 - Transitions and Trees: An Introduction to Structural Operational Semantics Hans Huttel Excerpt More information PART I BACKGROUND © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-19746-5 - Transitions and Trees: An Introduction to Structural Operational Semantics Hans Huttel Excerpt More information 1 A question of semantics The goal of this chapter is to give the reader a glimpse of the applications and problem areas that have motivated and to this day continue to inspire research in the important area of computer science known as programming language semantics. 1.1 Semantics is the study of meaning Programming language semantics is the study of mathematical models of and methods for describing and reasoning about the behaviour of programs. The word semantics has Greek roots1 and was first used in linguistics. Here, one distinguishes among syntax, the study of the structure of lan- guages, semantics, the study of meaning, and pragmatics, the study of the use of language. In computer science we make a similar distinction between syntax and se- mantics. The languages that we are interested in are programming languages in a very general sense. The ‘meaning’ of a program is its behaviour, and for this reason programming language semantics is the part of programming language theory devoted to the study of program behaviour. Programming language semantics is concerned only with purely internal aspects of program behaviour, namely what happens within a running pro- gram. Program semantics does not claim to be able to address other aspects of program behaviour – e.g.
    [Show full text]
  • Estonian Academy of Sciences Yearbook 2018 XXIV
    Facta non solum verba ESTONIAN ACADEMY OF SCIENCES YEARBOOK FACTS AND FIGURES ANNALES ACADEMIAE SCIENTIARUM ESTONICAE XXIV (51) 2018 TALLINN 2019 This book was compiled by: Jaak Järv (editor-in-chief) Editorial team: Siiri Jakobson, Ebe Pilt, Marika Pärn, Tiina Rahkama, Ülle Raud, Ülle Sirk Translator: Kaija Viitpoom Layout: Erje Hakman Photos: Annika Haas p. 30, 31, 48, Reti Kokk p. 12, 41, 42, 45, 46, 47, 49, 52, 53, Janis Salins p. 33. The rest of the photos are from the archive of the Academy. Thanks to all authos for their contributions: Jaak Aaviksoo, Agnes Aljas, Madis Arukask, Villem Aruoja, Toomas Asser, Jüri Engelbrecht, Arvi Hamburg, Sirje Helme, Marin Jänes, Jelena Kallas, Marko Kass, Meelis Kitsing, Mati Koppel, Kerri Kotta, Urmas Kõljalg, Jakob Kübarsepp, Maris Laan, Marju Luts-Sootak, Märt Läänemets, Olga Mazina, Killu Mei, Andres Metspalu, Leo Mõtus, Peeter Müürsepp, Ülo Niine, Jüri Plado, Katre Pärn, Anu Reinart, Kaido Reivelt, Andrus Ristkok, Ave Soeorg, Tarmo Soomere, Külliki Steinberg, Evelin Tamm, Urmas Tartes, Jaana Tõnisson, Marja Unt, Tiit Vaasma, Rein Vaikmäe, Urmas Varblane, Eero Vasar Printed in Priting House Paar ISSN 1406-1503 (printed version) © EESTI TEADUSTE AKADEEMIA ISSN 2674-2446 (web version) CONTENTS FOREWORD ...........................................................................................................................................5 CHRONICLE 2018 ..................................................................................................................................7 MEMBERSHIP
    [Show full text]
  • From Semantics to Dialectometry
    Contents Preface ix Subjunctions as discourse markers? Stancetaking on the topic ‘insubordi- nate subordination’ Werner Abraham Two-layer networks, non-linear separation, and human learning R. Harald Baayen & Peter Hendrix John’s car repaired. Variation in the position of past participles in the ver- bal cluster in Duth Sjef Barbiers, Hans Bennis & Lote Dros-Hendriks Perception of word stress Leonor van der Bij, Dicky Gilbers & Wolfgang Kehrein Empirical evidence for discourse markers at the lexical level Jelke Bloem Verb phrase ellipsis and sloppy identity: a corpus-based investigation Johan Bos 7 7 Om-omission Gosse Bouma 8 Neural semantics Harm Brouwer, Mathew W. Crocker & Noortje J. Venhuizen 7 9 Liberating Dialectology J. K. Chambers 8 0 A new library for construction of automata Jan Daciuk 9 Generating English paraphrases from logic Dan Flickinger 99 Contents Use and possible improvement of UNESCO’s Atlas of the World’s Lan- guages in Danger Tjeerd de Graaf 09 Assessing smoothing parameters in dialectometry Jack Grieve 9 Finding dialect areas by means of bootstrap clustering Wilbert Heeringa 7 An acoustic analysis of English vowels produced by speakers of seven dif- ferent native-language bakgrounds Vincent J. van Heuven & Charlote S. Gooskens 7 Impersonal passives in German: some corpus evidence Erhard Hinrichs 9 7 In Hülle und Fülle – quantiication at a distance in German, Duth and English Jack Hoeksema 9 8 he interpretation of Duth direct speeh reports by Frisian-Duth bilin- guals Franziska Köder, J. W. van der Meer & Jennifer Spenader 7 9 Mining for parsing failures Daniël de Kok & Gertjan van Noord 8 0 Looking for meaning in names Stasinos Konstantopoulos 9 Second thoughts about the Chomskyan revolution Jan Koster 99 Good maps William A.
    [Show full text]
  • Current Issue of FACS FACTS
    Issue 2021-2 July 2021 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2021-2 July 2021 About FACS FACTS FACS FACTS (ISSN: 0950-1231) is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the BCS FACS website for further details at: https://www.bcs.org/membership/member-communities/facs-formal-aspects- of-computing-science-group/newsletters/ Back issues of FACS FACTS are available for download from: https://www.bcs.org/membership/member-communities/facs-formal-aspects- of-computing-science-group/newsletters/back-issues-of-facs-facts/ The FACS FACTS Team Newsletter Editors Tim Denvir [email protected] Brian Monahan [email protected] Editorial Team: Jonathan Bowen, John Cooke, Tim Denvir, Brian Monahan, Margaret West. Contributors to this issue: Jonathan Bowen, Andrew Johnstone, Keith Lines, Brian Monahan, John Tucker, Glynn Winskel BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: https://www.linkedin.com/groups/2427579/ Facebook: http://www.facebook.com/pages/BCS-FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Jonathan Bowen at [email protected]. 2 FACS FACTS Issue 2021-2 July 2021 Editorial Dear readers, Welcome to the 2021-2 issue of the FACS FACTS Newsletter. A theme for this issue is suggested by the thought that it is just over 50 years since the birth of Domain Theory1.
    [Show full text]
  • Proceedings Include Papers Addressing Different Topics According to the Current Students’ Interest in Informatics
    Copyright c 2019 FEUP Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any part of this work in other works must be obtained from the editors. 1st Edition, 2019 ISBN: 978-972-752-243-9 Editors: A. Augusto Sousa and Carlos Soares Faculty of Engineering of the University of Porto Rua Dr. Roberto Frias, 4200-465 Porto DSIE’19 SECRETARIAT: Faculty of Engineering of the University of Porto Rua Dr. Roberto Frias, s/n 4200-465 Porto, Portugal Telephone: +351 22 508 21 34 Fax: +351 22 508 14 43 E-mail: [email protected] Symposium Website: https://web.fe.up.pt/ prodei/dsie19/index.html FOREWORD STEERING COMMITTEE DSIE - Doctoral Symposium in Informatics Engineering, now in its 14th Edition, is an opportunity for the PhD students of ProDEI (Doctoral Program in Informatics Engineering of FEUP) and MAP-tel (Doctoral Program in Telecommunications of Universities of Minho, Aveiro and Porto) to show up and prove they are ready for starting their respective theses work. DSIE is a series of meetings that started in the first edition of ProDEI, in the scholar year 2005/06; its main goal has always been to provide a forum for discussion on, and demonstration of, the practical application of a variety of scientific and technological research issues, particularly in the context of information technology, computer science and computer engineering. DSIE Symposium comes out as a natural conclusion of a mandatory ProDEI course called "Methodologies for Scientific Research" (MSR), this year also available to MAP-tel students, leading to a formal assessment of the PhD students first year’s learned competencies on those methodologies.
    [Show full text]
  • From Theory to Practice of Algebraic Effects and Handlers
    Report from Dagstuhl Seminar 16112 From Theory to Practice of Algebraic Effects and Handlers Edited by Andrej Bauer1, Martin Hofmann2, Matija Pretnar3, and Jeremy Yallop4 1 University of Ljubljana, SI, [email protected] 2 LMU München, DE, [email protected] 3 University of Ljubljana, SI, [email protected] 4 University of Cambridge, GB, [email protected] Abstract Dagstuhl Seminar 16112 was devoted to research in algebraic effects and handlers, a chapter in the principles of programming languages which addresses computational effects (such as I/O, state, exceptions, nondeterminism, and many others). The speakers and the working groups covered a range of topics, including comparisons between various control mechanisms (handlers vs. delimited control), implementation of an effect system for OCaml, compilation techniques for algebraic effects and handlers, and implementations of effects in Haskell. Seminar March 13–18, 2016 – http://www.dagstuhl.de/16112 1998 ACM Subject Classification D.3 Programming Languages, D.3.3 Language Constructs and Features: Control structures, Polymorphism, F.3 Logics and Meanings of Programs, F.3.1 Specifying and Verifying and Reasoning about Programs, F.3.2 Semantics of Programming Languages, F.3.3 Studies of Program Constructs: Control primitives, Type structure Keywords and phrases algebraic effects, computational effects, handlers, implementation tech- niques, programming languages Digital Object Identifier 10.4230/DagRep.6.3.44 Edited in cooperation with Niels F. W. Voorneveld and Philipp G. Haselwarter 1 Executive Summary Andrej Bauer Martin Hofmann Matija Pretnar Jeremy Yallop License Creative Commons BY 3.0 Unported license © Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop Being no strangers to the Dagstuhl seminars we were delighted to get the opportunity to organize Seminar 16112.
    [Show full text]
  • Free-Algebra Models for the Π-Calculus
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Theoretical Computer Science 390 (2008) 248–270 www.elsevier.com/locate/tcs Free-algebra models for the π-calculus Ian Stark Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Scotland, United Kingdom Abstract The finite π-calculus has an explicit set-theoretic functor-category model that is known to be fully abstract for strong late bisimulation congruence. We characterize this as the initial free algebra for an appropriate set of operations and equations in the enriched Lawvere theories of Plotkin and Power. Thus we obtain a novel algebraic description for models of the π-calculus, and validate an existing construction as the universal such model. The algebraic operations are intuitive, covering name creation, communication of names over channels, and nondeterministic choice; the equations then combine these features in a modular fashion. We work in an enriched setting, over a “possible worlds” category of sets indexed by available names. This expands significantly on the classical notion of algebraic theories: we can specify operations that act only on fresh names, or have arities that vary as processes evolve. Based on our algebraic theory of π we describe a category of models for the π-calculus, and show that they all preserve bisimulation congruence. We develop a direct construction of free models in this category; and generalise previous results to prove that all free-algebra models are fully abstract. We show how local modifications to the theory can give alternative models for πI and the early π-calculus.
    [Show full text]
  • A Model of Cooperative Threads
    Introduction A Language for Cooperative Threads An Elementary Fully Abstract Denotational Semantics An Algebraic View of the Semantics Conclusions A Model of Cooperative Threads Martín Abadi Gordon Plotkin Microsoft Research, Silicon Valley LFCS, University of Edinburgh Logic Seminar, Stanford, 2008 Martín Abadi, Gordon Plotkin A Model of Cooperative Threads Introduction A Language for Cooperative Threads An Elementary Fully Abstract Denotational Semantics An Algebraic View of the Semantics Conclusions Outline 1 Introduction 2 A Language for Cooperative Threads 3 An Elementary Fully Abstract Denotational Semantics Denotational Semantics Adequacy and Full Abstraction 4 An Algebraic View of the Semantics The Algebraic Theory of Effects Resumptions Considered Algebraically Asynchronous Processes Considered Algebraically Processes Considered Algebraically 5 Conclusions Martín Abadi, Gordon Plotkin A Model of Cooperative Threads Introduction A Language for Cooperative Threads An Elementary Fully Abstract Denotational Semantics An Algebraic View of the Semantics Conclusions Cooperative Threads and AME Cooperative Threads run without interruption until they yield control. Interest in such threads has increased recently with the introduction of Automatic Mutual Exclusion (AME) and the problem of programming multicore systems. Martín Abadi, Gordon Plotkin A Model of Cooperative Threads Introduction A Language for Cooperative Threads An Elementary Fully Abstract Denotational Semantics An Algebraic View of the Semantics Conclusions What we do We describe a simple language for cooperative threads and give it a mathematically elementary fully abstract (may) semantics of sets of traces, being transition sequences of, roughly, the form: 0 0 u = (σ1; σ1) ::: (σm; σm) à la Abrahamson, the authors, Brookes etc, but adapted to incorporate thread spawning. Following the algebraic theory of effects, we characterise the semantics using a suitable inequational theory, thereby relating it to standard domain-theoretic notions of resumptions.
    [Show full text]
  • Non-Target Effects of Insect Biocontrol Agents and Trends in Host Specificity Since 1985
    CAB Reviews 2016 11, No. 044 Non-target effects of insect biocontrol agents and trends in host specificity since 1985 Roy Van Driesche*1 and Mark Hoddle2 Address: 1 Department of Environmental Conservation, University of Massachusetts, Amherst, MA 01003-9285, USA. 2 Department of Entomology, University of California, Riverside, CA 92521, USA. *Correspondence: Roy Van Driesche, Email: [email protected] Received: 6 October 2016 Accepted: 7 November 2016 doi: 10.1079/PAVSNNR201611044 The electronic version of this article is the definitive one. It is located here: http://www.cabi.org/cabreviews © CAB International 2016 (Online ISSN 1749-8848) Abstract Non-target impacts of parasitoids and predaceous arthropods used for classical biological control of invasive insects include five types of impact: (1) direct attacks on native insects; (2) negative foodweb effects, such as competition for prey, apparent competition, or displacement of native species; (3) positive foodweb effects that benefited non-target species; (4) hybridization of native species with introduced natural enemies; and (5) attacks on introduced weed biocontrol agents. Examples are presented and the commonness of effects discussed. For the most recent three decades (1985–2015), analysis of literature on the host range information for 158 species of parasitoids introduced in this period showed a shift in the third decade (2005–2015) towards a preponderance of agents with an index of genus-level (60%) or species-level (8%) specificity (with only 12% being assigned a family-level or above index of specificity) compared with the first and second decades, when 50 and 40% of introductions had family level or above categorizations of specificity and only 21–27 (1985–1994 and 1995–2004, respectively) with genus or 1–11% (1985–1994 and 1995–2004, respectively) with species-level specificity.
    [Show full text]
  • Des Bêtes... ” Jacques Prévert Et Ylla
    “ Des bêtes... ” Jacques Prévert et Ylla Maison Catalogue Jacques Prévert d’exposition Omonville-la-Petite Des bêtes… Jacques Prévert et Ylla Exposition du 9 avril 2011 au 12 mars 2012 Maison Jacques Prévert Omonville-la-Petite (Manche) Conseil général de la Manche - Direction des Sites et musées Ylla et un zèbre au zoo de Vincennes Jacques Prévert, Alexandre Trauner en arrière plan Ergy Landau, vers 1947, Vincennes Ylla, été 1948, Saint Paul de Vence Collection Pryor Dodge Collection Pryor Dodge © Ergy Landau / RAPHO © Ylla / RAPHO Sommaire Retour sur la rencontre entre le poète et la photographe animalière… 2 Jacques Prévert et Ylla : l’affi nité singulière des mots et du regard Une amitié transatlantique Le petit lion 6 Ode à l’imagination Des bêtes… 8 « Simplement la déchirante beauté de la vie » Prévert et les bêtes 10 Défenseur de la condition animale Ylla 12 Femme aventurière, photographe pionnière Du studio aux grands espaces 14 L’animal sous toutes ses coutures Les livres d’images d’Ylla 16 Des histoires à voir Pour la Maison Jacques Prévert, la réédition de Des bêtes… par Le cherche-midi éditeur est l’occasion de se pencher une nouvelle fois sur une création de Jacques Prévert en collaboration avec un autre artiste. Dans ce site patrimonial consacré aujourd’hui à la mise en valeur de l’univers de Jacques Prévert, une exposition propose chaque année d’explorer une facette de son travail, en particulier ses innombrables créations avec ses amis. Ces expositions s’élaborent en étroite concertation avec Fatras/Succession Jacques Prévert. Après le décorateur Alexandre Trauner, les surréalistes Georges Ribemont-Dessaignes et Max Ernst, l’imagière Jacqueline Duhême, puis André François en 2009 et la passion de Jacques Prévert pour la photographie en 2010, c’est au tour de la photographe animalière Ylla d’être à l’honneur à Omonville-la-Petite.
    [Show full text]