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

Ecologia humana e manejo participativo da pesca do búzio Anomalocardia brasiliana (Gmelin, 1791) (Bivalvia: Veneridae) na Reserva de Desenvolvimento Sustentável Estadual Ponta do Tubarão (RN)

Coastal and marine protected areas are created to protect habitat, avoid biodiversity loss, and to help maintain viable fisheries. However, most of these areas in tropical countries occurs in impoverished regions and directly affect the livelihood and survival of coastal communities which directly depend on fisheries and shellfisheries. Therefore, socioeconomic and conservation goals overlap. In this context, fishers should have a central place in resource management. They are critical resource users and their behavior directly affects the system. Shellfish resources are important sources of food, employment and income to fishing communities in Latin America. But despite its widespread use for food and income, there is an urgent need of more research on shellfish management. This research discusses the artisanal fisheries of Venus clam (Anomalocardia brasiliana) (Gmelin, 1791) (Bivalvia: Veneridae) in Brazil, and points out strategies to improve the system. Venus clam is a small and commonly exploited species for food and income on the Brazilian coast. This research was carried out at Ponta do Tubarão Sustainable Development Reserve (Brazilian Northeast coast), where there was no information available about who harvest, where or how much Venus clam has been harvested, despite this resource being exploited for generations. Clam fishery follows the pattern of socio-economic invisibility that general clam exploitation has in Brazil. Methods used were interviews, participatory monitoring and focal follow observation from January 2010 to May 2011. Results include: (a) the identification of shell fishers, (b) how harvest and meat processing are performed (mollusk beds, time spent, gross and net production), (c) the analisis of shell fisher income and their economic sustentability, and (d) the involvement of shell fisher families in data gathering and analyses for the first time. Based on the acquired knowledge, we propose a new institutional arrangement for clam fishery including co-management, fisheries agreement, compensatory arrangements and improvements for the Venus clam value chain such as the establishment of a minimum price for clam meat. This research also includes two other results: a general description for Venus clam harvesting in the Brazilian Northeast coast and a specific discussion about co-management of Venus clam in Brazil. The first one was possible through the meeting of several shell fisherwomen from other states during activities promoted by People of the Tides (PoT) project. PoT was an international initiative aiming to develop coastal communities that depend on mollusk for their livelihood. The second one is a comparison between PoT and Venus clam management at Pirajubaé Marine Extractive Reserve (Santa Catarina). It evaluates the success and failures of these only two initiatives involving co-management of A. brasiliana in Brazil

As estratégias de negação variantes no inglês falado: uma comparação com o português

The general aim of this work is to verify the occurence of variant forms of negation in spoken English with the purpose of making a comparative study between the English and the Portuguese languages. As for Portuguese, we used as a matter of reference a study already made on negation. As for English, we analized a corpus of the North American English variant organized by a university in the United States. This study is based on the North American Functional Linguistics theoretical perspective, which considers relevant the study of language used in real situations of communicative interaction. The data analisys proved that there is at least one form of negative variant in spoken English which is not allowed by prescriptive grammar. This phenomenon turns out to be similar to Portuguese, which includes three variant strategies. According to the data obtained, it was possible to verify that the variant strategy used in English, from a contrastive point of view, corresponds to a negative strategy ruled by Portuguese prescriptive grammar. Finally, we discussed about the different conceptions of language, grammar and teaching, giving suggestions to colaborate to a productive and reflexive teaching of first or second language

Estratégias de enfrentamento da incontinência urinária por mulheres

Este artigo é parte de uma pesquisa qualitativa mais abrangente que utilizou como referencial teórico-metodológico a Grounded Theory e o Interacionismo Simbólico, resultando no modelo teórico denominado Entre o sofrimento e a esperança: a reabilitação da incontinência urinária como componente interveniente. Com a intenção de comunicar todo o conhecimento produzido, apresenta-se parte desse modelo, referente ao processo de enfrentamento da incontinência urinária por mulheres sem perspectivas de acesso ao tratamento cirúrgico, após falha dos procedimentos conservadores. Ao inter-relacionar os componentes (categorias e subcategorias) relativos à experiência dessas mulheres, buscando compará-los e analisá-los para compreender a interação entre eles, notou-se vulnerabilidade moral e psicossocial no movimento da experiência do grupo, suscetibilizando-o a riscos à saúde e ao comprometimento da qualidade de vida. Pesquisas são necessárias para aprofundar a compreensão de experiências em que haja barreira ao tratamento cirúrgico por descrédito do profissional médico sobre sua efetividade.

Estratégias de coping desenvolvidas por cuidadores de idosos portadores de doença crônica

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

Implantação do exame do reflexo vermelho em crianças da região do Hospital das Clínicas da Faculdade de Medicina de Botucatu - SP - Brasil

