Alexandre Henrique Soares Dias

Formação complementar

Idiomas

Participação em eventos

Produções bibliográficas

• DIAS, A. H. S. ; Alves, G. ; LIMA, G. Y. P. ; ALSINA, A. ; SILVA, I. . Abordagem Cientométrica Orientada a Dados para Classificação Multi-Alvo dos Objetivos de Desenvolvimento Sustentável na Automação. In: Congresso Brasileiro de Automática, 2022, Fortaleza. ANAIS DO XXIV CONGRESSO BRASILEIRO DE AUTOMÁTICA ? CBA 2022, 2022.

• SIGNORETTI, GABRIEL ; SILVA, MARIANNE ; DIAS, ALEXANDRE ; SILVA, IVANOVITCH ; SILVA, DIEGO ; FERRARI, PAOLO . Performance Evaluation of an Edge OBD-II Device for Industry 4.0. In: 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019, Naples. 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019. p. 432.

Projetos de pesquisa

• 2018 - 2019

  Uma plataforma para o monitoramento de irregularidade veicular em cidades inteligentes, Descrição: Este projeto tem como objetivo propor uma plataforma de Internet das Coisas (IoT) para Cidades Inteligentes destinada a integração de agentes de segurança na tarefa de localização de veículos de interesse por intermédio do reconhecimento automático de placas de licenciamento e consulta a bases externas. A plataforma será composta por uma aplicação Android capaz de reconhecer placas em tempo real e em fluxo de dados, além de um servidor executando uma API RESTful responsável por consultar bases externas e integrar os usuários do aplicativo. O método de reconhecimento adotado utilizará o reconhecedor de textos da Mobile Vision API, da Google, e heurísticas específicas para adequação e refinamento dos resultados além da aplicação de algoritmos de aprendizagem de máquina. Dessa forma, o projeto apresenta desafios tecnológicos e científicos além de uma excelente oportunidade de Inovação. Os resultados vislumbrados pelo projeto tem potencial para impactar positivamente e diretamente a população no que tange benefícios para minimizar a insegurança pública.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Alexandre Henrique Soares Dias - Integrante / Ivanovitch Medeiros Dantas Da Silva - Coordenador / Vitor Rodrigues Greati - Integrante / Artur Maricato Curinga - Integrante / Allan De Medeiros Martins - Integrante / Aluizio Ferreira da Rocha Neto - Integrante / Eduardo Santos De Freitas - Integrante / Vinicius Campos Tinoco Ribeiro - Integrante.

• 2016 - 2017

  Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais, Descrição: Descrevemos a Lógica Linear (LL) e apresentamos uma implementação de LL na linguagem de programação Maude, com o auxílio das linguagens PHP e javascript. Tal implementação está disponível online no site https://mat.ufrn.br/Prover-Maude/, onde qualquer pessoa pode interagir com a ferramenta, e utilizá-la tanto para fins didáticos como também pessoais, em busca por provas e verificação de sistemas. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alexandre Henrique Soares Dias - Integrante / Elaine Gouvea Pimentel - Coordenador / Mauro Chiozzi - Integrante / Carlos Alberto Olarte Vega - Integrante.