Resultados para “'Lógica temporal'”

Edimar Manica

docente IFRS - Campus Ibirubá

É professor no curso de Ciência da Computação do Instituto Federal do Rio Grande do Sul (IFRS). Lidera o grupo de pesquisa Computação Interdisciplinar Alto Jacuí. É doutor em Computação pela Universidade Federal do Rio Grande do Sul (UFRGS) na área de extração de dados da Web sob orientação da profª. Drª. Renata Galante e co-orientação da profª. Drª. Carina F. Dorneles. Realizou seu mestrado em Computação na UFRGS na área de recuperação de informação temporal. É Bacharel pelo curso de Ciência da Computação da Universidade de Passo Fundo (UPF). Além disso, foi desenvolvedor de sistemas de gestão na Atua Sistemas de Informação, onde também colaborou na definição dos processos da empresa. Atuou em um projeto de consultoria com o prof. Carlos A. Heuser na área de extração de dados não estruturados da Web. Tem conhecimentos avançados em Orientação a Objetos, Modelagem Relacional, Banco de Dados Temporal, Modelagem Temporal, Técnicas de Recuperação de Informação, Motores de Busca, Bibliotecas Digitais e Extração de Dados da Web. Possui experiência com as seguintes linguagens: SQL, HTML, Java, PHP, Javascript, XML, XQuery e Cypher. Além disso, já estudou as seguintes linguagens: C, FLEX e Ruby. Já recebeu vários prêmios, tais como: Aluno Destaque da turma de 2008 e Melhor Ferramenta no SBBD 2009.

Karila Palma Silva

docente IFC - Campus Camboriu

Bacharela em Ciência da Computação (2012), pela Universidade Estadual do Oeste do Paraná - UNIOESTE, campus de Foz do Iguaçu - PR. Mestrado em Engenharia de Automação e Sistemas (2015), pela Universidade Federal de Santa Catarina - UFSC. Doutorado em Engenharia de Automação e Sistemas (2019), pela Universidade Federal de Santa Catarina - UFSC. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Tempo Real, atuando principalmente nos seguintes temas: Análise Temporal, Teste de Software, Análise Temporal Probabilística Baseada em Medição, Métodos Estatísticos, Sistemas Embarcados. Pesquisadora no Instituto SENAI de Inovação em Sistemas Embarcados (ISI-SE) na área de desenvolvimento e teste de software embarcado (2019-2020). Atualmente é desenvolvedora de software embarcado na Fundação CERTI.

Stanley Kreiter Bezerra Medeiros

docente IFRN - Campus Ceará-Mirim

Possui graduação em filosofia pela Universidade Federal do Rio Grande do Norte (2005) e mestrado em Filosofia pela Universidade Federal da Paraíba (2008). Doutorado em Filosofia pelo Programa Integrado de Doutorado em Filosofia - UFRN-UFPB-UFPE. Tem experiência na área de Filosofia, com ênfase em Lógica e Epistemologia. Atualmente é graduando em psicologia pela UNIFACEX-RN, com interesse na abordagem fenomenológico-existencial.

Guilherme Bitencourt Martins

docente IFSC - Câmpus Florianópolis

Graduação em Matemática licenciatura, mestrado em Economia e doutorado em Economia, em andamento, pela Universidade Federal de Santa Catarina. Experiência como professor na área de Matemática, com ênfase em Cálculo, Geometria Analítica, Estatística e Probabilidade, Álgebra Linear, Matemática Financeira, Finanças e Mercado de Capitais e Lógica Paraconsistente Anotada Evidencial.

Patrícia Pereira Gomes

docente IFMG - Campus São João Evangelista

Possui graduação em Ciências Biológicas pela Universidade Federal de Juiz de Fora (UFJF) - 2000, Mestrado em Ecologia pela Universidade de Brasília (UnB) - 05/2007 e Doutorado em Ecologia pela Universidade de Brasília (UnB) - 02/2015. Tem experiência na área de Ecologia, com ênfase em Limnologia e conservação da biodiversidade, atuando principalmente nos seguintes temas: Ecologia de comunidade e ecossistemas; Caracterização, variação temporal, sazonalidade dos ecossistemas aquáticos; Microrganismos, invertebrados aquáticos e Decomposição de detritos vegetais em ecossistemas lóticos. Atuou como docente efetiva no Instituto Federal do Paraná (IFPR), campus Umuarama, onde realizou diversas pesquisas científicas em ecologia de ecossistemas, conservação da biodiversidade e educação ambiental, além de pesquisas na área de Ensino de Ciências e Biologia. Atualmente é docente efetiva do Instituto Federal de Minas Gerais (IFMG), campus São João Evangelista, onde coordena projetos com bioindicadores da qualidade da água.

Lauro Iane De Morais

docente

Graduado em Filosofia pela Universidade Federal de Sergipe (2018). Mestre (2021) e doutor (2025) pelo Programa de Pós-Graduação em Filosofia da UFS (PPGF-UFS). Realiza pesquisas nas áreas de lógica, filosofia da linguagem, esquizoanálise e freudo-marxismo pelo GEFILUFS (Grupo de Estudos de Filosofia da Linguagem UFS), regularmente registrado no CNPq.

Guilherme De Freitas Leal

docente IFG - Campus Inhumas

Bacharel em Filosofia pela Universidade Federal de Goiás (2012). Mestrado em Filosofia na UFG com uma tese entorno do pensamento de Michel Foucault principalmente nos seguintes temas: homo oeconomicus, lógica econômica e biopolítica (2015). Licenciatura em Filosofia pelo Claretiano (2019). Doutor em Michel Foucault sobre a obra de Kant. Bolsista da FAPEG. Licenciando em Letras Francês pela UFG.

Thiago De Almeida Bastos

tecnico IFGoiano - Campus Urutaí

possui graduação em Ciência da Computação pela Universidade Federal de Goiás - Regional Catalão (2012) e mestrado em Modelagem e Otimização pela Universidade Federal de Goiás - Regional Catalão (2018). Atualmente é técnico em tecnologia da informação do Instituto Federal Goiano - Campus Urutaí. Tem experiência na área de Modelagem de Sistemas, com ênfase em métodos formais, atuando principalmente nos seguintes temas: lógica, redes de Petri, validação de sistemas

Everaldo Araújo Ferreira

docente IFAC - Campus Rio Branco

Doutor e Mestre em Ciências pela Universidade Federal do Piauí, Especialista em Gestão Estratégic e Mercadológica pela UNINORTE e Bacharel em Administração pela FIRB/FAAO. Atualmente é Docente EBTT em Administração pelo Instituto Federal do Acre. Tem experiência na área de Gestão, Elaboração de Projetos, Administração Financeira, modelos epidemiológicos. As áreas de atuação são principalmente nos seguintes temas: Gestão, Administração Pública, Empreendedorismo de Negócios Inovadores, Gestão do Agronegócio, Gestão em Saúde, Modelagem, Elaboração e Gerenciamento de Projetos, Lógica Fuzzy.

Douglas Chielle

Outros IFCE - Campus Quixadá

Durante meu bacharelado em Matemática Aplicada estudei o modelo matemático denominado Transformada de Radon. O objetivo desse estudo era recuperar densidades em meios heterogêneos, principalmente na aquisição e processamento de imagens médicas, bem como implementar algoritmos eficientes para resolver numericamente o problema associado. O foco do meu mestrado foi o desenvolvimento de uma máquina de vetores-suporte que utiliza a Lógica Nebulosa para lidar com incertezas em conjuntos de dados. Também trabalhei como professor substituto na Universidade Federal de Sergipe, onde lecionei as disciplinas Cálculo I, Cálculo II e Vetores e Geometria analítica. Atualmente sou Professor do Instituto Federal de Educação, Ciência e Tecnologia do Ceará.

Fábio José Justo Dos Santos

docente IFSP - Campus Araraquara

Fábio é Professor Titular no IFSP, mestre e doutor em Ciência da Computação pela Universidade Federal de São Carlos na linha de pesquisa Inteligência Artificial. Possui experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial e Redes de Computadores, atuando principalmente nos seguintes temas: sistemas de apoio à decisão com o uso de lógica fuzzy, séries temporais fuzzy e redes de computadores. Ao longo da carreria produziu diversos materiais, como a apostilas na área de Redes de Computadores e de Introdução aos Sistemas Operacionais da rede e-Tec Brasil, vinculado ao Ministério da Educação e ao IFSP; Foi presidente da comissão organizadora do Encontro de Iniciação Científica e Tecnologia (EnICT) realizado anualmente no IFSP - Campus Araraquara com publicação do anais com o ISSN 2526-6772;Já participou em mais de trinta bancas de TCC e realizou a orientação de outros quatorze trabalhos. Possui publicações nacionais e internacionais. Atuou como consultor em soluções em Internet e como implantador e administrador de redes nos ambientes Linux e MS Windows. Também trabalhou no IFSP - Campus Araraquara como coordenador de extensão e como coordenador de pesquisa e inovação. De 2021 à 2025 atuou como Diretor-Geral do IFSP Campus Araraquara.

