Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Paola Bonizzoni

    1. Dipartimento die Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vasco Brattka

    1. Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer Science, Universität der Bundeswehr München, Neubiberg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Benedikt Löwe

    1. Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: CiE 2013.

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 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 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
The 48 revised papers presented together with 1 invited lecture and 2
tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various  natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

Similar content being viewed by others

Keywords

Table of contents (51 papers)

  1. Front Matter

    Download chapter PDF

  2. Real Benefit of Promises and Advice

    • Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler
    Pages 1-11

  3. Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems

    • Olivier Bournez, Daniel S. Graça, Amaury Pouly, Ning Zhong
    Pages 12-21

  4. An Overview of Genomic Distances Modeled with Indels

    • Marília D. V. Braga
    Pages 22-31

  5. Noise versus Computational Intractability in Dynamics

    • Mark Braverman
    Pages 32-32

  6. Cluster Editing

    • Sebastian Böcker, Jan Baumbach
    Pages 33-44

  7. Beyond Rogers’ Non-constructively Computable Function

    • John Case, Michael Ralston
    Pages 45-54

  8. Constructing Continuous Systems from Discrete Cellular Automata

    • Julien Cervelle
    Pages 55-64

  9. Latency-Bounded Target Set Selection in Social Networks

    • Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanič, Ugo Vaccaro
    Pages 65-77

  10. Summary Data Structures for Massive Data

    • Graham Cormode
    Pages 78-86

  11. Determinant versus Permanent: Salvation via Generalization?

    • Nicolas de Rugy-Altherre
    Pages 87-96

  12. Aligning and Labeling Genomes under the Duplication-Loss Model

    • Riccardo Dondi, Nadia El-Mabrouk
    Pages 97-107

  13. Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds

    • Jérôme Durand-Lose
    Pages 108-119

  14. Processes Inspired by the Functioning of Living Cells: Natural Computing Approach

    • Andrzej Ehrenfeucht, Grzegorz Rozenberg
    Pages 120-122

  15. Recent Developments in Collective Decision Making in Combinatorial Domains

    • Ulle Endriss
    Pages 123-123

  16. Software Streams: Big Data Challenges in Dynamic Program Analysis

    • Irene Finocchi
    Pages 124-134

  17. On λ-Definable Functions on Ordinals

    • Tim Fischbach, Benjamin Seyfferth
    Pages 135-146

  18. A Personal View of the P versus NP Problem

    • Lance Fortnow
    Pages 147-148

  19. An Investigation on Genomic Repeats

    • Giuditta Franco, Alessio Milanese
    Pages 149-160

  20. Local Computability for Ordinals

    • Johanna N. Y. Franklin, Asher M. Kach, Russell Miller, Reed Solomon
    Pages 161-170
Back to top

Other volumes

  1. The Nature of Computation. Logic, Algorithms, Applications

Editors and Affiliations

  • Dipartimento die Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milan, Italy

    Paola Bonizzoni

  • Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer Science, Universität der Bundeswehr München, Neubiberg, Germany

    Vasco Brattka

  • Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    Benedikt Löwe

Bibliographic Information

Publish with us

Policies and ethics

Back to top