Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,063,341 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.
2008
2008
The Impact of HIV and AIDS on Children , Families and Communities : Risks and Realities of Childhood during the HIV Epidemic
M. Lyons
2008
Corpus ID: 28332772
While recent scientific efforts have resulted in a series of discoveries and advances in understanding and controlling the virus…
Expand
2007
2007
The Darwin Mounds: from undiscovered coral to the development of an offshore marine protected area regime
E. D. De Santo
,
Pjs Jones
2007
Corpus ID: 131598389
The first offshore Marine Protected Area (MPA) in the United Kingdom (UK) is the Darwin Mounds, an area of Lophelia pertusa…
Expand
2006
2006
Are voltage sags destroying equipment?
Ashish R. Bendre
,
D. Divan
,
W. Kranz
,
W. E. Brumsickle
IEEE Industry Applications Magazine
2006
Corpus ID: 18375762
OR THE PAST 100 YEARS, THE UTIL-ity's job has been to keep the " lights on. " For today's highly automated factories and…
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
2002
2002
Product focus: Behavior-blocking stops unknown malicious code
A. Conry-Murray
2002
Corpus ID: 116684016
Signature-based anti-virus (AV) software is running a losing race. Malicious code writers persistently out-pace the efforts of AV…
Expand
1996
1996
Genetically optimizing the speed of programs evolved to play tetris
Eric V. Siegel
,
A. Chaffee
1996
Corpus ID: 17960106
Many new domains for genetic programming require evolved programs to be executed for longer amounts of time. For these…
Expand
Review
1996
Review
1996
Trellis code design for correlated fading and achievable rates for tomlinson-harashima precoding
R. Wesel
1996
Corpus ID: 14844440
The increased data rates and reliability required to support emerging multimedia applications require new communications…
Expand
1995
1995
PRIVATISATION AND THE RDP A CRITICAL ASSESSMENT
B. Fine
1995
Corpus ID: 153639935
Recent proposals, particularly those emanating from Thabo Mbeki, to privatise state corporations in order to finance the…
Expand
1980
1980
Sewage sludge as a phosphate fertilizer.
S. de Haan
1980
Corpus ID: 131722163
In the Netherlands the average production of sewage is appr. 50 m' per PE (population equivalent) per year, containing appr. 1 kg…
Expand
1969
1969
An Optimal Control Algorithm for Ramp Metering of Urban Freeways
J. Kreer
,
Shin-Yuan Li
1969
Corpus ID: 4679026
An urban freeway is treated as a dynamic process. A state model for the freeway is obtained with sectional traffic densities as…
Expand