DOCSLIB.ORG

Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 11 February 2004 Edited by François Bry, Dean for Research

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Faculty 16 Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 11 February 2004 edited by François Bry, dean for research Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 Table of Contents 1 Department of Mathematics (in german) . 2 1.1 Arbeitsbereich Algebra . 4 1.1.1 Forschungsschwerpunkte: . 4 1.1.2 Im Druck erschienene Publikationen: . 6 1.1.3 Betreute wissenschaftliche Arbeiten: . 8 1.1.4 Eingeworbene Drittmittel: . 8 1.2 Arbeitsbereich Analysis und Numerik . 10 1.2.1 Forschungsschwerpunkte: . 10 1.2.2 Im Druck erschienene Publikationen: . 13 1.2.3 Betreute wissenschaftliche Arbeiten: . 16 1.2.4 Eingeworbene Drittmittel: . 17 1.3 Arbeitsbereich Differentialgeometrie und Topologie . 19 1.3.1 Forschungsschwerpunkte: . 19 1.3.2 Im Druck erschienene Publikationen: . 22 1.3.3 Betreute wissenschaftliche Arbeiten: . 24 1.3.4 Eingeworbene Drittmittel: . 24 1.4 Arbeitsbereich Komplexe Analysis und Algebraische Geometrie . 26 1.4.1 Forschungsschwerpunkte: . 26 1.4.2 Im Druck erschienene Publikationen: . 27 1.4.3 Betreute wissenschaftliche Arbeiten: . 28 1.4.4 Eingeworbene Drittmittel: . 28 1.4.5 Verschiedenes: . 29 1.5 Arbeitsbereich Mathematische Logik . 30 1.5.1 Forschungsschwerpunkte: . 30 1.5.2 Im Druck erschienene Publikationen: . 32 1.5.3 Betreute wissenschaftliche Arbeiten: . 33 1.5.4 Eingeworbene Drittmittel: . 33 1.6 Arbeitsbereich Stochastik und Finanzmathematik . 35 1.6.1 Forschungsschwerpunkte: . 35 1.6.2 Im Druck erschienene Publikationen: . 38 1.6.3 Betreute wissenschaftliche Arbeiten: . 43 1.6.4 Eingeworbene Drittmittel: . 44 1.7 Arbeitsbereich Didaktik der Mathematik . 46 1.7.1 Forschungsschwerpunkte: . 46 1.7.2 Im Druck erschienene Publikationen: . 47 1.7.3 Eingeworbene Drittmittel: . 49 1.8 Graduiertenkolleg Mathematik im Bereich ihrer Wechselwirkung mit der Physik 51 1.9 Graduiertenkolleg Logik in der Informatik . 59 2 Institute for Informatics . 71 2.1 Unit "Distributed Systems, Computer Networks and Systems Programming" . 72 2.1.1 IT-Management Concepts and Methods . 73 2.1.1.1 Service Management . 73 2.1.1.2 Security Concepts for distributed Management . 75 2.1.1.3 System Preconditions and Architectures for IT-Outsourcing . 75 2.1.2 Mobility and context-aware Services . 76 2.1.3 Platforms for distributed Learning and Teaching . 77 2.1.4 Achievements . 77 2.1.5 Publications . 78 i Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 2.2 Unit "Database Systems" . 86. 2.2.1 Research Topics . 86. 2.2.1.1 Knowledge Discovery in Databases . 86. 2.2.1.2 Information Filtering for E-business . 88. 2.2.1.3 Similarity Search in Databases . 88. 2.2.1.4 Access Methods for High-Dimensional Data Spaces . 90. 2.2.1.5 Spatial Data Management in CAD Databases . 90. 2.2.1.6 Molecular Bioinformatics . 91. 2.2.2 Dissertations, Habilitations and other Achievements . 92. 2.2.3 Publications . 93. 2.3 Unit "Programming and Software-Engineering" . 102. 2.3.1 Research activities . 102. 2.3.1.1 Formal Software Development . 103. 2.3.1.1.1 Formal Foundations of Object-Oriented Software Development . 103. 2.3.1.1.2 ModelChecking . 104. 2.3.1.1.3 Temporal Logic of Actions for Reactive and Mobile Systems (TLA, MTLA)104 2.3.1.1.4 Theoretical Foundations of Systems Specifications . 105. 2.3.1.1.5 Semantics of Programming Languages . 106. 2.3.1.2 Software Engineering . 107. 2.3.1.2.1 Mobile Computing, Agents . 107. 2.3.1.2.2 Web-Engineering . 108. 2.3.1.2.3 E-Learning . 109. 2.3.1.2.4 Software-Techniques for Analysis and Simulation of Global Climate Change . 109. 2.3.1.2.5 Software-Architecture and Software Development Processes . 110. 2.3.1.3 Innovative Programming Techniques . 112. 2.3.1.3.1 Constraint Programming . 112. 2.3.1.3.2 View-Oriented and Generative Programming . 113. 2.3.2 Achievements . 114. 2.3.3 Literature . 115. 2.3.4 Research Staff . 124. 2.4 Unit "Programming and Modelling Languages" . 126. 2.4.1 Research activities . 126. 2.4.1.1 Querying and Indexing XML Data (since 2000) . 126. 2.4.1.2 Web data modeling and reasoning (since 2000) . 127. 2.4.1.3 Analysis, Optimisation, and Generation of Rule-Based Constraint Solvers (up till 2002) . 128. 2.4.1.4 Selected Issues in Automated Reasoning . 128. 2.4.1.5 Applications . 129. 2.4.2 Conference Organisation . 129. 2.4.3 Achievements . 130. 2.4.4 External Funding . 131. 2.4.5 Literature . 131. 2.5 Unit "Theoretical Computer Science" . 139. 2.5.1 Main Research Topics . 139. 2.5.2 Projects . 140. 2.5.2.1 Mobile Resource Guarantees . 140. 2.5.2.2 Complexity of Propositional Proof Systems and Monotone Circuits . 140. 2.5.2.3 Implicit Characterisation of Computational Complexity Classes . 141. 2.5.2.4 Nested Datatypes . 141. ii Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 2.5.2.5 The Complexity of Program Logics . 142. 2.5.2.6 Parallel Functional Programming . 142. 2.5.2.7 Program Extraction from Proofs in Systems of (Co)inductive Definitions . 142. 2.5.2.8 CSCL (Computer Supported Cooperative Learning) in postgraduate professional education . 143. 2.5.2.9 Verification of Non-Regular Properties . 143. 2.5.2.10 Lambda Calculus and Classical Logic . 144. 2.5.3 Conferences . 144. 2.5.4 Publications . 144. 2.6 Unit "Media Informatics" . 149. 2.6.1 Projects . 149. 2.6.1.1 Project: Media of the Future, Media++ . 149. 2.6.1.2 Project: Software Models and Development Support for Multimedia Applications . 149. 2.6.1.3 Project: Digital Media Production . 150. 2.6.1.4 Project: Intermedia - UML modelling of business processes . 150. 2.6.2 Publications . 150. 2.6.2.1 Books . 151. 2.6.2.2 Journal Papers . 151. 2.6.2.3 Conferences/Workshops . 151. 2.6.2.4 Posters/Demos . 152. 2.6.2.5 Community Involvement (Selection) . 152. 2.7 Unit "Practical Computer Science and Bioinformatics" . 153. 2.7.1 Research Activities . 153. 2.7.1.1 Protein sequence and structure analysis, protein structure prediction, structural genome analysis . 154. 2.7.1.2 Expression data analysis and biochemical networks, knowledge extraction 155. 2.7.1.3 Genomics, Transkriptomics, Proteomics . 156. 2.7.1.4 Cheminformatics, Molecule Design and Dynamics . 157. 2.7.1.5 Combinatorial Models for Protein Structure Prediction . 158. 2.7.1.6 Clustering of Gene-Expression Data . 158. 2.7.1.7 Algorithmic Aspects of Genome Rearrangements . 159. 2.7.1.8 Algorithms for Biological Networks . 159. 2.7.2 Education, Bioinformatics Initiative Munich (BIM) . 160. 2.7.3 Conference Organization . 160. 2.7.3.1 International integration and co-operation . 161. 2.7.4 Literature: . 161. 3 Institute for Statistics . 167. 3.1 Research Profile . 168. 3.2 Research Strategies . 169. 3.2.1 Cooperation . 169. 3.2.2 Organization of Workshops and Meetings . 169. 3.2.3 National and International Visitors . 169. 3.2.4 Funding . 169. 3.3 Research program and activities . 170. 3.3.1 Statistical Modelling . 170. 3.3.1.1 Likelihood-based Semiparametric Regression . 170. 3.3.1.2 Bayesian Semiparametric Regression . 171. 3.3.1.3 Missing data . 172. 3.3.1.4 Measurement error models . 173. iii Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 3.3.1.5 Time-dependent and Spatial data . 174. 3.3.2 Computational Statistics . 175. 3.3.2.1 Markov Chain Monte Carlo (MCMC) . 175. 3.3.2.2 Statistical Computing and Software . 176. 3.3.2.3 Multivariate Methods and Statistical Data Mining . 177. 3.3.2.4 Resampling Methods and Graphical Modelling . 178. 3.3.3 Econometrics . 178. 3.3.3.1 Econometric Methods . 178. 3.3.3.2 Financial Econometrics . 179. 3.3.3.3 Time Series Analysis . 180. 3.3.3.4 Empirical Macroeconomics . 180. 3.3.3.5 Empirical Industrial Economics . 180. 3.3.4 Biostatistics . 181. 3.3.4.1 Statistical Methods in Epidemiology . 181. 3.3.4.2 Statistical Genetics and Bioinformatics . 182. 3.3.4.3 Statistical Methods in Human Brain Research . 183. 3.3.5 Statistics in business, economics and social sciences . 184. 3.3.5.1 Business and Economics Statistics . 184. 3.3.5.2 Statistics in social and psychological fields . 185. 3.3.6 Methodological Foundations of Statistics . 186. 3.3.6.1 Foundations of Statistical Inference . 186. 3.3.6.2 Interval probability . 186. 3.4 Cooperations and Workshops . 188. 3.4.1 Cross-departmental research and projects with academic collaborators . 188. 3.4.2 Cooperations with partners in business, industry and public or private institutions188 3.4.3 Workshops and Meetings . 188. 3.4.4 National and International Visitors . 190. 3.5 References of Publications in the Department . 192. 3.5.1 Books and Refereed Articles . 192. iv Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 This research report is the first of this kind and therefore covers a rather long, six year period of time: 1998 -- 2003. It consist of three parts devoted to (1) the Departments of Mathematics [see page 2] (in german), (2) the Institute for Informatics [see page 71] , and (3) the Institute for Statistics [see page 167] . 1 Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 1 Department of Mathematics (in german) Die Mathematik ist eines der wichtigsten Grundlagenfächer der LMU und zwar nicht nur als grundständiges Fach in der Lehre, bei der Lehrerausbildung und als Dienstleister in sämtlichen naturwissenschaftlichen Fächern, sondern sie ist vor allem auch in der Forschung integraler Bestandteil von zukunftsträchtigen Fächern wie der Biotechnologie, der Genforschung und den Nanowissenschaften.
Load more

