Rede de Colaboração
Diretório de grupos de pesquisa |
Saul de Castro Leite Possui graduação em Ciência da Computação, Mag Cum Laude, pela Universidade Estadual de Oklahoma (2002) e doutorado em Modelagem Computacional pelo Laboratório Nacional de Computação Científica (2009). Atualmente é professor adjunto da Universidade Federal de Juiz de Fora.
Última
atualização do currículo em 23/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/4802548698016081 |
Dados pessoais
| Nome | Saul de Castro Leite |
| Nome em citações bibliográficas | LEITE, S. C.;Leite, Saul C. |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal de Juiz de Fora, Instituto de Ciências Exatas, Departamento de Ciência da Computação. Universidade Federal de Juiz de Fora São Pedro 36036-330 - Juiz de Fora, MG - Brasil Telefone: (032) 32293311 |
Formação acadêmica/Titulação
| 2005 - 2009 | Doutorado em Modelagem Computacional
.
Laboratório Nacional de Computação Científica, LNCC, Brasil. Título: Aproximações para Redes Estocásticas Sinalizantes Sob Tráfego Pesado, Ano de Obtenção: 2009. Orientador:  Marcelo Dutra Fragoso.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade e Estatística Aplicadas. Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade / Especialidade: Processos Markovianos. Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade / Especialidade: Teoria Geral e Processos Estocásticos. |
| 1998 - 2002 | Graduação em Computer Science (Minor:Mathematics) Mag Cum Laude
.
Oklahoma State University. |
Atuação profissional
| Universidade Federal de Juiz de Fora, UFJF, Brasil. |
| Vínculo institucional |
| 2010 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 06/2010 - Atual | Ensino, Modelagem Computacional, Nível: Pós-Graduação. |
| Disciplinas ministradas Processos Estocásticos |
| 04/2010 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Programação Linear Laboratório de Programação I Cálculo Numérico |
| Laboratório Nacional de Computação Científica, LNCC, Brasil. |
| Vínculo institucional |
| 2009 - 2010 | Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista CNPq, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | A proposta deste projeto é a continuação do trabalho de pesquisa que vem sendo desenvolvido pelo autor desde o doutorado, onde foi estabelecido aproximações por difusão para sistemas de filas com sinais via a análise de tráfego pesado. O objetivo é o aprofundamento de questões relacionadas à controles ótimos, dando ênfase aos métodos numéricos envolvidos, além de dar continuidade a outros temas em andamento, como a extensão dos modelos de filas com sinais e aplicações. |
| Vínculo institucional |
| 2004 - 2005 | Vínculo: Bolsista DTI-CNPq, Enquadramento Funcional: Bolsista Técnico de Nível Superior., Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | O objetivo do trabalho foi desenvolver ferramentas e criar novos algoritmos com base na teoria de reconhecimento de padrões para o projeto Genoma Brasileiro. Sob orientação da Dra. Ana Tereza Ribeiro de Vasconcelos. |
| Universidade de São Paulo, USP, Brasil. |
| Vínculo institucional |
| 2003 - 2004 | Vínculo: Bolsista Uniemp, Enquadramento Funcional: Bolsista Técnico Superior, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Participação no projeto 'Genoma do Boi' atuando em desenvolvimento de software. Sob orientação do Dr. Luiz Lehmann Coutinho. |
| Oklahoma State University, OSU, Estados Unidos. |
| Vínculo institucional |
| 2002 - 2002 | Vínculo: Profissional, Enquadramento Funcional: Administrador de Sistema Unix., Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Responsável pela segurança e administração dos computadores do laboratório de pesquisa do departamento de Bioquímica da Oklahoma State University (OSU - USA). |
| Vínculo institucional |
| 1999 - 2002 | Vínculo: Bolsista, Enquadramento Funcional: Research Assistent, Carga horária: 20 |
| Outras informações | Participação no projeto "Genomics of Plant Stress Tolerance" financiado pela National Science Foundation (NSF - USA), no desenvolvimento de software. Sob orientação do Dr. Eduardo Misawa. |
Projetos de Pesquisa
| 2010 - Atual | Sistemas de Filas em Redes Estocásticas: Modelagem, Controle, Métodos Numéricos e Aplicações em Sistemas Computacionais e de Comunicação |
| Descrição: O objetivo do projeto é o desenvolvimento de modelos através da a Análise via Tráfego Pesado para problemas de filas em sistemas computacionais, tais como o problema de agendamento de tarefas em sistemas distribuídos ou redução de congestionamento.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Saul de Castro Leite - Coordenador. Financiador(es): Universidade Federal de Juiz de Fora - Auxílio financeiro.. |
| 2010 - Atual | Métodos Numéricos para a Solução de Problemas de Controle Ótimo Estocásticos a Tempo Contínuo, com Aplicações em Sistemas Computacionais e de Comunicação |
| Descrição: A proposta deste projeto é a implementação do chamado "Método da Cadeia de Markov Aproximada" para trabalhar com problemas de controle estocástico a tempo contínuo. O desenvolvimento desta ferramenta irá auxiliar o estudo da modelagem e controle de sistemas de filas sob tráfego pesado.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) . Integrantes: Saul de Castro Leite - Coordenador. Financiador(es): Universidade Federal de Juiz de Fora - Auxílio financeiro.. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade e Estatística Aplicadas. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Reconhecimento de Padrões. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2001 | Menção Honrosa, National Society of Collegiate Scholars, USA. |
| 2000 | National Freshman Honor Society Award, Phi Eta Sigma, USA. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  Leite, Saul C. ; Fragoso, Marcelo D. . Heavy traffic analysis of state-dependent parallel queues with triggers and an application to web search systems. Performance Evaluation , v. 67, p. 913-928, 2010. |
| 2. | Leite, Saul C. ; Fragoso, Marcelo D. . Diffusion approximation of state-dependent G-networks under heavy traffic. Journal of Applied Probability, v. 45, p. 347-362, 2008. |
| 3. | LEITE, S. C. ; FONSECA NETO, Raul . Incremental Margin Algorithm for Large Margin Classifiers. Neurocomputing (Amsterdam), v. 71, p. 1550-1560, 2008. |
| 4. | AYOUBI, P. ; JIN, X. ; Leite, Saul C. ; LIU, X. ; MARTAJAJA, J. ; ABDURAHAM, A. ; WAN, Q. ; YAN, W. ; MISAWA, E. ; PRADE, R. A. ; PATRICIO, M. . PipeOnline 2.0: automated EST processing and functional data sorting. Nucleic Acids Research (Online), v. 30, p. 4761-4769, 2002. |
| Capítulos de livros publicados |
| 1. | AYOUBI, P. ; Amirneni, L. ; HALL, L. ; KRISHNAN, S. ; LEITE, S. C. ; MACWANA, S. ; PRADE, R. A. . Gene Ontology for Filamentous Fungi. In: Esser, K.; Brambl, R.; Marzluf, G.A.. (Org.). The Mycota - Biochemistry and Molecular Biology. 2 ed. : Springer Verlag, 2004, v. 3, p. 53-60. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Leite, Saul C. ; Fragoso, M.D. . Imbalance Control in Fork-Join Systems under Heavy Traffic. In: 18th IFAC World Congress, 2011, Milão.
Proceedings of the 18th IFAC World Congress. Oxford :
Elsevier, 2011. v. 18. p. 8235-8240. |
| 2. | Leite, Saul C. ; Fragoso, M.D. . An Unified Approach to Signaling Stochastic Networks and Their Heavy Traffic Approximations. In: European Control Conference, 2009, budapeste. Annals of the European Control Conference, 2009. |
| 3. | LEITE, S. C. ; FRAGOSO, M.D. . Heavy Traffic Analysis of State-Dependent Fork-Join Queues with Trigges. In: International Symposium on Performance Evaluation of Computer and Telecommunication Systems , 2008, Edinburgh. Annals of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2008. |
| 4. | Leite, Saul C. ; Fragoso, M.D. . On the Analysis of G-Queues Under Heavy Traffic. In: 47th IEEE Conference on Decision and Control, 2008, Cancun, México. Annals of the 47th IEEE Conference on Decision and Control, 2008. |
| 5. | Leite, Saul C. ; Fragoso, M.D. . Diffussion Approximation of State Dependent G-Networks Under Heavy Traffic. In: 47th IEEE Conference on Decision and Control, 2008, Cancun, México. Annals of the 47th IEEE Conference on Decision and Control, 2008. |
| 6. | LEITE, S. C. ; FRAGOSO, M.D. . G-Queues Under Heavy Traffic. In: XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Anais do Congresso Nacional de Matemática Aplicada e Computacional, 2007. |
| 7. | FONSECA NETO, Raul ; LEITE, S. C. ; VASCONCELOS, A. T. R. . A Maximal Margin Algorithm and a Admissible Gene Search. In: Second International Conference on Bioinformatics and Computational Biology, 2004, Angra dos Reis. Proceedings of the second ICOBICOBI, 2004. |
| Resumos publicados em anais de congressos |
| 1. | MORAES, David Anderson de Lima ; FONSECA NETO, Raul ; SOUZA, Rangel Celso ; LEITE, S. C. ; VASCONCELOS, A. T. R. . Inference of Carcinogenicity of human papilomaviruses based on HMM and SVM. In: First International Conference of the AB3C, 2005, Aguas de Lindoia. First International Conference of the AB3C, 2005, 2005. |
| 2. | JORGE, E. C. ; SILVA, C. S. ; ALVES, H. J. ; COUTINHO, L. L. ; PATRICIO, M. ; LEITE, S. C. ; LEDUR, M. C. . Expressed Sequence Tags (EST) associated with development and growth in chicken. In: Proceedings of Plant & Animal Genomes XII Conference, 2004, San Diego, CA. Plant & Animal Genomes XII Conference, 2004. |
| 3. | SILVA, L. F. P. ; JORGE, E. C. ; ZAROS, L. G. ; PATRICIO, M. ; LEITE, S. C. ; REGITANO, L. C. A. ; OLIVEIRA, M. C. ; SILVEIRA, A. C. ; FURLAN, L. R. . Annotation of Bos indicus functional genome. In: Plant and Animal Genome Conference XII, 2004, San Diego, Califórina. Plant and Animal Genome Conference XII, 2004. |
| 4. | ZAROS, L. G. ; JORGE, E. C. ; LEITE, S. C. ; PATRICIO, M. ; BALAN, R. G. ; SILVA, L. F. P. ; COUTINHO, L. L. . Identificação de ESTs (Expressed Sequence Tags) do abomaso e intestino delgado de bovinos.. In: 41º Reunião Anual da Sociedade Brasileira de Zootecnia, 2004, Campo Grande, MT. Anais da 41º Reunião Anual da Sociedade Brasileira de Zootecnia, 2004. |
| 5. | PATRICIO, M. ; LEITE, S. C. ; JORGE, E. C. ; ALVES, H. J. ; NONES, K. ; SOUZA, C. A. ; COUTINHO, L. L. . Ferramenta de bioinformática para análise de polimorfismo (Bioinformatics Tool for Polymorphism Analysis). In: 11º Simpósio Internacional de Iniciação Científica da USP, 2003, Piracicaba, SP. Anais do 11º SIICUSP, 2003, 2003. |
| 6. | SILVA, C. S. ; JORGE, E. C. ; PATRICIO, M. ; LEITE, S. C. ; LEDUR, M. C. ; COUTINHO, L. L. . Identificação de sequencias expressas (EST) na hipófise e hipotálamo de frangos de corte.. In: 49 Congresso Nacional de Genética, 2003, Águas de Lindóia, SP. 49 Congresso Nacional de Genética, 2003. |
| Apresentações de Trabalho |
| 1. | LEITE, S. C. ; FONSECA NETO, Raul . Algoritmo de Margem Incremental para Classificadores de Larga Margem. 2007. (Apresentação de Trabalho/Simpósio). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | LEITE, S. C. ; FONSECA NETO, Raul . Incremental Margin Algorithm (IMA) (http://www.lncc.br/~lsaul/ima.html). 2006. |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Vieira, Marcelo B.; Dantas, S. O.; Silva, R. L. S.; Leite, Saul C.. Participação em banca de Roger Correia Pinheiro Silva. Desenvolvimento e Análise de um Digitalizador Câmera-Projetor de Alta. 2011. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | MADUREIRA, D. Q. M.; SILVEIRA, A. C. G.; BORGES, F.; LEITE, S. C.. Participação em banca de Daniel Tré da Conceição. Redes Neurais Artificiais, Jogo da Velha 3D em Pinos. 2009. Trabalho de Conclusão de Curso (Graduação em Graduação em Tecnologia da Informação e Comunicaçã) - Instituto Superior de Tecnologia em Ciência da Computação de Petrópolis. |
Eventos
| Participação em eventos |
| 1. | 18th IFAC World Congress.Imbalance Control of Fork-Join Systems under Heavy Traffic. 2011. (Congresso). |
| 2. | International Symposium on Performance Evaluation of Computer and Telecommunication Systems.Heavy Traffic Analysis of State-Dependent Fork-Join Queues with Triggers and an Application to Web Search Systems. 2008. (Congresso). |
| 3. | 47th Conference on Decision and Control.On the Analysis of G-Queues Under Heavy Traffic and Diffusion Approximation of State Dependent G-Networks Under Heavy Traffic. 2008. (Congresso). |
| 4. | 3rd LNCC Meeting on Computational Modelling. 2008. (Encontro). |
| 5. | XXX Congresso Nacional de Matemática Aplicada e Computacional.G-Queues Under Heavy Traffic. 2007. (Congresso). |
| 6. | IMS Annual Meeting and XEBP Brazilian School of Probability. 2006. (Congresso). |
| 7. | Programa de Verão LNCC 2006. 2006. (Oficina). |
| 8. | 2nd LNCC Meeting on Computational Modelling. 2006. (Encontro). |
| 9. | 1st LNCC Meeting on Computational Modelling. 2004. (Encontro). |
Orientações
| Orientações em andamento |
| Iniciação científica |
| 1. | Verônica Flisch. Métodos Numéricos para Problemas de Controle Ótimo a Tempo Contínuo. Início: 2011 - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. (Orientador). |
| 2. | Stephanie Costa. Inteligência Artificial para Futebol de Robôs. Início: 2010 - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. (Orientador). |
| Supervisões e orientações concluídas |
| Trabalho de conclusão de curso de graduação |
| 1. | Pedro Fagundes. Processos de Decisão de Markov. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Saul de Castro Leite. |
| Iniciação Científica |
| 1. | Pedro Fagundes. Métodos Numéricos para Problemas de Controle Ótimo Estocástico a Tempo Contínuo. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. Orientador: Saul de Castro Leite. |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 21:06:26 |