Coverart for item
The Resource The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

Label
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Title
The nature of computation
Title remainder
logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Statement of responsibility
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
Title variation
CiE 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Dewey number
511.3/52
Index
index present
Language note
English
LC call number
QA9.59
LC item number
.C66 2013
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
Conference on Computability in Europe
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 9.59
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Bonizzoni, Paola
  • Brattka, Vasco
  • Löwe, Benedikt
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7921
http://library.link/vocab/subjectName
  • Computable functions
  • Computer science
  • Mathematical Computing
  • Computation by Abstract Devices
  • Algorithm Analysis and Problem Complexity
  • Discrete Mathematics in Computer Science
  • Math Applications in Computer Science
  • Logics and Meanings of Programs
  • Mathematical Logic and Foundations
  • Mathematics
  • Physical Sciences & Mathematics
  • Mathematical Theory
  • Engineering & Applied Sciences
  • Computer Science
  • Computable functions
  • Computer science
  • Berechenbarkeit
  • Berechnungskomplexität
  • Berechnungstheorie
Label
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Cluster Editing
  • Sebastian Böcker
  • Beyond Rogers' Non-constructively Computable Function
  • John Case, Michael Ralston
  • Constructing Continuous Systems from Discrete Cellular Automata
  • Julien Cervelle
  • Latency-Bounded Target Set Selection in Social Networks
  • Ferdinando Cicalese, Gennaro Cordasco
  • Summary Data Structures for Massive Data
  • Graham Cormode
  • Real Benefit of Promises and Advice
  • Determinant versus Permanent: Salvation via Generalization?
  • Nicolas de Rugy-Altherre
  • Aligning and Labeling Genomes under the Duplication-Loss Model
  • Riccardo Dondi, Nadia El-Mabrouk
  • Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds
  • Jérôme Durand-Lose
  • Klaus Ambos-Spies, Ulrike Brandt
  • Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems
  • Olivier Bournez, Daniel S. Graça
  • An Overview of Genomic Distances Modeled with Indels
  • Marília D.V. Braga
  • Noise versus Computational Intractability in Dynamics
  • Mark Braverman
  • The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games
  • Thomas Dueholm Hansen, Rasmus Ibsen-Jensen
  • The Computation of Nature, Or: Does the Computer Drive Science and Technology?
  • Ulf Hashagen
  • Negative Glues and Non-determinism in Nanocomputations by Self-assembly
  • Lila Kari
  • Structures without Scattered-Automatic Presentation
  • Alexander Kartzow, Philipp Schlicht
  • Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems
  • Shankara Narayanan Krishna, Marian Gheorghe
  • Language Forbidding-Enforcing Systems Defining DNA Codewords
  • Closed Choice for Finite and for Convex Sets
  • Stéphane Le Roux, Arno Pauly
  • Realizability Models Separating Various Fan Theorems
  • Robert S. Lubarsky, Michael Rathjen
  • Towards a Theory of Homomorphic Compression
  • Andrew McGregor
  • The Classification Problem for Compact Computable Metric Spaces
  • Alexander G. Melnikov, André Nies
  • Daniela Genova
  • Computing K-Trivial Sets by Incomplete Random Sets
  • Noam Greenberg
  • Cardinal-Recognizing Infinite Time Turing Machines
  • Miha E. Habič
  • 'Stored Program Concept' Considered Harmful: History and Historiography
  • Thomas Haigh
Control code
849283186
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642390531
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-39053-1
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)849283186
Label
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Cluster Editing
  • Sebastian Böcker
  • Beyond Rogers' Non-constructively Computable Function
  • John Case, Michael Ralston
  • Constructing Continuous Systems from Discrete Cellular Automata
  • Julien Cervelle
  • Latency-Bounded Target Set Selection in Social Networks
  • Ferdinando Cicalese, Gennaro Cordasco
  • Summary Data Structures for Massive Data
  • Graham Cormode
  • Real Benefit of Promises and Advice
  • Determinant versus Permanent: Salvation via Generalization?
  • Nicolas de Rugy-Altherre
  • Aligning and Labeling Genomes under the Duplication-Loss Model
  • Riccardo Dondi, Nadia El-Mabrouk
  • Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds
  • Jérôme Durand-Lose
  • Klaus Ambos-Spies, Ulrike Brandt
  • Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems
  • Olivier Bournez, Daniel S. Graça
  • An Overview of Genomic Distances Modeled with Indels
  • Marília D.V. Braga
  • Noise versus Computational Intractability in Dynamics
  • Mark Braverman
  • The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games
  • Thomas Dueholm Hansen, Rasmus Ibsen-Jensen
  • The Computation of Nature, Or: Does the Computer Drive Science and Technology?
  • Ulf Hashagen
  • Negative Glues and Non-determinism in Nanocomputations by Self-assembly
  • Lila Kari
  • Structures without Scattered-Automatic Presentation
  • Alexander Kartzow, Philipp Schlicht
  • Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems
  • Shankara Narayanan Krishna, Marian Gheorghe
  • Language Forbidding-Enforcing Systems Defining DNA Codewords
  • Closed Choice for Finite and for Convex Sets
  • Stéphane Le Roux, Arno Pauly
  • Realizability Models Separating Various Fan Theorems
  • Robert S. Lubarsky, Michael Rathjen
  • Towards a Theory of Homomorphic Compression
  • Andrew McGregor
  • The Classification Problem for Compact Computable Metric Spaces
  • Alexander G. Melnikov, André Nies
  • Daniela Genova
  • Computing K-Trivial Sets by Incomplete Random Sets
  • Noam Greenberg
  • Cardinal-Recognizing Infinite Time Turing Machines
  • Miha E. Habič
  • 'Stored Program Concept' Considered Harmful: History and Historiography
  • Thomas Haigh
Control code
849283186
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642390531
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-39053-1
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)849283186

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...