Descrição:

Descrição: Projeto de Pesquisa, Desenvolvimento e Inovação Tecnológica (PD&I) sobre a aplicação de técnicas de inteligência artificial e afins, para a análise, verificação formal e otimização de desempenho de software, explorando o impacto de componentes de hardware no sistema embarcado, como consumo de bateria, comunicação em rede e gerenciamento de memória.

Descrição: O Centro de Pesquisa em Inteligência Artificial - Brazilian Institute of Data Science (BI0S) tem como principal objetivo contribuir com o desenvolvimento científico-tecnológico e social em duas áreas estratégicas no plano nacional: Saúde (trilha focal) e Agropecuária (Agro, trilha secundária). Na Trilha Saúde, o foco de atuação do BI0S se dará no enfrentamento de problemas associados à saúde da mulher nos diversos momentos de seu ciclo de vida. Numa primeira etapa, os principais problemas que serão abordados estão relacionados à morte materna e neonatal e à mortalidade precoce de mulheres por doenças preveníveis e potencialmente curáveis, como o câncer de colo e câncer de mama. Na trilha Agro, o objetivo principal é ampliar a disponibilidade e a qualidade de informações úteis para a tomada de decisões na agropecuária, tanto em escala local como regional, ou mesmo global, com soluções para a agricultura de precisão, e abordando também problemas tais como os impactos das mudanças climáticas. Além das trilhas Saúde e Agro, o BI0S conta com uma trilha de Método, cujo objetivo é subsidiar as frentes de aplicação com ferramentas de IA. Finalmente, cabe destacar que a atuação em duas trilhas temáticas posiciona o BI0S como um centro capaz de abordar problemas transversais de grande interesse atual e que se encontram na fronteira entre as trilhas Saúde e Agro, como as relações entre uma determinada estratégia de cultivo e seus efeitos na saúde humana.

Descrição: Projeto integrante da REBRACO (Rede BRAsileira em estudos do COVID-19 em Obstetrícia), co-coordenando um grupo do Amazonas com o projeto  "E.U.- COVID - Estratégia Unificada de prontuários eletrônicos para acompanhamento da Covid na Gestação", coordenado pela UNICAMP.

Descrição: O tema central do projeto é o de algoritmos combinatórios e engloba aspectos teóricos e aplicados.

Descrição: Caracterizações, algoritmos e aplicação na otimização de processos em sistemas complexos, envolvendo problemas em grafos e escalonamento de tarefas.

Processo: 462425/2014-2
Titulo do Projeto: Investigação de problemas em grafos e escalonamento de tarefas: caracterizações, algoritmos e aplicação na otimização de processos em sistemas complexos 
Instituição de Vínculo: Universidade Federal do Amazonas/UFAM-AM
CNPJ: 04378626000197
Instituição de Execução: Universidade Federal do Amazonas
CNPJ: 04378626000197
Chamada: MCTI/CNPQ/Universal 14/2014

Descrição: Desenvolver algoritmos para o problema de PNLIM a partir do estudo de métodos exatos e heurísticos existentes e da adaptação das técnicas que têm tornado mais eficientes os algoritmos para resolução de problemas de PLIM e de PNL.

MCT/CNPq - N º 14/2012 - Processo No. 475245/2012-1 
Chamada Pública MCT/CNPq - N º 14/2012 - Universal / Universal 14/2012 - Faixa C - de R$ 60.000,01 a R$ 120.000,00

Descrição: 465531/2014-8 INCT de Madeiras da Amazônia INPA - Instituto Nacional de Pesquisas da Amazônia

Descrição:

Descrição:

Descrição: Projeto CNPq Universal - Edital MCT/CNPq Nº 014/2010 ? Universal

Descrição: FAPERJ: Projeto do Programa "Cientistas do Nosso Estado"
Processo E - 26 / 100.237/2009

Descrição: Projeto CNPq: Edital Universal Processo 471905/2008-9
(dois editais consecutivos)

Descrição: Algoritmos: Engenharia e Fundamentos
Projeto FAPERJ - Edital PRONEX
PROCESSO No E - 26 / 171 536 / 2006

Descrição: