Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,244,308 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.
2011
2011
Thermal-Transfer Standard Validation of the Josephson-Voltage-Standard-Locked Sine-Wave Synthesizer
A. Rüfenacht
,
F. Overney
,
A. Mortara
,
B. Jeanneret
IEEE Transactions on Instrumentation and…
2011
Corpus ID: 13276458
This paper describes a Josephson-voltage-standard-locked synthesizer where a calibrator is used as a sine-wave generator, output…
Expand
2009
2009
String tension scaling in high-temperature confined SU(N) gauge theories
Peter N. Meisinger
,
M. Ogilvie
2009
Corpus ID: 119190158
$SU(N)$ gauge theories, extended with adjoint fermions having periodic boundary conditions, are confining at high temperature for…
Expand
2006
2006
Leadership Refrains: Patterns of Leadership
S. Kelly
,
M. I. White
,
Dave Martin
,
M. Rouncefield
2006
Corpus ID: 144471279
This article considers issues of leadership and leadership development by reflecting on the notion of the refrain as pattern…
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
2001
2001
From the calculable AC resistor to capacitor dissipation factor determination on the basis of time constants
G. Ramm
,
H. Moser
IEEE Transactions on Instrumentation and…
2001
Corpus ID: 46026680
This paper presents a new measuring method for comparing different impedances, which allows, for example, the capacitance and the…
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
1998
1998
PTB radiometry laboratory at the BESSY II electron storage ring
G. Ulm
,
B. Beckhoff
,
R. Klein
,
M. Krumrey
,
H. Rabus
,
R. Thornagel
Optics & Photonics
1998
Corpus ID: 122325433
The Physikalisch-Technische Bundesanstalt (PTB), Germany's national metrology institute, has been operating a radiometry…
Expand
Review
1998
Review
1998
Coulomb dissociation of light nuclei
J. Tostevin
,
S. Rugmai
,
R. C. Johnson
1998
Corpus ID: 18958071
We present an alternative theoretical formulation of the Coulomb dissociation process. We apply the formalism to the deuteron as…
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
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
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