Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,756 papers from all fields of science
Search
Sign In
Create Free Account
Turing completeness
Known as:
Turing-complete device
, Turing-complete language
, Turing complete
Expand
In computability theory, a system of data-manipulation rules (such as a computer's instruction set, a programming language, or a cellular automaton…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
A New Kind of Science
Abstract machine
Adaptive grammar
Braid
Expand
Broader (1)
Programming language theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Ranking BPEL Processes for Service Discovery
Daniela Grigori
,
J. Corrales
,
M. Bouzeghoub
,
A. Gater
IEEE Transactions on Services Computing
2010
Corpus ID: 15713650
Finding useful services is a challenging and important task in several applications. Current approaches for services retrieval…
Expand
Highly Cited
2007
Highly Cited
2007
Extended N=1 super Yang-Mills theories
F. Ferrari
2007
Corpus ID: 7065339
We solve a generalization of ordinary = 1 super Yang-Mills theory with gauge group U(N) and an adjoint chiral multiplet X for…
Expand
Highly Cited
2006
Highly Cited
2006
Learning to recognize features of valid textual entailments
Bill MacCartney
,
Trond Grenager
,
M. Marneffe
,
Daniel Matthew Cer
,
Christopher D. Manning
North American Chapter of the Association for…
2006
Corpus ID: 5898972
This paper advocates a new architecture for textual inference in which finding a good alignment is separated from evaluating…
Expand
Highly Cited
2004
Highly Cited
2004
Frame-theoretic analysis of DFT codes with erasures
G. Rath
,
C. Guillemot
IEEE Transactions on Signal Processing
2004
Corpus ID: 13064274
Discrete Fourier transform (DFT) codes have been used as joint source-channel codes in order to provide robustness against…
Expand
Highly Cited
1997
Highly Cited
1997
On the stability of fuzzy systems
M. Thathachar
,
P. Viswanath
IEEE transactions on fuzzy systems
1997
Corpus ID: 9249919
Studies the global asymptotic stability of a class of fuzzy systems. It demonstrates the equivalence of stability properties of…
Expand
Highly Cited
1986
Highly Cited
1986
Perfect transmultiplexers
M. Vetterli
ICASSP '86. IEEE International Conference on…
1986
Corpus ID: 61640681
The mathematical equivalence of transmultiplexers and sub-band coders with reconstruction of the original signals is shown…
Expand
Highly Cited
1985
Highly Cited
1985
Parameter Reduction and Context Selection for Compression of Gray-Scale Images
S. Todd
,
G. Langdon
,
J. Rissanen
IBM Journal of Research and Development
1985
Corpus ID: 21240649
In the compression of multilevel (color or gray) image data, effective compression is obtained economically by judicial selection…
Expand
Highly Cited
1982
Highly Cited
1982
Soliton excitations in polyacetylene and relativistic field theory models
D. Campbell
,
A. Bishop
1982
Corpus ID: 13005750
Highly Cited
1980
Highly Cited
1980
On the number of periodic trajectories for a Hamiltonian flow on a convex energy surface
I. Ekeland
,
J. Lasry
1980
Corpus ID: 56409744
kbstract In this paper, we look for periodic solutions, with prescribed energy h C R, of Hamilton's equations: (H) a H (x, p), p…
Expand
Highly Cited
1955
Highly Cited
1955
Equivalent Circuits for Discontinuities in Balanced Strip Transmission Line
A. Oliner
1955
Corpus ID: 111288181
Theoretical formulas are derived for the equivalent circuit parameters of a variety of discontinuties in balanced strip…
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