BibSonomy publications for /author/KnuthMon Feb 06 10:47:14 CET 2012Math. Comp.Estimating the Efficiency of Backtrack Programs291975imported Tue Jan 03 13:02:41 CET 2012TUGboat - Communications of the TeX Users GroupJune2An Earthshaking Announcement312010donald_knuth fun itex latex tex tug tugboat unicode xml Mon Jan 02 14:48:17 CET 2012cite arxiv:math/9205211 Comment: Abstract added by Greg KuperbergTwo notes on notation1992combinatorics computer general mathematics science teaching The author advocates two specific mathematical notations from his popular course and joint textbook, "Concrete Mathematics". The first of these, extending an idea of Iverson, is the notation "[P]" for the function which is 1 when the Boolean condition P is true and 0 otherwise. This notation can encourage and clarify the use of characteristic functions and Kronecker deltas in sums and integrals. The second notation puts Stirling numbers on the same footing as binomial coefficients. Since binomial coefficients are written on two lines in parentheses and read "n choose k", Stirling numbers of the first kind should be written on two lines in brackets and read "n cycle k", while Stirling numbers of the second kind should be written in braces and read "n subset k". (I might say "n partition k".) The written form was first suggested by Imanuel Marx. The virtues of this notation are that Stirling partition numbers frequently appear in combinatorics, and that it more clearly presents functional relations similar to those satisfied by binomial coefficients. Fri Dec 23 00:00:00 CET 2011SODAconf/soda/199341-43The Stanford GraphBase: A Platform for Combinatorial Algorithms.1993dblp Fri Dec 23 00:00:00 CET 2011SODAconf/soda/1990397-404Stable Husbands.1990dblp Thu Dec 08 00:00:00 CET 2011Interact. Techn. Smart Edu.4236-248WhoKnows? Evaluating linked data heuristics with a quiz that cleans up DBpedia.82011dblp Wed Dec 07 14:33:14 CET 2011The Computer Journal297-111Literate Programming271984Pascal TeX literate programming The author and his associates have been experimenting for the past several years with a programming language and documentation system called WEB. This paper presents WEB by example, and discusses why the new system appears to be an improvement over previous ones.Mon Dec 05 00:00:00 CET 2011CoRRInformation Physics: The New Frontierabs/1009.51612010dblp Mon Dec 05 00:00:00 CET 2011CoRRFoundations of Inferenceabs/1008.48312010dblp Mon Dec 05 00:00:00 CET 2011CoRREvidence-Based Filters for Signal Detection: Application to Evoked Brain Responsesabs/1107.12572011dblp Mon Dec 05 00:00:00 CET 2011CoRREntropy-Based Search Algorithm for Experimental Designabs/1008.49732010dblp Mon Dec 05 00:00:00 CET 2011ACM Comput. Surv.4261-301Structured Programming with go to Statements.61974dblp Mon Dec 05 00:00:00 CET 2011ACM Comput. Surv.4247-260Von Neumann's First Computer Program.21970dblp Mon Dec 05 00:00:00 CET 2011ACM Journal of Experimental Algorithmics1Irredundant Intervals.11996dblp Sun Nov 20 00:00:00 CET 2011I-SEMANTICSconf/i-semantics/201171-78ACM International Conference Proceeding SeriesRISQ! Renowned Individuals Semantic Quiz: a Jeopardy like quiz game for ranking facts.2011dblp Mon Nov 07 00:00:00 CET 2011IEEE Trans. Software Eng.5351-359Deletions That Preserve Randomness.31977dblp Wed Nov 02 00:00:00 CET 2011IEEE Trans. Knowl. Data Eng.188-103Multiple Prefetch Adaptive Disk Caching.51993dblp Mon Oct 31 00:00:00 CET 2011IEEE Transactions on Information Theory149-52Deciphering a linear congruential encryption.311985dblp Mon Oct 31 00:00:00 CET 2011IEEE Transactions on Information Theory151-53Efficient balanced codes.321986dblp Thu Oct 27 00:00:00 CEST 2011IEEE Trans. Computers9943-944Activity in an Interleaved Memory.241975dblp