The ILLTP Library for Intuitionistic Linear Logic

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems

Caleidoscópio: caixa de ativação – tecituras e texturas de um blog de educação permanente em saúde

Resumo: Este artigo traz experiência de um blog – Caleidoscópio: Caixa de Ativação – produto técnico de pesquisa de mestrado, com eixo central na Educação Permanente em Saúde em Movimento, na ótica de Emerson Merhy. A experiência na gestão da EPS e coordenação do PET-Saúde e a inserção em Núcleo Ampliado de Saúde da Família, preceptora e docente de Programa de Residência Multiprofissional, fizeram emergir desafio de criar modo de apoiar trabalhadores, em qualquer ponto da rede de atenção em saúde, em processos de formação, em atuação em equipes e junto à população. A manutenção deste formato virtual da caixa de ativação demonstra a relevância da utilização das Tecnologias da Informação e Comunicação como metodologia pedagógica criativa, acessível, de fácil e ágil difusão, reforçando o papel do SUS formador. Palavras-chave: Educação Permanente em Saúde. Atenção Primária à Saúde. Apoio Matricial. Formação em Saúde

Implicações da investigação matemática no espaço educacional com a inserção das tecnologias digitais

Este artigo tem por objetivo discutir o potencial de uma prática pedagógica que inseriu smartphones, o site de rede social Facebook, o aplicativo WhatsApp e o software GeoGebra nas aulas de Matemática. Apresentamos as contribuições teóricas de Ponte, Brocardo e Oliveira (2016), Moran e Behrens (2013) e Imbernón (2011). O presente estudo de abordagem qualitativa relata os resultados de uma pesquisa de mestrado com uma turma de nono ano, do ensino fundamental, de uma escola da rede pública no município de Rio Grande/RS, no período de março a dezembro de 2016. Adotamos para a análise dos dados o método da Análise Textual Discursiva, proposta por Moraes e Galiazzi (2011). A partir desse processo, foram elaborados três metatextos, dos quais abordaremos – Tecnologia e Matemática: um novo olhar para a Matemática que transcende os muros da escola. Dessa maneira, os avanços e potencialidades percebidas nesse estudo mostraram que as tecnologias digitais proporcionaram interações nos espaços de aprendizagem presencial e digital, ampliando as possibilidades de construção do conhecimento matemático, suscitando implicações para a prática pedagógica e novos olhares para a investigação Matemática dentro e fora da sala de aula

Neutrophils in Rheumatoid Arthritis: A Target for Discovering New Therapies Based on Natural Products

Rheumatoid arthritis (RA) is a systemic autoimmune disorder with an important inflammatory component in joints. Neutrophils are the most abundant leukocytes in inflamed joints, and play an essential role in the initiation and progression of RA. Neutrophil effector mechanisms include the release of proinflammatory cytokines, reactive oxygen and nitrogen species (ROS and RNS), and granules containing degradative enzymes, which can cause further damage to the tissue and amplify the neutrophil response. Therefore, the modulation of neutrophil migration and functions is a potential target for pharmacological intervention in arthritis. The pharmacologic treatment options for RA are diverse. The current treatments are mostly symptomatic and have side effects, high costs, and an increased risk of malignancies. Because of these limitations, there is a growing interest in the use of natural products as therapies or adjunct therapies. Herbal products have attracted considerable interest over the past decade because of their multiple beneficial effects such as their antioxidant, anti-inflammatory, antiproliferative, and immunomodulatory properties. This chapter focuses on the role of neutrophils in the pathogenesis of arthritis and the action of substances from natural products as putative antirheumatic therapies

Avaliaçao do efluente da estaçao de piscicultura da Colônia Penal Agrícola de Piraquara, Paraná

Resumo: Com o crescimento mundial da aqüicultura, são necessárias maiores investigações sobre o impacto poluidor que esta atividade pode causar ao meio ambiente. O presente estudo objetivou investigar o efeito da carga orgânica gerada após um ciclo completo de produção nos viveiros da estação de piscicultura da Colônia Penal Agrícola de Piraquara, PR e no efluente. Essa estação pode ser considerada representativa para o tipo de cultivo realizado no Estado do Paraná por utilizar o-sistema de policultivo em área de lâmina,d~água de 1 ,08ha, sendo caracterizada como estação de pequeno porte. O efluente gerado é enviado para o Reservatório da Barragem do Irai, importante fonte de abastecimento de água da cidade de Curitiba e Região Metropolitana. No solo dos viveiros, as concentrações de fósforo total (0,6g/kg), nitrogênio total (3g/kg) e carbono orgânico total (3,65%) estavam dentro dos parâmetros normais citados na literatura. No efluente dos viveiros foram determinadas as concentrações máximas de fósforo dissolvido (0,018 mg/L), nitrogênio total (7,71 mg/L), OBO (17,34 mg02lL), OQO (56,47 mg02lL) e sólidos suspensos totais (19,89 mg/L)_ Comparando-se com outros afluentes a carga de nutrientes proveniente da estação de piscicultura em questão não é significativa para amplificar o processo de eutrofização do lago receptor. Este fato se deve principalmente pelas características do solo dos viveiros e forma com que os efluentes são carreados até o corpo receptor. O presente estudo mostra que a atividade de piscicultura tem potencial como agente poluidor, sendo importante a consideração de aspectos como o tipo de construção de viveiros e canais de escoamento, formas adequadas de manejo desses viveiros; local de despejo dos efluentes e à qualidade do solo onde os viveiros serão escavados. Palavras-chave: piscicultura; meio ambiente; efluentes; poluição

