Navegação Ciências Exatas e da Terra por Título
Resultados 2812-2831 de 5041
-
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 ... -
Levantamento gravimétrico do litoral médio do estado do Rio Grande do Sul: parte central emersa da bacia de Pelotas
(2017) [Dissertação]A origem e evolução da Bacia de Pelotas está diretamente relacionada com os processos tectônicos, que por sua vez, condicionam vários processos sedimentares. Assim, o estudo da compartimentação morfoestrutural é extremamente ... -
Levantamento gravimétrico na Jazida Carbonífera Morungava-Chico Lomã, RS
(2016) [Tese]A presente dissertação foi desenvolvida conforme a norma 103 do Programa de Pós Graduação em Geociências da Universidade Federal do Rio Grande do Sul, que prevê a submissão da dissertação de mestrado em forma de artigo, ... -
A levels-of-precision approach for physics-based soft tissues modeling
(2015) [Dissertação]Computational simulation of surgical environments have been widely used usually for trainings, improving essential skills and minimizing errors in surgical procedures. As these environments are always looking for a more ... -
Leveraging relations among objects to improve the performance of information-centric networks
(2016) [Tese]Information-Centric Networking (ICN) is a communication paradigm created to align the network infrastructures to the needs of content distribution systems. ICN employs routing and caching mechanisms tailored to fulfill ... -
Lidando com recursos escassos e heterogêneos em um sistema geograficamente distribuído atuando como servidor de MMOG
(2009) [Dissertação]Tradicionalmente, utiliza-se um servidor central para prover suporte a MMOGs (massively multiplayer online games, ou jogos online maciçamente multijogador), nos quais o número de participantes é da ordem de dezenas de ...