*VIII Best MSc Dissertation/PhD Thesis Contest in Artificial Intelligence (CTDIA 2012)*
-----------------------
INSTRUCTIONS FOR AUTHOR´S PRESENTATION
-----------------------
All papers must be presented by its first author in a oral presentation session.
MSc papers will have 25 minutes for presentation and 15 minutes for questions from the examining board
PhD papers will have 30 minutes for presentation and 15 minutes for questions from the examining board.
Please, prepare a slide show considering the time available.
In this phase, dissertation / thesis, resulting publications, scientific posture, quality of the oral presentation and other possible results of the conducted research will be evaluated.
The best dissertations/thesis will be awarded on Monday during the Opening Cocktail.
Msc Dissertation (Sunday 21/10)
Examining board: Liang Zhao (USP), Flavia Bernardini (UFF) e Patricia Maillard (UNISINOS)
-
8:30 - 9:10 Paulo T. Guerra
Revisão de Modelos CTL
-
9:10 - 9:50 Glauber De Bona
Satisfazibilidade Probabilística
-
10:20 - 11:00 Rafael Giustii
Descoberta de Regras de Conhecimento Utilizando Computação Evolutiva Multi-Objetivo
-
11:00 - 11:40 Ricardo Marcacini
Aprendizado não supervisionado de hierarquias de tópicos a partir de coleções textuais dinâmicas
-
11:40 - 12:20 Rafael Rossi
Representação de Coleções de Documentos Textuais por meio de Regras de Associação
-
14:00 - 14:40 Rafael Frinhani
GRASP with path-relinking for data clustering: a case study for biological data
-
14:40 - 15:20 Maiquel Brito
Programming Institutional Facts in Multi-Agent Systems
-
15:20 - 16:00 Carlos Azevedo
Non-Dominance Landscapes for Guiding Diversity Generation in Dynamic Environments
-
16:10 - 16:50 Marcos Luiz de Paula Bueno
Heuristics and Evolutionary Algorithms For Multicast Routing Problem
Coffee Break Lunch Coffee Break
PhD Thesis (Sunday 21/10)
Examining board: Fabio Cozman (USP-Politécnica), Anna Reali (USP-Politécnica) e Leliane Barros (USP-IME)
-
10:15 - 11:00 Fabricio Breve
Aprendizado de Máquina em Redes Complexas
-
11:00 - 11:45 João Bertini
Classifcação de dados estacionários e não estacionários baseada em grafos
-
11:45 - 12:30 Aline Paes
On the Effective Revision of (Bayesian) Logic Programs from Examples
-
14:00 - 14:45 Marcio Ribeiro
Revisão de Crenças em Lógicas de Descrição e em Outras Lógicas não Clássicas
-
14:45 - 15:30 Paulo Salem
Verification of Behaviorist Multi-Agent Systems by means of Formally Guided Simulations - PhD Thesis Overview
-
15:30 - 16:15 Milton R. Heinen
IGMN: An Incremental Neural Network Model for On-Line Tasks
Lunch