E-Books durchsuchen
Models of Computation in Context [2011]
- 1
-
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
- 11
-
Three Theorems on <Emphasis Type="Italic">n</Emphasis>-REA Degrees: Proof-Readers and Verifiers
- 21
-
A Computational Approach to an Alternative Working Environment for the Constructible Universe
- 31
-
Automatic Learners with Feedback Queries
- 41
-
Splicing Systems: Accepting Versus Generating
- 51
-
Effective Categoricity of Injection Structures
- 61
-
Consistency and Optimality
- 71
-
Cupping and Diamond Embeddings: A Unifying Approach
- 81
-
On the Kolmogorov Complexity of Continuous Real Functions
- 92
-
Defining Languages by Forbidding-Enforcing Systems
- 102
-
Axiomatizing Resource Bounds for Measure
- 112
-
Complexity Issues for Preorders on Finite Labeled Forests
- 122
-
Randomness and the Ergodic Decomposition
- 132
-
Computability of the Radon-Nikodym Derivative
- 142
-
Extracting Winning Strategies in Update Games
- 152
-
A Generalised Dynamical System, Infinite Time Register Machines, and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-642-21875-0_16_Chapter_TeX2GIF_IEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$\Pi^1_1$</EquationSource> </InlineEquation>-CA<Subscript>0</Subscript>
- 160
-
Computability Power of Mobility in Enhanced Mobile Membranes
- 171
-
Nature-Based Problems in Cellular Automata
- 181
-
Multi-Resolution Cellular Automata for Real Computation
- 191
-
Deciding According to the Shortest Computations
- 201
-
Computation of Similarity—Similarity Search as Computation
- 211
-
Adapting Rabin’s Theorem for Differential Fields
- 221
-
Quantum Information Channels in Curved Spacetime
- 230
-
Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete
- 239
-
Consecutive Ones Property Testing: Cut or Swap
- 250
-
Current Developments on Computational Modeling Using P Systems
- 252
-
Automata on Ordinals and Linear Orders
- 260
-
A Fine Hierarchy of <Emphasis Type="Italic">ω</Emphasis>-Regular <Emphasis Type="Italic">k</Emphasis>-Partitions
- 270
-
On a Relative Computability Notion for Real Functions
- 280
-
Towards an Axiomatic System for Kolmogorov Complexity
- 290
-
A New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based
- 300
-
Conservative Extensions of Abstract Structures
- 310
-
On a Hierarchy of Plus-Cupping Degrees