Now showing items 18047-18066 of 37422

    • Equational Propositional Logic 

      Gries, David; Schneider, Fred B. (Cornell University, 1994-09)
      We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the more traditional Hilbert style.
    • Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests 

      Barth, Adam; Kozen, Dexter (Cornell University, 2002-10-24)
      In a recent paper of Mateev et al. (2001), a new technique for program analysis called fractal symbolic analysis was introduced and applied to verify the correctness of a series of source-level transformations for cache ...
    • Equations in Sums of Powers 

      Searle, S. R.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (1966-08)
    • The Equatorial Electrojet: Radar Observations and Modeling 

      Shume, Esayas (2006-06-28)
      This dissertation describes a theoretical, experimental, and modeling investigation of the equatorial electrojet. We review low latitude ionospheric current models, synthesizing developments from the early times until the ...
    • Equilibrium And Stability In Vortex And Wave Flows 

      Luzzatto Fegiz, Paolo (2011-01-31)
      This dissertation focuses on the development of theoretical and numerical methodologies to study equilibrium and stability in conservative fluid flows. These techniques include: a bifurcation-diagram approach to obtain the ...
    • The Equilibrium in Islamic Education in the US 

      Barazangi, Nimat Hafez (International Institute for the Study of Islam in the Modern World, 2000)
      American Muslims do face misconceptions, yet their view of the woman as morally dependent, hence socially and politically non-central to issues of Islamic and multicultural education is indeed problematic. How is it plausible ...
    • Equilibrium Market Prices Of Risks And Risk Aversion In A Complete Stochastic Volatility Model With Habit Formation: Empirical Risk Aversion From S&P 500 Index Options 

      Han, Qian (2010-10-20)
      Considering a pure exchange economy with habit formation utility, the theoretical part of this dissertation explores the equilibrium relationships between the market pricing kernel, the market prices of risks and the market ...
    • The Equilibrium of Islamic Education: Has Muslim Women's Education Preserved the Religion? 

      Barazangi, Nimat Hafez (Religion And Education, 1998)
      I focus on issues of equilibrium in Muslim women's education to understand the tension between the ideals and practice and its ramifications for Islamic and Muslims' education in the United States. I argue that one maintainer ...
    • The Equilibrium: Issues of Islamic Education in the United States 

      Barazangi, Nimat Hafez (Religion and Education, 1998)
      The theme of this special edition of Religion and Education (R&E) on "Issues of Islamic Education" is taqwa. Taqwa is an Arabic word often translated oversimply as "piety," but which bears the meaning of "a conscious balance ...
    • Equine B Lymphopoiesis And Cd5+ B Lymphocytes 

      Prieto, Jennifer (2015-08-17)
      The development of the humoral immune system starts during gestation with the production of two major types of B cells: B1 and B2. B2 cells are the classic players in the adaptive humoral immunity, while B1 cells are ...
    • Equine bilateral frontal sinusotomy 

      Lawrence, Jared (2012-11-14)
      A 13 year old Thoroughbred mare presented to the Cornell University Equine Hospital for evaluation of chronic bilateral mucopurulent nasal discharge. She was purchased by the current owner from a sale in 8 months before ...
    • Equine coat color genetics 

      Feldman, Jean F. (1980-11-07)
      The effects of the most important coat color genes in horses are reviewed. Teh emphasis is on basic coat colors and patterns and not on the inheritance of markings. White, grey, black, bay, brown, chestnut, palomino, ...
    • Equine colic 

      Driscoll, Maryjean (1976-10-01)
      The term colic refers to pain in the abdominal cavity. The pain may originate in the digestive organs, or in other organs; it may be caused by a variety of pathological changes which develop from different generalized ...
    • Equine corneal ulcer with keratomalacia : medical management 

      Hawley, Bridget (2003-03-26)
      "Rodeo" is an 8-year-old thoroughbred stallion that presented to the Emergency service at Cornell for treatment of a melting corneal ulcer. Rodeo had sustained a traumatic injury to the left eye three days prior to ...
    • Equine herpesvirus 9 : implications for preventive medicine in zebras and Thomson's gazelles 

      Lopez, Karen M. (2010-08-25)
      Equine herpesvirus 9 (EHV-9) is a neurotropic alphaherpesvirus first recognized in Thomson’s gazelles (Eudorcas thomsonii), of which zebras are thought to be the natural hosts. Concerns about interspecies transmission in ...
    • Equine limb wound management with pinch grafting 

      Hurley, Mollie (2011-09-07)
      Large excisional wounds located on the distal limbs of horses often undergo complications during the healing process. Exuberant granulation tissue is a potential complication to any excisional wound healing by second ...
    • The equine neonatal maladjustment syndrome : review and case report 

      Seitel, Kathleen (1983-04-15)
      From the moment of birth, the normal foal's activity is highly predictable. It will begin rhythmic breathing within 30 seconds and become sternal within 5 minutes. The sucking reflex will be present within 20 minutes, ...
    • Equine polysaccharide storage myopathy 

      Boshart, Chris (1996)
      A seven year old Quarter Horse/Arab mare was evaluated for episodes of rhabdomyolysis after light work. Muscle biopsies revealed variation in fiber size along with pale, granular subsarcolemmal areas which stained strongly ...
    • Equine protozoal myelitis 

      Friedman, Jeff (1978-11-03)
      "Waltzing Matilda", a 5-year-old Standardbred x Thoroughbred bay mare was ridden in four endurance trial rides at the Equine Research Park during the summer months of May and June of 1977. Several gluteal muscle biopsy ...
    • Equine Rounds, No. 1, November, 1983 

      American Association of Equine Practitioners. Student Chapter; Tucker, Geoffrey; Redmond, Karen (New York State College of Veterinary Medicine. Cornell University, 1983)
      Topics in this issue of Equine Rounds include: Student Chapter AAEP Introduces Equine Newsletter; The Clinical Staff; Inside the Clinic: The Lameness Examination (Annemarie Bimbo, Andrew Weitzman); Research Update: Equine ...