Curriculum Vitae of Danny Dorling
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Safety and Conservativity of Definitions in HOL and Isabelle/HOL
This is a repository copy of Safety and conservativity of definitions in HOL and Isabelle/HOL. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/161207/ Version: Published Version Article: Kunčar, O. and Popescu, A. orcid.org/0000-0001-8747-0619 (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 (POPL). 24. ISSN 2475-1421 https://doi.org/10.1145/3158112 Reuse This article is distributed under the terms of the Creative Commons Attribution (CC BY) licence. This licence allows you to distribute, remix, tweak, and build upon the work, even commercially, as long as you credit the authors for the original work. More information and the full terms of the licence here: https://creativecommons.org/licenses/ Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ Safety and Conservativity of Definitions in HOL and Isabelle/HOL ONDŘEJ KUNČAR, Technische Universität München, Germany ANDREI POPESCU, Middlesex University London, United Kingdom and Institute of Mathematics Simion Stoilow of the Romanian Academy, Romania Deinitions are traditionally considered to be a safe mechanism for introducing concepts on top of a logic known to be consistent. In contrast to arbitrary axioms, deinitions should in principle be treatable as a form of abbreviation, and thus compiled away from the theory without losing provability. -
Mollicutes Antibiotic Resistance Profile and Presence of Genital Abnormalities in Couples Attending an Infertility Clinic
This is a repository copy of Mollicutes antibiotic resistance profile and presence of genital abnormalities in couples attending an infertility clinic.. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/143263/ Version: Published Version Article: Maldonado-Arriaga, B., Escobar-Escamilla, N. orcid.org/0000-0001-8929-476X, Pérez-Razo, J.C. et al. (9 more authors) (2019) Mollicutes antibiotic resistance profile and presence of genital abnormalities in couples attending an infertility clinic. Journal of International Medical Research. ISSN 0300-0605 https://doi.org/10.1177/0300060519828945 Reuse This article is distributed under the terms of the Creative Commons Attribution-NonCommercial (CC BY-NC) licence. This licence allows you to remix, tweak, and build upon this work non-commercially, and any new works must also acknowledge the authors and be non-commercial. You don’t have to license any derivative works on the same terms. More information and the full terms of the licence here: https://creativecommons.org/licenses/ Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ Special Issue: Infection and Bacterial Resistance Journal of International Medical Research 0(0) 1–12 Mollicutes antibiotic ! The Author(s) 2019 Article reuse guidelines: resistance profile and sagepub.com/journals-permissions -
Gatekeepers & Crashers
InfluencerCon Presents Gatekeepers & Crashers: Thriving Or Dying? 1 2 Table Of Contents INTRODUCTION 05 CREDITS 06 ESSAYS Gate Keepers 11 Bayo Akomolafe 13 Michael Brooks 20 Sebastien Felix 22 Gilad Goren 25 Dowshan Humzah 28 Nick Seneca Jankel 34 Hortense Koster 38 Alnoor Ladha (Part 1) 41 Alnoor Ladha (Part 2) 46 Sara Shamsavari 48 3 INTRODUCTION 4 GATEKEEPERS/CRASHERS: Thriving or Dying? What is Influencer Conference? exactly what we are seeking to do. Convert ideas and Influencer Conference (InfluencerCon) exists at the insights into something larger, more connected, shareable intersection of values, culture, creativity & commerce. with universal elements. Alchemy allows us to go beyond our host cities and engage influencers who might not be able to InfluencerCon is a global content platform that identifies and attend or speak. supports influencer culture globally. Influencer culture is the unique space occupied by artist, entrepreneurs, innovators, “Gatekeepers/Crashers: Thriving or Dying?” philanthropist & technologist. By bringing tastemakers and The advent of technology and digital media was supposed to game-changers across industries and territories together, herald the end of the age of gatekeepers. The 21st century InfluencerCon establishes itself as the standard bearer for promised the democratization of communication and access. those who are pushing boundaries and creating Now, almost 15 years into a new century, it begs the question what is “NEXT”. whether that has that truly been the case? Has the power and privilege of gatekeepers subsided or, has the expansion of InfluencerCon breaks down traditional “silo-ed” thinking technology actually had the opposite effect, increasing their and encourage cross functionality. -
ASD-Covert-Foreign-Money.Pdf
overt C Foreign Covert Money Financial loopholes exploited by AUGUST 2020 authoritarians to fund political interference in democracies AUTHORS: Josh Rudolph and Thomas Morley © 2020 The Alliance for Securing Democracy Please direct inquiries to The Alliance for Securing Democracy at The German Marshall Fund of the United States 1700 18th Street, NW Washington, DC 20009 T 1 202 683 2650 E [email protected] This publication can be downloaded for free at https://securingdemocracy.gmfus.org/covert-foreign-money/. The views expressed in GMF publications and commentary are the views of the authors alone. Cover and map design: Kenny Nguyen Formatting design: Rachael Worthington Alliance for Securing Democracy The Alliance for Securing Democracy (ASD), a bipartisan initiative housed at the German Marshall Fund of the United States, develops comprehensive strategies to deter, defend against, and raise the costs on authoritarian efforts to undermine and interfere in democratic institutions. ASD brings together experts on disinformation, malign finance, emerging technologies, elections integrity, economic coercion, and cybersecurity, as well as regional experts, to collaborate across traditional stovepipes and develop cross-cutting frame- works. Authors Josh Rudolph Fellow for Malign Finance Thomas Morley Research Assistant Contents Executive Summary �������������������������������������������������������������������������������������������������������������������� 1 Introduction and Methodology �������������������������������������������������������������������������������������������������� -
Goodwin, Matthew and Milazzo, Caitlin (2017) Taking Back Control?: Investigating the Role of Immigration in the 2016 Vote for Brexit
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Nottingham ePrints Goodwin, Matthew and Milazzo, Caitlin (2017) Taking back control?: investigating the role of immigration in the 2016 vote for Brexit. British Journal of Politics and International Relations, 19 (3). pp. 450-464. ISSN 1467- 856X Access from the University of Nottingham repository: http://eprints.nottingham.ac.uk/42452/1/Taking%20Back%20Control%20FINAL %20SUBMISSION%2028%20April%202017.pdf Copyright and reuse: The Nottingham ePrints service makes this work by researchers of the University of Nottingham available open access under the following conditions. This article is made available under the University of Nottingham End User licence and may be reused according to the conditions of the licence. For more details see: http://eprints.nottingham.ac.uk/end_user_agreement.pdf A note on versions: The version presented here may differ from the published version or from the version of record. If you wish to cite this item you are advised to consult the publisher’s version. Please see the repository url above for details on accessing the published version and note that access may require a subscription. For more information, please contact [email protected] Taking Back Control? Investigating the Role of Immigration in the 2016 Vote for Brexit Matthew Goodwin University of Kent Canterbury, CT2 7NZ [email protected] Caitlin Milazzo University of Nottingham Nottingham NG7 2RD [email protected] Abstract The 2016 referendum marked a watershed moment in the history of the United Kingdom. The public vote to leave the EU –for a ‘Brexit’- brought an end to the country’s membership of the European Union (EU) and set it on a fundamentally different course. -
Mckinsey Quarterly 2015 Number 4.Pdf
2015 Number 4 Copyright © 2015 McKinsey & Company. All rights reserved. Published since 1964 by McKinsey & Company, 55 East 52nd Street, New York, New York 10022. Cover illustration by Vasava McKinsey Quarterly meets the Forest Stewardship Council (FSC) chain-of- custody standards. The paper used in the Quarterly is certified as being produced in an environ- mentally responsible, socially beneficial, and economi- cally viable way. Printed in the United States of America. 2015 Number 4 This Quarter It’s almost a truism these days to say that modern corporations must be agile. The pace of industry disruption arising from the digital revolution, combined with nimble, new competitors—including many from emerging markets—have raised the cost of complacency and rigidity. But what does it mean to achieve agility? This issue’s cover package tries to answer that question, starting with intriguing new McKinsey research. Using data from McKinsey’s Organizational Health Index, Michael Bazigos, Aaron De Smet, and Chris Gagnon show how organizations that combine speed with stability are far likelier to be healthy than companies that simply move fast. The utility sector is a striking example of one industry that needs to combine flexibility and stability. Although digital competitors, new data-based business models, and renewable-energy sources are changing the landscape in certain markets, the industry’s sprawl- ing base of heavy assets remains core to its future. Sven Heiligtag and his colleagues Dominik Luczak and Eckart Windhagen describe how a number of leading utilities are trying to straddle these two worlds, suggesting some lessons for companies in other sectors. -
Submission Data for 2020-2021 CORE Conference Ranking Process International Joint Conference on Automated Reasoning
Submission Data for 2020-2021 CORE conference Ranking process International Joint Conference on Automated Reasoning Franz Baader, Viorica Sofronie-Stokkermans Conference Details Conference Title: International Joint Conference on Automated Reasoning Acronym : IJCAR Rank: A* Requested Rank Rank: A* Recent Years Proceedings Publishing Style Proceedings Publishing: series Link to most recent proceedings: https://link.springer.com/conference/ijcar Further details: The proceedings are published in Springer Lecture Notes in Computer Science (LNCS) subseries Lecture Notes in Artificial Intelligence (LNAI). The proceedings usually contain regular papers and system descriptions accepted at the main conference. (IJCAR 2020 also contained a small number of short papers, which were clearly marked as short papers.) Most Recent Years Most Recent Year Year: 2018 URL: http://ijcar2018.org Location: Oxford, UK Papers submitted: 108 Papers published: 46 Acceptance rate: 43 Source for numbers: http://ijcar.org//conferences General Chairs Name: Ian Horrocks Affiliation: University of Oxford, UK Gender: M H Index: 96 GScholar url: https://scholar.google.com/citations?hl=en&user=0ypdmcYAAAAJ DBLP url: https://dblp.org/pid/h/IanHorrocks.html Program Chairs Name: Didier Galmiche Affiliation: UniversitÃľ de Lorraine, France Gender: M H Index: 19 (according to Semantic Scholar) GScholar url: https://scholar.google.com/scholar?hl=de&as_sdt=0%2C5&q=Didier+Galmiche&oq= DBLP url: https://dblp.org/pid/82/76.html 1 Second Most Recent Year Year: 2016 URL: https://www.uc.pt/en/congressos/ijcar2016 -
Towards a Practical, Verified Kernel
Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ PhilipDerrin TimothyRoscoe† Gernot Heiser∗‡ National ICT Australia§ Abstract properties such as guaranteed termination of system calls, and the kernel never throwing an internal exception. In the paper we examine one of the issues in designing, Successful OS kernels have generally been the result of specifying, implementing and formally verifying a small careful attention to performance issues, and repeatedly it- operating system kernel — how to provide a productive erating bottom-up implementations of low-level function- and iterative developmentmethodology for both operating ality, in some cases changing high-level interfaces and system developers and formal methods practitioners. functionality to accommodate implementation constraints We espouse the use of functional programming lan- and performance goals. This is, unfortunately, in conflict guages as a medium for prototyping that is readily with formal methods, which typically work by top-down amenable to formalisation with a low barrier to entry for refining models of system properties, and rarely deal with kernel developers, and report early experience in the pro- low-level implementation features. cess of designing and building seL4: a new, practical, and This paper describes our approach to resolving this ten- formally verified microkernel. sion, and reports on our experience so far in applying it to seL4. We use a high-level language (Literate Haskell) to simultaneously develop a specification of the kernel and a 1 Introduction reference implementation for evaluation and testing. The implementation can be used in conjunction with a sim- We describe our approachto constructing seL4 — a useful ulator such as QEMU for running real application bina- yet formally verified operating system kernel, by means of ries, while the specification generates input to an interac- a novel development process which aims to reconcile the tive theorem prover (Isabelle) for formal proof of proper- conflicting methodologies of kernel developers and for- ties. -
Aaron Clauset
Aaron Clauset Contact Department of Computer Science voice: 303{492{6643 Information University of Colorado at Boulder fax: 303{492{2844 430 UCB email: [email protected] Boulder CO, 80309-0430 USA web: www.santafe.edu/∼aaronc Research Network science (methods, theories, applications); Data science, statistical inference, machine learn- Interests ing; Models and simulations; Collective dynamics and complex systems; Rare events, power laws and forecasting; Computational social science; Computational biology and biological computation. Education Ph.D. Computer Science, University of New Mexico (with distinction) 2002 { 2006 B.S. Physics, Haverford College (with honors and concentration in Computer Science) 1997 { 2001 Academic Associate Professor, Computer Science Dept., University of Colorado, Boulder 2018 { present Positions Core Faculty, BioFrontiers Institute, University of Colorado, Boulder 2010 { present External Faculty, Santa Fe Institute 2012 { present Affiliated Faculty, Ecology & Evo. Biology Dept., University of Colorado, Boulder 2011 { present Affiliated Faculty, Applied Mathematics Dept., University of Colorado, Boulder 2012 { present Affiliated Faculty, Information Dept., University of Colorado, Boulder 2015 { present Assistant Professor, Computer Science Dept., University of Colorado, Boulder 2010 { 2018 Omidyar Fellow, Santa Fe Institute 2006 { 2010 Editorial Deputy Editor, Science Advances, AAAS 2017 { present Positions Associate Editor, Science Advances, AAAS 2014 { 2017 Associate Editor, Journal of Complex Networks, Oxford University Press 2012 { 2017 Honors & Top 20 Teachers, College of Engineering, U. Colorado, Boulder 2016 Awards Erd}os-R´enyi Prize in Network Science 2016 (Selected) NSF CAREER Award 2015 { 2020 Kavli Fellow 2014 Santa Fe Institute Public Lecture Series (http://bit.ly/I6t9gf) 2010 Graduation Speaker, U. New Mexico School of Engineering Convocation 2006 Outstanding Graduate Student Award, U. -
Cristopher Moore
Cristopher Moore Santa Fe Institute Santa Fe, NM 87501 [email protected] August 23, 2021 1 Education Born March 12, 1968 in New Brunswick, New Jersey. Northwestern University, B.A. in Physics, Mathematics, and the Integrated Science Program, with departmental honors in all three departments, 1986. Cornell University, Ph.D. in Physics, 1991. Philip Holmes, advisor. Thesis: “Undecidability and Unpredictability in Dynamical Systems.” 2 Employment Professor, Santa Fe Institute 2012–present Professor, Computer Science Department with a joint appointment in the Department of Physics and Astronomy, University of New Mexico, Albuquerque 2008–2012 Associate Professor, University of New Mexico 2005–2008 Assistant Professor, University of New Mexico 2000–2005 Research Professor, Santa Fe Institute 1998–1999 City Councilor, District 2, Santa Fe 1994–2002 Postdoctoral Fellow, Santa Fe Institute 1992–1998 Lecturer, Cornell University Spring 1991 Graduate Intern, Niels Bohr Institute/NORDITA, Copenhagen Summers 1988 and 1989 Teaching Assistant, Cornell University Physics Department Fall 1986–Spring 1990 Computer programmer, Bio-Imaging Research, Lincolnshire, Illinois Summers 1984–1986 3 Other Appointments Visiting Researcher, Microsoft Research New England Fall 2019 Visiting Professor, Ecole´ Normale Sup´erieure October–November 2016 Visiting Professor, Northeastern University October–November 2015 Visiting Professor, University of Michigan, Ann Arbor September–October 2005 Visiting Professor, Ecole´ Normale Sup´erieure de Lyon June 2004 Visiting Professor, -
Chatham House's 90 Anniversary
Type of paper: Transcript International Affairs: What Does The Future Hold? Chatham House’s 90 th Anniversary Dr Richard Haass President, Council on Foreign Relations Dr Robin Niblett Director, Chatham House Robin Lustig The World Tonight , BBC Radio 4 Tuesday 30 November 2010 The views expressed in this document are the sole responsibility of the author(s) and do not necessarily reflect the view of Chatham House, its staff, associates or Council. Chatham House is independent and owes no allegiance to any government or to any political body. It does not take institutional positions on policy issues. This document is issued on the understanding that if any extract is used, the author(s)/ speaker(s) and Chatham House should be credited, preferably with the date of the publication or details of the event. Where this document refers to or reports statements made by speakers at an event every effort has been made to provide a fair representation of their views and opinions, but the ultimate responsibility for accuracy lies with this document’s author(s). The published text of speeches and presentations may differ from delivery. Transcript: WHAT DOES THE FUTURE HOLD? International Affairs: What Does The Future Hold? CHATHAM HOUSE’S 90 th ANNIVERSARY Introduction: Robin Lustig Good afternoon, everybody. Good evening. Good afternoon to New York. I’m Robin Lustig and I will be chairing this rather special 90 th anniversary event which is in the nature of a sort of intellectual birthday party, I suppose, to celebrate 90 years of Chatham House and very nearly 90 years of the Council on Foreign Relations. -
Thatcherism and Women: After Seven Years
THATCHERISM AND WOMEN: AFTER SEVEN YEARS Elizabeth Wilson In 1979 the Conservative Party won the British general election led by a woman-paradoxically, after ten years of leftwing feminist activism, it was the Tories that gave the British their first woman Prime Minister. And the most paradoxical aspect of all has been that Margaret Thatcher, the 'exceptional woman' par excellence, has done nothing to advance the cause of women, indeed during her period of office the quality of life for the majority of women in this country has deteriorated. This has been as a direct result of the tremendous class attack launched by the Conservative government against working people, both women and men. The initial reaction of the British left, and this included many feminists, was on the one hand disbelief that the British people could have voted such a reactionary government into power, and on the other the rapid construction of an explanation for this event in terms of an ideology of t hatcher ism'.' The development of this concept rested on a conviction that disillusionment with socialism and progress had willed the whole populace to the Right. Bob ~esso~~and others have recently mounted an extensive and measured critique of the 'Thatcherism' thesis, particularly as it has been developed in the work of Stuart Hall and in a series of articles published in Marxism Today. Jessop and his co-authors argue, for example, that Stuart Hall's notion of 'authoritarian populism', upon which 'Thatcherism' is based, is ambiguous and incoherent. They suggest that the Left has too readily accepted the Right's own assessment of itself and its decisive ideological break with the past.