Rede de Colaboração
Diretório de grupos de pesquisa |
Fabiano Silva É bacharel em Informática pela Universidade Federal do Paraná (1994), mestre em Informática pela Universidade Federal do Paraná (2000) e doutor em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (2005). Atualmente é professor adjunto da Universidade Federal do Paraná. Suas áreas de interesse são: lógica, inteligência artificial, sistemas de alto desempenho e software livre.
Última
atualização do currículo em 22/09/2011
Endereço para acessar este CV: http://lattes.cnpq.br/0613768899914607 |
Dados pessoais
| Nome | Fabiano Silva |
| Nome em citações bibliográficas | SILVA, F. |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal do Paraná, Departamento de Informática. Centro Politécnico Jardim das Américas 81531-990 - Curitiba, PR - Brasil - Caixa-Postal: 19081 Telefone: (41) 33613568 Fax: (41) 33613205 URL da Homepage: http://www.inf.ufpr.br/fabiano |
Formação acadêmica/Titulação
| 2001 - 2005 | Doutorado em Engenharia Elétrica e Informática Industrial
.
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil. Título: Modelos e Algoritmos para Planificação em Inteligência Artificial, Ano de Obtenção: 2005. Orientador: Luis Allan Künzle. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . Palavras-chave: Planificação; Redes de Petri; Inteligência Artificial. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial. |
| 1999 - 2000 | Mestrado em Informática
.
Universidade Federal do Paraná, UFPR, Brasil. Título: Algoritmos para Planificação Baseada em STRIPS, Ano de Obtenção: 2000. Orientador:  Marcos Alexandre Castilho.
Palavras-chave: Planificação; Redes de Petri; Inteligência Artificial. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial. Setores de atividade: Informática. |
| 1991 - 1994 | Graduação em Bacharelado Em Informática
.
Universidade Federal do Paraná, UFPR, Brasil. |
Atuação profissional
| Universidade Federal do Paraná, UFPR, Brasil. |
| Vínculo institucional |
| 2005 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 2011 - Atual | Conselhos, Comissões e Consultoria, Departamento de Informática, . |
|
Cargo ou função
Representante titular da linha de pesquisa de Inteligência Computacional no colegiado do Programa de Pós-Graduação em Informática. |
| 2010 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Integração de conceitos tecnológicos e pedagógicos para promover mobilidade educacional |
| 2009 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Laboratório Associado ao IINCT-MACC (Edital MCT/CNPq/FNDCT/CAPES/FAPEMIG/FAPERJ/FAPESP No. 015/2008 - Institutos Nacionais de Ciência e Tecnologia - processo no. 573710/2008-2) |
| 2007 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Ferramentas de Apoio ao Ensino de Xadrez nas Escolas |
| 03/2006 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Acervo Digital Paranaense - Arquivamento Digital de Baixo Custo |
| 09/2005 - Atual | Pesquisa e desenvolvimento , Departamento de Informática, . |
|
Linhas de pesquisa Software Livre Jogos Educativos Planejamento em Inteligência Artificial |
| 09/2005 - Atual | Ensino, Bacharelado em Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Oficina de Computação Estruturas de Linguagens de Programação Algoritmos e Estruturas de Dados I Algoritmos e Estruturas de Dados III Construção de Compiladores |
| 9/2005 - Atual | Ensino, Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Sistemas de Processamento Paralelo Tópicos em Inteligência Artificial |
| 2005 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Análise de desempenho e otimização de consultas de Sistemas Gerenciadores de Banco de dados Relacionais |
| 2003 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Paraná Digital |
| 2002 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa C3SL - Centro de Computação Científica e Software Livre |
| 09/2008 - 10/2010 | Direção e administração, Setor de Ciências Exatas, . |
| Cargo ou função Coordenador de Curso: Ciência da Computação. |
| Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil. |
| Vínculo institucional |
| 1997 - 2001 | Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 02/1997 - 03/2001 | Ensino, Ciencia da Computacao, Nível: Graduação. |
| Disciplinas ministradas Linguagens Formais e Automatos Arquitetura de Computadores Analise de Algoritmos |
| 02/1997 - 03/2001 | Outras atividades técnico-científicas , Instituto de Tecnologia em Automacão e Informática, . |
|
Atividade realizada Consultoria técnica na área de redes de computadores e sistemas de informação. |
Projetos de Pesquisa
| 2010 - Atual | Integração de conceitos tecnológicos e pedagógicos para promover mobilidade educacional |
| Descrição: O problema da mobilidade educacional no trinômio professor-aluno-conteúdo é exposto em detalhes de maneira crítica e tratado em detalhes com novos conceitos e ferramentas de software destinadas a registrar e monitorar o perfil do aprendiz por longos períodos de tempo. As principais limitações dos trabalhos existentes em relação à introdução de tecnologias no ambiente educacional são abordadas como temas focais de pesquisa original. Em relação aos aspectos metodológicos, são identificadas as características dos jogos intelectivos capazes de promover o desenvolvimento cognitivo e metacognitivo dos professores e alunos como alternativa para acelerar a implantação das tecnologias educacionais no ambiente escolar de um município UCA-Total que já participa do Projeto Piloto UCA/MEC. São também propostas as formas de monitoramento e avaliação de uso desses jogos e seus veículos tecnológicos em relação à evolução do desempenho acadêmico dos alunos. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 2) / Doutorado ( 2) . Integrantes: Marcos A. Castilho - Integrante / Marcos Sunye - Integrante / Luis de Bona - Integrante / Alexandre Direne - Coordenador / Fabiano Silva - Integrante. . |
| 2009 - Atual | Laboratório Associado ao IINCT-MACC (Edital MCT/CNPq/FNDCT/CAPES/FAPEMIG/FAPERJ/FAPESP No. 015/2008 - Institutos Nacionais de Ciência e Tecnologia - processo no. 573710/2008-2) |
| Descrição: O Instituto Nacional de Ciência e Tecnologia em Medicina Assistida por Computação Científica (INCT-MACC), sob a coordenação do Prof. Raul A. Feijóo (LNCC/MCT) e vice-coordenação de Artur Ziviani (LNCC/MCT), envolve 33 instituições nacionais de 11 estados da federação, totalizando 128 pesquisadores em sua equipe tanto da área tecnolológica quanto médica. Na proposta do INCT-MACC, a visão de futuro definida para o instituto é a seguinte: Ser um instituto de excelência, tanto no nível nacional como internacional, em computação científica aplicada a medicina, atuando como referência em atividades de pesquisa e desenvolvimento, transferência de tecnologia e inovação e formação de recursos humanos altamente qualificados na área acima; sendo o responsável pelo desenvolvimento de ambientes computacionais de alto desempenho para que as aplicações médicas desenvolvidas estejam à disposição das comunidades ligadas à pesquisa e saúde e, como conseqüência, a serviço da população através do Sistema Nacional de Processamento de Alto Desempenho SINAPAD. Para tanto, os seguintes cinco objetivos são contemplados: (i) Modelagem e simulação computacional de sistemas fisiológicos complexos; (ii) Processamento avançado de imagens médicas incluindo visualização e reconstrução tridimensional de estruturas de relevância médica e suas aplicações na modelagem e simulação computacional de sistemas fisiológicos e na diagnose por imagem; (iii) Ambientes virtuais colaborativos de realidade virtual e aumentada e telemanipulação na área médica para treinamento, formação de recursos humanos e planejamento cirúrgico; (iv) Sistemas de informação em saúde, com aplicações em atendimento médico emergencial e vigilância em saúde pública; e (v) Ciberambientes de computação distribuída de alto desempenho para as aplicações médicas nas áreas acima mencionadas. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcos A. Castilho - Integrante / Marcos Sunye - Integrante / Daniel Weingaerter - Integrante / Luis de Bona - Coordenador / Eduardo Todt - Integrante / Fabiano Silva - Integrante. . |
| 2007 - Atual | Ferramentas de Apoio ao Ensino de Xadrez nas Escolas |
| Descrição: O objeto central deste projeto é utilizar o estado da arte em termos de Tecnologia Educacional baseada em Software Livre e suas áreas associadas, para desenvolver novos módulos e dar manutenção para as ferramentas de Software responsáveis pelo apoio computacional ao projeto nacional de ensino de Xadrez nas escolas públicas brasileiras. Com isso, as escolas públicas de ensino básico que oferecem atividades extracurriculares aos alunos no sistema de contra-turno, ganham a importante opção de incluírem o xadrez em seus projetos de atividades extracurriculares. Neste projeto foi desenvolvido o xadrez livre, um ambiente aberto de competição, ensino e aprendizagem de xadrez. O <a href=http://xadrezlivre.c3sl.ufpr.br> Xadrez Livre </a> é composto por três diferentes ferramentas: o Ambiente de Jogo, o Módulo de Aprendizagem e o Gerenciador de Torneios. Como produto deste projeto foi desenvolvido o xadrez livre, um ambiente aberto de competição, ensino e aprendizagem de xadrez. O Xadrez Livre é composto por três diferentes ferramentas: o Ambiente de Jogo, o Módulo de Aprendizagem e o Gerenciador de Torneios. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 13) / Mestrado acadêmico ( 5) . Integrantes: Marcos A. Castilho - Integrante / Marcos Sunye - Integrante / Luis de Bona - Coordenador / Alexandre Direne - Integrante / Laura Garcia - Integrante / Jaime Sunye Neto - Integrante / Wilson Silva - Integrante / Fabiano Silva - Integrante. Financiador(es): Ministério da Educação - Auxílio financeiro.. |
| 2005 - Atual | Análise de desempenho e otimização de consultas de Sistemas Gerenciadores de Banco de dados Relacionais |
| Descrição: O projeto analisa metodologias consolidadas de análise de desempenho como o TPC e OSDL propondo a adaptação destas metodologias para arquiteturas distribuídas. O projeto também propoe melhorias para o SGBD Postgres aplicando novos algoritmos na otimização de consultas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) / Doutorado ( 1) . Integrantes: Marcos Sunye - Coordenador / Fabiano Silva - Integrante. . |
| 2004 - Atual | Acervo Digital Paranaense - Arquivamento Digital de Baixo Custo |
| Descrição: Apos a implantacao na UFPR de uma biblioteca digital de arquivamento aberto que reune em uma base unica de busca, 32 revistas eletronicas, 4000 teses e dissertacoes e mais de 500 horas de video, o grupo trabalha na digitalizacao e implantacao do Acervo Digital do Parana que reune 5 bibliotecas e 3 museus do estado do parana com obras raras e fotografias.. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 5) . Integrantes: Marcos A. Castilho - Integrante / Leticia Mara Peres - Integrante / Marcos Sunye - Integrante / Daniel Weingaerter - Integrante / Luis de Bona - Integrante / Mauro Barbosa - Integrante / Edson Graf - Integrante / Fabiano Silva - Coordenador. Financiador(es): Secretaria de Estado da Cultura do Paraná - Auxílio financeiro / Secretaria de Estado da Educação - Cooperação.. |
| 2003 - Atual | Paraná Digital |
| Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 72) / Mestrado acadêmico ( 19) / Doutorado ( 5) . Integrantes: Marcos A. Castilho - Coordenador / Marcos Sunye - Integrante / Daniel Weingaerter - Integrante / Luis de Bona - Integrante / Alexandre Direne - Integrante / Laura Garcia - Integrante / Carlos Carvalho - Integrante / Fabiano Silva - Integrante. Financiador(es): Secretaria de Estado de Ciência e Tecnologia - Auxílio financeiro.. |
| 2002 - Atual | C3SL - Centro de Computação Científica e Software Livre |
| Descrição: O grupo desenvolve atividades de pesquisa e desenvolvimento de sistemas de computação voltados para software livre, envolvendo áreas como Banco de Dados, Engenharia de Software, Redes de Computadores, Inteligência Artificial e Computação Científica. As atividades do grupo atingem a sociedade brasileira em geral através de projetos de inclusão digital e migração de sistemas proprietários para Software Livre. O grupo também trabalha na otimização de pessoal e de custos de soluções de hardware e software. A solução Multiterminal (http://www.c3sl.ufpr.br/multiterminal) foi desenvolvida na equipe e credenciou o grupo a participar de importantes projetos de software livre, entre eles a X.org Foundation. O grupo tem conseguido financiamento de importantes órgãos de fomento, tais como a UGF - Unidade Gestora do Fundo Paraná Tecnologia, entre outros.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcos A. Castilho - Coordenador / Marcos Sunye - Integrante / Daniel Weingaerter - Integrante / Luis de Bona - Integrante / Alexandre Direne - Integrante / Fabiano Silva - Integrante. . |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Espanhol | Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente. |
Prêmios e títulos
| 1995 | Concurso de Trabalhos de Graduação, 3º lugar, Sociedade Brasileira de Computação. |
| 1993 | Artigo Cientifico, 1º lugar, I Encontro Inter-universitário de Informática do Paraná. |
Produção em C,T & A
| Produção bibliográfica |
| Capítulos de livros publicados |
| 1. | SUNYE, M. ; SETENARESKI, L. ; SILVA, F. ; RAMIRO, E. ; FOLTRAN, L. . A EXPERIÊNCIA DA UNIVERSIDADE FEDERAL DO PARANÁ NA CONSTRUÇÃO DE REPOSITÓRIOS DIGITAIS: A IMPLANTAÇÃO INTEGRADA DAS FERRAMENTAS DSPACE E OPEN JOURNAL SYSTEM. In: Sayão, Luis Toutain, Lídia Brandão Rosa, Flavia Garcia Marcondes, Carlos Henrique. (Org.). Implantação e gestão de repositórios institucionais : políticas, memória, livre acesso e preservação. 1 ed. Salvador: EDUFBA, 2010, v. , p. 107-122. |
| 2. |  CASTILHO, M. A. ; SUNYE, M. ; WEINGAERTER, D. ; DE BONA, L. ; SILVA, F. ; DIRENE, A. ; GARCIA, L. ; GUEDES, A. ; CARVALHO, C. . Making Government Policies for Education Possible by means of Open Source Technology: a Successful Case.
In:
Miltiadis Lytras; Ambjorn Naeve.
(Org.). Open Source for Knowledge And Learning Management: Strategies beyond Tools. 1
ed. Hershey - USA:
Idea Group Publishing,
2006, v. 1, p. 343-368. |
| Trabalhos completos publicados em anais de congressos |
| 1. | DIRENE, A. ; SUNYE, M. ; DE BONA, L. ; CASTILHO, M. A. ; SILVA, F. ; GARCIA, L. ; SCOTT, D. . Authoring Adaptive Tutoring Systems for Complex Visual Skills. In: IEEE International Conference on Advanced Learning Technologies, 2009. 2009 Ninth IEEE International Conference on Advanced Learning Technologies. |
| 2. | GARCIA, L. ; SUNYE, M. ; DIRENE, A. ; DE BONA, L. ; MACHADO, D. F. ; SILVA, F. . Scenario-based Design - An Essential Instrument for an Innovative Target Application.. In: International Conference on Enterprise Information Systems, 2009. Proceedings of 11th International Conference on Enterprise Information Systems, 2009. |
| 3. | SUNYE, M. ; DIRENE, A. ; DE BONA, L. ; CASTILHO, M. A. ; DUARTE, J. ; SILVA, F. . On Collaborative Software for Web Communities Evaluation - A Case Study.. In: International Conference on Enterprise Information Systems, 2009. Proceedings of International Conference on Enterprise Information Systems, 2009. |
| 4. | BINI, T. ; SUNYE, M. ; LANGE, A. ; SILVA, F. . Stableness in large join query optimization. In: 24th International Symposium on Computer and Information Sciences,, 2009. Proceedings 2009 24th International Symposium on Computer and Information Sciences. |
| 5. | DIRENE, A. ; PIMENTEL, A. R. ; RAMOS, G. ; MARCZAL, D. ; CARVALHO, E. M. ; CASTILHO, M. A. ; GARCIA, L. ; SILVA, F. ; DE BONA, L. ; SUNYE, M. . Objetos de aprendizagem generalizáveis para o currículo de Matemática do ensino médio. In: XV Workshop Sobre Informática na Escola (WIE-2009), 2009, Bento Gonçalves. Anais do XV Workshop Sobre Informática na Escola (WIE-2009), 2009. |
| 6. | PASQUALIN, D. ; RUOSO, V. ; DE BONA, L. ; CASTILHO, M. A. ; RIBAS, B. C. ; SILVA, F. . SDI - Sistema de Diagnóstico Instantâneo.. In: Workshop de Software Livre, 2009, Porto Alegre. Anais do Workshop de Software Livre 2009, 2009. |
| 7. | DIRENE, A. ; SILVA, F. ; SUNYE, M. ; CASTILHO, M. A. ; DE BONA, L. ; GARCIA, L. ; SCOTT, D. . Acquiring expertise in medical radiology through long-term interactions. In: 21th IEEE International Symposium on Computer-Based Medical Systems, 2008, Jyväskylä. Proceedings of the 21th IEEE International Symposium on Computer-Based Medical Systems. Washington : IEEE CS Press, 2008. |
| 8. | GARCIA, L. ; DIRENE, A. ; DE BONA, L. ; SILVA, F. ; CASTILHO, M. A. ; SUNYE, M. . A User-Interface Environment Solution for An Online Educational Chess Server.. In: IEEE International Conference on Research Challenges in Information Science, 2008. proceedings of he IEEE International Conference on Research Challenges in Information Science, 2008. |
| 9. | DIRENE, A. ; SUNYE, M. ; CASTILHO, M. A. ; SILVA, F. ; DE BONA, L. ; GARCIA, L. ; SCOTT, D. . Diálogos Adaptativos Para a Aprendizagem de Radiologia. In: WIM2008 - VIII Workshop de Informática Médica, 2008. Anais do XXVIII Congresso da Sociedade Brasileira - XIV Workshop sobre Informática Médica, 2008. |
| 10. | F., L. C. ; DIRENE, A. ; GUEDES, A. ; SILVA, F. ; DE BONA, L. ; GARCIA, L. ; CASTILHO, M. A. ; SUNYE, M. . Visualização de táticas para apoiar a aquisição de habilidades em jogos educacionais. In: XIV Workshop sobre Informática na Escola, 2008. Anais do XXVIII Congresso da Sociedade Brasileira - XIV Workshop sobre Informática na Escola. |
| 11. | HOBMEIR NETO, A. ; DIRENE, A. ; SILVA, F. ; DE BONA, L. ; GARCIA, L. ; CASTILHO, M. A. ; SUNYE, M. . Uma abordagem dialógica alternativa para a aquisição de habilidades táticas em jogos educacionais.. In: Simpósio Brasileiro de Informática na Educação (SBIE), 2008, Fortaleza. Anais do SBIE-2008 - XVIII Simpósio Brasileiro de Informática na Educação, 2008. |
| 12. | ZANONI, P. R. ; VIGNATI, T. ; OLIVEIRA, A. ; DE BONA, L. ; SILVA, F. . O Estado Atual dos Multiterminais. In: Workshop de Software Livre (WS), 2008, Porto Alegre. IX Workshop de Software Livre (WSL 2008), 2008. |
| 13. | VIGNATI, T. ; ZANONI, P. R. ; OLIVEIRA, A. ; DE BONA, L. ; SILVA, F. . Arbitration of Legacy VGA Interface for Multiple Video Cards.. In: Workshop de Sistemas Operacionais (WSO), 2008, Belém. Anais do XXVIII Congresso da Sociedade Brasileira - V Workshop de Sistemas Operacionais, 2008. |
| 14. | PICUSSA, J. ; GARCIA, L. ; BUENO, J. ; FERREIRA, M.V.R. ; DIRENE, A. ; DE BONA, L. ; SILVA, F. ; CASTILHO, M. A. . A user-interface environment solution as an educational tool for an online chess server on the web.. In: International Conference on Enterprise Information Systems (ICEIS), 2008, Barcelona. Proc. 10th Intl Conf on Enterprise Information Systems, 2008. |
| 15. | DE BONA, L. ; CASTILHO, M. A. ; WEINGAERTER, D. ; SILVA, F. ; SUNYE, M. ; Lourenço, L.H.A. ; RIBAS, B. C. . Managing a Grid of Computer Laboratories for Educational Purposes. In: LAGrid08 - Latin American Grid, 2008, Campo Grande. Proc of the 2nd Latin American Grid, 2008. |
| 16. | MONTAÑO, R. A. N. R. ; CASTILHO, M. A. ; SILVA, F. ; Miranda, M.R ; HEXSEL, R. . Businness Intelligence nas Escolas Públicas do Paraná.. In: Workshop de Software Livre (WSL), 2008, Porto Alegre. Anais do IX Workshop de Software Livre, 2008. |
| 17. | RIBAS, B. C. ; Souza, J. ; SILVA, F. ; DE BONA, L. ; CASTILHO, M. A. . Acesso de mídias removíveis em terminais thinclient sem disco. In: Workshop de Software Livre (WSL), 2008, Porto Alegre. Anais do nono Workshop de Software Livre, 2008. |
| 18. | AGUIAR, F. M. ; DIRENE, A. ; SILVA, F. ; DE BONA, L. ; CASTILHO, M. A. ; GUEDES, A. ; SUNYE, M. ; GARCIA, L. . Ferramentas e Métodos para Apoiar o Ensino de Xadrez na Fronteira entre os Fundamentos e a Perícia. In: Workshop de Informática na Escola (WIE-2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2007. v. 1. p. 380-387. |
| 19. | CASTILHO, M. A. ; SILVA, F. ; SUNYE, M. ; WEINGAERTER, D. ; DE BONA, L. ; DIRENE, A. ; GARCIA, L. ; CARVALHO, C. . Laboratórios de Informática com Software Livre para Atender Políticas Estaduais do Ensino Escolar. In: Workshop de Informática na Escola (WIE 2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2007. v. 1. p. 208-215. |
| 20. | FEITOSA, A. ; DIRENE, A. ; SILVA, F. ; DE BONA, L. ; GUEDES, A. ; CASTILHO, M. A. ; SUNYE, M. ; GARCIA, L. . Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos. In: XVIII Simpósio Brasileiro de Informática na Educação (SBIE-2007), 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação (SBIE-2007). Porto Alegre : SBC, 2007. v. 1. p. 244-253. |
| 21. | SUNYE, M. ; SILVA, F. ; GUTTOSKI, P. . Kruskal's Algorithm for Query Tree Optimization. In: 11th International Database Engineering and Applications Symposium (IDEAS 2007), 2007, Montreal. IEEE Digital library. New York : IEEE, 2007. p. 296-302. |
| 22. | SILVA, F. ; CASTILHO, M. A. ; KUNZLE, L. A. ; PORTO, S. A. . Planejamento aplicado a jogos de computador: uma implementao baseada em Redes de Tarefas Hierárquicas. In: VI Encontro Nacional de Inteligncia Artificial (ENIA-2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2007. v. 1. p. 1162-1171. |
| 23. | SILVA, F. ; CASTILHO, M. A. ; KUNZLE, L. A. ; MONTANO, R. A. . Planejamento como satisfatibilidade: uma abordagem no clausal. In: VI Encontro Nacional de Inteligncia Artificial (ENIA-2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2007. v. 1. p. 1140-1449. |
| 24. | SILVA, F. ; CASTILHO, M. A. ; KUNZLE, L. A. ; CARVALHO, C. S. . GAPNet: uma nova abordagem genética para o problema de planejamento em inteligência artificial. In: VI Encontro Nacional de Inteligncia Artificial (ENIA-2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2007. v. 1. p. 1450-1459. |
| 25. | MATTAR JR, N. ; KUNZLE, L. A. ; SILVA, F. ; CASTILHO, M. A. . Análise da Duração de Seqüências de Disparos de Transições em Redes de Petri Temporais. In: VIII Simpósio Brasileiro de Automação Inteligente (SBAI-2007), 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente., 2007. |
| 26. | MATTAR JUNIOR, N. ; KUNZLE, L. A. ; SILVA, F. ; CASTILHO, M. A. ; LIMA, E . Análise Temporal de Cenários em Redes de Petri Temporais.. In: SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente, 2007. Anais do SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente, 2007. |
| 27. | MARTINESCHEN, D. ; DIRENE, A. ; SILVA, F. ; DE BONA, L. ; CASTILHO, M. A. ; GUEDES, A. ; SUNYE, M. . Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos. In: Workshop sobre Informática na Escola (WEI-2006), 2006, Campo Grande. Anais do XXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 2006. v. 1. p. 1-10. |
| 28. | OLIVEIRA, A. ; VIGNATI, T. ; WEINGAERTER, D. ; SILVA, F. ; CASTILHO, M. A. ; SUNYE, M. . Um modelo de computacao multiusuario baseado em computadores pessoais.. In: VII Workshop de Software Livre, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006. |
| 29. | SILVA, F. . Planning as reachability. In: VII Simpósio Brasileiro de Automação Inteligente / II IEEE Latin-American Robotics Symposium, 2005, São Luis.
Anais do VII Simpósio Brasileiro de Automação Inteligente / II IEEE Latin-American Robotics Symposium, 2005. v. 1. |
| 30. | DIRENE, A. ; HARTMANN, C. ; SILVA, F. ; DE BONA, L. ; SANTOS, G. ; CASTILHO, M. A. ; SUNYE, M. ; GUEDES, A. . Linguagem e Ferramenta de Autoria para Promover o Desenvolvimento de Perícias em Xadrez. In: XVI Simpósio Brasileiro de Informática na Educação (SBIE-2005), 2005, Juiz de Fora. Anais do XVI Simpósio Brasileiro de Informática na Educação. Porto Alegre : SBC, 2005. v. 1. p. 656-665. |
| 31. | SILVA, F. . A Petri Net Based Representation for Planning Problems. In: KBCS-2004, 2004, Hyderabad.
KBCS-2004 FIFTH INTERNATIONAL CONFERENCE ON KNOWLEDGE BASED COMPUTER SYSTEMS. New Delhi :
Allied Publishers Pvt. Ltd.. p. 371. |
| 32. | SILVA, F. . An Investigation on Genetic Algorithms for Generic STRIPS Planning. In: IBERAMIA 2000 & SBIA 2000, 2004, Atibaia, SP.
Proc. Int. Joint Conf. IBERAMIA-2000 (7th Ibero-American Conf. on Artif. Intel.) and SBIA-2000 (15th Brazilian Symp. on Artif. Intel.), Lecture Notes in Computer Science, 2000. v. 3315. |
| 33. | DIRENE, A. ; SILVA, F. ; DE BONA, L. ; SANTOS, G. ; GUEDES, A. ; CASTILHO, M. A. ; SUNYE, M. ; HARTMANN, C. ; ANDRADE NETO, P. ; MELLO, S. . Conceitos e Ferramentas de Apoio ao Ensino de Xadrez nas Escolas Brasileiras. In: X Workshop sobre Informática na Escola (WEI-2004), 2004, Salvador. Anais do X Workshop sobre Informática na Escola. Porto Alegre : SBC, 2004. v. 1. p. 183-192. |
| 34. | SILVA, F. ; CASTILHO, M. A. ; KUNZLE, L. A. . Petriplan: Um Novo Algoritmo para Geracao de Planos. In: WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002, Porto de Galinhas, Brasil. Anais do WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002. |
| 35. | SILVA, F. ; KUNZLE, L. A. ; CASTILHO, M. A. . Petriplan: a new algorithm for plan generation. In: International Joint Conference 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI IBERAMIA-SBIA2000, 2000, Atibaia, SP, Brazil.
Lecture Notes in Artificial Intelligence. Berlin :
Springer-Verlag, 2000. v. 1952. p. 86-95. |
| 36. | SILVA, F. ; DINNOUTI, L. S. ; CASTILHO, M. A. ; MONTANO, R. A. . LABPAT: laboratório de provadores automáticos de teoremas. In: Congresso da Sociedade Brasileira de Computação, 1995, Canela, Brasil. Anais do XV Congresso da Sociedade Brasileira de Computação, 1995. |
| 37. | SILVA, F. ; DINNOUTI, L. S. ; NASR, A. C. ; HELPA, G. M. ; PUCETTI, H. G. ; PERES, L. M. . Ray-tracing distribuído. In: II Encontro Inter-Universitário de Informática, 1994, Maringá, Brasil. Anais do II Encontro Inter-universitário de Informática. Maringá, Brasil : Editora da UEM, 1994. |
| 38. | SILVA, F. ; DINNOUTI, L. S. ; CASTILHO, M. A. ; MONTANO, R. A. . Prova Automática de Teoremas para Lógica de Primeira Ordem. In: Encontro Inter-universitário de Informática, 1993, Curitiba, Brasil. Anais do I Encontro Inter-universitário de Informática. Curitiba, Brasil : Editora da UFPR, 1993. |
| Resumos publicados em anais de congressos |
| 1. | SUGUIMOTO, R. ; RAMOS, G. ; RIBAS, R. ; KUSS, F. ; BONFIM, U. ; ROCHA, P. ; RIBAS, E. ; YORINORI, D. ; DE BONA, L. ; SILVA, F. ; DIRENE, A. . Arquitetura de Servidor de Xadrez com Cliente Web.. In: Simpósio Brasileiro de Jogos para Computador e Entretenimento Digital (SBGames), 2008, Belo Hprizonte. Anais do VI Simpósio Brasileiro de Jogos e Entretenimento Digital., 2008. |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | CASTILHO, M. A. ; DE BONA, L. ; RIBAS, B. C. ; SILVA, F. ; SUNYE, M. ; RUOSO, V. . Sistema de Diagnóstico Instantâneo (SDI). 2009. |
| 2. | DE BONA, L. ; SILVA, F. ; DIRENE, A. . Ambiente de jogo do Xadrez Livre. 2008. |
| 3. | SILVA, F. ; CASTILHO, M. A. ; DE BONA, L. ; DIRENE, A. ; GARCIA, L. ; SUNYE, M. ; WEINGAERTER, D. . Projeto Paraná Digital 2.0. 2008. |
| 4. | SILVA, F. ; CASTILHO, M. A. ; DE BONA, L. ; DIRENE, A. ; GARCIA, L. ; HEXSEL, R. ; SUNYE, M. . Gerenciamento de Mídia Remota. 2008. |
| 5. | SILVA, F. ; CASTILHO, M. A. ; DE BONA, L. ; DIRENE, A. ; GARCIA, L. ; SUNYE, M. ; WEINGAERTER, D. . Sistema de Boot Remoto. 2008. |
| 6. | SILVA, F. ; CASTILHO, M. A. ; DE BONA, L. ; DIRENE, A. ; SUNYE, M. . Sistema Administrador Local. 2008. |
| 7. | SILVA, F. ; CASTILHO, M. A. ; DE BONA, L. ; DIRENE, A. ; GARCIA, L. ; HEXSEL, R. ; SUNYE, M. ; WEINGAERTER, D. . Projeto Paraná Digital. 2007. |
| 8. | SILVA, F. ; SUNYE, M. . Plugin de Integracão entre o Software de gerencia de Bibliotecas Digitais Dspace e o protocolo de compartilhamento de metadados OAI/PMH. 2005. |
| 9. | DE BONA, L. ; SILVA, F. ; DIRENE, A. ; SUNYE NETO, J. . Chessd. 2003. |
| Produtos tecnológicos |
| 1. | SILVA, F. ; WEINGAERTER, D. ; DE BONA, L. ; CASTILHO, M. A. ; SUNYE, M. . Sistema Multiterminal. 2008. |
| Processos ou técnicas |
| 1. | CASTILHO, M. A. ; SILVA, F. ; WEINGAERTER, D. . Algoritmos e Estruturas de Dados I. 2009. (Desenvolvimento de material didático ou instrucional - Material didático).. 2009. |
| 2. | SUNYE, M. ; DE BONA, L. ; CASTILHO, M. A. ; SILVA, F. ; DIRENE, A. . Projeto Parana Digital. 2008. |
| 3. | SUNYE, M. ; DIRENE, A. ; DE BONA, L. ; CASTILHO, M. A. ; GARCIA, L. ; SILVA, F. . Acervo digital do Paraná. 2008. |
| 4. | DE BONA, L. ; CASTILHO, M. A. ; SILVA, F. ; SUNYE, M. ; PERES, L. M. . Migração para software livre e transferência tecnológica para a Câmara Municipal de Curitiba. 2006. |
| 5. | SUNYE, M. ; SILVA, F. ; SETENARESKI, L. . Implantacão do Sistema de Revistas Eletrônicas da UFPR.. 2005. |
| 6. | SILVA, F. ; SUNYE, M. ; SETENARESKI, L. . Implantacão da Biblioteca Digital de Imagens, Teses e Dissertacões da UFPR. 2004. |
| 7. | SUNYE, M. ; CASTILHO, M. A. ; SILVA, F. ; HEXSEL, R. . Migracão para plataforma Linux da Pastoral Da Crianca. 2001. |
| Demais tipos de produção técnica |
| 1. | WEINGAERTER, D. ; VIGNATI, T. ; DE BONA, L. ; SUNYE, M. ; SILVA, F. ; CASTILHO, M. A. . Sistema Multiterminal. 2008. (Produtos Tecnológicos). |
Orientações
| Orientações em andamento |
| Tese de doutorado |
| 1. | BRUNO CESAR RIBAS. Satisfatibiliade. Início: 2011. Tese (Doutorado em Informática) - Universidade Federal do Paraná. (Orientador). |
| 2. | WILLIAN ZALEWSKI. Identificação de Padrões em Séries Temporais. Início: 2011. Tese (Doutorado em Informática) - Universidade Federal do Paraná. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | BRUNO CESAR RIBAS. Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada.
2011.
Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Fabiano Silva. |
| 2. | JORGE LUIS SALVI. Relacionamentos temporais entre redes de Petri e planejamento automático.
2009.
Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Fabiano Silva. |
| 3. | GUILHERME STUTZ TOWS. Petrigraph: um algoritmo para planejamento por desdobramento de redes de Petri. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Fabiano Silva. |
| 4. | FRANCIELLE CARLA PETRI. Planejamento aplicado à verificação de bloqueios em redes de Petri. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Fabiano Silva. |
| 5. | RAZER ANTHOM NIZER ROJAS MONTANO. Aplicações de fórmulas não clausais em planejamento com redes de Petri.
2007.
Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal do Paraná, . Orientador: Fabiano Silva. |
| Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 24:13:51 |