Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese / O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa

Die Radiologie fungiert als wesentliches Instrument in der Diagnostik und Nachsorge fibro-ossärer Läsionen (FOL). Hierbei gewinnen überlagerungsfreie, dreidimensionale Aufnahmen aufgrund der im Kopf-Halsbereich vorhandenen hohen Dichte und Vielfalt anatomischer Strukturen und der damit einhergehenden Fülle von Differentialdiagnosen an Bedeutung. Anhand der Studie wurden die röntgenologischen Charakteristika von ossären Dysplasien (OD) und ossifizierenden Fibromen (OF) im dentalen Volumentomogramm herausgestellt, sowie diagnostische und therapeutische Vorteile der dentalen Volumentomographie (DVT) im Vergleich zur Orthopantomographie (OPG) und Computertomographie (CT) ermittelt und gegenübergestellt. Zu diesem Zwecke wurden anhand eines Fragebogens 18 Röntgenbildpaare (OPG-DVT) von FOL durch zehn Betrachter auf (A) deren röntgenologische Eigenschaften sowie Metallartefakte befundet und (B) deren Abbildungsqualität von sehr gut (1) bis schlecht (5) bzw. nicht beurteilbar bewertet. Insgesamt wurden 360 Analysebögen ausgewertet. Entitäts- und röntgentechnikspezifische Unterschiede wurden statistisch ermittelt. Die Abbildungsqualitäten der DVT und CT wurden auf Grundlage einer intensiven Literaturrecherche verglichen. Die Ergebnisse dieser Studie stellten signifikante Unterschiede in den röntgenologischen Eigenschaften von OD und OF heraus. Acht von zehn Strukturen zeigten in den DVT-Aufnahmen eine signifikant bessere Abbildungsqualität im Vergleich zu den OPG-Aufnahmen. Die teilweise gravierenderen Befunde in den DVT-Aufnahmen deuteten auf eine Unterinterpretation dieser Befunde im OPG hin. Die Literaturrecherche zu Gegenüberstellungen der Abbildungsqualitäten in CT und DVT wies nahezu ausnahmslos auf eine Überlegenheit der DVT hin.

Tot i que es coneix l’involucrament de les cèl·lules pancreàtiques acinars en patologies exocrines (pancreatitis i càncer de pàncrees), la manca de models normals basats en cèl·lules ha limitat l’estudi de les alteracions que succeeixen en el programa de diferenciació pancreàtica. Hem demostrat prèviament que les cèl·lules mare embrionàries murines, que són pluripotents, poden adquirir un fenotip acinar in vitro. Això es va aconseguir, en part, amb una combinació de senyals que provenien del cultiu de pàncrees fetals que no era, però, específic del llinatge pancreàtic. L’objectiu d’aquest treball ha estat el de desenvolupar un protocol selectiu pel llinatge acinar basat en l’activació seqüencial de vies de senyalització que recapitulin el desenvolupament pancreàtic in vivo, a través de la formació definitiva de l’endoderm, l’especificació pancreàtica i acinar i l’expansió/diferenciació de progenitors acinars. El tractament de cossos embrionaris amb Activina A va promoure l’expressió de gens d’endoderm com està prèviament descrit. El tractament subsegüent amb àcid Retinoic, FGF10 i Ciclopamina, un inhibidor de la via de Hedgehog, va resutar en la inducció dels marcadors de progenitors pancreàtics Pdx1, Ptf1a i Cpa1 però també d’aquells expressats en el llinatge pancreàtic, que van ser reduïts amb la inhibició de BMPs. Les cèl·lules van ser a continuació cultivades en Matrigel utilitzant un sistema de cultiu en 3D en presència de fol·listatina, dexametasona i KGF comportant una inducció significativa dels nivells de mRNA i proteïna de marcadors acinars i una disminució de l’expressió dels de marcadors acinars. A més, es va veure que Amyl es secretava en el medi. Aquestes dades indiquen que l’activació selectiva del programa de diferenciació acinar en cèl·lules mare embrionàries es pot dur a terme mitjançant una inducció esgraonada de vies de senyalització involucrades en el desenvolupament pancreàtic exocrí proporcionant una eina potencial per estudiar la diferenciació pancreàtica i malalties relacionades amb el pàncrees. / Despite known involvement of pancreatic acinar cells in exocrine pathologies (pancreatitis and pancreatic cancer), the lack of normal cell-based models has limited the study of the alterations that occur in the acinar differentiation program. We have previously shown that mESC (murine embryonic stem cells), which are pluripotent, can acquire an acinar phenotype in vitro. This was achieved, in part, by a combination of signals provided by the culture of foetal pancreases which was, however, no specific for the acinar lineage. The aim of this work was to develop a protocol selective for the acinar lineage based on the sequential activation of signaling pathways that recapitulate pancreatic development in vivo, through the definitive endoderm formation, the pancreatic and acinar specification and the expansion/differentiation of acinar progenitors. Treatment of embryoid bodies with Activin A enhanced the expression of endodermal genes as previously described. Subsequent treatment with Retinoic acid, FGF10 and Cyclopamine, an inhibitor of the Hedgehog pathway, resulted in the enhancement of pancreatic progenitor markers Pdx1, Ptf1a and Cpa1 but also of those expressed in the hepatic lineage, which were reduced by BMPs inhibition. Cells were further cultured in Matrigel using a 3D culture system in the presence of follistatin, dexamethasone, and KGF leading to a significant enhancement of the mRNA and protein levels of acinar markers while decreasing the expression of endocrine ones. Moreover, active Amyl was released into the medium. These data indicate that the selective activation of the acinar differentiation program in ES cells can be achieved by stepwise induction of signaling pathways involved in pancreatic exocrine development providing a potential tool for studying pancreatic differentiation and pancreas-related diseases.

