Now showing items 22904-22923 of 35062

    • Karmakanda 

      Koirala, Damodar; Bhattrai, Rameshwor (Kathmandu, Nepal : Ministry of Education, Nepal, 1984)
    • Karmakanda 

      Koirala, Damodar; Bhattrai, Rameshwor (Kathmandu, Nepal : Ministry of Education, Nepal, 1992)
    • Karmarkar as Dantzig-Wolfe 

      Todd, M. (Cornell University Operations Research and Industrial Engineering, 1988-02)
      Karmarkar as Dantzig-Wolfe
    • 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 

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

      Upadhya, Bishwo Nath; Nemkul, Chandra Bahadur (Kathmandu, Nepal : Ministry of Education, Nepal, 1993)
    • 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 ...