Linguagem De Programacao Funcional
Mostrando 1-12 de 29 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. Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso
Desde a sua concepção, as unidades de Bombeio Centrífugo Submerso (BCS) destacaram- se pelas altas vazões desenvolvidas e pelo bom desempenho em poços com alto BSW, tanto em ambientes onshore como offshore. Em qualquer sistema de elevação, sua vida útil e a frequência das intervenções são de fundamental importância, em virtude dos elevados custo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/07/2011
-
3. Medida de habilidade em programação funcional via modelagem de Rasch com validação dicotômica
Mudanças no processo de ensino e aprendizagem podem ser tanto benéficas quanto ineficazes para o aprendizado do aluno. Este trabalho buscou mostrar que métodos de ensino atuais não suprem com eficiência a necessidade de melhorar as habilidades discentes. Para tanto, recorreram-se a experimentos com alunos da disciplina Linguagem de Programação porque
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/07/2011
-
4. Três ensaios sobre gerenciamento de ativos e passivos em fundos de pensão
Esta tese é composta por três artigos. A linha comum entre os artigos é o interesse em apresentar metodologias e soluções para a alocação ótima dos ativos de um fundo de pensão, de forma a não comprometer seu passivo atuarial. O que na prática é não comprometer o pagamento dos benefícios aos pensionistas. Como ocorreu recente nas economias madu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2011
-
5. Uma implementação paralela do AIRS em Scala / A parallel implementation of AIRS in Scala
Com o avanço tecnológico dos últimos anos passou a ser normal vermos microprocessadores com múltiplos núcleos (cores). A expectativa é de que o crescimento da quantidade de núcleos passe a ser maior do que o crescimento da velocidade desses núcleos. Assim, além de se preocuparem em otimizar algoritmos sequenciais, os programadores começaram a dar m
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/09/2010
-
6. 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
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. 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
-
12. 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