Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal. / In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.

Nesse trabalho apresentaremos alguns exemplos clássicos que evidenciam as diferenças entre a geometria Riemanniana e a semi-Riemanniana (Lorentziana) quanto à completude de geodésicas. Para isso, revisitaremos conceitos básicos de Geometria, seguido de uma introdução aos espaços vetoriais de Lorentz e um estudo inicial sobre o grupo de Lorentz. Nos capítulos finais discutiremos sobre completude de geodésicas e como se distanciam do caso Riemanniano. / In this work we intend to present some classical examples that display the differences between Riemannian and semi-Riemannian (Lorentzian) geometry in relation to the completeness of geodesics. For this, we will revisit basic Geometry concepts followed by an introduction to the vector spaces of Lorentz and a simple study on the Lorentz group. In the final chapters we will discuss about the completeness of geodesics and how it distances itself from the Riemannian case.

On analyse des problèmes de completude géodésique par rapport aux metriques méromorphes sur variétés complexes. Les métriques sont des formes symmetriques doublement covariantes et les géodésiques sont immersions de surfaces de Riemann dans le variétes.

Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal. / In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.

Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de reduto vero-funcional de funções modais, bem como a composição de funções modais em termos destes redutos. / We present some aspects of the theory of modal functions, which is the modal correlate of the theory of truth-functions. While the formulas of classical propositional logic express truth-functions, the formulas of modal propositional logic (S5) express modal functions. We generalize some theorems of the theory of truth-functions to the modal case; in particular, we show the functional completeness of some sets of modal functions and define a (new) notion of truth-functional reduct of modal functions, as well as the composition of modal functions in terms of such reducts.

