|
Data
|
Palestrante |
Título |
| 15/03 |
Professores do LIAMF |
Linhas de pesquisa do LIAMF |
| 22/03 |
Esdras Lins Bispo Jr. |
Avaliação de Alinhamentos de Ontologias de Grande Porte |
| 29/03 |
Paulo de Tarso Guerra Oliveira |
Mu-calculus, CTL e outros fragmentos |
| 05/04 |
Semana Santa |
|
| 12/04 |
Marcelo Finger |
Satisfiability in {\EL} with sets of Probabilistic ABoxes |
| 19/04 |
Márcio Moretto Ribeiro |
Contração em Lógicas e Fibrilação Segura |
| 26/04 |
Fabio Ramos |
Machine learning for data fusion and the Big Data question |
| 03/05 |
---- |
---- |
| 10/05 |
Renata Wassermann |
Introdução ao Uso de Ontologias Formais
para Representação de Conhecimento |
| 17/05 |
---- |
|
| 24/05 |
Mirtha Lina Fernández Venero |
Simulação e verificação de protocolos de interação construídos usando a plataforma JamSession |
| 31/05 |
Maria Viviane de Menezes |
Validação de Tarefas de Planejamento |
| 04/05 |
Cassio Polpo de Campos |
Computational complexity in probabilistic
graphical models |
| 14/05 |
Diogo Patrão |
Integração de bancos de dados clínicos por meio de ontologias |
| 21/05 |
Marta Ruiz Costa-Jussa |
|
| 28/05 |
|
|