Fechar

Notícias sobre Pesquisa

03/10/2019, 09:52
Defesa de Dissertação de Mestrado: Amplifying cognition through continuous offering of answers to related queries

Autor: Dalai dos Santos Ribeiro Orientador: Simone Diniz Junqueira Barbosa Data e Hora: 10/10/2019 às 14:00 Local: RDC510

27/09/2019, 08:41
Defesa de Dissertação de Mestrado: Model Driven Questionnaires based on a Domain Specific Language

Autor: Luciane Calixto de Araújo Orientador: Marco Antonio Casanova Data e Hora: 03/10/2019 às 10:00 Local: RDC511

24/09/2019, 09:48
Defesa de Dissertação de Mestrado: BraPolar: uma aplicação para o monitoramento remoto de pessoas com transtorno bipolar

Autor: Abel González Mondejár Orientador: Alberto Barbosa Raposo Data e Hora: 01/10/2019 às 09:30 Local: RDC510

20/09/2019, 15:34
Defesa de Tese de Doutorado: Modelagem Esparsa e Supertraços para Deconvolução e Inversão Sísmicas

Autor: Rodrigo Costa Fernandes Orientador: Marcelo Gattass Data e Hora: 27/09/2019 às 10:00 Local: Auditório TECGRAF

18/09/2019, 15:08
Defesa de Dissertação de Mestrado: Formação de Comboios Autônomos Dinâmicos: Uma Abordagem de Auto-organização

Autor: Lauro de Lacerda Caetano Orientador: Carlos José Pereira de Lucena Data e Hora: 25/09/2019 às 10:30 Local: FPLF 13º andar

18/09/2019, 11:52
Defesa de Dissertação de Mestrado: Using LEAN to show that every exponentially big normal proof in Minimal Implicational Logic is exponentially redundant

Autor: Robinson Callou de Moura Brasil Filho Orientador: Edward Hermann Haeusler Data e Hora: 24/09/2019 às 09:30 Local: RDC510

17/09/2019, 16:58
Defesa de Dissertação de Mestrado: Um serviço de Middleware para atuação genérica e remota de dispositivos na Internet das Coisas Móveis

Autor: Sheriton Rodrigues Valim Orientador: Markus Endler Data e Hora: 20/09/2019 às 16:00 Local: RDC510

17/09/2019, 16:47
Defesa de Tese de Doutorado: A novel approach for de Bruijn Graph construction in de novo genome fragment assembly

Autor: Elvismary Molina de Armas Orientador: Sergio Lifschitz Data e Hora: 23/09/2019 às 13:30 Local: FPLF 13º andar

13/09/2019, 14:12
Defesa de Dissertação de Mestrado: Web Templates Support in NCL Player

Autor: Bruno Xavier Leitão Orientador: Sérgio Colcher Data e Hora: 20/09/2019 às 10:00 Local: RDC510

11/09/2019, 11:27
Defesa de Tese de Doutorado: Variability-Aware Embodied Agents: Foundations, Technologies and Applications

Autor: Nathalia Moraes do Nascimento Orientador: Carlos José Pereira de Lucena Data e Hora: 18/09/2019 às 13:30 Local: FPLF 13º andar

10/09/2019, 14:37
Defesa de Dissertação de Mestrado: Classification of Table Rows

Autor: Yosveni Escalona Escalona Orientador: Marco Antonio Casanova Data e Hora: 17/09/2019 às 14:00 Local: RDC510

06/09/2019, 14:08
Defesa de Dissertação de Mestrado: Detecção de anomalias nas métricas das monitorações de máquinas de um data center

Autor: Ricardo Souza Dias Orientador: Marcus Vinicius Soledade Poggi de Aragão Data e Hora: 13/09/2019 às 14:00 Local: RDC510

05/09/2019, 17:25
Defesa de Dissertação de Mestrado: Uso de petrinet na modelagem de alocação de recursos em mineração de processos.

