Haskell
Mostrando 1-12 de 36 artigos, teses e dissertações.
-
1. ORDEN, DISTRIBUTIVIDAD Y ATRACCIÓN EN LA PRODUCCIÓN DE LA CONCORDANCIA
ABSTRACT: Several studies have found that factors of different nature (semantic, morphological and syntactic) affect the computation of subject-verb agreement during sentence production (BOCK; MILLER, 1991; FRANCK; VIGLIOCCO; NICOL, 2002; HARTSUIKER et. al., 2003; HASKELL; MACDONALD, 2003; VIGLIOCCO; BUTTERWORTH; SEMENZA 1995) The aim of this paper are: a) t
Alfa, rev. linguíst. (São José Rio Preto). Publicado em: 2017-12
-
2. De perfumes aos pós: a publicidade como objeto histórico
O artigo analisa anúncios de cosméticos publicados na revista Fon-Fon! de 1911 a 1934. Discute as rupturas e continuidades observadas nos anúncios de cosméticos coletados. Estuda especificamente a publicidade de pó para maquiagem e os modelos de feminino presentes nos respectivos anúncios, com base em duas grandes séries: os anúncios com e sem imagen
Rev. Bras. Hist.. Publicado em: 2012-12
-
3. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
4. Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
A Domain Specific Language is a specification language dedicated to a particular domain, representation technique, or solution searching method. On the other hand, a general-purpose programming language is a language designed with the goal of emulating Lambda Calculus or Turing Machine. Since general-purpose languages must accept any algorithm that can be ex
Publicado em: 2010
-
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. 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
-
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
Publicado em: 2008
-
9. 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
-
10. Programação genérica usando o sistema CT
Na última década surgiram diversas abordagens para programação genérica em Haskell: PolyP, Scrap Your Boilerplate, Derivable Type-Classes, Generic Haskell, Generics for the Masses etc. Estas abordagens variam em sofisticação e público alvo e algumas propõe extensões à linguagem de programação, enquanto outras sugerem bibliotecas. A maioria dessa
Publicado em: 2007
-
11. Semantics for an algebraic specification language / Semântica para uma Linguagem de Especificação Algébrica
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e
Publicado em: 2007
-
12. FINALIZERS AND CYCLES IN WEAK TABLES / FINALIZADORES E CICLOS EM TABELAS FRACAS
Referências fracas e finalizadores constituem uma alternativa elegante para se obter controle sobre a interação entre a aplicação e o coletor de lixo. No entanto, em alguns contextos, finalizadores são desnecessários, pois é possível estender o mecanismo de referências fracas a fim de dar suporte a finalização. Neste trabalho, realizamos um estud
Publicado em: 2007