Vai al contenuto principale della pagina

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.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Conference on Computability in Europe (9th : 2013 : Milan, Italy)
Titolo: 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.).
Link to work: Nature of computation Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, ©2013
Estensione: 1 online resource.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 511.3/52
Titolo uniforme di collana: Lecture notes in computer science ; 7921.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Index term-Uncontrolled: Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Mathematical Logic and Foundations
Soggetto non controllato: Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Mathematical Logic and Foundations
Termine d'indicizzazione-Occupazione: Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Mathematical Logic and Foundations
Classificazione: SS 4800
DAT 517f
Classificazione LOC: QA9.59 .C66 2013
Creatori/Collaboratori: Bonizzoni, Paola
Brattka, Vasco, , 1966-
Löwe, Benedikt
Note generali: International conference proceedings.
Includes author index.
Contenuto supplementare: Includes bibliographical references and author index.
Nota di contenuto: Real Benefit of Promises and Advice / 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 -- 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 -- 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.
Language Forbidding-Enforcing Systems Defining DNA Codewords / 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 -- 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 -- 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.
Sommario/riassunto: 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.
Lingua: English.
Collana: Lecture notes in computer science, 0302-9743 ; 7921
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Varianti del titolo: CiE 2013
ISBN: 9783642390531
3642390536
3642390528
9783642390524
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: a10173833
Localizzazioni e accesso elettronico https://stanford.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-39053-1
Lo trovi qui: Stanford University
Item: Permalink to OPAC
Altra ed. diverso supporto: Print version: Conference on Computability in Europe (9th : 2013 : Milan, Italy). Nature of computation. Berlin ; New York : Springer, ©2013 (DLC) 2013940615