Skip navigation

Página de Busca


Filtros correntes:


Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.


Resultado 1-10 de 44.
Conjunto de itens:
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
20-Mai-201126-Out-2010Aprendizagem por reforço aplicada ao gerenciamento tático do fluxo de tráfego aéreoCrespo, Antonio Márcio FerreiraWeigang, Li-
29-Jun-20115-Mar-2010Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseçãoVentura, Daniel LimaAyala-Rincón, Mauricio-
29-Jun-201110-Ago-2010Sobre um método geral para se obter leis fortes dos grandes númerosGoulart, Grace Kelly Souza CarmoMedino, Ary Vasconcelos-
17-Mar-20119-Abr-2010Aplicação de técnicas de mineração de texto para categorização de eventos de segurança no CTIR GovPak, Albert Frederico de Menezes IlRalha, Célia Ghedini-
17-Mar-20118-Dez-2009Aprendizagem por reforço aplicada à análise de impacto no controle de fluxo de tráfego aéreoArruda Junior, Antonio Carlos deWeigang, Li-
21-Jun-201114-Out-2010Framework para execução adaptativa e tolerante a falhas de workflows em gridGuimarães, Felipe PontesMelo, Alba Cristina Magalhães Alves de-
22-Jun-201126-Nov-2010Grupos metabelianos com os mesmos quocientes finitosSilva, Felipe Batista daPinto, Aline Gomes da Silva-
3-Fev-20112008Múltiplas soluções para um problema de dirichlet superlinear em domínios limitadosNeves, Sérgio Leandro NascimentoSilva, Elves Alves de Barros e-
22-Jun-201124-Fev-2011Somas exponenciais e resolução de equações sobre corpos finitosVieira, Vinicius Facó VenturaGodinho, Hemar Teixeira-
1-Jul-201127-Set-2010Distribuição de perda agregada no modelo CreditRisk+ : análise comparativa do algoritmo recursivo de Panjer e o Método de Aproximações Ponto de SelaMaranhão, André NunesGomes, Antônio Eduardo-