Fechar

Notícias sobre Pesquisa

07/02/2018, 08:54
Defesa de Tese de Doutorado: Matheuristics for Variants of the Dominating Set Problem

Autor: Mayra Carvalho Albuquerque Orientador: Thibaut Victor Gaston Vidal Data e Horario: 08/02/2018 às 10:00 Local: RDC511

06/02/2018, 15:17
Defesa de Tese de Doutorado: Eunomia (Euvonia )A Requirement Engineering Based Compliance Framework for Software Systems

Autor: Priscila Engiel Orientador:  Julio Cesar Sampaio do Prado Leite Data e Horario: 07/02/2018 às 10:00 Local: RDC511

02/02/2018, 14:29
Defesa de Dissertação de Mestrado: Ship routing and speed optimization with heterogeneous fuel consumption profiles

Autor: Gabriel André Homsi Orientador: Thibaut Victor Gaston Vidal Data e Horario: 08/02/2018 às 15:00 Local: RDC511

01/02/2018, 13:46
Defesa de Dissertação de Mestrado: Uma Arquitetura de Software para apoio ao desenvolvimento de sistemas de diagnóstico médicos por imagem.

Autor: Ricardo Almeida Venieris Orientador: Carlos José Pereira de Lucena Data e Hora: 07/02/2018 às 10:30 Local: FPLF 13º Andar

30/01/2018, 07:42
Defesa de Dissertação de Mestrado: Alumni Tool: Recuperação de dados pessoais na Web em redes sociais autenticadas.

Autor: Luis Gustavo Almeida Orientador: Marco Antonio Casanova Data e Hora: 31/01/2018 às 15:00 Local: RDC 511

08/01/2018, 08:16
Defesa de Mestrado: Efficient ANNS for the Kullback-Leibler divergence via Inner Product Embeddings

Autor: Daniel Alejandro Mesejo-Leon Orientador: Eduardo Sany Laber Data e Hora: 09/01/2018 às 09:00 Local: RDC511

14/12/2017, 07:48
Defesa de Tese: Software of Places: Toward a Self-Learning Closed Plant Production System

Autor: Marcio Luiz Coelho Cunha Orientador: Hugo Fuks Data e Hora: 20/12/2017 às 14:00 Local: RDC511

11/12/2017, 14:17
Defesa de Tese de Doutorado: Enriching and analyzing Semantic Trajectories with Linked Open Data

Autor: Livia Couto Ruback Rodrigues Orientador: Marco Antonio Casanova Data e Hora: 15/12/2017 às 10:00 Local: RDC511

18/10/2017, 09:05
Defesa de Tese de Doutorado: Detecção Automática de Áreas Construídas em imagens do Google Earth

Autor: Cassio Freitas Pereira de Almeida Orientador: Hélio Côrtes Vieira Lopes Data e Hora: 26/10/2017 às 09:30 Local: RDC 511

17/10/2017, 09:36
Defesa de Dissertação de Mestrado: Uma ferramenta de realidade virtual para a introdução à programação e pensamento computacional para jovens

Autor: Herminio Paucar Curasma Orientador: Alberto Barbosa Raposo Data e Hora: 24/10/2017 às 10:30 Local: RDC 511

02/10/2017, 14:26
Defesa de Tese de Doutorado: A Model for Exploration of Semi-Structured Datasets

Autor: Thiago Ribeiro Nunes Orientador: Daniel Schwabe Data e Hora: 06/10/2017 às 13:00 Local: RDC 510

02/10/2017, 14:05
Defesa de Dissertação de Mestrado: Avaliação da qualidade da montagem de fragmentos de sequências biológicas

Autor: Alejandro Mustelier Menés Orientador: Sergio Lifschitz Data e Hora: 06/10/2017 às 09:00 Local: RDC 511

25/09/2017, 15:49
Defesa de Dissertação de Mestrado: Campos de direcionalidade na geração e avaliação de malhas de quadriláteros

Autor: Alice Herrera de Figueiredo Orientador: Waldemar Celes Filho Data e Hora: 29/09/2017 às 10:00 Local: Tecgraf, 6º andar, Auditório

25/09/2017, 15:27
Defesa de Tese de Doutorado: Extending multimedia languages to support multimodal user interactions

Autor: Alan Lívio Vasconcelos Guedes Orientador: Simone Diniz Junqueira Barbosa Data e Hora: 29/09/2017 às 14:00 Local: FPLF 13º Andar

18/09/2017, 15:20
Defesa de Tese de Doutorado: Analisando o Alinhamento Estratégico de Recursos Humanos Através de Modelos Organizacionais

Autor: Henrique Prado de Sá Sousa Orientador: Julio Cesar Sampaio do Prado Leite Data e Hora: 25/09/2017, 10:00 Local: RDC510


Á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 bib-di@inf.puc-rio.br.