Mario Henrique Medeiros Cavalcante De Araújo

docente IFPB - Campus Picuí

Professor de Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação Ciência e Tecnologia da Paraíba. Possui graduação em Curso Superior de Tecnologia em Geoprocessamento pelo Instituto Federal de Educação, Ciência e Tecnologia da Paraíba (2009). É especialista em Gestão Ambiental Urbana pela Universidade Federal do Rio Grande do Norte (2012). Possui pós-graduação a nível de mestrado em Ciências Geodésicas e Tecnologia da Geoinformação pela Universidade Federal de Pernambuco. Possui experiência atuando principalmente nos seguintes temas: Sistemas de Informação Geográfica, Geração de produtos para SIG através de Sensoriamento Remoto; Análise de Imagens Orientada à Objeto; Lógica Fuzzy; Manipulação de Base de Dados; Cartografia Digital e Planejamento e Cadastro Urbano.

Letícia Carvalho Pivetta

docente IFRO - campus Jí-paraná

Possui graduação em Informática pela Universidade Federal de Santa Maria (1996), mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2000) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Maria (2017). Atualmente é professora titular do Instituto Federal de Educação, Ciência e Tecnologia de Rondônia. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: raciocínio automático, método dos tableaux, algoritmos genéticos, sistema de informação, banco de dados, programação java, programação phyton e conversores estáticos.

ÁP

Ábner Lucas Alves Pereira

docente

Professor de EBTT do IFPA - Breves, para o eixo Informação e Comunicação. Mestre em Ciência da Computação pelo PPGCC da UFPA - Belém, na linha de pesquisa Inteligência Computacional com foco em otimização de hiperparâmetros de modelos de redes neurais profundas em classificação de dados e previsão com séries temporais caóticas. Graduado como Tecnólogo em Análise e Desenvolvimento de Sistemas pela UNOPAR - Breves. Licenciado em Matemática pela FAMAT da UFPA - Breves. Especialista em Engenharia de Sistemas pela ESAB e em Docência para Educação Profissional, Técnica e Tecnológica pelo IFPA. Integrante do grupo de pesquisa: Grupo de Ensino e Ciências Aplicadas do Marajó (GECAM), nas linhas de pesquisas: Educação, Ciências e Tecnologias, e Educação Tecnológica, Cultura e Meio Ambiente. Possui experiência na área da educação, análise de dados e lógica de programação, em especial na linguagem de programação Python, PHP e JavaScript. Atuando principalmente nos seguintes temas: inteligência computacional, programação, lógica, internet, banco de dados, robótica e ensino básico.

André Vinícius Gonçalves

tecnico IFNMG - Campus Montes Claros

André Vinícius Gonçalves possui graduação em Sistemas de Informação (2009) e pós-graduação em Engenharia de Sistemas (2012) ambas pela Universidade Estadual de Montes Claros, Mestre em Gestão de Instituições Educacionais pela Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM) e doutor em Ciência da Informação (UFSC). Além disso, possui curso técnico profissionalizante em Informática pela Fundação Educacional de Montes Claros (2002). Atualmente é Analista de Tecnologia da Informação do Instituto Federal do Norte de Minas Gerais (IFNMG) Campus Montes Claros. Tem experiência na área Ciência da Computação, com ênfase em Desenvolvimento de Sistemas e soluções em Aprendizagem de Máquina.

David Gomes Costa

docente IFAL - Campus Maceio

Possui graduação em Filosofia (2007), mestrado em Lógica e Filosofia Formal (2010) e Doutorado em Filosofia (2020) todos pela Universidade Federal do Rio Grande do Norte (UFRN). Atualmente é professor efetivo do Instituto Federal de Alagoas - Matriz, atuando principalmente nos seguintes temas: lógica, sintaxe, modal, axiomas e semântica.