Purpose: To describe the implantation of the red reflex test in 30 cities in the area of Botucatu Medical School Clinical Hospital, (480,337 inhabitants) and the creation of a reference Center for children with red reflex changes, the Red reflex screening and another Center for treatment of childhood cataract.Methods: The red reflex exam was released in 30 cities of the surrounding Botucatu area, lectures were done in the cities invited to participate by the Regional Department of Health. 109 pen torch ophthalmoscopes were distributed to the hospital maternities and primary care units. The Red reflex screening attended cases of altered or doubtful red reflex and established the diagnosis. The Center for treatment of childhood cataract performed the preoperative examination, surgical treatment and follow-up of children with cataracts.Results: After one year the Red reflex screening attended 29 children, 17 males and 12 females, mean age and pattern deviation (PD) of 10.09 +/- 20.35 months (7 days - 98 months old). 16 patients were referred with altered red reflex, with a mean age and pattern deviation of 13.17 +/- 24.14 months (7 days - 98 months old). The alteration was confirmed in all of these cases. 13 children had cataract. In 13 children with doubtful exam, with a mean age and PD of 6.29 +/- 14.46 months (7 days - 54 months old), the alteration was not confirmed in any of these patients. The incidence of negative red reflex found among newborns was 9.2/10,000 and the incidence cataracts in this same group was 7.9/10,000.Conclusion: We described the implantation of the red reflex exam in the Botucatu area, and the creation of a reference Center for eye examination of children with changes in the red reflex, and the creation of a reference Center for treatment of childhood cataract and difficulties.

Estratégias para redução de girassol ornamental para comercialização em vaso

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

Espectro e distribuição vertical das estratégias de dispersão de diásporos do componente arbóreo em uma floresta estacional no sul do Brasil

A dispersão de diásporos é um evento de elevada importância para as espécies vegetais, que dispõem de diversas estratégias para este fim. O presente estudo teve por objetivos conhecer e caracterizar o espectro das diferentes estratégias de dispersão do componente arbóreo em uma floresta estacional de Santa Maria, Rio Grande do Sul, Brasil (próximo às coordenadas 53º54'W e 29º38'S) e, a partir desses dados, investigar sua relação com os estratos verticais da floresta. Foram amostrados todos os indivíduos com perímetro à altura do peito > 15 cm, em 100 unidades amostrais de 10×10 m. A caracterização das estratégias de dispersão foi realizada por meio de observações a campo de frutos e potenciais dispersores, e consulta à bibliografia especializada. Foram amostradas 58 espécies pertencentes a 26 famílias botânicas. Dessas espécies, 74% apresentaram estratégia de dispersão zoocórica; 24%, estratégia de dispersão anemocórica e apenas Gymnanthes concolor Spreng. apresentou a estratégia autocórica. Analisando-se a proporção das estratégias de dispersão por meio da densidade relativa, verificou-se que 80% dos indivíduos são zoocóricos, 12% anemocóricos e 8% autocóricos. Para a floresta analisada foram encontradas diferenças significativas nos padrões de distribuição vertical das espécies agrupadas de acordo com a estratégia de dispersão. A zoocoria ocorreu em espécies de todos os estratos, enquanto a autocoria ficou limitada ao sub-bosque. Já a anemocoria foi mais importante entre as espécies com indivíduos emergentes.

Integração de critérios técnicos, ambientais e sociais em estudos de alternativas locacionais para implantação de aterro sanitário

A Política Nacional do Meio Ambiente tem como objetivo a conciliação do desenvolvimento econômico e social com a qualidade ambiental, e dispõe de vários instrumentos que procuram contemplara capacidade de suporte do meio. Assim, a discussão sobre a localização das atividades é uma etapa importante para a avaliação da viabilidade ambiental de um determinado empreendimento, notadamente em processos de licenciamento ambiental. O trabalho apresenta uma abordagem metodológica para integração de critérios técnicos, ambientais e sociais em estudos de alternativas de localização de aterros sanitários, com especial atenção à interação entre os aspectos ambientais e os elementos fundamentais de um projeto (a saber, requisitos locacionais e concepção tecnológica), aplicado em um estudo de caso em São Carlos (SP). Como resultados principais, destacam-se o maior foco nos impactos significativos e a possibilidade de envolvimento de segmentos importantes da sociedade previamente à elaboração dos estudos ambientais.

Estratégias de comunicação na aprendizagem de português / espanhol por teletandem

O contexto de interação de protótipo teletandem, por meio do aplicativo MSN Messenger, permite o intercâmbio de informação de linguagem em tempo real, pelo uso de voz, texto e imagens (webcam). Foi observado que, por se tratar de um ambiente de troca entre línguas próximas, alguns dos processos de aquisição demonstrados pelos aprendizes se assemelham. No entanto, a língua materna foi o fator de influência para particularidades em relação ao uso de estratégias de comunicação.

Adubação nitrogenada na implantação e na formação de pomares de caramboleira

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

Balanço do nitrogênio da uréia (15N) no sistema solo-planta na implantação da semeadura direta na cultura do milho

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

Estratégias e modos reprodutivos de anuros (Amphibia) em uma poça permanente na Serra de Paranapiacaba, Sudeste do Brasil

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

Anatomia e ultra-estrutura foliar de Cyperus maritimus Poir. (Cyperaceae): estratégias adaptativas ao ambiente de dunas litorâneas

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

Tumor hepático experimental (VX-2) em coelho: implantação do modelo no Brasil

Os estudos para a investigação de novas modalidades terapêuticas em biologia tumoral, deveriam passar por estudos experimentais prévios. Neste sentido dispõem-se hoje de uma grande variedade de modelos tumorais experimentais; em determinadas investigações faz-se necessária a adequação do modelo tumoral às necessidades biológicas, patológicas e experimentais dos estudos. Desta forma, em nosso serviço, buscávamos um modelo tumoral hepático para estudos experimentais que se adequasse às seguintes características: fácil manipulação, crescimento controlável, evolução e agressividade semelhantes aos seres humanos. Os dados da literatura nos levaram a busca do tumor hepático VX-2, em coelhos. Neste artigo discutimos as vantagens da utilização deste modelo experimental e a sua introdução em nosso país.