Showing results 1528 to 1546 of 1546
< previous
| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
| 25-Nov-2014 | 3-Jul-2014 | VaR para riscos agregados não necessariamente independentes com cópulas | Faria, João Marcelo Brito Alves de | Guevara Otiniano, Cira Etheowalda | - |
| 2009 | 2009 | Variedades de grupos e generalizações verbais para o problema restrito de Burnside | Silva, Jhone Caldeira | Shumyatsky, Pavel | - |
| 2008 | 2008 | Variedades de p-grupos sem base finita | Brito, Jorge Augusto Gonçalo de | Krassilnikov, Alexei | - |
| 13-Aug-2024 | 15-Jun-2023 | Verificação das propriedades computacionais de um modelo funcional de primeira-ordem | Ramos, Thiago Mendonça Ferreira | Ayala-Rincón, Mauricio | Muñoz, César Augusto |
| 22-Oct-2014 | 4-Jul-2014 | Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | - |
| 11-May-2011 | 13-Jul-2010 | Verificação de propriedades do cálculo גex em Coq | Carvalho Segundo, Washington Luís Ribeiro de | Moura, Flávio Leonardo Cavalcanti de | - |
| 17-Jul-2015 | 10-Mar-2015 | Verificação de texto manuscrito em dispositivos móveis | Guerin Júnior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |
| 15-May-2020 | 26-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
| 13-Aug-2024 | 18-Jan-2024 | Visual and textual feature fusion for document analysis | Drumond, Patrícia Medyna Lauritzen de Lucena | Campos, Teófilo Emídio de | - |
| Jul-2024 | - | Visual-aided obstacle climbing by modular snake robot | Koike, Carla Maria Chagas e Cavalcante; Viana, Dianne Magalhães; Yudi, Jones; Batista, Filipe Aziz; Costa, Arthur Reichert; Carvalho, Vinícius; Rocha, Thiago de Deus Lima | - | - |
| 7-Dec-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
| 3-Dec-2020 | 6-Aug-2020 | Visualizações dinâmicas na geometria plana do PROFMAT | Silva, Mayco Sabóia | Evangelista, Tatiane da Silva | - |
| Dec-2019 | - | Vocal fold oscillators at large asymmetries | Lucero, Jorge Carlos; Pelorson, X.; Hirtum, A. V. | - | - |
| 12-Nov-2018 | 6-Jul-2018 | W-congruences for minimal surfaces in Nil3 and Laguerre minimal surfaces in space forms | Xavier, Bruno Marino | Roitman, Pedro | - |
| - | 18-Feb-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |
| Oct-2020 | - | What do female students in middle and high schools think about computer science majors in Brasilia, Brazil? : a survey in 2011 and 2019 | Holanda, Maristela Terto de; Mourão, Roberto N.; Borries, George Freitas von; Ramos, Guilherme Novaes; Araújo, Aletéia Patrícia Favacho de; Walter, Maria Emília Machado Telles | - | - |
| 20-Jul-2023 | 12-Dec-2022 | When technical solutions are not enough : analysing challenges at delivery in mixed-signal projects inside design houses : Software Engineering research perspective | Vidigal, Tiago Pereira | Aguiar, Carla Silva Rocha | - |
| 13-Aug-2021 | 20-May-2021 | Xadrez de sociedade : do game à gamificação | Escobar, Daniel Mattos | Bastos Júnior, Raimundo de Araújo | - |
