Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Hyperarithmetical theory

Known as: Hyperarithmetical, Hyperarithmetical set, Hyperarithmetic hierarchy 
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order… Expand
Wikipedia

Related topics

Related topics

15 relations
Alpha recursion theoryAnalytical hierarchyArithmetical hierarchyArithmetical set
Expand

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
HyP-DESPOT: A Hybrid Parallel Algorithm for Online Planning under Uncertainty
Planning under uncertainty is critical for robust robot performance in uncertain, dynamic environments, but it incurs high… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2013
2013
Degrees of Categoricity and the Hyperarithmetic Hierarchy
We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of Fokina, Kalimullin, and R. Miller to show… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Hypnos: understanding and treating sleep conflicts in smartphones
To maximally conserve the critical resource of battery energy, smartphone OSes implement an aggressive system suspend policy that… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?
2011
2011
Analysis of Crystallinity Index and Hydrolysis Rates in the Bioenergy Crop Sorghum bicolor
Maximum yield from any cellulosic bioenergy crop is largely dependent upon total dry weight at harvest and process-specific… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Preparing preservice teachers for self-regulated learning in the context of technological pedagogical content knowledge
Abstract The present study investigated effects of two hypermedia environments on 95 preservice university teachers' self… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2008
2008
Modelling X-band sea clutter at moderate grazing angles.
This document reports on work undertaken at DSTO towards modelling the mean ocean backscatter coefficient at low to medium… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Snow water equivalent interpolation for the Colorado River Basin from snow telemetry (SNOTEL) data
[1] Inverse weighted distance and regression nonexact techniques were evaluated for interpolating methods snow water equivalent… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Computable structures and the hyperarithmetical hierarchy
Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy… Expand
Is this relevant?
1996
1996
A fertility channel model for post-correction of continuous speech recognition
The authors have implemented a post-processor called SPEECHPP to correct word-level errors committed by an arbitrary speech… Expand
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
1993
1993
HYP and HYPQ Mathematica packages for the manipulation of binomial sums and hypergeometric series respectively q-binomial sums and basic hypergeometric series
We give a brief description of the main features of the Mathematica packages HYP and HYPQ. HYP allows a convenient handling of… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE