Linguagens Formais
Mostrando 1-12 de 64 artigos, teses e dissertações.
-
1. CoordenaÃÃo e ReconfiguraÃÃo DinÃmica de Componentes em uma Plataforma de ComputaÃÃo Paralela
Nos domÃnios da ComputaÃÃo de Alto Desempenho (CAD), sÃo comuns aplicaÃÃes com tempo de execuÃÃo de longa duraÃÃo. Durante a execuÃÃo de uma aplicaÃÃo dessa natureza, podem ser identificadas melhorias ou correÃÃes nos algoritmos em execuÃÃo que nÃo invalidam o processamento previamente realizado. Neste cenÃrio, a capacidade de realizar mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2012
-
2. Um ser tão misturado: estudo sobre o filme Sagarana, o Duelo / A being so mixed: study of the movie Sagarana, o Duelo
A dissertação objetiva aprofundar os estudos sobre o filme Sagarana, o Duelo, do cineasta mineiro Paulo Thiago, por meio de aproximações e rupturas com a matriz literária, o conto Duelo, do livro Sagarana, contribuindo para a reflexão da obra de Guimarães Rosa em outras linguagens. Preterindo a concepção de fidelidade da adaptação, a pesquisa most
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/05/2012
-
3. Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = : A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries / A diachronic study about the varied uses of the Anaphoric Direct Object in Bahia¿s press at nineteenth and twentieth centuries
Essa dissertação investiga, sob a perspectiva da linha gerativista diacrônica, as variadas realizações do objeto direto anafórico no Português Brasileiro, mais especificamente, no dialeto baiano, em textos jornalísticos publicados em periódicos que circularam na cidade de Salvador (BA). O corpus da pesquisa foi composto por sete jornais, distribuíd
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/05/2012
-
4. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. / A new algebraic approach for the second-order finite adaptive automation applied to an inductive inference model.
O objetivo deste trabalho é apresentar o modelo dos autômatos adaptativos de segunda ordem e mostrar a forte conexão desse modelo com o aprendizado indutivo no limite. Tal modelo é definido com a utilização de um conjunto de transformações sobre autômatos finitos não - determinísticos e a conexão com o aprendizado no limite á estabelecida usando
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/03/2012
-
5. Convergent Sequences of Discrete Structures and Testability / SequÃncias Convergentes de Estruturas Discretas e Testabilidade
In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. Weâve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. W
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/02/2012
-
6. Processos de aprendizagem em uma ONG : um estudo de produção teatral à luz da perspectiva cultural CULTURAL
Esse estudo teve por objetivo compreender os processos de aprendizagem a partir das práticas de produção teatral dos espetáculos teatrais de uma organização não governamental à luz da perspectiva cultural. Desenvolveu-se uma pesquisa de natureza qualitativa, utilizando as técnicas de entrevista em profundidade com roteiro semiestruturado, entrevista
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
7. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
8. Joker: um realizador de desenhos animados para linguagens formais
Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal e a escassez de suporte ferramental adequado, útil e de fácil utilizaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2011
-
9. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Esta dissertação tem como objetivo estender a ferramenta JCircus, um tradutor de especificações formais para código que recebe uma especificação em Circus como entrada, e traduz a especificação para código Java. Circus é uma linguagem formal cuja sintaxe é baseada nas sintaxes das linguagens Z e CSP. O código gerado por JCircus faz uso de JCSP,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/08/2011
-
10. Sistema de recuperação de imagens baseada na teoria computacional das percepções e em linguagens formais fuzzy / Image retrieval system based in computacional theory perceptions and fuzzy formal language
Neste trabalho utilizam-se as teorias de Linguagem Formal Nebulosa e da Computacional das Percepções de Zadeh para definir buscas em uma base de dados gráfica. A descrição dos elementos gráficos a serem identificados é codificada por meio de sentenças aceitas por uma gramática nebulosa e definida sobre um conjunto de símbolos gráficos terminais re
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/06/2011
-
11. Uma nova abordagem para a noção de quase-verdade / A new approach to the concept of quase-truth
Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a con
Publicado em: 2011
-
12. Projeto dramatizando nossa arte : resgatando o sentido da arte teatral em uma comunidade escolar da cidade de Porto Alegre
A presente monografia constitui-se em uma pesquisa que tem como tema as linguagens artísticas na formação humana. Pensa-se que a arte integra o conhecimento, bem como qualifica o pensamento, através da abordagem estética, da prática do belo, do sensível. Neste contexto, pergunta-se, como a arte interfere na construção do saber para uma aprendizagem
Publicado em: 2011