Browsing 40001016034P5 Programa de Pós-Graduação em Informática by Title

Identificação de nós maliciosos em redes complexas baseada em visões locais

Vernize, Grazielle (2013)

Resumo: Muitos sistemas sociais, biológicos e de informação podem ser descritos através de modelos de redes complexas. Redes complexas podem ser separadas em quatro categorias: redes sociais, redes de informação, redes ...

Identificação de requisitos para usabilidade de software assistivo

Ohira, Lilian Marques (2009-12-16)

Identificação e verificação de escritores usando características texturais e dissimilaridade

Gonçalves, Diego Bertolini (2014)

Resumo: A verificação e identificação de escritores são atividades relacionadas a ciências forense, na qual possuem a função de auxiliar na identificação ou constatação de fraudes de documentos manuscritos. A tarefa de ...

Identificaçăo de propriedade em imagens com marcas d'água no domínio da transformada wavelet /

Sans, Diovani Rafael (2008)

Orientador: Hélio Pedrini

Identificador Multithread de fluxo de objetos

Assis, Marcio Roberto Miranda (2009-10-28)

Identifying evidences of computer programming skills through automatic source code evaluation

Porfirio, Andres Jessé (2020)

Resumo: Esta tese e contextualizada no ensino de programacao de computadores em cursos de Computacao e investiga aspectos e estrategias para avaliacao automatica e continua de codigos fonte desenvolvidos pelos alunos. O ...

Implementaçao de um sistema gerador de frases no domínio de tráfego aéreo utilizando ontologias

Suzuki, Denis Felipe (2010-10-27)

Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes

Rojo, Roberta Vanessa (2010-10-27)

Uma implementação da semantica de ações orientada a objetos em maude /

Maidl, Andre Murbach (2007)

Orientador : Martin A. Musicante

Implementação de uma rede sem fio

Branco, Parahuari Solnowski (2011-02-07)

Resumo: Esta dissertação é o resultado do estudo da viabilização técnica e prática da comunicação sem fio entre microcomputadores mediante a utilização de tecnologia e instrumentos "de prateleira". Como resultado deste ...

Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada

Nobre, Emerson Faria (2011-02-04)

Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um ...

InCoP

Trindade, Daniela de Freitas Guilhermino (2013)

Resumo: O surdo não consegue estabelecer as relações sociais utilizando uma linguagem falada/oral, pois, a sua identidade cultural e a sua forma de expressão se traduzem de maneira principalmente visual. Os surdos querem ...

Indexaçao de imagens de profundidade baseada em conteúdo

Abreu, Amilcar Fernandes Costa de (2010-10-25)

Inferência de estados afetivos em ambientes educacionais : proposta de um modelo híbrido baseado em informações cognitivas e físicas

Gottardo, Ernani, 1977- (2018)

Resumo: Na comunidade científica é comum o entendimento de que os softwares educacionais precisam evoluir para garantir um suporte mais efetivo ao processo de aprendizagem. Uma limitação recorrente destes softwares refere-se ...

Informática educacional e a mediação do erro na educação : um estudo teórico-crítico e uma proposta de instrumento computacional

Kutzke, Alexander Robert (2015)

Resumo: O problema central da mediação do erro na educação escolar e possíveis contribuições da Informática Educativa são expostos de maneira crítica. Embora inúmeras pesquisas e abordagens pedagógicas salientem o importante ...