Seminários da Pós-Graduação em Informática
Data: 21 de setembro de 2018
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Cássio Couto Coelho (doutorando)
Título: Aplicação de Teoria dos Jogos Evolucionários para o Simulador Ambiental MASE-BDI
Resumo: O aperfeiçoamento das ferramentas de simulação é tão importante quanto a apuração dos modelos computacionais, uma vez que quando ambos apresentam grande acurácia, simulações mais representativas são obtidas. Nessa apresentação serão introduzidos o MASE-BDI, ferramenta baseada em Sistema Multiagente de simulação de modelos de dinâmica do uso do solo, e novos modelos de interação entre os agentes desse simulador, baseados em Teoria dos Jogos Evolucionários (TJE). TJE é uma área originalmente ligada à Teoria dos Jogos e à Biologia Evolucionária, cujo foco de estudo é a interação entre organismos com diversos comportamentos competindo, cooperando ou convivendo com diferentes resultados de suas interações e taxas de sucesso ao longo de suas gerações.
Horário: 14h30
Palestrante: Daniel da Silva Souza (doutorando)
Título: Um modelo multiagente baseado em teoria da argumentação para anotação de proteínas
Resumo: Muitos métodos computacionais e experimentais têm sido propostos para predição de funções realizadas pelas proteínas. Métodos in silico consomem recursos e tempo, devido à ampla quantidade de dados utilizados para anotação. Ademais, predições computacionais de funções das proteínas são geralmente incompletas e tendenciosas. Embora muitas ferramentas computacionais combinam diferentes estratégias de anotação para predição de funções, biólogos (especialistas humanos) precisam usar seu conhecimento para análise e aprimoramento das predições. Este complexo cenário apresenta características adequadas para uma abordagem multiagente, tal como, conhecimento de especialistas, recursos distribuídos, e um ambiente que inclui diferentes métodos computacionais. Além disso, teoria da argumentação pode ampliar a expressividade do conhecimento biológico das proteínas, considerando as inconsistências e a incompletude da informação. O objetivo principal deste trabalho é apresentar um modelo multiagente baseado em teoria da argumentação para anotar proteínas, denominado ArgMAS-AP. Adicionalmente, será discutido um exemplo teórico com dados reais para avaliar a adequabilidade do modelo proposto.
Horário: 15h
Palestrante: Rafael Diniz (doutorando)
Título: 3D Telepresence Using Single View RGB-D Capture
Resumo: A realtime Point Cloud reconstruction and communication system which captures RGB-D frames from a Microsoft's Kinect and recreates solid 3D humans to be used in 3D telepresence, like 8i or Microsoft's Holoportation, and also in broadcasting applications.
Horário: 15h30
Palestrante: Felipe Rodopoulos de Oliveira (mestrando)
Título: Verification of Dynamic Authorization Protocol
Resumo: Questões em segurança compõem grande parte dos desafios das soluções de internet banking. Diferentes protocolos de segurança foram projetados visando prover confiabilidade para transações bancárias online. O Protocolo de Autorização Dinâmica segue um esquema onde uma chave compartilhada entre o banco e o usuário é estabelecida para futuras mensagens. Para cada transação, o usuário é desafiado a recuperar e apresentar uma chave de transação única ao servidor, usando um smartphone como uma entidade externa de validação, escaneando um QR-code para testes de integridade. Dessa forma o usuário consegue realizar operações em um computador inseguro e validá-las em um canal offline. Entretanto, o protocolo não é formalmente verificado. Este trabalho pretende realizar a especificação e verificação formal do protocolo, usando uma técnica de prova de teoremas bem estabelecida, o Método Indutivo. No fim, espera-se ter um dos dois resultados: um certificado formal de correção das crenças de segurança do protocolo ou um contra-exemplo válido para a falha do mesmo.
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 em Informática 2018-2