Willian Oizumi, mestrando do Prof. Alessandro Garcia, recebe duas premiações durante o SBES/CBSoft 2014

O aluno Willian Oizumi, mestrando do DI sob orientação do Prof. Alessandro Garcia, recebeu duas premiações na Conferência Brasileira de Software: Teoria e Prática. Os artigos premiados foram produzidos em co-autoria com outros alunos e professores do DI.

3o. Melhor Artigo do 28o. Simpósio Brasileiro de Engenharia de Software: When Code-Anomaly Agglomerations Represent Architectural Problems? An Exploratory Study. Willian Oizumi, Alessandro Garcia, Manuele Ferreira, Arndt von Staa, Thelma Elita Colanzi

Melhor Artigo do 11o Workshop de Modularidade: Towards the Synthesis of Architecturally-Relevant Code Anomalies. Willian Oizumi, Alessandro Garcia, Leonardo da Silva Sousa, Danyllo Albuquerque, Diego Rego

Defesa de Tese de Doutorado: Using runtime information and maintenance knowledge to assist failure diagnosis, detection and recovery.

Autor: THIAGO PINHEIRO DE ARAUJO
Orientador: Arndt von Staa
Data e Hora: 07/10/2014 às 9:00
Local: 13º andar FPLF

Uma biologia teórica inspirado na teoria da computabilidade

Prof. Gregory Chaitin [1,2] (ministrado em português)

Abstract: We add a new (valid) strong propositional substitution rule
(SUB) : $\frac{\Gamma}{\theta(\Gamma)}$ for any $\theta \in
\mbox{Hom}(V~AR \to F0R)$ and consider dag-like cut-free sequent calculus
SEQ$_{sub}$ with (SUB) (for brevity classical, but also keep
intuitionistic one in mind). We formulate for SEQ$_{sub}$ the Hauptsatz
with Compression. We ask if SEQ$_{sub}$ admits better/faster speed-up of
proof compression than analogous calculus with weaker substitution for
$\theta \in \mbox{Hom}(V~AR \to LIT)$?


[1] http://en.wikipedia.org/wiki/Gregory_Chaitin

[2] https://ufrj.academia.edu/GregoryChaitin

[3] http://www.informatik.uni-trier.de/~ley/pers/hd/g/Gordeev:Lew

Lógicas e Ontologias: uma proposta nada modesta para o processamento semântico do Português

Profa. Valeria de Paiva

Abstract: Se nós conseguirmos produzir fórmulas lógicas a partir de textos
objetivos em Português, muitas aplicações, tais como extração de
informacões, sumarização, análise de sentimentos, tradução automática,
pesquisa semântica, perguntas e respostas etc. tornam-se factíveis. Mas
essas aplicações requerem muitos recursos léxicos.
Mesmo para a língua inglesa, que possui, por razões óbvias, o maior número
e variedade de recursos léxicos, alguns recursos ainda estão faltando, os
recursos existentes não são bem conectados e muita informação que poderia,
a princípio, ser obtida pela ligação de recursos existentes, não é fácil
de extrair. A situação e muito pior para o português, onde não temos os
grandes e longos projetos que acumularam anos-hora de trabalho de
linguistas tais como WordNet, ComLex, o Penn TreeBank, VerbNet, FrameNet,
GATE, NLTK, Delph-IN, ParGram, GF etc. Junto com colegas eu embarquei num
projeto de construir recursos léxicos semelhantes para o português, a
longo prazo. Nossa estratégia básica é construir tanto quanto possível
automaticamente, mas verificar os resultados obtidos manualmente da melhor
forma que conseguirmos. Essa palestra descreve as ferramentas
implementadas a partir de 2010 (OpenWorNet-PT e NomLex-PT), as que estamos
criando e as que as que planejamos implementar e explica porque elas são
úteis.

www.valeriadepaiva.org/

Teoria Estatística da Informação no Processamento de Imagens (com aplicações em imagens SAR)

Palestra do Prof. Alejandro C. Frery

Abstract: Veremos conexões interessantes entre Processamento de Imagens,
Teoria da Informação e Estatística. A Teoria da Informação é um ramo da
Probabilidade e da Estatística que, como corpo de conhecimento, ficou
consolidado em meados do século XX. Ela tem fortes conexões com as
Telecomunicações, e dois dos seus conceitos centrais são a Entropia e a
Divergência. O primeiro mede a desordem de um sistema estocástico,
enquanto o segundo mede quão diferentes dois sistemas estocásticos são.
Alguns problemas clássicos em processamento e análise de imagens são a
redução de ruído (filtrado), a detecção de bordas, a classificação e a
detecção de mudanças. As técnicas de origem estatística estão entre as
mais eficientes e eficazes para tratar esses. Dois pontos centrais desta
palestra são: (1) esses (e outros) problemas importantes em imagens podem
ser formulados como testes de hipóteses, e (2) podemos resolver esses
problemas com sucesso empregando entropias e divergências, mesmo quando o
modelo não é gaussiano (como é o caso das imagens SAR – Synthetic Aperture
Radar).

Defesa da Tese de Doutorado. A Blueprint-Based Approach for Prioritizing and Ranking Critical Code Anomalies

Autor: Everton Tavares Guimarães

Orientador: Alessandro Fabricio Garcia

Data: 12/09/2014 às 10:00

Local: 13º Andar/ Predio da FPLF

Defesa de Tese de Doutorado. Indução e Seleção Incrementais de Atributos no Aprendizado Supervisionado

Autor: Eduardo Neves Motta

Orientador: Ruy Luiz Milidiú

Data: 05/09/2014 às 10:00

Local: 510 RDC

Defesa de Dissertação de Mestrado. Um Processo para Definir Estratégias de Rastreabilidade: Um Case em Ambiente Oracle.

Autor: Marcelo Novaes Coutinho

Orientador: Julio Cesar S. do Prado Leite

Data: 04/09/2014 às 15:00

Local: 511 RDC

Defesa de Dissertação de Mestrado. Estudo da aplicação de componentes hierárquicos em um Sistema de Captura e Acesso.

Autor: Mauricio Arieira Rosas

Orientador: Noemi de La Rocque Rodriguez

Data: 29/08/2014 às 14:30

Local: 510 RDC

Defesa de Dissertação de Mestrado. Predição do Comportamento do Mercado Financeiro Utilizando Notícias em Português

Autor: Heraldo Pimenta Borges Filho

Orientador: Ruy Luiz Milidiú

Data: 29/08/2014 às 10:00

Local: 511 RDC