FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / O esgotamento das reservas de energia nÃo-renovÃvel, como petrÃleo, carvÃo e gÃs natural, tÃm estimulado a busca por fontes alternativas geradoras de energia. Neste contexto, o pinhÃo manso (Jatropha curcas L.) tem recebido especial atenÃÃo por parte dos pesquisadores, devido à presenÃa de grande quantidade de Ãleo em suas sementes, que pode ser convertida em biodiesel. O objetivo deste trabalho foi investigar o comportamento de genes relacionados ao metabolismo de lipÃdios durante os processos de desenvolvimento e germinaÃÃo da semente de pinhÃo manso. Para quantificar com exatidÃo os nÃveis de expressÃo gÃnica por RT-qPCR foi feita uma seleÃÃo entre nove candidatos a genes de referÃncia. Nossos resultados mostraram que na anÃlise de sementes em desenvolvimento, os genes GAPDH, UCP, ACT11, PP2A2 e CICLOF foram os mais estÃveis. Para as sementes em germinaÃÃo, os genes considerados mais estÃveis foram EF1-α, PP2A2, GAPDH, PUB3 e ACT11. Para validar nossos resultados com genes de referÃncia, foi utilizado o padrÃo de expressÃo do gene que codifica a proteÃna oleosina no qual foi observado que o mesmo foi similar aos observados em artigos cientÃficos pesquisados, indicando que os genes de referÃncia estavam apropriados para normalizaÃÃo dos dados de RT-qPCR. ApÃs obtenÃÃo desses dados, efetuou-se um estudo da expressÃo por RT-qPCR de 20 genes envolvidos com o metabolismo de lipÃdios. Nossos resultados revelaram que os genes oleosina, β-cetoacil-ACP Sintase I e II, tioesterase A e triacilglicerol lipase I, bem como outros genes envolvidos na biossÃntese de lipÃdios, alcanÃaram altos nÃveis de expressÃo no desenvolvimento da semente. Os genes acil-CoA sintetase, tiolase e triacilglicerol lipase II, relacionados com a degradaÃÃo de lipÃdios apresentaram altos nÃveis de transcritos na germinaÃÃo da semente. Os dados obtidos neste trabalho contribuem para o entendimento das vias metabÃlicas estudadas, fornecendo subsÃdios para a produÃÃo, via engenharia genÃtica, de variedades melhoradas do pinhÃo manso. / The depletion of non-renewable energy such as oil, coal and natural gas, has stimulated the search for alternative sources of energy generation. In this context, physic nut (Jatropha curcas L.) has received special attention from researchers due to the presence of large amounts of oil in its seeds that can be converted into biodiesel. The objective of this study was to investigate the behavior of genes related to lipid metabolism during the development and germination of physic nut seeds. To accurately quantify the levels of gene expression by RT-qPCR, a selection of nine candidates for reference genes was performed. Our results showed that the GAPDH, UCP, ACT11, PP2A2 and CICLOF were the most stable genes during the development of the seeds. In germinating seeds, EF1-α, PP2A2, GAPDH, PUB3 and ACT11 were considered the most stable genes. To validate our findings with reference genes, we used the expression profile of the gene encoding the oleosin protein in which that was similar to those observed in the literature evaluated, indicating that they were suitable reference genes for data normalization by RT-qPCR. After obtaining these data, we performed a gene expression study by RT-qPCR of 20 genes involved in lipid metabolism. Our results revealed that the oleosin, β-ketoacyl-ACP Synthase I and II, thioesterase A and triacylglycerol lipase I genes, as well as other genes involved in lipid biosynthesis, achieved high expression levels in developing seeds. Acyl-CoA synthetase, thiolase and triacylglycerol lipase II, genes related to the degradation of lipids, showed high transcript levels in germinating seeds. The data obtained in this study contribute to the understanding of the metabolic pathways studied, providing subsidies for production of improved varieties of physic nut via genetic engineering.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / A Biblioteca Digital de Teses e DissertaÃÃes (BDTD) proporcionou maior visibilidade e agilidade no processo de divulgaÃÃo das teses e dissertaÃÃes. Dessa forma, o caminho de divulgaÃÃo das teses e dissertaÃÃes requer uma sÃrie de cuidados por parte das instituiÃÃes responsÃveis, entre eles a qualidade da normalizaÃÃo cientÃfica. Este estudo tem como objetivo geral analisar o estado da normalizaÃÃo das teses e dissertaÃÃes disponibilizadas na BDTD da Universidade Federal do Cearà (UFC) para, em seguida, apontar possÃveis soluÃÃes com o intuito de elevar a qualidade da normalizaÃÃo desses trabalhos. Para tanto, considerou-se tambÃm o uso dos serviÃos de normalizaÃÃo oferecidos pela UFC. Como embasamento teÃrico, foram utilizadas obras de estudiosos acerca de comunicaÃÃo cientÃfica, bibliotecas digitais e normalizaÃÃo, pareceres, portarias e regulamentos da UFC, FundaÃÃo CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior (CAPES), Instituto Brasileiro de InformaÃÃo em CiÃncia e Tecnologia (IBICT), entre outros. Optou-se pela realizaÃÃo de pesquisa descritiva, dividida em duas etapas: a primeira, com abordagem quantitativa, tratou-se da anÃlise da normalizaÃÃo de teses e dissertaÃÃes publicadas na BDTD/UFC segundo as normas da ABNT e do IBGE, utilizando um instrumento para avaliaÃÃo composto por variÃveis que representam as exigÃncias dessas normas; a segunda etapa procurou descobrir, por meio da aplicaÃÃo de um questionÃrio aos autores e orientadores, os fatores que levaram as teses e dissertaÃÃes ao nÃvel de normalizaÃÃo apresentado na primeira etapa e aborda os dados quantitativa e qualitativamente. As conclusÃes mostraram que as teses e dissertaÃÃes da BDTD/UFC apresentam falhas na normalizaÃÃo e sugerem que essas sÃo motivadas pela indefiniÃÃo das normas que devem ser utilizadas e pelo desconhecimento dos serviÃos de apoio à normalizaÃÃo do trabalho acadÃmico. Restou claro que nÃo hÃ, por parte dos programas de pÃs-graduaÃÃo da UFC, uma real consciÃncia das implicaÃÃes da visibilidade proporcionada pela BDTD aos trabalhos ali disponibilizados. / The Biblioteca Digital de Teses e DissertaÃÃes (BDTD) has provided greater visibility and agility in the process of publishing thesis and dissertations. Thus, the way of publishing thesis and dissertations require a series of cautions from the responsible institutions, among which the scientific standardization quality. The general aim of this study was to analyze the standardization state of thesis and dissertations available at the Universidade Federal do Cearà (UFC) BDTD in order to suggest possible solutions aiming to improve the standardization quality of such works. For doing so, it was also considered the use of standardization services offered by UFC. As a theoretical basis we used reference books on scientific communication, digital libraries and standardization reports decrees of UFC, FundaÃÃo CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior (CAPES), Instituto Brasileiro de InformaÃÃo em CiÃncia e Tecnologia (IBICT), among others. We decided for accomplishing a descriptive research divided into two stages: the first one used the quantitative approach. It dealt with the standardization of thesis and dissertation analysis published in the DLTD/UFC according to the ABNT and IBGE standards, using an evaluation tool composed by variables which represent the demanding of such standards. On the second stage we tried to find out, through the use of a questionnaire, directed to the authors and advisors, the factors which took the thesis and dissertations to the level of standardization presented previously. This stage approaches the data quantitative as well as qualitatively. The conclusions show that the DLTD/UFC thesis and dissertations present standardization faults and suggest that such faults have been motivated by indefinition of standards that must be used and that it doesnât occur due to non-acquaintance with support service to academic work standardization. It remained clear that there is not, on behalf of the post graduation programs of UFC, a real consistence of visibility implications provided by the DLTD to the works they have available to the public.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O termo Teoria da Prova foi introduzido por Hilbert para identificar o estudo sobre provas formais. Pesquisas nessa Ãrea podem ser classificadas em: a) Teoria da Prova Redutiva ou Interpretacional, cujo objetivo à demonstrar, entre outras coisas, a consistÃncia da matemÃtica utilizando somente mÃtodos finitistas, e b) Teoria da Prova Estrutural, onde caracterÃsticas estruturais das provas formais sÃo investigadas por meio de sistemas dedutivos como DeduÃÃo Natural e CÃlculo de Sequentes. Prawitz, por meio da Teoria da Prova, definiu uma Teoria dos Significados para constantes logicas e propÃs regras esquemÃticas de introduÃÃo e de eliminaÃÃo para caracterizar os conectivos proposicionais. Schroeder-Heister estendeu as definiÃÃes de Prawitz e formalizou o uso de regras como hipÃteses, tornando possÃvel a utilizaÃÃo de cÃlculos para suposiÃÃes separados de cÃlculos para constantes lÃgicas. NÃo estamos interessados na investigaÃÃo de regras esquemÃticas para dar significado a constantes lÃgicas. Pretendemos, na verdade, definir procedimentos de normalizaÃÃo esquemÃticos, baseados em tais regras esquematicas, com objetivo de identificar condiÃÃes suficientes para um sistema ser normalizÃvel. Tais resultados sÃo pertinentes à Teoria Abstrata da Prova, termo usado para identificar o estudo das condiÃÃes abstratas e gerais para a anÃlise prova-teÃrica de sistemas formais. Teoria Abstrata da Prova nÃo estuda cÃlculos lÃgicos especÃficos, mas famÃlias de cÃlculos instÃncias de regras esquemÃticas. A nossa proposta, portanto, baseia-se em regras esquemÃticas que podem ser instanciadas por regras concretas, em particular, por regras que introduzem operadores modais. Provamos, tambÃm, Teoremas de NormalizaÃÃoo Fraca e Forte para sistemas esquemÃticos definidos em funÃÃoo de nossas regras esquemÃticas, obtemos condiÃÃes suficientes para que um sistema instÃncia destas regras seja normalizÃvel, definimos um procedimento que normaliza deduÃÃes concretas e comparamos nossas provas de normalizaÃÃo esquemÃtica com provas de normalizaÃÃo para sistemas definidos na literatura. / The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics of the formal proofs are investigated by means of deductive systems as Natural Deduction and Sequent Calculus. Prawitz through Theory Proof set a Theory of Meaning for constants logics and proposed schematic introduction rules and elimination to characterize the propositional connectives. Schroeder-Heister settings Prawitz extended and formalized the use of rules as hypotheses, making possible the use of separate calculations for assumptions of calculations for logical constants. We are not interested in the investigation of schematic rules to give meaning to the logical constants. We intend to actually set schematic standardization procedures, based on such schematic rules? Attic, in order to identify sufficient conditions for a system to be normalizÃvel. These results are relevant to the Abstract Theory of Evidence, a term used to identify the study of the conditions abstract and general to the proof-theoretical analysis of formal systems. Abstract Theory of Evidence do not study specific logical calculations, but families of calculations instances of rules schematic. Our proposal is therefore based on rules schematic rules can be instantiated for concrete, in particular, by introducing rules modal operators. We prove also theorems NormalizaÃÃoo Weak and Strong systems defined in schematic funÃÃoo schematic of our rules, we obtain sufficient conditions for a system instance is normalizÃvel these rules, we define a procedure that normalizes deductions concrete evidence and compare our standards with evidence schematic standards for systems defined in the literature.