Recommended publications
  • Cocommutative Hopf Algebras with Antipode by Moss Eisenberg Sweedler B.S., Massachusetts Institute of Technology SUBMITTED in PA
    J- Cocommutative Hopf Algebras with Antipode by Moss Eisenberg Sweedler B.S., Massachusetts Institute of Technology (1963) SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY August, 1965 Signature of Author . .-. .. Department of Mathematics, August 31, 1965 Certified by ....-.. Thesis Supervisqr Accepted by .......... 0................................... Chairman, Departmental Committee on Graduate Students v/I 2. Cocommutative Hopf Algebras 19 with Antipode by Moss Eisenberg Sweedler Submitted to the Department of Mathematics on August 31, 1965, in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Abstract In the first chapter the preliminaries of the theory of Hopf algebras are presented. The notion and properties of the antipode are developed. An important filtration is induced in the Hopf algebra by its dual when the Hopf alge- bra is split. It is shown conilpotence and an algebraically closed field insure a Hopf algebra is split. The monoid of grouplike elements is studied. In the second chapter conditions for an algebra A -- which is a comodule for a Hopf algebra H --to be of the form A 'E B ® H (linear isomorphism) are given. The dual situation is studied. The graded Hopf algebra associated with a split Hopf algebra decomposes in the above manner. Chapter III contains the cohomology theory of a commutative algebra which is a module for a cocommutative Hopf algebra. There is extension theory and specialization to the situation the Hopf algebra is a group algebra. Chapter IV is dual to chapter III. Chapter V is devoted to coconnected cocommutative Hopf algebras, mostly in characteristic p > 0 .
    [Show full text]
  • Royal Statistical Scandal
    Royal Statistical Scandal False and misleading claims by the Royal Statistical Society Including on human poverty and UN global goals Documentary evidence Matt Berkley Draft 27 June 2019 1 "The Code also requires us to be competent. ... We must also know our limits and not go beyond what we know.... John Pullinger RSS President" https://www.statslife.org.uk/news/3338-rss-publishes-revised-code-of- conduct "If the Royal Statistical Society cannot provide reasonable evidence on inflation faced by poor people, changing needs, assets or debts from 2008 to 2018, I propose that it retract the honour and that the President makes a statement while he holds office." Matt Berkley 27 Dec 2018 2 "a recent World Bank study showed that nearly half of low-and middle- income countries had insufficient data to monitor poverty rates (2002- 2011)." Royal Statistical Society news item 2015 1 "Max Roser from Oxford points out that newspapers could have legitimately run the headline ' Number of people in extreme poverty fell by 137,000 since yesterday' every single day for the past 25 years... Careless statistical reporting could cost lives." President of the Royal Statistical Society Lecture to the Independent Press Standards Organisation April 2018 2 1 https://www.statslife.org.uk/news/2495-global-partnership-for- sustainable-development-data-launches-at-un-summit 2 https://www.statslife.org.uk/features/3790-risk-statistics-and-the-media 3 "Mistaken or malicious misinformation can change your world... When the government is wrong about you it will hurt you too but you may never know how.
    [Show full text]
  • Forms of Hopf Algebras and Galois Theory 3
    FORMS OF HOPF ALGEBRAS AND GALOIS THEORY BODO PAREIGIS The theory of Hopf algebras is closely connected with various ap- plications, in particular to algebraic and formal groups. Although the rst o ccurence of Hopf algebras was in algebraic top ology, they are now found in areas as remote as combinatorics and analysis. Their struc- ture has b een studied in great detail and many of their prop erties are well understo o d. We are interested in a systematic treatmentofHopf algebras with the techniques of forms and descent. The rst three paragraphs of this pap er givea survey of the present state of the theory of forms of Hopf algebras and of Hopf Galois theory esp ecially for separable extensions. It includes many illustrating exam- ples some of which cannot b e found in detail in the literature. The last two paragraphs are devoted to some new or partial results on the same eld. There we formulate some of the op en questions whichshould be interesting ob jects for further study.We assume throughout most of the pap er that k is a base eld and do not touch up on the recent b eautiful results of Hopf Galois theory for rings of integers in algebraic numb er elds as develop ed in [C1]. 1. Hopf algebra forms As a rst example of the o ccurence of a Hopf algebra let us consider the units functor. In the sequel let k be a commutative, asso ciativering with unit. Later on it will b e a eld, in particular the eld of rationals or reals.
    [Show full text]
  • Acm Names Fellows for Innovations in Computing
    CONTACT: Virginia Gold 212-626-0505 [email protected] ACM NAMES FELLOWS FOR INNOVATIONS IN COMPUTING 2014 Fellows Made Computing Contributions to Enterprise, Entertainment, and Education NEW YORK, January 8, 2015—ACM has recognized 47 of its members for their contributions to computing that are driving innovations across multiple domains and disciplines. The 2014 ACM Fellows, who hail from some of the world’s leading universities, corporations, and research labs, have achieved advances in computing research and development that are driving innovation and sustaining economic development around the world. ACM President Alexander L. Wolf acknowledged the advances made by this year’s ACM Fellows. “Our world has been immeasurably improved by the impact of their innovations. We recognize their contributions to the dynamic computing technologies that are making a difference to the study of computer science, the community of computing professionals, and the countless consumers and citizens who are benefiting from their creativity and commitment.” The 2014 ACM Fellows have been cited for contributions to key computing fields including database mining and design; artificial intelligence and machine learning; cryptography and verification; Internet security and privacy; computer vision and medical imaging; electronic design automation; and human-computer interaction. ACM will formally recognize the 2014 Fellows at its annual Awards Banquet in June in San Francisco. Additional information about the ACM 2014 Fellows, the awards event, as well as previous
    [Show full text]
  • Journal of Applied Logic
    JOURNAL OF APPLIED LOGIC AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Impact Factor p.1 • Abstracting and Indexing p.1 • Editorial Board p.1 • Guide for Authors p.5 ISSN: 1570-8683 DESCRIPTION . This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent. For a list of areas covered see the Editorial Board. The editors keep close contact with the various application areas, with The International Federation of Compuational Logic and with the book series Studies in Logic and Practical Reasoning. Benefits to authors We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services. Please see our Guide for Authors for information on article submission. This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license. If you require any further information or help, please visit our Support Center IMPACT FACTOR . 2016: 0.838 © Clarivate Analytics Journal Citation Reports 2017 ABSTRACTING AND INDEXING . Zentralblatt MATH Scopus EDITORIAL BOARD . Executive Editors Dov M. Gabbay, King's College London, London, UK Sarit Kraus, Bar-llan University,
    [Show full text]
  • Knowledge Representation in Bicategories of Relations
    Knowledge Representation in Bicategories of Relations Evan Patterson Department of Statistics, Stanford University Abstract We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigate relational ologs both for their own sake and to gain insight into the relationship between the algebraic and logical approaches to knowledge representation. On a practical level, we show by example that relational ologs have a friendly and intuitive—yet fully precise—graphical syntax, derived from the string diagrams of monoidal categories. We explain several other useful features of relational ologs not possessed by most description logics, such as a type system and a rich, flexible notion of instance data. In a more theoretical vein, we draw on categorical logic to show how relational ologs can be translated to and from logical theories in a fragment of first-order logic. Although we make extensive use of categorical language, this paper is designed to be self-contained and has considerable expository content. The only prerequisites are knowledge of first-order logic and the rudiments of category theory. 1. Introduction arXiv:1706.00526v2 [cs.AI] 1 Nov 2017 The representation of human knowledge in computable form is among the oldest and most fundamental problems of artificial intelligence. Several recent trends are stimulating continued research in the field of knowledge representation (KR).
    [Show full text]
  • Arxiv:1703.06546V3 [Math.OA] 28 Feb 2018 [ Rn 22-SARS-05614-UNU DYNAMICS
    PARTIAL ACTIONS OF C∗-QUANTUM GROUPS ∗ FRANZISKA KRAKEN1, PAULA QUAST2, AND THOMAS TIMMERMANN3 ∗ Abstract. Partial actions of groups on C -algebras and the closely related actions and coactions of Hopf algebras received much attention over the last decades. They arise naturally as restrictions of their global counterparts to non-invariant subalge- bras, and the ambient eveloping global (co)actions have proven useful for the study of associated crossed products. In this article, we introduce the partial coactions of ∗ ∗ C -bialgebras, focussing on C -quantum groups, and prove existence of an enveloping global coaction under mild technical assumptions. We also show that partial coactions of the function algebra of a discrete group correspond to partial actions on direct sum- ∗ mands of a C -algebra, and relate partial coactions of a compact or its dual discrete ∗ C -quantum group to partial coactions or partial actions of the dense Hopf subalge- ∗ bra. As a fundamental example, we associate to every discrete C -quantum group a quantum Bernoulli shift. 1. Introduction Partial actions of groups on spaces and on C∗-algebras were gradually introduced in [14], [15], [21], with more recent study of associated crossed products shedding new light on the inner structure of many interesting C∗-algebras; see [16] for a comprehensive introduction and an overview. In the purely algebraic setting, the corresponding notion of a partial action or a partial coaction of a Hopf algebra on an algebra was introduced in [12]. Naturally, such partial (co)actions arise by restricting global (co)actions to non-invariant subspaces or ideals, and in these cases, all the tools that are available for the study of global situation can be applied to the study of the partial one.
    [Show full text]
  • An Application of Finite Groups to Hopf Algebras
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 14, No. 3, 2021, 816-828 ISSN 1307-5543 { ejpam.com Published by New York Business Global An application of finite groups to Hopf algebras Tahani Al-Mutairi1,2, M. M. Al-Shomrani1,∗ 1 Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O.Box 80203, Jeddah 21589, Saudi Arabia 2 Department of Mathematics, Qassim University, Buraydah, Saudi Arabia Abstract. Kaplansky's famous conjectures about generalizing results from groups to Hopf al- gebras inspired many mathematicians to try to find solusions for them. Recently, Cohen and Westreich in [8] and [10] have generalized the concepts of nilpotency and solvability of groups to Hopf algebras under certain conditions and proved interesting results. In this article, we follow their work and give a detailed example by considering a finite group G and an algebraically closed field K. In more details, we construct the group Hopf algebra H = KG and examine its properties to see what of the properties of the original finite group can be carried out in the case of H. 2020 Mathematics Subject Classifications: 20D10, 20D15, 16T20, 17B37, 81R50, 81R12 Key Words and Phrases: Hopf algebras, Integral elements, Semisimple Hopf algebra, Left coideal subalgebra, Solvability of groups and Hopf algebras, Nilpotency of groups and Hopf alge- bras. 1. Introduction Finite group theory has been remarkably enriched in the last few decades by putting more attention on the classification of finite simple groups. The most important structure theorem for finite groups is the Jordan{Holder Theorem, which states that any finite group is built up from finite simple groups.
    [Show full text]
  • Contextuality, Cohomology and Paradox
    The Sheaf Team Rui Soares Barbosa, Kohei Kishida, Ray Lal and Shane Mansfield Samson Abramsky Joint work with Rui Soares Barbosa, KoheiContextuality, Kishida, Ray LalCohomology and Shane and Mansfield Paradox (Department of Computer Science, University of Oxford)2 / 37 Contextuality. Key to the \magic" of quantum computation. Experimentally verified, highly non-classical feature of physical reality. And pervasive in logic, computation, and beyond. In a nutshell: data which is locally consistent, but globally inconsistent. We find a direct connection between the structure of quantum contextuality and classic semantic paradoxes such as \Liar cycles". Conversely, contextuality offers a novel perspective on these paradoxes. Cohomology. Sheaf theory provides the natural mathematical setting for our analysis, since it is directly concerned with the passage from local to global. In this setting, it is furthermore natural to use sheaf cohomology to characterise contextuality. Cohomology is one of the major tools of modern mathematics, which has until now largely been conspicuous by its absence, in logic, theoretical computer science, and quantum information. Our results show that cohomological obstructions to the extension of local sections to global ones witness a large class of contextuality arguments. Contextual Semantics Samson Abramsky Joint work with Rui Soares Barbosa, KoheiContextuality, Kishida, Ray LalCohomology and Shane and Mansfield Paradox (Department of Computer Science, University of Oxford)3 / 37 In a nutshell: data which is locally consistent, but globally inconsistent. We find a direct connection between the structure of quantum contextuality and classic semantic paradoxes such as \Liar cycles". Conversely, contextuality offers a novel perspective on these paradoxes. Cohomology. Sheaf theory provides the natural mathematical setting for our analysis, since it is directly concerned with the passage from local to global.
    [Show full text]
  • Spatio-Temporal Point Processes: Methods and Applications Peter J
    Johns Hopkins University, Dept. of Biostatistics Working Papers 6-27-2005 Spatio-temporal Point Processes: Methods and Applications Peter J. Diggle Medical Statistics Unit, Lancaster University, UK & Department of Biostatistics, Johns Hopkins Bloomberg School of Public Health, [email protected] Suggested Citation Diggle, Peter J., "Spatio-temporal Point Processes: Methods and Applications" (June 2005). Johns Hopkins University, Dept. of Biostatistics Working Papers. Working Paper 78. http://biostats.bepress.com/jhubiostat/paper78 This working paper is hosted by The Berkeley Electronic Press (bepress) and may not be commercially reproduced without the permission of the copyright holder. Copyright © 2011 by the authors Spatio-temporal Point Processes: Methods and Applications Peter J Diggle (Department of Mathematics and Statistics, Lancaster University and Department of Biostatistics, Johns Hopkins University School of Public Health) June 27, 2005 1 Introduction This chapter is concerned with the analysis of data whose basic format is (xi; ti) : i = 1; :::; n where each xi denotes the location and ti the corresponding time of occurrence of an event of interest. We shall assume that the data form a complete record of all events which occur within a pre-specified spatial region A and a pre-specified time- interval, (0; T ). We call a data-set of this kind a spatio-temporal point pattern, and the underlying stochastic model for the data a spatio-temporal point process. 1.1 Motivating examples 1.1.1 Amacrine cells in the retina of a rabbit One general approach to analysing spatio-temporal point process data is to extend existing methods for purely spatial data by considering the time of occurrence as a distinguishing feature, or mark, attached to each event.
    [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]
  • Letter from the RSS Covid-19 Task Force To
    Letter from the Royal Statistical Society Covid-19 Task Force to the Guardian regarding data transparency 7 August 2020 The Covid-19 public health crisis has placed a sharp emphasis on the role of data in government decision-making. During the current phase – where the emphasis is on Test and Trace and local lockdowns – data is playing an increasingly central role in informing policy. We recognise that the stakes are high and that decisions need to be made quickly. However, this makes it even more important that data is used in a responsible and effective manner. Transparency around the data that are being used to inform decisions is central to this. Over the past week, there have been two major data-led government announcements where the supporting data were not made available at the time. First, the announcement that home and garden visits would be made illegal in parts of northern England. The Prime Minister cited unpublished data which suggested that these visits were the main setting for transmission. Second, the purchase of two new tests for the virus that claim to deliver results within 90 minutes, without data regarding the tests’ effectiveness being published. We are concerned about the lack of transparency in these two cases – these are important decisions and the data upon which they are based should be publicly available for scrutiny, as Paul Nurse pointed out in this paper at the weekend. Government rhetoric often treats data as a managerial tool for informing decisions. But beyond this, transparency and well sign-posted data builds public trust and encourages compliance: the daily provision of statistical information was an integral part of full lockdown and was both expected and valued by the public.
    [Show full text]