Sérgio Mariano Dias

  • Endereço para acessar este CV: http://lattes.cnpq.br/8324937657941048
  • Última atualização do currículo em 27/10/2018


Sérgio M. Dias é doutor em Ciência da Computação pela Universidade Federal de Minas Gerais (UFMG) (2016), Mestre em Ciência da Computação pela UFMG (2010) e Bacharel em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (PUC Minas) (2007). Atualmente, é analista Sênior no Serviço Federal de Processamento de Dados (SERPRO) e professor em disciplinas de pós-graduação da PUC Minas. Desenvolve pesquisas em análise formal de conceitos; ciência de dados; mineração de dados; extração e representação de conhecimento e aprendizado de máquinas. No SERPRO atua na Superintendência de Suporte e Dados (SUPSD) em ciência de dados. (Texto informado pelo autor)


Identificação


Nome
Sérgio Mariano Dias
Nome em citações bibliográficas
Dias, S.M.;Sérgio M. Dias;Dias, Sérgio M.;S. Mariano Dias;DIAS, SERGIO M.;DIAS, Sérgio M.;DIAS, SÉRGIO

Endereço


Endereço Profissional
Serviço Federal de Processamento de Dados, Superintendência de Suporte e Dados - SUPSD.
Av. José Cândido da Silveira, 1.200
Cidade Nova
31270010 - Belo Horizonte, MG - Brasil
Telefone: (31) 33116539
URL da Homepage: sergiomdias.com


Formação acadêmica/titulação


2010 - 2016
Doutorado em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Redução de Reticulados Conceituais, Ano de obtenção: 2016.
Orientador: Newton José Vieira.
Palavras-chave: Análise Formal de Conceitos; Reticulados Conceituais; Redução; Implicações.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Atividades dos serviços de tecnologia da informação.
2008 - 2010
Mestrado em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Algoritmos para Geração de Reticulados Conceituais.,Ano de Obtenção: 2010.
Orientador: Newton José Vieira.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Reticulados Conceituais; Análise Formal de Conceitos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Mineração de Dados.
2003 - 2007
Graduação em Ciência da Computação.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Título: Um Estudo Comparativo entre três Técnicas Simbólicas de Extração de Conhecimento de Redes Neurais Artificiais.
Orientador: Luis Enrique Zárate.
Bolsista do(a): Sociedade Mineira De Cultura, SMC, Brasil.
2000 - 2002
Curso técnico/profissionalizante em Técnico em Telecomunicações.
Serviço Social da Indústria Benjamin Guimarães, SESI BG, Brasil.


Pós-doutorado


2017 - 2018
Pós-Doutorado.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Big data.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Data science.


Formação Complementar


