Nota sobre tipos e espécimes de triatomíneos depositados na Coleção Entomológica do Instituto Butantan, São Paulo (Hemiptera:Reduviidae)

Esta nota relata a descrição cronológica da Coleção Entomológica do Instituto Butantan e relaciona o registro de 343 espécimens e oito exemplares tipo pertencentes à Subfamilia Triatominae depositados nesta Coleção. São representados nesta listagem 5 espécies do Gênero Panstrongylus, 18 espécies de Triatoma, 2 espécies de Psamolestes e Rhodnius

Os diferentes tipos de avaliação: avaliação formativa e avaliação sumativa

A avaliação é uma ferramenta do sistema escolar. Divide-­‐se em três grandes categorias: prognóstica, formativa e sumativa. Em estágio, o trabalho desenvolvido focou-­‐se na necessidade de avaliação formativa e no significado e influência da avaliação sumativa. A avaliação escolar define o percurso dos alunos em diferentes momentos e condiciona a forma de alunos e professores compreenderem o que é educação.

A influência de dois tipos de consórcios de fruteiras na incidência de broca do tronco (Cratosomus sp) na graviola (Annona muricata L.) (*)

O objetivo principal deste trabalho foi estudar a incidência e intensidade de ataque da praga "Broca do tronco" (Cratosomus sp.) na graviola (Annona muricataL.) em um sistema de dois tipos de consórcio de fruteiras. 0 estudo foi realizado na área do projeto "Sistema de Produção Comerciado de Fruteiras", instalado em /977 e se encontra localizado na E.E.S.T. do INPA, Km 41 da BR - 774 no Município de Manaus, foram utiliza das 6 espécies de fruteiras: graviola (Annona muricataL.), côco (Cocos nucíferaL.), pupunha (Bactris gasipaesH.B.K.), caju (Anacardium ocidentaleL.) birlbá (Rollinia mu cosa (Jacq.) Baill e o mapati (Pouroma cecropiazfoliaMart.). Os sistemas comerciados empregados são: Consórcio simples constituído pelas 6 espécies de fruteiras com 16 plantas cada subparcela e o Consórcio misto as 6 espécies de fruteiras foram plantadas al-ternadamente usando o mapati para separar as demais: neste consórcio contém o seguinte número de plantas: 8 graviolas, 8 biribás, 8 cajus, 14 cocos, 14 pupunhas e 98 mapati. 0 delineamento empregado é bloco casualizados com 20 repetições. Avaliaram-se o grau de infestação pelo inseto (Cratosomussp.) e número de plantas atacadas em cada tipo de consórcio, na qual uma planta foi considerada atacada apenas quando apresentou um ata -que ativo, ataques velhos não foram considerados. Os dados sobre o ataque foram coleta dos nos meses de junho/79 a julho/80. Concluiu-se que, apesar da hipótese de que plantas comerciadas sofreriam menor incidência de ataque em plantas de graviola nas parcelas heterogêneas nos primeiros anos do desenvolvimento da plantação. Entretanto, reconhece-se a necessidade de estudos mais especializados sobre o ciclo biológico desta pra ga e sobre diferentes tipos de comércios para fornecer recomendações mais seguras sobre quais são os sistemas de plantio economicamente mais viáveis.

Fungos do herbário do Instituto Nacional de Pesquisas da Amazônia. I. Tipos nomenclaturais da coleção Chaves Batista

É apresentada a lista de 81 tipos nomenclaturas de fungos da Coleção Chaves Batata e colaboradores depositada no Henrbário do Instituto Nacional de Pesquisas da Amazonia. Os táxons pertencem as subdivisões Ascomycotina (65) e Deuteromycotina (16), para os quais são fornecidos: nome, literatura original, número do herbário, classificação do tipo e dados de coleta.

AVALIAÇÃO DE GENÓTIPOS DE SERINGUEIRA (Hevea spp.) AO Microcyclus ulei VISANDO À IDENTIFICAÇÃO DE FONTES DE RESISTÊNCIA HORIZONTAL

Avaliou-se, sob condições controladas, a resistência de genótipos de seringueira ao mal-das-folhas. Empregaram-se dois isolados de Microcyclus ulei, pertencentes aos grupos I e II. Utilizaram-se mudas em sacos plásticos e inocularam-se folíolos nos estádios B1/B2 com uma suspensão de 2 χ 105conídios/ml. Incubaram-se as mudas em câmara úmida a 24° C por 24 horas. Determinaram-se o período latente (PL), diâmetro das lesões (DL), tipo de lesão (TL) e tipo de reação (TR). A maioria dos genótipos testados foi suscetível a pelo menos um isolado do patógeno. Os genótipos que apresentaram resistência moderada, com maior período latente e menor esporulação a um isolado, em geral, foram suscetíveis ao outro. Apenas o genotipo AM/86/271 exibiu resistência incompleta, caracterizada por maior PL, menor DL e baixa esporulação. Entretanto, o número de isolados testados não assegurou o caráter da resistência. Com base nos resultados obtidos concluiu-se que os genótipos avaliados não apresentaram perspectivas para utilização em programas de melhoramento visando resistência ao M.ulei.

Desempenho neuropsicológico de tipos de transtorno do déficit de atenção e hiperatividade (TDAH) em tarefas de atenção visual

OBJETIVO: Comparar o desempenho dos tipos de TDAH em tarefas de seletividade, sustentação e atenção alternada, considerando tempo médio de reação, número de erros por ação e número de erros por omissão em teste computadorizado de atenção visual (TAVIS-III). MÉTODOS: Cento e duas crianças e adolescentes de duas escolas particulares e uma escola pública da cidade do Rio de Janeiro, com idades entre 6 e 17 anos com diagnóstico de TDAH, segundo DSM-IV, foram submetidas ao TAVIS-III. A separação por grupos respeitou os tipos determinados por entrevista semi-estruturada (P-CHIPS), e os resultados foram comparados levando-se em consideração o fator grupo. RESULTADOS: O tipo combinado (C) revelou-se o mais comum (n = 65; 63,7%), seguido pelo predominantemente desatento (D) (n = 32; 31,4%). O tipo predominantemente hiperativo-impulsivo (HI) foi excluído das análises estatísticas em virtude da baixa freqüência. O desempenho do grupo C revelou-se inferior apenas em tarefa de atenção sustentada, no que tange ao número de erros por ação e tempo médio de reação (p < 0,05), ambos maiores quando comparados ao grupo D. CONCLUSÃO: Apenas em tarefa de atenção visual por tempo mais prolongado, o tipo combinado revelou diferenças significativas em relação ao grupo desatento.

Distorções do pensamento em pacientes deprimidos: frequência e tipos

OBJETIVO: O objetivo deste estudo foi identificar as principais distorções do pensamento (DP) em pacientes deprimidos, sua frequência, bem como se há relação delas com dados clínicos e sociodemográficos. Método: Estudo descritivo de corte transversal com 75 voluntários entre 18 e 65 anos, residentes na cidade de João Pessoa/PB. Aplicaram-se a escala SCID - I, apenas a parte dedicada ao diagnóstico de depressão, o Inventário de Beck para Depressão (IBD) e questionários para avaliação de dados clínicos e sociodemográficos. Foram pesquisadas as principais distorções do pensamento descritas na literatura. RESULTADOS: As distorções do pensamento mais prevalentes foram desesperança (69,3%), hipocondria (62,7%), ideias de fracasso (61,3%) e desejo de morte (60,0%). As DP ideias de culpa, desejo de morte e ideias suicidas foram as únicas a ocorrerem exclusivamente em pacientes com IBD > 10. Apenas 13,3% dos pacientes não apresentaram no momento da entrevista nenhuma distorção do pensamento. Houve associação estatisticamente significativa entre várias DP e variáveis clínicas e sociodemográficas (p < 0,05). CONCLUSÃO: Conclui-se que as distorções do pensamento são altamente prevalentes em indivíduos deprimidos, merecendo maior investigação por parte dos profissionais de saúde mental envolvidos no atendimento a pacientes deprimidos.

Sobrecarga de familiares de pacientes psiquiátricos: comparação entre diferentes tipos de cuidadores

OBJETIVO: Investigar a sobrecarga objetiva e subjetiva em três diferentes tipos de cuidadores. MÉTODO: A Escala de Avaliação da Sobrecarga de Familiares (FBIS-BR) foi aplicada a 30 pais, 30 irmãos e 30 cônjuges de pacientes diagnosticados com transtornos do espectro de esquizofrenia ou transtornos do humor. RESULTADOS: Sete itens apresentaram diferenças significativas entre os grupos. Os pais apresentaram maior sobrecarga do que os irmãos quanto à frequência com que preparavam as refeições dos pacientes e os aconselhavam a ocupar seu tempo livre. Sentiam também maior grau de incômodo por ter que fazer compras para eles e tinham impressão de maior peso financeiro. Comparativamente aos cônjuges, os pais tinham que lidar mais frequentemente com os comportamentos agressivos dos pacientes, tinham maiores gastos com eles e ainda eram mais preocupados com o seu futuro. Já a sobrecarga dos cônjuges foi maior do que a dos irmãos quanto à impressão de peso financeiro. CONCLUSÕES: As diferenças encontradas apontam para a necessidade de planejamento de intervenções que considerem as particularidades de cada tipo de cuidador.

Drenagem anômala total das veias pulmonares: terapêutica cirúrgica dos tipos anatômicos infracardíaco e misto

OBJETIVO: Estudar a evolução hospitalar em portadores de drenagem anômala total de veias pulmonares (DATVP), nas formas infracardíaca e mista, submetidos a tratamento cirúrgico. MÉTODOS: De 65 pacientes operados com o diagnóstico isolado de DATVP, de dezembro/1993 a março/2002, foram selecionados, retrospectivamente, 7 (10,8%) pacientes das formas mista e infradiafragmática, sendo 5 (71,4%) do sexo masculino, idades variando de 5 dias a 19 (média de 7) meses, com diagnóstico clínico feito pelo ecocardiograma bidimensional. Quatro (57,1%) pacientes apresentavam formas mistas, em um, obstrutiva intrínseca, com estenose discreta da veia inferior esquerda. Os restantes três (42,9%) apresentavam a forma infradiafragmática obstrutiva, extrínseca ao nível do diafragma. Todas as operações foram realizadas através de esternotomia mediana, sob circulação extracorpórea hipotérmica com parada circulatória total em 2 casos. RESULTADOS: Óbito hospitalar ocorreu em 1 paciente com DATVP infradiafragmática com conexão da veia vertical inferior com a veia porta. A causa mortis foi relacionada à falência de múltiplos órgãos e sistemas. O pós-operatório foi caracterizado pela presença de baixo débito cardíaco e hipertensão pulmonar em 4 (57,1%) pacientes. CONCLUSÃO: O resultado da correção cirúrgica desta anomalia está associado à morbidade e mortalidade aceitáveis, na dependência do encaminhamento e tratamento cirúrgico precoces, sem progressão do quadro de hipertensão vascular pulmonar.

Influencia de los diferentes tipos de tostados, en el contenido de ocratoxina A, en café (Coffea arabica L.) de Córdoba, Argentina

La siguiente investigación se propone estudiar la relación entre los factores que determinan los distintos tipos de tostado de café (tiempo y temperatura) y el contenido final de ocratoxina A en muestras de granos de café verdes procedentes de Brasil y comercializados en Argentina (en el periodo 2009-2010). Las Ocratoxinas químicamente son un conjunto de siete derivados de la isocumarina unidos por enlace amida a fenilalanina. La OTA incrementa la formación de aductos, induce micronúcleos, intercambio de cromátidas hermanas y mutación génica en S. tiphimurium tras activación metabólica. Está clasificada por las IARC como posiblemente carcinógeno (2B) debido a que induce adenomas renales, carcinomas en rata y ratón, si bien los datos en humanos no son concluyentes

Estudio de la formación y evolución de galaxias en diferentes tipos de sistemas. Study of the fomation and evolution of galaxies in different types of systems.

Se propone el estudio de galaxias en diferentes tipos de sistemas para lograr un mejor entendimiento de los procesos físicos que actúan en la formación y evolución de estas galaxias. En particular, se analizarán las propiedades de galaxias en cúmulos, grupos difusos, grupos compactos y grupos fósiles. Para el desarrollo de este trabajo, se utilizarán catálogos observacionales públicos y propios, simulaciones cosmológicas combinadas con modelos semianalíticos y catálogos sintéticos basados en dichas simulaciones. Entender el comportamiento de las galaxias pertenecientes a cada clase de sistema permitirá la comparación entre los distintos entornos y posteriormente, la distinción de los diferentes procesos astrofísicos que actúan.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.