Die Radiologie fungiert als wesentliches Instrument in der Diagnostik und Nachsorge fibro-ossärer Läsionen (FOL). Hierbei gewinnen überlagerungsfreie, dreidimensionale Aufnahmen aufgrund der im Kopf-Halsbereich vorhandenen hohen Dichte und Vielfalt anatomischer Strukturen und der damit einhergehenden Fülle von Differentialdiagnosen an Bedeutung. Anhand der Studie wurden die röntgenologischen Charakteristika von ossären Dysplasien (OD) und ossifizierenden Fibromen (OF) im dentalen Volumentomogramm herausgestellt, sowie diagnostische und therapeutische Vorteile der dentalen Volumentomographie (DVT) im Vergleich zur Orthopantomographie (OPG) und Computertomographie (CT) ermittelt und gegenübergestellt. Zu diesem Zwecke wurden anhand eines Fragebogens 18 Röntgenbildpaare (OPG-DVT) von FOL durch zehn Betrachter auf (A) deren röntgenologische Eigenschaften sowie Metallartefakte befundet und (B) deren Abbildungsqualität von sehr gut (1) bis schlecht (5) bzw. nicht beurteilbar bewertet. Insgesamt wurden 360 Analysebögen ausgewertet. Entitäts- und röntgentechnikspezifische Unterschiede wurden statistisch ermittelt. Die Abbildungsqualitäten der DVT und CT wurden auf Grundlage einer intensiven Literaturrecherche verglichen. Die Ergebnisse dieser Studie stellten signifikante Unterschiede in den röntgenologischen Eigenschaften von OD und OF heraus. Acht von zehn Strukturen zeigten in den DVT-Aufnahmen eine signifikant bessere Abbildungsqualität im Vergleich zu den OPG-Aufnahmen. Die teilweise gravierenderen Befunde in den DVT-Aufnahmen deuteten auf eine Unterinterpretation dieser Befunde im OPG hin. Die Literaturrecherche zu Gegenüberstellungen der Abbildungsqualitäten in CT und DVT wies nahezu ausnahmslos auf eine Überlegenheit der DVT hin.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-07T15:29:04Z No. of bitstreams: 1 ADSON DIEGO DIONISIO DA SILVA - DISSERTAÇÃO PPGCC 2015..pdf: 2453030 bytes, checksum: 863c817f9714377b827d4d6fa0770c51 (MD5) / Made available in DSpace on 2018-05-07T15:29:04Z (GMT). No. of bitstreams: 1 ADSON DIEGO DIONISIO DA SILVA - DISSERTAÇÃO PPGCC 2015..pdf: 2453030 bytes, checksum: 863c817f9714377b827d4d6fa0770c51 (MD5) Previous issue date: 2015-08-31 / O reconhecimento automático de eventos de interesse em vídeos envolvendo conjuntos de ações ou de interações entre objetos. Pode agregar valor a sistemas de vigilância,aplicações de cidades inteligentes, monitoramento de pessoas com incapacidades físicas ou mentais, dentre outros. Entretanto, conceber um arcabouço que possa ser adaptado a diversas situações sem a necessidade de um especialista nas tecnologias envolvidas, continua sendo um desafio para a área. Neste contexto, a pesquisa realizada tem como base a criação de um arcabouço genérico para detecção de eventos em vídeo com base em regras. Para criação das regras, os usuários formam expressões lógicas utilizando Lógica de Primeira Ordem e relacionamos termos com a álgebra de intervalos de Allen, adicionando assim um contexto temporal às regras. Por ser um arcabouço, ele é extensível, podendo receber módulos adicionais para realização de novas detecções e inferências Foi realizada uma avaliação experimental utilizando vídeos de teste disponíveis no site Youtube envolvendo um cenário de trânsito, com eventos de ultrapassagem do sinal vermelho e vídeos obtidos de uma câmera ao vivo do site Camerite, contendo eventos de carros estacionando. O foco do trabalho não foi criar detectores de objetos (e.g. carros ou pessoas) melhores do que aqueles existentes no estado da arte, mas propor e desenvolver uma estrutura genérica e reutilizável que integra diferentes técnicas de visão computacional. A acurácia na detecção dos eventos ficou no intervalo de 83,82% a 90,08% com 95% de confiança. Obteve acurácia máxima (100%) na detecção dos eventos, quando substituído os detectores de objetos por rótulos atribuídos manualmente, o que indicou a eficácia do motor de inferência desenvolvido para o arcabouço. / Automatic recognition of relevant events in videos involving sets of actions or interactions between objects can improve surveillance systems, smart cities applications, monitoring of people with physical or mental disabilities, among others. However, designing a framework that can be adapted to several situations without an expert in the involved technologies remains a challenge. In this context, this work is based on the creation of a rule-based generic framework for event detection in video. To create the rules, users form logical expressions using firstorder logic (FOL) and relate the terms with the Allen’s interval algebra, adding a temporal context to the rules. Once it is a framework, it is extensible, and may receive additional modules for performing new detections and inferences. Experimental evaluation was performed using test videos available on Youtube, involving a scenario of traffic with red light crossing events and videos from Camerite website containing parking car events. The focus of the work was not to create object detectors (e.g. cars or people) better than those existing in the state-of-the-art, but, propose and develop a generic and reusable framework that integrates differents computer vision techniques. The accuracy in the detection of the events was within the range of 83.82% and 90.08% with 95% confidence. Obtained maximum accuracy (100 %) in the detection of the events, when replacing the objects detectors by labels manually assigned, what indicated the effectiveness of the inference engine developed for this framework.