Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,566 papers from all fields of science
Search
Sign In
Create Free Account
Non-deterministic Turing machine
Known as:
Nondeterministic computation
, Nondeterministic Turing machine
, Nondeterministic Turing machines
Expand
In theoretical computer science, a Turing machine is a theoretical machine that is used in thought experiments to examine the abilities and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
Alternating Turing machine
Average-case complexity
Book embedding
Breadth-first search
Expand
Broader (1)
Turing machine
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction
Mauricio Toro
,
C. Rueda
,
C. Agón
,
G. Assayag
International Conference on Mathematics and…
2015
Corpus ID: 16463114
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non…
Expand
2014
2014
ADMM decoding of non-binary LDPC codes in F2m
Xishuo Liu
,
S. Draper
IEEE International Symposium on Information…
2014
Corpus ID: 16121386
In this paper, we develop an efficient algorithm for linear programming (LP) decoding of non-binary low-density parity-check…
Expand
2013
2013
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
A. Avron
,
B. Konikowska
,
A. Zamansky
Journal of Logic and Computation
2013
Corpus ID: 7368295
In the paper Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics by A. Avron, J. Ben-Naim…
Expand
2006
2006
Galileo-GPS RAIM for Vertical Guidance
A. Ene
,
J. Blanch
,
T. Walter
2006
Corpus ID: 14955156
In the next ten years the number of pseudorange sources and their quality is expected to increase dramatically: The United States…
Expand
Highly Cited
2005
Highly Cited
2005
Estimation of tire cornering stiffness using GPS to improve model based estimation of vehicle states
R. Anderson
,
Ross Hall
IEEE Proceedings. Intelligent Vehicles Symposium…
2005
Corpus ID: 17029553
This paper demonstrates a method of obtaining key vehicle states using GPS and INS measurements with an adaptive model based…
Expand
Highly Cited
2001
Highly Cited
2001
Long sustainment of quasi-steady-state high βp H mode discharges in JT-60U
A. Isayama
,
Y. Kamada
,
+11 authors
Jt U Team
2001
Corpus ID: 56218896
Quasi-steady-state high βp H mode discharges performed by suppressing neoclassical tearing modes (NTMs) are described. Two…
Expand
2001
2001
Non-deterministic diagnosis of end-to-end service failures in a multi-layer communication system
M. Steinder
,
A. Sethi
Proceedings Tenth International Conference on…
2001
Corpus ID: 13436105
Fault localization is a process of isolating faults responsible for the observable malfunctioning of the managed system…
Expand
1997
1997
Nondeterministic polynomial time versus nondeterministic logarithmic space: time-space tradeoffs for satisfiability
L. Fortnow
Proceedings of Computational Complexity. Twelfth…
1997
Corpus ID: 24157619
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved…
Expand
Review
1990
Review
1990
A survey on counting classes
T. Gundermann
,
N. Nasser
,
G. Wechsung
Proceedings Fifth Annual Structure in Complexity…
1990
Corpus ID: 34848460
Consideration is given to polynomial-time machines. Among these classes are EP and PP. The authors prove P/sup EP(log)/ 25 PP…
Expand
Highly Cited
1984
Highly Cited
1984
Microcanonical simulation of Ising systems
G. Bhanot
,
M. Creutz
,
H. Neuberger
1984
Corpus ID: 18670109
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