Archive for the ‘Pós-graduação’ Category.

Defesa de Dissertação de Mestrado: Visualização 3D de Simulações de Evacuação de Emergência em Tempo Real

Autor: Guilherme Bezerra Zampronio
Orientador: Alberto Barbosa Raposo
Data e Hora: 02/03/2015 às 14:00
Local: RDC510

Defesa de Tese de Doutorado: A Context-aware Model for Decision-making within Multi-expertise Tactical Planning in a Major Incident

Autor: Marcus Franco Costa de Alencar
Orientador: Alberto Barbosa Raposo
Data e Hora: 27/02/2015 às 10:00
Local: RDC511

Palestra 6/fev às 14h na sala 511 RDC – An Exact Method for Vehicle Routing and Truck Driver Scheduling Problems – Asvin Goel

An Exact Method for Vehicle Routing and Truck Driver Scheduling Problems
Asvin Goel and Stefan Inrich

In most developed countries working hours of truck drivers are constrained by hours of service regulations. When optimizing vehicle routes, trucking companies must consider these constraints in order to assure that drivers can comply with the regulations. This talk presents the vehicle routing and truck driver scheduling problem (VRTDSP), which generalizes the well-known vehicle-routing problem with time windows by considering working hour constraints. A branch-and-price algorithm for solving the VRTDSP with U.S. hours of service regulations is presented. This is the first algorithm that solves the VRTDSP to proven optimality.

Palestra 2/fev às 14h na sala 511 RDC – Substitution in the Presence of Quantification – Rene Gazarri

Título: Substitution in the Presence of Quantification

Abstract: Aim of this short talk is to outline the formal treatment of substitution in the presence of quantification. For that purpose, we carry over our methods introduced in our last talk from the case of occurrences in usual terms to the realm of untyped lambda calculus. With this formalism available, we are able to define central notions as “free for substitution” and different special substitution functions as the substitution of all free occurrences of a variable or the renaming of bounded variables. We conclude our talk with some remarks about the limits of our methods. In particular, we discuss why we are not able to treat syntactical entities as derivations in the same way.

Defesa de Tese de Doutorado: Design Rationale in RDB-to-RDF processes

Autor: Rita Cristina Galarraga Berardi
Orientador: Marco Antonio Casanova
Data e Hora: 04/02/2015 às 13:00
Local: RDC511

Dissertação de Mestrado: Controle de sobrecarga em arquiteturas baseadas em estágios

Autor: Breno Riba da Costa Cruz
Orientador: Noemi Rodriguez
Data e Hora: 04/02/2015 às 10:00
Local: RDC511

Resultado da Seleção para a Pós-Graduação (início em 2015.1)

Já estão disponíveis as listas de candidatos aceitos para o Mestrado e para o Doutorado com início em 2015.1.

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

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).