Searching for "Ordinal computations." – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Turing computations on ordinals
- …arXiv:math/0502264v1 [math.LO] 13 Feb 2005 Turing Computations on Ordinals Peter Koepke University…
- Cited by 9 (4 self) – Add To MetaCart
-
Computing a model of set theory
- …-Wilhelms-Universität Bonn, Beringstraße 1, 53113 Bonn, Germany Abstract. We define the notion of ordinal computability…
- Cited by 2 (1 self) – Add To MetaCart
-
Dynamic ordinals – universal measures for implicit computational complexity
- …Generalised Dynamic Ordinals – universal measures for implicit computational complexity Arnold…
- Cited by 1 (0 self) – Add To MetaCart
-
Agent-Oriented Language Engineering for Robust NLP
- … and by performance constraints. At this level, co-ordination is computational logic-based in order to exploit known…
- Cited by 1 (1 self) – Add To MetaCart
-
Descriptions and cardinals below δ 1 5
- … throughout in the theory ZF +AD+DC. In the mid 80’s, Jackson computed the values of the projective ordinals δ…
- Cited by 1 (1 self) – Add To MetaCart
-
Finding Strongly Connected Components in Parallel in Particle Transport Sweeps
- … directions or ordinates. The computation for each angle is performed by sweeping the ux across a grid, i…
- Add To MetaCart
-
Identifying Strongly Connected Components in Parallel
- … the radiation eld by angle, and ux propagation is computed for a set of discrete directions or ordinates…
- Add To MetaCart
-
A General Performance Model for Parallel Sweeps on Orthogonal Grids for Particle Transport Calculations
- … consuming step of a discrete-ordinates computation is the transport sweep which involves a sweep through…
- Add To MetaCart
-
A General Performance Model for Parallel Sweeps on Orthogonal Grids for Particle Transport Calculations
- … implementation of the best sequential algorithm, the most dicult step of a discrete-ordinates computation…
- Cited by 6 (2 self) – Add To MetaCart
-
Post’s Problem for Ordinal Register Machines
- … machines and Turing machines in infinite time. Keywords: computability, ordinal computability, ordinal…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
