Now showing items 23841-23860 of 36704

    • Karapetoff, Vladimir 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1948)
      Memorial Statement for Professor Vladimir Karapetoff who died in 1948. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Karchhag account of a Buddhist ceremony in 1620 (32?) AD in Gyoikhar Temal 

      Lama, Lila Narayan (Cornell University, 2005)
      Karchhag account of a Buddhist ceremony in 1620 (32?) AD in Gyoikhar Temal
    • 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, 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 ...
    • Katerina Anghelaki-Hook reads her own poetry 

      Angelak?-Rouk, Katerina (11/7/1983)
      Anghelaki-Rooke's poems recall her Greek ancestry.
    • 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)