Navegação Ciências Exatas e da Terra por Título
Resultados 2153-2172 de 5041
-
Exploring programmable networks for effective pushback-based detection and mitigation of DDoS attacks
(2022) [Dissertação]Network infrastructure and servers are targets of different types of attacks daily. One of the most common and devastating types is Distributed Denial of Service (DDoS) attacks, which aim at exhausting resources and directly ... -
Exploring the properties of pure and Mo-doped Ta3N5 : a theoretical and experimental investigation
(2023) [Tese]Addressing global warming necessitates collective actions such as adopting more sustainable lifestyles, transition to renewable energy and support international climate policies. In the field of renewable energy, utilizing ... -
Exploring the use of multiple modular redundancies for masking accumulated faults in SRAM-based FPGAs
(2014) [Tese]Soft errors in the configuration memory bits of SRAM-based FPGAs are an important issue due to the persistence effect and its possibility of generating functional failures in the implemented circuit. Whenever a configuration ... -
Extending FreeRTOS to support dynamic and distributed task mapping in multiprocessor systems
(2017) [Dissertação]Embedded Multiprocessor systems are a reality, in both industry and academia sectors. Such devices offer parallel processing capabilities, aiming at covering the increasing requirements of complex applications. Underlying ... -
Uma extensão à teoria da confiabilidade em Geodésia
(2020) [Tese]Há mais de meio século, a teoria da confiabilidade introduzida por Baarda (1968) tem sido usada como uma prática padrão para o controle de qualidade em geodésia. Embora atenda o rigor matemático e os pressupostos da ... -
Extensão de uma linguagem de consulta para documentos xml com características de tempo e de versão
(2002) [Dissertação]O uso da XML (Extensible Markup Language) em aplicações envolvendo bancos de dados vem se consolidando nos últimos dois anos. Os principais sistemas de gerenciamento de banco de dados já incorporam essa tecnologia em suas ... -
Extensão de um modelo OO formal com aspectos temporais
(2000) [Dissertação]Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo ... -
Extensão do framework geoframe para modelagem de processos de análise geográfica
(2003) [Dissertação]As particularidades encontradas na modelagem de bancos de dados geográficos tornam necessário o desenvolvimento de modelos específicos. A totalidade dos modelos desenvolvidos oferece recursos para a modelagem de aspectos ... -
Extensão do método de monitoração da espessura óptica para uma classe de fluidos não-newtonianos
(2007) [Dissertação]O monitoramento das constantes ópticas, índice de refração e espessura óptica, durante a confecção de filmes finos, é essencial para desenvolvimento de suas aplicações em diversas áreas. No monitoramento da variação de ... -
Extensão do padrão ODMG para suportar tempo e versões
(2002) [Dissertação]Este trabalho apresenta uma extensão do padrão ODMG para o suporte ao versionamento de objetos e características temporais. Essa extensão, denominada TV_ODMG, é baseada no Modelo Temporal de Versões (TVM), que é um modelo ... -
Uma extensão do protocolo CAN para aplicações críticas em sistemas distribuídos
(2006) [Dissertação]Sistemas computacionais de tempo-real são tipicamente construídos a partir de primitivas de sincronização que fornecem uma noção do tempo no objetivo de coordenar a execução múltiplos fluxos de instruções em um processador. ... -
Extensão do suporte para simulação de defeitos em algoritmos distribuídos utilizando o Neko
(2006) [Dissertação]O estudo e desenvolvimento de sistemas distribuídos é uma tarefa que demanda grande esforço e recursos. Por este motivo, a pesquisa em sistemas deste tipo pode ser auxiliada com o uso de simuladores, bem como por meio da ... -
Uma extensão do teorema de Gauss-Bonnet para superfícies com fins do tipo cone
(1999) [Dissertação]Neste trabalho definimos as superfícies com fins do tipo cone com coeficiente a 2 >/ 0, uma classe de superfícies completas, não compactas e bem comportadas no infinito, e apresentamos uma extensão do Teorema de Gauss-Bonnet ... -
Extensões de Galois de anéis comutativos de característica p
(1991) [Dissertação]Nesta dissertação estudamos extensões pn-cíclicas de um anel comutativo R de característica p, com p primo, via vetores de Witt. Além disso damos uma descrição Z/pnZ - módulo Tn(Z/pn Z, R) das classes de isomorfismos de ... -
Extensões de Ore e álgebras de Hopf fracas
(2017) [Tese]Extensões de Ore são anéis de polinômios, denotados por R[x o &], nos quais a variável x e os elementos de R não comutam necessariamente. Algebras de Hopf fracas são algebras que tamb em são coálgebras e satisfazem um ... -
Extensões de Ore : ideais maximas e outras questões
(2003) [Tese]Sejam R um anel, σ um automorfismo e d umaσ derivação de R. A presente tese discorre sobre diferentes tipos de problemas em skew anel de polinômios. Obtivemos condições necessárias e suficientes para a existência de ideais ... -
Extensões essenciais cíclicas de modulos simples sobre anéis de operadores diferenciais
(2017) [Tese]Um anel noetheriano S satisfaz a propriedade ( ) se todas as extens~oes essenciais c clicas de S-m odulos simples s~ao artinianas. An eis noetherianos com esta propriedade veri cam a Conjectura de Jacobson, que e um famoso ... -
Extensões Galois-Azuma-Hopf parciais
(2010) [Tese]Nesta tese apresentamos condições necessárias e suficientes para que o skew anel de grupo parcial, R*xG, e o produto smash parcial, A#xH, sejam separáveis sobre seus respectivos centros em termos de separabilidade, ... -
Extensões galoisianas comutativas
(2021) [Dissertação]Neste trabalho estendemos a teoria de Galois desenvolvida sobre corpos para extensões de anéis comutativos. Os principais resultados são relacionados a separabilidade de extensões de anéis comutativos, bem como a definição ... -
Extensões normalizantes de anéis
(2000) [Tese]Nesta tese, estudamos extensões normalizantes de anéis. Mais precisamente, R é um anel semiprimo e S é uma extensão normalizante livre de torção de R. Estendemos os resultados obtidos para bimódulos em [M. Ferrero, Closed ...