Flavio Soares Correa da Silva
Possui graduação em Engenharia de Produção pela Universidade de São Paulo(1984), mestrado em Engenharia de Transportes pela Escola Politécnica da Universidade de São Paulo(1989) e doutorado em Artificial Intelligence pela University Of Edinburgh(1992). Atualmente é professor associado (MS-5) da Universidade de São Paulo e Research Fellow (Honorary) da University of Aberdeen. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:inteligência artificial.
Informações coletadas do Lattes em 05/09/2025
Acadêmico
Formação acadêmica
Doutorado em Artificial Intelligence
1989 - 1992
University Of Edinburgh
Título: Automated Reasoning With Uncertainties
Orientador: David Stuart Robertson e Jane Hesketh
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Dedução Automatizada; inteligência artificial.Grande área: Ciências Exatas e da Terra
Mestrado em Engenharia de Transportes
1985 - 1989
Escola Politécnica da Universidade de São Paulo
Título: Ocupação volumétrica de contêineres, Ano de Obtenção: 1989
Orientador: Antônio Galvão Novaes
Palavras-chave: planejamento de transportes.Grande área: Engenharias
Formação complementar
2009 - 2009
Introdução a Formulação de Estratégias de eGOV. (Carga horária: 100h). , Organizacao dos Estados Americanos, OEA, Estados Unidos.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Italiano
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Catalão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Computação Aplicada a Artes Ciências Humanas e Entretenimento.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filosofia da Tecnologia.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
Organização de eventos
CORREA DA SILVA, F. S. ; BANDINI, S. . Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments. 2008. (Congresso).
Participação em eventos
Autonomous Agents and Multiagent Systems. Autonomous Agents and Multiagent Systems. 2002. (Congresso).
Workcomp - Congresso de Informática. Workcomp - Congresso de Informática. 2002. (Congresso).
Brazilian Symposium of Computer Music. Brazilian Symposium of Computer Music. 2001. (Congresso).
Encontro Nacional de Inteligência Artificial. Encontro Nacional de Inteligência Artificial. 2001. (Congresso).
Information Processing and Management of Uncertainty. Information Processing and Management of Uncertainty. 2000. (Congresso).
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 2000. (Congresso).
Lógica Aplicada - LAPTEC. Lógica Aplicada - LAPTEC. 2000. (Congresso).
Simpósio Brasileiro de Inteligência Artificial - SBIA / IBERAMIA. Simpósio Brasileiro de Inteligência Artificial / IBERAMIA. 2000. (Congresso).
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 1999. (Congresso).
5th International Workshop on Temporal Representations and Reasoning. 5th International Workshop on Temporal Representations and Reasoning. 1998. (Congresso).
International Congress on Expert Systems. International Congress on Expert Systems. 1998. (Congresso).
seminário para graduação.Computação e Música. 1997. (Seminário).
European Summer Meeting of the ASL. European Summer Meeting of the ASL. 1996. (Congresso).
IEEE Joint Symposia on Intelligence and Systems. IEEE Joint Symposia on Intelligence and Systems. 1996. (Congresso).
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1996. (Congresso).
Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira.Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira. 1996. (Seminário).
10th International Congress on Logic, Methodology and Philosophy of Science. 10th International Congress on Logic, Methodology and Philosophy of Science. 1995. (Congresso).
Brazilian Symposium on Computer Music. Brazilian Symposium on Computer Music. 1995. (Congresso).
International Fuzzy Systems Association World Congress. International Fuzzy Systems Association World Congress. 1995. (Congresso).
International Symposium on Optics, Imaging and Instrumentation. International Symposium on Optics, Imaging and Instrumentation. 1994. (Congresso).
seminário regular.Duas Alternativas para Representação de Incertezas em Sistemas Baseados em Conhecimento. 1994. (Seminário).
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1994. (Congresso).
Pesquisa e Ensino em Transportes - ANPET. Pesquisa e Ensino em Transportes - ANPET. 1993. (Congresso).
Simpósio Brasileiro de Inteligência Artificial - SBIA. Simpósio Brasileiro de Inteligência Artificial - SBIA. 1993. (Congresso).
Applied Logic Conference. Applied Logic. 1992. (Congresso).
Colóquio de Iniciação Cienífica.Colóquio de Iniciação Científica. 1992. (Seminário).
Departmental Seminar.Program Synthesis for Mathematical Morphology. 1992. (Seminário).
European Conference on Symbolic and Quantitative Aspects of Uncertainty. European Conference on Symbolic and Quantitative Aspects of Uncertainty. 1991. (Congresso).
.A Multivalued Approach to the Representation of Uncertainty. 1990. (Seminário).
.A Framework for Representing Uncertainty in Automated Reasoning Systems. 1990. (Seminário).
6th International Conference - Uncertainty in Artificial Intelligence. 6th International Conference - Uncertainty in Artificial Intelligence. 1990. (Congresso).
Primeiro Encontro Regional Sobre Inteligência Artificial.Primeiro Encontro Regional Sobre Inteligência Artificial. 1986. (Encontro).
Seminário de CAD-CAM.Seminário de CAD-CAM. 1986. (Seminário).
Treinamento Introdutório em Contabilidade e Finanças.Treinamento Introdutório em Contabilidade e Finanças. 1984. (Oficina).
Participação em bancas
CORREA DA SILVA, F. S.. Transformação automatizada de regulamentos financeiros para SBVR: uma abordagem baseada em ontologias e processamento de linguagem natural. 2025. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.
CORREA DA SILVA, F. S.. Alavancando a aprendizagem de máquina informada por física para potencializar algoritmos genéticos em sistemas mecânicos. 2024. Dissertação (Mestrado em Engenharia mecânica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. UMA TRIDIMENSIONALIDADE LIVRE, COLABORATIVA E SÍNCRONA TENDO VERSE E LOQ AIROU COMO ESBOÇO. 2024. Dissertação (Mestrado em Artes) - Instituto de Artes da UNESP.
CORREA DA SILVA, F. S.. Processo analítico para aprimoramento educacional (PAAE): extraindo informação relevante para o aprendizado utilizando inteligência artificial e mineração de dados. 2024. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Um sistema de análise facial em tempo real para a classificação de postura de faces. 2024. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. OpenNPU: uma plataforma open source para síntese automática de redes neurais para FPGAs. 2023. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Método não intrusivo de detecção de fraudes em ataques de suplantação de identidade por reconhecimento facial. 2023. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Comparação de Redes Neurais na Geração de Dados Sintéticos Tabulares - Um Estudo Empírico. 2023. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.
CORREA DA SILVA, F. S.. SCALABILITY ANALYSIS OF AN IOT PLATFORM: THE SWARMOS SCALABILITY. 2023. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Igualdade, ordem e hashing: uma abordagem declarativa para a comparação de objetos. 2021. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Rede neural convolucional para classificação de distorções em imagens de rostos. 2021. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Solução automatizada de engenharia de características para problemas de aprendizado de máquina. 2021. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Árvores de decisão: a evolução do CART ao BART. 2021. Dissertação (Mestrado em Estatística) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Planejamento do design e da execução de avaliação do desempenho de alunos em jogos sérios computacionais. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC.
CORREA DA SILVA, F. S.. Prova de correção do algoritmo oASP(MDP) utilizando representação diagramática. 2019. Dissertação (Mestrado em Mestrado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.
CORREA DA SILVA, F. S.. Sistema de ponta a ponta para extração e interpretação das informações de interesse textuais a partir de imagens de docmentos de identidade. 2019. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Jogos educativos adaptativos utilizando estilos de aprendizagem Felder-Silverman. 2018. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Método de obtenção de SBVR com definições bilíngues. 2018. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.
CORREA DA SILVA, F. S.. Melhoria do tempo de resposta para execução de jogos em um sistema em cloud gaming com implementação de camadas e predição de movimento. 2017. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Processo automático de reconhecimento de texto em imagens de documentos de identificação genéricos. 2017. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. O raciocínio da enfermagem na era digital: uma versão renovada do protocolo de intervenção do ?Programa Jovens Mães Cuidadoras". 2017. Dissertação (Mestrado em Enfermagem) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Interação 3D com retorno de áudio para a identificação de objetos virtuais acessíveis a usuários com deficiência visual. 2016. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. UBIQUOS - Arcabouço multiplataforma para jogos colaborativos utilizando interface distribuída de usuário. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
DA SILVA, FLÁVIO SOARES CORRÊA. Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM. 2015. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Construção e uso de ambiente visual para o ensino de programação introdutória. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. MOOC de Geometria: discussões e proposta de um modelo para a educação básica. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma abordagem evolutiva para geração procedural de níveis em jogos de quebra-cabeças baseados em física. 2015. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. iCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatória. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, FLAVIO S.. Melhorando o desempenho de agentes BDI Jason através de filtros de percepção. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Controle de som e luz no teatro. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, FLAVIO S.. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Um motor para jogos digitais universais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
CORREA DA SILVA, F. S.. Um estudo empírico sobre classificação de símbolos matemáticos manuscritos. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. O uso de inteligência artificial no ensino de contabilidade. 2014. Dissertação (Mestrado em Controladoria e Contabilidade) - Universidade de São Paulo.
Flavio S. Correa da Silva. iQuiz - ambiente de autoria para avaliação do aprendizado no moodle. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORRÊA DA SILVA, FLÁVIO SOARES. Typicality in description logics. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Multicontextualização para aprimoramento de personalização em sistemas de recomendação contextuais. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Classificação automática de texto por meio de similaridade de palavras: um algoritmo mais eficiente. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Componentes para interoperabilidade entre redes sociais na Web 2.0. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma heurística ganha-ganha para formação de coalizões em sistemas multiagentes. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Provenance in games. 2013. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.
CORREA DA SILVA, F. S.. Análise da distribuição do número de operações de resolvedores SAT. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Um método de transformação de modelos UML para a inclusão de componentes de frameworks com o uso de planejador lógico. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Um framework para pesquisa de inteligência artificial em jogos de estratégia por turnos. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
CORREA DA SILVA, F. S.. Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Answer set programming probabilístico. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Borboleta: um sistema de telessaúde para auxílio à atenção primária domiciliar. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Raciocínio espacial qualitativo para um sistema de segurança em tráfego de veículos. 2011. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.
CORREA DA SILVA, F. S.. Métricas de avaliação de alinhamento de ontologias. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura baseada a serviços. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Utilização de técnicas de GPGPU em sistema de vídeo-avatar. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Um estudo sobre a teoria da predição aplicada à análise semântica de linguagens naturais. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Reconhecimento de gestos tridimensionais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Comparação e classificação de técnicas de estereoscopia para realidade aumentada e jogos. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Equivalência e interpretação de modelos UML.P e PDDL para planejamento automático. 2009. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.
CORREA DA SILVA, F. S.. Uma Metodologia para o Desenvolvimento de Ambientes de Ensino Usando Salas de Aula Virtuais Sobre a Internet. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
CORREA DA SILVA, F. S.. Uma Engine em XNA e PROLOG para Apoio ao Ensino de Programação Declarativa. 2009. Dissertação (Mestrado em Computação Aplicada e Automação) - Universidade Federal Fluminense.
CORREA DA SILVA, F. S.. Ajuste de taxas de mutação e de cruzamento de algoritmos genéticos utilizando-se inferência nebulosas. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Autolocalização qualitativa para um robô móvel utilizando informação de sombras. 2009. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.
CORREA DA SILVA, F. S.. Aplicação de práticas ágeis na construção de data warehouse evolutivo. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Acordo de chaves hierárquico sem certificado. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Geração automática de casos de teste para Web Services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Modelagem de Contexto Utilizando Ontologias. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Populando ontologias através de informações em HTML - o caso do currículo lattes. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Abordagem semântica aplicada ao gerenciamento de dados em redes de sensores sem fio. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Uma metodologia para o desenvolvimento de aplicações de realidade aumentada em telefones celulares utilizando dispositivos sensores. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Proposição de uma Estratégia de Inspeção de Software. 2008. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.
CORREA DA SILVA, F. S.. Geração parcial de código JAVA a partir de especificações formais Z. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Integração de verificadores formais para agentes móveis. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Exploração de relações entre as técnicas nebulosas e evolutivas da inteligência computacional. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Proposta e implementação de uma interface para motores de jogos interativa e centrada no usuário. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. WBLS: Um sistema de localização de dispositivos móveis em redes Wi-Fi. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Modelo comportamental baseado em crenças e teoria bayesiana para simulações de vida artificial com humanos virtuais. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.
CORREA DA SILVA, F. S.. Planejamento para Serviços Web Semânticos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Aplicação de autômatos nebulosos no reconhecimento aproximado de cadeias. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.
CORREA DA SILVA, F. S.. Recuperação de vídeos indexados por conceitos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Interfaces prestativas baseadas em visão computacional e informação de contexto. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Máquinas de Vetores-Suporte Aplicadas à Classificação de Textos Reduzidos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.
CORREA DA SILVA, F. S.. Planejamento Hierárquico Usando GOLOG. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Aprendizado de Regras de Substituição para Normatização de Textos Históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Composição e Performance Musical Utilizando Agentes Móveis. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Inferência probabilística em sistemas com restrições de tempo e memória. 2003. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma técnica de verificação para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Bancos de dados obsolescentes e uma proposta de implementação. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Classificação e Seleção de Componentes de Software Concorrentes. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
CORREA DA SILVA, F. S.. Etiquetagem de Textos em Português Baseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Coordenação de Agentes Móveis Através do Canal de Broadcast. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma Teoria de Primeira Ordem para Especificação e Análise de Protocolos de Criptografia. 1999 - Universidade Estadual do Ceará.
CORREA DA SILVA, F. S.. Combinação de Classificadores para Reconhecimento de Padrões. 1998. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Implementação de um Fragmento de TSQL2 para Bancos de Dados de Tempo de Validade. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Um Estudo do Sistema OYSTER-CLAM. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
CORREA DA SILVA, F. S.. Lógicas Não Monotônicas para Sistemas Multiagentes. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
CORREA DA SILVA, F. S.. Árvores de Classificação para Escolha de Estratégias de Operação em Mercados de Capitais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. . Criptoanálise Diferencial-linear Aplicada às Cifras FEAL-N e FEAL-NX. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Implementações Sistólicas de Redes Neurais Artificiais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Estimativa de Propriedades Hidrodinâmicas no Projeto de um ROV. 1995. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Racionalidade e Solução de Problemas: a Teoria Científica da Racionalidade em Inteligência Artificial. 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Valores Vazios e Incertezas no Modelo de Dados Relacional. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma nova arquitetura de aprendizagem profundo para tratamento de incertezas em aplicações de anti-suplantação facial. 2025. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Uma arquitetura para extração de conhecimento tácito em corporações. 2025. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Avaliação de aterosclerose a partir de análises longitudinais de imagens ultrassonográficas utilizando-se curvas de nível adaptativas por redes neurais convolucionais e mecanismo de atenção reversa. 2025. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. 2024. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Cubo analisador paraconsistente com filtro de evidências e análise temporal. 2023. Tese (Doutorado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.
CORREA DA SILVA, F. S.. Protecting interactions in IoT Swarms: a self-sovereign and attribute-based approach. 2022. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Proposta de um método de transposição de jogo físico para digital no desenvolvimento de competências e habilidades do raciocínio lógico. 2021. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Itens de teste colaborativo em seis camadas: perspectivas para avaliação formativa assistida por computadores em ambientes virtuais. 2020. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. An inclusive end-user development framework for tailorable games. 2019. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
CORREA DA SILVA, F. S.. Um modelo baseado em dados históricos para a estimação dos juros da dívida técnica. 2019. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Animoveminer: um framework para a análise exploratória da interação entre animais e o meio ambiente. 2019. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. A model for trust under a suitcase word perspective. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Estratégia computacional para apoiar a reprodutibilidade e reuso de dados científicos baseado em metadados de proveniência. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. ML4JIT - um arcabouço para pesquisa com aprendizado de máquina em compiladores JIT. 2017. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Uma Arquitetura de Uso Geral baseada em Planejamento Probabilístico para Agentes Completos em Jogos de Estratégia em Tempo Real. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.
CORREA DA SILVA, F. S.. Representação e recuperação de imagens por meio de relações espaciais entre objetos. 2017. Tese (Doutorado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.
CORREA DA SILVA, F. S.. Uma heurística de comparação de comportamentos para análise semântica de jogos aplicada à aprendizagem de programação. 2016. Tese (Doutorado em Computação) - Universidade Federal Fluminense.
CORREA DA SILVA, F. S.. Programação em lógica não-monotônica aplicada à redução do espaço de planos em processos de decisão de Markov. 2016. Tese (Doutorado em Engenharia Elétrica) - Centro Universitário da Fundação Educacional Inaciana.
CORREA DA SILVA, F. S.. iMPaCTS: um modelo de colaboração por pares para aprendizagem. 2016. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri. 2016. Tese (Doutorado em engenharia mecatrônica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático. 2015. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Construção e seleção de janelas na combinação de W-operadores. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Contribuições para a interação pelo olhar com teclados virtuais. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Geração de propriedades sobre programas Java a partir de objetivos de teste. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma linguagem para formalização de discursos com base em ontologias. 2015. Tese (Doutorado em Ciências da Informação) - Universidade de Brasília.
CORREA DA SILVA, F. S.. iPLAN - uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via web. 2015. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Detecção e classificação automática de interferências do subsolo com GPR utilizando Redes Neurais Artificiais. 2014. Tese (Doutorado em Geofísica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. A novel workflow management system for handling dynamic process adaptation and compliance. 2014. Tese (Doutorado em PhD in Computer Science) - Loughborough University.
CORREA DA SILVA, F. S.. Diretrizes para especificação de serviços para governo eletrônico baseada em reuso. 2014. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Conversão de voz inter-linguística. 2013. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Composição de serviços em ambientes pervasivos: um modelo de referência. 2013. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Cyber-Argus Framework - measuring cyber impact on the mission. 2013. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
CORREA DA SILVA, F. S.. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. 2012. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. CyberSens: uma plataforma para redes de sensores em sistemas ciber-físicos. 2012. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Proposta de um processo sistemático baseado em métricas não-dicotômicas para avaliação da predição de links em redes de coautoria. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Modelagem e simulação de agentes com aspectos cognitivos para avaliação de comportamento social. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Otimização e análise das máquinas de vetores de suporte aplicadas à classificação de documentos. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma infraestrutura orientada a serviços para a modelagem de nicho ecológico. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Ciência das redes: aspectos epistemológicos. 2009. Tese (Doutorado em Ciências da Informação) - Universidade de Brasília.
CORREA DA SILVA, F. S.. Análise de arquiteturas e desenvolvimento de uma plataforma para residências inteligentes. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Modelo de veículos aéreos não tripulados baseado em sistemas multi-agentes. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. 2007. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Seleção de atributos importantes para a extração de conhecimento de bases de dados. 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Pós processamento de regras de regressão. 2004. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Extração de conhecimento de redes neurais artificiais utilizando sistemas de aprendizado simbólico e algoritmos genéticos. 2003. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Teoria das Coberturas Nebulosas. 2003. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.
CORREA DA SILVA, F. S.. Desenvolvimento e implementação de um sistema de planejamento baseado em casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Um Modelo Conceitual de Sistemas de Apoio à Decisão Espacial para Gestão de Desastres por Inundações. 2000. Tese (Doutorado em Engenharia Civil) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para tratar Exceções em Sistemas de Frames com Múltipla Herança. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor Doutor. 2023. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor. 2023. Escola Politécnica da USP.
CORREA DA SILVA, F. S.. Professor doutor - USP (EACH). 2012. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor - USP Leste. 2010. Universidade de São Paulo.
CORREA DA SILVA, F. S.. professor doutor - UFABC. 2010. Universidade Federal do ABC.
CORREA DA SILVA, F. S.. professor doutor. 2009. Universidade Federal do ABC.
CORREA DA SILVA, F. S.. professor doutor. 2008. Universidade de São Paulo.
CORREA DA SILVA, F. S.. professor doutor - IME-USP (campus Butantã). 2008. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2008. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor (Bancos de dados). 2007. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2007. Escola de Artes, Ciências e Humanidades.
CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.
CORREA DA SILVA, F. S.. Professor Doutor - UNIFESP. 2006. Universidade Federal de São Paulo.
CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2006. Universidade de São Paulo.
CORREA DA SILVA, F. S.; COSTA, Antonio Augusto Loureiro da; SANTOS, Debora Abdalla. Professor assistente - UEFS. 2005. Universidade Estadual de Feira de Santana.
CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.
CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.
CORREA DA SILVA, F. S.. professor doutor - UNESP (Rio Claro). 1998. Universidade Estadual Paulista Júlio de Mesquita Filho.
CORREA DA SILVA, F. S.. livre-docência. 2023. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre-docência. 2016. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre-docência. 2015. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre-docência. 2013. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre-docência. 2012. Universidade Estadual Paulista Júlio de Mesquita Filho.
CORREA DA SILVA, F. S.. livre-docência. 2012. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre docência - USP. 2007. Escola Politécnica da USP.
CORREA DA SILVA, F. S.. livre docência - USP. 2003. Universidade de São Paulo.
CORREA DA SILVA, F. S.. livre docência - USP. 2001. Universidade de São Paulo.
Orientou
Cidades Inteligentes; Início: 2023; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo; (Orientador);
End-to-end learning for autonomous vehicles - a narrow approach; 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Creditworthiness using social capital; 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Comparing vector document representation methods for authorship identification; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Flavio Soares Correa da Silva;
Visualização de tags para explicar e filtrar recomendações de músicas; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Interoperabilidade de documentos; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research; Orientador: Flavio Soares Correa da Silva;
GRMediator: uma biblioteca modular para reconhecimento de gestos; 2010; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, ; Orientador: Flavio Soares Correa da Silva;
Uma arquitetura para agentes inteligentes com personalidade e emoção; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Desenvolvimento de sistemas baseados em artefatos de conhecimento; 2008; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Uma ferramenta para o ensino de inteligência artificial usando jogos de computador; 2008; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research; Orientador: Flavio Soares Correa da Silva;
Um Estudo Empírico de Hiper-heurísticas; 2007; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos; 2007; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Funções valor na alocação de tarefas em sistemas robóticos; 2006; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Inteligência Artificial em Jogos de Tabuleiro; 2004; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Uma Ontologia Artificial para o Sistema Cambial Brasileiro; 2004; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Liderança na Construção da Organização de Aprendizagem; 2003; 0 f; Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, ; Orientador: Flavio Soares Correa da Silva;
Parcerias para Qualificação Profissional; 2003; 0 f; Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, ; Orientador: Flavio Soares Correa da Silva;
Gestão do Conhecimento em Empresas do Governo; 2003; 0 f; Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, ; Orientador: Flavio Soares Correa da Silva;
Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas; 2002; Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, ; Orientador: Flavio Soares Correa da Silva;
Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Flavio Soares Correa da Silva;
Gestão da Cultura no Teletrabalho; 2002; 0 f; Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, ; Orientador: Flavio Soares Correa da Silva;
Base de Qualidades para Gestão de Pessoal em Projetos de Informática; 2002; 0 f; Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, ; Orientador: Flavio Soares Correa da Silva;
Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial; 2002; 0 f; Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, ; Orientador: Flavio Soares Correa da Silva;
Obsolescência de Informação; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Analise Formal do Aprendizado Computacional por Arvores de Decisao; 2000; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Sistemas Tutores Inteligentes e Sua Aplicação em Empresas; 2000; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação; 1999; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Alto Nível Em Redes Neurais; 1998; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog; 1997; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Lógicas Anotadas: Teoria e Aplicações; 1996; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
A Lógica de Estruturas de Features e Suas Aplicações; 1995; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Testing and Extending the Incidence Calculus; 1992; Dissertação - University of Edinburgh, ; Coorientador: Flavio Soares Correa da Silva;
Assessment of bias in a crowdsourcing accessibility system using serious games; 2023; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Mob Programming para escrever código com alta complexidade e trabalho remoto; 2023; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
A framework for device interaction in a network of things; 2020; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Análise baseada em contexto do movimento de pedestres em terminais de transporte; 2020; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos; 2018; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Assessment of fun from the analysis of facial images; 2017; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Uso de jogos digitais no desenvolvimento de competências curriculares da matemática; 2017; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Flavio Soares Correa da Silva;
Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais; 2017; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, ; Coorientador: Flavio Soares Correa da Silva;
Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos; 2016; Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Design de jogos baseado em componentes; 2016; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Gerenciamento de privacidade baseado em ontologias e privacidade diferencial aplicado a sistemas de rastreamento de saúde; 2013; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos; 2012; Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, ; Orientador: Flavio Soares Correa da Silva;
Um Modelo para a Interoperabilidade entre Instituições Heterogêneas; 2012; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Um Modelo Formal para a Quinta Disciplina; 2004; 0 f; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic; 2000; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, ; Coorientador: Flavio Soares Correa da Silva;
Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento; 2000; Tese - Universidade de São Paulo, ; Orientador: Flavio Soares Correa da Silva;
2019; Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Flavio Soares Correa da Silva;
2014; Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Flavio Soares Correa da Silva;
2014; Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Flavio Soares Correa da Silva;
Produções bibliográficas
-
E SILVA, JOELMA C.C. ; DA SILVA, FLAVIO S.C. . Contextual analysis of pedestrian mobility in transport terminals. ICT Express , v. 6, p. ICTE 324, 2021.
-
DA SILVA, FLAVIO S. CORREA ; COSTA, FREDERICO P. ; IEMMA, ANTONIO F. . Practical considerations regarding classification learning for clinical diagnosis and therapy advice in oncology. ICT Express , v. 6, p. ICTE 235, 2020.
-
LENS, F. ; LIANG, C. ; GUO, Y. ; TANG, X. ; JAHANBANIFARD, M. ; CORREA DA SILVA, F. S. ; CECCANTINI, G. ; VERBEEK, F. J. . Computer-assisted timber identification based on features extracted from microscopic wood sections. IAWA JOURNAL , v. 41, p. 1-21, 2020.
-
CORREA, ANDREIWID SHEFFER ; SOUZA, RAUL MENDES DE ; SILVA, FLAVIO SOARES CORREA DA . Towards an automated method to assess data portals in the deep web. GOVERNMENT INFORMATION QUARTERLY , v. 36, p. 412-426, 2019.
-
COELHO, T. P. B. ; FRACOLLI, L. A. ; CHIESA, A. M. ; SILVA, L. A. ; SOUZA JUNIOR, H. M. F. E. ; CORREA DA SILVA, F. S. . A abordagem Design Thinking como proposta de inovação social em um programa de visitação domiciliar na primeira infância. Revista de Saúde Digital e Tecnologias Educacionais , v. 4, p. 8-19, 2019.
-
KAWAMOTO, ANDRE LUIZ SATOSHI ; DA SILVA, FLAVIO SOARES CORREA . Depth-Sensor Applications for the Elderly: A Viable Option to Promote a Better Quality of Life. IEEE Consumer Electronics Magazine , v. 7, p. 47-56, 2018.
-
CALCINA-CCORI, PABLO C. ; DE BIASE, LAISA C. C. ; FEDRECHESKI, GEOVANE ; DA SILVA, FLAVIO SOARES CORREA ; ZUFFO, MARCELO K. . Enabling Semantic Discovery in the Swarm. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , p. 1-1, 2018.
-
CORREA, ANDREIWID SHEFFER ; PAULA, E. C. ; CORREA, PEDRO L.P. ; CORREA DA SILVA, F. S. . Transparency and open government data: a wide national assessment of data openness in Brazilian local governments. Transforming Government (Print) , v. 11, p. 1, 2017.
-
DA CUNHA, ANDRÉ L. ; AGUIAR, JAIR A.K. ; CORREA DA SILVA, FLAVIO S. ; MICHELACCI, YARA M. . Do chondroitin sulfates with different structures have different activities on chondrocytes and macrophages?. INTERNATIONAL JOURNAL OF BIOLOGICAL MACROMOLECULES , v. 103, p. 1019-1031, 2017.
-
CORREA DA SILVA, F. S. ; CHUNG, PAUL W.H. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, DAVE ; VASCONCELOS, W. W. . Hazard prevention for mission plans for aerial vehicles based on soft institutions. Civil aircraft design and research , v. 30, p. 105-116, 2017.
-
RODRIGUEZ, C. L. ; SATO, J. R ; ARAUJO, C. ; Fernández M. L. ; VITTORI, K. ; CORREA DA SILVA, F. S. ; PEREIRA, L. . Computação Afetiva e sua aplicação na educação: trabalhos relacionados e projeções futuras. Research and Innovation in Brazilian Education , v. I, p. 24, 2017.
-
FERNÁNDEZ VENERO, MIRTHA LINA ; CORRÊA DA SILVA, FLÁVIO SOARES . Model checking multi-level and recursive nets. Software and Systems Modeling (Print) , v. 1, p. 1-28, 2016.
-
Vieira, Luiz Carlos ; CORRÊA DA SILVA, FLÁVIO SOARES . Assessment of Fun in Interactive Systems: a Survey. Cognitive Systems Research , v. 42, p. 1, 2016.
-
DA SILVA, FLAVIO . Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information , v. 4, p. 31-32, 2013.
-
Peanho, Claudio Antonio ; Stagni, Henrique ; CORREA DA SILVA, F. S. . Semantic information extraction from images of complex documents. Applied Intelligence (Boston) , v. 37, p. 1-15, 2012.
-
CORRÊA DA SILVA, FLÁVIO SOARES ; FERNÁNDEZ VENERO, MIRTHA LINA ; DAVID, DIEGO MIRA ; SALEEM, MOHAMMAD ; CHUNG, PAUL W.H. . Interaction protocols for cross-organisational workflows. Knowledge-Based Systems , v. 37, p. 1-16, 2012.
-
ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . A System for Governmental Virtual Institutions based on Ontologies and Interaction Protocols. International Journal of Distance Education Technologies , v. 10, p. 82-96, 2012.
-
CORREA DA SILVA, F. S. . Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems , v. 30, p. 1-24, 2011.
-
CORREA DA SILVA, F. S. . On the Ethics of Democratic Access to Web Information. Knowledge in Society (Cessou em 1991. Cont. ISSN 1053-8798 Knowledge and Policy) , p. 97-107, 2010.
-
TORRES, Gustavo Enrique Salazar ; COLOMBO, E ; CORREA DA SILVA, F. S. ; GUERRA, Crhistian Alberto Noriega ; BANDINI, S. . Design issues for knowledge artifacts. Knowledge-Based Systems , p. 856, 2008.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. . Managing Responsive Environments with Software Agents. Applied Artificial Intelligence , v. 21, p. 469-488, 2007.
-
CORREA DA SILVA, F. S. ; PANIGASSI, R. ; HULOT, C. . Learning Management Systems Desiderata for Competitive Universities. EURODL (Oslo) , v. 2007, p. 1, 2007.
-
TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Designing Logic-based Robots. Inteligencia Artificial , Espanha, v. 10, n.31, p. 11-22, 2006.
-
CORREA DA SILVA, F. S. . Towards a Logic of Perishable Propositions. Applied Intelligence (Boston) , v. 23, n.2, p. 121-130, 2005.
-
SILVA, Lourival Paulino da ; CORREA DA SILVA, F. S. . A Formal Model for the Fifth Discipline. JASSS. Journal of Artificial Societies and Social Simulation , v. 8, n.3, 2005.
-
CORREA DA SILVA, F. S. ; AGUSTI, J. . Issues on Knowledge Coordination. Knowledge and Process Management (Online) , v. 10, n.1, p. 37-59, 2003.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J. . On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems , v. 15, n.3, p. 147-167, 2002.
-
CORREA DA SILVA, F. S. ; CARBOGIM, D. V. . Facts, Annotations, Arguments, and Reasoning. New Generation Computing , Japao, v. 19, n.1, p. 1-22, 2001.
-
CARBOGIM, D. V. ; CORREA DA SILVA, F. S. . Annotated Logic Applications For Imperfect Information. Applied Intelligence, v. 9, p. 163-172, 1998.
-
CORREA DA SILVA, F. S. . On Proof- And Model-Based Techniques For Reasoning With Uncertainty. International Journal of Intelligent Systems, v. 10, p. 561-570, 1995.
-
ANACLETO, J. C. (Org.) ; CLUA, E. (Org.) ; CORREA DA SILVA, FLAVIO S. (Org.) ; FELS, S. (Org.) ; YANG, H. S. (Org.) . 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. 1. ed. Alemanha: Springer, 2013. v. 1. 203p .
-
CORREA DA SILVA, F. S. ; FINGER, Marcelo . Introdução à computação para administradores. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 160p .
-
FEIJO, B. ; CLUA, E. ; CORREA DA SILVA, F. S. . Introdução à ciência da computação com jogos - aprendendo a programar com entretenimento. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 263p .
-
CORREA DA SILVA, F. S. ; AGUSTI, J. . Information Flow and Knowledge Sharing. 1. ed. Elsevier, 2008. v. 1. 296p .
-
CORREA DA SILVA, F. S. ; FINGER, Marcelo ; MELO, Ana Cristina Vieira de . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 244p .
-
CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de . Modelos Clássicos de Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 67p .
-
SETZER, Valdemar Waingort ; CORREA DA SILVA, F. S. . Bancos de dados: aprenda o que são, melhore seu conhecimento, construa os seus. 1. ed. São Paulo: Edgard Blucher, 2005. v. 1. 380p .
-
MELO, Ana Cristina Vieira de ; CORREA DA SILVA, F. S. . Princípios de Linguagens de Programação. 1. ed. São Paulo: Edgard Blucher, 2003. v. 1. 212p .
-
CORREA DA SILVA, F. S. ; AGUSTI, J. . Knowledge Coordination. 1. ed. Londres: John Wiley and Sons, 2003. v. 1. 176p .
-
BANDINI, S. ; GASPARINI, F. ; CORREA DA SILVA, F. S. . Positive Artificial Intelligence Meets Affective Walkability. In: Yukio Ohsawa. (Org.). Living Beyond Data. 1ed.Cham, Switzerland: Springer Nature, 2022, v. 230, p. 161-178.
-
CONCEICAO, A. F. ; CORREA DA SILVA, F. S. . Dados Abertos e Inovação. In: Maria Elizete Kunkel. (Org.). Fundamentos e Tendências em Inovação Tecnológica. 1ed.Seattle: Kindle Direct Publishing, 2020, v. 1, p. 33-48.
-
da Silva, Flávio S. Correa ; Vieira, Luiz Carlos ; Bandini, Stefania . Engagement Mechanisms for Social Machines. In: A. de Gloria and R. Veltkamp. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 361-367.
-
DA SILVA, FLAVIO S. CORREA ; Robertson, David S. ; Vasconcelos, Wamberto W. . LS $$^2$$ C - A Platform for Norm Controlled Social Computers. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 284-297.
-
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . A computer architecture for intelligent agentes with personality and emotions. In: Marielba Zacarias; Jose Valente de Oliveira. (Org.). Human-computer interaction: the agency perspective. 1ed.Berlin: Springer Studies in Computational Intelligence, 2012, v. 396, p. 263-286.
-
CORREA DA SILVA, F. S. . Interação Estado/Academia para Inovação em Governo Eletrônico no Brasil. In: Cláudia do Socorro Ferreira Mesquita; Nazaré Lopes Bretas. (Org.). Panorama da Interoperabilidade no Brasil. Brasília: MP-SLTI, 2010, v. , p. 64-73.
-
CORREA DA SILVA, F. S. ; KON, F. . A Fuzzy Categorial Grammar For The Harmonisation Of Melodies. In: D Dubois; H Prade; R R Yager. (Org.). Fuzzy Set Methods in Information Engineering: A Guided Tour of Applications. : Wiley, 1997, v. , p. -.
-
CORREA DA SILVA, F. S. . Fuzzy Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed.: Springer-Verlag, 1997, v. , p. -.
-
CORREA DA SILVA, F. S. . Probabilistic Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4ed.: , 1997, v. , p. -.
-
BARRERA, J. ; CORREA DA SILVA, F. S. . Automatic Programming Of Mmachs For Ocr. In: P Maragos; R W Schafer; M A Butt. (Org.). Mathematical Morphology and its Applications to Image and Signal Processing. : , 1996, v. , p. -.
-
CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning With Uncertainties. In: M Masuch; L Pawlos. (Org.). Knowledge Representation and Uncertainty. : Springer-Verlag, 1993, v. 808, p. -.
-
ROZESTRATEN, A. S. ; BERTHOLDO, A. P. O. ; FARIA, J. H. K. ; CORREA DA SILVA, F. S. . Projeto Arquigrafia: Open Air Museum. Computação Brasil, Brasil, p. 42 - 45, 01 nov. 2017.
-
UNGER, A. J. ; BARGUIL, J. M. M. ; CORREA DA SILVA, F. S. . Blockchain Technology: the Last Mile for Electronic Property Registry Systems. IPRA-CINDER: International Property Registries Association Review, Brasil, p. 32 - 35, 23 mar. 2017.
-
NITSCHKE, G. ; ASLAN, B. ; CORREA DA SILVA, F. S. . Multi-Objective Evolution for Chemical Product Design. In: GECCO 2024: Genetic and Evolutionary Computation Conference, 2024, Melbourne. GECCO '24 Companion: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024. v. 1. p. 356-362.
-
BAZALUK, B. ; CORREA DA SILVA, F. S. ; HOLANDA, M. ; SILVA, D. . Source Code Plagiarism in Computer Science Courses: Facts and Impressions. In: Workshop sobre Educação em Computação (WEI), 2023. Anais do Workshop sobre Educação em Computação (WEI), 2023. v. 1. p. 111-121.
-
CORREA DA SILVA, F. S. ; NITSCHKE, G. ; ASLAN, B. . A Computational Method to Support Chemical Product Design Based on Multi-objective Optimisation and Graph Transformers. In: ALIFE 2023: Ghost in the Machine, 2023, Sapporo. Proceedings of ALIFE 2023, 2023. v. 1. p. 1-10.
-
CORREA DA SILVA, F. S. . Positive Artificial Intelligence. In: The 19th International Conference of the Italian Association for Artificial Intelligence, 2020. The 19th International Conference of the Italian Association for Artificial Intelligence. Aachen: CEUR, 2020. v. 1. p. 1-13.
-
SHEFFER CORREA, ANDREIWID ; SOARES CORREA DA SILVA, FLAVIO . Laying the foundations for benchmarking open data automatically. In: 20th Annual International Conference on Digital Government Research, 2019, Dubai. 20th Annual International Conference on Digital Government Research on - dg.o 2019. New York: ACM Press, 2019. p. 287.
-
CONCEICAO, A. F. ; CORREA DA SILVA, F. S. ; ROCHA, V. ; LOCORO, A. ; BARGUIL, J. M. M. . Eletronic Health Records using Blockchain Technology. In: Anais do I Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain - SBRC 2018), 2018, Campos do Jordão (SP). Anais do I Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain - SBRC 2018), 2018. v. 1. p. 1.
-
CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; FREDRECHESKI, G. ; ESQUIAGOLA, J. ; CORREA DA SILVA, F. S. . Agile servient integration with the Swarm: Automatic code generation for nodes in the Internet of Things. In: International Conference on Future Networks and Distributed Systems, 2017, Cambridge. Proceedings of International Conference on Future Networks and Distributed Systems, 2017. v. 1.
-
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Assessment of Fun from the Analysis of Facial Expressions to Support Video Game Design. In: Artificial Intelligence and Simulation of Behaviour 2016, 2016, Sheffield. Proceedings of AISB 2016 - AI and Games Symposium, 2016.
-
PEREIRA, A. B. C. ; PICONEZ, S. C. B. ; CORREA DA SILVA, F. S. . Mathematics Experiences: pedagogical implications with the use of digital games, m-learning and social networks. In: XI Conferencia latinoamericana de objetos y tecnologias de aprendizaje, 2016, San Carlos, Costa Rica. Proceedings LACLO 2016, 2016.
-
CCORI, P. C. ; BIASE, L. C. C. ; ZUFFO, M. K. ; CORREA DA SILVA, F. S. . Device discovery strategies for the IoT. In: International Symposium on Consumer Electronics, 2016, Sao Paulo. Proceedings ISCE 2016, 2016.
-
SULTANA, T. ; LOCORO, A. ; CORREA DA SILVA, F. S. . Time Accounting System: validating a socio-technical solution for service exchange in local communities. In: XIII Conference of the Italian Chapter of the AIS, 2016, Verona, Italy. Proceedings ITAIS 2016, 2016.
-
PEREIRA, A. B. C. ; CORREA DA SILVA, F. S. ; PICONEZ, S. C. B. ; ZIMMER, J. M. . Jogos Digitais no desenvolvimento de conceitos matemáticos sob perspectiva BYOD e abordagem m-Learning na escola pública. In: Workshop de informática na escola - Congresso brasileiro de informática na educação, 2016, Uberlândia (MG). Anais - Workshop de Informática na Escola 2016, 2016. v. 1.
-
CORREA DA SILVA, FLAVIO S. ; ROBERTSON, DAVE ; VASCONCELOS, Wamberto . LS2C - A Platform to Design, Implement and Execute Social Computations. In: International Conference on Agents and Artificial Intelligence, 2015, Lisbon. Proceedings of the International Conference on Agents and Artificial Intelligence, 2015. v. 1. p. 196-203.
-
CORREA DA SILVA, F. S. ; VIEIRA, L. C. ; BANDINI, S. . Engagement mechanisms for social machines. In: Games and Learning Alliance Conference - Games for Health Workshop, 2015, Roma. Proceedings of Games and Learning Alliance Conference - Games for Health Workshop, 2015.
-
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Assessment of fun in interactive systems: a survey. In: 10th International Brazilian Meeting on Cognitive Science, 2015, Sao Paulo. Proceedings of 10th International Brazilian Meeting on Cognitive Science, 2015.
-
CORRÊA, ANDREIWID SHEFFER ; CORRÊA, PEDRO LUIZ PIZZIGATTI ; DA SILVA, FLÁVIO SOARES CORRÊA . Transparency portals versus open government data. In: the 15th Annual International Conference, 2014, Aguascalientes. Proceedings of the 15th Annual International Conference on Digital Government Research - dg.o '14. New York: ACM Press, 2014. p. 178.
-
VIEIRA, L. C. ; CORREA DA SILVA, F. S. . Understanding fun. In: Videojogos 2014, 2014, Barcelos. Videojogos 2014 - Conferência de Ciências e Artes dos Videojogos, 2014.
-
SATOSHI KAWAMOTO, ANDRE LUIZ ; MARTINS, VALERIA FARINAZZO ; DA SILVA, FLAVIO SOARES CORREA . Converging Natural User Interfaces guidelines and the design of applications for older adults. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 2328.
-
CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; VASCONCELOS, Wamberto . Experimental Interaction Science. In: AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour, 2013, Exeter. Proceedings - AISB 2013 - Social Path Workshop, 2013. v. 1. p. 1-5.
-
KAWAMOTO, A. L. S. ; CORREA DA SILVA, FLÁVIO SOARES . Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada. In: Tendências e técnicas em realidade virtual e aumentada, 2013, Cuiabá. Tendências e técnicas em realidade virtual e aumentada. Porto Alegre: Sociedade Brasileira de Computação, 2013. v. 3. p. 75-88.
-
VENERO, M. L. F. ; ARAUJO, C. J. A. ; DAVID, DIEGO MIRA ; CORREA DA SILVA, FLÁVIO SOARES ; MAGALHAES, A. G. . OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do IX Simpósio Brasileiro de Sistemas de Informação, 2013. p. 158-169.
-
FERNÁNDEZ VENERO, MIRTHA LINA ; CORREA DA SILVA, FLÁVIO SOARES . On the use of SPIN for studying the behavior of nested Petri nets. In: 16th Brazilian Symposium on Formal Methods, 2013, Brasilia. 16th Brazilian Symposium on Formal Methods, 2013. v. 8195. p. 83-98.
-
SUCA, E. G. ; CORREA DA SILVA, F. S. . An Ontology for Portability and Interoperability Digital Documents. In: 5th International Conference on Knowledge Management and Information Sharing, 2013, Vilamoura, Portugal. Proceedings of 5th International Conference on Knowledge Management and Information Sharing, 2013.
-
VENERO, M. L. F. ; CORREA DA SILVA, F. S. . Modelling and simulating interaction protocols using Nested Petri Nets. In: Workshop on Formal Methods in the Development of Software, 2013, Madrid. Proceedings of Workshop on Formal Methods in the Development of Software, 2013.
-
ALMEIDA, M. S. O. ; CORREA DA SILVA, FLAVIO S. . A Systematic Review of Game Design Methods and Tools. In: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, 2013. v. 1. p. 17-29.
-
ANDREWS, P. Y. ; CORREA DA SILVA, F. S. . Using Parliamentary Open Data to Improve Participation. In: International Conference on Theory and Practice of Electronic Governance, 2013, Seoul. Proceedings of ICEGOV 2013. USA: ACM Press, 2013. v. 1. p. 1-8.
-
ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S. . Towards a Library of Game Components. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.
-
ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S. . Requirements for game design tools. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.
-
ALMEIDA, M. S. O. ; GONCALVES, R. A. ; VALENTIN, L. G. ; CORREA DA SILVA, F. S. . Towards a Game Design Patterns Suggestion Tool. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.
-
CARNIELLI, W. ; BUENO-SOLER, J. ; CORREA DA SILVA, F. S. . The King of Reasonshire: a computer game to practice critical thinking. In: Third International Congress on Tools for Teaching Logic, 2011, Salamanca. Electronic proceedings - Third International Congress on Tools for Teaching Logic, 2011.
-
ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . A software platform for governmental virtual institutions. In: The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011, São Paulo. Proceedings of The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011.
-
CORREA DA SILVA, F. S. ; Bressane Neto, A. F. . Affective agents for empathic interactions. In: International Conference on Entertainment Computing, 2011, Vancouver. Entertainment Computing - ICEC 2011, 2011. v. 6972.
-
SUCA, E. G. ; CORREA DA SILVA, F. S. . Interoperabilidade e Portabilidade de Documentos Digitais Usando Ontologias. In: ONTOBRAS-MOST, 2011, Gramado. Anais - ONTOBRAS-MOST 2011, 2011. p. 117-122.
-
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . On the Construction of Synthetic Characters with Personality and Emotion. In: Brazilian Symposium of Artificial Intelligence, 2010, São Bernardo do Campo. Brazilian Symposium of Artificial Intelligence - Proceedings, 2010. v. 6404. p. 102-111.
-
AGUSTI, J. ; CORREA DA SILVA, F. S. . Experimental information and experiential knowledge. In: European Conference on Philosophy and Computing, 2009, Barcelona. European Conference on Philosophy and Computing - Proceedings, 2009.
-
E. Passos ; Pozzer, C. ; Montenegro, A. ; CORREA DA SILVA, F. S. ; CLUA, E. . Hierarchical PNF Networks: A Temporal Model of Events for the Representation and Dramatization of Storytelling. In: 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009, Rio de Janeiro. Proceedings of 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009.
-
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Execution and 3D Visualization of Situated Cellular Agent Based Crowd Simulations. In: 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008, Fortaleza. 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008.
-
CORREA DA SILVA, F. S. . Knowledge-based Modality Selection for Information Presentation in a Mobile System for Primary Homecare. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Multimodal Output Generation, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.
-
CORREA DA SILVA, F. S. ; VIZZARI, G. ; MOSCA, A. . Coupled MMASS: A Formal Model for Non-deterministic Multi-agent Simulations. In: Artificial Intelligence and Simulation of Behaviour - Workshop of Logic and the Simulation of Interaction and Reasoning, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.
-
GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . Semantic Web Services for Intelligent Responsive Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.
-
GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . A Middleware for Smart Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.
-
VIZZARI, G. ; BONOMI, A. ; CORREA DA SILVA, F. S. . A Framework for Executing and Visualizing Situated Cellular Agent Based Crowd Simulations. In: European Meeting on Cybernetics and Systems Research, 2008, Viena. Proceedings of EMCSR 2008, 2008.
-
MASTHOFF, J. ; VASCONCELOS, Wamberto ; AITKEN, C. ; CORREA DA SILVA, F. S. . Agent-Based Group Modelling for Ambient Intelligence. In: International Symposium on Affective Smart Environments, 2007, Newcastle. Proceedings of the International Symposium on Affective Smart Environments, 2007.
-
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Interactive Situated Agents in Virtual Environments. In: Worshop "From Objects to Agents" - WOA, 2007, Genova. Proceedings - workshop "From Objects to Agents", 2007.
-
YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis Baseados em Jogos de Computador em Educação. In: XIV Workshop sobre Educação em Computação - WEI, 2006, Campo Grande. Anais do XIV WEI, 2006.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, Wamberto . Rule Schemata for Game Artificial Intelligence. In: SBIA/IBERAMIA - Simpósio Brasileiro de Inteligência Artificial, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence. Berlim: Springer, 2006. v. 4140. p. 451-461.
-
CORREA DA SILVA, F. S. ; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: 2nd International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005. v. 0. p. 0-0.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, Wamberto . Agent based management of responsive environments. In: Congress of the italian association of artificial intelligence, 2005, Milao. Proceedings of AI*IA, 2005. v. 0. p. 0-0.
-
TREVISAN, Felipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Low Cost Experiments in Cognitive Robotics for Planning in Hostile Environments with Incomplete Information. In: CAEPIA 2005 - Conferencia de la Asociacion Espanola para la Inteligencia Artificial, 2005, Santiago de Compostela. Proceedings of CAEPIA-2005, 2005. v. 0. p. 0-0.
-
NAKANISHI, Sérgio Haruo ; CORREA DA SILVA, F. S. . Game-engine as an Educational Tool in Software Engineering Courses. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.
-
YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis para Validação de Técnicas de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.
-
CORREA DA SILVA, F. S. ; JORGE, Tiago Motta . Towards Complex Reasoning Agents for Action Games. In: Wjogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.
-
SILVA, Filipe Correa Lima da ; CORREA DA SILVA, F. S. . Um Ambiente Virtual Baseado em Jogos para o Aprendizado de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.
-
IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar . AcMus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. In: IV Congresso Iberoamericano de Acústica, 2004, Guimarães. IV Congresso Iberoamericano de Acústica, 2004.
-
CORREA DA SILVA, F. S. ; MENESES, E. X. . Expressing Systems Capabilities for Knowledge Coordination. In: Agents Architectures and Multi-Agent Systems, 2002, Bologna. Proceedings of AAMAS, 2002.
-
CORREA DA SILVA, F. S. . Towards a Logic of Perishable Propositions. In: WORKCOMP, 2002, São José dos Campos, 2002.
-
CORREA DA SILVA, F. S. ; MENESES, E. X. ; MELO, Ana Cristina Vieira de . Capabilities in Formal Knowledge Coordination for Business Integration. In: Workshop - OOPSLA, 2002. Workshop Proceedings - OOPSLA, 2002.
-
MENESES, E. X. ; CORREA DA SILVA, F. S. . Um Modelo para Cooperação entre Sistemas Baseados em Conhecimento Baseado em Capacidades. In: ENIA - Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. Proceedings - ENIA 2001, 2001.
-
IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S. . ACMUS: Design and Simulation of Music Listening Environments. In: Eighth Brazilian Symposium of Computer Music, 2001, Fortaleza. Proceedings of Eighth Brazilian Symposium of Computer Music, 2001.
-
CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de ; AGUSTI, J. ; ARAUJO, R. C. . Knowledge Sharing Between a Probabilistic Logic and a Bayesian Belief Network. In: International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems, 2000, Madrid. Proceedings of IPMU-2000, 2000. p. 1299-1306.
-
CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de . A Lightweight Capability Communication Mechanism. In: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2000, New Orleans. Intelligent Problem Solving, 2000. v. 1821. p. 660-670.
-
CORREA DA SILVA, F. S. ; VITORINO, S. A. . Remarks on Reasoning with Progressively Obsolete Information. In: SBIA/IBERAMIA, 2000, Atibaia. Proceedings SBIA/IBERAMIA - LNAI, 2000.
-
CORREA DA SILVA, F. S. ; ZANUTTO, J. . Calculo de Equivalencia de Operadores Morfologicos via Sistemas de Re-escrita de Termos. In: LAPTEC 2000, 2000, Sao Paulo. Logica Aplicada a Tecnologia, 2000.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; AGUSTI, J. ; MELO, Ana Cristina Vieira de . Why Ontologies Are Not Enough For Knowledge Sharing. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.
-
CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. . Cooperation Between Knowledge Based Systems. In: International Congress on Expert Systems, 1998. Proceedings.
-
FINGER, Marcelo ; CORREA DA SILVA, F. S. . Data Obsolescence: Modelling Problems. In: International Workshop on Temporal Representations and Reasoning, 1998. Proceedings.
-
TOLENTINO, M. V. ; SANTOS, P. E. ; RILLO, M. ; CORREA DA SILVA, F. S. . Actions As Prolog Programs. In: IEEE Joint Symposia on Intelligence and Systems, 1996. Proceedings.
-
CORREA DA SILVA, F. S. ; KON, F. . Stylistic Musical Choices Via Preference Rules. In: International Fuzzy Systems Association Congress, 1995. Proceedings.
-
CORREA DA SILVA, F. S. ; KON, F. . Categorial Grammar And Harmonic Analysis. In: Brazilian Symposium on Computer Music, 1995. Proceedings.
-
BARRERA, J. ; CORREA DA SILVA, F. S. ; TOMITA, N. . Automatic Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1995. Proceedings.
-
BARRERA, J. ; CORREA DA SILVA, F. S. ; BANON, G. . Automating Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1994. Proceedings.
-
WASSERMAN, Renata ; CORREA DA SILVA, F. S. . Towards Efficient Modelling Of Distributed Knowledge Using Equational And Order-Sorted Logic. In: Brazilian Symposium of Artificial Intelligence, 1994. Anais.
-
CORREA DA SILVA, F. S. ; PIETRANTONIO, H. . Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. In: ANPET, 1993.
-
CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning with Uncertainties. In: Applied Logic Conference, 1992.
-
CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; CHUNG, P. . Automated Reasoning About an Uncertain Domain. In: ECSQARU, 1991, 1991.
-
CORREA DA SILVA, F. S. ; BUNDY, A. . On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. In: Uncertainty in Artificial Intelligence, 1990, 1990.
-
BANDINI, S. ; CROCIANI, L. ; VIZZARI, G. ; CORREA DA SILVA, F. S. ; GORRINI, A. . The Role of Compliance in Heterogeneous Interacting Agents: Data from Observations. In: AAMAS 2017 - workshop Agent based modeling for urban systems, 2017, São Paulo. AAMAS 2017 - workshop Agent based modeling for urban systems, 2017. v. 1.
-
CORREA DA SILVA, F. S. ; CHUNG, P. ; ZUFFO, M. K. ; PAPAPANAGIOTOU, P. ; ROBERTSON, D. S. ; VASCONCELOS, W. W. . Hazard identication for UAVs based on soft institutions. In: AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, 2017, Sao Paulo. AAMAS 2017 - workshop Coordination, Organisations, Institutions and Norms, 2017. v. 1.
-
SUCA, E. G. ; CORREA DA SILVA, F. S. . A logical approach for preserving confidentiality in shared knowledge bases. In: ONTOBRAS - Seminário de pesquisa em ontologias do Brasil, 2016, Curitiba, PR - Brasil. Proceedings ONTOBRAS 2016, 2016.
-
CORREA, ANDREIWID SHEFFER ; CORREA, PEDRO L.P. ; SILVA, DANIEL L. ; SILVA, FLAVIO SOARES CORREA DA . Really Opened Government Data: A Collaborative Transparency at Sight. In: 2014 IEEE International Congress on Big Data (BigData Congress), 2014, Anchorage. 2014 IEEE International Congress on Big Data, 2014. p. 806-807.
-
KAWAMOTO, A. L. S. ; MARTINS, V. F. ; CORREA DA SILVA, FLAVIO S. . Usability Evaluation of an Application Designed for the Older Adults. In: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, 2013. v. 1. p. 189-192.
-
Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . Synthetic characters with personality and emotion. In: Intelligent Virtual Agents, 2009, Amsterdam. Intelligent Virtual Agents. Berlin: Springer LNAI, 2009. v. 5773. p. 533-534.
-
ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . Governmental virtual institutions. In: International conference on theory and practice of electronic governance, 2009, Bogotá. Proceedings of international conference on theory and practice of electronic governance, 2009.
-
VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Situated Crowd Behavior in Virtual Environments. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.
-
CLUA, D. M. G. ; BERTONI, V. D. ; SILVA, R. A. ; CORREA DA SILVA, F. S. . ViDa - Jogo de Simulação de Vida e Evolução utilizando. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.
-
SANTANA, E. ; COSTA, F. P. ; SETOGUTE, Y. ; CARVALHO, L. ; LIMA, P. ; SOUSA, M. ; GUNZ, B. ; AZEVEDO, F. ; SABBAGA, J. ; SANTOS, M. ; BIACHI, T. ; JARDIM, D. ; FREITAS, D. ; HORVAT, N. ; OTAVIANO, R. ; TESTAGROSSA, L. ; IEMMA, A. F. ; CORREA DA SILVA, F. S. ; TUSZYNSKI, J. . Exposure to low energy amplitude modulated radiofrequency electromagnetic fields (EMF) is associated with rapid improvement in quality of life (QoL) status in patients with advanced hepatocellular carcinoma (HCC), using various analyses of EORTC-C30. In: European Society for Medical Oncology Congress 2019, 2019, Barcelona. Proc. ESMO 2019 (poster sessions), 2019.
-
MARTINS, V. ; KAWAMOTO, A. L. S. ; CORREA DA SILVA, F. S. . Guidelines for the Development of Gestural Interface Games for Older Adults. In: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, 2013. v. 1. p. 1-1.
-
CORREA DA SILVA, F. S. . Formalisations Of Uncertain Reasoning. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.
-
CORREA DA SILVA, F. S. . On Reasoning With And Reasoning About Uncertainty In Artificial Intelligence. In: European Summer Meeting of the Association of Symbolic Logic, 1996. Proceedings.
-
CORREA DA SILVA, F. S. ; ABE, J. M. ; RILLO, M. . Paraconsistent Logics Of Knowledge And Belief. In: International Congress on Logic, Methodology and Philosophy of Science, 1995. Proceedings.
-
CORREA DA SILVA, F. S. . Information - Special Issue: Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Basel: MDPI, 2013 (Editor convidado - número especial de períodico internacional).
-
CORREA DA SILVA, F. S. . Matemática discreta - uma introdução. São Paulo: Cengage Learning, 2010. (Tradução/Livro).
-
CORREA DA SILVA, F. S. . Programação em MATLAB para engenheiros (segunda edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).
-
CORREA DA SILVA, F. S. . Princípios de sistemas de informação (nona edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).
-
VALLE, P. H. C. (tradutor) ; CORREA DA SILVA, F. S. . Fundamentos de Programação - Algoritmos, Estruturas de Dados e Objetos. São Paulo: McGraw-Hill, 2007. (Tradução/Livro).
-
CORREA DA SILVA, F. S. ; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro . Sistemas de Informação. São Paulo: Thomson, 2005. (Tradução/Livro).
-
CORREA DA SILVA, F. S. . Construção de Compiladores. São Paulo: Thomson, 2004. (Tradução/Livro).
-
CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F. . Comunicação Entre Computadores e Tecnologias de Redes. São Paulo: Thomson, 2002. (Tradução/Livro).
-
CORREA DA SILVA, F. S. . Programação MATLAB Para Engenheiros. São Paulo: Thomson, 2002. (Tradução/Livro).
-
NUNES, M. ; CORREA DA SILVA, F. S. . Estruturas de Dados e Algoritmos em C++. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).
-
MENDES, M. A. ; CORREA DA SILVA, F. S. . Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).
-
CORREA DA SILVA, F. S. . Nomeado para comitê de padronização de interfaces de inteligência artificial (gestão 2005). 2005 (Comitê de padronização de interfaces de IA para a indústria de jogos) .
Projetos de pesquisa
-
2018 - 2021
Data at the heart of improving health and care: the Brazil-UK secure data sharing network, Descrição: Research project funded under the British Academy of Medical Sciences Gobal Challenges Research Fund Netowrking Grant Scheme. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador / Wamberto Weber Vasconcelos - Integrante / Corri Black - Integrante., Financiador(es): British Academy of Medical Sciences - Auxílio financeiro.
-
2016 - 2018
Fenômenos em meso-escala: multidões, manadas e congestionamentos de tráfego, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador.
-
2015 - 2016
Colaboração acadêmica - Loughborough University (UK) - Newton Fund/FAPESP, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador / Paul Chung - Integrante.
-
2014 - 2016
A platform for the management of a distributed cluster for innovative gaming and animation companies, Descrição: Projeto de pesquisas - cooperação internacional - co-financiado por FAPESP e Edinburgh University.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador.
-
2013 - 2015
Ciência experimental de interações, Descrição: Projeto de pesquisas - auxílio regular - com apoio financeiro da FAPESP.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador.
-
2009 - 2013
MOBILE - processos musicais interativos, Descrição: projeto temático multidisciplinar - FAPESP. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Integrante / Fernando Iazzetta - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2009 - 2011
Laboratório de Interoperabilidade, Descrição: laboratório de pesquisas. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Coordenador., Financiador(es): Microsoft Corporation - Auxílio financeiro.
-
2009 - 2010
TimeSaver, Descrição: Automação de serviços públicos e e-Gov, oferecidos pela web com interface baseada em mundos virtuais e agentes autônomos inteligentes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Rosa Alarcon - Integrante., Financiador(es): Latin American and Caribbean ICT Research - Auxílio financeiro.
-
2008 - 2011
JamSession - a decentralized architecture for virtual worlds and the web 3.0, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) . , Integrantes: Flavio Soares Correa da Silva - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Microsoft Research - Auxílio financeiro.
-
2008 - 2010
Projeto Borboleta - Computação Móvel para Atendimento Domiciliar de Saúde, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Coordenador., Financiador(es): Microsoft Research - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2005 - 2010
LCGT - Laboratory for Computer Games Technology, Descrição: Projeto financiado pela Microsoft Research. Tem por objetivo montar laboratório de pesquisas em jogos de computador, visando desenvolver a tecnologia específica para o desenvolvimento de jogos, desenvolver jogos para fins específicos e construir um currículo de ensino especializado em jogos de computador.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Coordenador., Financiador(es): Microsoft Corporation - Auxílio financeiro.
-
2005 - 2010
ConsRel - Logical Consequence and Combinations of Logics, Descrição: Projeto de pesquisa multi-institucional (projeto temático FAPESP) envolvendo pesquisadores da USP e da UNICAMP. O tema se refere a lógica formal - fundamentos e aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Walter Carnielli - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 3
-
2005 - 2007
EIE - Espaços Inteligentes para Engenharia, Descrição: Espaços inteligentes para engenharia - aplicação de técnicas de inteligência artificial para a construção de espaços interativos de suporte a atividades de engenharia, em especial engenharia de manutenção de grandes estruturas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Crhistian Alberto Noriega Guerra - Integrante / Gustavo Henrique Salazar Torres - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2003 - 2006
ACMUS, Descrição: ACMUS - Acústica Musical: projeto temático FAPESP, multidepartamental que congrega pesquisadores e estudantes de pós graduação dos departamentos de Ciência da Computação e de Música da USP. O objetivo é construir ferramentas de software e hardware para diagnóstico e sugestões de ações corretivas sobre a qualidade acústica de ambientes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Integrante / Fernando Iazzetta - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 2
-
2003 - 2005
CCC-AHIA, Descrição: CCC-AHIA - Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos. Projeto regular financiado pela FAPESP.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Renata Wasserman - Integrante / Leliane Nunes de Barros - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2003 - 2005
BIBO - Busca Inteligente Baseada em Ontologias, Descrição: Busca Inteligente Baseada em Ontologias - projeto que trata da organização de informação com base em ontologias para busca na web semântica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador / Leliane Nunes de Barros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2003 - 2004
ECLIPSE IDE para CIAO PROLOG, Descrição: Construção de IDE para desenvolvimento de projetos em CIAO Prolog, usando a plataforma ECLIPSE.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2003 - 2004
RC-CAI, Descrição: RC-CAI - Redes de Capacidades para Cooperação entre Agentes Inteligentes. Projeto internacional e multiinstitucional, congregando pesquisadores da USP, da Universidade Autônoma de Barcelona e do Instituto de Pesquisas em Inteligência Artificial da Espanha.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante / Carles Sierra - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro., Número de produções C, T & A: 3
-
2000 - 2004
Convênio Acadêmico USP/IIIA (Espanha), Descrição: Convênio acadêmico amplo entre o depto. de ciência da computação da USP (SP) e o IIIA/Espanha. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Jaume Agusti Cullell - Integrante., Financiador(es): Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 13
-
1998 - 2001
SIDAM, Descrição: SIDAM - Sistema de Informações Distribuídas para Agentes Móveis. Projeto temático FAPESP.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Fábio Kon - Integrante / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Siang Wun Song - Coordenador / Alan Mitchel Durham - Integrante / Alfredo Goldman Vel Lejbman - Integrante / Dilma Menezes da Silva - Integrante / Francisco Carlos da Rocha Reverbel - Integrante / Hernan Astudillo - Integrante / João Eduardo Ferreia - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante / Markus Endler - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 4
-
1998 - 2000
DECAFF-KB, Descrição: Projeto de pesquisas internacional e multi-institucional, co-financiado pela CAPES e pelo Conselho Britânico. O objetivo do projeto foi o estudo de técnicas e métodos computacionais e formais para a cooperação entre sistemas baseados em conhecimento construídos com base em formalismos heterogêneos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / David Stuart Robertson - Integrante / Ana Cristina Vieira de Melo - Integrante / Jaume Agusti Cullell - Integrante / Wamberto Vasconcelos - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Conselho Britanico - Auxílio financeiro., Número de produções C, T & A: 10
-
1994 - 1996
VERASS, Descrição: VERASS - Verificação de Assinaturas. Projeto financiado pela Olivetti do Brasil, com o objetivo de construir um sistema capaz de reconhecer e verificar assinaturas em documentos.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Junior Barrera - Integrante / Routo Terada - Coordenador., Financiador(es): Olivetti do Brasil - Auxílio financeiro., Número de produções C, T & A: 6
Projetos de desenvolvimento
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 3
-
1999 - 2000
MAC MULTI, Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flavio Soares Correa da Silva - Integrante / Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 3
Prêmios
2020
Scientific and Academic Advisor (reconhecimento acadêmico), Autem Medical LLC, USA.
2018
AIxIA membro regular, AixIA - Associazione Italiana per l'Intelligenza Artificiale.
2018
Literati Award 2018 - co-author of "Transparency and open government data", Emerald Publishing co.
2015
Academic Advisor (reconhecimento acadêmico), Foundation For Social Innovation, USA.
2013
Best paper award, International Conference on Entertainment Computing.
2013
Best paper award (2nd place), SBGames Arte e Design.
2011
Concurso Latinoamericano de Dissertações de Mestrado (2o. Lugar), Centro Latinoamericano de Estudios en Informatica.
2011
Best paper award, International Conference on Entertainment Computing.
2009
ACM Senior Member, Association for Computing Machinery (USA).
2009
AISB Senior Member, AISB - British Society for Studies of Artificial Intelligence and Simulation of Behaviour.
2007
Prêmio Jabuti 2007 - Primeiro lugar (livro Lógica para Computação), Câmara Brasileira do Livro.
1997
Bolsa Individual - Pesquisa (2B), CNPq.
1993
Bolsa Individual - Pesquisa (2C), CNPq.
1989
Bolsa para Doutoramento no Exterior, CNPq.
1982
Bolsa de Iniciação Científica, FAPESP.
Histórico profissional
Endereço profissional
-
Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. , Rua do Matão, 1010, Butantã, 05508090 - São Paulo, SP - Brasil, Telefone: (11) 30916135, URL da Homepage:
Experiência profissional
2003 - 2003
EMBRAERVínculo: Outro, Enquadramento Funcional: , Carga horária: 0
Outras informações:
Curso "Ontologias Artificiais", para o grupo de Engenharia Baseada em Conhecimento
Atividades
-
10/2003 - 11/2003
Treinamentos ministrados , Engenharia Baseada Em Conhecimento, Engenharia Baseada Em Conhecimento.,Treinamentos ministrados, Ontologias artificiais
1997 - 1997
Universidade Estadual do CearáVínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0
Atividades
-
01/1997
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Aprendizagem Computacional
1993 - 1993
Universidad de Buenos AiresVínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0
Atividades
-
01/1993
Extensão universitária , Universidad de Buenos Aires.,Atividade de extensão realizada, Curso: Raciocínio Automatizado com Incertezas.
1999 - Atual
Universidade de São PauloVínculo: Servidor Público, Enquadramento Funcional: professor associado (MS-5), Regime: Dedicação exclusiva.
1992 - 1999
Universidade de São PauloVínculo: servidor precário, Enquadramento Funcional: professor doutor MS3, Regime: Dedicação exclusiva.
Atividades
-
11/2004
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Preparação de Exames de Lingua Estrangeira.
-
01/2002
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Horários.
-
01/2002
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Cursos Quadrimestrais.
-
01/2001
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Membro do Conselho Departamental.
-
01/2000
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/1999
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Assessor da CAPES para avaliação de projetos.
-
01/1995
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, membro do corpo editorial - Applied Intelligence (Kluwer Academic Publishers).
-
07/1994
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Consultor do Conselho Estadual de Educação para autorização de funcionamento de cursos.
-
01/1994
Pesquisa e desenvolvimento, Lógica e Teoria da Ciência, Lógica e Teoria da Ciência.,Linhas de pesquisa
-
01/1994
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Assessor da FAPESP para avaliação de projetos.
-
01/1993
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Assessor do CNPq para avaliação de projetos.
-
01/2011 - 04/2011
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação
-
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial
-
08/2010 - 12/2010
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Inteligência Artificial
-
03/2010 - 07/2010
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução à Computação (duas turmas e coordenação de disciplina)
-
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Métodos formais em programação
-
08/2009 - 12/2009
Ensino, Ciencia da Computacao, Nível: Pós-Graduação,Disciplinas ministradas, Metodologia de pesquisa em inteligência artificial
-
03/2009 - 07/2009
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Introdução à Computação (duas turmas)
-
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de software
-
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de software, Fundamentos metodológicos para a Inteligência Artificial
-
02/2008 - 06/2008
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, MAC0113 - Introdução à Computação (duas turmas)
-
08/2007 - 12/2007
Ensino, Ciencia da Computacao, Nível: Pós-Graduação,Disciplinas ministradas, MAC 5764 - Tópicos de Engenharia de Software
-
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, MAC 0332 - Engenharia de Software
-
03/2007 - 07/2007
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Laboratório de Inteligência Artificial
-
02/2007 - 06/2007
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Introdução à Computação para Ciências Humanas (duas turmas)
-
08/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Métodos Formais em Programação
-
08/2006 - 12/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Fundamentos de Inteligência Artificial
-
02/2006 - 06/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação
-
01/2003
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software
-
08/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Inteligência Artificial para Jogos de Computador, Tópicos de Engenharia de Software
-
01/2003 - 12/2005
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de software, Inteligência artificial
-
08/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos de engenharia de software, Técnicas de programação declarativa, Tópicos de inteligência artificial
-
01/2004 - 06/2004
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a computação
-
01/2004 - 06/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Laboratório de inteligência artificial
-
01/1999
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, vice presidente - International Society for Applied Intelligence.
-
01/2003
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas)
-
01/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Laboratório de Inteligência Artificial, Técnicas de Programação Declarativa
-
01/2002 - 12/2002
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística.,Cargo ou função, Membro da Comissão de Preparação de Exames de Língua Estrangeira.
-
01/1993 - 05/2002
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Membro da Comissão de Biblioteca.
-
01/2002
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas)
-
01/2002
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Introdução a Computação
-
01/2002
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Laboratório de Inteligência Artificial
-
01/1999
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/2001
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Técnicas de Programação Declarativa
-
01/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Métodos Formais em Programação
-
01/2001
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação
-
01/2000
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas)
-
01/2000
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Métodos Formais em Programação
-
01/2000
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica
-
01/1999
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/1999
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/1999
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Membro do Conselho Departamental.
-
01/1998
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/1997
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Presidente da Comissão de Biblioteca.
-
01/1999
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas - COORDENADOR DE EQUIPE)
-
01/1999
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica
-
01/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos em Sistemas de Computação
-
01/1994
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Presidente da Comissão de Iniciação Científica.
-
01/1993
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Membro da Comissão de Iniciação Científica.
-
01/1998
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas)
-
01/1998
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Noções do Ensino de Matemática Usando o Computador
-
01/1998
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica, Técnicas de Programação Declarativa, Aprendizagem Computacional:Modelos, Algoritmos e Aplicações
-
01/1997
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica
-
01/1997
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução a Inteligência Artificial
-
01/1997
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação
-
01/1994
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
-
01/1996
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica, Aprendizagem Computacional: Modelos, Algoritmos e Aplicações
-
01/1996
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação (duas turmas)
-
01/1995
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica, Técnicas de Programação Declarativa
-
01/1995
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados
-
01/1995
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução a Inteligência Artificial
-
05/1994 - 05/1994
Conselhos, Comissões e Consultoria, Universidade de São Paulo.,Cargo ou função, Consultor do MEC para autorização de funcionamento de curso.
-
01/1994
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução a Inteligência Artificial
-
01/1994
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica
-
01/1994
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Noções Práticas de Computação
-
01/1993
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Introdução a Computação para Ciências Exatas
-
01/1993
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria de Programação em Lógica, Técnicas de Programação Declarativa
-
01/1993
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Introdução a Inteligência Artificial, Noções de Computação II
-
01/1992
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Introdução a Computação para Ciências Exatas
1991 - 1992
University of EdinburghVínculo: Outro, Enquadramento Funcional: , Carga horária: 8
Atividades
-
01/1991
Ensino, Artificial Intelligence, Nível: Graduação,Disciplinas ministradas, Artificial Intelligence I (tutor)
-
01/1991
Ensino, Artificial Intelligence, Nível: Pós-Graduação,Disciplinas ministradas, Knowledge Representation and Inference II (tutor), Expert Systems (tutor)
1988 - 1989
Hindi SaVínculo: Celetista, Enquadramento Funcional: , Carga horária: 0
Atividades
-
01/1988 - 09/1989
Serviços técnicos especializados , Hindi Sa.,Serviço realizado, Desenvolvimento e Manutenção de Sistemas Computacionais.
1987 - 1987
Consultoria Em Sistemas Computacionais LtdaVínculo: Celetista, Enquadramento Funcional: , Carga horária: 0
Atividades
-
08/1987 - 12/1987
Serviços técnicos especializados , Consultoria Em Sistemas Computacionais Ltda.,Serviço realizado, Desenvolvimento e Manutenção de Sistemas Computacionais.
1986 - 1987
Pro Grama Serviços de Computação LtdaVínculo: Outro, Enquadramento Funcional: Sócio Diretor, Carga horária: 0
Atividades
-
08/1986 - 07/1987
Direção e administração, Pro Grama Serviços de Computação Ltda.,Cargo ou função, Sócio Diretor.
-
08/1986 - 07/1987
Serviços técnicos especializados , Pro Grama Serviços de Computação Ltda.,Serviço realizado, Desenvolvimento de Sistemas Computacionais.
1986 - 1987
Instituto de Pesquisas Tecnológicas do Estado de São PauloVínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 8
1985 - 1986
Instituto de Pesquisas Tecnológicas do Estado de São PauloVínculo: Celetista, Enquadramento Funcional: engenheiro, Carga horária: 0
Atividades
-
08/1986 - 07/1987
Outras atividades técnico-científicas , Instituto de Pesquisas Tecnológicas do Estado de São Paulo, Instituto de Pesquisas Tecnológicas do Estado de São Paulo.,Atividade realizada, Consultor - Inteligência Artificial.
-
01/1985 - 07/1986
Pesquisa e desenvolvimento, Instituto de Pesquisas Tecnológicas do Estado de São Paulo.,Linhas de pesquisa
-
01/1985 - 07/1986
Serviços técnicos especializados , Instituto de Pesquisas Tecnológicas do Estado de São Paulo.,Serviço realizado, Desenvolvimento e Manutenção de Modelos Computacionais.
2016 - Atual
University of AberdeenVínculo: Honorary Research Fellow, Enquadramento Funcional: Research Fellow (Honorary)
2018 - 2018
Universitá degli Studi di Milano-BicoccaVínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.
2017 - 2017
Universitá degli Studi di Milano-BicoccaVínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.
2012 - 2017
Escola Politécnica da USPVínculo: Professor Visitante, Enquadramento Funcional: docente em curso de aperfeiçoamento, Carga horária: 3
Outras informações:
Docente em disciplina de aperfeiçoamento voltada a profissionais (MBA). Minhas atividades foram relacionadas ao ensino em uma disciplina, com duração total de 15 horas, apresentada para as turmas de MBA em sustentabilidade e TI anualmente.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Flavio Soares Correa da Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?