2011 - 2011
An introduction to Formal Concept Analysis. (Carga horária: 15h).
Universidade Federal de Minas Gerais, UFMG, Brasil.
2010 - 2010
An Introduction to BI with Microstrategy. (Carga horária: 8h).
Serviço Federal de Processamento de Dados, SERPRO, Brasil.
2010 - 2010
Introdução ao Pentaho. (Carga horária: 8h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2010 - 2010
Dashboard, Report and Analy. for the Business User. (Carga horária: 4h).
Serviço Federal de Processamento de Dados, SERPRO, Brasil.
2009 - 2009
Ética e Serviço público. (Carga horária: 10h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2009 - 2009
Gerenciamento de Serviços - TIC. (Carga horária: 20h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2009 - 2009
CVS-Básico. (Carga horária: 10h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2009 - 2009
Data Warehouse - modelo corporativo. (Carga horária: 20h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2009 - 2009
Sensibilização para o uso de software livre.. (Carga horária: 4h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2009 - 2009
Gestão pública. (Carga horária: 16h).
UniSerpro Universidade Corporativa, UNISERPRO, Brasil.
2007 - 2007
Fundamentos Teóricos da Computação Mest. Isol.. (Carga horária: 60h).
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
2004 - 2004
Curso de OpenGl. (Carga horária: 32h).
Empresa Junior de Ciência da Computação, ECOMP, Brasil.


Atuação Profissional



Serviço Federal de Processamento de Dados, SERPRO, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: , Enquadramento Funcional: Analista de sistemas, Carga horária: 40
Outras informações
Superintendência de Suporte e Dados (SUPSD) SUPSD/SDDSI/SDCSA - Divisão de Soluções Analíticas no Data Lake - Belo Horizonte

Vínculo institucional

2015 - 2016
Vínculo: Celetista, Enquadramento Funcional: Analista de sistemas, Carga horária: 40
Outras informações
Área: Coordenação Estratégica de Informação e Inteligência para Governo. Coordenação tecnológica do Centro de Informação Serpro (CIS) - cis.serpro.gov.br

Vínculo institucional

2012 - 2015
Vínculo: Celetista formal, Enquadramento Funcional: Analista de sistemas, Carga horária: 20
Outras informações
Área: CETEC - Coordenação estratégica de tecnologia. Desenvolvimento de pesquisa aplicada a governo. Pesquisa, desenvolvimento e prototipação de técnicas de mineração de dados em bases governamentais, Pesquisa, desenvolvimento e prototipação de técnicas de mineração de dados escalável, Acompanhamento do processo de transferência de conhecimento e tecnologia entre universidades e o SERPRO. Acompanhamento de convênios de pesquisa entre a UFMG e o SERPRO.

Vínculo institucional

2010 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Analista de sistemas, Carga horária: 20
Outras informações
Área: DEBhe. Provedor de soluções para o processo de ETL (extract, transform and load) do DW (data warehouse) do sistema público de escrituração digital (SPED). Desenvolvimento de sistemas paralelos e distribuídos para processamento da Nfe (Nota Fiscal Eletrônica) e EFD (Escrituração Fiscal Digital).

Vínculo institucional

2009 - 2010
Vínculo: Celetista formal, Enquadramento Funcional: Analista de sistemas, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Área: DEBhe. Provedor de soluções para o processo de ETL (extract, transform and load) do DW (data warehouse) do sistema público de escrituração digital (SPED). Desenvolvimento de sistemas paralelos e distribuídos para processamento da Nfe (Nota Fiscal Eletrônica) e EFD (Escrituração Fiscal Digital).

Atividades

08/2015 - 06/2016
Serviços técnicos especializados , Coordenação tecnológica do Centro de Informação Serpro - CEIIG/IGBHE, .

Serviço realizado
Coordenação Estratégica de Informação e Inteligência para Governo. Coordenação tecnológica do Centro de Informação Serpro (CIS) - cis.serpro.gov.br.
05/2012 - 06/2015
Serviços técnicos especializados , CETEC - Coordenação estratégica de tecnologia, .

Serviço realizado
Desenvolvimento de pesquisa aplicada a governo..
06/2009 - 05/2012
Serviços técnicos especializados , SUPDE, .

Serviço realizado
Provedor de soluções para o processo de ETL (extract, transform and load) do DW (data warehouse) do sistema público de escrituração digital (SPED).

Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2010 - 2016
Vínculo: Aluno de pós-graduação, Enquadramento Funcional: Doutorando em Ciência da Computação, Carga horária: 20

Vínculo institucional

2008 - 2010
Vínculo: Aluno de pós-graduação, Enquadramento Funcional: Mestrando em Ciência da Computação
Outras informações
Bolsista CAPES ( Coordenação de Aperfeiçoamento de Pessoal de Nível Superior) de 03/2008 à 05/2009 com dedicação exclusiva. A partir de 05/2009 com dedicação parcial.


Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 6

Vínculo institucional

2016 - 2016
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador voluntário, Carga horária: 5
Outras informações
Pesquisador voluntário com o Data Science Research Group (DSRgroup) do departamento de ciência da computação da PUC Minas e coorientador de trabalhos em análise formal de conceitos (iniciação cientifica, mestrado e doutorado) do programa de pós-graduação em informática da PUC Minas - http://www.pucminas.br/pos/informatica/destaques.php

Vínculo institucional

2005 - 2008
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 20

Vínculo institucional

2004 - 2004
Vínculo: atividades técnico-científicas, Enquadramento Funcional: Monitor das disciplinas de AEDS I e II, Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações
Monitor das disciplinas de Algoritmos e Estruturas de Dados I e II, auxilio a professor e alunos. Departamento de Ciência da Computação do Instituto de Informática da Pontifícia Universidade Católica de Minas Gerais.

Vínculo institucional

2004 - 2004
Vínculo: Voluntário, Enquadramento Funcional: Voluntário, Carga horária: 20

Atividades

05/2018 - Atual
Ensino, Ciência de Dados e Big Data PUC Minas, Nível: Pós-Graduação

Disciplinas ministradas
Projeto Integrado
Aprendizado de máquina
8/2004 - 12/2004
Outras atividades técnico-científicas , Pontifícia Universidade Católica de Minas Gerais, Pontifícia Universidade Católica de Minas Gerais.

Atividade realizada
Monitoria das disciplinas de AEDS "Algoritmos e Estruturas de Dados" I e II.
06/2004 - 6/2004
Extensão universitária , Departamento de Ciência da Computação - ICEI/PUC Minas, .

Atividade de extensão realizada
Desenvolvimento de material didático e aulas de informática básica para o projeto ComPuc (Computação na PUC), sob orientação do professor Mark Alan Junho Song ..


Projetos de pesquisa


2016 - Atual
BigDataSocial: Minerando subestruturas de redes sociais por meio da análise formal de conceitos. Uma perspectiva para ambientes de Big Data

Projeto certificado pelo(a) coordenador(a) Luis Enrique Zárate Gálvez em 03/01/2017.
Descrição: Atualmente, a análise de redes sócias está concentrada na descoberta de padrões contidos nessas redes. Essas relações podem acontecer entre assuntos, entre eventos, ou entre assuntos e eventos. Em alguns casos, não todas as relações são observadas, assim, pode ser de interesse descobrir a existência de potenciais relações ou subestruturas escondidas entre as instâncias de uma rede social. Neste trabalho, fundamentado na teoria da Análise Formal de Conceitos (AFC), propomos uma abordagem para construir modelos computacionais para redes sociais baseado em regras de implicação que permitam a identificação de subestruturas escondidas. A nossa abordagem será adaptada para ambientes Big Data e trará como contribuição fundamentação teórica, métodos e algoritmos para esse ambiente..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2007
Estudo da Aplicabilidade da Análise Formal de Conceitos para Representação de Conhecimento de Redes Neurais Treinadas
Descrição: Estudo da aplicabilidade da Análise Formal de Conceitos para representação e extração de conhecimento de redes neurais previamente treinadas através do método FCANN e sua aplicação em processo industriais, climáticos e biológicos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Sérgio Mariano Dias - Integrante / Luis Enrique Zárate - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.
Número de produções C, T & A: 6
2005 - 2006
Representação de Conhecimento de Redes Neurais Através da Análise Formal de Conceitos e sua Aplicação em Processos Industriais. PUC MInas FIP 2005/99 - TLE
Descrição: Este projeto tem como objetivo geral a proposta de uma metodologia para extração e representação de conhecimento a partir de Redes Neurais Artificiais previamente treinadas, via Análise Formal de Conceitos (AFC). São também objetivos deste projeto à aplicação da metodologia em processos industriais e o desenvolvimento de uma "Framework", sobre o conceito de software livre, que implemente os algoritmos a serem desenvolvidos para disponibilizar à comunidade acadêmica e de pesquisa. Projeto executado pelo GICAP - Grupo de Inteligência Computacional Aplicado. Valor R$ 5.720,00..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Sérgio Mariano Dias - Integrante / Mark Alan Junho Song - Integrante / Bruno de Castro Bahia Alvarenga Soares - Integrante / Ana Nascimento Alvarez - Integrante / Luis Enrique Zárate - Coordenador.
Número de produções C, T & A: 3


Projetos de desenvolvimento


2007 - 2008
Estudo da Disponibilidade de Luz Natural em Belo Horizonte como Base a Programação da Iluminação Pública Artificial Noturna. CEMIG P&D 128
Descrição: Determinação da luz natural na cidade de Belo Horizonte para a definição dos períodos necessários de iluminação pública artificial noturna ao longo do ano, através do levantamento do período mensal das iluminâncias do céu, considerando a situação de céu desobstruído e a situação de céu obstruído por tipos diferentes de recinto urbano quanto ao adensamento e verticalização. Como sub-projeto é proposto a Representação através de Redes Neurais Artificiais dos níveis de iluminância pública para um ano padrão. E o desenvolvimento de um sistema especialista para identificação da iluminância a partir de um conjunto de parâmetros climáticos. Projeto executado pelo GREEN - Grupo de Estudos em Energia com colaboração do LICAP - Laboratório de Inteligência Computacional Aplicada..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Sérgio Mariano Dias - Integrante / Luis Enrique Zárate - Integrante / Elizabeth Marques Duarte Pereira - Coordenador / Thiago Daniel de Oliveira Moura - Integrante.Financiador(es): Companhia Energética de Minas Gerais S/A - Auxílio financeiro.
Número de produções C, T & A: 1


Revisor de periódico


2010 - Atual
Periódico: RETEC - Revista de Exatas e TECnológicas
2010 - 2011
Periódico: RITA - Revista de Informática Teórica e Aplicada
2011 - Atual
Periódico: Computers and Mathematics with Applications - CAMWA
2012 - Atual
Periódico: Artificial Intelligence Research (AIR)
2014 - 2014
Periódico: ConSerpro - Congresso Serpro de Tecnologia e Gestão aplicadas a Serv. Públ.
2016 - Atual
Periódico: Soft Computing (Berlin. Print)
2017 - Atual
Periódico: Expert Systems with Applications
2017 - Atual
Periódico: International Journal of Machine Learning and Cybernetics


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise Formal de Conceitos.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Mineração de Dados.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Ciência de Dados.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Pouco, Fala Pouco, Lê Razoavelmente.


Prêmios e títulos


2017
Best Student Paper Award in area of Databases and Information Systems Integration for the paper entitled: Formal Concept Analysis applied to Professional Social Networks Analysis, 19th International Conference on Enterprise Information Systems (ICEIS).
2015
Trabalho de Doutorado Selecionado como um dos três Melhores, Semana de Seminários do programa de pós-graduação em ciência da computação (PPGCC) da UFMG.
2015
Segundo melhor trabalho do ConSerpro (Congresso Serpro de Tecnologia e Gestão Aplicadas a Serviços Públicos) em 2015., SERPRO - Serviço Federal de Processamento.
2007
Medalha de Honra ao Mérito, láurea conferida pela instituição ao aluno que se destaca em todo o seu curso de graduação., Pontifícia Universidade Católica de Minas Gerais.
2007
Aluno Destaque da Turma de Ciência da Computação do primeiro semestre de 2007., SBC ? Sociedade Brasileira de Computação.
2006
Finalista na Competição de Avaliação do Sistema JEMS (Journal and Event Management System) do VII Simpósio sobre Fatores Humanos em Sistemas Computacionais realizado em Natal / RN., IHC 2006 - Simpósio Sobre Fatores Humanos em Sistemas Computacionais.
2005
Menção honrosa na área de Ciências Tecnológicas pelo trabalho ?Representação do conhecimento de redes neurais através de análise formal de conceito e sua aplicação em processos industriais, 13º Seminário de Iniciação Científica da Pontifícia Universidade Católica de Minas Gerais.
2005
Destaque acadêmico do segundo semestre de 2005 do curso de Ciência da Computação da PUC Minas unidade Coração Eucarístico, Pontifícia Universidade Católica de Minas Gerais.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:33
Total de citações:37
Fator H:4
Dias, Sérgio M  Data: 15/02/2017

SCOPUS
Total de trabalhos:17
Total de citações:84
Dias, Sérgio M.  Data: 15/02/2017

Outras
Total de trabalhos:38
Total de citações:161
Sérgio M Dias  Data: 15/02/2017

Artigos completos publicados em periódicos

1.
SILVA, Paula. R. C.2018SILVA, Paula. R. C. ; Dias, Sérgio M. ; SONG, Mark Alan Junho ; ZARATE, LUIS E. . Minimal Implications Base for Social Network Analyzes. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS (PRINT), v. 14, p. 62-77, 2018.

2.
MENDES NETO, Sebastião2018MENDES NETO, Sebastião ; Dias, Sérgio M. ; MISSAOUI, R. ; ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho . Identification of substructures in complex networks using formal concept analysis. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS (PRINT), v. 14, p. 281-298, 2018.

3.
SANTOS, PHILLIP2018SANTOS, PHILLIP ; RUAS, PEDRO ; NEVES, JULIO ; SILVA, PAULA ; DIAS, SÉRGIO ; ZÁRATE, LUIS ; SONG, MARK . ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram -. INFORMATION, v. 9, p. 266, 2018.

4.
DIAS, Sérgio M.2017 DIAS, Sérgio M.; VIEIRA, Newton José . A methodology for analysis of concept lattice reduction. Information Sciences, p. 202-217, 2017.

5.
HUANG, C.2016HUANG, C. ; LI, J. ; DIAS, Sérgio M. . Attribute significance, consistency measure and attribute reduction in formal concept analysis. Neural Network World (Prague), v. 6, p. 607-623, 2016.

6.
Sérgio M. Dias2015 Sérgio M. Dias; VIEIRA, Newton José . Concept lattices reduction: Definition, analysis and classification. Expert Systems with Applications, v. 42, p. 7084-7097, 2015.

7.
MORAES, N. R. M.2015MORAES, N. R. M. ; Sérgio M. Dias ; FREITAS, H. C. ; ZÁRATE, Luis Enrique . Parallelization of the next Closure algorithm for generating the minimum set of implication rules. Artificial Intelligence Research, v. 5, p. 40-54, 2015.

8.
C Aswani Kumar2014C Aswani Kumar ; Sérgio M. Dias ; VIEIRA, Newton José . Knowledge reduction in formal contexts using non-negative matrix factorization. Mathematics and Computers in Simulation (Print), v. 109, p. 46-63, 2014.

9.
Dias, Sérgio M.2013Dias, Sérgio M.; ZÁRATE, Luis Enrique ; VIEIRA, Newton José . Using Iceberg Concept Lattices and Implications Rules to Extract Knowledge from Ann. Intelligent Automation and Soft Computing, p. 1-12, 2013.

10.
2Dias, Sérgio M.2012Dias, Sérgio M.; VIEIRA, NEWTON J. . Applying the JBOS reduction method for relevant knowledge extraction. Expert Systems with Applications, v. 40, p. 1880-1887, 2012.

11.
1Dias, Sérgio M.2012Dias, Sérgio M.; ZÁRATE, Luis Enrique ; VIEIRA, Newton José . Extracting reducible knowledge from ANN with JBOS and FCANN approaches. Expert Systems with Applications, v. 40, p. 3087-3095, 2012.

12.
3DIAS, Sérgio M.2011DIAS, Sérgio M.; VIEIRA, Newton José . Um Arcabouço para Desenvolvimento de Algoritmos da Análise Formal de Conceitos. Revista de Informática Teórica e Aplicada: RITA, v. 18, p. 31-57, 2011.

13.
4ZÁRATE, Luis Enrique2009ZÁRATE, Luis Enrique ; DIAS, Sérgio M. . Qualitative behavior rules for the cold rolling process extracted from trained ANN via the FCANN method. Engineering Applications of Artificial Intelligence, v. 2, p. 718-731, 2009.

14.
5ZÁRATE, Luis Enrique2008 ZÁRATE, Luis Enrique ; Dias, S.M. ; SONG, Mark Alan Junho . FCANN: A new approach for extraction and representation of knowledge from ANN trained via Formal Concept Analysis. Neurocomputing (Amsterdam), v. 71, p. 2670-2684, 2008.

Capítulos de livros publicados
1.
Silva, Paula R. ; DIAS, Sérgio M. ; Brandão, Wladmir C. ; Song, Mark A. ; Zárate, Luis E. . Professional Competence Identification Through Formal Concept Analysis. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2018, v. , p. 34-56.

2.
DIAS, Sérgio M.; NOGUEIRA, Bruno Magalhães ; ZÁRATE, Luis Enrique . Adaptation of FCANN Method to Extract and Represent Comprehensible Knowledge from Neural Networks. New Challenges in Applied Intelligence Technologies - Series: Studies in Computational Intelligence. 1ed.Berlin / Heidelberg: Springer, 2008, v. 134, p. 163-172.

3.
ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; ALVAREZ, Ana Nascimento ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; Dias, S.M. ; SANTOS, Tadeu R. A. . Representação de Conhecimento de Redes Neurais Através da Análise de Conceitos Formais e sua Aplicação em Processos Industriais: um Ambiente Computacional. In: Pontifícia Universidade Católica de Minas Gerais. (Org.). Destaques da Iniciação Científica 2005. : , 2005, v. , p. -.

Textos em jornais de notícias/revistas
1.
Sérgio M. Dias; TORRES, Gustavo da Gama ; PITA, Marcelo Rodrigo de Souza . Os dados estão em toda a parte. Notícias Serpro - 2017, 11 dez. 2017.

2.
PITA, Marcelo Rodrigo de Souza ; TORRES, Gustavo da Gama ; Dias, Sérgio M. . Análise de redes sociais para inferência de similaridade entre fornecedores de governo - TemaTec 233. Revista TEMA, 03 maio 2016.

Trabalhos completos publicados em anais de congressos
1.
NEVES, JULIO ; SILVA, PAULA ; SONG, MARK ; DIAS, Sérgio M. ; SANTOS, PHILLIP ; ZÁRATE, LUIS . An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram. In: 20th International Conference on Enterprise Information Systems, 2018, Funchal. Proceedings of the 20th International Conference on Enterprise Information Systems, 2018. v. 1. p. 50-57.

2.
DIAS, Sérgio M.; ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; VIEIRA, Newton José . Indexes to Evaluate Reduced Concept Lattices. In: 14th International Conference on Formal Concept Analysis - ICFCA, 2017, Rennes. Supplementary proceedings of the 14th International Conference on Formal Concept Analysis - ICFCA, 2017. v. 1. p. 1-16.

3.
FERREIRA, Leandro. M. ; PINTO, Cristiano. L. N. ; DIAS, Sérgio M. ; NOBRE, Cristiane Neri ; ZÁRATE, Luis Enrique . Extraction of conservative rules for translation initiation site prediction using the formal concepts analysis. In: 19th International Conference on Enterprise Information Systems (ICEIS), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS), 2017. v. 1. p. 265-8.

4.
SILVA, Paula. R. C. ; DIAS, Sérgio M. ; BRANDÃO, Wladmir Cardoso ; SONG, Mark Alan Junho ; ZÁRATE, Luis Enrique . Formal Concept Analysis applied to Professional Social Networks Analysis. In: 19th International Conference on Enterprise Information Systems (ICEIS), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS), 2017. v. 1. p. 123-12.

5.
RESENDE, GUSTAVO JOTA ; DE MORAES, NILANDER R.M. ; DIAS, SERGIO M. ; NETO, HUMBERTO T. MARQUES ; ZARATE, LUIS E. . Canonical Computational Models Based on Formal Concept Analysis for Social Network Analysis and Representation. In: 2015 IEEE International Conference on Web Services (ICWS), 2015, New York. 2015 IEEE International Conference on Web Services. v. 1. p. 717-4.

6.
NETO, SEBASTIAO M. ; ZARATE, LUIS E. ; SONG, MARK A. J. ; DIAS, SERGIO M. . Minimal Cover of Implication Rules to Represent Two Mode Networks. In: 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WIIAT), 2015, Singapore. 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2015. p. 211.

7.
PITA, Marcelo Rodrigo de Souza ; TORRES, Gustavo da Gama ; DIAS, Sérgio M. . Análise de Redes Sociais para Inferência de Similaridade entre Fornecedores de Governo. In: ConSerpro, 2015, Florianopólis. ConSerpro ? Congresso SERPRO de Tecnologia e Gestão Aplicada a Serviços Públicos, 2015. p. 1-30.

8.
NETO, SEBASTIAO M. ; SONG, MARK A. J. ; ZARATE, LUIZ E. ; DIAS, SERGIO M. . Using implications from FCA to represent a two mode network data. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. org.crossref.xschema._1.Title@4ea2f2d0. p. 256-260.

9.
DIAS, Sérgio M.; VIEIRA, Newton José . Reducing the Size of Concept Lattices: The JBOS Approach. In: CLA - Concept Lattices and Their Applications, 2010, Seville, Spain. Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010. v. 672. p. 80-91.

10.
DIAS, Sérgio M.; ZÁRATE, Luis Enrique . FCANN: Extração de Conhecimento de Redes Neurais Artificiais através da Análise Formal de Conceitos. In: IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional, 2009, Ouro Preto, MG. IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional, 2009. p. 1-6.

11.
DIAS, Sérgio M.; NOGUEIRA, Bruno Magalhães ; ZÁRATE, Luis Enrique ; VIEIRA, Newton José . Extracão e Representacão de Conhecimento de Redes Neurais Artificiais Utilizando o Reticulado Conceitual Iceberg e Extração de Regras de Implicacão no Método FCANN. In: V WAAMD - Workshop em Algoritmos e Aplicações de Mineração de Dados, 2009, Fortaleza, CE. Anais do V WAAMD, 2009. p. 10-17.

12.
TOSTES, Anna Izabel ; DUARTE-FIGUEIREDO, Fátima de Lima Procópio ; NOVY, Gabriel Felipe Cândido ; DIAS, Sérgio M. ; ZÁRATE, Luis Enrique . An Artificial Neural Network Approach for Mechanisms of Call Admission Control in UMTS 3G Networks. In: International Conference on Hybrid Intelligent Systems - IEEE HIS, 2008, Barcelona. International Conference on Hybrid Intelligent Systems, 2008. p. 459-464.

13.
GONÇALVES, Willi de Barros ; ZÁRATE, Luis Enrique ; ASSIS, Eleonora Saad ; DIAS, Sérgio M. . Estimativa de Dados Climáticos Utilizando Redes Neurais Artificiais para fins de Zoneamento Bioclimático do Estado de Minas Gerais. In: XII Encontro Nacional de Tecnologia. In: XII Encontro Nacional de Tecnologia, 2008, Fortaleza-CE. XII Encontro Nacional de Tecnologia, 2008. p. 1-10.

14.
ZÁRATE, Luis Enrique ; DIAS, Sérgio M. ; SONG, Mark Alan Junho . FCANN Method Applications for Knowledge Extraction From PreviouslyTrained ANN. In: IEEE IJCNN-2007, 2007, Orlando. 17th International Joint Conference on Neural Networks, 2007. p. 649-654.

15.
DIAS, Sérgio M.; NOGUEIRA, Bruno Magalhães ; ZÁRATE, Luis Enrique . Extração de Conhecimento de Redes Neurais Artificiais através da Metodologia FCANN - Um estudo de caso. In: II Congresso da Academia Trinacional de Ciências, 2007, Foz do Iguaçu, Paraná, Brasil. Anais do II Congresso da Academia Trinacional de Ciências, 2007. p. 1-11.

16.
ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; DIAS, Sérgio M. ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; SANTOS, Tadeu R. A. ; VIMIEIRO, Renato ; VIEIRA, Newton José ; ALVAREZ, Ana Nascimento . An Approach to Knowledge Extraction From ANN Through Formal Concept Analysis - Computational Tool Proposal: SOPHIANN.. In: ISIE, 2006, Montreal. 15th International Symposium on Industrial Electronics, 2006. p. 43-48.

17.
SONG, Mark Alan Junho ; ZÁRATE, Luis Enrique ; DIAS, Sérgio M. ; NOGUEIRA, Bruno Magalhães ; SOARES, Bruno de Castro Bahia Alvarenga ; ALVAREZ, Ana Nascimento ; SANTOS, Tadeu R. A. ; VIEIRA, Newton José ; VIMIEIRO, Renato . SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained - A Case Study. In: the 18th Int. Conf. on Software Engineering and Knowledge Engineering., 2006, Montreal, Que. The Eighteenth International Conference on Software Engineering and Knowledge Engineering, 2006. v. 1. p. 631-638.

18.
CARVALHO, Eros M. ; DIAS, Sérgio M. ; CUNHA, Jefferson W. ; ARAÚJO, Frederico A. F. S. ; MARTINS, Carlos Augusto Paiva da Silva . SkepsisMem: Um Simulador Didático e Interativo de Hierarquia de Memória. In: WSCAD, 2006, Ouro Preto. VII Workshop em Sistemas Computacionais de Alto Desempenho - Resumo de Iniciação Cientifica., 2006. p. 1-4.

19.
TITO, Diogo Vargas ; NETTO, Fernanda de Castro Muniz ; DRUMOND, Luiz Guilherme Hilel ; PARREIRAS, R. L. Diniz ; DIAS, Sérgio M. ; NOBRE, Cristiane Neri . Avaliação da Usabilidade do JEMS - Journal and Event Management System - através de Avaliação Heurística, Ensaios de Interação e Questionários de Satisfação. In: ACM International Conference Proceeding Series, 2006, Natal. Proceedings of VII Brazilian symposium on Human factors in computing systems - Student evaluation competition undergraduate level. New York, NY, USA: ACM, 2006. p. 67-77.

20.
ZÁRATE, Luis Enrique ; DIAS, Sérgio M. . FCANN: An Approach to Knowledge Representation From ANN Through Formal Concept Analysis ? Application in the Cold Rolling Process. In: IEEE IECON, 2006, Paris. IECON - 32nd Annual Conference of the IEEE Industrial Electronics Society. p. 3773-3778.

21.
DIAS, Sérgio M.; ZÁRATE, Luis Enrique . FCANN: An Approach to Knowledge Representation From ANN Through FCA ? Effects of Synthetic Data Base and Discretization Process, Application in the Cold Rolling Process. In: ICIT 2006, 2006, Índia. ICIT - The International Conference on Industrial Technology (IEEE Industrial Electronics Society), 2006. p. 2013-2018.

22.
ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; DIAS, Sérgio M. ; SANTOS, Tadeu R. A. ; NOGUEIRA, Bruno Magalhães ; SOARES, Bruno de Castro Bahia Alvarenga ; ALVAREZ, Ana Nascimento . SOPHIANN: Aprendizado de Processos Através da Extração de Conhecimento via Redes Neurais. In: Simpósio Brasileiro de Informática na Educação, 2005, Juiz de Fora. Anais do XVI Simpósio Brasileiro de Informática na Educação, 2005. v. 1. p. 403-415.

Resumos publicados em anais de congressos
1.
NOGUEIRA, Bruno Magalhães ; SANTOS, Tadeu R. A. ; DIAS, Sérgio M. ; ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; SOARES, Bruno de Castro Bahia Alvarenga ; ALVAREZ, Ana Nascimento . Representação do Conhecimento de Redes Neurais Artificiais Através da Analise de Conceitos Formais e Sua Aplicação em Processos Industriais. In: Resumo do 14° Seminário de Iniciação Cientifica da PUC Minas, 2006, Belo Horizonte. 14° Seminário de Iniciação Cientifica, 2006. p. 129-129.

2.
ZÁRATE, Luis Enrique ; DIAS, Sérgio M. ; ALVAREZ, Ana Nascimento ; SOARES, Bruno de Castro Bahia Alvarenga . Representação do Conhecimento de Redes Neurais através da Análise de Conceitos Formais e sua Aplicação em Processos Industriais. In: 13º Seminário de Iniciação Científica da PUC Minas, 2005, Belo Horizonte. Resumos 13 Seminário de Iniciação Científica, 2005, 2005. v. 1. p. 316-317.

Apresentações de Trabalho
1.
Dias, Sérgio M.. Big Data Analytics em Governo. 2017. (Apresentação de Trabalho/Seminário).

2.
Dias, Sérgio M.. Introdução a ciência de dados com aplicações em dados educacionais. 2017. (Apresentação de Trabalho/Seminário).

3.
DIAS, Sérgio M.; VIEIRA, Newton José . Redução de reticulados conceituais. 2015. (Apresentação de Trabalho/Seminário).

4.
DIAS, Sérgio M.; PITA, Marcelo Rodrigo de Souza . Ciência de Dados com Software Livre. 2015. (Apresentação de Trabalho/Conferência ou palestra).

5.
PITA, Marcelo Rodrigo de Souza ; Dias, Sérgio M. . Mineração de Dados com Software Livre. 2012. (Apresentação de Trabalho/Congresso).

6.
DIAS, Sérgio M.; VIEIRA, Newton José . Algoritmos para geração de reticulados conceituais. 2009. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
TORRES, Gustavo da Gama ; Dias, Sérgio M. ; PITA, Marcelo Rodrigo de Souza . Redesenho de Serviços para a Sociedade e o Governo: notas para uma reflexão inicial. SERPRO, 2017 (Anuário de Inteligência SERPRO).


Produção técnica
Programas de computador sem registro
1.
DIAS, Sérgio M.; VIEIRA, Newton José . EF-Concept Analysis - Educational Framework for Concept Analysis. 2010.

2.
DIAS, Sérgio M.; ALENCAR, Rafael Odon ; GONÇALVES, Willi de Barros . Catálogo técnico de materiais e componentes. 2008.

3.
PEREIRA, Elizabeth Marques Duarte ; ZÁRATE, Luis Enrique ; DIAS, Sérgio M. ; MOURA, Thiago Daniel de Oliveira . Hélios 1.0 - Sistema especialista para determinação da duração do dias a partir de parâmetros climáticos.. 2007.

4.
ZÁRATE, Luis Enrique ; DIAS, Sérgio M. ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; SANTOS, Tadeu R. A. ; SONG, Mark Alan Junho ; ALVAREZ, Ana Nascimento . SOPHIANN 1.0 - Um ambiente para Extração de Conhecimento de Redes Neurais previamente treinadas através da Análise Formal de Conceitos. 2005.

5.
CARVALHO, Eros M. ; DIAS, Sérgio M. ; CUNHA, Jefferson W. ; ARAÚJO, Frederico A. F. S. ; MARTINS, Carlos Augusto Paiva da Silva . SkepsisMem 1.0 - Um Simulador Didático e Interativo de Hierarquia de Memória. 2004.


Demais tipos de produção técnica
1.
Dias, Sérgio M.; PITA, Marcelo Rodrigo de Souza ; TORRES, Gustavo da Gama . Ciência de dados: fundamentação e prática. 2017. .

2.
DIAS, Sérgio M.; PITA, Marcelo Rodrigo de Souza . Análise de dados: fundamentação e prática. 2016. .

3.
DIAS, Sérgio M.; PITA, Marcelo Rodrigo de Souza . Análise de dados: fundamentação e prática. 2015. .

4.
ALENCAR, Rafael Odon ; Dias, S.M. . Laboratório de Inteligência Computacional Aplicada - LICAP. 2006. (Desenvolvimento de material didático ou instrucional - Site do Laboratório de Inteligência Computacional Aplicada).

5.
ZÁRATE, Luis Enrique ; Dias, S.M. ; NOGUEIRA, Bruno Magalhães ; SANTOS, Tadeu R. A. . Representação do Conhecimento de Redes Neurais Artificiais, previamente treinadas, através da Análise Formal de Conceitos. 2006. (Relatório de pesquisa).

6.
ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho ; Dias, S.M. ; ALVAREZ, Ana Nascimento ; SOARES, Bruno de Castro Bahia Alvarenga . Representação de conhecimento de redes neurais através da análise formal de conceitos e sua aplicação em processos industriais. 2005. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SONG, Mark Alan Junho; AGUIAR, C. S. V.; DIAS, Sérgio M.; ZÁRATE, Luis Enrique. Participação em banca de Phillip Gonçalves Santos. Uma abordagem para extração de regras de implicação própria a partir de contextos formais de alta dimensionalidade utilizando diagrama binário de decisão. 2018. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

2.
ZÁRATE, Luis Enrique; JORGE, Alípio Mário Guedes; Dias, Sérgio M.; BRANDÃO, Wladmir Cardoso; SONG, Mark Alan Junho. Participação em banca de Paula Raissa Costa e Silva. Análise formal de conceitos aplicada na análise de redes sociais profissionais on-line. 2017. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

3.
PRUDÊNCIO, Ricardo Bastos Cavalcante; DIAS, Sérgio M.; QUEIROZ, Sérgio Ricardo de Melo; VIMIEIRO, Renato. Participação em banca de Maurício Aldenor Souza dos Santos. Estudo comparativo de algoritmos exaustivos para mineração de padrões discriminativos em base de dados biomédicas. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Qualificações de Mestrado
1.
LIMA, Gercina Ângela Borém de Oliveira; DIAS, Sérgio M.; MACULAN, Benildes. Participação em banca de Patricia Lopes Ferreira França. Proposta de uma metodologia para organização e representação de trilhas de aprendizagem. 2018. Exame de qualificação (Mestrando em programa de pós-graduação em gestão e organização do conhecimento) - Universidade Federal de Minas Gerais.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Curso: Competências Conversacionais realizado pela Crescimentum. 2014. (Outra).

2.
Seminário E-PING: áreas de integração para o governo eletrônico.Mesa 2: "P2IGov: Desambiguação de Dados e Processos" - CONSENSO: Proposta de Arquitetura. 2014. (Seminário).

3.
Seminário de Gerenciamento de Dados em Software Livre.Caso de Sucesso SPED: Integração SPED, Uma solução baseada em PostgreSQL, Linux e Java. 2011. (Seminário).

4.
JAI - XXIX Jornadas de Atualização em Informática / CSBC. 2010. (Congresso).

5.
XXX Congresso da SBC. 2010. (Congresso).

6.
SERPRO - Engenharia de Produção de Softwares. 2009. (Outra).

7.
SERPRO - Garantia de Qualidadde de Software. 2009. (Outra).

8.
SERPRO - Gestão de Configuração de Software. 2009. (Outra).

9.
SERPRO - Gestão de projeto de software. 2009. (Outra).

10.
SERPRO - Requisitos. 2009. (Outra).

11.
SERPRO - Testes / Homologação / Macroatividades. 2009. (Outra).

12.
Treinamento interno SERPRO.Data Warehouse - Conceitos Fundamentais. 2009. (Outra).

13.
Seminários I do Curso de Ciência da Computação da PUC Minas..Redes Neurais. 2007. (Seminário).

14.
SEMINF - Seminário de Dissertações do Programa de Pós-Graduação em Informática. 2007. (Seminário).

15.
14º Seminário de Iniciação Cientifica.Representação do Conhecimento de Redes Neurais Através de Análise Formal de Conceitos e sua Aplicação em Processos Industriais. 2006. (Seminário).

16.
ERI-MG - V Escola Regional de Infórmatica de Minas Gerais. 2006. (Outra).

17.
SETICC Seminário de Trabalhos de Iniciação Científica em Computação.Representação do Conhecimento de Redes Neurais Através da Análise de Conceitos Formais e sua Aplicação em Processos Industriais. 2006. (Seminário).

18.
13º Seminário de iniciação cientifica.Representação do Conhecimento de Redes Neurais Através de Análise Formal de Conceitos e sua Aplicação em Processos Industriais (Um Ambiente Computacional). 2005. (Outra).

19.
Escola Regional de Informática de Minas Gerais. 2005. (Outra).

20.
SETICC Seminário de Trabalhos de Iniciação Científica em Computação.Representação do Conhecimento de Redes Neurais Através de Análise Formal de Conceitos e sua Aplicação em Processos Industriais (Um Ambiente Computacional). 2005. (Seminário).

21.
Palestra PRÉ-PROBIC. 2004. (Outra).

22.
Semana da Computação. 2003. (Seminário).

23.
Curso Técnico sobres Sistema WireLess Realizado pela Dentratronic. 2002. (Outra).

24.
III Ciclo de Palestras Técnicas da Escola SESI Benjamin Guimarães. 2001. (Outra).

25.
Primeira e Segunda fase da Olimpíada Brasileira de Física. 2001. (Outra).



Outras informações relevantes


A) Aprovado no concurso público do Serviço Federal de Processamento de Dados (SERPRO) 2008 como analista de sistemas.

B) Participante do projeto de pesquisa desenvolvido em parceria entre a UFMG e o SERPRO, tendo gerado uma técnica registrada em Contrato de Partilhamento de Titularidade de Know-How e Outras Avenças sobre os direitos de propriedade intelectual intitulado "Práticas de Mineração de Dados Escalável para Sistemas de Governo", e publicado na Pg. 93, Seção 3, Diário Oficial da União de 10/06/2013



Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 10:26:03