-Current.Neural-Symbolic reasoning based on multi-vector representation of knowledge based shared-structures. (Coordenador)
Description: The aim of this project is to develop a neural-symbolic integration approach that learns, from the internal numerical data-structure information of symbolic representation and reasoning, about patterns of symbolic reasoning to help reduce the search space.
Members: Edjard de Souza Mota; Jacob Howe; Artur d'Avila Garcez; ANA CAROLINA MELIK SCHRAMM; Leonardo Augusto Picanço Barreto.
Funders: Não possui.
-Current.Rede de Cooperação em Redes Definidas por Software. (Coordenador)
Description: Esta proposta visa acelerar a formação especialistas (pesquisadores e alunos) em tecnologia SDN, através da cooperação entre grupos de pesquisa da UFAM, UFMG e UFC, bem como consolidar os resultados experimentais obtidos pelo projeto de pesquisa que será beneficiado por esta proposta
Members: Edjard de Souza Mota; Alexandre Passito.
Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.
-Current.Integração de Mapas Auto-Organizáveis Associativos e Métodos Simbólicos Baseada em Modelos Neuro-cognitivos. (Coordenador)
Description: Este projeto tem como objetivo principal investigar e projetar mecanismos de inteligência computacional (métodos, algoritmos e estruturas de dados para agentes inteligentes com capacidade de raciocínio simbólico e de aprendizado através de interações e análises estatísticas), necessários para explorar a integração de novos conceitos sobre memória episódica (e de longa duração) em redes neurais artificiais associativas com métodos simbólicos, e a aplicabilidade dessa integração para estender as capacidades humanas na resolução de problemas e em tecnologias assistivas.
Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.
-Current.MISeRe SDN: Manutenção Inteligente de Serviços em Redes SDN. (Coordenador)
Description: Este projeto visa investigar e desenvolver mecanismos de inteligência computacional (componentes, métodos e/ou agentes inteligentes especializados) necessários para a manutenção automática de serviços de Redes Definidas por Software, ou SDN (do inglês Software-Defined Networks) [McKeown et al., 2008]. Tais mecanismos devem: (i) identificar padrões de estados inconsistentes de redes SDN, (ii) computar quando possíveis estados de falha podem ocorrer, e (iii) evitar a interrupção dos serviços oferecidos por causa de tais inconsistências entre, possivelmente novas, políticas de gerenciamento ou eventos inesperados. No jargão tradicional de redes de computadores estas são tarefas de softwares específicos de gerência de redes que mantêm a confiabilidade e desempenho dos serviços na presença de mal funcionamento de seus componentes ou fatores externos.
Members: Edjard de Souza Mota; Alexandre Passito; Paulo Cesar da Rocha Fonseca; Ricardo Bennesby da Silva; Luis Carlos Miranda dos Santos Junior; Yan Brandão Diniz.
Funders: Não possui.
-Current.Capacitação em Desenvolvimento de Aplicativos (Apps) na Tecnologia iOS. (Coordenador)
Description: Um curso voltado para a plataforma revolucionária do mercado mundial de smartphones, o iOS, com material totalmente baseado na documentação original da Apple e iOS University Program (iOS-UP), e complementos de literatura escrita pelos maiores especialistas nesta tecnologia. Neste treinamento o participante irá aprender os conceitos, técnicas e ferramentas fundamentais para ser capaz de desenvolver seus aplicativos em dispositivos da plataforma iOS (iPhone, iPad e iPod Touch). Espera- se que o participante tenha conhecimentos de programação orientada a objetos (POO), e já tenha programado em alguma das linguagens mais conhecidas de POO (Java ou C++).Ao final do curso o participante irá poder desenvolver seus próprios aplicativos, simular no ambiente Xcode, embarcar os mesmos em seu dispositivo (iPhone, iPad ou iPod Touch), através da licença provisória do iOS-UP da UFAM válida somente durante o Período do curso. A partir de então o participante será capaz de desenvolver seus aplicativos e distribuir no maior canal de distribuição e marketing de software para smartphones do mundo: a Apple Store.
Members: Edjard de Souza Mota; Sheila Cordeiro Mota.
Funders: Não possui.
-Current.Especificação e Verificação de Sistema com Técnicas de Inteligência Artificial. (Participante)
Description: Desenvolvimento de tecnicas de Inteligencia Artificial para unir de forma computacionalmente efetiva as ferramentas de Verificacao Formal de Sistemas e ferramentas CASE baseadas na Linguagem Unificada de Modelagem (UML).
Members: Edjard de Souza Mota; Marcia Roberta Falcao de Farias; Fuad Mousse Abinader Junior.
Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico.