Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,216,478 papers from all fields of science
Search
Sign In
Create Free Account
Halting State
Halting State is a novel by Charles Stross, published in the United States on 2 October 2007 and in the United Kingdom in January 2008. Stross has…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Alternate reality game
Cybercrime
Internet backbone
Key server (cryptographic)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Handling 3vs of Big Data Through Swarm Intelligence
Geetabai S. Hukkeri
,
R. H. Goudar
,
Pooja Ramesh Kotagi
IEEE International Conference on Recent Trends in…
2019
Corpus ID: 212636153
Nowadays, the enormous information has pulled in considerations from an ever-increasing number of specialists. The enormous…
Expand
2004
2004
Turing Machine with Faults, Failures and Recovery
A. Vinokur
arXiv.org
2004
Corpus ID: 9298898
A Turing machine with faults, failures and recovery (TMF) is described. TMF is (weakly) non-deterministic Turing machine…
Expand
2004
2004
Diophantine Sets, Primes, and the Resolution of Hilbert's 10th Problem
Lawrence Cabusora
2004
Corpus ID: 608560
The term recursively enumerable set has its roots in logic but today is most commonly seen in reference to the theory of Turing…
Expand
2004
2004
C C ] 2 3 O ct 2 00 3 Theory of One Tape Linear Time Turing Machines ( Extended Abstract )
K. Tadaki
,
Tomoyuki Yamakami
,
Jack C. H. Lin
2004
Corpus ID: 265038901
A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart. This paper discusses…
Expand
1995
1995
ON THE COMPLEXITY OF THE ANISOTROPIC KEPLER PROBLEM AND THE PLANAR ISOSCELES THREE BODY PROBLEM
J. Schiff
1995
Corpus ID: 16235588
We show how to associate a computation to certain 2 degree of freedom hamiltonian systems, and use this to discuss the level of…
Expand
1993
1993
Development of Terminology for SCM 1
G. Bancerek
,
Piotr Rudnicki
1993
Corpus ID: 16843320
We develop a higher level terminology for the SCM machine defined by Nakamura and Trybulec in [5]. Among numerous technical…
Expand