Departamento de Informática

Neste período, o processo de seleção foi extremamente competitivo. Seguem abaixo as relações de candidatos aceitos para o Mestrado e para o Doutorado iniciando em 2014.2.

• Candidatos aceitos ao Mestrado para 2014.2
• Candidatos aceitos ao Doutorado para 2014.2

Autor: Camila Pereira Dias
Orientador: Daniel Schwabe
Data/Hora: 16/07/2014 às 14:00 h
Local: 511 RDC

Palestra: “Cut-elimination and the decidability of reachability in alternating pushdown systems”
Palestrante: Prof. Gilles Dowek (INRIA)
Data e horário: 7/jul 14h
Local: 511 RDC

Proof theory and automata theory both provide methods to prove
decidability results. We will show in this talk that, despite differences
in their presentation, some proof-theoretical and automata-theoretical
methods essentially are the same. More precisely, we will give a new proof
of the decidability of accessibility in alternating pushdown systems,
showing that it is a consequence of a cut-elimination theorem for a
natural-deduction like system.

(Gilles Dowek et Ying Jiang)

Autor: Cecília Reis Englander Lustosa

Orientador: Edward Hermann Haeusler

Data: 08/07/2014     09:00 h     sala 511 RDC

Autor: MARCIO RICARDO ROSEMBERG
Orientador: Marcus Vinicius Soledade Poggi de Aragao
Data e Hora: 16/06/2014 às 11:30
Local: RDC418

Autor: BRUNO LEONARDO KMITA DE O PASSOS
Orientador: Eduardo Sany Laber
Data e Hora: 16/06/2014 às 09:00
Local: RDC511

BAPTISTA, G.L.B.; RORIZ, M.; VASCONCELOS, R.; OLIVIERI, B.; VASCONCELOS, I.; ENDLER, M. On-line detection of collective mobility patterns through distributed complex event processing. 19 p. [MCC17/13, PDF, 632KB]

Abstract: Applications such as fleet management, mobile task force coordination, logistics or traffic control can largely benefit from the on-line detection of collective mobility patterns of vehicles, goods or persons. However, collective mobility pattern analysis is exponential by nature, requires the high-throughput processing of large volumes of mobile sensor data, and thus generates huge communication and processing load to a monitoring system. Considering the benefits of the event-based asynchronous processing model for on-line monitoring applications, in this paper we argue that several collective mobility patterns can be elegantly described as a composition of reusable Complex Event Processing (CEP) rules, and specifically focus on the detection of the cluster mobility pattern. We also present a DDS-based mobile middleware that supports a distributed deployment of these CEP rules for such collective mobility pattern detection. As means of evaluating our approach we show that using our middleware it is possible to detect this mobility pattern for thousands of mobile nodes, with a latency that is adequate for most monitoring applications.

Veja mais Monografias em Ciência da Computação (MCCs) de 2013.

LIMA, E.S.; FURTADO, A.L. Handling Google snippets with SWI-Prolog. 25 p. Eng. [MCC01/14, PDF, 403KB)
Abstract: We have designed – and implemented in a preliminary version – a tool, named LOG-SNIP, for capturing snippets while performing Google searches for Web resources pertaining to a domain of interest, based on keywords adequate to delimit the domain. The snippets are decomposed into separate fields: name, date, url, info. A kws field is added by extracting resource-specific keywords from the name and info fields. Under the form of a five-field frame structure, the chosen snippets can then be recorded as Prolog clauses, to be subsequently used for all sorts of research purposes. Of particular value is the ability to employ the sets of resource-specific keywords to perform comparisons among the located domain resources. To present one possible application, we implemented a module that translates the stored clauses into the clauses required to run our previously created KWGPS tool.

Veja mais Monografias em Ciência da Computação (MCCs) de 2014.

O Departamento de Informática da PUC-Rio contratará dois professores para o seu quadro principal a partir de agosto de 2014.

A PUC-Rio é destacadamente uma universidade comunitária que oferece ótimas condições para pesquisa, desenvolvimento e inovação. Possui um campus agradável e bem localizado, uma administração ágil, e cursos de graduação e de pós-graduação que tradicionalmente contam com excelentes alunos. Em particular, o Departamento de Informática da PUC-Rio (DI) mantém desde a sua criação uma forte e contínua posição de liderança em pesquisa. Entre seus quadros figuram pioneiros da Computação no Brasil, cuja atuação inspirou professores que ingressaram no DI nas últimas décadas, os quais foram – eles também – pioneiros na criação e desenvolvimento de várias subcomunidades de interesse científico no país.

Em um mundo globalizado e tão diversificado como o de hoje, níveis de excelência são estabelecidos em função do desempenho exibido pelos melhores do mundo. Tal é o significado do mais elevado conceito, atribuído pela avaliação da CAPES, que o DI já atingiu por quatro triênios consecutivos. E isso se deve aos padrões internacionais de desempenho alcançados por esse departamento.

O perfil almejado de um professor do quadro principal do DI caracteriza-se por:

• produção científica relevante;
• formação de recursos humanos na graduação e na pós-graduação;
• desenvolvimento de projetos de pesquisa financiados por agências governamentais e indústria;
• visibilidade nacional e internacional; e
• administração universitária.

Convidamos excelentes pesquisadores interessados em fazer parte do quadro principal do DI/PUC-Rio a enviar por email no endereço edital@inf.puc-rio.br os seguintes documentos:

1) um projeto de pesquisa (no máximo 5 páginas) para um horizonte de 5 anos;
2) um memorial (no máximo 5 páginas) destacando os seus 5 melhores trabalhos, justificando a sua relevância;
3) curriculum vitae Lattes atualizado; e
4) duas ou mais cartas de recomendação a serem enviadas diretamente para o email do Diretor (diretor@inf.puc-rio.br) do DI, Professor Hugo Fuks.

As inscrições estão abertas até o dia 30/06/2014.

Autora: Eliana Leite Goldner

Orientador: Marcelo Gattass

Data: 06/06/2014    14:00 h      Auditório Luiz de Castro Martins