Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
5-Jan-2023 | 19-Abr-2022 | Comparação paralela de sequências biológicas em plataformas de hardware uniformes e híbridas | Jorge, Carlos Antônio Campos | Melo, Alba Cristina Magalhães Alves de | - |
9-Set-2022 | 31-Mai-2022 | Um novo algoritmo 1.375-aproximativo baseado em grupos de permutações para o Problema da Ordenação por Transposições | Silva, Luiz Augusto Garcia da | Walter, Maria Emília Machado Telles | - |
1-Jun-2022 | 11-Mar-2022 | Grammar compression by induced suffix sorting | Nunes, Daniel Saad Nogueira | Ayala-Rincón, Mauricio | - |
1-Jun-2022 | 2-Mar-2022 | Command and control agility : a software product line approach | Amorim, Junier Caminha | Alves, Vander Ramos | - |
9-Nov-2021 | 21-Mai-2021 | Applying fine-grained co-change dependencies to identify refactoring opportunities | Oliveira, Marcos César de | Almeida, Rodrigo Bonifácio de | - |
4-Nov-2021 | 9-Jul-2021 | On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | Muñoz, César Augusto |
3-Nov-2021 | 26-Jul-2021 | 3D point-cloud quality assessment using color and geometry texture descriptors | Diniz, Rafael | Farias, Mylène Christine Queiroz de | Freitas, Pedro Garcia |
26-Jul-2021 | 10-Mai-2021 | Eficiência energética em redes ópticas elásticas | Costa, Lucas Rodrigues | Drummond, André Costa | - |
26-Jul-2021 | 5-Mar-2021 | Comparação paralela de sequências biológicas em múltiplas GPUs com descarte de blocos e estratégias de distribuição de carga | Figueirêdo Júnior, Marco Antônio Caldas de | Melo, Alba Cristina Magalhães Alves de | - |
12-Jun-2021 | 4-Mar-2021 | Precificação em computação em nuvem para instâncias permanentes e transientes : modelagem e previsão | Portella, Gustavo Jardim | Melo, Alba Cristina Magalhães Alves de | Rodrigues, Genaína Nunes |
28-Jul-2020 | 2-Mar-2020 | FDT-MAC e FDMR-MAC : protocolos de controle de acesso ao meio projetados para explorar o potencial das comunicações full-duplex | Guimarães, Lucas de Melo | Bordim, Jacir Luiz | - |
9-Jun-2020 | 12-Dez-2019 | Uma arquitetura resiliente baseada em agentes para instâncias transientes na computação em nuvem | Araújo Neto, José Pergentino de | Ralha, Célia Ghedini | - |
9-Jul-2020 | 13-Dez-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |
15-Jun-2020 | 9-Ago-2019 | The application of analysis filters in compressed sensing algorithms for magnetic resonance imaging reconstruction | Lima, Jonathan Alis Salgado | Farias, Mylène Christine Queiroz de | Miosso, Cristiano Jacques |
27-Set-2019 | 20-Fev-2019 | Nominal equational problems modulo associativity, commutativity and associativity-commutativity | Carvalho Segundo, Washington Luís Ribeiro de | Ayala-Rincón, Mauricio | Fernández, Maribel |
15-Ago-2019 | 11-Fev-2019 | A three layer system for audio-visual quality assessment | Becerra Martinez, Helard Alberto | Farias, Mylène Christine Queiroz de | - |
6-Mar-2019 | 23-Ago-2018 | An empirical workflow of uncertainty quantification to evaluate agent-based simulation outputs aiming analytical confidence | Abreu, Carolina Gonçalves | Ralha, Célia Ghedini | - |
19-Abr-2018 | 18-Out-2017 | Using texture measures for visual quality assessment | Freitas, Pedro Garcia | Farias, Mylène Christine Queiroz de | - |
10-Abr-2018 | 19-Dez-2017 | Alinhamento primário e secundário de sequências biológicas em arquiteturas de alto desempenho | Lima, Daniel Sundfeld | Melo, Alba Cristina Magalhães Alves de | - |
20-Fev-2018 | 28-Set-2017 | Distinguishing long non-coding RNAs from protein coding transcripts based on machine learning techniques | Schneider, Hugo Wruck | Walter, Maria Emília Machado Telles | - |