Browsing Theses and Dissertations by Author "Menezes, Paulo Fernando Blauth"
Now showing items 1-18 of 18
-
AdaptHA : ambiente para autoria e ensino adaptativo
Lima, Graciela Cristina Bernardes (2007) [Dissertation]A Web vem se apresentando um meio cada vez mais promissor para o desenvolvimento de sistemas de ensino. Um dos grandes desafios é fazer uso das vantagens da Web, que torna a aprendizagem disponível em qualquer lugar e em ... -
AGA-Sign : animador de gestos aplicado à língua de sinais
Denardi, Rúbia Medianeira (2006) [Dissertation]A expansão da Internet e o crescente desenvolvimento de tecnologias para a Web fazem com que um grande número de pessoas com necessidades distintas procurem nelas as informações de que necessitam, utilizando a Internet ... -
Animação bidimensional para World Wide Web baseada em autômatos finitos
Accorsi, Fernando (2002) [Dissertation]Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, ... -
Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos
Grandi, Roges Horacio (2003) [Dissertation]Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus ... -
Avaliação da compressão de dados e da qualidade de imagem em modelos de animação gráfica para web : uma nova abordagem baseada em complexidade de Kolmogorov
Campani, Carlos Antonio Pereira (2005) [Thesis]Este trabalho versa sobre a avaliação da compressão de dados e da qualidade de imagens e animações usando-se complexidade de Kolmogorov, simulação de máquinas e distância de informação. Complexidade de Kolmogorov é uma ... -
Categoria de grafos parciais com homomorfismos totais teoria e aplicações
Roggia, Karina Girardi (2005) [Dissertation]O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas ... -
CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias
Pfeiff, Fabio Victor (2002) [Dissertation]Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva ... -
CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias
Vieira, Rodrigo Born (2006) [Dissertation]Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria ... -
Ciência da computação para crianças
Fernandes, Cláudia Santos (2002) [Dissertation]Este trabalho apresenta uma proposta metodológica para o ensino de Ciência da Computação para Crianças, elaborada, a partir de pesquisas e estudos, tendo, como objetivo, a aplicação dessa metodologia para correção e testes. ... -
EASy : sistema de avaliações via web baseado no hyper-autonomaton
Zanella, Renata (2005) [Dissertation]Uma das características mais importantes em Sistemas de Ensino via Web é a tarefa Avaliação. Algumas de suas funções são verificar o quão e quanto o aluno aprendeu e fornecer feedback para o aluno e professor. Neste contexto, ... -
Um estudo de implementação da linguagem pascal no computador b-6700
Menezes, Paulo Fernando Blauth (1979) [Dissertation]O trabalho desenvolvido e composto, basicamente,de três partes. Inicialmente, descreve-se a linguagem de programação PASCAL, independentemente de qualquer implementação. A seguir e apresentado um estudo sobre a implementação ... -
Grafos internos e multirrelações como "spans" : propriedades e composicionalidade
Hoff, Marnes Augusto (2005) [Dissertation]Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, ... -
Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos
Morais, Carlos Tadeu Queiroz de (2002) [Dissertation]O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos ... -
Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída
Scarpato, Christine Vieira (2004) [Dissertation]O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em ... -
Mapeamento da linguagem Nautilus para Java
Fuzitaki, Claudio Naoto (2004) [Dissertation]Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da ... -
Uma proposta de um motor de animação para o controle de personagens articulados baseado em autômatos finitos
Martins, José Diego Ferreira (2006) [Dissertation]Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura ... -
Reificação de objetos concorrentes
Menezes, Paulo Fernando Blauth (1997) [Thesis]Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri ... -
XHA: eXtensible Hyper-Automation
Machado, César Costa (2002) [Dissertation]O objetivo geral desta dissertação é estudar as possibilidades de flexibilização da função de saída do Sistema Hyper-Automaton além das rígidas possibilidades utilizadas atualmente com a utilização direta do HTML, objetivando ...