Now showing items 22388-22407 of 36714

    • Hyperproperties 

      Clarkson, Michael R.; Schneider, Fred B. (2008-12-22)
      Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
    • Hyperproperties 

      Clarkson, Michael R.; Schneider, Fred B. (2008-01-27)
      Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
    • Hyperproperties: Verification of Proofs 

      Bueno, Denis L.; Clarkson, Michael R. (2008-07-25)
      This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
    • Hyperspectral Sensing of Soil Pedons for Soil Classification and Survey 

      Neafsey, Ernest (2008-05-02)
      Proximal sensing using visible-near infrared (VNIR) diffuse reflectance spectroscopy (DRS) has demonstrated substantial potential for rapid, accurate estimation of key soil properties. Many of these soil properties are ...
    • Hyperthermia Ablation of Breast Tumors Using Ultrasound 

      Jin, Shiyi; Wang, Xing; Yuan, Mona; Zheng, Anqi (2014-05-28)
      Breast cancer is the most prevalent type of cancer, excluding lung cancer, for women in the United States. Left untreated, a malignant primary tumor in the breast can metastasize via the underarm lymph nodes, increasing ...
    • Hyperthermic Ablation of Hepatic Tumors by Inductive Heating of Ferromagnetic Alloy Implants 

      Androlowicz, Julie; Clark, Iain; Doerr, Georgr; Netravali, Nathan; Wynne, Joseph (2003-06-17)
      This study is an investigation into the ability of ferromagnetic thermal therapy to destroy cancerous hepatic tissue. Ferromagnetic rods are implanted in cancerous tissue and heated by induction. Increased temperatures ...
    • Hypertrophic osteodystrophy in a 12 week old puppy 

      Thompson, Jacqueline (Jacqueline Nichole) (2008-03-12)
      A 12 week old female Shepherd/Labrador mix puppy presented to Cornell University Hospital for Animals for evaluation of progressive lameness, extreme lethargy, anorexia, and generalized paresis and pain. A diagnosis of ...
    • Hypertrophic osteodystrophy in an Irish Setter 

      Luna, Jennifer (2006-04-19)
      A four month old, intact female, Irish Setter presented to the emergency service at the Cornell University Hospital for Animals with a 2 day history of vomiting, bloody diarrhea, and fever that progressed to unresponsiveness. ...
    • Hypertrophic osteopathy associated with equine multinodular pulmonary fibrosis in a gelding 

      Schneider, Anne (2010-10-13)
      A 5 year old Thoroughbred-Warmblood gelding was presented with a six month history of weight loss, as well as a two week history of symmetrical limb swellings and intermittent fever. Physical exam revealed symmetrical, ...
    • Hyperviscosity syndrome in a dog with IgM secreting lymphoma 

      Wilcox, Elizabeth L. (2003-10-08)
      On June 13, 2003 a 6 year old intact female beagle, "Molly", presented with the major complaint of buphthalmia and red eye. She was previously diagnosed and treated by her veterinarian for glaucoma. She was referred to ...
    • Hypervisor-based Fault-tolerance 

      Bressoud, Thomas C.; Schneider, Fred B. (Cornell University, 1995-03)
      Protocols to implement a fault-tolerant computing system are described. These protocols augment the hypervisor of a virtual machine manager to coordinate a primary virtual machine and its backup. The result is a ...
    • Hypocalcemic egg binding in a cockatiel 

      Kohler, Janis C. (2003-04-16)
      Egg binding in birds has many causes, and must always be considered an emergency because it has many potential serious consequences. Egg binding can usually be diagnosed with only history, physical examination, and ...
    • Hypothyroidism and necrotizing cholecystitis in a West Highland White Terrier 

      Tompkins, Nathan (2010-12-01)
      A 13.5 year-old female spayed West Highland White Terrier was presented to the Cornell University Hospital for Animals (CUHA) after a 2-day history of anorexia and vomiting. Initial diagnostics disclosed increased ...
    • Hypoxemia in the horse under anesthesia 

      Laden, Sandra A. (1988)
      On June 27, 1987, a 10 year old pregnant, Thoroughbred mare was presented to the NYSCVM with a chief complaint of colic. She had been found "colicy" in the pasture 2 hours earlier. She had a previous history of recurrent ...
    • HyTech : The Cornell HYbrid TECHnology Tool 

      Henzinger, Thomas A.; Ho, Pei-Hsin (Cornell University, 1995-06)
      This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and ...
    • Hyuncheol Bryant Kim Faculty Bio 

      Bryant, Hyuncheol Kim (2015-05-01)
    • "I Can Do That!" Hans Bethe's First 60 Years at Cornell 

      Hershey, Edward (Department of Physics, Cornell University, 1995)
      This video provides a brief overview of Hans Bethe's life and career, from his childhood and early career in Germany to his 60 years at Cornell. Colleagues Dale Corson, Robert Wilson, John Bachall, Sylvan Schweber, and ...
    • "I contain multitudes": Chimeras, cells and the materialization of identities 

      Martin, Aryn (2006-06-29)
      This dissertation traces the biomedical networks through which human chimeras are clinically constituted. Chimeras are organisms in which two or more genetically distinct cell populations co-exist. Unlike their experimentally ...
    • 'I Heard Beauty Dying': The Cultural Critique of Plastic in Gravity's Rainbow 

      Sharpe, Katherine (2007-04-10)
      This essay attempts to get a grasp on Pynchon's 700-plus page omnibus, Gravity's Rainbow, by focusing on the development of a single motif in the novel: plastic. It argues that Pynchon takes 1960s and 1970s critiques of ...
    • I quattro fratelli; a comic opera in three acts; The libretto adapted from the French of Leuven & Brunswick by M. Maggioni. 

      Balfe, M. W. (Michael William); Maggioni, Manfredo (London : Brettell, 1851)