Programacao Funcional Computacao
Mostrando 1-12 de 28 artigos, teses e dissertações.
-
1. Construção de estruturas ontológicas a partir de textos : um estudo baseado no método formal concept analysis e em papéis semânticos
Este trabalho tem como propósito estudar estruturas conceituais geradas seguindo o método Formal Concept Analysis. Usamos na construção dessas estruturas informações lexicossemânticas extraídas dos textos, dentre as quais se destacam os papéis semânticos. Em nossa pesquisa, propomos formas de inclusão de tais papéis nos conceitos produzidos por e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2012
-
2. Programação funcional usando Java / Functional programming using Java
Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de t
Publicado em: 2010
-
3. PMEMD-HW : simulação por dinâmica molecular usando hardware reconfigurável
Sistemas de dinâmica molecular são definidos pela posição e energia das partículas que o compõe, assim como pelas interações entre estas. Tais sistemas podem ser simu-lados através de métodos matemáticos como o cálculo de forças eletrostáticas baseadas na Lei de Coulomb. Computar os estados através dos quais um sistema destes evolui, avaliando
Publicado em: 2010
-
4. Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java / A proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apresentado na especificação padrão do protocolo FlexRay, porém algumas contribuições foram feitas a fim de gerar um
Publicado em: 2009
-
5. Estrutura baseada em grafos para representação unificada de fluxos locais para modelagem hidrológica distribuída / Graph based strucutre for unifying representation of local flows in GIS distributed hydrological modeling
A distribuição dos fluxos locais em uma bacia hidrográfica é o elemento mais importante para o desenvolvimento de modelos hidrológicos distribuídos. A premissa fundamental é que a topografia do terreno é o principal fator para a determinação dos fluxos locais. As representações matemáticas e as estruturas computacionais, que armazenam a topograf
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/05/2008
-
6. Structuring general and complete quantum computations in Haskell : the arrows approach / Estruturando computaçõoes quânticas gerais e completas em Haskell : abordagem das setas
Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). Diferentemente do bit clássico, o qubit pode existir em uma superposição dos seus estados básicos permitindo o “paralelis
Publicado em: 2008
-
7. VirD-GM: Uma Contribuição Para o Modelo de Distribuição e Paralelismo do Projeto D-GM / VIRD-GM: A CONTRIBUTION TO THE MODEL OF DISTRIBUTION AND PARALLELISM OF DE PROJECT D-GM
Este trabalho descreve as principais contribuic oes da VirD-GM (Virtual Distributed Geometric Machine Model) para o modelo de distribuic ao e paralelismo do Projeto D-GM (Distributed Geometric Machine Project). Para disponibilizar as abstrac oes do modelo GM (Geometric Machine) em uma plataforma com suporte `a execuc ao distribu ıda e/ou concorrente, co
Publicado em: 2008
-
8. Graph based strucutre for unifying representation of local flows in GIS distributed hydrological modeling / Estrutura baseada em grafos para representação unificada de fluxos locais para modelagem hidrológica distribuída
A distribuição dos fluxos locais em uma bacia hidrográfica é o elemento mais importante para o desenvolvimento de modelos hidrológicos distribuídos. A premissa fundamental é que a topografia do terreno é o principal fator para a determinação dos fluxos locais. As representações matemáticas e as estruturas computacionais, que armazenam a topograf
Publicado em: 2008
-
9. Estrutura baseada em grafos para representação unificada de fluxos locais para modelagem hidrológica distribuída / Graph based strucutre for unifying representation of local flows in GIS distributed hydrological modeling
A distribuição dos fluxos locais em uma bacia hidrográfica é o elemento mais importante para o desenvolvimento de modelos hidrológicos distribuídos. A premissa fundamental é que a topografia do terreno é o principal fator para a determinação dos fluxos locais. As representações matemáticas e as estruturas computacionais, que armazenam a topograf
Publicado em: 2008
-
10. Computer algebra in modern functional languages / Computer Algebra in Modern Functional Languages
Muitos sistemas de computação algébrica foram propostos e implementados. A maioria deles são implementados ou até mesmo implementam linguagens sem a propriedade da referência transparencial, o que torna difícil e até mesmo impraticável a prova de correção de programas. Esta tese apresenta um sistema de computação algébrica implementado como uma
Publicado em: 2007
-
11. Estudo e implementação da programação genética para síntese de fala
Este trabalho descreve a aplicação da Programação Genética, uma técnica de Computação Evolucionária, ao problema da Síntese de Fala automática. A Programação Genética utiliza as técnicas da evolução humana para descobrir programas bem adaptados a um problema específico. Estes programas, compostos de instruções, variáveis, constantes e ou
Publicado em: 2007
-
12. Contribuições na teoria de otimização para alguns problemas de programação infinita e de programação com tempo continuo / Contributions in the optimization theory for some infinite programming problems and continuous time programming problems
In this thesis work it is regarded two type of abstract optimization problems. The _rst one corresponds to the in_nite programming problem. A such problem consists in minimizing a functional subject to an in_nite number of constraints, where the functions involved are dened in a Banach space. The second one is the continuous time programming problem, which c
Publicado em: 2007