Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,271,217 papers from all fields of science
Search
Sign In
Create Free Account
Halting problem
Known as:
Determining whether a program is going to run forever
, Halting predicate
, The halting problem
Expand
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Advice (complexity)
Arithmetical set
Chaitin's constant
Code coverage
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
The role of impaired de novo Coenzyme A biosynthesis in pantothenate kinase-associated neurodegeneration
A. Rana
,
O. Sibon
2011
Corpus ID: 31329979
Coenzyme A (CoA) is an essential cofactor required for cellular metabolism. CoA is synthesized de novo from pantothenate (vitamin…
Expand
Highly Cited
2011
Highly Cited
2011
IMPACT OF SELFISH NODE CONCENTRATION IN MANET S
Shailender Gupta
,
C. K. Nagpal
,
Charu Singla
2011
Corpus ID: 18627725
The communication in Mobile Ad hoc Network (MANET) is multi-hop in nature wherein each node relays data packets of other nodes…
Expand
Highly Cited
2010
Highly Cited
2010
EXQUISITE NOVA LIGHT CURVES FROM THE SOLAR MASS EJECTION IMAGER (SMEI)
R. Hounsell
,
M. Bode
,
+31 authors
Manchester
2010
Corpus ID: 118376448
We present light curves of three classical novae (CNe; KT Eridani, V598 Puppis, V1280 Scorpii) and one recurrent nova (RS…
Expand
Review
2008
Review
2008
European species and habitat monitoring: where are we now?
D. Schmeller
Biodiversity and Conservation
2008
Corpus ID: 24141065
Biodiversity now is considered a highly valuable material, providing manifold services of high importance for the well-being of…
Expand
Highly Cited
2005
Highly Cited
2005
Self-stopping worms
Justin Ma
,
G. Voelker
,
S. Savage
Worm
2005
Corpus ID: 17115857
Modern network worms spread with tremendous speed-potentially covering the planet in mere seconds. However, for most worms, this…
Expand
Highly Cited
2004
Highly Cited
2004
Controlled Growth of Y-Junction Nanotubes Using Ti-Doped Vapor Catalyst
N. Gothard
,
C. Daraio
,
J. Gaillard
,
R. Zidan
,
S. Jin
,
A. Rao
2004
Corpus ID: 30232676
We demonstrate a bulk process for the synthesis of Y-junction carbon nanotubes using Ti-doped Fe catalysts. It is shown that the…
Expand
Highly Cited
2004
Highly Cited
2004
Marginal Farmland in European Russia
G. Ioffe
,
T. Nefedova
2004
Corpus ID: 28325983
Two geographers specializing in Russian agriculture and rural development present an exploratory essay on the phenomenon of…
Expand
2000
2000
"Ich will halt anders sein wie die anderen!" : Abgrenzung, Gewalt und Kreativität bei Gruppen Jugendlicher
R. Eckert
,
Christa Reis
,
Thomas A. Wetzstein
,
Peter Bangert
,
Linda Steinmetz
2000
Corpus ID: 264238075
Highly Cited
1998
Highly Cited
1998
Estimating the costs of diarrhoea and epidemic dysentery in KwaZulu-Natal and South Africa
G. Pegram
,
N. Rollins
,
Q. Espey
,
N. Shand
1998
Corpus ID: 7681236
Inadequate water supply and sanitation are largely responsible for the high levels of diarrhoeal disease in developing countrie s…
Expand
Highly Cited
1984
Highly Cited
1984
Spring accumulation of fat by greater snow geese in two staging habitats
G. Gauthier
,
J. Bédard
,
J. Huot
,
Y. Bédard
1984
Corpus ID: 55578679
-The influence of habitat on fat storage by Greater Snow Geese (Chen caerulescens atlanticus) on their St. Lawrence River estuary…
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