Now showing items 23938-23957 of 36714

    • 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 ...
    • Knapp, Wayne Robert 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1982)
      Memorial Statement for Professor Wayne Robert Knapp who died in 1982. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Knaysi, Georges Abdallah 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1978)
      Memorial Statement for Professor Georges Abdallah Knaysi who died in 1978. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Know Your Audience - A Multi-pronged Approach to Information Transfer 

      Weigle, Tim (New York State IPM Program, 2010)
      Net books and video clips have been added to the arsenal of Coffee Pots, Crop Updates and meetings to help the members of the Lake Erie Regional Grape Program address the needs of an audience that is as diverse as it is ...
    • Know your Audience - A Multi-pronged Approach to Information Transfer and Impact Assessment 

      Weigle, T.; Muza, A.; Creasap Gee, J.; Martin, K. (New York State IPM Program, 2009)
      Computers, clickers and video clips have been added to the arsenal of Coffee Pots and Crop Updates to help the members of the Lake Erie Regional Grape Program address the needs of an audience that is as diverse as it is ...
    • Know Your Insects 

      Klass, Carolyn; Johnson, W. T. (Cornell Cooperative Extension, 1981-04)
      A graded project that can carry a young person through many years of work in entomology. The project material gives minimum instructions for beginning an entomology project. Included are an introduction to what an insect ...
    • Know Your Plant's Disease 

      Carroll, Juliet E. (Cornell Cooperative Extension, 1987-05)
      How do plants become diseased? What can you do to prevent it? Helps beginners of all ages recognize symptoms of plant disease, identify causes, and learn to manage plant disease.
    • Know Your Trees 

      Winch, Fred E., Jr (Cornell Cooperative Extension, 1984-07)
      A timeless 4-H project to teach members living in any type of area how to better know their tree neighbors.
    • Know Your Trees 

      Cope, J. A.; Winch, Fred E. Jr.; Cope, E. A. (Cornell Cooperative Extension, 1948)
      This publication describes 50 common trees native to New York State and other parts of the United States. The bark, twigs, winter buds, leaves, fruit, and distinguishing features of each are desribed in detail. Illustrations ...