Now showing items 17474-17493 of 33388

  • Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators is Isomorphism Complete 

    Basin, David A. (Cornell University, 1989-06)
    We demonstrate that deciding if two terms containing uninterpreted associative-commutative function symbols and commutative variable binding operators are equal is polynomially equivalent to determining if two graphs ...
  • 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 ...
  • 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 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 ...
  • Equine Rounds, No. 10, February, 1986 

    American Association of Equine Practitioners. Student Chapter; Dill, Stephen G.; Franz, Marc; Bermingham, Eden; Redmond, Karen (1986)
    Topics in this issue of Equine Rounds include: Hoof Care Trimming and Shoeing (Diana Lafer, Buster Conklin); Worming the Broodmare and Foal (Eden Bermingham, Jay Georgi); A Good Shot (vaccinations) (Luba Drouin); Breeding ...