DOCSLIB.ORG

Space and Internal Security

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Space and Internal Security Sp ace and Internal Security – Devel oping a Concept for the Use of Space Assets to Assure a Secure Europe Report 20, September 2009 Nina-Louisa REMUSS, ESPI DISCLAIMER This Report has been prepared for the client in accordance with the associated contract and ESPI will accept no liability for any losses or damages arising out of the provision of the report to third parties. Short Title: ESPI Report 20, September 2009 Ref.: P44-C20490-04 Editor, Publisher: ESPI European Space Policy Institute A-1030 Vienna, Schwarzenbergplatz 6, Austria http://www.espi.or.at Tel.: +43 1 718 11 18 - 0 Fax - 99 Copyright: ESPI, September 2009 Rights reserved - No part of this report may be reproduced or transmitted in any form or for any purpose without permission from ESPI. Citations and extracts to be published by other means are subject to mentioning “source: ESPI Report 20, September 2009. All rights reserved” and sample transmission to ESPI before publishing. Price: 11,00 EUR Printed by ESA/ESTEC Layout and Design: M. A. Jakob/ESPI and Panthera.cc Report 20, September 2009 2 Space and Internal Security TABLE OF CONTENTS List of Figures 5 Executive Summary 6 1. Introduction 11 1.1 The Setting 11 1.2 Institutional Development 12 1.3 Approach of the Study 13 2. The Policy Area of Internal Security 15 2.1 “Homeland Security” or “Internal Security”? Clarifying the Concept 15 2.2 Risk Assessment 17 2.3 The Three Phases of the Event Cycle 18 2.4 Threats to Internal Security: The three Critical Mission Areas 19 2.4.1 Critical Infrastructures 21 2.4.2 Transportation Security 22 2.4.3 Border Security 28 3. The Space Dimension: Technical Possibilities and Limitations 29 3.1 Intelligence, Early Warning and Risk Management 29 3.2 The three Critical Mission Areas 33 3.2.1 Critical Infrastructures 33 3.2.2 Transportation Security 36 3.2.3 Border Security 44 3.3 Preparedness for Emergency Management 46 3.4 Comparative Matrix 47 4. Internal Security and Space – A Comprehensive Status Report 50 4.1 The Domestic Threat Assessment 52 4.2 Existing Documents and Strategies 53 4.3 The Current Institutional Set-Up 57 4.3.1 European Union Institutions 57 4.3.2 European Union Agencies 62 4.3.3 Other European Agencies and Institutions 65 4.4 Measures for Intelligence, Early Warning and Risk Management 66 4.5 Activities in the three Critical Mission Areas 71 4.5.1 Critical Infrastructures 71 4.5.2 Transportation Security 79 4.5.3 Border Security 98 4.6 Preparedness for Emergency Management 105 4.7 Comparative Matrix 112 European Space Policy Institute 3 Report 20, September 2009 5. Developing a Concept for the Provision of Internal Security with the Support of Space Applications in Europe 116 5.1 Intelligence, Early Warning and Risk Management 116 5.2 The three Critical Mission Areas 117 5.2.1 Critical Infrastructures 117 5.2.2 Transportation Security 118 5.2.3 Border Security 122 5.3 Preparedness for Emergency Management 122 6. Conclusions and Recommendations 125 6.1 Formulating a Common European Approach to Internal Security through an Internal Security Strategy 126 6.2 Issues of Governance and Organisation 128 6.3 The Role of Space in a Comprehensive Internal Security Strategy of the EU 131 Annex 135 I. Funding and Personnel 135 II. Projects and Satellites Related to the Provision of Internal Security in Europe 137 List of Acronyms 228 Report 20, September 2009 4 Space and Internal Security List of Figures Figure 1: From Environment to Security 16 Figure 2: From Security to Defence 16 Figure 3: From Defence to Military Operations 16 Figure 4: Three Phases of the Event Cycle 18 Figure 5: Critical Mission Areas 19 Figure 6: Overview of the Areas under Analysis 20 Figure 7: Maritime Security and the Three Pillars of the European Union 26 Figure 8: U.N. Security Council presentation by Colin Powell's 2003 30 Figure 9: A satellite image of Iran's Natanz uranium enrichment facility 31 Figure 10: Example of Risk Mapping for Floods 32 Figure 11: Risk map for unexploded bombs of World War II 32 Figure 12: Change Detection in Nuclear Power Plant 33 Figure 13: Satellite Imagery of a Refinery and Derived Map 34 Figure 14: Example of optical imagery capability 39 Figure 15: The same 220 m long ship imaged by SPOT-5 and RADARSAT Fine 39 Figure 16: The AIS overall architecture 42 Figure 17: Coastal Monitoring showing illegal migrants gathering for departure 45 Figure 18: Terrasar-X image showing vehicle movement 46 Figure 19 and Figure 20: X-Band SAR showing vessel structure and enabling identification 46 Figure 21: Comparative Matrix on the Technical Capabilities of Space Applications for Internal Security 50 Figure 22: EUSC's GEOINT Working Structure 68 Figure 23: Categories of Projects for Intelligence Gathering 69 Figure 24: ORCHESTRA, OASIS and WIN Contribution to the Disaster and Emergency Cycle 70 Figure 25: Categories of Projects for Critical Infrastructure Protection 74 Figure 26: Beginning as a VATDIS ACTION : Example of a GIS Analysis as a Basis for a Vulnerability Map 76 Figure 27: Categories of Projects for Land Transportation Security 89 Figure 28: Categories of Projects for Waterborne Transportation Security 92 Figure 29: Categories of Projects for Border Security 103 Figure 30: Categories of Projects for Emergency Management 108 Figure 31: Comparative Matrix on Projects and Services for the Provision of Internal Security 115 Figure 32: Matrix summarising the findings and needs for action 124 Figure 33: Matrix summarising action items for the different actors 134 European Space Policy Institute 5 Report 20, September 2009 Executive Summary In recent years several steps have been The Context for Space taken to increase the role of space in and Internal Security counter-terrorism and organised crime. In this regard the Space and Security Panel of Experts (SPASEC) in 2004 reviewed, inter Space applications for security are being alia, the role of space in meeting the increasingly recognised. The use of space for objectives of the fight against terrorism and internal security, understood to comprise the organised crime. Its subsequent Report handling of civilian threats and terrorism, (March 2005) for the first time considered the remains, however, neglected. There is a support space-based applications could general lack of awareness of the potential of provide to counter-terrorism operations. The space applications for internal security. three year long “Preparatory Action for Consequently, questions and challenges such Security Research (PASR)” (2004-2007) as the coordination of national and European addressed “protection against terrorism” as efforts, the optimum institutional set up, the one of five main areas. PASR’s main objective interface with defence related aspects of was the development of a full-fledged security and the most efficient procedures for European civil security research programme using space applications, still need to be to be implemented as part of the 7th clarified. The lack of a space dimension for Framework Programme for Research and internal security is particularly striking, given Technological Development (FP 7), the first that the European Security Strategy (ESS) EU research programme to include security. identifies organised crime and terrorism as The 6th Framework Programme for Research two of the five key threats Europe is facing. and Technological Development (FP 6) had already included space as one of the thematic In the post-Cold War era Europe’s security areas. The preparation of both PASR and the environment has changed. Large-scale FP 7 Security theme was supported by high military aggression against EU territory has level strategy groups: the Group of become unlikely while new threats such as Personalities (GoP) for Security Research and terrorism, illegal migration and organised the European Security Research Advisory crime have become the main sources of Board (ESRAB), whose strategic advice anxiety for both citizens and policy-makers. shaped the scope and implementation of Thus security is being re-defined moving these programmes. On the basis of the away from the classical security perception recommendations of the European Security that identified actor-focused threats to Research Advisory Board (ESRAB), the territory, towards “functional security” in European Security and Research Innovation which the new threats are mainly structural Forum (ESRIF) was established in 2007, threats that are not “actor/agency”-focused. mandated to propose by the end of 2009 a With the changed concept of security the European agenda for research and innovation borderline between defence and security is in the field of security capable of guiding becoming increasingly thinner and thinner. European institutions, governments and the The concept of “homeland security” is an private sector in the coming two decades. American concept largely unfamiliar to the Composed of eleven working groups, ESRIF Europeans. While U.S. “homeland security” considers, inter alia, security of citizens, has been driven by the counterterrorist infrastructure, borders and the role of space agenda, European efforts to protect society in relation to natural and man-made threats. have largely been derived from civilian In addition to these bodies, both Galileo and emergency response communities working GMES will contribute to the provision of with domestic law enforcement agencies. internal security. European level initiatives Thus the concept of “homeland security” are complemented by national ones. resonates mainly at the country level in Europe, while Europeans rather refer to “internal security” to encompass the full range of domestic security threats. Report 20, September 2009 6 Space and Internal Security • clarify corresponding questions and Methodology and Goals challenges such as (Chapter 4 & 5) of the Study o The coordination of national and European efforts Given the lack of any EU-level policy o The optimum institutional set up document setting out the strategy for the o The interface with defence related provision of internal security, the study aspects of security follows the analytical structure of the issues o The most efficient procedure for areas identified in the U.S.
Load more

