Navegação Ciências Exatas e da Terra por Título
Resultados 4835-4854 de 5041
-
UbiPri : middleware para controle e gerenciamento de privacidade em ambientes ubíquos
(2015) [Tese]Atualmente em vários países já existem mais dispositivos e meios de comunicações que habitantes e a medida que a tecnologia avança a troca de informação tende a aumentar exponencialmente. Com isso, ganha destaque a área ... -
Uncovering bugs in P4 programs with assertion based verification
(2018) [Dissertação]Recent trends in software-defined networking have extended network programmability to the data plane through programming languages such as P4. Unfortunately, the chance of introducing bugs in the network also increases ... -
Understanding and automating application-level caching
(2017) [Dissertação]Latency and cost of Internet-based services are encouraging the use of application-level caching to continue satisfying users’ demands, and improve the scalability and availability of origin servers. Application-level ... -
Understanding and improving GPUs’ reliability combining beam experiments with fault simulation
(2021) [Tese]Graphics Processing Units (GPUs) have moved from being dedicated devices for multi media and gaming applications to general-purpose accelerators, employed in High Perfor mance Computing (HPC) and safety-critical applications, ... -
Understanding and recovering architecture rules
(2021) [Tese]Software architecture is fundamental to clearly present the most important structures, roles, and rules of a software, which collectively are used to guide software design and implementation. Thus, the existence of reliable ... -
Understanding sample generation strategies for learning heuristic functions in classical planning
(2023) [Dissertação]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 ... -
Understanding stance classification of BERT models : an attention-based mechanism
(2022) [Dissertação]BERT produces state-of-the-art solutions for many natural language processing tasks at the cost of interpretability. As works discuss the value of BERT’s attention weights to this purpose, we contribute with an attention-based ... -
Understanding the impact of teams in modern code review
(2021) [Dissertação]Modern code review (MCR) is a practice in which code reviews are performed in a tool supported, asynchronous, and lightweight way and is widely adopted in the software in dustry. MCR provides improved code quality and fewer ... -
Unicidade de buracos negros estáticos
(2021) [Dissertação]O presente trabalho tem como objetivo demonstrar o teorema de unicidade para buracos negros estáticos (n + 1)-dimensionais. Para isso demonstramos um resultado mais geral, obtido por Sophia Jahns no artigo “Photon sphere ... -
Unicidade de soluções positivas para equações semi-lineares elípticas
(2006) [Dissertação]Este trabalho tem por objetivo estudar a unicidade de soluções positivas para o problema de valores de fronteira dado por: Laplaciano de u mais f(u) igual a zero e u>0, na bola de raio r em Rn, e u=0 na fronteira desta ... -
Unicidade sobre um problema inverso de vibrações
(1993) [Dissertação]A estrutura de uma construção de N-andares é modelada como um sistema massa-mola amortecimento com de N-graus de l iberdade através da equação diferencial matricial M x + C x + K x = F. São estabelecidas condições para a ... -
Unidade de entrada de dados com minicassete
(1976) [Dissertação]Apresenta-se uma maneira econômica de aquisição de armazenamento de dados digitais, no qual a unidade de entrada é um teclado e o meio de armazenamento fita cassete comum. A gravação é feira pelo processo PHASE ENCODING ... -
Unidade temática sobre poluição atmosférica : uma estratégia baseada em metodologias ativas para o Ensino Médio
(2020) [Dissertação]A Química, geralmente, vem sendo apresentada de forma puramente teórica e superficial, como algo que se deve memorizar e que não se aplica a diferentes aspectos da vida cotidiana. Em contrapartida, estudar Química Ambiental ... -
Unificação semântica de esquemas conceituais de banco de dados geográficos
(2004) [Dissertação]A modelagem conceitual de banco de dados geográficos (BDG) é um aspecto fundamental para o reuso, uma vez que a realidade geográfica é bastante complexa e, mais que isso, parte dela é utilizada recorrentemente na maioria ... -
Unraveling the influence of the CeO2-x (0 ≤ x ≤ 0.5) properties on the reactivity of the Cu-CeO2-x nanoparticles towards the CO oxidation reaction
(2019) [Dissertação]Carbon monoxide is a poisonous, odor- and colorless gas, formed by incomplete combustion of organic matter, such as fossil fuels and vegetation. An efficient way to reduce the emission of this gas in the atmosphere is by ... -
Unrestricted dynamic Gröbner Basis algorithms
(2019) [Dissertação]Gröbner bases are a necessary tool to solve many problems involving polynomial ideals, including applications such as nonlinear polynomial system solving, integer programming and cryptography. Traditional Gröbner Basis ... -
Unsupervised learning strategies for automatic generation of personalized summaries
(2019) [Tese]It is relatively hard for readers to deal objectively with large documents in order to absorb the key idea about a particular subject. In this sense, automatic text summarization plays an important role by systematically ... -
Unveiling fluorine abundances in the Milky Way
(2018) [Dissertação]The element Fluorine has several proposed sites of nucleosynthesis, and the main discussed ones are: (1) stars of the Asymptotic Giant Branch, (2) Wolf-Rayet stars and (3) Type II Supernovae. Observational measurements of ... -
Unveiling the interplay between timeliness and scalability in cloud monitoring systems
(2016) [Tese]Cloud computing is a suitable solution for professionals, companies, research centres, and institutions that need to have access to computational resources on demand. Nowadays, clouds have to rely on proper management of ... -
A Urbanização no litoral norte do estado do Rio Grande do Sul : contribuição para a gestão urbana ambiental do município de Capão da Canoa
(2007) [Tese]As relações entre sociedade e natureza ampliaram-se nas últimas décadas, devido, entre outros fatores, ao fenômeno de urbanização. No Litoral Norte do Estado do Rio Grande do Sul esse processo impulsionou a diversificação ...