Browsing by Subject "CAT"

Sort by: Order: Results:

Now showing items 1-4 of 4
  • Ponce-de-Leon, Hernan; Furbach, Florian; Heljanko, Keijo; Meyer, Roland (IEEE, 2018)
    This paper reports progress in verification tool engineering for weak memory models. We present two bounded model checking tools for concurrent programs. Their distinguishing feature is modularity: Besides a program, they expect as input a module describing the hardware architecture for which the program should be verified. DARTAGNAN verifies state reachability under the given memory model using a novel SMT encoding. PORTHOS checks state equivalence under two given memory models using a guided search strategy. We have performed experiments to compare our tools against other memory model-aware verifiers and find them very competitive, despite the modularity offered by our approach.
  • Piirainen, Kirsi Johanna; Viitanen, Sanna Johanna; Lappalainen, Anu Katriina; Mölsä, Sari Helena (2018)
    Background: Tracheal tumors are rarely diagnosed in veterinary medicine and the majority of tracheal neoplasia reported in adult dogs are malignant. Intratracheal lipoma has not been previously reported in the veterinary literature. Case presentation: A 7-year-old Briard dog was evaluated for inspiratory dyspnoea and an inspiratory wheeze. Cervical radiographs and tracheoscopic examination revealed an intratracheal mass that was surgically removed. The dog has been asymptomatic after the surgery. Conclusions: Based on histopathology, the mass was diagnosed as lipoma. To the authors' knowledge, this is the first published report of an intratracheal lipoma in the veterinary literature.
  • Rinne, Teemu; Ala-Salomaki, Heidi; Stecker, G. Christopher; Pätynen, Jukka; Lokki, Tapio (2014)
  • Saari, Seppo; Schildt, Kirsti; Malkamäki, Sanna; Andersin, Ulla; Sukura, Antti (2021)
    Background Caryospora bigenetica is an intracellular protozoan parasite, which in its primary hosts, typically snakes, is found it the intestine. Extraintestinal multiplication with the development of tissue cysts takes place in secondary hosts, which are normally prey for snakes. Natural infection in domestic animals has been reported only in dogs; this is the first report of C. bigenetica infection in a cat. Case presentation A stray kitten developed nodular dermatitis after being adopted by a shelter. Firm swelling, nodules, and crusts were present mainly on the nasal bridge, eyelids, and pinnae. Histopathology and cytology revealed severe pyogranulomatous inflammation with abundant intracellular organisms suggestive of apicomplexan protozoa. Treatment with clindamycin 13 mg/kg twice daily was initiated, but the cat was euthanized because of the worsening condition. Transmission electron microscopy confirmed parasite's apicomplexan origin postmortem, and the causative agent was identified as C. bigenetica by polymerase chain reaction and DNA sequencing. Conclusions We present the first case of a naturally occurring infection with C. bigenetica in a cat. Although the definitive etiological diagnosis relied on molecular identification, the abundance of unsporulated oocysts and caryocysts and the parasite's effective reproduction within macrophages and in several other cell types might have enabled differentiation from other protozoal infections and allowed a presumptive diagnosis through cytology and histopathology.