LINHA 3: Teorias e Métodos Computacionais
Esta linha se caracteriza pelo estudo de arquiteturas de computação e algoritmos em seu aspecto fundamental (teoria) e aplicado, visando a utilização dos métodos e técnicas computacionais na solução de problemas técnicos e científicos. A linha inclui os seguintes grandes temas: Correção e Propriedades Formais de Algoritmos; Teoria dos Grafos; Complexidade de Algoritmos; Computação Paralela, Distribuida e de Alto-Desempenho; Algoritmos para Grandes Volumes de Dados; Heurísticas e Meta-Heurísticas; Otimização Combinatória e Pesquisa Operacional; Lógica; Inteligência Computacional; Sistemas de Computação; Teoria da Computação; Matemática da Computação; Arquiteturas e Sistemas de Computação.
Projetos da Linha 3
| ID | Inicio | Titulo | Linha | Membros | Descrição |
|---|---|---|---|---|---|
| P13 | 2016 | Processamento e Interpretação Automáticos de Imagens Digitais em Ambientes Computacionais | L2,L3 | ALEXANDRE DA COSTA SENA Docente; DENNIS RIBEIRO PAIVA Discente (Graduação); GABRIEL DE MIRANDA PONTES DA SILVA Discente (Graduacão); GILSON ALEXANDRE OSTWALD PEDRO DA COSTA Docente; GUILHERME LUCIO ABELHA MOTA (Responsável pelo Projeto) Docente; IARA GIL GOMES DE ANDRADE Discente (Mestrado); JOSE MATHEUS FONSECA DOS SANTOS Discente (Mestrado); LILIAN DE SOUSA PIRES Discente (Mestrado); MAURICIO VICENTE DE LIMA JUNIOR Discente (Graduação); OTAVIO DA FONSECA MARTINS GOMES Participante Externo; PATRICK GONCALVES Discente (Mestrado); PIETTRO ALESSANDRO RODRIGUES TORRES Discente (Graduação); THIAGO FERRACCIOLI SIQUEIRA LEMOS Discente (Graduação); VINICIUS LAYTER XAVIER Docente; VITOR DA SILVA VIDAL Discente (Mestrado). | |
| P8 | 2016 | Estruturas de Dados e Algoritmos para Grandes Volumes de Dados | L3 | BRUNO PORTO MASQUIO Discente (Doutorado); FABIANO DE SOUZA OLIVEIRA Docente; GIANCARLO FRANCA DE ROBERTO Discente (Graduação); GUILHERME LUCIO ABELHA MOTA Docente; IGOR MACHADO COELHO Docente; JORGE LUIZ DE JESUS GOULART Discente (Doutorado); JUAN PEDRO ALVES LOPES Egresso; LUERBIO FARIA Docente; MARCELO SCHOTS DE OLIVEIRA Docente; MOYSES DA SILVA SAMPAIO JUNIOR Egresso; NATALIA PEDROZA DE SOUZA Egressa CCOMP; PAULO DIOGO RODRIGUES LEAO Discente (Doutorado); PAULO EUSTAQUIO DUARTE PINTO (Responsável pelo Projeto) Docente; PEDRO HENRIQUE RIBEIRO DA SILVA Participante Externo; RAQUEL MARCOLINO DE SOUZA Discente (Doutorado); THIAGO GOMES CARNEIRO Discente (Graduação). | |
| P6 | 2020 | Desenvolvimento de Aplicações, Técnicas de Otimização e Gerência de Recursos para Arquiteturas Heterogêneas Virtualizadas | L3 | ALETEIA PATRICIA DE ARAUJO Participante Externa; ALEXANDRE DA COSTA SENA Docente; ALEXANDRE RIBEIRO FERNANDES AZEVEDO Discente (Mestrado); ALEXANDRE SOLON NERY Participante Externo; ALINE DE PAULA NASCIMENTO Participante Externa; ANDRE LUIS CAGLIANONE GOUVEA Discente (Mestrado); BRUNO MARQUES COSTA Discente (Doutorado); BRUNO RAMOS CARRILHO Discente (Graduação); CRISTIANA BARBOSA BENTES (Responsável pelo Projeto) Docente; CRISTIANE OLIVEIRA DE FARIA Docente; DIANA ALMEIDA BARROS Discente (Mestrado); DILSON SILVA Docente; ESTEBAN WALTER GONZALEZ CLUA Participante Externo; EUGENE FRANCIS VINOD REBELLO Participante Externo; FABRICIO ALVES BARBOSA DA SILVA Participante Externo; GILSON ALEXANDRE OSTWALD PEDRO DA COSTA Docente; GUILHERME LUCIO ABELHA MOTA Docente; IGOR MACHADO COELHO Docente; KHALIL BELTRAO PEREIRA Egresso; LEANDRO AUGUSTO JUSTEN MARZULO Participante Externo; LUCIA MARIA DE ASSUMPCAO DRUMMOND Participante Externa; MARCIO NOGUEIRA PEREIRA DA SILVA Discente (Doutorado); MARIA CLICIA STELLING DE CASTRO Docente; MARIA CRISTINA SILVA BOERES Participante Externa; RODOLFO PEREIRA ARAUJO Discente (Doutorado); ROSELI SUZI WEDEMANN Docente; TIAGO ASSUMPCAO DE OLIVEIRA ALVES Participante Externo; VALMIR CARNEIRO BARBOSA Participante Externo; WALISSON PEREIRA DE SOUSA Discente (Doutorado). | |
| P4 | 2019 | Blockchain e Ledgers Descentralizados | L3 | BRUNO NAZARIO COELHO Participante Externo; CRISTIANE OLIVEIRA DE FARIA Docente; FABIANO DE SOUZA OLIVEIRA Docente; IGOR MACHADO COELHO (Responsável pelo Projeto) Docente; JOSE VITERBO FILHO Participante Externo; LUIZ SATORU OCHI Participante Externo; MATEUS NAZARIO COELHO Participante Externo; RAFAEL AUGUSTO DO COUTO ALBUQUERQUE Discente (Doutorado); RODOLFO PEREIRA ARAUJO Discente (Doutorado); THAIS RODRIGUES DE SOUZA Participante Externa; VANESSA FERNANDES DA SILVA Discente (Mestrado); VITOR NAZARIO COELHO Participante Externo; YURI BASTOS GABRICH Egresso. | |
| 2016 | Execução Eficiente de Aplicações Paralelas nos Novos Ambientes de Alto Desempenho | L3 | ALEXANDRE DA COSTA SENA (Responsável pelo Projeto) Docente;ALEXANDRE SOLON NERY Docente;CELIA MARTINS CORTEZ SILVA Docente;CRISTIANA BARBOSA BENTES Docente;CRISTIANE OLIVEIRA DE FARIA Docente;DILSON SILVA Docente;GILSON ALEXANDRE OSTWALD PEDRO DA COSTA Docente;GUILHERME LUCIO ABELHA MOTA Docente;IGOR MACHADO COELHO Docente;LEANDRO AUGUSTO JUSTEN MARZULO Docente;LUIS CRISTOVAO DE MORAES SOBRINO PORTO Participante Externo;MARIA CLICIA STELLING DE CASTRO Docente;RAFAELA CORREIA BRUM Discente;RENAN BIDES DE ANDRADE Discente;ROSELI SUZI WEDEMANN Docente | ||
| 2016 | Dataflow para Computação de Alto Desempenho | L3 | ADRIANNO DE ABBADIA SAMPAIO Discente;ALEXANDRE DA COSTA SENA Docente;ALEXANDRE SOLON NERY Docente;BRUNNO FIGUEIROA GOLDSTEIN Participante Externo;CAIO BONFATTI GOMES DE CARVALHO Participante Externo;CRISTIANA BARBOSA BENTES (Responsável pelo Projeto) Docente;FELIPE MAIA GALVAO FRANCA Participante Externo;JOYCE SANTOS DE MESQUITA Discente;LEANDRO AUGUSTO JUSTEN MARZULO Docente;LEANDRO SANTIAGO DE ARAUJO Discente;MARCELLE ENGLE CARVALHO SACRAMENTO Discente;MARCIO NOGUEIRA PEREIRA DA SILVA Discente;MARCOS PAULO CARNEIRO ROCHA Participante Externo;MARIA CLICIA STELLING DE CASTRO Docente;SANDIP KUNDU Participante Externo;TIAGO ASSUMPCAO DE OLIVEIRA ALVES Participante Externo;VICTOR DA CRUZ FERREIRA Discente;WALTER JUNIO SOUSA Discente |
Teses e Dissertações Defendidas da Linha 3
| ID | Ano | Autor | Título | Nível (M/D) | Orientadores | Linha | Defesa | Anexos |
|---|---|---|---|---|---|---|---|---|
| 131 | 2023 | Diana Almeida Barros | Evaluating Shared Memory Parallel Computing Mechanisms of Julia Language | M | Cristiana Barbosa Bentes | L3 | 26/04/2023 | |
| 129 | 2023 | Gabriel Pereira Mendes | Uma Proposta para Análise da Prevalência de Alelos HLA em Pacientes com COVID-19 | M | Alexandre da Costa Sena & Luís Cristóvão de Moraes Sobrino Pôrto | L3 | 13/03/2023 | |
| 126 | 2023 | Leonardo Cordeiro Portella | Emparelhamentos aplicados ao Problema do Carteiro Chinês Ponderado - uma análise de algoritmos exatos e não exatos | M | Fabiano de Souza Oliveira & Paulo Eustáquio Duarte Pinto | L3 | 25/01/2023 | |
| 117 | 2021 | Alexandre Ribeiro Fernandes Azevedo | Analysing and Optimizing the Kronecker Tensor Product of Matrices | M | Cristiana Barbosa Bentes & Maria Clicia Stelling de Castro | L3 | 14/09/2021 | |
| 116 | 2021 | Vanessa Fernandes da Silva | Estudo de Dispositivos IOT/IOV para Smart Cities utilizando Ledgers Distribuídos | M | Igor Machado Coelho & Maria Clicia Stelling de Castro | L3 | 08/09/2021 | |
| 108 | 2021 | Mauro Nigro Alves Junior | Sobre coloração total dos grafos circulantes | M | Diana Sasaki Nobrega | L3 | 19/02/2021 | |
| 104 | 2020 | Adrianno de Abbadia Sampaio | Um Acelerador Ray-Tracing de Baixo Custo Otimizado para Arquiteturas Heterogêneas | M | Alexandre da Costa Sena & Alexandre Solon Nery | L3 | 23/09/2020 | |
| 96 | 2019 | Yuri Bastos Gabrich | A blockchain application to pave the way for transactive energy on the Brazilian micro-mini grid context | M | Igor Machado Coelho & Vitor Nazário Coelho | L3 | 19/10/2019 |   |
| 89 | 2019 | Bruno Porto Masquio | Emparelhamentos Desconexos | M | Jayme Luiz Szwarcfiter & Paulo Eustáquio Duarte Pinto | L3 | 13/03/2019 | |
| 84 | 2019 | Raquel Marcolino de Souza | Análise da Complexidade de Pior Caso do ShellSort por Algoritmos | M | Fabiano de Souza Oliveira & Paulo Eustáquio Duarte Pinto | L3 | 15/02/2019 | |
| 81 | 2018 | Rodolfo Pereira Araujo | Estratégias de exploração de vizinhança com GPU para problemas de otimização | M | Igor Machado Coelho & Leandro Augusto Justen Marzulo | L3 | 09/10/2018 | |
| 80 | 2018 | Lívia Salgado Medeiros | Um Problema Extremal em Contagem de Intervalo | M | Fabiano de Souza Oliveira & Jayme Luiz Szwarcfiter | L3 | 14/09/2018 | |
| 79 | 2018 | Juliana Macario de Souza | Sobre Ferramentas para Análise Automatizada de Algoritmos | M | Fabiano de Souza Oliveira | L3 | 13/09/2018 | |
| 69 | 2018 | Anderson Zudio de Moraes | Meta-Heurísticas para o Problema de Empacotamento 2D e 3D | M | Igor Machado Coelho & Paulo Eustáquio Duarte Pinto | L3 | 19/02/2018 | |
| 68 | 2017 | Bruno Marques Costa | Otimização do Fluxo de Dados em uma Rede de Sensores Utilizando Técnicas de Codificação de Redes | M | Maria Clicia Stelling de Castro & Igor Machado Coelho | L3 | 28/11/2017 | |
| 59 | 2017 | Juan Pedro Alves Lopes | Estruturas de Dados Probabilísticas Aplicadas à Representação Implícita de Grafos | M | Fabiano de Souza Oliveira & Paulo Eustáquio Duarte Pinto | L3 | 10/03/2017 | |
| 58 | 2016 | Rafael José do Nascimento Silva | Estratégias de Escalonamento para Ambientes de Execução Guiada por Fluxo de Dados | M | Leandro Augusto Justen Marzulo & Tiago Assumpção de Oliveira Alves | L3 | 21/12/2016 | |
| 49 | 2016 | Luiz Eugênio Frazão Pinto Martins | Sobre a classe dos grafos PI unitário e classes relacionadas | M | Fabiano de Souza Oliveira | L3 | 09/03/2016 | |
| 48 | 2016 | Fabio Mascarenhas Loureiro | Uma análise das principais técnicas de agrupamento de dados, aplicadas a coletâneas textuais recuperadas de páginas web | M | Célia Martins Cortez & Alan Freitas Machado | L3 | 03/02/2016 | |
| 3 | 2023 | Mauro Nigro Alves Junior | Aspectos gerais sobre a conformabilidade de grafos | D | Diana Sasaki Nobrega & Luerbio Faria | L3 | 14/08/2023 | |
| 1 | 2022 | Bruno Porto Masquio | Connected And Disconnected Matchings | D | Jayme Luiz Szwarcfiter & Paulo Eustáquio Duarte Pinto | L3 | 18/11/2022 |