Now showing items 22075-22094 of 33388

  • King, Asa Carlton 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1967)
    Memorial Statement for Professor Asa Carlton King who died in 1967. 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 ...
  • Kingsbury, Benjamin Freeman 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1946)
    Memorial Statement for Professor Benjamin Freeman Kingsbury who died in 1946. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its ...
  • Kinkeldey, Otto 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1966)
    Memorial Statement for Professor Otto Kinkeldey who died in 1966. 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 ...
  • 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 ...
  • 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)
  • 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 ...