Now showing items 22071-22090 of 33572

  • Justifying Calculational Logic by a Conventional Metalinguistic Semantics 

    Aaron, Eric; Allen, Stuart (Cornell University, 1999-09)
    We provide a metalinguistic formalization of calculational logic, an alternative to higher-order logic for escaping the restrictions of first-order logic. We show that conventional semantic techniques can provide an ...
  • Jutta Dotterweich Faculty Bio 

    Dotterweich, Jutta (2015-05-01)
  • Juvenile cellulitis in a 10 week old Labrador Retriever 

    Clauss, Peter (2012-08-22)
    A 10 week old, intact female Labrador Retriever presented to the Emergency Service at the Cornell University Hospital for Animals (CUHA) in February 2012 following a four day history of progressive forelimb lameness, fever, ...
  • Juvenile Offenders' Risky Decision-Making Behavior 

    Stanisz, Janine (2007-05-22)
    We examined the choices of 52 adolescents (18 years of age); 26 were enrolled in an alternative to incarceration program and 26 were university undergraduates. Respondents were presented with a gambling task and were shown ...
  • Jyotisam 

    (Kathmandu, Nepal : Ministry of Education, Nepal, 1985)
  • Jyotisam 

    (Kathmandu, Nepal : Ministry of Education, Nepal, 1983)
  • A (k+1)-decision Single-Stage Selection Procedure for Comparing k Normal Means with a Fixed Known Standard: The Case of Common Known Variance 

    Bechhofer, R.; Turnbull, B. (Cornell University Operations Research and Industrial Engineering, 1974-12)
    A (k+1)-decision Single-Stage Selection Procedure for Comparing k Normal Means with a Fixed Known Standard: The Case of Common Known Variance
  • A (k+1)-decision Single-Stage Selection Procedure for Comparing k Normal Means with a Fixed Known Standard: The Case of Common Unknown Variance 

    Bechhofer, R.; Turnbull, B. (Cornell University Operations Research and Industrial Engineering, 1975-05)
    A (k+1)-decision Single-Stage Selection Procedure for Comparing k Normal Means with a Fixed Known Standard: The Case of Common Unknown Variance
  • K-5 Kids Use Databases to Learn About Agriculture 

    Getze, Fritz (2006)
    This presentation addresses our future users by demonstrating a unique program brought to K-12 schools in the state of Delaware. The program, UDLib/SEARCH, can help media specialists and faculty in Delaware public elementary ...
  • K-Theory Of Weight Varieties And Divided Difference Operators In Equivariant Kk-Theory 

    Leung, Ho Hon (2011-05-31)
    This thesis consists of two chapters. In the first chapter, we compute the K theory of weight varieties by using techniques in Hamiltonian geometry. In the second chapter, we construct a set of divided difference operators ...
  • K. Rosentrater. Laboratory Analysis of an Electrostatic Dust Collection System 

    Rosentrater, K. (International Commission of Agricultural Engineering, 2004-04)
    This is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 6 (2004): K. Rosentrater. Laboratory Analysis of an Electrostatic Dust Collection ...
  • K1. Reflections by Colleagues 

    Unknown author (Internet-First University Press, 2012-05)
    Once downloaded, these high definition QuickTime videos may be played using a computer video player with H.264 codec, 1280x720 pixels, millions of colors, AAC audio at 44100Hz and 29.97 frames per second. The data rate is ...
  • Kahin, George Mct. 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 2000)
    Memorial Statement for Professor George McT. Kahin, who died in 2000. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
  • Kahn, Peter 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1997)
    Memorial Statement for Professor Peter Kahn who died in 1997. 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 their ...
  • Kai Lai Chung Interview 1966 

    Chung, Kai Lai (1966)
    Interview conducted 1966 in Moscow, Russia by Eugene Dynkin with Kai Lai Chung.
  • Kai Lai Chung Interview July 25, 1994 

    Chung, Kai Lai (1994-07-25)
    Interview conducted July 25, 1994 by Eugene Dynkin with Kai Lai Chung.
  • Kai Lai Chung Interview June 1980 

    Chung, Kai Lai (1980-06)
    Interview in 2 parts conducted June 1980 by Eugene Dynkin with Kai Lai Chung.
  • Kaiser, Louis William 

    Cornell University, Office of the Dean of the University Faculty (Cornell University, 1981)
    Memorial Statement for Professor Louis William Kaiser who died in 1981. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
  • Kalyanapuram Parthasarathy 

    Parthasarathy, Kalyanapuram (1982-01-15)
    Recollections of Kalyanapuram Rangachari Parthasarathy recorded by Eugene Dynkin on January 15, 1982 at K. R. Parthasarathy's home in Delhi, India.
  • Kanbans, generalized semi-Markov processes and anti-matroids 

    Tayur, S. (Cornell University Operations Research and Industrial Engineering, 1991-01)
    This paper published in "Multiple Comparisons in Biostatistics: Current Research in the Topics of Dunnett, C. W." (Ed. Fred M. Hoppe) Marcel Dekker, NY (Chap. 18, p. 315-330)