Skip navigation

Navegando por Unidade Acadêmica Instituto de Ciências Exatas (IE)

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 728 a 747 de 1102 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
16-Mai-2023-On compact groups with Engel-like conditionsBastos Júnior, Raimundo de Araújo; Silveira, Danilo Sanção da--
2-Jul-20244-Mai-2023On some aspects of mathematical and computational models for simulations of granular materialsBufolo, Gabriel NóbregaSobral, Yuri Dumaresq-
4-Nov-20219-Jul-2021On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVSAlmeida, Ariane AlvesAyala-Rincón, MauricioMuñoz, César Augusto
21-Abr-2021-On the dimension of the space of harmonic functions on transitive shift spacesCioletti, Leandro Martins; Melo, Leonardo; Ruviaro, Ricardo; Silva, Elves Alves de Barros e--
7-Jul-202018-Jun-2020On the maximum principle and the Ricci flowMiranda, Lucas Lavoyer deTenenblat, Keti-
2022-Open RAN e os desafios da sua experimentação em plataformas de código abertoBarreto, Priscila América Solís Mendez; Saraiva Júnior, Raimundo G.; Ferreira, Gabriel de Carvalho; Carvalho, Paulo Henrique Portela de--
2-Jul-202014-Fev-2020Operações entrelaçadas no grupo de automorfismos da árvore bináriaOliveira, Junio Rocha deDantas, Alex Carrazedo-
23-Mai-202122-Jan-2021Operadores de redução para completamento de sistemas de reescritaGonzález Barragán, Andrés FelipeNantes Sobrinho, Daniele-
5-Nov-20153-Jul-2015Ordem de aparição na sequência de Fibonacci : um problema sobre divisibilidadeCosta, Gustavo CandeiaFerreira, Diego Marques-
8-Nov-201229-Jun-2012Ordenação de sequências finitas por reversões usando conjugações em grupos de permutaçõesMoraes, José Luiz Correa deAyala-Rincón, Mauricio-
2-Ago-201325-Fev-2013Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticosSoncco Álvarez, José LuisAyala-Rincón, Mauricio-
30-Mai-201629-Fev-2016Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticosSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
14-Dez-200614-Dez-2006Ordenação por transposições baseado no formalismo algébricoSantos, Héderson Pereira dosWalter, Maria Emília Machado Telles-
24-Nov-201412-Mar-2014Ortogonalidade da Função de MöbiusRamirez Aguirre, Josimar JoaoCioletti, Leandro Martins-
13-Abr-201717-Fev-2017Os teoremas de Ramsey e Freiman e suas aplicações envolvendo conjuntos com progressões aritméticasSilva, Anna Carolina Fernandes daGodinho, Hemar Teixeira-
25-Fev-20163-Dez-2015Otimização de negociação dinâmica para múltiplas áreas restritas de fluxo no programa de opções de trajetórias colaborativoCruciol, Leonardo Luiz Barbosa VieiraWeigang, LiClarke, John-Paul
29-Mar-201624-Jun-2015Otimização multiobjetivo aplicada ao planejamento sistemático de conservação para espécies de plantas do cerrado brasileiroSantos, Shana SchlottfeldtWalter, Maria Emília Machado TellesCarvalho, André Carlos Ponce de Leon Ferreira de
27-Nov-201821-Jun-2018Otimização no custo para processamento de Big GeoSpatial Data em ambiente de nuvem computacionalBachiega Junior, JoãoAraújo, Aletéia Patrícia Favacho deHolanda, Maristela Terto de
11-Jan-201027-Mar-2006p2pBIOFOCO : um framework Peer-to-Peer para processamento distribuido do BLASTRibeiro, Edward de OliveiraWalter, Maria Emília Machado Telles-
17-Ago-2020-Pandemia da COVID-19 no Brasil : projeções do Institute for Health Metrics and Evaluation e a evolução observadaStein, Caroline; Cousin, Ewerton; Malta, Deborah Carvalho; Ribeiro, Antonio Luiz Pinho; Machado, Ísis Eloah; Vasconcelos, Ana Maria Nogales; Melo, Ana Paula Souto; França, Elisabeth; Ishitani, Lenice; Mendes, Mariana Santos Felisbino; Passos, Valéria Maria de Azeredo; Sousa, Tatiane Moraes de; Marinho, Fatima; Schmidt, Maria Inês; Gallagher, John; Naghavi, Mohsen; Duncan, Bruce B.--