|
Donald Knuth
Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms". He is the author of the multi-volume work ''The Art of Computer Programming'' and contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process, he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar, Knuth created the WEB and CWEB computer programming systems designed to encou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Milwaukee
Milwaukee ( ), officially the City of Milwaukee, is both the most populous and most densely populated city in the U.S. state of Wisconsin and the county seat of Milwaukee County. With a population of 577,222 at the 2020 census, Milwaukee is the 31st largest city in the United States, the fifth-largest city in the Midwestern United States, and the second largest city on Lake Michigan's shore behind Chicago. It is the main cultural and economic center of the Milwaukee metropolitan area, the fourth-most densely populated metropolitan area in the Midwest. Milwaukee is considered a global city, categorized as "Gamma minus" by the Globalization and World Cities Research Network, with a regional GDP of over $102 billion in 2020. Today, Milwaukee is one of the most ethnically and culturally diverse cities in the U.S. However, it continues to be one of the most racially segregated, largely as a result of early-20th-century redlining. Its history was heavily influenced ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Modern
Computer Modern is the original family of typefaces used by the typesetting program TeX. It was created by Donald Knuth with his Metafont program, and was most recently updated in 1992. Computer Modern, or variants of it, remains very widely used in scientific publishing, especially in disciplines that make frequent use of mathematical notation. Design Computer Modern is a 'Didone', or modern serif font, a genre that emerged in the late 18th century as a contrast to the more organic designs that preceded them. Didone fonts have high contrast between thick and thin elements, and their axis of "stress" or thickening is perfectly vertical. Computer Modern was specifically based on the 10 point size of the American Lanston Monotype Company's Modern Extended 8A, part of a family Monotype originally released in 1896. This was one of many modern faces issued by typefounders and Monotype around this period, and the standard style for body text printing in the late nineteenth century ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Von Neumann Medal
The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award. The medal is named after John von Neumann. Recipients The following people have received the IEEE John von Neumann Medal: See also * List of computer science awards * John von Neumann Theory Prize awarded by the Institute for Operations Research and the Management Sciences (INFORMS). * Prizes named after people References Computer science awards John von Neumann Medal The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or ... Awards established ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
National Medal Of Science
The National Medal of Science is an honor bestowed by the President of the United States to individuals in science and engineering who have made important contributions to the advancement of knowledge in the fields of behavioral and social sciences, biology, chemistry, engineering, mathematics and physics. The twelve member presidential Committee on the National Medal of Science is responsible for selecting award recipients and is administered by the National Science Foundation (NSF). History The National Medal of Science was established on August 25, 1959, by an act of the Congress of the United States under . The medal was originally to honor scientists in the fields of the "physical, biological, mathematical, or engineering sciences". The Committee on the National Medal of Science was established on August 23, 1961, by executive order 10961 of President John F. Kennedy. On January 7, 1979, the American Association for the Advancement of Science (AAAS) passed a resolution propo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Member Of The National Academy Of Sciences
Membership of the National Academy of Sciences is an award granted to scientists that the National Academy of Sciences (NAS) of the United States judges to have made “distinguished and continuing achievements in original research”. Membership is a mark of excellence in science and one of the highest honors that a scientist can receive. NAS members and international members Three types of NAS membership exist: # Voting members, who must hold citizenship of the United States # Nonvoting international members, who have citizenship outside the United States # Emeritus members, who are no longer active and have rescinded their voting rights there were 2,382 active members and 484 international members, of whom approximately 190 have received Nobel Prizes. A full list of members can be found in the online members directory. See the list of members of the National Academy of Sciences and :Members of the United States National Academy of Sciences for examples. Notable member ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in computer science and is colloquially known as or often referred to as the " Nobel Prize of Computing". The award is named after Alan Turing, who was a British mathematician and reader in mathematics at the University of Manchester. Turing is often credited as being the key founder of theoretical computer science and artificial intelligence. From 2007 to 2013, the award was accompanied by an additional prize of US$250,000, with financial support provided by Intel and Google. Since 2014, the award has been accompanied by a prize of US$1 million, with financial support provided by Google. The first recipient, in 1966, was Alan Perlis, of Carnegie Mellon University. The first female recipient was Frances E. Allen of IBM in 2006. The latest reci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grace Murray Hopper Award
The Grace Murray Hopper Award (named for computer pioneer RADM Grace Hopper) has been awarded by the Association for Computing Machinery (ACM) since 1971. The award goes to a computer professional who makes a single, significant technical or service contribution at or before age 35. __TOC__ Recipients * 1971 Donald Knuth * 1972 Paul H. Dirksen * 1972 Paul H. Cress * 1973 Lawrence M. Breed * 1973 Richard H. Lathwell * 1973 Roger Moore * 1974 George N. Baird * 1975 Allan L. Scherr * 1976 Edward H. Shortliffe * 1977 ''no award'' * 1978 Ray Kurzweil * 1979 Steve Wozniak * 1980 Robert M. Metcalfe * 1981 Daniel S. Bricklin * 1982 Brian K. Reid * 1983 ''no award'' * 1984 Daniel Henry Holmes Ingalls, Jr. * 1985 Cordell Green * 1986 William Nelson "Bill" Joy * 1987 John Ousterhout * 1988 Guy L. Steele Jr. * 1989 W. Daniel Hillis * 1990 Richard Stallman * 1991 Feng-hsiung Hsu * 1992 ''no award'' * 1993 Bjarne Stroustrup * 1994–1995 ''no award'' * 1996 Shafrira Goldwasser * 1997- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outstanding Contribution To Computer Science Education
The Outstanding Contribution to Computer Science Education award is a prize granted by the Association for Computing Machinery (ACM) Special Interest Group (SIG) on Computer science education (SIGCSE). Outstanding contributions can include curriculum design, innovative teaching methods, authorship of textbook A textbook is a book containing a comprehensive compilation of content in a branch of study with the intention of explaining it. Textbooks are produced to meet the needs of educators, usually at educational institutions. Schoolbooks are textboo ...s and the development of novel teaching tools. The award has been granted annually since 1981. Laureates * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * References {{Reflist Academic awards ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Literate Programming
Literate programming is a programming paradigm introduced in 1984 by Donald Knuth in which a computer program is given as an explanation of its logic in a natural language, such as English, interspersed (embedded) with snippets of macros and traditional source code, from which compilable source code can be generated. The approach is used in scientific computing and in data science routinely for reproducible research and open access purposes. Literate programming tools are used by millions of programmers today. The literate programming paradigm, as conceived by Donald Knuth, represents a move away from writing computer programs in the manner and order imposed by the computer, and instead gives programmers macros to develop programs in the order demanded by the logic and flow of their thoughts. Literate programs are written as an exposition of logic in more natural language in which macros are used to hide abstractions and traditional source code, more like the text of an essa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LR Parser
In computer science, LR parsers are a type of bottom-up parser that analyse deterministic context-free languages in linear time. There are several variants of LR parsers: SLR parsers, LALR parsers, Canonical LR(1) parsers, Minimal LR(1) parsers, and GLR parsers. LR parsers can be generated by a parser generator from a formal grammar defining the syntax of the language to be parsed. They are widely used for the processing of computer languages. An LR parser (Left-to-right, Rightmost derivation in reverse) reads input text from left to right without backing up (this is true for most parsers), and produces a rightmost derivation in reverse: it does a bottom-up parse – not a top-down LL parse or ad-hoc parse. The name LR is often followed by a numeric qualifier, as in LR(1) or sometimes LR(''k''). To avoid backtracking or guessing, the LR parser is allowed to peek ahead at ''k'' lookahead input symbols before deciding how to parse earlier symbols. Typically ''k'' is 1 and is n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robinson–Schensted–Knuth Correspondence
In mathematics, the Robinson–Schensted–Knuth correspondence, also referred to as the RSK correspondence or RSK algorithm, is a combinatorial bijection between matrices with non-negative integer entries and pairs of semistandard Young tableaux of equal shape, whose size equals the sum of the entries of . More precisely the weight of is given by the column sums of , and the weight of by its row sums. It is a generalization of the Robinson–Schensted correspondence, in the sense that taking to be a permutation matrix, the pair will be the pair of standard tableaux associated to the permutation under the Robinson–Schensted correspondence. The Robinson–Schensted–Knuth correspondence extends many of the remarkable properties of the Robinson–Schensted correspondence, notably its symmetry: transposition of the matrix results in interchange of the tableaux . The Robinson–Schensted–Knuth correspondence Introduction The Robinson–Schensted correspondence is a b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MMIX
MMIX (pronounced ''em-mix'') is a 64-bit reduced instruction set computing (RISC) architecture designed by Donald Knuth, with significant contributions by John L. Hennessy (who contributed to the design of the MIPS architecture) and Richard L. Sites (who was an architect of the Alpha architecture). Knuth has said that, MMIX is a computer intended to illustrate machine-level aspects of programming. In my books ''The Art of Computer Programming'', it replaces MIX, the 1960s-style machine that formerly played such a role… I strove to design MMIX so that its machine language would be simple, elegant, and easy to learn. At the same time I was careful to include all of the complexities needed to achieve high performance in practice, so that MMIX could in principle be built and even perhaps be competitive with some of the fastest general-purpose computers in the marketplace." Knuth started the design of MMIX in 1999, and released the stable version of the design in 2011. The process ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Milwaukee")
.jpg "Click for more on -> Turing Award")
.jpg "Click for more on -> Grace Murray Hopper Award")