Conexão entre competência em informação e as disciplinas fontes de informação e serviço de referência: um mapa conceitual

Analysis of the theoretical and practical possibilities of applying information literacy models in the disciplines Information Sources and Reference Service, based on their teaching plans. Documentary research, comparing the literature on the subject and the teaching plans of the subjects of Information Sources and Reference Service offered in the undergraduate course in Librarianship of the University of the State of Santa Catarina. The results of the documentary analysis point to a close relationship between the disciplines and the chosen model of information competence, especially with the discipline of Information Sources. Its application facilitates a learning that leads the future librarian to act as mediator in the process of developing abilities for the search, access, assimilation of information in order to solve problems and to build an environment of generation and transmission of knowledge to the community of users. It presents at the end a conceptual map developed from bibliographical and documentary research

Digital practices in primary school: is the pupil protagonist?

Much of the political, economic and theoretical emphasis on the use of digital technology in school tends to focus on the child’s agency in the learning processes. In this respect several educational policies and also some influential theories in the field of educational technology seem to assume that the use of technology at school leads to a more informal and participated learning. This paper takes into account the results of a qualitative research conducted with students attending Italian primary schools and explores their perceptions, representations and positions concerning their experience with digital media in school. On the one hand, the paper highlights how students very often perceive digital technology as a useful and fun support of their learning process at school. On the other hand it presents and discusses some problems suggested by children concerning both their digital practices at school, as well as the different ways in which students represent themselves and their relationships in the classroom when they use digital media. The paper concludes with a summary of the research results followed by the proposal of a participated teaching design informed by a dialogue with the pupils. Pratiche digitali nella scuola primaria: il bambino è protagonista?Buona parte dell’enfasi politica, economica e teorica sull’uso della tecnologia digitale a scuola è posta sull’agency del bambino nei processi di apprendimento. In questo senso diverse politiche educative e anche alcune influenti teorie elaborate nel campo delle Tecnologie dell’Educazione sembrano presupporre che l’impiego della tecnologia a scuola renda l’apprendimento più informale e partecipato. L’articolo si basa sui risultati di una ricerca qualitativa condotta con allievi frequentanti la scuola primaria allo scopo di esplorare le percezioni, le rappresentazioni e le posizioni dei bambini rispetto alla loro esperienza con i media digitali a scuola. Da un lato l’articolo mette in luce come gli allievi percepiscono in maniera piuttosto condivisa la tecnologia digitale come un utile e divertente supporto al loro apprendimento a scuola, dall’altro esso presenta e discute anche alcune criticità indicate dai bambini rispetto alle loro pratiche digitali in ambito scolastico, nonché come gli allievi rappresentano se stessi e le loro relazioni in classe quando usano i media digitali. L’articolo si conclude con una sintesi dei risultati della ricerca, seguita dalla proposta di una progettazione didattica partecipata e informata dal dialogo con i bambini

Digital practices in primary school: is the pupil protagonist?

Much of the political, economic and theoretical emphasis on the use of digital technology in school tends to focus on the child’s agency in the learning processes. In this respect several educational policies and also some influential theories in the field of educational technology seem to assume that the use of technology at school leads to a more informal and participated learning. This paper takes into account the results of a qualitative research conducted with students attending Italian primary schools and explores their perceptions, representations and positions concerning their experience with digital media in school. On the one hand, the paper highlights how students very often perceive digital technology as a useful and fun support of their learning process at school. On the other hand it presents and discusses some problems suggested by children concerning both their digital practices at school, as well as the different ways in which students represent themselves and their relationships in the classroom when they use digital media. The paper concludes with a summary of the research results followed by the proposal of a participated teaching design informed by a dialogue with the pupils.   Pratiche digitali nella scuola primaria: il bambino è protagonista? Buona parte dell’enfasi politica, economica e teorica sull’uso della tecnologia digitale a scuola è posta sull’agency del bambino nei processi di apprendimento. In questo senso diverse politiche educative e anche alcune influenti teorie elaborate nel campo delle Tecnologie dell’Educazione sembrano presupporre che l’impiego della tecnologia a scuola renda l’apprendimento più informale e partecipato. L’articolo si basa sui risultati di una ricerca qualitativa condotta con allievi frequentanti la scuola primaria allo scopo di esplorare le percezioni, le rappresentazioni e le posizioni dei bambini rispetto alla loro esperienza con i media digitali a scuola. Da un lato l’articolo mette in luce come gli allievi percepiscono in maniera piuttosto condivisa la tecnologia digitale come un utile e divertente supporto al loro apprendimento a scuola, dall’altro esso presenta e discute anche alcune criticità indicate dai bambini rispetto alle loro pratiche digitali in ambito scolastico, nonché come gli allievi rappresentano se stessi e le loro relazioni in classe quando usano i media digitali. L’articolo si conclude con una sintesi dei risultati della ricerca, seguita dalla proposta di una progettazione didattica partecipata e informata dal dialogo con i bambini