Now showing items 22095-22114 of 33561

  • Karnofsky, David A. 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1969)
    Memorial Statement for Professor David A. Karnofsky, who died in 1969. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
  • Karyalaya Sanchalan 

    (Kathmandu, Nepal : Ministry of Education, Nepal, 1996)
  • Karyalaya Sanchalan Ra Lekha 

    Upadhya, Bishwo Nath; Nemkul, Chandra Bahadur (Kathmandu, Nepal : Ministry of Education, Nepal, 1993)
  • Karyalaya Sanchalan Ra Lekha 

    (Kathmandu, Nepal : Ministry of Education, Nepal, 1995)
  • Kaske, Robert Earl 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1989)
    Memorial Statement for Professor Robert Earl Kaske, who died in 1989. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
  • KAT + B! 

    Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos (2014-01-08)
    It is known that certain program transformations require a small amount of mutable state, a feature not explicitly provided by Kleene algebra with tests (KAT). In this paper we show how to axiomatically extend KAT with ...
  • KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests 

    Aboul-Hosn, Kamal; Kozen, Dexter (Cornell University, 2003-08-21)
    KAT-ML is an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. We describe the main features of ...
  • Katherine Dickin Faculty Bio 

    Dickin, Katherine (2015-05-01)
  • Kathleen Gibson Faculty Bio 

    Gibson, Kathleen (2015-05-01)
  • Kathleen Rasmussen Faculty Bio 

    Rasmussen, Kathleen (2015-05-01)
  • Kauffman Bracket Skein Modules And The Quantum Torus 

    Samuelson, Peter (2012-08-20)
    If M is a 3-manifold, the Kauffman bracket skein module is a vector space Kq (M ) functorially associated to M that depends on a parameter q ∈ C* . If F is a surface, then Kq (F x [0, 1]) is an algebra, and Kq (M ) is a ...
  • Kaufman, Jacob (Jack) 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 2005)
    Memorial Statement for Professor Jacob (Jack) Kaufman, 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 ...
  • Kaven, William H. 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 2008)
    Memorial Statement for Professor William H. Kaven, who died in 2008. 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 ...
  • Kearl, Chase Delmar 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1973)
    Memorial Statement for Professor Chase Delmar Kearl who died in 1973. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
  • Keep 'em down on the farm 

    Jacobs, Eleanor (2011-05-01)
  • Keeping Current on Research and News in Less Time 

    Rupp, Nathan; Andrews, Camille (2006-02-28)
    Provides an overview of RSS feeds, blogs, and social bookmarking.
  • Keeping Current with Educational Resources 

    Andrews, Camille (2006-03-24)
    From the presentation given on May 24, 2006 for Teacher Professional Development Day: "Are you so busy that you don't have time to find new resources for your classes or keep up with your own professional development? Do ...
  • Keeping Current with RSS 

    Rupp, Nathan; Steinhart, Gail (2006-01-04)
    Introduction to RSS and its uses.
  • Keeping Freshness in Fresh-cut Horticultural Produce 

    Irtwange, S. (International Commission of Agricultural Engineering, 2006-02)
    This is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 8 (2006): Keeping Freshness in Fresh-cut Horticultural Produce. Invited Overview. ...
  • Keeping Post Offices Public: Three Case Studies On The Disposal And Rehabilitation Of Historic Post Offices 

    Coffield, Katherine (2013-01-28)
    The United States Postal Service (USPS) plans to close thousands of its facilities over the next decade in response to a steady decline in patronage and severe budget deficits. Many of the buildings under review for closure ...