Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,087,111 papers from all fields of science
Search
Sign In
Create Free Account
Computable function
Known as:
Total recursive function
, Noncomputable function
, Incomputable function
Expand
Computable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AI-complete
Arithmetical set
Brouwer–Heyting–Kolmogorov interpretation
Busy beaver
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Path-constrained partial music synchronization
Meinard Müller
,
D. Appelt
IEEE International Conference on Acoustics…
2008
Corpus ID: 16544529
Digital music collections often contain different versions and interpretations of a single musical work. In view of music…
Expand
2004
2004
Semantics of a sequential language for exact real-number computation
J. Marcial-Romero
,
M. Escardó
Proceedings of the 19th Annual IEEE Symposium on…
2004
Corpus ID: 6370441
Highly Cited
2002
Highly Cited
2002
On the Solution of a Korteweg-De Vries Like Equation by the Decomposition Method
D. Kaya
International Journal of Computational…
2002
Corpus ID: 91432858
A new approach to a linear Korteweg-de Vries like equation is implemented by the Adomian decomposition method. The approach is…
Expand
Highly Cited
1997
Highly Cited
1997
Financial liberalization and fiscal repression in Turkey: Policy analysis in a CGE model with financial markets
A. Yeldan
1997
Corpus ID: 52213388
Highly Cited
1991
Highly Cited
1991
Source-Independent Call Acceptance Procedures in ATM Networks
Carsten Rasmussen
,
Jens H. Sørensen
,
K. Kvols
,
S. Jacobsen
IEEE J. Sel. Areas Commun.
1991
Corpus ID: 20143930
Strategies for connection admission control in asynchronous transfer mode (ATM) networks are considered. Without any Poisson or…
Expand
Review
1988
Review
1988
GEMPACK: General-purpose software for applied general equilibrium and other economic modellers
G. Codsi
,
Kenneth R. Pearson
,
Kenneth R. Pearson
1988
Corpus ID: 62555052
This paper gives a brief overview of a new suite of software designed to make it relatively painless to implement large economic…
Expand
Review
1987
Review
1987
Robustness of nonlinear state feedback - A survey
S. Glad
at - Automatisierungstechnik
1987
Corpus ID: 13004175
Highly Cited
1982
Highly Cited
1982
Forecasting of Hourly Load by Pattern Recognition??? a Deterministic Approach
A. Dehdashti
,
J. Tudor
,
Michael C. Smith
IEEE Power Engineering Review
1982
Corpus ID: 12514512
An algorithm using pattern recognition techniques and current weather parameters to forecast hourly electric load with a lead…
Expand
Highly Cited
1981
Highly Cited
1981
Completeness, Approximation and Density
K. Ko
,
Daniel J. Moore
SIAM journal on computing (Print)
1981
Corpus ID: 43016062
Polynomial time approximations to exponential time computable problems (EXP) are considered from the point of view of structure…
Expand
Highly Cited
1980
Highly Cited
1980
Balanced HDLC Procedures: A Performance Analysis
W. Bux
,
K. Kümmerle
,
Hong Linh Truong
IEEE Transactions on Communications
1980
Corpus ID: 61323914
The prime objective of the present paper is to analyze the performance of HDLC Balanced Class of Procedures, i.e., to…
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