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