Now showing items 22094-22113 of 33572

  • Karl Pillemer 

    Unknown author (2013-05)
  • Karl Pillemer Faculty Bio 

    Pillemer, Karl (2015-05-01)
  • Karla Hernandez 

    Carlacio, Jami; Howd, Eric Machan (Cornell University, Carlacio/Howd, 2010-07-31)
    Pre/Post video from Composing Literacies study
  • Karmakanda 

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

    Koirala, Damodar; Bhattrai, Rameshwor (Kathmandu, Nepal : Ministry of Education, Nepal, 1984)
  • 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 

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