Reset Filters
Branch: 上海图书馆

Cover is for reference only

The nature of computation logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, proceedings /

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

Full description

Saved in:
Bibliographic Details
Corporate Authors: Conference on Computability in Europe Milan, Italy); SpringerLink (Online service)
Group Author: Bonizzoni, Paola.; Brattka, Vasco, 1966-; Löwe, Benedikt.
Published:
Literature type: Electronic eBook
Language: English
Series: Lecture notes in computer science, 7921
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Subjects:
Mathematical Computing > Congresses.
Computable functions > Congresses.
Computer science > Mathematics > Congresses.
Computable functions.
Computer science > Mathematics.
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.
Electronic books.
Conference proceedings.
Online Access: http://dx.doi.org/10.1007/978-3-642-39053-1
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.
Item Description: International conference proceedings.
Includes author index.
Carrier Form: 1 online resource (xviii, 446 p.) : ill.
ISBN: 9783642390531 (electronic bk.)
3642390536 (electronic bk.)
Index Number: QA9
CLC: O14-532
Contents: Real Benefit of Promises and Advice /
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems /
An Overview of Genomic Distances Modeled with Indels /
Noise versus Computational Intractability in Dynamics /
Cluster Editing /
Beyond Rogers' Non-constructively Computable Function /
Constructing Continuous Systems from Discrete Cellular Automata /
Latency-Bounded Target Set Selection in Social Networks /
Summary Data Structures for Massive Data /
Determinant versus Permanent: Salvation via Generalization? /
Aligning and Labeling Genomes under the Duplication-Loss Model /
Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds /
Language Forbidding-Enforcing Systems Defining DNA Codewords /
Computing K-Trivial Sets by Incomplete Random Sets /
Cardinal-Recognizing Infinite Time Turing Machines /
'Stored Program Concept' Considered Harmful: History and Historiography /
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games /
The Computation of Nature, Or: Does the Computer Drive Science and Technology? /
Negative Glues and Non-determinism in Nanocomputations by Self-assembly /
Structures without Scattered-Automatic Presentation /
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems /
Closed Choice for Finite and for Convex Sets /
Realizability Models Separating Various Fan Theorems /
Towards a Theory of Homomorphic Compression /
The Classification Problem for Compact Computable Metric Spaces /

Related Book Recommendations