Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
17
-Recursion Theory and Ordinal Com- putability
"... Motivated by a talk of S. D. Friedman at BIWOC we show that the -recur-sive and -recursively enumerable sets of G. Sacks ' s -recursion theory are exactly those sets that are recursive and recursively enumerable by an ordinal Turing machines with tapes of length and time bound . 1 Introduction ..."
Abstract
- Add to MetaCart
Motivated by a talk of S. D. Friedman at BIWOC we show that the -recur-sive and -recursively enumerable sets of G. Sacks ' s -recursion theory are exactly those sets that are recursive and recursively enumerable by an ordinal Turing machines with tapes of length and time bound . 1
König’s Lemma and Kleene Tree
, 2006
"... I present a basic result about Cantor space in the context of com-putability theory: the computable Cantor space is computably non-compact. This is in sharp contrast with the classical theorem that Cantor space is compact. The note is written for mathematicians with classical training in topology an ..."
Abstract
- Add to MetaCart
I present a basic result about Cantor space in the context of com-putability theory: the computable Cantor space is computably non-compact. This is in sharp contrast with the classical theorem that Cantor space is compact. The note is written for mathematicians with classical training in topology
A Swiss Pocket Knife for Computability
"... This research is about operational- and complexity-oriented aspects of classical foundations of com-putability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective. Three cornerston ..."
Abstract
- Add to MetaCart
This research is about operational- and complexity-oriented aspects of classical foundations of com-putability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective. Three
Some natural decision problems in automatic graphs. 2008. Available from http://www.informatik.uni-leipzig.de/∼lohrey
"... Abstract. For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler path, bounding the number of ends, and bounding the number of infinite branches in a tree (C) existence of an ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
in com-putability theory. A structure is recursive, if its domain is a recursive set of naturals, and every relation is again recursive. Starting with the work of Man-
Embedded Zassenhaus Expansion to Operator Splitting Schemes: Theory and Application in Fluid Dynamics
, 2014
"... In this paper, we contribute operator-splitting methods improved by the Zassenhaus product for the numerical solution of linear partial differential equa-tions. We address iterative splitting methods, that can be improved by means of the Zassenhaus product formula, which is a sequnential splitting s ..."
Abstract
- Add to MetaCart
higher order commutators, we combine such an improved initialization process to cheap com-putable to linear convergent iterative splitting schemes. Theoretical discussion about convergence and application examples are dis-cussed with CFD problems.
Computability and Algorithmic Complexity in Economics
, 2012
"... Rabin's effectivization of the Gale-Stewart Game [42] remains the model methodological contribution to the field for which Velupillai coined the name Computable Economics more than 20 years ago. Alain Lewis was the first to link Rabin's work with Simon's fertile concept of bounded rat ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
and nance theories. We try to place, in the context of the development of com-putable economics, some of the classics of the subject as well as those that have,
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and its Application to Cloud Computing
, 2014
"... Abstract. Several formal models combine probabilistic and nondeterministic features. To allow their probabilistic simulation and statistical model checking by means of pseudo-random number sampling, all sources of nondeterminism must first be quanti-fied. However, current tools offer limited flexibi ..."
Abstract
- Add to MetaCart
on the current system state, and their associated weight expressions can be given by any com-putable function defined equationally in Maude. We have implemented PSMaude, a tool that extends Maude with a probabilistic simulator and a statistical model checker for our language. We illustrate the convenience
A Computable Kolmogorov Superposition Theorem
- In
, 2000
"... In the year 1900 in his famous lecture in Paris Hilbert formulated 23 challeng-ing problems which inspired many ground breaking mathematical investigations in the last century. Among these problems the 13th was concerned with the solution of higher order algebraic equations. Hilbert conjectured that ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
framework of computable analysis: each multivariate com-putable real-valued function can be represented as superposition and composition of computable real number functions of only one variable and such a representation can even be determined eectively. As a consequence one obtains a characteriza-tion
Uncertainty, Political Preferences, and Stabilization: Stochastic Control Using Dynamic CGE Models
, 2003
"... Abstract. This paper is a step toward the merger of optimal control models with dynamic com-putable general equilibrium (CGE) models. It demonstrates the usefulness of CGE techniques in control theory application and provides a practical guideline to policymakers in this relatively new field. Uncert ..."
Abstract
- Add to MetaCart
Abstract. This paper is a step toward the merger of optimal control models with dynamic com-putable general equilibrium (CGE) models. It demonstrates the usefulness of CGE techniques in control theory application and provides a practical guideline to policymakers in this relatively new field
FAST: A transducer-based language for tree manipulation
, 2012
"... Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML process-ing to language type-checking. While these formalisms are of immense practical use, they can only model finite alpha-bets, and since many real-world applications operate over infinit ..."
Abstract
-
Cited by 6 (5 self)
- Add to MetaCart
this, we show how the main operations, such as composition and language equivalence, remain com-putable given a decision procedure for the alphabet theory. We introduce a high-level language called Fast that acts as a front-end for the above formalisms. Fast supports sym-bolic alphabets through tight
Results 1 - 10
of
17
