Exact and Earth Sciences: Recent Submissions
Now showing items 1-10 of 4875
-
Estratigafia e proveniência U-Pb de zircão detrítico, Greenstone Belt de Crixás, Goiás - Brasil : rochas siliciclásticas mineralizadas a ouro vs. estéreis
(2020) [Dissertation]O Greenstone Belt de Crixás, localizado em um terreno Arqueano-paleoproterozóico dentro da Província Neoproterozóica do Tocantins, hospeda um importante depósito de Au do Brasil. A estratigrafia é composta por komatiítos ... -
Análise sísmica integrada para caracterização de reservatórios - um exemplo no membro Mucuri, Aptiano da Bacia do Espírito Santo
(2020) [Dissertation]O Pré-Sal brasileiro é atualmente uma das fronteiras exploratórias da nova década. Localizado nas bacias da margem leste brasileira e depositado no aptiano, demandará cada vez mais dados e modelos para essa próxima fase ... -
Automated social engineering attacks using ChatBots on professional social networks
(2023) [Dissertation]The grow of the internet and social networks had intensified online human interactions, raising the risk of cyberattacks. Social Engineering uses the same baseline as scams and fraud, but using technology as a support to ... -
Evolução mineralógica da porção norte do ofiolito Bossoroca, terreno São Gabriel
(2020) [Dissertation]O Ofiolito Bossoroca pertence ao Complexo Bossoroca e é limitado pelo Complexo Cambaí, ao oeste, e pela Formação Campestre, ao leste. A obducção deste corpo ocorreu durante o Neoproterozoico, de oeste para leste. Este ... -
Curios - a web of types
(2023) [Dissertation]Ever since their inception lambda calculus and type theory have been such an influence in the design of modern programming languages so much so that even programming lan guages outside of the functional circle have adopted ... -
Modelling behaviour diffusion with dynamic logic
(2023) [Dissertation]This work is about agents and their adoption of behaviors in a given network. The work has focused on defining models and policies related to the "diffusion of information" not through agent reasoning but through a force ... -
Understanding sample generation strategies for learning heuristic functions in classical planning
(2023) [Dissertation]Heuristic functions are essential in guiding search algorithms to solve planning tasks. We study the problem of learning good heuristic functions for classical planning tasks with neural networks based on samples that are ... -
Simulação numérica de um conversor de energia das ondas do mar em energia elétrica do tipo galgamento considerando dados realísticos de estado de mar encontrados na costa do município de Rio Grande
(2023) [Dissertation]Dentre as diversas fontes de energia renovável que podem ser exploradas, têm-se a energia contida nas ondas do mar, que pode ser extraída por meio de dispositivos conversores, como o do tipo Galgamento. Seu princípio ... -
Decomposição arbórea e localização de autovalores em grafos
(2023) [Dissertation]A busca por autovalores de matrizes associadas a grafos é um passo fundamental da Teoria Espectral de Grafos. Neste trabalho, abordamos um Algoritmo de Localização de Autovalores em grafos que utiliza como parte da entrada ... -
Conjuntos autossimilares, conjuntos autoafins e suas teorias de dimensão
(2023) [Dissertation]No presente trabalho faremos um estudo dos conjuntos autossimilares, dos conjuntos autoafins e suas teorias de dimensão, dando ênfase nas dimensões de Hausdorff e de Minkowski desses conjuntos. Apresentamos o conceito de ...