Mostrando resultados 416 a 435 de 1118
< Anterior
Próximo >
Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
15-Fev-2018 | 29-Set-2017 | Feature-family-based reliability analysis of software product lines | Martins Lanna, André Luiz Peron | Alves, Vander Ramos | Rodrigues, Genaína Nunes |
- | 27-Jan-2020 | Feature-Trace : an approach to generate operational profile and to support regression testing from BDD features | Barbosa, Rafael Fazzolino Pinto | Rodrigues, Genaína Nunes | - |
3-Abr-2020 | 31-Jul-2019 | Ferramenta de gestão de riscos aplicada a ambientes de desenvolvimento de software com foco na garantia da qualidade do produto | Lima, Ana Cristina Fernandes | Monteiro, Simone Borges Simão | - |
30-Jul-2012 | 17-Fev-2012 | Ferramenta de simulação com abordagem de sistema multiagente para a dinâmica de uso da terra | Abreu, Carolina Gonçalves | Ralha, Célia Ghedini | - |
27-Fev-2013 | 8-Jun-2010 | Ferramenta de visualização interativa de comparação entre múltiplos genomas para a identificação de Sintenias | Coimbra, Rodrigo Carneiro Munhoz | Walter, Maria Emília Machado Telles | - |
25-Abr-2019 | 31-Jul-2018 | Ferramentas de apoio a experimentos : um mapeamento sistemático | Lima, Ricardo de | Alves, Vander Ramos | - |
2006 | 2006 | A fibração de Hopf e superfícies de Willmore | Barroso Neto, Nilton Moura | Roitman, Pedro | - |
16-Mai-2016 | 22-Mar-2016 | Fickett-CUDAlign : comparação paralela de sequências biológicas com estratégia multi-bloco de faixas ajustáveis | Silva, Gabriel Heleno Gonçalves da | Melo, Alba Cristina Magalhães Alves de | - |
23-Mar-2021 | 30-Set-2020 | Filtro de Kalman aplicado no ensino médio | Silvestre, Sidney Claudino | Rispoli, Vinicius de Carvalho | - |
18-Jun-2019 | 11-Dez-2018 | Filtros de imagens digitais : uma transposição didática para o ensino médio | Silva, Alexia Castro da | Costa Júnior, Edson Alves da | - |
2-Jul-2020 | 18-Fev-2020 | Finite groups of bounded rank admitting an almost regular automorphism : a lie-theoretic approach | Azevedo, João Pedro Papalardo | Acciarri, Cristina | - |
2018 | - | Fixed-point constraints for nominal equational unification | Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele | - | - |
17-Out-2014 | 18-Jul-2014 | Flexibilidade em linhas de produtos dinâmicas cientes de qualidade : uma abordagem baseada em linguagens específicas de domínio | Pessoa, Leonardo Monteiro | Alves, Vander Ramos | - |
23-Abr-2019 | 11-Out-2018 | Flexibilização de regras de negócio aplicadas ao Sistema de Dotação de Material do Exército Brasileiro | Costa, Pedro Henrique Teixeira | Canedo, Edna Dias | - |
26-Fev-2024 | 23-Out-2020 | Fluxos de curvas no espaço hiperbólico e no cone de luz | Silva, Fábio Nunes da | Tenenblat, Keti | - |
6-Dez-2022 | - | Food neophobia in children with autistic spectrum disorder (ASD) : a nationwide study in Brazil | Almeida, Priscila Claudino de; Zandonadi, Renata Puppin; Nakano, Eduardo Yoshio; Vasconcelos, Ivana Aragão Lira; Botelho, Raquel Braz Assunção | - | - |
13-Mar-2018 | 28-Nov-2017 | Formação de doutores para atividades de caráter acadêmico via modelo de riscos proporcionais de Cox e regressão logística | Santos, Rayany de Oliveira | Nakano, Eduardo Yoshio | - |
2019 | - | Formação para a docência em matemática na Educação Básica no Brasil : experiência na formação inicial e continuada | Silva, Janaína Mendes Pereira da; Neves, Regina da Silva Pina; Silva, Wesley Pereira da; Oliveira, Maria Luísa Piantamar de; Sales, Jenifer de Sousa | - | - |
20-Dez-2012 | 17-Ago-2012 | Formalização da confluência para sistemas de reescrita ortogonais | Oliveira, Ana Cristina Rocha | Ayala-Rincón, Mauricio | - |
7-Mai-2011 | 3-Dez-2009 | Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | Galdino, André Luiz |