Autor: Beatriz Marques Santiago Orientador: Hélio Côrtes Vieira Lopes Data e Hora: 12/09/2019 às 10:00 Local: RDC510

02/09/2019, 09:52
Defesa de Tese de Doutorado: Combinação e seleção automática de ações de sintonia fina.

Autor:  Rafael Pereira de Oliveira Orientador: Sergio Lifschitz Data e Hora: 09/09/2019 às 10:00 Local: FPLF 13º andar


Áreas de Pesquisa

Banco de Dados

Os Sistemas de Gerenciamento de Bancos de Dados (SGBDs) são fundamentais para suporte a várias áreas de aplicações. No passado, as pesquisas voltaram-se para SGBDs para suporte a aplicações típicas, tais como gestão de pessoal e financeira. O advento de novas aplicações não-convencionais, tais como multimídia, CAD, CASE e cartográficas,…

Professores Atuantes:
Núcleos relacionados:
Ciência de Dados

Ciência de Dados (Data Science) é uma área interdisciplinar que investiga modelos, métodos, processos, algoritmos e ferramentas que permitam extrair conhecimento e descobertas de dados heterogêneos (estruturados ou não), geralmente em grande volume e advindos de diferentes fontes. Atualmente, esta área compreende as seguintes linhas de pesquisa: Algoritmos e estruturas…

Computação Gráfica

O programa acadêmico cooperativo de Computação Gráfica envolve os departamentos de Informática, Engenharia Mecânica, Engenharia Civil e Matemática, e conta com a colaboração do IMPA. O laboratório mais abrangente do programa é o Laboratório de CAD Inteligente (ICAD), tanto do ponto de vista do número de pesquisadores quanto do grau…

Engenharia de Software

A área de Engenharia de Software engloba várias disciplinas e visa trazer para a construção de software os métodos de trabalho das engenharias tradicionais. Uma das principais metas da engenharia de software é construir software podendo-se falar em qualidade do produto e respeito a custo/cronograma predefinidos. No atual estágio de…

Hipertexto e Multimídia

A área de Hipertextos e Multimídia estuda os diversos aspectos envolvidos no uso de informações e conhecimento representados em múltiplas mídias. As pesquisas desenvolvidas abrangem desde os fundamentos até a utilização destas tecnologias e conceitos na solucão de problemas do mundo real. Na parte de fundamentos, são investigados os métodos…

Professores Atuantes:
Núcleos relacionados:
Interação Humano-Computador

A área de Interação Humano-Computador (IHC) se dedica a investigar a interação entre pessoas e artefatos de base computacional. Tem por objetivos principais: alavancar o desenvolvimento de novas tecnologias; aumentar a qualidade dos produtos tecnológicos existentes; e subsidiar a pesquisa científica em várias áreas envolvidas com Computação, Ciências Sociais e…

Linguagens de Programação

Linguagens de programação constituem uma linha básica da computação, separada da Engenharia de Software em várias classificações, por exemplo nos códigos de linha do CNPq. Nesta linha estão incluídas as pesquisas referentes a compiladores, autômatos e ambientes de programação. Em especial, dirigem-se esforcos para o desenvolvimento de compiladores e interpretadores…

Professores Atuantes:
Núcleos relacionados:
Otimização e Raciocínio Automático

As pesquisas na área de raciocínio automático têm como objetivo o projeto e a análise de programas que aprendem modelos de classificação/predição a partir de bases de conhecimento e, também, de programas que aprendem políticas/estratégias de ação a partir de tentativa e erro. As pesquisas na área de otimização combinatória…

Redes de Computadores e Sistemas Distribuídos

A pesquisa na área de sistemas distribuídos e redes de longa distância trata de problemas relacionados a protocolos e serviços interredes. São estudados problemas relacionados com projeto e gerenciamento de redes com grande número de nós, como a Internet. A existência de tais redes abre uma nova gama de possibilidades…

