O LInC é um dos laboratórios temáticos do Departamento de Ciência da Computação (DCC) da Universidade Federal de Alfenas, vinculado ao Instituto de Ciências Exatas (ICEx). O Laboratório de Inteligência Computacional realiza pesquisas teóricas e aplicadas em ciências da computação, ciências de dados e suas interfaces com outras disciplinas.
O laboratório tem como objetivo desenvolver e validar algoritmos e modelos para a resolução de problemas complexos. Para isto, são estudados algoritmos exatos, heurísticos, de aprendizado de máquina e de inteligência artificial generativa, dentre outros. Está vinculado ao grupo de pesquisa Algoritmos e Pesquisa Operacional (CNPq).
- O laboratório
- Linhas de Pesquisa
- Equipe
- Alumni
- Infraestrutura
- Trabalhos de Conclusão de Curso
- Publicações
- Contato
O laboratório
Objetivos
- Estudar e propor soluções para problemas de alta complexidade computacional;
- Desenvolver novos métodos computacionais exatos, heurísticos, de aprendizado, de inteligência artificial e híbridos;
- Formar estudantes e pesquisadores capazes de propor soluções inteligentes para diversos problemas computacionais.
Histórico
O laboratório foi criado por volta de 2008–2009, nos primeiros anos do curso de Ciência da Computação da UNIFAL-MG, pelos professores Humberto César Brandão de Oliveira, Luiz Eduardo da Silva e Ricardo Menezes Salgado. Relato completo a definir.
Projetos e atividades em andamento
- Otimização em redes — desenvolvimento de novos modelos e algoritmos para otimização de problemas de caminhos, cobertura e conectividade em redes.
- Computação quântica — avaliação e desenvolvimento de métodos baseados em computação quântica e suas aplicações em problemas complexos.
- Inteligência artificial e aprendizado de máquina — desenvolvimento de modelos e algoritmos inteligentes para aprender o comportamento de sistemas complexos.
- Ciências de dados — desenvolvimento e avaliação de modelos, técnicas e algoritmos para o processamento e validação de quantidades massivas de dados.
Linhas de Pesquisa
Otimização e Pesquisa Operacional
Otimização combinatória, programação linear inteira e inteira mista, e problemas em redes — caminhos, cobertura, conectividade e árvores geradoras. Inclui otimização multiobjetivo e problemas sob incerteza (minmax regret).
Heurísticas, Metaheurísticas e Métodos Híbridos
Algoritmos evolutivos e meméticos, modelos de ilhas coevolutivos, estruturas filogenéticas node-depth, recozimento simulado e math-heuristics (fix-and-optimize).
Inteligência Artificial e Aprendizado de Máquina
Modelos e algoritmos inteligentes para aprender o comportamento de sistemas complexos; imputação e aumento de dados; inteligência artificial generativa; aplicações em saúde, finanças e imagens.
Ciência de Dados e Estatística Experimental
Processamento e validação de grandes volumes de dados, avaliação experimental de algoritmos, testes de hipótese, análise exploratória e visualização.
Computação Quântica
Avaliação e desenvolvimento de métodos baseados em computação quântica e suas aplicações a problemas de alta complexidade computacional. (Linha recente.)
Processamento de Imagens e Sistemas Inteligentes Aplicados
Visão computacional, compressão de vídeo, futebol de robôs (RoboCup Soccer Simulation) e projeto de compiladores.
Equipe
Coordenação
Prof. Dr. Iago Augusto de Carvalho — Doutor em Ciência da Computação pela UFMG (2020), mestre pela UFMG (2016) e bacharel pela UFSJ (2014). Atuação em otimização, pesquisa operacional, estatística experimental, grafos, teoria da computação e inteligência artificial. Página no DCC · site pessoal.
Colaboradores
Prof. Dr. Luiz Eduardo da Silva — Doutor em Ciências em Engenharia Elétrica pela UNIFEI (2012) e mestre em Ciência da Computação pela UNICAMP (1999). Atuação em inteligência artificial, processamento de imagens e projeto de compiladores. Página no DCC.
Prof. Ricardo Menezes Salgado — Docente colaborador, atualmente em licença. Um dos fundadores do laboratório; orientou grande parte dos trabalhos de conclusão de curso listados na seção TCCs. Página no DCC.
Estudantes atuais
| Estudante | Vínculo | Projeto |
|---|---|---|
| Alice Batista Nogueira | Mestrado em Estatística Aplicada e Biometria (bolsa FAPEMIG) | Inteligência artificial e aprendizado de máquina |
| Cícero Barroso de Oliveira | Mestrado em Estatística Aplicada e Biometria (bolsa FAPEMIG) | Computação quântica |
| Hugo Soares Lopes | IC voluntária | Inteligência artificial e aprendizado de máquina |
| Lucas Freire Mesquita | IC voluntária | Inteligência artificial e aprendizado de máquina |
| Otávio Augusto Miguel | IC voluntária | Inteligência artificial e aprendizado de máquina |
| Gustavo Borin Nascimento | TCC | Computação quântica |
| Gustavo Benfica Paulino | TCC | Otimização em redes |
| Luca Barbosa Oliveira | TCC | Otimização em redes |
| Mateus Henrique Martins | TCC | Ciências de dados |
| Bruno Martins Cordeiro | TCC | Ciências de dados |
Alumni
| Nome | Participação no LInC |
|---|---|
| José Flávio Lopes | Bolsista de iniciação científica e aluno de TCC |
| João Carlos Pereira Alves | Aluno de mestrado em Estatística Aplicada e Biometria (bolsista) |
| Alicia Garnier Duarte Franco | Bolsista de iniciação científica |
| Otavio Ferreira Brito Silveira | Bolsista de iniciação científica |
| Augusto Vieira de Oliveira | Bolsista de iniciação científica |
| João Pedro Barbosa Leite | Aluno de TCC |
| Pedro Augusto Mendes | Aluno de TCC |
| Caio Eduardo Marcondes | Aluno de TCC |
| Guilherme Augusto Gouveia | Aluno de TCC |
| Gustavo Morais Costa | Aluno de TCC |
| Vinícius Bueno Bastos | Aluno de TCC |
| Tiago Costa Soares | Bolsista de Iniciação Tecnológica (IT) |
| Adriel Cardoso dos Santos | Publicação em conjunto |
| José Ferreira Reis Fonseca | Aluno de Mestrado (Ciências da Computação, UFMG) |
Infraestrutura
O LInC ocupa a sala C311, no 3º andar do Prédio C do campus sede. A sala possui diversos desktops para o desenvolvimento de projetos de pesquisa e extensão, sala de reuniões, dois quadros brancos e aparelhos de ar-condicionado.
Espaço reservado para fotos do laboratório.
Trabalhos de Conclusão de Curso
Monografias do Bacharelado em Ciência da Computação orientadas por docentes do LInC. Levantamento a partir das Produções Acadêmicas do DCC (2010–2024).
| Ano | Título | Autor(es) | Orientação | |
|---|---|---|---|---|
| 2024 | A robust experimental evaluation of the co-evolutionary islands model | Caio Eduardo Marcondes; Guilherme Augusto Gouveia | Iago Augusto de Carvalho | |
| 2024 | Simulação de divergência genética de populações utilizando algoritmos evolutivos | Gustavo Morais Costa; Vinícius Bueno Bastos | Iago Augusto de Carvalho | |
| 2024 | Aprimorando a experiência de aplicação de um sistema de elaboração de jogos educacionais | Isabelle Sgrignero; Jasmine Gonçalves França | Luiz Eduardo da Silva | |
| 2024 | Estudo e implementação de novas funcionalidades para uma ferramenta de construção de jogos educacionais | Maria Eduarda Santos Silva; Maria Luiza Silva Marcelino | Luiz Eduardo da Silva | |
| 2023 | Um algoritmo de recozimento simulado para o problema da árvore geradora mínima com restrição de grau | José Flávio Lopes | Iago Augusto de Carvalho | |
| 2023 | LocalizAR: aplicativo de geolocalização com realidade aumentada para a comunidade acadêmica da UNIFAL-MG | Daniele Ferreira da Silva; Lucas Bertoni Scarton | Luiz Eduardo da Silva | |
| 2023 | Implementação de mecanismos básicos de futebol para um time de RoboCup Soccer Simulation | Lucas da Silva Justino; Rodrigo Silva de Paulo | Luiz Eduardo da Silva | |
| 2023 | Estudo de viabilidade do uso do Home Assistant como ferramenta para automação residencial | Milene Gabrielle de Faria | Luiz Eduardo da Silva | |
| 2023 | Modelagem inteligente para detecção dos níveis de retinopatia diabética | Guilherme Fernandes da Silva | Ricardo Menezes Salgado | |
| 2022 | Cryptocurrency exchange analysis through the use of artificial intelligence | Gustavo Moreira Penna | Ricardo Menezes Salgado | |
| 2022 | Identificação e localização de anomalias causadas pelo covid-19 em radiografias do tórax utilizando inteligência artificial | Luiz Gustavo Akazawa Nora; Pedro Paulo Miranda Afonso | Ricardo Menezes Salgado | |
| 2022 | Study and analysis of deep learning techniques for solving financial machine learning problems | Wendell João Castro de Avila | Ricardo Menezes Salgado | |
| 2021 | CNN approach for CT scan exam classification | Ariela Marçal Stefanini | Ricardo Menezes Salgado | |
| 2021 | Aplicativo para acompanhamento de treinos em academias | Eduardo Augusto Garcia de Almeida e Silva | Luiz Eduardo da Silva | |
| 2019 | A chord distance metric based on the Tonal Pitch Space and a key-finding method for chord annotation sequences | Lucas Bruno Marques | Luiz Eduardo da Silva; co-orient. José Maurício Schneedorf F. da Silva | |
| 2018 | Video compression based on shots reordering | Gabriel Ribeiro Paiva | Luiz Eduardo da Silva | |
| 2018 | Aplicativo para composição de imagens digitais em dispositivos móveis | Joelmir José Justino | Luiz Eduardo da Silva | |
| 2017 | GMP: um software para cálculos de indicadores de qualidade e quantidade de produção científica | Felipe de Melo Taveira; Lucas Oliveira Nabeto | Luiz Eduardo da Silva | |
| 2017 | Um aplicativo educacional para elaboração e simulação dinâmica de diagramas — abordagem utilizando filas | Nicolas Marcelli Bontempo Vespucio | Luiz Eduardo da Silva | |
| 2017 | Modelos baseados em árvores de regressão extrema aplicados na previsão de carga média | Maurício R. Vidal | Ricardo Menezes Salgado | |
| 2015 | Troca de materiais: serviço web para gerenciamento de resíduos sólidos recicláveis e e-lixo | Adriano César Bócoli | Luiz Eduardo da Silva | |
| 2015 | Eventos UNIFAL: aplicativo para obter informações sobre aulas e eventos da UNIFAL-MG através de comandos de voz | Alberto Silveira Carilo; Gabriela Moreira da Silva | Luiz Eduardo da Silva e Flávio Barbieri Gonzaga | |
| 2015 | Software de segurança de baixo custo utilizando uma webcam | Gabriel Lara De Carli | Luiz Eduardo da Silva | |
| 2015 | Utilização do algoritmo K-means na segmentação e classificação de imagens de refeições | Daniel Elídio Mendes Júnior | Ricardo Menezes Salgado | |
| 2015 | Aplicativo inteligente para sugestão de alimentos saudáveis e controle da diabetes | Fábio Eduardo Murarolli | Ricardo Menezes Salgado | |
| 2013 | Um compilador, uma linguagem de programação e uma máquina virtual (título completo a conferir) | Hiago Borges de Oliveira | Luiz Eduardo da Silva | |
| 2013 | Comparação de estratégias de previsão de carga elétrica | Leandra de Carvalho Nogueira | Ricardo Menezes Salgado | |
| 2013 | Abordagens inteligentes para a identificação e tratamento de outliers | Tadeu de Carvalho Machado | Ricardo Menezes Salgado | |
| 2013 | Desenvolvimento de um modelo inteligente aplicado à gestão de serviço (título completo a conferir) | Rodrigo Sydow Leme da Silva | Luciano Bruno de Carvalho Silva; co-orient. Ricardo Menezes Salgado | |
| 2012 | Sistema inteligente de apoio ao profissional da saúde — estudo de caso na nutrição | Rafael José Peres | Ricardo Menezes Salgado | |
| 2011 | Estudo e implementação de inteligência artificial para futebol de robôs | Thales da Silva Coutinho | Luiz Eduardo da Silva | |
| 2011 | Análise da utilização de energia natural afluente para previsão de razões afluentes mensais via Support Vector Machines | Mariana Dehon Costa e Lima | Ricardo Menezes Salgado | |
| 2011 | Um modelo para análise e tratamento de dados de demanda de energia elétrica | Mateus Drigo da Silva | Ricardo Menezes Salgado | |
| 2011 | Uma abordagem híbrida para identificação de padrões de escoamento bifásico | Mateus Neves Barreto | Ricardo Menezes Salgado | |
| 2010 | A utilização da meta-heurística de otimização denominada colônia de formigas para o restabelecimento de sistemas elétricos de potência | Tiago Silveira | Luiz Eduardo da Silva | |
| 2010 | Modelo inteligente de previsão de vazões afluentes para o auxílio à tomada de decisão no setor elétrico | Danilo Braga de Lima | Ricardo Menezes Salgado | |
| 2010 | Classificação de padrões para o escoamento gás/líquido via modelos inteligentes | Edgar Fonseca Franco Júnior | Ricardo Menezes Salgado | |
| 2010 | Modelos inteligentes aplicados na classificação de padrões de caracteres | Filipe de Oliveira Costa | Ricardo Menezes Salgado | |
| 2010 | Sistema inteligente baseado em ensemble para previsão de séries temporais de carga elétrica | Max Olinto Moreira | Ricardo Menezes Salgado |
Prêmios e Publicações
Publicações
Otimização, redes e metaheurísticas
- CARVALHO, I. A.; LOPES, J. F. Simulated annealing algorithm using the node-depth phylogenetic structure for the degree-constrained minimum spanning tree problem. CLEI Electronic Journal, v. 29, n. 1, 2026.
- CARVALHO, I. A.; COCO, A. A. On solving bi-objective constrained minimum spanning tree problems. Journal of Global Optimization, v. 87, n. 1, p. 301–323, 2023.
- CARVALHO, I. A. et al. A fix-and-optimize heuristic for the minmax regret shortest path arborescence problem under interval uncertainty. International Transactions in Operational Research, v. 30, n. 2, p. 1120–1143, 2023.
- CARVALHO, I. A.; RIBEIRO, M. A.; PEREIRA, A. H. The widest k-set of disjoint paths problem. RAIRO — Operations Research, v. 57, n. 1, p. 87–97, 2023.
- CARVALHO, I. A.; NORONHA, T. F.; DUHAMEL, C. Fix-and-optimize metaheuristics for minmax regret binary integer programming problems under interval uncertainty. RAIRO — Operations Research, v. 56, n. 6, p. 4281–4301, 2022.
- CARVALHO, I. A.; ERLEBACH, T.; PAPADOPOULOS, K. On the fast delivery problem with one or two packages. Journal of Computer and System Sciences, v. 115, p. 246–263, 2021.
- CARVALHO, I. A. et al. The two-dimensional guillotine cutting stock problem with stack constraints. In: Conferencia Latinoamericana de Informática (CLEI), 2021. p. 1–9.
- CARVALHO, I. A.; RIBEIRO, M. A. An exact approach for the minimum-cost bounded-error calibration tree problem. Annals of Operations Research, v. 287, n. 1, p. 109–126, 2020.
- CARVALHO, I. A.; RIBEIRO, M. A. A node-depth phylogenetic-based artificial immune system for multi-objective network design problems. Swarm and Evolutionary Computation, v. 46, p. 66–83, 2019.
- CARVALHO, I. A. On the statistical evaluation of algorithmic’s computational experimentation with infeasible solutions. Information Processing Letters, v. 143, p. 24–27, 2019.
- CARVALHO, I. A.; NORONHA, T. F.; DUHAMEL, C.; VIEIRA, L. F. M. A scenario-based heuristic for the robust shortest path tree problem. IFAC-PapersOnLine, 2016. (referência a conferir)
Aprendizado de máquina, ciência de dados e aplicações
- NASCIMENTO, F. C. do et al. Use of artificial intelligence in electronic health records with nursing data across multiple care settings: a scoping review. CIN: Computers, Informatics, Nursing, v. 44, n. 3, 2026. DOI: 10.1097/CIN.0000000000001400. (coautoria de Luiz Eduardo da Silva.)
- MOREIRA, A. F.; CARVALHO, I. A. Analysis of power in preprocessing methodologies for datasets with missing values. Communications in Statistics — Simulation and Computation, v. 53, n. 12, p. 6525–6539, 2024.
- CARVALHO, I. A. et al. An island-based hybrid evolutionary algorithm for caloric-restricted diets. Evolutionary Intelligence, v. 16, n. 2, p. 553–564, 2023.
- RIBEIRO, M. A. et al. Optimal energy efficiency and throughput on partially reversible pipelined QCA circuits. IEEE Design & Test, v. 37, n. 3, p. 40–50, 2020. (coautoria de I. A. Carvalho.)
- CARVALHO, I. A. et al. Forecasting soccer market tendencies using link prediction. In: ICCSA, 2020. p. 663–675.
- CARVALHO, I. A. et al. Uma análise das seleções da Copa do Mundo de Futebol 2018 utilizando uma rede de transferências de jogadores entre países. iSys — Brazilian Journal of Information Systems, v. 12, n. 3, p. 73–93, 2019.
- SILVEIRA, T.; OLIVEIRA, H. C. B.; SALGADO, R. M.; SILVA, L. E.; MATEUS, G. R. Cosine function applied to the inertia control in the Particle Swarm Optimization. In: IEEE Congress on Evolutionary Computation (CEC), 2010. (coautoria de Ricardo M. Salgado e Luiz Eduardo da Silva.)
Contato
- Endereço: UNIFAL-MG — Departamento de Ciência da Computação, Prédio C, 3º andar, sala C311. Av. Jovino Fernandes Sales, 2600 — Santa Clara, Alfenas/MG, CEP 37133-840.
- Telefone: +55 (35) 3701-1940 (secretaria do DCC).
- E-mail: iago.carvalho@unifal-mg.edu.br
- Coordenação: Prof. Dr. Iago Augusto de Carvalho — página no DCC · site pessoal.
- Grupo de pesquisa (CNPq): Algoritmos e Pesquisa Operacional.
Quer participar?
Estudantes de graduação interessados em iniciação científica ou em desenvolver o TCC nas linhas de pesquisa do laboratório podem escrever para iago.carvalho@unifal-mg.edu.br, descrevendo brevemente seus interesses e o período do curso em que estão.