Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,491 papers from all fields of science
Search
Sign In
Create Free Account
Knuth Prize
Known as:
Knuth Prize laureates
, Donald Knuth Prize
, The Donald E. Knuth Prize
Expand
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
ACM SIGACT
Computer science
Gödel Prize
Secure multi-party computation
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Conservar, conjugación del verbo con fondos textiles de museos militares
E. Domínguez
2016
Corpus ID: 194416358
espanol“El presente solo se forma del pasado, y lo que se encuentra en el efecto estaba ya en la causa” (Henri Bergson…
Expand
2016
2016
Combined string searching algorithm based on knuth-morris- pratt and boyer-moore algorithms
R. Tsarev
,
A. S. Chernigovskiy
,
+4 authors
N. A. Smirnov
2016
Corpus ID: 61482978
The string searching task can be classified as a classic information processing task. Users either encounter the solution of this…
Expand
2013
2013
Stories of Drug Trafficking in Rural Mexico: Territories, Drugs and Cartels in Michoacán
El Colegio de Michoacán
2013
Corpus ID: 37490659
In the international media, drug-related violence, corruption and militarization have received much attention. While this is…
Expand
Highly Cited
2012
Highly Cited
2012
Fractal optics and beyond
M. Segev
,
M. Soljačić
,
J. Dudley
Nature Photonics
2012
Corpus ID: 12102113
Fractals, shapes comprised of self-similar parts, are not merely prescribed linear structures. A wide class of fractals can also…
Expand
Review
2009
Review
2009
A comprehensive overview on today's ceramic substrate technologies
F. Bechtold
European Microelectronics and Packaging…
2009
Corpus ID: 43852223
Ceramic packaging solutions offer superior reliability performance compared to all organic technologies and are only a fraction…
Expand
2007
2007
- 1-On the History of Fermat ’ s Last Theorem : A Down-to-Earth Approach
L. Corry
,
Simon Singh
,
J. Lynch
2007
Corpus ID: 53376497
1 . Introduction .............................................................................................................. 1…
Expand
2001
2001
Logicographic Symbols: A New Feature in Theorema
B. Buchberger
2001
Corpus ID: 10157370
Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica…
Expand
1981
1981
Field Testing the Transformational Question Answering (TQA) System
S. R. Patrick
,
dm T J Watson
Annual Meeting of the Association for…
1981
Corpus ID: 7397040
The Transformatlonal question Answering (TqA) system was developed over a period of time beginning in the early part of the last…
Expand
1981
1981
Applied Tree Enumerations
N. Dershowitz
,
S. Zaks
Colloquium on Trees in Algebra and Programming
1981
Corpus ID: 37101817
In this paper we consider the class T of ordered trees with n edges and give n combinntorial proofs to several enumeration…
Expand
1974
1974
Structured programming, programming teaching and the language Pascal
O. Lecarme
SIGP
1974
Corpus ID: 652343
5tructured pr09ramm1n9, pr09ramm1n9 teach1n9 and the 1an9ua9e Pa5ca1 011v1er Lecarme D6partement d • 1nf0rmat14ue Un1ver51t6 de…
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
or Only Accept Required