Professores Atuantes:
Núcleos relacionados:
Teoria da Computação

A área de Teoria da Computação visa fornecer fundamentos matemáticos rigorosos para as diversas áreas da Informática. O grupo de pesquisadores que a compõem no Departamento está envolvido em projetos que vão desde a lógica formal até a semântica denotacional, os cálculos de construção de programas e o projeto e…

Professores Atuantes:
Núcleos relacionados:

Livros Publicados pelos Professores do DI

Programming in Lua, 3rd edition
Autor: Ierusalimschy, R.
Programando em NCL
Autores: Soares, L.F.G., Barbosa, S.D.J.
Context Management for Distributed and Dynamic Context-Aware Computing
Autores: da Rocha, R.C.A., Endler, M.
Editora: SpringerBriefs in Computer Science, Springer Verlag
ISBN: 978-1-4471-4019-1. 2012
Decentralized Reasoning in Ambient Intelligence
Autores: Viterbo, J., Endler, M.
Editora: SpringerBriefs in Computer Science, Springer Verlag
ISBN: 978-1-4471-4019-1. 2012.
Lais dos Bretões
Autor: Furtado, A.L.
Editora: Editora PUC-Rio
Sistemas Colaborativos
Autores: Pimentel, M., Fuks, H.
Editora: Elsevier
Interação Humano-Computador
Autores: Barbosa, S.D.J., Silva, B.S.
Editora: Campus-Elsevier
Semiotic Engineering Methods for Scientific Research in HCI
Autores: de Souza, C.S., Leitão, C.F.
Editora: Morgan & Claypool
Introdução à Ciência da Computação com Jogos
Autores: Feijó, B., Clua, E., Silva, F.S.C
Editora: Campus-Elsevier
Web Engineering
Autores: Rossi, G., Pastor, O., Schwabe, D., Olsina, L.
Editora: Springer
Lua Programming Gems
Autores: Figueiredo, L.H., Celes, W., Ierusalimschy, R. (eds.)
Software Engineering for Multi-Agent Systems V
Autores: Choren, R., Lucena, C. J. P., Garcia, A. F., Giese, H., Leung, H. F.
Editora: Springer
Semantic Web: Concepts, Technologies and Applications
Autores: Breitman, K. K., Casanova, M. A., Truszkowski, W.
Editora: Springer
Software Engineering for Multi-Agent Systems IV
Autores: Garcia, A.F., Choren, R., Lucena, C. J., Giorgini, P., Holvoet, T., Romanovsky, A.
Editora: Springer
Programming in Lua, Second Edition
Autor: Ierusalimschy, R.
Editora: Lua.Org
Programmieren mit Lua
Autor: Ierusalimschy, R.
Lua 5.1 Reference Manual
Autores: Ierusalimschy, R., Figueiredo, L.H., Celes, W.
Software Engineering for Multi-Agent Systems III
Autores: Choren, R., Garcia, A.F., Lucena, C. J., Romanovsky, A. (eds.)
Editora: Springer
The Semiotic Engineering of Human-Computer Interaction
Autor: de Souza, C. S.
Editora: MIT Press
VoIP Voz Sobre IP
Autores: Colcher, S., Soares, L. F. G., Souza, G. L., Gomes, A. T. A., Silva, A. O.
Editora: Campus
Perspectives on Software Requirements
Autores: Leite, J. C. , Doorn, J. H.
Editora: Kluwer
Software Engineering for Multi-Agent Systems II
Autores: Lucena, C. J., Garcia, A.F., Romanovsky, A., Castro, J., Alencar, P. (eds.)
Editora: Springer
Introdução a Estruturas de Dados – com técnicas de programação em C
Autores: Celes, W., Cerqueira, R., Rangel, J.
Editora: Campus
Aventuras da Távola Redonda
Autor: Furtado, A.L. (org.)
Editora: Editora Vozes
Software Engineering for Large-Scale Multi-Agent Systems
Autores: Garcia, A.F., Lucena, C. J., Zambonelli, F., Omicini, A., Castro, J. (eds.)
Editora: Springer
Middleware 2003
Autores: Endler, M., Schmidt, D. (eds.)
Editora: – ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003. LNCS, Volume 2672. Springer, 2003
Lais de Maria de França
Autor: Furtado, A.L. (trad.)
Editora: Editora Vozes
Programação Modular
Autor: von Staa, A.
Editora: Editora Campus
A Educação na Era da Internet
Autores: Lucena, C. J.P. , Fuks, H.
Editora: Editora Clube do Futuro
Engenharia de Software com CMM
Autores: Fiorini, S.T., von Staa, A., Baptista, R.M.
Editora: Brasport
Artur e Alexandre: Crônica de dois reis
Autores: Furtado, A.L,
Editora: Editora Ática
Redes de computadores; das LANs, MANs, e WANs às redes ATM
Autores: Soares. L.F.G., Souza Filho, G.L., Colcher, S.
Editora: Editora Campus
Redes Locais
Autor: Soares, L.F.G.
Editora: Ed. Campus
Data Communication Systems and Their Performance
Autores: de Moraes, L.F.M., de Souza e Silva, E., Soares, L.F.G. (eds.)
Editora: IFIP TC6/WG7.3. Elsevier (North Holland)
Engenharia de Programas
Autor: von Staa, A.
Editora: LTC Editora
Programação em Lógica e a Linguagem Prolog
Autores: Casanova, M.A., Giorno, F.A.C., Furtado, A.L.
Editora: Editora Edgard Blücher, Ltda.
Organização de Bancos de Dados
Autores: Furtado, A.L., Santos. C.S.
Editora: Editora Campus
Estruturas de Dados
Autores: Veloso, P. , Santos, C., Azeredo, P., Furtado, A.L.
Editora: Editora Campus
Formal Techniques for Data Base Design
Autor: Furtado, A.L.
Editora: Springer-Verlag
Paradigmas de Linguagens de Programação
Autor: Furtado, A.L.
Editora: Unicamp
Engenharia de Programas
Autor: von Staa, A.
Editora: LTC Editora
Engenharia de Programas
Autor: von Staa, A.
Editora: Terceira Escola de Computação.
Projeto de Programas: Aplicações de programação estruturada em COBOL
Autores: Lucena, C.J.P., von Staa, A.
Editora: SERPRO
Introdução à Programação com PL/1
Autores: Furtado, A.L. , Passos, E.L.
Teoria dos Grafos – Algoritmos
Autor: Furtado, A.L.
Editora: Livros Técnicos Científicos
Introdução às Estruturas de Informação
Autor: Lucena, C.J
Editora: Ao Livro Técnico S.A

Monografias e Teses

O Departamento de Informática – DI mantém uma Assessoria de Biblioteca, Documentação e Informação, situada no prédio do Núcleo de Inovação Tecnológia – NIT, cuja função é atender professores e alunos de pós-graduação da área de Informática em suas demandas de serviços. Esses serviços podem ser consultados abaixo.

1 Serviços de Biblioteca, com o apoio da Divisão de Bibliotecas e Documentação-DBD;

2 Serviços de Publicação e Documentação;

3 Recursos Informacionais.

A Assessoria é responsável, ainda, pela gestão e divulgação da produção acadêmica do Departamento de Informática, que pode ser consultada a seguir:

1 – Monografias em Ciência da Computação, nossa série de relatórios de pesquisa;
2 – Teses e Dissertações defendidas e homologadas;
3 – Produção bibliográfica – livros, periódicos e artigos em anais de congressos – publicada em veículos de ampla circulação.

Desejando informações adicionais, envie mensagem para publicar@inf.puc-rio.br.