Now showing items 22082-22101 of 33383

  • 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 ...
  • 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 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 

    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 ...
  • 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.
  • Knowing Who Knows What Best: Preschoolers Selectively Use Others' Past Accuracy In Causal And Verbal Learning 

    Vredenburgh, Christopher (2010-10-20)
    This research examined the ability of three-and-four-year-olds to use domains of knowledge to evaluate sources of knowledge. Participants were presented with a causal expert who fixed broken toys and a verbal expert who ...
  • Knowledge and Inhibition in Asynchronous Distributed Systems 

    Taylor, Kimberly E. (Cornell University, 1990-07)
    In an asynchronous distributed system, processes communicate only via message passing along channels with unbounded transmission time. Relative process speeds are arbitrary and processes do not have access to a common ...
  • Knowledge As A Thick Concept: New Light On The Gettier And Value Problems 

    Kyle, Brent (2011-08-31)
    : I argue that knowledge is a particular kind of concept known as a thick concept. Examples of thick concepts include courage, generosity, loyalty, brutality, and so forth. These concepts are commonly said to combine both ...