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

Defesa de Tese de Doutorado: Safe Record Sharing in Dynamic Programming Languages

Autor: Alexandre Rupert Arpini Skyrme
Orientador: Noemi Rodriguez
Data e Hora: 27/03/2015 às 14:00
Local: FPLF 13º Andar

Defesa de Dissertaão de Doutorado: Avaliação do impacto de acidentes de trânsito a partir de valores de velocidade

Autor : Ivanildo Barbosa
Orientador: Marco Antonio Casanova
Data e hora: 27/03/2015 às 13:00
Loca : 510

Defesa de Dissertação de Mestrado: Engenharia Reversa em Modelos CAD Utilizando SVM e Descritores de Forma

Autor: Andre de Souza Moreira
Orientador: Marcelo Gattass
Data e hora: 27/03/2015 às 14:00
Local: Auditório do Tecgraf, 6º andar do prédio Pe. Laércio Dias de Moura

Defesa de Dissertação de Mestrado: Sintonia fina baseada em ontologia: o caso de visões materializadas

Autor: RAFAEL PEREIRA DE OLIVEIRA
Orientador: Sergio Lifschitz
Data e Hora: 25/03/2015 às 10:00
Local: RDC510

Defesa de Dissertação de Mestrado: An Approach for Movement Coordination of Swarms of Unmanned Aerial Vehicles by Using Mobile Networks

Autor: BRUNO JOSE OLIVIERI DE SOUZA
Orientador: Markus Endler
Data e Hora: 18/03/2015 às 15:00
Local : RDC510

Defesa de Dissertação de Mestrado: Um assistente dirigido por modelos para auxilio ao desenvolvimento de aplicações WWW

Autor: MILENA OSSORIO LAMI
Orientador: Daniel Schwabe
Data e Hora: 16/03/2015 às 14:00
Local: RDC510

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.