Learn More
The Java card transaction mechanism allows to protect sensitive operations on smart cards against problems due to card tears or power losses. Statements within a transaction are viewed as a single atomic operation so that either they are all performed or none of them is. KRAKATOA is a tool for static verification of Java programs annotated in JML (Java(More)
BACKGROUND No evidence-based guidelines are available for the administration of gadolinium-based contrast media to veterinary patients. OBJECTIVE To investigate whether administration of intravenous (IV) contrast media alters the likelihood of identifying a brain lesion in dogs and cats. ANIMALS Four hundred and eighty-seven client-owned animals(More)
Magnetic resonance imaging (MRI) has been recommended for staging and surgical planning in cats with injection site sarcomas (ISS). The purpose of this retrospective study was to describe low-field MRI characteristics of confirmed injection site sarcomas in a group of cats. Low-field MR images, thoracic radiographs, histopathology findings, and medical(More)
OBJECTIVE To determine whether a lateral suture placed with bone anchors between quasi-isometric points in a cat is superior to a standard fabella-tibial suture for the stabilization of cranial cruciate ligament (CrCL) rupture compared to an intact stifle joint. STUDY DESIGN Biomechanical cadaveric study. METHODS Six stifle joints with intact cruciate(More)
INTRODUCTION Achieving a secure airway in rabbits is generally considered more difficult than in cats or dogs. Their relatively large tongue, small oropharyngeal cavity and glottis limit direct visualization. A rabbit-specific supraglottic airway device (SGAD) may offer benefits over blind orotracheal intubation. ANIMALS AND METHODS Fifteen adult New(More)
A nine-month-old entire female terrier cross was presented with intermittent anorexia, vomiting and recent onset of abdominal pain and distension. A diagnosis of unilateral hydronephrosis was made following ultrasound examination and intravenous urography, but no cause was identified. Subsequent ureteronephrectomy and histology of the affected kidney showed(More)
An 11-year-old, neutered female British Shorthair cat was referred with a 4-week history of abdominal pain and vomiting. Abdominal ultrasonography revealed a dilated common bile duct containing a spindle-shaped structure with several reflecting interfaces. Differentials that were considered included an intraluminal foreign body, or helminth parasites within(More)
CASE DESCRIPTION 5 dogs were examined because of clinical signs of myelopathy, including signs of pain associated with the spinal region and rapidly progressive neurologic deficits. CLINICAL FINDINGS In all dogs, results of MRI were consistent with spinal epidural empyema. Concurrent infectious processes were identified at adjacent or distant sites in all(More)
  • 1