A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Cutaneous pyogranuloma in a cat caused by virulent Rhodococcus equi containing an 87 kb type I plasmid

A 2-year-old intact male domestic shorthaired cat presented with a chronic, nodular, ulcerated, cutaneous lesion on the right thoracic limb. Histological and cytological examination revealed a pyogranulomatous inflammation with basophilic organisms in the macrophages. A virulent form of Rhodococcus equi containing an 87 kb type I (VapA) virulence plasmid was identified from cultures of biopsy samples. This report describes the clinicopathological features, plasmid profile and virulence of this case of R equi infection.

Occurrence of Leishmania (Leishmania) chagasi in a domestic cat (Felis catus) in Andradina, São Paulo, Brazil: case report

Neste trabalho, é relatada a infecção natural por Leishmania em um gato doméstico no qual, formas amastigotas do parasito foram observadas em imprint de linfonodo poplíteo. Reações sorológicas positivas e negativas foram observadas pelo teste de imunoadsorção enzimática (ELISA) e reação de imunofluorescência indireta (RIFI), respectivamente. A reação em cadeia da polimerase (PCR) revelou que a sequência de nucleotídeos foi idêntica à Leishmania (L.) chagasi. Este é o primeiro relato da doença em felino da cidade de Andradina, Estado de São Paulo, Brasil, área considerada endêmica para leishmaniose visceral canina e humana.

Surgical procedures used for post-traumatic neurogenic bladder in a cat: report case

Um gato de um ano de idade, macho, castrado, sem raça definida, foi encaminhado ao Hospital Veterinário Escola para avaliação de retenção urinária associada à subluxação nas vértebras T12-T13, que foi causada por um acidente automobilístico. Realizou-se a denervação do esfíncter uretral, por transecção dos nervos pudendo e hipogástrico, para permitir o esvaziamento da bexiga, porém três meses após a cirurgia inicial o animal apresentou recorrência da retenção urinária. Esfincterotomia endoscópica uretral foi então realizada, resultando em incontinência urinária por quatro meses.

Collagen dysplasia (cutaneous asthenia) in a cat

Hereditary collagen dysplasias comprise a complex group of connective-tissue disorders that result in the reduced tensile strength of affected tissues. These processes are called cutaneous asthenia in the skin of dogs and cats. We report here the case of a crossbred male cat, aged 6 months, that presented with two skin wounds in the region of the right thorax and right iliac tuberosity. The skin of these regions and of the animal's dorsum was hyperextensible, smooth to the touch, and easily torn with minor trauma. Microscopic examination of skin samples revealed reduced dermal connective tissue consisting of shortened and fragmented collagen fibers. Normal fibers were intermingled with altered fibers. Ultrastructural changes in collagen fibers included disorientation of fibrils within the same bundle, marked spacing differences, and variation in the diameter of transverse sections. The fibrils maintained the transverse striations characteristic of normal collagen.

Uncommon mandibular osteomyelitis in a cat caused by Nocardia africana

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Cryopreservation effects on domestic cat epididymal versus electroejaculated spermatozoa

Frozen-thawed epididymal spermatozoa have already been successfully used in artificial insemination in the domestic cat, proving to be a valuable resource for the reproduction of felid species, which are threatened with extinction. The aim of this study was to compare the effects of freezing and thawing on domestic cat semen collected by electroejaculation (EL) and from the epididymides (EP) and vasa deferentia. Ten adult cats were anesthetized, electroejaculated and immediately thereafter, orchiectomized. Epididymal spermatozoa were collected through the compression of caudae epididymidis and vasa deferentia. Spermatozoa were frozen-thawed following a single protocol. Sperm motility, sperm progressive status (0-5), plasma membrane integrity and morphology (light and transmission electron microscope) were assessed on two occasions, immediately after collection and after freezing and thawing. There were no significant differences between the electroejaculated and epididymal fresh or frozen-thawed spermatozoa for any of the variables. However, the incidence of acrosome defects after freezing and thawing increased by 19% based on light microscopy, whereas ultrastructural images revealed acrosome damages in most sperm cells. Since these acrosomal changes are known to affect sperm fertilising capacity, further studies are needed to optimize cryopreservation techniques for epididymal as well as electroejaculated domestic cat spermatozoa. (c) 2006 Elsevier B.V. All rights reserved.

Comparison of efficiency between two artificial insemination methods using frozen-thawed semen in domestic cat (Felis catus) Artificial insemination in domestic cats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Impact of 24-h Cooling Prior to Freezing on the Survival of Domestic Cat (Felis catus) Epididymal Sperm

The aim of this study was to investigate the impact of a 24-h cooling period prior to freezing on domestic cat epididymal sperm viability. Fifteen tomcats were submitted to routine orchiectomy and sperm samples were retrieved from both epididymides in a Tris-glucose-20% egg yolk extender. For each tomcat, the diluted sperm was split into two equal volumes and cooled to 5 degrees C at a rate of 0.5 degrees C/min; one sample for 60 min (control) and the other for 24 h (cooled). After the cooling period, samples from both groups were frozen using an identical freezing protocol. Sperm samples were evaluated in three different periods: immediately after harvesting, after cooling at 5 degrees C for 24 h (cooled group) and after freezing thawing of control and cooled groups. Evaluations consisted of sperm motility and progressive status, sperm morphology and plasma membrane integrity (PMI) using two fluorescent probes. After cooling for 24 h, a decrease (p < 0.05) in sperm motility, progressive status and PMI was observed when compared to sperm samples immediately after collection. Comparing the results obtained after thawing, no difference (p < 0.05) was found regarding sperm motility, progressive status, PMI and sperm morphology between control and cooled groups. The results from the present study show that cooling cat epididymal spermatozoa at 5 degrees C for 24 h prior to freezing does not lead to major damage of spermatozoa impairing the freeze-thaw process.

Parthenogenetic development of domestic cat oocytes treated with ionomycin, cycloheximide, roscovitine and strontium

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effect of Progesterone and Ionomycin on Domestic Cat Sperm Motility Patterns and Acrosome Reaction

This study was aimed at assessing the changes in sperm motion patterns and the percentage of acrosome reaction (AR) in domestic cat semen after treatment with either ionomycin or progesterone (P(4)). Ten ejaculates were collected from five tomcats using an artificial vagina, and were diluted, centrifuged and resuspended in a capacitation medium. Samples were evaluated and divided into seven equal aliquots and, after 2 h at 25 degrees C, were incubated for 30 min at 38 degrees C in 5% CO(2) and then analyzed. Computer-assisted sperm analysis and a combination of three fluorescent probes were used to assess sperm plasma, acrosomal membrane integrity and mitochondrial transmembrane potential. Thirty minutes after the start of incubation, P(4) was added (10 mu g/ml) to the P1 group. Groups P2 and P3 were supplemented with P(4) (10 and 20 mu g/ml, respectively) only after 2 h of incubation, and groups I1 and I2 were supplemented with ionomycin (4 and 8 mu M, respectively) 2 h after incubation. Group E was supplemented with ethanol (0.6%) at 2 h after incubation and group C received no supplementation. Ionomycin and P(4) treatments led to a hyperactivation-like sperm motion and an increase (p < 0.05) in the percentage of AR. Although a higher (p < 0.05) percentage of AR was obtained in group I2 when compared with all P(4) groups, a decrease (p < 0.05) in total and progressive motility was observed in I2 group. As I1 group was similar to I2 to induce AR without diminishing sperm motility, we can conclude that ionomycin at 4 mu M seems to be more suitable to trigger AR in domestic cat sperm.