Made available in DSpace on 2014-06-12T18:31:40Z (GMT). No. of bitstreams: 2 arquivo8152_1.pdf: 4130098 bytes, checksum: ac3eb02c9ad1d255696e9414c6d99666 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Esta tese, apresentada sob a forma de três artigos, teve como objetivo identificar fatores de risco para infecção relacionada à assistência à saúde (IrAS) ou infecção hospitalar (IH) em Unidade de Terapia Intensiva Pediátrica (UTIP) e estimar o efeito dos fatores no tempo até a aquisição da primeira infecção da corrente sanguínea confirmada laboratorialmente (BSI-LCBI). O primeiro artigo é uma revisão sistemática de estudos observacionais sobre fatores de risco para IH em UTI Pediátrica, publicados no período de 1987 a 2006 e referenciados no MEDLINE, LILACS, Cochrane, BDENF, portal CAPES e em listas dos autores; o segundo é um estudo prospectivo da coorte de 870 crianças hospitalizadas em UTIP clínico cirúrgica, em hospital terciário universitário que atende pacientes do sistema público de saúde (SUS) - fatores intrínsecos e extrínsecos foram investigados e mensurados até ocorrência da primeira IH; o terceiro artigo é um estudo sobre os fatores que influenciaram no tempo até a primeira BSI-LCBI. A revisão sistemática identificou 12 estudos com desfechos diferentes e os seguintes fatores de risco para a primeira infecção hospitalar: ser paciente em pós-operatório, não ser egresso da emergência, ter maior gravidade na admissão segundo PRISM (Pediatric Risk of Mortality), maior razão de procedimentos invasivos, usar antimicrobianos, usar nutrição parenteral, permanecer mais dias ou mais de 7 dias na UTIP; para BSI-LCBI: idade, síndrome genética, número elevado de transfusões de concentrado de hemácias e tempo longo de utilização de cateter arterial; para BSI-LCBI em pacientes em uso de cateter venoso central: tempo de utilização de cateter, suporte de vida com circulação extracorpórea, nutrição parenteral através do cateter, troca do cateter com fio guia e múltiplas linhas centrais; para pneumonia: idade ≤ dois meses, imunodeficiência, bloqueio neuromuscular e drogas imunossupressoras; para pneumonia associada ao respirador: síndrome genética, transporte para fora da UTIP, reintubação, broncoscopia e nutrição enteral contínua; para traqueíte: idade ≤ 28 meses, insuficiência respiratória e trauma craniano. Não foi possível realizar uma medida sumarizada devido à ausência de padronização não apenas em relação às diferentes exposições, mas também na forma de categorizá-las para a análise. No segundo artigo, um estudo de coorte realizado durante 18 meses, os fatores de risco identificados na análise de regressão logística multivariada para a primeira IH em UTIP, controlados pelo tempo de permanência, foram: idade inferior a dois anos, uso de hemoderivados, corticóides e bloqueadores H2 da acidez gástrica sendo cada um deles responsável por uma fração de risco de IH em torno de 30% entre os expostos. Cada dia de uso de ventilação mecânica esteve associado com um aumento de 16% do risco de adquirir IH. No terceiro artigo utilizou-se a análise de sobrevida para estudar os fatores que influenciaram no tempo até a primeira BSI-LCBI e no modelo multivariado de Cox permaneceram como fatores de risco a idade inferior a dois anos, a utilização de cateter venoso central, não ser o primeiro internamento e dias de ventilação. Identificar fatores de risco independentes para o desenvolvimento de IH em UTIP contribui para a maior segurança das crianças durante o tempo que necessitam de cuidados intensivos. O controle desses eventos adversos da assistência às crianças é mais factível quando as medidas para alcançá-lo são fundamentadas em recomendações feitas a partir de evidências produzidas em UTI pediátricas

One of the most substantial innovations of the Olivos Protocol (OP), which regulates Mercosul s dispute resolution system and is in force to substitute the Brasilia Protocol (BP), was the creation of the Permanent Tribunal of Revision (PTR). In fact, Assunção Tribunal constitutes the supreme jurisdictional instance on the matter of dispute resolution and interpretation of Mercosul law, reason why it can contribute for building a uniform jurisprudence on a communitary basis for the block. The PTR was provoked once as a revising instance and, although it is characterized as arbitral, it detains competences which go beyond this nature. In this context, this research aims to verify the functionality of this Tribunal, or more specifically, its pretension of functionality. For this purpose, the rules of the OP where analyzed, together with its Regulation, the decisions of the Common Market Council (CMC) that relate to the PTR and its first arbitral report. Moreover, paradigmatically, two judiciary organs where studied, according to their functionality and the nature of the international organizations in which they are responsible for the dispute resolution: the Appellate Body (ApB) of the World Trade Organization (WTO) and the Court of Justice of the European Union (CJEU). For the realization of the present research, the dialectic method was chosen for the approach. In terms of procedure, the historical, comparative and monographic methods were followed. The sources of the research were doctrine, legislation and jurisprudence. The dissertation was developed in two chapters, both divided in two parts, which were also subdivided in other two parts. In the first chapter, the subjective aspects of the PTR were analyzed the composition and the formation of the passive and active poles of the procedural relation together with its competence. The second chapter deals with the PTR arbitral report and the possible establishment of a uniform jurisprudence in Mercosul. For this reason, in a first moment, the particularities of the jurisdiction and the arbitral reports were studied so that, in a second moment, the first and only case submitted until now to the PTR could be analyzed in broader detail. In the end, it has been concluded that the pretension of functionality of the Tribunal does exist, which shall and must - be expanded. / Uma das inovações mais substanciais do Protocolo de Olivos (PO), que regula o sistema de solução de controvérsias do Mercosul e vige em substituição ao Protocolo de Brasília (PB), foi a criação do Tribunal Permanente de Revisão (TPR). Com efeito, o Tribunal de Assunção constitui a instância jurisdicional suprema em matéria de solução de controvérsias e interpretação da normativa mercosulina, que pode contribuir para a construção de uma jurisprudência uniforme e de viés comunitário para o bloco. O TPR foi acionado uma única vez, como instância de revisão, e embora seja caracterizado como arbitral, detém competências que extrapolam essa natureza. Nesse contexto, a pesquisa objetivou verificar a funcionalidade deste Tribunal ou, mais especificamente, a sua pretensão de funcionalidade. Para tanto, foram analisadas as disposições do PO, do seu Regulamento, das decisões do Conselho Mercado Comum (CMC) relativas ao TPR e o seu primeiro laudo arbitral. Além disso, paradigmaticamente, estudaram-se dois órgãos judicantes que têm se mostrado efetivos, de acordo com a natureza das respectivas organizações internacionais cuja resolução de conflitos lhes incumbe: o Órgão de Apelação (OAp) da Organização Mundial do Comércio (OMC) e o Tribunal de Justiça das Comunidades Européias (TJCE). Para a realização da pesquisa, optou-se pela utilização do método de abordagem dialético. Já no que tange aos métodos de procedimento, empregaram-se o histórico, o comparativo e o monográfico. As fontes utilizadas foram doutrinárias, legislativas e jurisprudenciais. A dissertação foi desenvolvida em dois capítulos, cada qual dividido em duas partes que, por sua vez, subdividiram-se em outras duas. No primeiro capítulo foram analisados os aspectos subjetivos do TPR a composição do órgão e a formação dos pólos passivo e ativo da relação processual e a sua competência. Superada essa primeira parte, o segundo capítulo abordou os laudos arbitrais do TPR diante da possibilidade de ser estabelecida uma jurisprudência uniforme no Mercosul. Por esse motivo, num primeiro momento, foram estudadas as particularidades da jurisdição e dos laudos arbitrais, para, posteriormente, discorrer-se acerca do único caso submetido à apreciação do TPR. Ao final, concluiu-se pela existência de pretensão de funcionalidade do Tribunal, que, no entanto, pode e deve ser ampliada.

A crescente adoção do paradigma experimental na pesquisa em Engenharia de Software visa a obtenção de evidências experimentais sobre as tecnologias propostas para garantir sua correta avaliação e para a construção de um corpo de conhecimento sólido da disciplina. Uma das abordagens de pesquisa experimental é a revisão sistemática, um método rigoroso, planejado e auditável para a realização da coleta e análise crítica de dados experimentais disponíveis sobre um determinado tema de pesquisa. Apesar de produzir resultados confiáveis, a condução de uma revisão sistemática pode ser trabalhosa e muitas vezes demorada, principalmente quando existe um grande volume de estudos a serem considerados, selecionados e avaliados. Uma solução encontrada na literatura é a utilização de ferramentas de Mineração Visual de Textos (VTM) como a Projection Explorer (PEx) para apoiar a fase de seleção e análise de estudos primários no processo de revisão sistemática. Neste trabalho foi realizada uma reengenharia de software na ferramenta PEx com dois objetivos principais: apoiar, utilizando VTM, a fase de seleção e análise de estudos primários no processo de revisão sistemática e implementar novos requisitos não-funcionais relativos à melhoria da manutenibilidade e escalabilidade da ferramenta. Como resultado foi construída uma plataforma modular para a instanciação de ferramentas de visualização e, a partir da mesma, uma ferramenta de revisão sistemática apoiada por VTM. Os resultados de um estudo de caso executado com a ferramenta mostraram que a abordagem de aplicação de técnicas VTM usada nesse contexto é viável e promissora, melhorando tanto a performance quanto a efetividade da seleção / The increasing adoption of the experimental paradigm in Software Engineering research aims at obtaining experimental evidence of the proposed technologies to ensure their proper evaluation and to build a solid body of knowledge for the discipline. One approach of experimental research is the systematic review, a rigorous, auditable and planned method to carry out the collection and analysis of experimental data available on a particular research topic. Despite producing reliable results, conducting a systematic review can be a cumbersome and often lengthy process, especially when a large volume of studies is to be considered, selected and evaluated. One solution found in the literature is the use of Visual Text Mining (VTM) tools such as the Projection Explorer (PEx) to support the selection and analysis of primary studies in the systematic review process. In this work a software re-engineering was performed on PEx with two main goals: to support, using VTM, the stage of selection and analysis of primary studies in the systematic review process and to implement new non-functional requirements related to improving the maintainability and scalability of the tool. The results were the building of a modular platform for instantiating visualization tools and, from it, the instantiation of a systematic review tool supported by VTM. The results of a case study carried out with the tool showed that the VTM approach used in this context is feasible and promising, improving both performance and the effectiveness of selection

Uma importante etapa do desenvolvimento de software é o de levantamento e análise dos requisitos. Porém, durante esta etapa podem ocorrer inconsistências que prejudicarão o andamento do projeto. Além disso, após finalizada a especificação, o cliente pode querer acrescentar ou modificar as funcionalidades do sistema. Tudo isso requer que a especificação do software seja revista, mas isso é altamente custoso, tornando necessário um processo automatizado para simplificar tal revisão. Para lidar com este problema, uma das abordagens utilizadas tem sido o processo de Revisão de Crenças, juntamente com o processo de Verificação de Modelos. O objetivo deste trabalho é utilizar o processo de revisão de crenças e verificação de modelos para avaliar especificações de um projeto procurando inconsistências, utilizando o fragmento universal da Computation Tree Logic (CTL), conhecido como ACTL, e revisá-las gerando sugestões de mudanças na especificação. A nossa proposta é traduzir para lógica clássica tanto o modelo (especificação do software) quanto a propriedade a ser revisada, e então aplicar um resolvedor SAT para verificar a satisfazibilidade da fórmula gerada. A partir da resposta do resolvedor SAT, iremos gerar sugestões válidas de mudanças para a especificação, fazendo o processo de tradução reversa da lógica clássica para o modelo original. / The objective of this work is to join the proccess of belief revision and model checking to evaluate project specifications looking for inconsistences, using the universal fragment of Computation Tree Logic (CTL), known as ACTL, and revise them generating changes suggestions in the specification. Our approach will translate the model (software specification) and the property to be revised to classical logic. Then we will apply a SAT solver to verify the generated formulas satsifability. From the SAT solver answer, we will create changes valid suggestions to the specification making the translation back from classical logic to the original model. To generate the changes suggestions, we proposed a framework based on heuristics where different approaches and decisions can be implemented, aiming a better application for each project scope. We implemented a basic heuristic as an example and used it to test the implementation to analise the proposed algorithm

Neste trabalho apresentamos uma implementação de revisão de crenças baseada em comparação de modelos (estados) em uma ferramenta de verificação automática de sistemas de estados finitos. Dada uma fórmula (na lógica CTL) inconsistente com o modelo do sistema, revisamos esse modelo de tal maneira que essa fórmula temporal se torne verdadeira. Como temos oito operadores temporais (AG, AF, AX, AU, EG, EF, EX e EU), foram criados algoritmos especícos para cada um deles. Como o modelo do sistema deriva do seu código na linguagem SMV, a sua revisão passa obrigatoriamente por mudanças na sua descrição. A nossa implementação contempla três tipos de mudanças: acréscimo de linhas, eliminação de linhas e mudança no estado inicial, sendo que as duas primeiras provocam modicações nas transições entre os estados que compõe o modelo. Alguns testes foram aplicados para comprovar a contribuição da revisão de crenças (revisão de modelos) como ferramenta de auxílio ao usuário durante o processo de modelagem de sistemas. / In this work we present an implementation of belief revision based on comparison of models (states) in a tool for automatic verication of nite state systems. Given a formula (in the language of CTL) inconsistent with the model of the system, we revise this model in such way that the temporal formula becomes valid. As we have eight temporal operators (AG, AF, AX, AU, EG, EF, EX and EU), specic algorithms for each one of them have been created. As the model of the system is related with its code in SMV language, its revision forces changes in its description. Our implementation contemplates three types of change: addition of lines, elimination of lines and change in the initial state, where the rst two cause modications in the transitions between the states of the model. Some tests were applied to prove the contribution of the belief revision (model revision) as aid-tool to the user during the process of systems modeling.

Verificação de modelos é uma das mais eficientes técnicas de verificação automática de sistemas. No entanto, apesar de poder lidar com verificações complexas, as ferramentas de verificação de modelos usualmente não fornecem informação alguma sobre como reparar inconsistências nestes modelos. Nesta dissertação, mostramos que abordagens desenvolvidas para a atualização de modelos CTL inconsistentes não são capazes de lidar com todos os tipos de alterações em modelos. Introduzimos então o conceito de revisão de modelos: uma abordagem baseada em revisão de crenças para o reparo de modelos inconsistentes em um contexto estático. Relacionamos nossa proposta com trabalhos clássicos em revisão de crenças. Definimos um operador de revisão de modelos e mostramos que este obedece postulados de racionalidade clássico de revisão de crenças. Propomos um algoritmo de revisão com base no algoritmo utilizado pela abordagem de atualização de modelos. Discutimos sobre problemas e limites do algoritmo proposto, e mostramos que essa estratégia de adaptação não é uma solução apropriada. / Model checking is one of the most robust techniques in automated system verification. But, although this technique can handle complex verifications, model checking tools usually do not give any information on how to repair inconsistent system models. In this dissertation, we show that approaches developed for CTL model update cannot deal with all kinds of model changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context. We relate our proposal to classical works on belief revision. We define an operator for model revision and we show that it obeys the classical rationality postulates of belief revision. We propose an algorithm for model revision based on the algorithm used by the model update approach. We discuss problems and limitations of our proposed algorithm and show that this strategy of adaptation is not an appropriate solution.

Introdução: A litíase biliar e o consumo de álcool são as etiologias mais frequentes para pancreatite aguda (PA), sendo reportadas como responsáveis por cerca de 40 e 30% dos casos respectivamente. No entanto, no Rio Grande do Sul - BR observamos uma frequência de pancreatite aguda biliar (PAB) em torno de 77% dos casos e pancreatite aguda alcoólica (PAA) em apenas 8%. Além da possibilidade de diferenças próprias da nossa população, é possível que a incidência de PAB esteja aumentando. Objetivo: Estimar as frequências globais da PAB, PAA e dos casos considerados pancreatite aguda idiopática (PAI) em estudos publicados de 2006 a 18 de outubro de 2017. Comparar as frequências de PAB, PAA e PAI entre os estudos que realizaram revisão de prontuários individuais dos pacientes ou foram prospectivos e os que utilizaram apenas os códigos de alta hospitalar para o diagnóstico etiológico. Comparar as frequências de PAB, PAA, PAI de acordo com região geográfica da população dos estudos. Métodos: Uma revisão sistemática de estudos observacionais em Inglês, Espanhol e Português, de 2006 a 18 de outubro de 2017 foi realizada. Metanálise pelo modelo de efeitos randômicos foi utilizada para calcular as frequências de PAB, PAA e PAI globais e nos subgrupos (diagnóstico por código da alta hospitalar, diagnóstico por avaliação individualizada do prontuário do paciente, estudos dos EUA, estudos da América Latina, estudos da Europa e estudos da Ásia). Resultado: Foram incluídos quarenta e seis estudos representando 2.341.007 casos de PA em 36 países. A estimativa global para a pancreatite aguda biliar (PAB) foi 41,6% (IC 95% 39,2-44,1), seguido por PA alcoólica (PAA) com 20,5% (IC 95% 3 16,6-24,6) e PA idiopática (PAI) em 18,3% (IC 95% 15.1 - 21,7). Em estudos com diagnóstico etiológico por código de alta a PAI foi a mais frequente com 37,9% dos casos (IC 95% 35,1 - 40,8). Nos estudos que revisaram os prontuários dos pacientes a PAB foi a mais frequente com 46% (IC 95% 42,3 - 49,8). Nos EUA a PAI foi a mais frequente com 34,7% (IC 95% 32,3 - 37,2). Na América Latina a estimativa de PAB foi de 68,5% (IC de 95% 57,8 - 78,3). Na Europa, na Ásia e em 1 estudo Australiano, a etiologia mais frequente foi a PAB em 41,3% (IC 95% 37,9 - 44,7), 42% (IC 95% 28,8 - 55,8) e 40% (IC 95% 36,8 - 43,2), respectivamente. Na África do Sul 1 artigo apresentou frequência de 70,2% (IC de 95% 64,5 - 75,4) para PAA. Conclusão: A PAB é a etiologia mais prevalente da PA, sendo 2 vezes mais frequente que o segundo lugar. A América Latina apresenta uma frequência para PAB muito maior do que o resto do mundo. Grandes estudos populacionais que utilizam diagnósticos codificados e estudos americanos apresentam elevadas taxas de PA sem classificação. A importância do diagnóstico etiológico consiste no tratamento da causa para prevenção da recorrência. / Background: Gallstones and alcohol are the most common etiology of acute pancreatitis (AP) and is reported to account for about 40% and 30% of cases respectively. However, in Rio Grande do Sul - BR, we observed a frequency of acute biliary pancreatitis (ABP) around 77% of cases and alcoholic acute pancreatitis (AAP) in only 8%. Besides the possibility of differences of our own population, it is possible that the incidence of PAB is increasing. Objective: estimate the global frequency of ABP, AAP and the cases considered idiopathic pancreatitis (IAP) in published studies from 2006 to October 18 2017. Compare the frequencies for ABP, AAP and AIP among studies that performed review of individual records of patients or collected data prospectively and those using only the hospital discharge diagnostic codes for etiologic diagnosis. Compare the frequency of ABP, AAP and IAP by geographic region. Methods: A systematic review of observational studies in English, Spanish and Portuguese, from 2006 to October 18, 2017 was done. Random-effects metaanalysis was used to assess the frequency of biliary, alcoholic and idiopathic AP worldwide and to perform the analysis of 6 subgroups (hospital discharge coded diagnosis, individual patient chart review, studies from US, Latin America, Europe and studies from Asia). Results: Forty-six studies were included representing 2.341.007 cases of PA in 36 countries. The overall estimate for ABP was 41.6% (95% CI 39.2 to 44.1), followed by AAP with 20.5% (95% CI 16.6 to 24 6) and IAP with 18.3% (95% CI 15.1 - 21.7). In studies with hospital discharge coded diagnosis IAP was the most frequent with 37.9% (95% CI 35.1 to 40.8). In studies with individual patient chart review PAB 5 was more frequent with 46% (95% CI 42.3 to 49.8). In US studies IAP was he most frequent etiology with 34.7% (95% CI 32.3 to 37.2). In Latin America PAB was estimated 68.5% of the cases (95% CI 57.8 to 78.3). In Europe, Asia and one Australian study, the most frequent cause was the ABP in 41.3% (95% CI 37.9 to 44.7), 42% (95% CI 28.8 to 55.8) and 40% (95% CI 36.8 to 43.2) of the cases respectively. One study from South Africa had AAP in 70.2% (95% CI 64.5 to 75.4) of the cases. Conclusion: Gallstones are the main etiology of AP globally, twice as frequent as the second one. Latin America has a frequency for ABP much higher than the rest of the world. Large population studies using coded diagnoses and American studies show high rates IAP. The importance of the etiological diagnosis resides in treating the cause in order to prevent recurrence.

Objetivo: Identificar, através de revisão sistemática, o efeito de perturbações da ritmicidade circadiana sobre a saúde humana e, através de experimento animal, o efeito sobre a vulnerabilidade a eventos estressantes. Métodos: Estudo 1: Foi conduzida uma revisão sistemática da literatura nas bases de dados eletrônicas PubMed, Scopus, Embase e LILACS utilizando os termos “social AND (jet lag OR jetlag)”. A busca foi finalizada em 22 de agosto de 2016, resultando em 26 artigos incluídos na revisão. Estudo 2: Camundongos Balb/c foram submetidos a um protocolo de estresse crônico moderado (CMS), sozinho ou precedido de 4 ciclos claro-escuro de período encurtado (10h claro, 10h escuro), e foram comparados a animais submetidos apenas ao encurtamento do ciclo claro-escuro ou a nenhuma intervenção. Em um primeiro experimento, os animais dos grupos estressados foram submetidos a 3 semanas de CMS e foram avaliados parâmetros dos ritmos de atividade-repouso e temperatura central e o ganho de peso corporal. Em um segundo experimento, o período de CMS foi reduzido para 2 semanas e foram analisados parâmetros metabólicos séricos, teste de preferência por solução de sacarose (para aferir comportamento tipo-depressivo) e teste claro-escuro (para aferir comportamento tipo-ansioso). Resultados: Estudo 1: Os desfechos de saúde e comportamento associados ao jetlag social são diversos (epilepsia, sintomas psiquiátricos menores, agressão e problemas de conduta, transtornos de humor, prejuízo cognitivo, uso de substâncias, risco cardiometabólico e perfil endócrino adverso), mas há grande variabilidade de metodologias e populações e grande risco de viés dos estudos analisados. Estudo 2: A exposição ao CMS precedida de ciclos claro-escuro encurtados resultou em aumento na amplitude do ritmo de temperatura, mantido mesmo após o término do protocolo de estresse, e redução do peso corporal no período do CMS, havendo uma clara associação entre estes desfechos. Não foram observadas alterações significativas no comportamento, possivelmente devido a problemas metodológicos, nem nos parâmetros metabólicos avaliados. Conclusões: Este trabalho contribui para o conhecimento sobre o papel da cronorruptura na vulnerabilidade ao desenvolvimento de patologias através de revisão das evidências associadas a um modelo de cronorruptura em humanos (jetlag social) e de demonstração de evidências em um modelo animal (encurtamento do ciclo claro-escuro). As evidências relacionadas ao jetlag social devem ser avaliadas com cautela devido à heterogeneidade metodológica e alto risco de viés, sendo necessários estudos longitudinais e com metodologia padronizada para estabelecer associações mais confiáveis. Em animais, a vulnerabilidade ao estresse parece ser aumentada pelo encurtamento do ciclo claro-escuro no que se refere a ritmos circadianos e metabolismo, mas resta determinar o efeito sobre comportamentos tipo-depressivo e tipo-ansioso. Apoio: FIPE/HCPA, CNPq e CAPES. / Objective: Identify through a systematic review the effect of circadian disturbances on human health and, through animal experimentation, the effect on vulnerability to stress. Methods: Study 1: A systematic review of the literature was conducted on PubMed, Scopus, Embase and LILACS electronic databases using the terms "social AND (jet lag OR jetlag)". The search was finalized on August 22, 2016, resulting in 26 research articles included in the review. Study 2: Balb/c mice were exposed to a chronic mild stress (CMS) protocol alone or preceded by 4 shortened light-dark cycles (10h light, 10h dark) and compared to animals exposed only to the shortened light-dark cycles or to no intervention. In one experiment, animals of stressed groups were exposed to 3 weeks of CMS for evaluation of rest-activity and core body temperature rhythms and body weight gain. In a second experiment, CMS was shortened to 2 weeks and serum metabolic parameters, sucrose preference test (to assess depressive-like behavior) and black and white test (to assess anxiety-like behavior) were evaluated. Results: Study 1: The health and behavioral outcomes associated to social jetlag are diverse (epilepsy, minor psychiatric symptoms, aggression and conduct problems, mood disorders, cognitive impairment, substance use, cardiometabolic risk and adverse endocrine profile), but there is great variation of methodologies and populations as well as high risk of bias in analyzed studies. Study 2: Exposure to CMS preceded by shortened light-dark cycles resulted in increased amplitude of core body temperature rhythm, sustained even after the end of CMS, and reduced body weight during CMS, with a clear association between these two outcomes. No significant alterations were observed either in behavior, likely due to methodological issues, or metabolic parameters assessed. Conclusions: This work contributes to the knowledge on the role of chronodisruption on the vulnerability to development of pathologies through a review of evidences associated with a model of chronodisruption in humans (social jetlag) and demonstration of evidences from an animal model of chonodisruption (shortened light-dark cycles). The evidence regarding social jetlag must be analyzed with caution due to methodological heterogeneity and high risk of bias of articles reviewed and longitudinal studies with standardized methodology are needed to establish reliable associations. In animals, it seems that vulnerability to stress is increased by the light-dark cycle shortening in what refers to circadian rhythms and metabolism, but the effect on depressive-like and anxiety-like behaviors remains to be determined. Financial support: FIPE/HCPA, CNPq and CAPES.

Orientador: Paulo José Fortes Villas Boas / Resumo: O impacto das doenças infecciosas na pessoa idosa extrapola os domínios clínico, econômico e social: à redução da sobrevida somam-se o elevado risco de declínio funcional, maior demanda por cuidados e significativa piora na qualidade de vida. Intervenções que possam prevenir infecções em idosos ou reduzir seu impacto podem agregar valor à estratégias bem embasadas, como a vacinação, nutrição e medidas de higiene e proteção à saúde. Os probióticos são microrganismos vivos que, quando consumidos em quantidades suficientes, conferem benefícios à saúde do hospedeiro. Evidências sugerem que o consumo de probióticos possa associar-se à redução na duração média e frequência dos episódios de infecções de vias aéreas superiores e diarreias infecciosas, porém os resultados de ensaios clínicos realizados com idosos são controversos. Esta revisão sistemática e metanálise objetiva avaliar a efetividade e segurança dos probióticos na prevenção de infecções em idosos. Utilizando estratégias sistematizadas, buscou-se por ensaios clínicos disponíveis na literatura até 30 de Dezembro de 2016, que tivessem incluído preferencialmente pessoas com mais de 65 anos, comparando o uso de probióticos com placebo. Dois autores acessaram de modo independente a elegibilidade e qualidade dos estudos, e extraíram os dados utilizando os procedimentos metodológicos recomendados pela Colaboração Cochrane. Os principais desfechos de eficácia incluíram a prevenção de infecções, a qualidade de vida, a mortalidade... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

O complexo Micrurus lemniscatus compreende as formas atualmente consideradas subespécies de M. lemniscatus (Linnaeus, 1758): M. l. lemniscatus, M. l. carvalhoi, M. l. diutius, M. l. helleri e M. l. frontifasciatus. Neste trabalho, dados morfológicos merísticos, biométricos, hemipenianos, cranianos e os padrões de coloração cefálico e corporais destes táxons são confrontados entre si e com as demais cobras-corais de tríadas repectivamente simpátricas, utilizando métodos comparativos e estatísticos uni e multivariados. As séries-tipo destes táxons são revisadas, compreendidas dentro do contexto histórico e discutidas, e são propostas algumas mudanças objetivando uma maior estabilização da nomenclatura. Os resultados encontrados sugerem a obsolescência do arranjo taxonômico assumido até o momento para estes táxons e evidenciam problemas na tipificação de dois dos táxons estudados. É sugerida a inclusão de dois exemplares adicionais de Micrurus lemniscatus examinados por Linnaeus na série-tipo desta espécie, um dos quais apresenta características que o acomodam mais perfeitamente na descrição original da espécie. Portanto é sugerida a adoção deste exemplar como lectótipo desta espécie, em detrimento do exemplar considerado lectótipo de M. lemniscatus até o presente momento. É também evidenciada a improbabilidade dos exemplares lineanos de M. lemniscatus serem oriundos do Brasil, e é sugerida a alteração da localidade-tipo desta espécie. As evidências encontradas possibilitam a caracterização e delimitação das formas conhecidas até o presente momento como M. l. carvalhoi, M. l. diutius e M. l. frontifasciatus, e é sugerida a desambiguação destas formas de M. lemniscatus, conferindo-lhes status específico pleno, sob as denominações M. carvalhoi, M. diutius e M. frontifasciatus, respectivamente. É evidenciada a existência, dentre os parátipos originalmente designados para a espécie M. carvalhoi, de dois espécimes atribuíveis a outras espécies de cobras-corais de tríadas, não condizentes com a variação demonstrada na amostra desta espécie analisada neste trabalho. É, portanto, sugerida a remoção destes exemplares da série-tipo desta espécie. Além deste problema na tipificação, um novo táxon, Micrurus sp., é reconhecido e caracterizado dentre os exemplares atribuídos a Micrurus carvalhoi no extremo nordeste do Brasil. Não foram encontradas evidências que suportem a separação de M. lemniscatus da forma então conhecida como M. l. Helleri, e é sugerida a sinonimização de ambas sob o epíteto Micrurus lemniscatus. / The Micrurus lemniscatus species complex comprises the forms currently considered subspecies of M. lemniscatus (Linnaeus, 1758): M. l. lemniscatus, M. l. carvalhoi, M. l. diutius, M. l. helleri and M. l. frontifasciatus. In this work, morphological data (biometric, meristic, hemipenial, cranial and cephalic and body colour patterns) of these taxa are confronted with each other and with other sympatric triadal coral snakes species, using comparative methods and univariate and multivariate statistics. The type-series of all these taxa are reviewed, understood within the historical context and discussed, and some changes are suggested, aiming to further stabilize the nomenclature. The results suggest the obsolescence of the taxonomic arrangement made so far for these taxa and reveal problems in typification of two of the taxa studied. It is suggested to include two additional specimens of Micrurus lemniscatus examined by Linnaeus in the type-series of this kind, one of which has characteristics which fit more precisely in the original description of the species. It is therefore suggested the adoption of this specimen as lectotype of this species, rather than the considered the lectotype of M. lemniscatus to date. It also highlighted the unlikelihood of Linnaean specimens of M. lemniscatus have a Brazilian origin, and is suggested to change the type locality of this species. The evidence found allow the characterization and delimitation of forms known to date as M. l. carvalhoi, M. l. diutius and M. l. frontifasciatus, and it is suggested the disambiguation of these forms of M. lemniscatus, giving them full specific status under the names M. carvalhoi, M. diutius and M. frontifasciatus, respectively. Among the paratypes originally designated for the species M. carvalhoi, there are two specimens attributable to other species of triadal coral snakes, not consistent with the variation of the species shown in the sample analyzed in this study. It is therefore suggested the removal of these specimens of the type-series of this species. In addition to this typification problem, a new taxon, Micrurus sp., is recognized and featured among the specimens until now assigned to Micrurus carvalhoi in extreme northeastern Brazil. No evidence was found to support the splitting of M. lemniscatus form then known as M. l. helleri, and it is suggested the synonymization of both under the Micrurus lemniscatus epithet