COSTA, Eurinardo Rodrigues. Convexidade Monofônica em Classes de Grafos. 2016. 54 f. Dissertação (mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2016. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-03-22T19:02:45Z No. of bitstreams: 1 2016_dis_ercosta.pdf: 1611008 bytes, checksum: 4733a7aa273b8370fc06126fca5dc15a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-05-12T11:58:17Z (GMT) No. of bitstreams: 1 2016_dis_ercosta.pdf: 1611008 bytes, checksum: 4733a7aa273b8370fc06126fca5dc15a (MD5) / Made available in DSpace on 2016-05-12T11:58:17Z (GMT). No. of bitstreams: 1 2016_dis_ercosta.pdf: 1611008 bytes, checksum: 4733a7aa273b8370fc06126fca5dc15a (MD5) Previous issue date: 2016 / In this work, we study some parameters of monophonic convexity in some classes of graphs and we present our results about this subject. We prove that decide if the $m$-interval number is at most 2 and decide if the $m$-percolation time is at most 1 are NP-complete problems even on bipartite graphs. We also prove that the $m$-convexity number is as hard to approximate as the maximum clique problem, which is, $O(n^{1-varepsilon})$-unapproachable in polynomial-time, unless P=NP, for each $varepsilon>0$. Finally, we obtain polynomial time algorithms to compute the $m$-convexity number on hereditary graph classes such that the computation of the clique number is polynomial-time solvable (e.g. perfect graphs and planar graphs). / Neste trabalho, estudamos alguns parâmetros para a convexidade monofônica em algumas classes de grafos e apresentamos nossos resultados acerca do assunto. Provamos que decidir se o número de $m$-intervalo é no máximo 2 e decidir se o tempo de $m$-percolação é no máximo 1 são problemas NP-completos mesmo em grafos bipartidos. Também provamos que o número de $m$-convexidade é tão difícil de aproximar quanto o problema da Clique Máxima, que é, $O(n^{1-varepsilon})$-inaproximável em tempo polinomial, a menos que P=NP, para cada $varepsilon>0$. Finalmente, apresentamos um algoritmo de tempo polinomial para determinar o número de $m$-convexidade em classes hereditárias de grafos onde a computação do tamanho da clique máxima é em tempo polinomial (como grafos perfeitos e grafos planares).

Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de reduto vero-funcional de funções modais, bem como a composição de funções modais em termos destes redutos. / We present some aspects of the theory of modal functions, which is the modal correlate of the theory of truth-functions. While the formulas of classical propositional logic express truth-functions, the formulas of modal propositional logic (S5) express modal functions. We generalize some theorems of the theory of truth-functions to the modal case; in particular, we show the functional completeness of some sets of modal functions and define a (new) notion of truth-functional reduct of modal functions, as well as the composition of modal functions in terms of such reducts.

Submitted by Liliane Ferreira (ljuvencia30@gmail.com) on 2018-07-17T13:12:41Z No. of bitstreams: 2 Dissertação - Thairiane Guimarães Oliveira - 2018.pdf: 3935527 bytes, checksum: b2d64a8b08632bbd37415a47356f6a37 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-07-17T13:45:37Z (GMT) No. of bitstreams: 2 Dissertação - Thairiane Guimarães Oliveira - 2018.pdf: 3935527 bytes, checksum: b2d64a8b08632bbd37415a47356f6a37 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-07-17T13:45:37Z (GMT). No. of bitstreams: 2 Dissertação - Thairiane Guimarães Oliveira - 2018.pdf: 3935527 bytes, checksum: b2d64a8b08632bbd37415a47356f6a37 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-05-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / INTRODUCTION: The oral polio vaccine (OPV) can cause a vaccine-derived poliovirus, which is a deterrent to the complete eradication of the disease. Globally, there is a gradual replacement of OPV by the poliomyelitis vaccine (VIP). Brazil has adopted an IPV-OPV mixed schedule since 2012, but no study was conducted to evaluate and compare the completeness and delay of vaccinations before and after the replacement of the oral vaccination with the inactivated poliovirus vaccination. OBJECTIVES: To compare the completion and delay of vaccination of children under 12 months of age before and after the introduction of the VIP vaccine in routine vaccination. METHODOLOGY: Before-and-after study with two live birth cohorts in the city of Goiânia, Goiás. A cohort of live births in 2010 received the vaccine regimen exclusively with OPV, and another cohort of live births in 2014 received the mixed vaccine regimen IPV-OPV. Two sources of nominal secondary data were used: the Ambulatory Care Control System, which contains data on vaccines and the Live Birth Information System, which contains data on the child and the mother. Completeness of vaccination schedule was defined as the receipt of three valid doses from the primary series up to 12 months of age. Vaccination delay was defined as the dose of vaccine given >28 days after the recommended age. The SICAA and SINASC databases were linked by deterministic linkage to identify the records of the same child. The follow-up time for each child was 12 months. RESULTS: A total of 23,335 children were included, 9,563 of the cohort born in 2010 and 13,772 of the cohort born in 2014. The proportion of children who received the IPV-OPV mixed regimen presented 78.0% of vaccine completeness, while the proportion of children who received only OPV schedule presented 72.4% of vaccine completeness (p=0.000). A higher proportion of vaccine delay of the 1st dose was observed: 6.9% and 5.8%, the second dose was 25.4% and 18.2%, and the third dose was 31.1% and 19.3% for the IPV-OPV and exclusively VOP vaccination schemes, respectively. Children who received the IPV-OPV mixed schedule had a highest median age at all doses, more days of delay and longer intervals between doses, when compared to children who received the OPV schedule. CONCLUSION: Children who received the VIP-VOP mixed schedule presented higher vaccine delay, but a greater proportion of vaccine completeness when compared to the children who received only OPV schedule. Efforts to achieve at-risk groups with delays are still needed despite improvements in the completeness of polio vaccines. / INTRODUÇÃO: A vacina oral contra poliomielite (VOP) pode provocar uma poliovirose derivada da vacina, o que constitui um empecilho à completa erradicação da doença. Mundialmente, está ocorrendo uma substituição gradual da VOP pela vacina injetável contra poliomielite (VIP). O Brasil adotou um esquema misto VIP-VOP desde 2012, mas nenhum estudo foi realizado para avaliar e comparar a completude e atraso aos esquemas antes e após a substituição da vacinação oral pela injetável. OBJETIVOS: Comparar a completude e o atraso vacinal de crianças menores de doze meses de idade antes e após a introdução da vacina VIP na vacinação de rotina. METODOLOGIA: Estudo tipo antes-e-depois da introdução da vacina injetável contra poliomielite, com duas coortes de nascidos vivos no município de Goiânia, Goiás. Uma coorte de nascidos vivos em 2010 recebeu o esquema vacinal exclusivamente com VOP e, outra coorte de nascidos vivos em 2014 recebeu o esquema vacinal misto VIP-VOP. Foram utilizadas duas fontes de dados secundários nominais: o do Sistema de Controle do Atendimento Ambulatorial (SICAA) que contém dados de vacinas e o Sistema de Informação de Nascidos Vivos (SINASC) que contém dados sobre a criança e a mãe. Completude do esquema vacinal foi definido como o recebimento de três doses válidas da série primária até os 12 meses de idade. Atraso vacinal foi definido como a dose de vacina administrada >28 dias após a idade recomendada. As bases de dados SICAA e SINASC foram vinculadas por meio de linkage determinístico para identificação dos registros de mesma criança. O tempo de seguimento de cada criança foi de 12 meses. RESULTADOS: Foram incluídas 23.335 crianças, sendo 9.563 da coorte de nascidos em 2010 e 13.772 da coorte de nascidos em 2014. A proporção de crianças que recebeu o esquema misto VIP-VOP apresentou 78,0% de completude vacinal, enquanto que a proporção de crianças que recebeu o esquema exclusivamente VOP apresentou 72,4% de completude vacinal (p=0.000). Ainda se observou maior proporção de atraso vacinal da 1º dose: 6,9% e 5,8%, 2° dose: 25,4% e 18,2% e, 3° dose: 31,1% e 19,3% para os esquemas vacinais VIP-VOP e exclusivamente VOP, respectivamente. As crianças que receberam o esquema misto VIP-VOP apresentaram maior mediana da idade em todas as doses, mais dias de atraso e maiores intervalos entre as doses, quando comparado com as crianças que receberam o esquema exclusivamente VOP. CONCLUSÃO: Crianças que receberam o esquema misto VIP-VOP apresentaram maior atraso vacinal, mas maior proporção de completude vacinal quando comparadas com as crianças que receberam o esquema exclusivamente VOP. Apesar de melhorias alcançadas na completude das vacinas contra a poliomielite, ainda são necessários esforços para atingir grupos de risco com atrasos.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2015-10-27T14:37:06Z No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-29T10:04:41Z (GMT) No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-29T10:04:41Z (GMT). No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-04-10 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work, we present some related results, especially the properties algoritimics and of complexity of a product of graphs called complementary prism. Answering some questions left open by Haynes, Slater and van der Merwe, we show that the problem of click, independent set and k-dominant set is NP-Complete for complementary prisms in general. Furthermore, we show NP-completeness results regarding the calculation of some parameters of the P3-convexity for the complementary prism graphs in general, as the P3-geodetic number, P3-hull number and P3-Carathéodory number. We show that the calculation of P3-geodetic number is NP-complete for complementary prism graphs in general. As for the P3-hull number, we can show that the same can be efficiently computed in polynomial time. For the P3-Carathéodory number, we show that it is NPcomplete complementary to prisms bipartite graphs, but for trees, this may be calculated in polynomial time and, for class of cografos, calculating the P3-Carathéodory number of complementary prism of these is 3. We also found a relationship between the cardinality Carathéodory set of a graph and a any Carathéodory set of complementary prism. Finally, we established an upper limit calculation the parameters: geodetic number, hull number and Carathéodory number to operations complementary prism of path, cycles and complete graphs considering the convexities P3 and geodesic. / Neste trabalho, apresentamos alguns resultados relacionados, principalmente às propriedades algorítmicas e de complexidade de um produto de grafos chamado prisma complementar. Respondendo algumas questões deixadas em aberto por Haynes, Slater e van der Merwe, mostramos o problema de clique, conjunto independente e conjunto com kdominantes é NP-Completo para prismas complementares em geral. Além disso, mostramos resultados de NP-completude em relação ao cálculo de alguns parâmetros da convexidade P3 para o prisma complementar de grafos em geral, como o número P3, número envoltório P3 e número de Carathéodory. Mostramos que o cálculo do número P3 é NPcompleto para o prisma complementar de grafos em geral. Já para o número envoltório P3, mostramos que o mesmo pode ser calculado de forma eficiente em tempo polinomial. Para o número de Carathéodory, mostramos que é NP-completo para os prismas complementares de grafos bipartidos, mas que para árvores, este pode ser calculado em tempo polinomial e ainda, para classe dos cografos, o cálculo do número de Carathéodory do prisma complementar desses é 3. Encontramos também, uma relação entre a cardinalidade de um conjunto de Carathéodory de um grafo qualquer e um conjunto de Carathéodory do seu prisma complementar. Por fim, estabelecemos um limite superior do cálculo dos parâmetros: número geodésico, número envoltório e número de Carathéodory para operações prisma complementar de grafos caminho, ciclos e completos considerando as convexidades P3 e geodésica.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / In this work, we study some parameters of monophonic convexity in some classes of graphs and we present our results about this subject. We prove that decide if the $m$-interval number is at most 2 and decide if the $m$-percolation time is at most 1 are NP-complete problems even on bipartite graphs. We also prove that the $m$-convexity number is as hard to approximate as the maximum clique problem, which is, $O(n^{1-varepsilon})$-unapproachable in polynomial-time, unless P=NP, for each $varepsilon>0$. Finally, we obtain polynomial time algorithms to compute the $m$-convexity number on hereditary graph classes such that the computation of the clique number is polynomial-time solvable (e.g. perfect graphs and planar graphs). / Neste trabalho, estudamos alguns parÃmetros para a convexidade monofÃnica em algumas classes de grafos e apresentamos nossos resultados acerca do assunto. Provamos que decidir se o nÃmero de $m$-intervalo à no mÃximo 2 e decidir se o tempo de $m$-percolaÃÃo à no mÃximo 1 sÃo problemas NP-completos mesmo em grafos bipartidos. TambÃm provamos que o nÃmero de $m$-convexidade à tÃo difÃcil de aproximar quanto o problema da Clique MÃxima, que Ã, $O(n^{1-varepsilon})$-inaproximÃvel em tempo polinomial, a menos que P=NP, para cada $varepsilon>0$. Finalmente, apresentamos um algoritmo de tempo polinomial para determinar o nÃmero de $m$-convexidade em classes hereditÃrias de grafos onde a computaÃÃo do tamanho da clique mÃxima à em tempo polinomial (como grafos perfeitos e grafos planares).