Algebra Computadores
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. Existências de códigos corretores de erros e protocolos de comunicação em sequências de DNA / Existence of error-correcting codes and communication protocols in DNA sequences
Um dos grandes desafios da comunidade científica em teorias da informação genética, comunicação genética e codificação genética é verificar a existência de uma estrutura matemática relacionada com a estrutura do DNA. Este trabalho propõe modelos para o sistema de comunicação de informação genética e genômica análogos ao modelo de um sist
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/07/2011
-
2. Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
O objetivo deste trabalho é fornecer uma ferramenta para simulação visual de SAN. O formalismo SAN, através da ferramenta PEPS, utiliza soluções numéricas para calcular erros de avaliações condicionais ou comportamento não esperado de sistemas modelados através deste formalismo. Estas soluções numéricas são a base para os formalismos estrutura
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/03/2011
-
3. Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Os formalismos estruturados foram definidos ao longo dos anos com o objetivo de aumentar o nível de abstração e oferecer uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov. Exemplos de formalismos estruturados que utilizam álgebra tensorial para o armazenamento de seus descritores são as Redes de Au
Publicado em: 2010
-
4. Análise do uso de uma sequência didática com objetos de aprendizagem digitais no desenvolvimento de conceitos algébricos / Analysis of the use of a didactic sequence with digital learning objects in the development of algebraic concepts
Pesquisas em Psicologia da Educação Matemática apontam diversos recursos didáticos que podem ser utilizadas no desenvolvimento de conceitos algébricos, tais como: sequências didáticas, desenhos, diagramas, balança de dois pratos e recursos digitais, como, os softwares educacionais. Com o avanço tecnológico proporcionado pela automação industrial
Publicado em: 2009
-
5. Uso efetivo da matemática intervalar em supercomputadores vetoriais / Effective use of interval mathematics on vector supercomputers
Este trabalho apresenta um estudo do uso da Matemática Intervalar na resolução de problemas em supercomputadores, através da biblioteca de rotinas intervalares denominada libavi.a (aritmética vetorial intervalar), proporcionando não só aumento de velocidade de processamento via vetorização, mas exatidão e controle de erros nos cálculos através do
Publicado em: 2009
-
6. Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos
Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This
Publicado em: 2006
-
7. Protocolos para computaÃÃo segura entre dois participantes para Ãlgebra linear e estatÃstica
A aplicaÃÃo mais recorrente da Criptografia à a sua utilizaÃÃo quando duas partes desejam trocar informaÃÃes secretas de forma privada, porÃm com o surgimento das grandes redes de computadores, outras formas e tÃcnicas surgiram, entre elas o aparecimento da ComputaÃÃo Segura entre MÃltiplos Participantes (MPC). A MPC consiste de duas ou mais part
Publicado em: 2005
-
8. A comparative study on associative memories with emphasis on morphological associative memories / Um estudo comparativo em memorias associativas com enfase em memorias associativas morfologicas
Memórias associativas neurais são modelos do fenômeno biológico que permite o armazenamento de padrões e a recordação destes apos a apresentação de uma versão ruidosa ou incompleta de um padrão armazenado. Existem vários modelos de memórias associativas neurais na literatura, entretanto, existem poucos trabalhos comparando as varias propostas. N
Publicado em: 2005
-
9. Algumas aplicações de bases de Grobner em algebra comutativa
Not informed.
Publicado em: 2003
-
10. Computer algebra in modern functional languages.
Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This dissertation presents a computer algebra system implemented as a library in the Haskell programming
Publicado em: 2001
-
11. Estudo de arquiteturas de memória para máquinas MIMD fortemente acopladas
O uso de técnicas de processamento paralelo tem se tornado bastante comum na implementação de sistemas computacionais de alto desempenho. Uma destas técnicas, o uso de múltiplos processadores independentes ligados a um sistema de memória compartilhado(normalmente denominada paralelismo MIMD fortemente acoplado), tem sido pesquisado de maneira especial,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/07/1993