Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Computing with Foresight and Industry

15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Florin Manea

    1. Christian Albrechts University of Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Barnaby Martin

    1. Durham University, Durham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Daniël Paulusma

    1. Durham University, Durham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Giuseppe Primiero

    1. Università degli Studi di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11558)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CiE 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.

The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Recent Advances in the Computation of the Homology of Semialgebraic Sets

    • Felipe Cucker
    Pages 1-12

  3. Surreal Blum-Shub-Smale Machines

    • Lorenzo Galeotti
    Pages 13-24

  4. Non-Recursive Trade-Offs Are “Almost Everywhere”

    • Markus Holzer, Martin Kutrib
    Pages 25-36

  5. Probabilistic Analysis of Facility Location on Random Shortest Path Metrics

    • Stefan Klootwijk, Bodo Manthey
    Pages 37-49

  6. Uniform Relativization

    • Kenshi Miyabe
    Pages 50-61

  7. Correctness, Explanation and Intention

    • Raymond Turner
    Pages 62-71

  8. Higher Type Recursion for Transfinite Machine Theory

    • Philip Welch
    Pages 72-83

  9. Effective Embeddings for Pairs of Structures

    • Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
    Pages 84-95

  10. Bounded Reducibility for Computable Numberings

    • Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
    Pages 96-107

  11. Complexity of Conjunctive Regular Path Query Homomorphisms

    • Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine, Gaétan Richard
    Pages 108-119

  12. Towards Uniform Online Spherical Tessellations

    • Paul C. Bell, Igor Potapov
    Pages 120-131

  13. Complexity of Maximum Fixed Point Problem in Boolean Networks

    • Florian Bridoux, Nicolas Durbec, Kevin Perrot, Adrien Richard
    Pages 132-143

  14. A Note on the Ordinal Analysis of \(\mathbf {RCA}_0 + \mathrm {WO}(\mathbf {\sigma })\)

    • Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen
    Pages 144-155

  15. Study of Stepwise Simulation Between ASM

    • Patrick Cégielski, Julien Cervelle
    Pages 156-167

  16. Cohesive Powers of Linear Orders

    • Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev
    Pages 168-180

  17. An algorithmic approach to characterizations of admissibles

    • Bruno Durand, Grégory Lafitte
    Pages 181-192

  18. Destroying Bicolored \(P_3\)s by Deleting Few Edges

    • Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer
    Pages 193-204

  19. Degree Spectra for Transcendence in Fields

    • Iskander Kalimullin, Russell Miller, Hans Schoutens
    Pages 205-216

  20. More Intensional Versions of Rice’s Theorem

    • Jean-Yves Moyen, Jakob Grue Simonsen
    Pages 217-229
Back to top

Other volumes

  1. Computing with Foresight and Industry

Editors and Affiliations

  • Christian Albrechts University of Kiel, Kiel, Germany

    Florin Manea

  • Durham University, Durham, UK

    Barnaby Martin, Daniël Paulusma

  • Università degli Studi di Milano, Milan, Italy

    Giuseppe Primiero

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation