Now showing items 23921-23940 of 36705

    • Kinsella, John Edward 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1993)
      Memorial Statement for Professor John Edward Kinsella who died in 1993. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Kira, Alexander 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 2005)
      Memorial Statement for Professor Alexander Kira who died in 2005. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty for ...
    • Kirkwood, Gordon M. 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 2007)
      Memorial Statement for Professor Gordon M. Kirkwood, who died in 2007. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Kirsch, Thomas 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1999)
      Memorial Statement for Professor Thomas Kirsch who died in 1999. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty for ...
    • Kirshner at Cornell, 1981 

      Kirshner, Edward (1981)
      Edward Kirshner was co-author with Eve Bach, Thomas Brom, Julia Estrella and Lenny Goldberg of The Cities' Wealth, an important statement of alternative municipal policy and governance as applicable to Berkeley, CA in 1975. ...
    • Kitchen Science for Kids 

      Thonney, Patricia F.; Farrell, Tracy J. (Cornell Cooperative Extension, 2000-02)
      A collection of science experiments that teach food and nutrition concepts appropriate for children ages 5 to 12. The goal is to make science accessible and fun for children and to encourage discovery-based knowledge. The ...
    • Kitchen Science for Kids 

      Thonney, Patricia F.; Farrell, Tracy J. (Cornell Cooperative Extension, 2000-02)
      The goal is to make science accessible and fun for children and to encourage discovery-based knowledge. Each activity can be completed in one 20-minute period or expanded to provide additional learning opportunities. An ...
    • Kite: Straw Kite 

      Coffman, Charlotte (2008-01-31)
      Part of the Grab and Go With Science series, this activity leads youth in building kites from different materials. It demonstrates the principle that different materials fly differently.
    • Kittayarak, Kittipong 

      Kittayarak, Kittipong; Martin, Peter W. (Cornell Law School, 2004-10-02)
      From the video archives of the Cornell Law School Heritage Project. The interviewer is Peter W. Martin; the videographer, Jae-Hyon Ahn. This video contains an interview with Kittipong Kittayarak, Cornell Law School LLM ...
    • Kiyoshi Itō interview undated 

      Itō, Kiyoshi (2010-09-15)
      Undated interview conducted by Eugene Dynkin with Kiyoshi Itō.
    • Kleene Algebra and Bytecode Verification 

      Kot, Lucja; Kozen, Dexter (Cornell University, 2004-12-20)
      Most standard approaches to the static analysis of programs, such as the popular worklist method, are first-order methods that inductively annotate program points with abstract values. In a recent paper we introduced a ...
    • Kleene Algebra with Equations 

      Kozen, Dexter; Mamouras, Konstantinos (2014-02-27)
      We identify sufficient conditions for the construction of free language models for systems of Kleene algebra with additional equations. The construction applies to a broad class of extensions of KA and provides a uniform ...
    • Kleene algebra with tests and commutativity conditions 

      Kozen, Dexter (Cornell University, 1996-01)
      We give an equational proof, using Kleene algebra with tests and commutativity conditions, of the following classical result: every while program can be simulated by a while program with at most one while loop. The proof ...
    • Kleene Algebra with Tests and Program Schematology 

      Angus, Allegra; Kozen, Dexter (Cornell University, 2001-07-10)
      The theory of flowchart schemes has a rich history going back to Ianov (1960); see Manna (1974) for an elementary exposition. A central question in the theory of program schemes is scheme equivalence. Manna presents ...
    • Kleene Algebra with Tests and the Static Analysis of Programs 

      Kozen, Dexter (Cornell University, 2003-11-17)
      We propose a general framework for the static analysis of programs based on Kleene algebra with tests (KAT). We show how KAT can be used to statically verify compliance with safety policies specified by security automata. ...
    • Kleene Algebra with Tests: Completeness and Decidability 

      Kozen, Dexter; Smith, Frederick (Cornell University, 1996-04)
      Kleene algebras with tests provide a rigorous framework for equational specification and verification. They have been used successfully in basic safety analysis, source-to-source program transformation, and concurrency ...
    • Klippstein, Ruth N. 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1993)
      Memorial Statement for Professor Ruth N. Klippstein, who died in 1993. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Klotz, Walter Carl 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1941)
      Memorial Statement for Professor Walter Carl Klotz who died in 1941. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty for ...
    • Knapp, James Stephen 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1998)
      Memorial Statement for Professor James Stephen Knapp who died in 1998. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...