Recommended publications
  • Case Study 11. Trentino, Italy
    Mapping and Performance Check of the Supply of Accessible Tourism Services (220/PP/ENT/PPA/12/6491) Case Study 11 Trentino, Italy “This document has been prepared for the European Commission; however it reflects the views only of its authors, and the European Commission cannot be held responsible for any use which may be made of the information contained therein.” 1 European Commission Enterprise and Industry Directorate General (DG ENTR) “Mapping and Performance Check of the Supply of Accessible Tourism Services” (220/PP/ENT/PPA/12/6491) Case Study: Trentino, Italy 2 Contents Executive Summary ................................................................................................................ 4 1.0 Introduction .................................................................................................................. 6 2.0 Overview and background information ......................................................................... 7 3.0 The integration of the supply chain .............................................................................. 9 4.0 Provisions for cross-impairments ............................................................................... 23 5.0 Business approach – building a business case for accessibility ................................ 24 6.0 Evidence of impact ..................................................................................................... 26 7.0 Conclusions ...............................................................................................................
    [Show full text]
  • VII Conference of the European Wildlife Diseases Association VII
    VII Conference of the European Wildlife Diseases Association 27thth-30thth September 2006 Aosta Valley, ITALY Contents Welcome 3 Conference programme 5 Abstracts Oral Presentations 13 Poster Presentations 37 Conference Committee 79 Index by Authors 85 List of Participants 1 2 Welcome! On behalf of the Wildlife Diseases Association, the National Reference Centre for Wildlife Diseases (Ce.R.M.A.S.) and the Italian Society of Ecopathology (SIEF) we are happy to welcome you to S.Vincent and the 7th Conference of the European section of the Wildlife Diseases Association. The scientific programme is really varied and ranges from invertebrate to mammals. We have chosen some topics that are of great concern among professional and ordinary people, such as wildlife and emerging diseases, wildlife diseases and conservation, wildlife diseases monitoring and risk of disease transmission between wildlife and domestic animals. Data exchange and discussion are the goal of every scientific meeting. We hope our organization efforts will create a friendly and stimulating environment and allow all of us to increase not only our culture, but also our friendship. The front line of wildlife diseases research in Europe, but also from other continents, is presented in the more than 120, oral or poster, presentations. We can learn from them and increase our ability to preserve both wildlife and public health. We hope you will enjoy the conference and your stay in Italy! Ezio Ferroglio Riccardo Orusa SIEF Ce.R.M.A.S 3 4 Conference Programme 5 6 Conference Programme Wednesday 27th September 2006 14:30-15:30 Registration 15:30-18:00 Opening Ceremony 18:00 Welcome cocktail Thursday 28th September 2006 8:00-9:00 Registration “Wildlife Disease surveillance in Key Note Speaker 9:00-10:00 Europe“.
    [Show full text]
  • Open Government Data: Fostering Innovation
    JeDEM 6(1): 69-79, 2014 ISSN 2075-9517 http://www.jedem.org Open Government Data: Fostering Innovation Ivan Bedini, Feroz Farazi, David Leoni, Juan Pane, Ivan Tankoyeu, Stefano Leucci I. Bedini, Trento RISE, Via Sommarive 18 Trento (ITA), [email protected], +390461312346 F. Farazi, University of Trento, Department of Information Engineering and Computer Science, Via Sommarive, 9 Trento (ITA), [email protected], +390461283938 D. Leoni, Universtity of Trento, Department of Information Engineering and Computer Science, Via Sommarive, 9, Trento (ITA), [email protected] J. Pane, National University of Asunción, Polytechnic Faculty, Campus Universitario, San Lorenzo (PY), [email protected] I. Tankoyeu, Universtity of Trento, Department of Information Engineering and Computer Science, Via Sommarive, 9, Trento (ITA), [email protected] S. Leucci, University of Trento, Department of Information Engineering and Computer Science, Via Sommarive, 9, Trento (ITA), [email protected] Abstract: The provision of public information contributes to the enrichment and enhancement of the data produced by the government as part of its activities, and the transformation of heterogeneous data into information and knowledge. This process of opening changes the operational mode of public administrations, leveraging the data management, encouraging savings and especially in promoting the development of services in subsidiary and collaborative form between public and private entities. The demand for new services also promotes renewed entrepreneurship centred on responding to new social and territorial needs through new technologies. In this sense we speak of Open Data as an enabling infrastructure for the development of innovation and as an instrument to the development and diffusion of Innovation and Communications Technology (ICT) in the public system as well as creating space for innovation for businesses, particularly SMEs, based on the exploitation of information assets of the territory.
    [Show full text]
  • Report 2010-11
    Research Report 2010-2011 Research at Museo delle Scienze Science Science at Museo delle Scienze | Research Report 2010-2011 Science at Museo delle Scienze Research Report 2010-2011 MUSEO DELLE SCIENZE President Giuliano Castelli (Marco Andreatta since October 16th, 2011) Director Michele Lanzinger MdS Research Report 2010-2011 © 2012 Museo delle Scienze, Via Calepina 14, 38122 Trento, Italy Managing editor Valeria Lencioni Editorial committee Marco Avanzini, Costantino Bonomi, Marco Cantonati, Giampaolo Dalmeri, Valeria Lencioni, Paolo Pedrini, Francesco Rovero Editorial assistant Nicola Angeli Cover and layout design Roberto Nova Printing Tipografia Esperia Srl - Lavis (TN) 978-88-531-0019-1 SCIENCE at MUSEO DELLE SCIENZE RESEARCH REPOrt 2010-2011 5 Preface Part 1 7 1. Introducing MdS as museum and research centre 11 2. The research programmes 12 Programme 1R Ecology and biodiversity of mountain ecosystems in relation to environmental and climate change 12 Programme 2R Documenting and conserving nature 13 Programme 3R Plant conservation: seedbanking and plant translocation 13 Programme 4R Tropical Biodiversity 14 Programme 5R Earth sciences 14 Programme 6R Alpine Prehistory 15 3. The research staff and activities 19 4. The scientific collections 23 5. The main results and projects Part 2 57 Appendix 1: The staff of the scientific sections 85 Appendix 2: The staff of the science communicators 91 Appendix 3: Research projects, high education and teaching 105 Appendix 4: Publications 127 Appendix 5: Collaborations: the research national network 131 Appendix 6: Collaborations: the research international network Science at Museo delle Scienze: Research Report 2010-2011 1R 2R 3R 4R 5R 6R 4 Preface Fully developed as a natural history museum since the beginning of the 1900, the Museo Tridentino di Scienze Naturali, since May 2011 named Museo delle Scienze (MdS) over the past decade has developed a new cultural approach through innovative exhibitions and public programmes which prompted a wi- der interpretation of its strictly naturalistic institutional scope.
    [Show full text]
  • How Deep Are Different Forms of Digital Skills Divide Among Young People? Results from an Extensive Survey of 1000 Northern-Italian High School Students
    MEDIA@LSE Electronic Working Papers Editors: Professor Robin Mansell, Dr. Bart Cammaerts No. 15 How deep are different forms of digital skills divide among young people? Results from an extensive survey of 1000 northern-Italian high school students Marco Gui University of Milano-Bicocca and Gianluca Argentin University of Milano-Bicocca Other papers of the series are available online here: http://www.lse.ac.uk/collections/media@lse/mediaWorkingPapers/ Marco Gui ([email protected]) is a post-doc fellow at the University of Milano- Bicocca, Italy Gianluca Argentin ([email protected]) is a Ph.D Student at the University of Milano-Bicocca, Italy Published by Media@LSE, London School of Economics and Political Science ("LSE"), Houghton Street, London WC2A 2AE. The LSE is a School of the University of London. It is a Charity and is incorporated in England as a company limited by guarantee under the Companies Act (Reg number 70527). Copyright in editorial matter, LSE © 2009 Copyright, EWP 15 - How deep are different forms of digital skills divide among young people? Results from an extensive survey on 1000 northern-Italian high school students, Marco Gui and Gianluca Argentin, 2009. The authors have asserted their moral rights. ISSN 1474-1938/1946 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means without the prior permission in writing of the publisher nor be issued to the public or circulated in any form of binding or cover other than that in which it is published.
    [Show full text]
  • Dual Use Technologies and Civilian Capabilities: Beyond Pooling and Sharing
    EU-CIVCAP Preventing and Responding to Conflict: Developing EU CIVilian CAPabilities for a sustainable peace Dual use technologies and civilian capabilities: Beyond pooling and sharing Deliverable 2.5 (Version 1.9; 25 September 2018) Andrea Aversano Stabile, Alessandro Marrone, Nicoletta Pirozzi and Bernardo Venturi This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement no. 653227. DL 2.5 Dual use technologies and civilian capabilities: Beyond pooling and sharing Summary of the Document Title DL 2.5 Dual use technologies and civilian capabilities: Beyond pooling and sharing Last modification 25 September 2018 State Final Version 1.9 Leading Partner IAI Other Participant Partners EU SatCen Authors Andrea Aversano Stabile, Alessandro Marrone, Nicoletta Pirozzi and Bernardo Venturi1 Audience Public Abstract This policy paper investigates how to increase the pooling and sharing (P&S) of civilian and military capabilities in light of recent EU developments. It sets out the P&S concept and process, and its application to civilian capabilities. Building on the findings of previous deliverables, the paper looks at potential areas for P&S: the sharing of training facilities, the pooling of experts and recruitment procedures; satellite systems; and remotely piloted aircraft systems. These are discussed in connection with EU developments such as the EU’s Global Strategy for Foreign and Security Policy. In particular, the paper considers the civilian compact (Common Security and Defence Policy), Permanent Structured Cooperation and the European Defence Fund as possible frameworks for P&S initiatives. Keywords ▪ Pooling and sharing ▪ Conflict prevention ▪ Peacebuilding ▪ PESCO ▪ Civilian CSDP compact 1 The authors wish to thank Yannick Arnaud and Jenny Erika Berglund at the EU Satellite Centre for their useful comments and inputs in the drafting of the paper.
    [Show full text]
  • Implementation Plan for the Research Activity of the Fondazione Bruno Kessler for the Year 2012
    Implementation Plan for the Research Activity of the Fondazione Bruno Kessler for the Year 2012 Trento, December 2011 Editoria n. 13 / 12-2011 Table of contents Introduction ............................................................................................................ 5 SCIENCE AND TECHNOLOGY CMM – Center for Materials and Microsystems Presentation ............................................................................................................... 17 BioMEMS – Bio MicroElectro-Mechanical Systems ................................................... 28 SOI – Smart Optical Sensors and Interfaces .............................................................. 35 MEMS – Micro-Electro-Mechanical-Systems ............................................................. 43 MiNALab – Micro-Nano Analytical Laboratory ............................................................ 50 PAM-SE – Plasma, Advanced Materials and Surface Engineering ............................ 57 APP – Advanced Photonics and Photovoltaics .......................................................... 63 BioSInt – Biofunctional Surfaces and Interfaces ........................................................ 68 SrS – Silicon Radiation Sensors ................................................................................ 75 MTLab – Microtechnologies Laboratory ..................................................................... 81 REET – Renewable Energies and Environmental Technologies ................................ 88 3DOM – 3D Optical Metrology .................................................................................
    [Show full text]
  • CPA-051-2006 Versão
    Referência: CPA-051-2006 Versão: Status: 1.0 Ativo Data: Natureza: Número de páginas: 11/dezembro/2006 Aberto 29 Origem: Revisado por: Aprovado por: Giorgio Petroni – Department of Economics and Technology, GT-09 GT-09 Republic of San Marino University Título: THE STRATEGIC PROFILE OF CNES Lista de Distribuição Organização Para Cópias INPE Grupos Temáticos, Grupo Gestor, Grupo Orientador e Grupo Consultivo do Planejamento Estratégico Histórico do Documento Versão Alterações 1.0 Position Paper elaborado sob contrato junto ao Centro de Gestão e Estudos Estratégicos (CGEE). Data: 11/12/2006 Hora: 5:09 Versão: 1.0 Pág: - Republic of San Marino University Department of Economics and Technology THE STRATEGIC PROFILE OF CNES San Marino December 2006 Department of Economics and Technology – Strada della Bandirola, 44 – 47898 Montegiardino – Republic of San Marino Phone from abroad + 378 0549 996181 – fax 0549 996253 – e-mail [email protected] 1 INDEX 1. Overview................................................................................................................... 4 1.1 Resources................................................................................................................ 4 1.1.1 Financial resources ......................................................................................... 4 1.1.2 Human resources ............................................................................................ 4 2. Organizational profile and Governance................................................................ 5 2.1
    [Show full text]
  • Automatic Orientation of Large Blocks of Oblique Images
    International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XL-1/W1, ISPRS Hannover Workshop 2013, 21 – 24 May 2013, Hannover, Germany AUTOMATIC ORIENTATION OF LARGE BLOCKS OF OBLIQUE IMAGES a, b b E. Rupnik ∗, F. Nex , F. Remondino a GEO Department, Vienna University of Technology - [email protected] b 3D Optical Metrology (3DOM) Unit, Bruno Kessler Foundation (FBK), Trento, Italy (franex,remondino)@fbk.eu, http://3dom.fbk.eu Commission WG III/4 KEY WORDS: Urban, Orientation, Automation, Bundle, Block, Multi-sensor, High resolution ABSTRACT: Nowadays, multi-camera platforms combining nadir and oblique cameras are experiencing a revival. Due to their advantages such as ease of interpretation, completeness through mitigation of occluding areas, as well as system accessibility, they have found their place in numerous civil applications. However, automatic post-processing of such imagery still remains a topic of research. Configuration of cameras poses a challenge on the traditional photogrammetric pipeline used in commercial software and manual measurements are inevitable. For large image blocks it is certainly an impediment. Within theoretical part of the work we review three common least square adjustment methods and recap on possible ways for a multi-camera system orientation. In the practical part we present an approach that successfully oriented a block of 550 images acquired with an imaging system composed of 5 cameras (Canon Eos 1D Mark III) with different focal lengths. Oblique cameras are rotated in the four looking directions (forward, backward, left and right) by 45◦ with respect to the nadir camera. The workflow relies only upon open-source software: a developed tool to analyse image connectivity and Apero to orient the image block.
    [Show full text]
  • Compte Rendu Mercredi 11 Février 2015 Commission Séance De 9 Heures 30 Des Affaires Économiques Compte Rendu N° 35
    Compte rendu Mercredi 11 février 2015 Commission Séance de 9 heures 30 des affaires économiques Compte rendu n° 35 – Audition, en application de l’article 13 de la Constitution, de M. Jean-Yves Le Gall, dont la nomination en tant que président du Centre national d’études spatiales (CNES) est envisagée par le SESSION ORDINAIRE DE 2014-2015 Président de la République ........................................................................ 2 – Vote sur la nomination .......................................................................... 14 Présidence de M. François Brottes Président — 2 — En application de l’article 13 de la Constitution, la Commission a auditionné M. Jean-Yves Le Gall, dont la nomination en tant que président du conseil d’administration du Centre national d’études spatiales (CNES) est envisagée par le Président de la République. M. le président François Brottes. Mes chers collègues, la Commission des affaires économiques se réunit ce matin afin de rendre un avis préalable à une nomination envisagée par le Président de la République. Je rappelle que, conformément au dernier alinéa de l’article 13 de la Constitution, ce dernier ne peut procéder à une nomination lorsque l’addition des votes négatifs dans chaque commission compétente de l’Assemblée nationale et du Sénat représente au moins trois cinquièmes des suffrages exprimés au sein des deux commissions. Nous auditionnons aujourd’hui M. Jean-Yves Le Gall, personnalité pressentie pour occuper les fonctions de président du conseil d’administration du Centre national d’études spatiales (CNES). Je rappelle que cette audition n’est en aucun cas une formalité – certains peuvent du reste en témoigner. Elle est publique. Le scrutin est secret et doit avoir lieu hors la présence de la personne auditionnée.
    [Show full text]
  • An Abstract Interpretation of DPLL(T)⋆
    An Abstract Interpretation of DPLL(T)? Martin Brain1, Vijay D'Silva1, Leopold Haller1, Alberto Griggio2??, and Daniel Kroening1 1 Computer Science Department, University of Oxford, Oxford, UK [email protected] 2 Fondazione Bruno Kessler, Trento, Italy [email protected] Abstract. dpll(t) is a central algorithm for Satisfiability Modulo The- ories (smt) solvers. The algorithm combines results of reasoning about the Boolean structure of a formula with reasoning about conjunctions of theory facts to decide satisfiability. This architecture enables modern solvers to combine the performance benefits of propositional satisfiabil- ity solvers and conjunctive theory solvers. We characterise dpll(t) as an abstract interpretation algorithm that computes a product of two ab- stractions. Our characterisation allows a new understanding of dpll(t) as an instance of an abstract procedure to combine reasoning engines beyond propositional solvers and conjunctive theory solvers. In addition, we show theoretically that the split into Boolean and theory reasoning is sometimes unnecessary and demonstrate empirically that it can be detrimental to performance. 1 Introduction The previous decade has witnessed the development of efficient solvers for decid- ing satisfiability of formulae in a wide range of logical theories. The development of these Satisfiability Modulo Theory (smt) solvers can be understood as a conse- quence of three advances. Two advances are improvements in the performance of solvers for Boolean satisfiability, and for the conjunctive fragments of first-order theories such as equality with uninterpreted functions [12], difference logic [20], or linear rational arithmetic [10]. The third advance is dpll(t), an algorithm that efficiently combines the strengths of propositional sat solvers and conjunc- tive theory solvers to decide satisfiability of a theory formula [12].
    [Show full text]
  • Downloads/JB2017 K3(1).Pdf (Last Accessed on 20Th December 2018)
    THE TREMBLING OF A COMPLEX REGIONAL CONSOCIATION: 2018 PROVINCIAL ELECTION IN SOUTH TYROL Guido Panzano ECMI WORKING PAPER #112 December 2018 ECMI- Working Paper # 112 The European Centre for Minority Issues (ECMI) is a non-partisan institution founded in 1996 by the Governments of the Kingdom of Denmark, the Federal Republic of Germany, and the German State of Schleswig-Holstein. ECMI was established in Flensburg, at the heart of the Danish-German border region, in order to draw from the encouraging example of peaceful coexistence between minorities and majorities achieved here. ECMI’s aim is to promote interdisciplinary research on issues related to minorities and majorities in a European perspective and to contribute to the improvement of interethnic relations in those parts of Western and Eastern Europe where ethno- political tension and conflict prevail. ECMI Working Papers are written either by the staff of ECMI or by outside authors commissioned by the Centre. As ECMI does not propagate opinions of its own, the views expressed in any of its publications are the sole responsibility of the author concerned. ECMI Working Paper # 112 European Centre for Minority Issues (ECMI) Director: Prof. Dr. Tove H. Malloy © ECMI 2018 ISSN 1435-9812; ISSN-Internet 2196-4890 2 | P a g e ECMI- Working Paper # 112 THE TREMBLING OF A COMPLEX REGIONAL CONSOCIATION: 2018 PROVINCIAL ELECTION IN SOUTH TYROL Located in the northeastern part of Italy, the Autonomous Province of Bolzano/Bozen, also known with the historical name of South Tyrol, is one of the two provinces of Trentino-Alto Adige/Südtirol region. It is a border region and a deeply divided place, w ith a majority of German-speaking population (62.3%) and minorities of Italians (23.4%), Ladins (4.1%) and past and recent migrants (10.2%).
    [Show full text]