Navegação Ciências Exatas e da Terra por Título
Resultados 2807-2826 de 5041
-
KANDOR : um método de clustering para análise de conhecimento de dinâmicas em vizinhanças e relacionamentos online em mapeamento urbano
(2018) [Dissertação]Com o surgimento de smartphones e redes sociais baseadas em localização (LBSNs), uma vasta quantidade de dados gerados por usuários se tornou disponível para análise em diversas áreas. Uma destas é a de planejamento urbano, ... -
K-Aspects : uma abordagem baseada em aspectos para implementação de sistemas de conhecimentos
(2009) [Dissertação]Esse trabalho define K-Aspects (Knowledge Aspects), uma abordagem para a implementação de Sistemas de Conhecimento (SC) em linguagens orientadas a objetos usando o paradigma orientado a aspectos (OA) e anotações de metadados. ... -
Kitsune : a management system for advanced radio networks based on cognitive functions
(2014) [Dissertação]Considering the current underutilization of radio frequency spectrum for wireless communication, the Cognitive Radio is seen as a key concept to enable the improvement of the radio frequency spectrum utilization. The ... -
KL-cuts : a new approach for logic synthesis targeting multiple output blocks
(2010) [Dissertação]Esta dissertação introduz o conceito de cortes KL, o que permite controlar tanto o número K de entradas como o número L de saídas em uma região de um circuito. O projeto de um circuito digital pode ser dividido em duas ... -
K-teoria e o teorema de Bott
(2014) [Dissertação]O principal objetivo desta dissertação é provar o teorema da periodicidade de Bott para a K-teoria complexa. Para isso, vamos desenvolver a teoria dos fibrados vetoriais e vamos definir os grupos de K-teoria de um par de ... -
Lagartos e serpentes (Lepidosauria, Squamata) do mioceno médio-superior da Região Norte da América do Sul
(2010) [Tese]Lagartos e serpentes fósseis da América do Sul são registrados desde o Cretáceo inferior até o Pleistoceno superior-Holoceno para a Argentina, Bolívia, Brasil, Colômbia, Equador, Peru, Uruguai e Venezuela. Para o Cretáceo, ... -
LAGO : Linguagem de Acesso Global ao sistema AMPLO
(1991) [Dissertação]Este trabalho descreve LAGO - Linguagem de Acesso Global ao sistema AMPLO AMPLO é um ambiente de projeto de sistemas digitais que consiste de uma base de dados orientada a objetos e diversas ferramentas de projeto, como ... -
Lambda calculus meets machine learning
(2023) [Dissertação]Neural Networks are usually used in the context of machine learning to solve statistical problems and calculate approximations. However, its use for symbolic learning has been increasing in the past years, placing them in ... -
O Laplaciano da aplicação de Gauss de uma hipersuperfície imersa em uma variedade homogênea
(2011) [Dissertação]Um resultado bem conhecido para variedades diferenciáveis imersas no Rn+1 é que elas têm curvatura média constante se, e somente se, a aplicação de Gauss é harmônica (Teorema de Ruh-Vilms). Tal resultado é uma consequência ... -
Larch : uma alternativa para especificação formal
(1990) [Dissertação]Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis ... -
Larguras de estados de buraco nucleares em um modelo relativístico
(1989) [Tese]Desde a década passada tem havido muito interesse no tratamento relativístico de sistemas nucleares. Uma rica variedade de problemas tem sido investigada usando modelos de teoria de campos relativística que incorporam as ... -
LAR : laboratório de automação residencial para análise comparativa entre Jini e UPnP
(2003) [Dissertação]A Automação Residencial é uma área em crescimento no mercado mundial. À medida que os avanços tecnológicos são incorporados aos dispositivos pertencentes ao ambiente residencial, e que estes se tornam mais disseminados, ... -
Laser scanner terrestre na caracterização de alvos florestais
(2015) [Tese]O resultado do escaneamento de um Laser Scanner Terrestre (LST) é uma nuvem de pontos com coordenadas geométricas (X, Y, Z), informações de cor (R, G, B) provenientes de uma câmera fotográfica acoplada ao equipamento e, ... -
LDAVI : LambDa architecture driVen implementation
(2019) [Dissertação]Data has been playing an important role in many areas of society. It has massively increased among time and can be a powerful source of knowledge. The way data is handled, and this knowledge is extracted had also to be ... -
Leakage current modeling in sub-micrometer CMOS complex gates
(2007) [Dissertação]Para manter o desempenho a uma tensão de alimentação reduzida, a tensão de threshold e as dimensões dos transistores têm sido reduzidas por décadas. A miniaturização do transistor para tecnologias sub-100nm resulta em um ... -
Learning centrality measures with graph neural networks
(2019) [Dissertação]Centrality Measures are important metrics used in Social Network Analysis. Such measures allow one to infer which entity in a network is more central (informally, more important) than another. Analyses based on centrality ... -
Learning to solve NP-complete problems
(2019) [Tese]Graph Neural Networks (GNN) are a promising technique for bridging differential programming and combinatorial domains. GNNs employ trainable modules which can be assembled in different configurations that reflect the ... -
Lema de Seidenberg para computar geradores de um radical
(2011) [Dissertação]O objetivo deste trabalho e computar, em alguns casos espec cos, os geradores do radical de um ideal no anel de polinômios K[x1, ..., xn]. Para isso, utilizamos a teoria das bases de Groebner. Primeiramente, usamos o Lema ... -
Um lema do tipo Littman e estimativas do tipo Strichartz para a equação da onda
(2022) [Dissertação]Nesta dissertação, apresentamos um lema do tipo Littman que nos fornece estimativas L∞ − L∞ para a transformada de Fourier inversa do produto de uma função exponencial complexa por uma função teste. Um dos principais ... -
LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina
(2007) [Dissertação]A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar ...