Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,627,653 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
NGO policy change in relation to donor discourse
K. Johansson
,
J. Nylund
2008
Corpus ID: 126874466
The Vi Tree Planting Foundation in Sweden, generally known as Vi Skogen (ViS), is a well-documented case of an NGO that started…
Expand
2008
2008
Design and Procurement of the European Dipole (EDIPO) Superconducting Magnet
A. Portone
,
W. Baker
,
+11 authors
G. Samuelli
IEEE transactions on applied superconductivity
2008
Corpus ID: 39013780
A 12.5 T superconducting dipole magnet (European DIPOle, EDIPO) has been designed by EFDA and it is now being procured within the…
Expand
2006
2006
Are voltage sags destroying equipment?
A. Bendre
,
D. Divan
,
W. Kranz
,
W. 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
2003
2003
From Mexico to Brazil : Central Atlantic fisheries catch trends and ecosystem models
D. Zeller
,
S. Booth
,
Elizabeth Mohammed
,
D. Pauly
2003
Corpus ID: 130053751
Global fisheries are in a crisis, and so are the marine ecosystems upon which these fisheries depend. Major policy and management…
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
1997
1997
Backbench debate within the Conservative Party and its influence on British foreign policy, 1948-57
Sandra D. Onslow
1997
Corpus ID: 154698729
Acknowledgements - Abbreviations - Introduction - Conservative Attitudes to European Integration - The Conservative Party and…
Expand
1996
1996
Genetically optimizing the speed of programs evolved to play tetris
Eric V. Siegel
,
A. D. 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
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. 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