Calculo Lambda
Mostrando 1-12 de 27 artigos, teses e dissertações.
-
1. TOXICIDADE DE INSETICIDAS UTILIZADOS NO MELOEIRO SOBRE PRIMEIRO INSTAR DE Chrysoperla genanigra FREITAS (NEUROPTERA: CHRYSOPIDAE)
RESUMO O Brasil é um dos maiores produtores de melão (Cucumis melo L.), tendo os estados do Rio Grande do Norte e Ceará os maiores representantes (99% das exportações), com enorme relevância do ponto de vista socioeconômico para a região nordeste. No entanto, a cultura é acometida por insetos-praga, razão pela qual grandes quantidades de agrotóxic
Rev. Caatinga. Publicado em: 2017-09
-
2. Eficiência de lambda-cialotrina no controle da broca-do-fruto e aspectos quali-quantitativos da pulverização na cultura da pinha
RESUMO O Estado da Bahia é o maior produtor nacional de pinha (Annona squamosa L.), porém a ocorrência da broca-do-fruto, Cerconota anonella L., limita e compromete a produção. O trabalho teve por objetivos avaliar a eficiência do inseticida lambda-cialotrina no controle da broca-do-fruto com diferentes volumes de calda, bem como aspectos qualitativos
Ciênc. agrotec.. Publicado em: 2016-06
-
3. Solução rápida da ambiguidade GPS no posicionamento cinemático usando espaço nulo à esquerda e descorrelação de Cholesky multi-temporal (inversa) pareada
Com o objetivo de solucionar os problemas envolvendo enorme quantidade de cálculos na resolução de ambiguidade com multiplas épocas e inversão de matriz de alta ordem como ocorre no posicionamento relativo cinemático GPS, um algoritmo modificado para resolução rápida da ambiguidade é proposto. Em primeiro lugar, Decomposição de Valor Singluar (SV
Bol. Ciênc. Geod.. Publicado em: 2015-12
-
4. Associação de alelos HLA e aborto espontâneo recorrente em uma população de São Luís/Maranhão, na região Nordeste do Brasil
OBJETIVO: Investigar a associação dos alelos HLA-A, -B e -DRB1 com a ocorrência de Aborto Espontâneo Recorrente.
MÉTODOS: Estudo caso-controle com 200 mulheres com idade entre 18 e 35 anos, sendo a amostra de conveniência com 100 mulheres que tiveram aborto espontâneo recorrente idiopático e 100
Rev. Bras. Ginecol. Obstet.. Publicado em: 2015-08
-
5. An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus / Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
6. Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda / An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
7. Propriedades magneto-ópticas de colóides magnéticos á base de nanopartículas de magnetita recobertas com prata / Magneto-optical properties of magnetic nanoparticles colloids based on magnetite and coated with silver
Neste trabalho investigamos, teorica e experimentalmente, as propriedades magneto-opticas de um fluido magnetico constituıdo de nanopartıculas core-shell (caroco-casca), em que o caroco e feito de magnetita e a casca de prata. O modelo teorico utilizado baseou-se no modelo de Mie, dentro da aproximacao eletrost atica, que consiste no caso em que o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2010
-
8. Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálcu
Publicado em: 2010
-
9. Números naturais parciais / Partial natural numbers
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipa
Publicado em: 2010
-
10. Exergology evaluation of wastewater treatment process. / Avaliação exergoecológica de processos de tratamento de esgoto.
O presente trabalho propõe uma metodologia científica, com critérios bem definidos, para avaliar e quantificar o desempenho ambiental e a renovabilidade de processos de tratamento de esgoto, numa base única: a exergia. O desempenho ambiental é quantificado através do cálculo da eficiência exergética ambiental, definida como a razão da exergia do ef
Publicado em: 2009
-
11. Método rápido para avaliação da margem de estabilidade de tensão considerando os limites de potência reativa dos geradores / Fast method for voltage stability margin evaluation considering the reactive power limits of generators
A análise de estabilidade de tensão em tempo real exige o cálculo periódico da margem de estabilidade para um número grande de contingências. Isto motiva o desenvolvimento de técnicas rápidas para determinação da margem de estabilidade de tensão adequadas aos requisitos da operação em tempo real. Neste trabalho utiliza-se uma técnica rápida, d
Publicado em: 2009
-
12. Fundo estocástico de ondas gravitacionais gerados por buracos negros pré-galáctiocs / Stochastic Background of Gravitational Waves Generated By pre-galactic Black Hole Formation
A observação da radiação cósmica de fundo em microondas nos fornece informação sobre o momento em que matéria e radiação desacoplaram, como uma fotografia produzida 300.000 anos após o Big-Bang. Hoje, através da observação de estruturas e objetos cósmicos, podemos avaliar o comportamento do Universo em tempos mais recentes (em torno de um bilh
Publicado em: 2008