Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,836,439 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.
2009
2009
ChemAxiom – An Ontological Framework for Chemistry in Science
Nico Adams
,
Edward O. Cannon
,
Peter Murray-Rust
2009
Corpus ID: 43526716
We present ChemAxiom as the first ontological framework for chemistry in science. ChemAxiom enables discourse about chemical…
Expand
2009
2009
High Performance Non-Binary Quasi-Cyclic LDPC Codes on Euclidean Geometries LDPC Codes on Euclidean Geometries
Bo Zhou
,
Jingyu Kang
,
Y. Tai
,
Shu Lin
,
Z. Ding
IEEE Transactions on Communications
2009
Corpus ID: 6617090
This paper presents algebraic methods for constructing high performance and efficiently encodable non-binary quasi-cyclic LDPC…
Expand
2008
2008
Secure Transmission with Multiple Antennas: The MIMOME Channel
A. Khisti
,
G. Wornell
2008
Corpus ID: 18058170
— The Gaussian wiretap channel model is studied when there are multiple antennas at the sender, the receiver and the eavesdropper…
Expand
2008
2008
Autoconjugate representers for linear monotone operators
Heinz H. Bauschke
,
Xianfu Wang
,
Liangjin Yao
Mathematical programming
2008
Corpus ID: 14344398
Monotone operators are of central importance in modern optimization and nonlinear analysis. Their study has been revolutionized…
Expand
Review
1999
Review
1999
Rate modulation of soft real-time tasks in autonomous robot control systems
G. Beccari
,
S. Caselli
,
M. Reggiani
,
F. Zanichelli
Proceedings of 11th Euromicro Conference on Real…
1999
Corpus ID: 9208190
Due to the high number of sensors managed and need to perform complex reasoning activities, real-time control systems of…
Expand
1998
1998
Two-level methods for the single layer potential in ℝ3
P. Mund
,
E. Stephan
,
J. Weiße
Computing
1998
Corpus ID: 30038525
We consider weakly singular integral equations of the first kind on open surface pieces Γ in ℝ3. To obtain approximate solutions…
Expand
Review
1995
Review
1995
Aspects of Geometric Mechanics and Control of Mechanical Systems
A. Lewis
1995
Corpus ID: 120525256
Many interesting control systems are mechanical control systems. In spite of this, there has not been much effort to develop…
Expand
1985
1985
Local Rotational Symmetries
Margaret M. Fleck
1985
Corpus ID: 118503426
Abstract : This theis describes a new representation for two-dimensional round regions called Local Rotational Symmetries. Local…
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
1977
1977
A Fast Karhunen-Loeve Transform for Digital Restoration of Images Degraded by White and Colored Noise
Anil K. Jain
IEEE transactions on computers
1977
Corpus ID: 22884646
The Karhunen-Loeve (KL) transform is known to have certain properties which make it "optimal" for many "mean-square" signal…
Expand