Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,214,862 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.
2010
2010
Variation of Parameters Method for Initial and Boundary Value Problems
S. Mohyud-Din
,
M. Noor
,
Asif Waheed
2010
Corpus ID: 664593
In this paper, we apply the Variation of Parameters Method (VPM) for solving initial and boundary value problems of diversified…
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
Ashish J. 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
2007
2007
Numerical Analysis Of The Physical PhenomenaIn The Working Zone In The Rolling ProcessOf The Round Thread
L. Kukiełka
,
K. Kukiełka
2007
Corpus ID: 109216813
Thread rolling is a very complicated technological process. To improve the quality of the product and reduce production cost of…
Expand
2004
2004
On Duality-Based A Posteriori Error Estimation in Various Norms and Linear Functionals for Large Eddy Simulation
J. Hoffman
SIAM Journal on Scientific Computing
2004
Corpus ID: 27453803
We derive a posteriori error estimates for the filtered velocity field in a large eddy simulation in various norms and linear…
Expand
1997
1997
New Inexact Parallel Variable Distribution Algorithms
M. Solodov
Computational optimization and applications
1997
Corpus ID: 13416004
We consider the recently proposed parallel variable distribution(PVD) algorithm of Ferris and Mangasarian [4] for…
Expand
1996
1996
The Set of 2-by-3 Matrix Pencils - Kronecker Structures and Their Transitions under Perturbations
E. Elmroth
,
B. Kågström
SIAM Journal on Matrix Analysis and Applications
1996
Corpus ID: 18546342
The set (or family) of 2-by-3 matrix pencils $A - \lambda B$ comprises 18 structurally different Kronecker structures (canonical…
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
1982
1982
A Multiserver Queue with Thresholds for the Acceptance of Customers into Service
M. Neuts
,
R. Nadarajan
Operational Research
1982
Corpus ID: 26025348
A queue with Poisson arrivals is served by N identical exponential servers. When a server becomes free, a group of customers of…
Expand