Data: 23 de setembro de 2016
Local: Sala Multiuso EST
Horário: 14h
Palestrante: Ariane Alves Almeida (doutorado)
Título: Formalização de Equivalência entre Critérios de Terminação
Resumo: Terminação é uma propriedade importante em computação, por exemplo, quando deseja-se atestar a corretude de um programa. Antes de poder atestar que um programa sempre produz uma resposta correta, é necessário saber se uma resposta sempre é produzida. Embora isto seja um problema indecidível diretamente relacionado ao Problema da Parada, existem diversas técnicas que permitem atestar terminação em casos específicos. A indecidibilidade, porém, faz com que nem todas as técnicas produzam a mesma resposta sobre a terminação de um mesmo programa, embora a corretude das técnicas, em geral, garanta a existência de uma medida decrescente segundo a execução de um programa quando este é terminante. Assim, é desejável relacionar formalmente estes critérios e formalizar sua equivalência.
Horário: 15h
Palestrante: Luiz Henrique Morais Aguiar (mestrado)
Título: Proposta de Modelo Evolucionário para Simulação da Evolução da Camuflagem em Seres Vivos
Resumo: Apresentação da modelagem de um simulador de seres vivos que permite observar o processo de evolução da camuflagem de organismos virtuais simulados na presença de seus predadores. O modelo teve como inspiração um caso de estudo com peixes lebistes (Poecilia reticulata) realizado por John A. Endler. Um software computacional de simulação foi desenvolvido com base no modelo proposto com a finalidade de validá-lo. Foram realizados experimentos utilizando a ferramenta desenvolvida. A ferramenta de simulação pode principalmente ser utilizada por pesquisadores que precisam trabalhar com diversas variáveis para compreensão de modelos complexos de interação entre seres vivos, podendo auxiliar na tomada de decisão sobre problemas de conservação de espécies.
Organizadora: Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação Informática 2016-2