Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,548,594 papers from all fields of science
Search
Sign In
Create Free Account
Computability
Known as:
Computable
, Calculatable
, Calculably
Expand
Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Abstract machine
Algorithm
Andrzej Grzegorczyk
Automata theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Large-density field theory, viscosity and ‘2kF’ singularities from string duals
J. Polchinski
,
E. Silverstein
2012
Corpus ID: 118664543
We analyze systems where an effective large-N expansion arises naturally in gauge theories without a large number of colors: a…
Expand
Highly Cited
2011
Highly Cited
2011
Higgs Mass Prediction for Realistic String/M Theory Vacua
G. Kane
,
Piyush Kumar
,
Ran Lu
,
B. Zheng
2011
Corpus ID: 55263386
Recently it has been recognized that in compactified $\mathrm{\text{string}}/M$ theories that satisfy cosmological constraints…
Expand
Highly Cited
2010
Highly Cited
2010
Factorization at subleading power and irreducible uncertainties in B̄ → X s γ decay
2010
Corpus ID: 67852659
Using methods from soft-collinear and heavy-quark effective theory, a systematic factorization analysis is performed for the B…
Expand
2004
2004
State based key hop protocol: a lightweight security protocol for wireless networks
S. Michell
,
K. Srinivasan
ACM International Workshop on Performance…
2004
Corpus ID: 16685963
State Based Key Hop (SBKH) protocol provides a strong, lightweight encryption scheme for battery operated devices, such as the…
Expand
Highly Cited
2002
Highly Cited
2002
HOSOYA POLYNOMIAL IN TORI
M. Diudea
2002
Corpus ID: 122825693
Commun. Math. Comput. Chem. (MATCH), 2002, 45, 109-122 Abstract. The Hosoya polynomial is defined as a distance-based increasing…
Expand
Highly Cited
1999
Highly Cited
1999
Calculable fluid–rock interactions
S. Crampin
Journal of the Geological Society
1999
Corpus ID: 59148956
This paper introduces a model of rock deformation (anisotropic poro-elasticity or APE), where the response of fluid-saturated…
Expand
Highly Cited
1994
Highly Cited
1994
A Public-Domain Asteroid Orbit Database
E. Bowell
,
K. Muinonen
,
L. Wasserman
1994
Corpus ID: 118440144
We are constructing a database of J2000.0 osculating elements for all asteroids that have reasonably calculable orbits, and to…
Expand
Highly Cited
1978
Highly Cited
1978
Inhomogeneous state of superconductors by intense tunnel injection of quasiparticles
K. Gray
,
H. Willemsen
1978
Corpus ID: 91183486
Measurements of the current-voltage characteristics of a tunnel junction as a function of quasiparticle injection from a second…
Expand
Highly Cited
1978
Highly Cited
1978
Relationship Between Density and Deterministic Complexity of NP-Complete Languages
P. Berman
International Colloquium on Automata, Languages…
1978
Corpus ID: 206612149
Let Σ be an arbitrary alphabet. denotes ɛ∪Σ∪...∪Σn. We say that a function t, t : is f-sparse iff card for every natural…
Expand
Highly Cited
1976
Highly Cited
1976
Limits to Exploitation of Nonrenewable Resources.
E. Cook
1976
Corpus ID: 177448835
Nonrenewable resources consist of geochemical concentrations of naturally occurring elements and compounds that can or may be…
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