Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,223,379 papers from all fields of science
Search
Sign In
Create Free Account
Μ-recursive function
Known as:
Partial recursive function
, Recursive function
, M-recursive function
Expand
In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Ackermann function
Church–Turing thesis
Computability
Computable function
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A framework for mobile data gathering with load balanced clustering and MIMO uploading
Miao Zhao
,
Yuanyuan Yang
Proceedings IEEE INFOCOM
2011
Corpus ID: 10349577
In this paper, a three-layer framework is proposed for mobile data collection in wireless sensor networks, which includes the…
Expand
2007
2007
Intertemporal Risk Aversion , Stationarity and the Rate of Discount
Christian P. Traeger
2007
Corpus ID: 17952598
Two central concerns in the sustainability debate are the weight given to the needs of future generations and the application of…
Expand
2007
2007
TDDB Data Generation for Fast Lifetime Projections Based on $V$-Ramp Stress Data
A. Aal
IEEE transactions on device and materials…
2007
Corpus ID: 20399066
Reduced failure rates required by the industry lead to increased costs and time loss for the chip manufacturer since the efforts…
Expand
2005
2005
Type-2 Computability and Moore's Recursive Functions
A. Kawamura
International Conference on Computability and…
2005
Corpus ID: 37904112
2001
2001
Simple General Recursion in Type Theory
Ana Bove
Nordic Journal of Computing
2001
Corpus ID: 2902077
General recursive algorithms are such that the recursive calls are performed on arguments satisfying no condition that guarantees…
Expand
1996
1996
Learning recursive functions from noisy examples using generic genetic programming
M. Wong
,
K. Leung
1996
Corpus ID: 17484977
One of the most important and challenging areas of research in evolutionary algorithms is the investigation of ways to…
Expand
1991
1991
A relationship between the recursive least squares update and homotopy continuation methods
V. Stonick
,
S. Alexander
IEEE Transactions on Signal Processing
1991
Corpus ID: 39058664
The authors present an alternative derivation of the general recursive least squares (RLS) algorithm using homotopy approaches…
Expand
1990
1990
Achieving fault tolerance in factory automation systems by dynamic configuration
A. Adlemo
,
S. Andreasson
,
T. Andréasson
,
C. Carlsson
Systems Integration '90. Proceedings of the First…
1990
Corpus ID: 21797831
A model for automated manufacturing suited for achieving fault-tolerant production is presented. It is shown that the configuring…
Expand
1983
1983
A generalized recursive construction for de Bruijn sequences
R. Games
IEEE Transactions on Information Theory
1983
Corpus ID: 9297015
This paper is concerned with the construction of de Bruijn sequences of span n --binary sequences of period 2^{n} in which every…
Expand
1981
1981
Reversal complexity of counter machines
T. Chan
Symposium on the Theory of Computing
1981
Corpus ID: 10149871
It has long been known that deterministic 1-way counter machines recognize exactly all r.e. sets. Here we investigate counter…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE