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

Quadro clínico do transtorno obsessivo-compulsivo

Obsessive-compulsive disorder is a very heterogeneous condition, not always easy to be identified. Obsessions are intrusive thoughts, impulses or images that cause anxiety or other emotional discomfort, whereas compulsions are repetitive behaviors or mental acts voluntarily performed to counterbalance or minimize the discomfort, or magically prevent any feared events. The most common symptoms are contamination, aggressive, somatic and sexual obsessions and washing, checking, repeating, counting and ordering compulsions. Patients usually have multiple symptoms simultaneously, which often change over time. Although the insight is typically preserved, it varies among patients and also fluctuates in the same patient in different ocasions. The main features are: exacerbated appraisal of risks, pathological doubts and incompleteness, as well as excessive sense of responsibility and guilt and thought/action fusion. As patients frequently feel ashamed of their symptoms, they can be reticent about them. Consequently, it usually takes time till they get adequate treatment.

A saúde bucal do idoso brasileiro: revisão sistemática sobre o quadro epidemiológico e acesso aos serviços de saúde bucal

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

Quadro seroproteico como auxílio diagnóstico na anemia hemolítica imunomediada em cães

No presente protocolo experimental, determinaram-se os proteinogramas séricos, por intermédio da eletroforese em gel de poliacrilamida contendo duodecil sulfato de sódio (SDS-PAGE), de 120 cães com raças e idades variadas e atendidos junto ao Hospital Veterinário Governador Laudo Natel da FCAV/Unesp, com o objetivo principal de comparar diferentes frações seroproteicas em estados anêmicos regenerativos, arregenerativos, imunomediados primários e secundários. Os referidos animais foram distribuídos em cinco grupos experimentais: grupo 1: 20 cães de controle; grupo 2: 28 cães com anemia regenerativa não imune; grupo 3: 27 cães com anemia arregenerativa não imune; grupo 4: 10 cães com anemia hemolítica imunomediada primária; grupo 5: 35 cães com anemia hemolítica imunomediada secundária. A técnica SDS-PAGE permitiu o fracionamento de 24 proteínas, cujos pesos moleculares (PM) variaram de 18.000 a 165.000 daltons (Da). Os cães com AHIM primária e secundária apresentaram 24 frações proteicas em seus traçados eletroforéticos, enquanto que cães de controle (1) e portadores de anemia regenerativa (2) e arregenerativa (3) de natureza não imune apresentaram 23 frações de proteínas, cuja proteína de peso molecular 68.000Da não foi encontrada. Dessa forma, 23 frações proteicas foram detectadas e revelaram-se comuns aos proteinogramas dos cães de controle e daqueles dos quatro grupos experimentais. Destas, identificaram-se nominalmente 11 frações proteicas, e as demais foram estudadas com base nos seus respectivos pesos moleculares. em relação aos cães de controle, os anêmicos (grupos 2, 3, 4 e 5) apresentaram maiores concentrações de transferrina sérica e entre estes os animais portadores da AHIM primária. Todos os cães anêmicos apresentaram teores séricos de haptoglobina e fosforilase significativamente maiores que os controles, enquanto que a concentração sérica de ceruloplasmina foi significativamente maior nestes. Tais achados analisados em conjunto agregam informações adicionais úteis à elucidação das AHIMs em cães.

Quadro citológico vaginal, concentração plasmática de progesterona durante a gestação e medidas fetais em paca (Cuniculus paca Linnaeus, 1766)

Em 27 pacas (Cuniculus paca Linnaeus, 1766) objetivou-se descrever aos 30, 60 e 90 dias (D) de prenhez diagnosticada por ultrassonografia (US), os tipos celulares do epitélio vaginal em esfregaços vaginais, relatar as condições de abertura da vulva e as características do muco vaginal, determinar a concentração plasmática de progesterona (P4) por radioimunoensaio, e ainda, mensurar por ultrassonografia (US) o diâmetro biparietal (DBP) fetal aos 60 e 90 dias de prenhez. No D30, 40% das amostras exibiram células (com características estrogênicas) superficiais e presença de núcleos nus. Nos D60 e D90, células parabasais, intermediárias, superficiais e naviculares estavam presentes nas mesmas proporções, mas células endocervicais foram descritas em apenas 73,9% e 69% das amostras daqueles dias, respectivamente. No D30 a maior proporção de células naviculares e superficiais diferiu (p < 0,05) em relação aos outros tipos celulares presentes. O muco vaginal apresentou-se cristalino e fluido em 100% e em 70% das fêmeas nos D30 e D60, respectivamente. Observou-se o vestíbulo vaginal aberto em torno de 50% das fêmeas em todos os dias de exames. Valores mínimos detectáveis de P4 foram obtidos em 72% e em 83% das fêmeas, enquanto que as médias das medidas dos DBP foram 1,25 cm (± 0,16) e 2,34 cm (± 0,25) nos D60 e D90, respectivamente. O quadro citológico vaginal nos D30, D60 e D90 e o DBP fornecem elementos que contribuem para diagnóstico de gestação em pacas. A concentração de P4 demonstra a necessidade de maiores estudos da endocrinologia da gestação em pacas.

Insuficiência renal aguda. Estudo do quadro clínico e prognóstico.

Acute renal failure (ARF) is a frequent complication in hospitalized patients, and is strongly related to increase of mortality. PURPOSE: To analyze the clinical outcome and the prognostic factors in hospital acquired AFR. METHOD: A prospective study was performed. Data from 200 patients with established ARF admitted during the period of January, 1987 and July, 1990 were collected. RESULTS: The incidence of ARF was 4.9/1000 admissions. Renal ischemia (50%) and nephrotoxic drugs (21%) were the main etiologic factors. The histologic study done in 43 patients showed: acute tubular necrosis (53%), tubular hydrophic degeneration (16%), glomerulopathies (16%) and other lesions (15%). Dialysis therapy was performed in 101 patients and the main indications were: uremia (67%), hypervolemia (22%) and hyperkalemia (9%). The mortality rate was 46.5% and the most important causes of death were: sepsis (38%), respiratory failure (19%) and multiple organs failure (11%). Treatment withdraw was the cause of death in 2 patients. Higher mortality was observed in oliguric patients (62.9%) than non-oliguric (34.5%) (p < 0.05) and in ischemic renal failure (56.7%) when compared to nephrotoxic renal failure (14.7%) (p < 0.05). This difference was maintained when the comparison was done only between dialyzed patients. CONCLUSION: As primary cause of death was not associated to the acute renal failure, we conclude that acute renal failure is an important marker of the gravity of the underlying disease and not the cause of death.

Epidemiologia e quadro clínico do botulismo epizoótico dos bovinos no Estado de São Paulo

In order to investigate epidemiological and clinical aspects of beef cattle mortalities caused by botulism, a syndrome popularly known as doença da vaca caída, studies were carried out in 32 naturally affected 4 to 9 year old cows, 27 belonging to the Nellore breed and 5 to crossbred Nellore, all from 27 farms located in municipalities near Botucatu, State of São Paulo. The epidemiological and clinical features were based, respectively, on the farm and herd managements, and on the general physical examination of the cows. Mouse bioassay and complement microfixation tests were performed to detect the presence of botulinum toxins in liver samples. The results showed that the disease occurs in beef cattle of range breeding systems, reared under inadequate mineral nutrition and deficient health management. Pregnant and milking cows represented the group at risk, and the incidence was higher during the rainy season (December to March), with morbidity and mortality rates of 3,2 ± 3,6%. Clinical examination revealed cows with no alterations of vital signs, behavior, visual and auditory acuities and skin sensation; but revealed ruminal hypomotility, anorexia, dehydration, flaccid para or tetraparesis with permanent recumbency, and a paretic or paralytic tongue. The diagnosis of botulism, involving type C and D toxins, was consistent with the epidemiological and clinical findings.

Dermatúnel: Modelo de ambiente interativo de aprendizagem em dermatologia

The Interactive Learning Environment (ILE) is an educational model that integrates features of 3D computer graphics and contextualization, in order to transmit a quantum of knowledge (islands of knowledge), in a precise and agile way, to people who do not know the subject. It is a model that uses multimedia resources supported by a contextualized environment to motivate the participants in the retention of knowledge. In this first release, eight relevant subjects in dermatology were addressed and implemented in the 62nd Brazilian Congress of Dermatology. The model was called Dermatúnel. In a period of four days, 3295 people visited it. The results showed that the participants were highly satisfied. The model has a great potential as an educational tool for medical training and guidance to the general public with the purpose of disease prevention.

Uma abordagem do funcionamento discursivo das construções adversativas sob a ótica da gramaticalização

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

Atlas escolar interativo: desenvolvimento de um protótipo para o quarto ciclo do ensino fundamental

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desenvolvimento do protótipo de um atlas escolar interativo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um programa interativo para estudos de fluxo de potência

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aspecto funcional da fração 11S do grão de bico (Civer arietinum L.) no quadro de hiperlipidemia em modelo animal

Pós-graduação em Alimentos e Nutrição - FCFAR

Português para todos: conteúdo educativo e interativo para a televisão universitária UNESP

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC