Priscila Machado Vieira Lima

Possui graduação em Informática pela Universidade Federal do Rio de Janeiro (1981), mestrado em Engenharia de Sistemas e Computação pela COPPE-Universidade Federal do Rio de Janeiro (1987) e doutorado em Computer Science pelo Department of Computing - Imperial College London (2000). Áreas de interesse: Otimização, Inteligências Artificial e Computacional e Computação Distribuída, atuando principalmente nos seguintes temas: redes neurais artificiais, computação adiabática quântica, programação lógica, Prolog, sistemas distribuídos e raciocínio neuro-simbólico. Professora adjunta do Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais da Universidade Federal do Rio de Janeiro (UFRJ) desde 2014. Membro efetivo do corpo docente do Programa de Engenharia de Sistemas e Computação (PESC) da COPPE-UFRJ desde 2019. Coordenadora do Programa de Pós-graduação em Modelagem Matemática e Computacional (PPGMMC) da UFRRJ de Março de 2012 até Novembro de 2013. Coordenadora do Programa de Pós-graduação em Informática (PPGI) da UFRJ de Maio de 2015 até Janeiro de 2017. Cátedra de Inteligência Artificial do Colégio Brasileiro de Altos Estudos (CBAE) da UFRJ (período 2021-2022).

Informações coletadas do Lattes em 01/03/2026

Acadêmico

Formação acadêmica

Doutorado em Department of Computing

1989 - 2000

Imperial College London
Título: Resolution-based Inference with Artificial Neural Networks
Orientador: Keith Louis Clark
Coorientador: Antonia Jane Jones. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Inferência com Redes Neurais Artificiais.Grande área: Ciências Exatas e da Terra

Mestrado em Engenharia de Sistemas e Computação

1982 - 1987

Universidade Federal do Rio de Janeiro
Título: Implementação de Compiladores PROLOG
Orientador: Cláudio Luis Amorim
, Ano de Obtenção: 1987.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Informática

1978 - 1981

Universidade Federal do Rio de Janeiro

Pós-doutorado

2008

Pós-Doutorado. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil. , Bolsista do(a): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ, FAPERJ, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Distribuídos. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.

2005 - 2006

Pós-Doutorado. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.

2001 - 2002

Pós-Doutorado. , Universidade Federal Fluminense, UFF, Brasil. , Bolsista do(a): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ, FAPERJ, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Distribuídos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Organização de eventos

LIMA, P. M. V. ; FRANCA, F. M. G. ; DEGREGORIO, M. ; OLIVEIRA JR, W. R. . ESANN 2019: Special Session: 60 Years of Weightless Neural Systems. 2019. (Congresso).

LIMA, P. M. V. ; et all . ESANN 2018 : 26th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. 2018. (Congresso).

LIMA, P. M. V. ; et all . ESANN 2017 : 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. 2017. (Congresso).

FARIAS, C. M. ; LIMA, P. M. V. ; DELICATO, F. . IV Escola regional de sistemas de informação do Rio de Janeiro. 2017. (Congresso).

LIMA, P. M. V. . 24th European Symposium On Artificial Neural Networks, Computational Intelligence and Machine Learning - PC member. 2016. (Congresso).

LIMA, P. M. V. . XVI Simpósio de Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa. 2015. (Congresso).

LIMA, P. M. V. . XVI Simpósio de Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa do Concurso de Teses e Dissertações. 2015. (Congresso).

LIMA, P. M. V. . XVI Simpósio de Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa WIC. 2015. (Congresso).

LIMA, P. M. V. . 23rd European Symposium On Artificial Neural Networks, Computational Intelligence and Machine Learning - PC member. 2015. (Congresso).

LIMA, P. M. V. . XV Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa. 2014. (Congresso).

LIMA, P. M. V. . XV Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa do Concurso de Teses e Dissertações. 2014. (Congresso).

LIMA, P. M. V. . XV Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa WIC. 2014. (Congresso).

LIMA, P. M. V. . 22nd European Symposium On Artificial Neural Networks, Computational Intelligence and Machine Learning - PC member. 2014. (Congresso).

LIMA, P. M. V. . 22nd European Symposium On Artificial Neural Networks, Computational Intelligence and Machine Learning - Special session organiser. 2014. (Congresso).

LIMA, P. M. V. . 24th International Conference on Artificial Neural Networks - PC member. 2014. (Congresso).

LIMA, P. M. V. . XIV Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa SSC. 2013. (Congresso).

LIMA, P. M. V. . XIV Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa - WIC. 2013. (Congresso).

LIMA, P. M. V. . 21 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning - PC member. 2013. (Congresso).

LIMA, P. M. V. . XIII Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa SSC. 2012. (Congresso).

LIMA, P. M. V. . XIII Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa - WIC. 2012. (Congresso).

LIMA, P. M. V. . 20th European Symposium on Artificial Neural Networks - PC member. 2012. (Congresso).

LIMA, P. M. V. . Escola Regional de Informática, Membro do Comitê de Programa. 2011. (Congresso).

LIMA, P. M. V. . XII Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê do CTD. 2011. (Congresso).

LIMA, P. M. V. . XII Simpósio em Sistemas Computacionais de Alto Desempenho, Membro do Comitê de Programa SSC. 2011. (Congresso).

LIMA, P. M. V. . 19th European Symposium on Artificial Neural Networks - PC member. 2011. (Congresso).

LIMA, P. M. V. . 18th European Symposium on Artificial Neural Networks - PC member. 2010. (Congresso).

GREGORIO, M. ; LIMA, P. M. V. ; FRANÇA, FELIPE M. G. . 17 th European Symposium on Artificial Neural Networks - Session Organiser. 2009. (Congresso).

LIMA, P. M. V. ; et all . International Conference on Intelligent Systems Design and Applications (ISDA 2008). 2008. (Congresso).

LIMA, P. M. V. ; et all . Workshop on Intelligent Text Categorization and Clustering (WITCC 2008). 2008. (Congresso).

LIMA, P. M. V. ; et all . International Conference on Intelligent Systems Design and Applications (ISDA 2007). 2007. (Congresso).

LIMA, P. M. V. ; et all . Workshop on Intelligent Text Categorization and Clustering (WITCC 2007). 2007. (Congresso).

Participação em eventos

10th Brazilian Symposium on Neural Networks (SBRN).Revisora. 2008. (Simpósio).

19th Brazilian Symposium on Artificial Intelligence (SBIA).Revisora. 2008. (Simpósio).

20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).Membro do Comitê de Programa. 2008. (Simpósio).

8th International Conference on Intelligent Systems Design and Applications (ISDA?08). Revisora. 2008. (Congresso).

Bio-Inspired Computational Methods Used for Difficult Problems Solving (BICS 2008). Revisora. 2008. (Congresso).

Nono Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD-SSC 2008).Revisora. 2008. (Oficina).

XL Simpósio Brasileiro de Pesquisa Operacional (XL SBPO).Revisora. 2008. (Simpósio).

2nd International Symposium on Brain Vision and Artificial Intelligence (BVAI 2007).Revisora. 2007. (Simpósio).

9th Brazilian Symposium on Neural Networks.Revisora do SBRN 2006. 2006. (Simpósio).

Concurso de Trabalhos de Iniciação Científica em Computação 2006.Revisora de trabalhos submetidos ao CTIC 2006. 2006. (Outra).

The 18 th International Symposium on Computer Architecture and High Performance Computing.Program Committee Member, SBAC-PAD 2006.. 2006. (Simpósio).

Euro-Par 2005. Revisora no EURO-PAR 2005. 2005. (Congresso).

Simpósio Brasileiro de Arquitetura de Computadores.Revisora no SBAC 2005. 2005. (Simpósio).

Simpósio Brasileiro de Redes Neurais 2004.Revisora no SBRN 2004. 2004. (Simpósio).

Workshop de Computação de Alto Desempenho 2004.Revisora no WSCAD 2004. 2004. (Oficina).

Simpósio Brasileiro de Redes Neurais 2002.Revisora no SBRN 2002. 2002. (Simpósio).

6th Brazilian Symposium on Neural Networks.Program Committee Member, SBRN 2000.. 2000. (Simpósio).

Simpósio Brasileiro de Redes |Neurais.Revisora no SBRN 2000. 2000. (Simpósio).

Simpósio Brasileiro de Redes Neurais 2000.Tutorial no SBRN 2000 - Logical Reasoning with ANNs. 2000. (Simpósio).

Participação em bancas

Aluno: Ranganai Tawanda Moyo

TABAKOV, P. Y.; MOYO, S.;LIMA, P. M. V.. ARTIFICIAL INTELLIGENCE BASED SOLAR/DIESEL HYBRID WATER PUMPING SYSTEM. 2021 - Durban University of Technology.

Aluno: Valéria Queiroz dos Anjos

MOTTA, C. L. R.;LIMA, P. M. V.; FROES, M.; DELOU, C. M. C.; MARQUES, C. V. M.. Arquitetura Cognitivo Computacional Aplicada a Jogo Sério Multiagentes Para Avaliações das Funções Executivas. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: CELSO ROMÃO CARDOSO DE ALMEIDA JÚNIOR

OLIVEIRA, E.; CURY, D; SALGUEIRO, M. A. D.;LIMA, P. M. V.. PROPOSTA DE UM SISTEMA AUTOMÁTICO DE AVALIAÇÃO DE REDAÇÕES DO ENEM, FOCO NA COMPETÊNCIA 1: DEMONSTRAR DOMÍNO DA MODALIDADE ESCRITA FORMAL DA LÍNGUA PORTUGUESA. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

Aluno: Saulo Marques Ribeiro Ricci

MENASCHE, D. S.; VIEIRA, A. B.; ZIVIANI, A.;FRANCA, F. M. G.LIMA, P. M. V.. CARACTERIZAÇÕES QUANTITATIVAS DE REDES DESCENTRALIZADAS BASEADAS NO BLOCKCHAIN. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Luiz Fernando dos Reis de Oliveira

FRANCA, F. M. G.; PEDREIRA, C. E.;LIMA, P. M. V.. COMPARAC ~AO DE DESEMPENHO ENTRE MODELOS NEURAIS AGEIS. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Elton Alves Costa

PIRMEZ, L.; RUST, L. F. C.; FARIAS, C. M.;LIMA, P. M. V.; COSTA, L. H. M. K.. CAMAW: um algoritmo de clusterização para múltiplas aplicações em redes de atuadores e sensores sem fio. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Paulo Felipe Salviano Brandt

BARBOSA, V. C.FRANCA, F. M. G.LIMA, P. M. V.; CEDDIA, M. B.. PREVIS~AO DE UMIDADE DE SOLOS ATRAVES DE REDES NEURAIS SEM PESO. 2015. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: [Nome removido após solicitação do usuário]

MOTTA, C. L. R.;LIMA, P. M. V.; SANTORO, F. M.. UM MODELO MISTO PARA MAPEAMENTO E GESTÃO SOCIAL DE HABILIDADES EM REDES SOCIAIS. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: MAURÍCIO RIBEIRO GOMES

ELIA, M. F.; DELOU, C. M. C.; OLIVEIRA, C. E. T.; SAMPAIO, F. F.; CAFEZEIRO, I. L.;LIMA, P. M. V.. Uma proposta para robótica educacional orientada a alunos com Altas Habilidades/Superdotação. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Marcos Fialho de Carvalho

LIMA, J. C.; CRUZ, A. J. O.; BORGES, J. A. S.; ELIA, M. F.;LIMA, P. M. V.; KNOPMAN, J.; ANDRADE, L. C. V.. PROPOSTA DE INTERFACE BASEADA EM GIROSCOPIO PARA AUXILIAR PESSOA COM. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Juan Marcelo Dell'Oso

CRUZ, Adriano Joaquim; KNOPMAN, J.; PESSANHA, J. F. M.; LIMA, J. C.;LIMA, P. M. V.; DUTRA, M. S.; ROSSETTO, S.. ESTUDO DE MÉTODOS SLAM PARA ORIENTAÇÃO DE ROBÔS EM AMBIENTES INTERNOS. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Vanessa da Silva Ferreira

ELIA, M. F.;LIMA, P. M. V.; CHAMOVITZ, I.. Uma modelagem conceitual para apoiar a identificação das causas de Evasão escolar em EAD. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Kleber de Aguiar

FRANCA, F. M. G.BARBOSA, V. C.LIMA, P. M. V.; BORGES, J. A. S.. PREDIC ~AO DE CRISES EPILEPTICAS UTILIZANDO REDE NEURAL SEM PESO WISARD. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Geraldo Souza

SAUERBRONN, L. E.; GOMES, M. J. N.; MELLO, F.;LIMA, P. M. V.. Proposta de uma abordagem sistêmica para a gestão dos projetos de engenharia de software no âmbito do ministério da defesa. 2013. Dissertação (Mestrado em Logística e Pesq. Operacional) - Universidade Federal do Ceará.

Aluno: Valmir Jhonatta Barbosa

STRAUSS, E.; GOMES, M. J. N.;LIMA, P. M. V.; CASTRO, J.. SAD aplicado na otimização dos serviços de TI: uma abordagem do raciocínio baseado em casos. 2013. Dissertação (Mestrado em Logística e Pesq. Operacional) - Universidade Federal do Ceará.

Aluno: Breno Peixoto Barbosa

SCHMITZ, Eber Assis; ALENCAR, Antonio Juarez Sylvio de Menezes; PROTTI, F.;LIMA, P. M. V.; CAMEIRA, R. F.. Gerando Políticas de Investimentos para Projetos de Software em Ambientes Incertos. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Oberdan

VASCONCELOS, A. T. R.; SILVA, João Carlos Pereira da;LIMA, P. M. V.; ZAHA, A.. SAMPA (System for comparative Analysis of Metabolic PAthways): Um sistema para comparação de vias metabólicas. 2008.

Aluno: Danilo Pestana de Freitas

BORGES, M. R. S.; ARAUJO, R. M.;LIMA, P. M. V.; CHOREN, R.. Ampliando a Colaboração no Levantamento de Requisitos de Sistemas. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Anderson Poltronieri

OLIVEIRA, E.; MENEZES, C. S.;LIMA, P. M. V.. Modelo Gráfico de Recuperação de Informação Semântica. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

Aluno: Hallysson Oliveira

SOUZA, A. F.; REIS JR., N. C.; OLIVEIRA, E.; SILVA, L. E. F.;LIMA, P. M. V.. Uma Modelagem Computacional de Áreas do Sistema Visual Humano Associadas à Percepção de Profundidade. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

Aluno: Pedro Oscar de Souza Cruz

SCHMITZ, Eber Assis;LIMA, P. M. V.; MATHIAS FILHO, I.. Heurísticas para Identificação de Requisitos de Sistemas de Informações a partir de Modelos de Processos. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo Reis Gomes

MUYLAERT FILHO, J. A.; TIEN, J. M. T. D.;FRANÇA, Felipe Maia GalvãoLIMA, P. M. V.. Números Reais Computacionais Exatos na Linguagem de Programaç ão C Padrão ANSI. 2003. Dissertação (Mestrado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

Aluno: Magda Dornelles Bertoldi

GOMES, M. J. N.; SALLES, E. O. T.;FRANÇA, Felipe Maia GalvãoLIMA, P. M. V.. Extração de Mapas Viários de Imagens Aerofotogramétricas. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

Aluno: Rafael Valle dos Santos

LIMA, P. M. V.; VELLASCO, Marley Maria Bernardes Rebuzzi; FEITOSA, Raul Queiroz. Combinação de Redes Neurais MLP em Problemas de Classificação. 2001. Dissertação (Mestrado em Departamento de Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Iuri Wickert

FRANÇA, Felipe Maia Galvão; SEIXAS, J. M.;LIMA, P. M. V.; FEITOSA, Raul Queiroz. Modos de Aprendizado Não-supervisionado para o Modelo Neural Sem-pesos. 2001. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Juliana Pinheiro Campos Pirovani

OLIVEIRA, E.; GONCALVES, C. S. B.; CIARELLI, P. M.; LAPORTE, E.;LIMA, P. M. V.. CRF+LG: Uma Abordagem Híbrida para o Reconhecimento de Entidades Nomeadas em Português. 2019. Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo.

Aluno: Carl Rizk

MARTHON, P.; BILEGAN, I.; DELAHAYE, D.; CADARSO, L.;LIMA, P. M. V.; MOUDANI, W. E.. Contribution à l?évaluation et à l?optimisation du contrôle des passagers dans les aéroports. 2019. Tese (Doutorado em Aéronautique-Astronautique, Mathématiques et applications, Génie Industriel) - Université de Toulouse.

Aluno: Stephanie Milena Alvarez Fernandez

SILVA, D. G. E.; TERREN, D. R. I.; ADRIAN, J. A.; MENEZES, L. R. A. X.; RAVETTI, M. G.;LIMA, P. M. V.. A Metaheuristic and Simheuristic Approach For the p-Hub Median Problem From a Telecommunication Perspective. 2018. Tese (Doutorado em Engenharia Elétrica) - Universidade de Brasília.

Aluno: Kátia Kelvis Cassiano Lozano

BARBOSA, V. C.FRANCA, F. M. G.LIMA, P. M. V.; CARVALHO, L. A. V.; DRUMMOND, L. M. A.. AUTÔMATOS CELULARES PROBABILÍSTICOS COM APLICAÇÕES A SISTEMAS BIOLÓGICOS. 2017. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Edival Ponciano de Carvalho Filho

XEXEO, G.; SOUZA, J. M.; SILVA, Geraldo Zimbrão da;LIMA, P. M. V.; CRUZ, S. M. S.. CONSTRUÇÃO DE TAXONOMIAS SOBRE DESCRIÇÕES AMBÍGUAS COM ENRIQUECIMENTO POR MEIO DE UTILIZAÇÃO DE INFORMAÇÕES DISPONÍVEIS WEB. 2015. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Lúcia Maria dos Santos Pinto

MOURA NETO, F. D.; FABBRI, R.;LIMA, P. M. V.; CARVALHO FILHO, L. M. P.; TEIXEIRA, R. C.. Mapeamento de difusão no reconhecimento e reconstrução de sinais. 2014. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

Aluno: Magda Judith Morales Tavera

DUTRA, M. S.; SLAMA, J. G.; COSENZA, C. A. N.;LIMA, P. M. V.; PINTO, F. C.. Navegação e fusão sensorial para sistemas de combate a incêndio. 2010. Tese (Doutorado em COPPE - Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.

Aluno: Antonio Espósito

PEREIRA, L. F. F.; HENDERSON, N.;LIMA, P. M. V.; DUARTE, C. H. C.;FRANÇA, Felipe Maia Galvão. Equações Integrais via Teoria dos Domínios (Problemas Direto e Inverso). 2008. Tese (Doutorado em Pós-graduação em Modelagem Computacional) - Instituto Politécnico do Rio de Janeiro.

Aluno: Manoel Martins Filho

CARVALHO, L. A. V.;XAVIER, A. E.; MACULAN, N.;LIMA, P. M. V.; CHENIAUX, E.. Um Modelo Neurocomputacional Integrador para o Transtorno do Pânico. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Manuel Fuentes Gonzalez

CADARSO, L.;LIMA, P. M. V.. Operations Planning and Management in Transport Logistics. 2020. Exame de qualificação (Doutorando em Escuela Técnica Superior de Ingeniería Aeronáutica y del Espacio) - Universidad Politécnica de Madrid.

Aluno: Stephanie Milena Alvarez Fernandez

SILVA, D. G. E.; TERREN, D. R. I.; ADRIAN, J. A.; MENEZES, L. R. A. X.; RAVETTI, M. G.;LIMA, P. M. V.. Metaheuristics and Simheuristics for Telecommunication Systems. 2018. Exame de qualificação (Doutorando em ENGENHARIA ELÉTRICA) - Universidade de Brasília.

Aluno: Marcelo Carvalho Fernandes

SCHMITZ, E. A.; ALENCAR, A. J.;SILVEIRA, D.LIMA, P. M. V.. I-PLAN: Um algorítmo para o planejamento de entregas em projetos ágeis de software no setor público. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Edival Ponciano de Carvalho Filho

XEXEO, G.; CARVALHO, L. A. V.;LIMA, P. M. V.. Enriquecimento e Limpeza de Dados Oriundos de Fontes Heterogêneas por Meio de Extração de Informações da Web. 2012. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Magda Judith Morales Tavera

DUTRA, M. S.; SLAMA, J. G.; COSENZA, C. A. N.;LIMA, P. M. V.. Navegação e fusão sensorial para sistemas de combate a incêndio. 2010. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.

Aluno: Laci Mary Barbosa Manhães

DUTRA, I. C.;FRANÇA, Felipe Maia Galvão; Benevides, M.;LIMA, P. M. V.. Multi-classes em Programação Lógica Indutiva. 2008. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rogerio Salvini

DUTRA, I. C.; CARVALHO, L. A. V.;XAVIER, A. E.; MONARD, M. C.;LIMA, P. M. V.. Algoritmos Eficientes para Descoberta de Conhecimento. 2006. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Antonio Esposito Jr

MUYLAERT FILHO, J. A.; MOURA NETO, F. D.; DUARTE, C. H. C.;LIMA, P. M. V.. . Análise Numérica Via Teoria de Domínios. 2005. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

Aluno: Thais Correa da Silva

MELLO, F.;FRANCA, F. M. G.LIMA, P. M. V.; SOUZA, S. A.. SISTEMA WEB PARA ANÁLISE PSICOLÓGICA BREVE. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael Lopes Conde dos Reis

MELLO, F.; ALMEIDA, H. L. S.;LIMA, P. M. V.. MODELO FUZZY COM OTIMIZAC ~AO GENETICA PARA CLASSIFICAC ~AO DE COMPATIBILIDADE ENTRE CANDIDATOS E EMPRESAS. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro.

Aluno: FREDERICO TOMMASI CAROLI

SILVA, João Carlos Pereira da; FREITAS, A.;LIMA, P. M. V.; MENASCHE, D. S.. NNBlocks: Um Framework de Deep Learning para Modelos Neurais de Linguística Computacional. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Raul Bezerra Barbosa

SILVA, João Carlos Pereira da; CARVALHO, D. S.; DELGADO, C. A. D. M.;LIMA, P. M. V.. Extração de Grafos de Relacionamento Semântico a partir de Estruturas Sintáticas - Uma nova iteração. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael Vieira da Costa Alves

SILVA, João Carlos Pereira da;LIMA, P. M. V.; VIVACQUA, A. S.. Extração de Relações em Classes Complexas.. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Carlos Henrique dos Santos barbosa

MAGALHAES, C. S.;LIMA, P. M. V.; CRUZ, F. A. O.. EVOLUÇÃO DIFERENCIAL PARA O PROBLEMA DE DOCKING PROTEÍNA-LIGANTE. 2013. Trabalho de Conclusão de Curso (Graduação em Matemática - Licenciatura Ou Bacharelado) - Universidade Federal Rural do Rio de Janeiro.

Aluno: Anderson Roberto de Santana

BRANCO, L. M. C.;LIMA, P. M. V.; MIRANDA, M.. PROTÓTIPO DE ROBÔ AUTÔNOMO DE BAIXO CUSTO. 2012. Trabalho de Conclusão de Curso (Graduação em Matemática - Licenciatura Ou Bacharelado) - Universidade Federal Rural do Rio de Janeiro.

Aluno: Carina Isabel Medeiros Lopes

SILVA, João Carlos Pereira da;LIMA, P. M. V.; LEITE, A. L. C. D.. Implementação do Algoritmo de Aprendizagem FOIL. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rodolfo Lima

VILLAS-BOAS, S. B.; MELLO, F.;LIMA, P. M. V.. Cpp-Objects. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Vanessa Batista de Melo

Benevides, M.;FRANÇA, Felipe Maia GalvãoLIMA, P. M. V.. Expert Creator. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Carolina Alves do Nascimento

SILVA, João Carlos Pereira da;LIMA, P. M. V.. Algoritmo RETE como procedimento de prova em programas AnsProlog.. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Cristina Teles Cerdeiral

SILVA, João Carlos Pereira da; OLIVEIRA, C. E. T.;LIMA, P. M. V.. JPE: Um Ambiente Integrado de Desenvolvimento de Sistemas de Representação de Conhecimento e Raciocínio. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Peter Peret Lupo

Aluno: Bruno Nicolau Nunes

SILVA, João Carlos Pereira da; DUTRA, I. C.;LIMA, P. M. V.. Implementação de um Interpretador Prolog. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Nathalia Marassi Cianni

CAMPOS, M. L. M.; PIRES, P. F.;LIMA, P. M. V.. Um Editor para Especificação de Ações em Linguagem Natural Controlada. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Thiago Seara Cabeço

Aluno: Tiago Souza Azevedo

PROTTI, F.; Benevides, M.;LIMA, P. M. V.. Complexidade da Detecção de Deadlock em Pi-Calculus. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Bianca Reis de Souza

CAMPOS, M. L. M.; ALENCAR, Antonio Juarez Sylvio de Menezes;LIMA, P. M. V.. Estudo das Abordagens, Estratégias e Soluções de Integração de Aplicações (EAI- Enterprise Application Integration). 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Mauro André Augusto Leitão

Aluno: Marcelo Fabiano Nascimento de Oliveira

SILVA, João Carlos Pereira da; SANTOS-COSTA, V.;LIMA, P. M. V.. Um Estudo sobre Algoritmos de Planejamento. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Diogo Silveira de Mendonça

SILVA, João Carlos Pereira da;FRANÇA, Felipe Maia GalvãoLIMA, P. M. V.. Bayes: Um módulo desacoplado de inferência em Redes Bayesianas. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Andre do Nascimento Freitas

PROTTI, F.; LAVOR, C. C.;LIMA, P. M. V.; DOURADO, M. C.. Análise do Algoritmo de Construção Geométrica Extendido e Construção de Um Visualizador Iterativo. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Lilian Bitton Migon

SCHMITZ, Eber Assis;LIMA, P. M. V.; CRUZ, P. O. S.. Uma Análise Quantitativa do Processo de Gerência de Requisitos. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Luciana Resende Netto

Aluno: André de Almeida Máximo

LIMA, P. M. V.; SILVA, João Carlos Pereira da; SILVA, Geraldo Zimbrão da. JPI - Uma Interface de Desenvolvimento de Programas de Representação de Conhecimento e Raciocínio. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Wilson Pereira Machado Júnior

LIMA, P. M. V.; SILVA, João Carlos Pereira da; SILVA, Geraldo Zimbrão da. JPI- Uma Interface de Desenvolvimento de Programas de Representação de Conhecimento e Raciocínio. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Jorge Leonardo Lima Barbosa

LIMA, P. M. V.; THOMÉ, Antonio Carlos Gay; CRUZ, Adriano Joaquim. Estudo de Algoritmos de Categorização Visando Reconhecimento Automático de Caracteres Manuscritos. 2003. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.

LIMA, P. M. V.; BRANCO, L. M. C.; SILVA, João Carlos Pereira da; CARVALHO, D.; GOMES, A. T. A.. Presidente de banca de concurso para o cargo de Professor Adjunto. 2010. Universidade Federal Rural do Rio de Janeiro.

LIMA, P. M. V.; LEAO, J. L. S.. Concurso para cargo de pesquisador. 2005. Centro de Pesquisas de Energia Elétrica.

LIMA, P. M. V.; CRUZ, Adriano Joaquim; LIMA, Josefino Cabral Melo; COSTA, Felipe; CUNHA, Adilson. Concurso para o cargo de pesquisador em Ciência da Computação. 2004. Centro Técnico Aeroespacial Centro de Lançamento de Alcântara.

LIMA, P. M. V.; LIMA, V. N.. Jornada de Iniciação Científica. 2011. Universidade Federal Rural do Rio de Janeiro.

MAGALHAES, C. S.;LIMA, P. M. V.; SILVA, R. M.. Concurso para Monitor da Disciplina IC501 ? Computação I. 2010. Universidade Federal Rural do Rio de Janeiro.

LIMA, P. M. V.. Processo seletivo Prociência. 2008. Universidade do Estado do Rio de Janeiro.

LIMA, P. M. V.. Processo seletivo Prociência. 2006. Universidade do Estado do Rio de Janeiro.

Orientou

Guilherme Santos Souza

(Provisório) Redes Neurais sem Pesos para Otimizar Controle de Painéis Solares; Início: 2022; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Victor Almeida Xavier

(Provisório) Otimização e indicadores de performance; Início: 2022; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Guilherme Caeiro de Mattos

(Provisório) Otimização da detecção do ponto de parada do método GRASP através de aprendizado de máquina; Início: 2022; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Ananias Sousa Machado

(Provisório) Redes Neurais sem Pesos aplicada a Séries Temporais; Início: 2022; Iniciação científica (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Pedro Henrique Gomes Peixoto Januario

(Provisório) Contribuindo para Mecanismos de Desempate em Redes Neurais sem Pesos; Início: 2022; Iniciação científica (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Alan Tendler Leibel

Fast Deep Neural Networks Convergence using a Weightless Neural Model; Início: 2017; Iniciação científica (Graduando em Abi - Engenharia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

David P

C; SILVEIRA GOULART DUARTE; MEDITAÇÃO COMO TREINO PARA INTERFACE CÉREBRO-COMPUTADOR NO CONTROLE DE DISPOSITIVOS ROBÓTICOS; 2023; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Victor de Almeida Xavier

PERFORMANCE INDICATORS FOR EMISSIONS REPORTING BASED ON ARTIFICIAL INTELLIGENCE; 2022; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

Rafael Fontella Katopodis

REINFORCEMENT LEARNING WITH WEIGHTLESS NEURAL NETWORKS; 2022; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Aluizio dos Santos de Lima Filho

IDENTIFYING CLASSIFIER-RELEVANT REGIONS IN IMAGES THROUGH WEIGHTLESS LEARNING; 2021; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Guilherme Caeiro de Mattos

MACHINE LEARNING-BASED PROBABILISTIC STOPPING RULE FOR THE GRASP METAHEURISTIC; 2021; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Priscila Machado Vieira Lima;

Luiz Cláudio Sampaio Ramos

MALWARE CLASSIFICATION SYSTEM USING WEIGHTLESS NEURAL NETWORKS; 2021; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Gabriel Pereira Guarisa

ESTUDO COMPARATIVO DE TÉCNICAS DE MAPEAMENTO NO CLASSIFICADOR WISARD; 2020; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

ARNALDO GIL DE SOUZA SARDELLA NASCIMENTO

AMEAÇAS À VALIDADE DE ARTIGOS QUE EMPREGAM MÉTODOS EMPÍRICOS EM TESTES DE APLICAÇÕES CONSTRUÍDAS PARA AMBIENTE WEB; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Rafael Fontella Katopodis

Functional Gradient Descent for n-Tuple Regression; 2019; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

RAFAEL ADNET PINHO

Classificação Automática de Denúncias Secundárias a Partir da Principal com WiSARD; 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

Thais do Nascimento Viana

Atualização Automática da Algpedia; 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Priscila Machado Vieira Lima;

Leopoldo André Dutra Lusquino Filho

CLASSIFICAÇÃO DE EMOÇÕES FACIAIS UTILIZANDO A REDE NEURAL SEM PESOS WISARD; 2018; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Guilherme Caeiro de Mattos

AIISR - AI INSPIRED STOPPING RULE FOR GRASP METAHEURISTIC; 2018; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Victor de Almeida Xavier

PERFORMANCE INDICATORS DEVELOPMENT FOR EMISSIONS REPORTING BASED ON ARTIFICIAL INTELLIGENCE; 2018; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

SAMARA ALVAREZ ALVES

ANÁLISE DE NEGOCIAÇÕES FINANCEIRAS COM REDE SEM PESO E APRENDIZADO POR REFORÇO; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

RAMON LEONCIO RÉGIS

Suporte computacional à Atualização de Revisões Sistemáticas; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Rafael Dutra Cavalcanti

Classificação de Tendências Políticas em Notícias via Mineração de Texto e Redes Neurais Sem Peso; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Diego Fonseca Pereira de Souza

CLASSIFICAÇÃO DE DADOS ESPAÇO-TEMPORAIS UTILIZANDO KERNEL CANVAS E WISARD; 2015; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Denilson dos Santos Guimarães

INCONSISTÊNCIAS EM REGRAS DE NEGÓCIO: UM MÉTODO PARA IDENTIFICAÇÃO AUTOMATIZADA USANDO ALLOY; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

WALTER ALEXANDRE DE OLIVEIRA BICALHO

Um engenho evolutivo de avaliação de processos cognitivos para o encaminhamento da aprendizagem através de games inteligentes; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Fabio Medeiros Rangel

WISARD FOR OPINION MINING IN NONSTATIONARY ENVIRONMENTS; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Priscila Machado Vieira Lima;

Daniel Santos Ferreira Alves

RESATYRUS: GERAÇÃO AUTOMATIZADA DE GRAFOS DE COMPARTILHAMENTO; 2014; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Priscila Machado Vieira Lima;

Danilo Silva de Carvalho

EXTRAÇÃO DE RELAÇÕES SEMÂNTICAS EM REIVINDICAÇÕES DE PATENTES; 2014; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Cássia Francine Novello

XOR via SATyrus; ; 2012; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Hugo Cesar de Castro Carneiro

A Função do Índice de Síntese das Linguagens na Classificação Gramatical com Redes Neurais Sem Peso; 2012; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

Vanessa Carla Felipe Gonçalves

Descontaminação Distribuída de Grafos; 2011; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Bruno França Monteiro

SATyrus2: Compilando Espeficicações de Raciocínio Lógico; 2010; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Carlos Augusto de Castro

Escalonamento Distribuído de Linhas de Execução Paralelas através de Dinâmica de Grafos; 2009; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Ramon Diacovo

Resolvendo o Problema de Planejamento da Expansão de Geração de Energia com Enxames de Partículas Binários; 2008; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Gisele Pereira Morgado

RAPDIS UmAmbiente Integrado para o Desenvolvimento de Sistemas de Informação Apoiado em Regras e Processos de Negócio; 2007; 0 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Priscila Machado Vieira Lima;

Alissandra Evangelista Martins

Em Direção à Captura e Representação Sistemática dos Termos do Negócio; 2006; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

Glaucia da Conceição Pereira

Mapeamento e Combinação de Problemas NP-Difícies através de Restrições Pseudo-Booleanas para Redes Neuronais Artificiais; 2006; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Miriam Mariela Mercedes Morveli Espinoza

Compilando Resolução de Problemas para Minimização de Energia; 2006; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Priscila Machado Vieira Lima;

Elzenclever Freitas de Aguiar

Determinação da Influência da Reatividade dos Grupos ABO e RH na Etnia Simplificada Através da Utilização de redes Neurais Artificiais; 2004; 160 f; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, ; Orientador: Priscila Machado Vieira Lima;

Marcos de Barros

Transformação Automatizada de Instâncias XML; 2004; 137 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Ingrid Gesser

Uma Proposta de Formalização das Práticas Específicas do CMMI usando Regras de Negócio; 2004; 144 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Rubens Lacerda Queiroz

AI from Concrete to Abstract: Demystifying Artificial Intelligence to the General Public; 2023; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Luiz Fernando dos Reis de Oliveira

A DATA-DRIVEN APPROACH FOR ESTIMATING TEMPERATURE VARIATION OF B-MODE ULTRASOUND IMAGES; 2023; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Priscila Machado Vieira Lima;

Leopoldo André Dutra Lusquino Filho

EXTENDING WISARD TO PERFORM ENSEMBLE LEARNING, REGRESSION, MULTI-LABEL, AND MULTI-MODAL TASKS; 2021; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Priscila Machado Vieira Lima;

Hugo Cesar de Castro Carneiro

THEORETICAL RESULTS ON A WEIGHTLESS NEURAL CLASSIFIER AND APPLICATION TO COMPUTATIONAL LINGUISTICS; 2017; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Priscila Machado Vieira Lima;

Claudia M

Miranda Santos; Esclerose Múltipla: Um Modelo de Projeto Multicêntrico; 2007; Tese (Doutorado em Medicina (Neurologia)) - Universidade Federal Fluminense, ; Coorientador: Priscila Machado Vieira Lima;

João Victor Almeida Davim

PREVISÃO DE SÉRIES TEMPORAIS COM REDES NEURAIS SEM PESO ́; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação e Infomação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Pedro Henrique Baumgratz Meirelles

OTIMIZAÇÃO DA IMPLEMENTAÇÃO DO ALGORITMO APRIORI COM PANDAS E PARALELISMO; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação e Infomação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

PEDRO MACIEL XAVIER

SATYRUS III: GERAÇÃO DE ESPECIFICAÇÕES COMPUTÁVEIS; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Diego Jesus da Costa Moreira

CLASSIFICAÇÃO DE TEXTO USANDO CODIFICAÇÃO DE PALAVRAS; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Daniel Santos Ferreira Alves

Extensões para o Mecanismo SER Aplicado a Descontaminações; ; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Marlon Viana Rocha

Transição de Ritmos em Sistemas Distribuídos Aplicados a CPGs de Locomoções Artificiais; 2012; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Cássia Francine Novello

A extensão algébrica da linguagem SATish para modelagem de problemas; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Felipe Gomes Dias

Executando Regras de Negócio em Prolog a partir de um Ambiente; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Gisele Pereira Morgado

RÉGULA- Uma Ferramenta para o Gerenciamento de Regras de Negócio; 2005; 79 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Fundação Universitária José Bonifácio; Orientador: Priscila Machado Vieira Lima;

Maria Eduarda V

P; MARQUES FERREIRA; Autômatos Celulares e Redes Neurais sem Peso (Provisório); 2018; Iniciação Científica; (Graduando em Ciências Biológicas: Biofísica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

GUSTAVO SALVADOR SOARES

EASYWISARD: INTERFACE GRÁFICA DE UM CLASSIFICADOR DE IMAGENS BASEADO EM REDES NEURAIS SEM PESO; 2017; Iniciação Científica; (Graduando em Ciências Matemáticas e da Terra) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

PEDRO MACIEL XAVIER

O modelo neural sem pesos WiSARD na classificação de partículas elementares; 2017; Iniciação Científica; (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Ericson José da Silva Soares

Dicta: Biblioteca para reconhecimento de elocuçãoões baseada em uma rede neural sem peso; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Wagner Aigner

Inteligência Computacional Distribuída: Estudo com Robôs para Enxame; 2012; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Luan Soares de Andrade

Grafos da Web: Estudos sobre Coleta e Armazenamento; 2012; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Paulo Henrique da Silva Vasconcellos Dias

Grafos da Web: Estudos sobre Coleta e Armazenamento; 2011; Iniciação Científica; (Graduando em Matemática Aplicada e Computacional) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Wagner Aigner

Inteligência Computacional Distribuída: Estudo com Robôs para Enxame; 2011; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Gabriel Freitas

Inteligência Computacional Distribuída: Estudo com algoritmos de coordenação; 2011; Iniciação Científica; (Graduando em Matemática - Licenciatura Ou Bacharelado) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Anderson Roberto de Santanna

Inteligência Computacional Distribuída: Estudos com Robô para Enxame; 2011; Iniciação Científica; (Graduando em Matemática Aplicada e Computacional) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Marlon Viana Rocha

SATyrus: Modelando e Resolvendo Problemas através das Especificações; 2011; Iniciação Científica; (Graduando em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Renan Vicente Pinto

Otimizacão Global e Processamento Paralelo - Estudo de MPI; 2010; Iniciação Científica; (Graduando em Bacharelado em Matemática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Daniel Santos Ferreira Alves

Aprofundamento da Descontaminação de Grafos; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Anderson Roberto de Santanna

Inteligência Computacional Distribuída: Estudos com Robô para Enxame; 2010; Iniciação Científica; (Graduando em Matemática Aplicada e Computacional) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Felipe Ferreira Gonçalves

SATyrus: Resolvendo Problemas através das Especificações - Resolvedor via computação paralela e distribuída e redes de Hopfield; 2010; Iniciação Científica; (Graduando em Bacharelado em Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Priscila Machado Vieira Lima;

Paulo Henrique da Silva Vasconcellos Dias

Grafos da Web: Estudos sobre Coleta e Armazenamento; 2010; Iniciação Científica; (Graduando em Matemática Aplicada e Computacional) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Marlon Viana Rocha

SATyrus: Modelando e Resolvendo Problemas através das Especificações; 2010; Iniciação Científica; (Graduando em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Mariam Afonso

Otimizacão Global e Processamento Paralelo - Estudo de OpenMP; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Marlon Viana Rocha

SATyrus: Modelando e Resolvendo Problemas através das Especificações; 2009; Iniciação Científica; (Graduando em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Marceli Nunes Gonçalves

Otimizacão Global: Estudos do Problema de Recobrimento por Esferas/Círculos; 2009; Iniciação Científica; (Graduando em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Priscila Machado Vieira Lima;

Produções bibliográficas

XAVIER, VICTOR DE A. ; França, Felipe M.G. ; LIMA, PRISCILA M.V. . Emissions Reporting Maturity Model: supporting cities to leverage emissions-related processes through performance indicators and artificial intelligence. RAIRO-OPERATIONS RESEARCH , v. 58, p. 1401-1428, 2024.
VILLON, LUIS A.Q. ; SUSSKIND, ZACHARY ; BACELLAR, ALAN T.L. ; MIRANDA, IGOR D.S. ; DE ARAÚJO, LEANDRO S. ; LIMA, PRISCILA M.V. ; BRETERNITZ, MAURICIO ; JOHN, LIZY K. ; França, Felipe M.G. ; DUTRA, DIEGO L.C. . A conditional branch predictor based on weightless neural networks. NEUROCOMPUTING , v. 555, p. 126637, 2023.
SUSSKIND, ZACHARY ; ARORA, AMAN ; MIRANDA, IGOR D. S. ; BACELLAR, ALAN T. L. ; VILLON, LUIS A. Q. ; KATOPODIS, RAFAEL F. ; DE ARAÚJO, LEANDRO S. ; DUTRA, DIEGO L. C. ; LIMA, PRISCILA M. V. ; FRANÇA, FELIPE M. G. ; JR., MAURICIO BRETERNITZ ; JOHN, LIZY K. . ULEEN: A Novel Architecture for Ultra Low-Energy Edge Neural Networks. ACM Transactions on Architecture and Code Optimization , v. 20, p. 1-24, 2023.
KATOPODIS, RAFAEL F. ; LIMA, PRISCILA M.V. ; França, Felipe M.G. . Functional gradient descent for n-tuple regression. NEUROCOMPUTING , v. 500, p. 1016-1028, 2022.
LACERDA, R. Q. ; SAMPAIO, F. F. ; LIMA, Josefino Cabral Melo ; LIMA, P. M. V. . AI from Concrete to Abstract. AI & SOCIETY , v. 36, p. 877-893, 2021.
SILVA, CARLA ; AGUIAR, ANA ; LIMA, PRISCILA M. V. ; DUTRA, INÊS . Mapping a logical representation of TSP to quantum annealing. QUANTUM INFORMATION PROCESSING (DORDRECHT. ONLINE) , v. 20, p. 386, 2021.
LUSQUINO FILHO, L. A. D. ; OLIVEIRA, L. F. ; LIMA FILHO, A. ; Guarisa, Gabriel P. ; FELIX, L. M. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Extending the Weightless WiSARD Classifier for Regression. NEUROCOMPUTING , v. AOP, p. 1, 2020.
ARAUJO, L. S. ; VERONA, L. D. ; RANGEL, FABIO ; FIRMINO, FABRICIO ; MENASCHE, D. S. ; CAARLS, W. ; BRETERNITZ, M. ; KUNDU, S. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Weightless Neural Networks as Memory Segmented Bloom Filters. NEUROCOMPUTING , v. AOP, p. 1, 2020.
SILVA, CARLA ; AGUIAR, ANA ; LIMA, PRISCILA M. V. ; DUTRA, INÊS . Mapping graph coloring to quantum annealing. Quantum Machine Intelligence , v. 2, p. 16, 2020.
DO, JAEYOUNG ; FERREIRA, VICTOR C. ; BOBARSHAD, HOSSEIN ; TORABZADEHKASHI, MAHDI ; REZAEI, SIAVASH ; HEYDARIGORJI, ALI ; SOUZA, DIEGO ; GOLDSTEIN, BRUNNO F. ; SANTIAGO, LEANDRO ; KIM, MIN SOO ; LIMA, PRISCILA M. V. ; FRANÇA, FELIPE M. G. ; ALVES, VLADIMIR . Cost-effective, Energy-efficient, and Scalable Storage Computing for Large-scale AI Applications. ACM Transactions on Storage , v. 16, p. 1-37, 2020.
KRAWCZYK, MARCIN ; YANG, ZHIJUN ; GANDHI, VAIBHAV ; KARAMANOGLU, MEHMET ; FRANCA, FELIPE MG ; LIMA, PRISCILA MV ; WANG, XIAOCHEN ; GENG, TAO . Wrist Movement Detector for ROS Based Control of the Robotic Hand. Advances in Robotics & Automation , v. 07, p. 1-6, 2018.
CARNEIRO, H. C. C. ; PEDREIRA, C. E. ; FRANCA, F. M. G. ; LIMA, P. M. V. . The Exact VC Dimension of the WiSARD -Tuple Classifier. Neural Computation (Online) , v. 31, p. 176-207, 2018.
CARNEIRO, HUGO C.C. ; PEDREIRA, CARLOS E. ; França, Felipe M.G. ; LIMA, PRISCILA M.V. . A universal multilingual weightless neural network tagger via quantitative linguistics. NEURAL NETWORKS , v. 91, p. 85-101, 2017.
CARDOSO, DOUGLAS O. ; CARVALHO, DANILO S. ; ALVES, DANIEL S.F. ; SOUZA, DIEGO F.P. ; CARNEIRO, HUGO C.C. ; PEDREIRA, CARLOS E. ; LIMA, PRISCILA M.V. ; França, Felipe M.G. . Financial credit analysis via a clustering weightless neural classifier. Neurocomputing (Amsterdam) , v. 183, p. 70-78, 2016.
YANG, ZHIJUN ; ZHANG, DAQIANG ; ROCHA, MARLON V. ; LIMA, PRISCILA M. V. ; KARAMANOGLU, MEHMET ; FRANÇA, FELIPE M. G. . Prescription of rhythmic patterns for legged locomotion. Neural Computing & Applications (Print) , v. AOP, p. 1-15, 2016.
CARNEIRO, HUGO C.C. ; França, Felipe M.G. ; LIMA, PRISCILA M.V. . Multilingual part-of-speech tagging with weightless neural networks. Neural Networks , v. 66, p. 11-21, 2015.
XAVIER, V. L. ; FRANÇA, FELIPE M. G. ; XAVIER, A. E. ; LIMA, P. M. V. . A hyperbolic smoothing approach to the Multisource Weber problem. Journal of Global Optimization (Dordrecht. Online) , p. 1-10, 2014.
GOMES, D. S. M. ; LIMA, P. M. V. ; Adriano Joaquim de Oliveira Cruz ; Claudia Lage Rebello da Motta . Avaliação Exploratória de Conceito do Sistema NÉBULA em Jogos Psicopedagógicos. RENOTE. Revista Novas Tecnologias na Educação , v. 12, p. 1-10, 2014.
PINKAS, GADI ; LIMA, PRISCILA ; COHEN, SHIMON . Representing, binding, retrieving and unifying relational knowledge using pools of neural binders. Biologically Inspired Cognitive Architectures , v. 6, p. 87-95, 2013.
Grieco, Bruno P.A. ; Lima, Priscila M.V. ; De Gregorio, Massimo ; França, Felipe M.G. . Producing pattern examples from ¿mental¿ images. Neurocomputing (Amsterdam) , v. 73, p. 1057-1064, 2010.
GONCALVES, V. C. F. ; LIMA, P. M. V. ; MACULAN, N. ; FRANÇA, FELIPE M. G. . A Distributed Dynamics for WebGraph Decontamination. Lecture Notes in Computer Science , v. 6415, p. 462-472, 2010.
LIMA, P. M. V. ; MORVELI-ESPINOZA, M. M. M. ; PEREIRA, Gláucia C ; FERREIRA, T. O. ; FRANÇA, Felipe Maia Galvão . Logical Reasoning via Satisfiability Mapped into Energy Functions. International Journal of Pattern Recognition and Artificial Intelligence , v. 22, p. 1031-1043, 2008.
LIMA, P. M. V. ; MORGADO, Gisele Pereira ; GESSER, Ingrid ; SILVEIRA, Denis Silva da ; MANSO, F. ; SCHMITZ, Eber Assis . Práticas do CMMI® como Regras de Negócio. Produção (São Paulo) , v. 17, p. 383-394, 2007.
LIMA, P. M. V. ; MORVELI-ESPINOZA, M. MARIELA M. ; FRANÇA, FELIPE M. G. . Logic as Energy: a SAT-based Approach. Lecture Notes in Computer Science , v. 4729, p. 458-467, 2007.
DIAS, Felipe Gomes ; MORGADO, Gisele Pereira ; CRUZ, P. O. S. ; SILVEIRA, Denis Silva da ; ALENCAR, Antonio Juarez Sylvio de Menezes ; LIMA, P. M. V. ; SCHMITZ, Eber Assis . Uma Abordagem para a Transformação Automática do Modelo de Negócio em Modelo de Requisitos. Cadernos do IME. Série Informática , v. 20, p. 51-60, 2006.
ALENCAR, Antonio Juarez Sylvio de Menezes ; RIBEIRO, E. M. ; FERREIRA, F. M. L. ; SCHMITZ, Eber Assis ; LIMA, P. M. V. ; MANSO, F. . Optimized RFV Analysis. Marketing Intelligence & Planning , v. 24, p. 106-118, 2006.
LIMA, P. M. V. ; PEREIRA, Gláucia C ; MORVELI-ESPINOZA, M. M. ; FRANÇA, Felipe Maia Galvão . Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. Lecture Notes in Computer Science , Berlin, v. 3704, p. 308-317, 2005.
VILELA, I. M. O. ; LIMA, P. M. V. . Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover. Lecture Notes in Computer Science , v. 2084, p. 822-829, 2001.
LIMA, P. M. V. . A Goal-Driven Neural Propositional Interpreter. International Journal of Neural Systems , v. 11, n.3, p. 311-322, 2001.
BARBOSA, V. C. ; LIMA, P. M. V. . On the distributed parallel simulation of Hopfield's neural networks. Software, Practice & Experience , USA, v. 20, n.10, p. 967-983, 1990.
FARIAS, C. M. (Org.) ; LIMA, P. M. V. (Org.) . IV Escola regional de sistemas de informação do Rio de Janeiro: anais. IV. ed. SBC, 2017. v. 1. 120p .
Spalenza, Marcos A. ; de Oliveira, Elias ; Lusquino-Filho, Leopoldo ; LIMA, PRISCILA M. V. ; FRANÇA, FELIPE M. G. . Using NER + ML to Automatically Detect Fake News. Using NER + ML to Automatically Detect Fake News. 1ed.: Springer International Publishing, 2021, v. , p. 1176-1187.
Besold, Tarek R. ; d¿Avila Garcez, Artur ; Bader, Sebastian ; Bowman, Howard ; Domingos, Pedro ; Hitzler, Pascal ; Kühnberger, Kai-Uwe ; Lamb, Luis C. ; LIMA, PRISCILA MACHADO VIEIRA ; de Penning, Leo ; PINKAS, GADI ; Poon, Hoifung ; Zaverucha, Gerson . Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation1. Frontiers in Artificial Intelligence and Applications. 1ed.Amsterdam: IOS Press, 2021, v. 342, p. 1-51.
Filho, Leopoldo A. D. Lusquino ; Guarisa, Gabriel P. ; Oliveira, Luiz F. R. ; Filho, Aluizio Lima ; FRANÇA, FELIPE M. G. ; LIMA, PRISCILA M. V. . Action Units Classification Using ClusWiSARD. In: Tetko I.; Kůrková V., Karpov P.; Theis F.. (Org.). Lecture Notes in Computer Science. 1ed.Cham: Springer International Publishing, 2019, v. 11729, p. 409-420.
Viana, Thais ; Delgado, Carla ; da Silva, João C. P. ; LIMA, PRISCILA . Ontology Alignment with Weightless Neural Networks. In: A. Lintas et al.. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10614, p. 376-384.
FURRIEL, M. ; SCHMITZ, E. A. ; LIMA, P. M. V. . Geração de Casos de Teste Independentes de Plataforma Utilizando Diagramas de Classes da UML Anotados com Restrições OCL. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. IVed.: , 2017, v. , p. 1-.
LACERDA, R. Q. ; SAMPAIO, F. F. ; LIMA, P. M. V. . Uma investigação sobre estratégias a serem adotadas para o aprendizado de Inteligência Artificial no Ensino Fundamental por meio da Robótica Educacional. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. IVed.: , 2017, v. , p. 7-.
FURRIEL, M. ; LEONCIO, R. ; LIMA, P. M. V. ; SCHMITZ, E. A. . Computational Support for Updating Systematic Literature Reviews. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. IVed.: , 2017, v. , p. 15-.
SOARES, E. ; SOUZA, D. F. P. ; LIMA, P. M. V. . Dicta: Biblioteca para reconhecimento de elocuções baseada em uma rede neural sem peso. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. IVed.: , 2017, v. , p. 21-.
MARQUES, C. V. M. ; SILVA, J. O. P. . ; FROES, M. ; LIMA, P. M. V. ; MOTTA, C. L. R. ; OLIVEIRA, C. E. T. . SISTEMAS EDUCACIONAIS INTELIGENTES. In: Ana Carolina Salgado; Claudia Lage Rebello da Motta; Flávia Maria Santoro. (Org.). Grandes Desafios da Computação - Relatos do 3o Seminário. 1ed.Porto Alegre: ociedade Brasileira de Computação, 2015, v. 1, p. 235-251.
LIMA, P. M. V. ; MOTTA, C. L. R. ; CRUZ, A. J. O. ; ALENCAR, A. J. ; SCHMITZ, E. A. ; LIMA, J. C. . Big Data, Little Data e Better Data em Sistemas de Recomendação. In: Ana Carolina Salgado; Claudia Lage Rebello da Motta; Flávia Maria Santoro. (Org.). Grandes Desafios da Computação no Brasil - Relatos do 3o Seminário. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2015, v. 1, p. 273-277.
LOUREIRO, A. A. F. ; FRANCA, F. M. G. ; LIMA, P. M. V. ; OLIVEIRA, L. B. ; MELO, P. O. S. V. ; SILVA, T. H. ; GOUSSEVSKAIA, O. N. ; CUNHA, I. F. S. . Redes de Sensoriamento Participativo. In: Ana Carolina Salgado; Claudia Lage Rebello da Motta; Flávia Maria Santoro. (Org.). Grandes Desafios da Computação no Brasil - Relatos do 3o Seminário. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2015, v. 1, p. 1-7.
ALVES, D. S. F. ; SOARES, E. E. M. ; STRACHAN, G. C. ; CARVALHO, G. P. S. ; XAUD, M. F. S. ; COUTO, M. V. B. ; MENDONCA, R. M. ; FREITAS, R. S. ; SANTOS, T. M. ; GONCALVES, V. C. F. ; MOURELLE, L. M. ; NEDJAH, N. ; MACULAN, N. ; LIMA, P. M. V. ; FRANÇA, FELIPE M. G. . A Swarm Robotics Approach to Decontamination. In: Raúl Aquino Santos; Omar Lengerke; Arthur Edwards Block. (Org.). Mobile Ad Hoc Robots and Wireless Robotic Systems: Design and Implementation. 1ed.New York: IGI Global, 2013, v. , p. 107-122.
ALVES, D. S. F. ; FRANÇA, Felipe Maia Galvão ; MOURELLE, L. M. ; NEDJAH, N. ; LIMA, P. M. V. . The Effect of Intelligent Escape on Distributed SER-Based Search. In: Beniamino Murgante; Osvaldo Gervasi; Sanjay Misra; Nadia Nedjah; Ana Maria A. C. Rocha; David Taniar; Bernady O. Apduhan. (Org.). Computational Science and Its Applications ? ICCSA 2012. 1ed.Heidelberg: Springer Berlin Heidelberg, 2012, v. 7333, p. 101-112.
PINKAS, G. ; LIMA, P. M. V. ; COHEN, S. . A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge. In: Alessandro E. P. Villa; Włodzisław Duch; Péter Érdi; Francesco Masulli, Günther Palm. (Org.). Artificial Neural Networks and Machine Learning ? ICANN 2012. 1ed.Heidelberg: Springer Berlin Heidelberg, 2012, v. 7552, p. 482-490.
CARDOSO, D. ; DEGREGORIO, M. ; LIMA, P. M. V. ; GAMA, J. ; FRANCA, F. M. G. . A Weightless Neural Network-Based Approach for Stream Data Clustering. In: Hujun Yin; José A. F. Costa; Guilherme Barreto. (Org.). Intelligent Data Engineering and Automated Learning - IDEAL 2012. 1ed.Heidelberg: Springer Berlin Heidelberg, 2012, v. 7435, p. 328-335.
DIAS, Felipe Gomes ; FERREIRA, F. M. L. ; MORGADO, Gisele Pereira ; SILVEIRA, Denis Silva da ; ALENCAR, Antonio Juarez Sylvio de Menezes ; MANSO, F. ; LIMA, P. M. V. ; SCHMITZ, Éber Assis . Modelagem de Negócios e Sistemas de Informação. Conceito- Informativo Tecnológico do Núcleo de computação da UFRJ.
PILLAI, VELU ; NAG, SHASHANK ; JADHAO, MUGDHA ; BACELLAR, ALAN ; MIRANDA, IGOR D. S. ; FRANÇA, FELIPE M. G. ; DUTRA, DIEGO L. C. ; LIMA, PRISCILA M. V. ; JOHN, LIZY K. ; JOHN, EUGENE B. . Edge-Optimized Weightless Neural Network for Low-Power Wearable Arrhythmia Detection. In: 2025 IEEE 18th Dallas Circuits and Systems Conference (DCAS), 2025, Arlington. 2025 IEEE 18th Dallas Circuits and Systems Conference (DCAS), 2025. p. 1.
BACELLAR, A. T. L. ; SUSSKIND, ZACHARY ; BRETERNITZ JR, MAURICIO ; JOHN, EUGENE B. ; JOHN, LIZY ; LIMA, P. M. V. ; FRANCA, FELIPE M. G. . Differentiable Weightless Neural Networks. In: International Conference on Machine Learning (ICML'24), 2024, Vienna. Proceedings of the 41st International Conference on Machine Learning, 2024. p. 2277-2295.
BACELLAR, ALAN T. L. ; SUSSKIND, ZACHARY ; BRETERNITZ, MAURÍCIO ; JOHN, LIZY K. ; FRANÇA, FELIPE M. G. ; LIMA, PRISCILA M. V. . Soon Filter: Advancing Tiny Neural Architectures for High Throughput Edge Inference. In: 2024 International Joint Conference on Neural Networks (IJCNN), 2024, Yokohama. 2024 International Joint Conference on Neural Networks (IJCNN), 2024. p. 1.
NAG, SHASHANK ; SUSSKIND, ZACHARY ; ARORA, AMAN ; BACELLAR, ALAN T. L. ; DUTRA, DIEGO L. C. ; MIRANDA, IGOR D. S. ; KAILAS, KRISHNAN ; JOHN, EUGENE B. ; BRETERNITZ, MAURICIO ; LIMA, PRISCILA M. V. ; FRANÇA, FELIPE M. G. ; JOHN, LIZY K. . LogicNets vs. ULEEN : Comparing two novel high throughput edge ML inference techniques on FPGA. In: 2024 IEEE 67th International Midwest Symposium on Circuits and Systems (MWSCAS), 2024, Springfield. 2024 IEEE 67th International Midwest Symposium on Circuits and Systems (MWSCAS), 2024. p. 1206.
PILLAI, VELU ; MIRANDA, IGOR D. S. ; MUSALE, TEJAS ; JADHAO, MUGDHA ; SOUZA NETO, PAULO C. R. ; SUSSKIND, ZACHARY ; BACELLAR, ALAN T. L. ; LHOSTIS, MAEL ; LIMA, PRISCILA M. V. ; DUTRA, DIEGO L. C. ; JOHN, EUGENE B. ; BRETERNITZ, MAURICIO ; FRANÇA, FELIPE M. G. ; OZER, EMRE ; JOHN, LIZY K. . arrWNN: Arrhythmia-Detecting Weightless Neural Network FlexIC. In: 2024 IEEE International Flexible Electronics Technology Conference (IFETC), 2024, Bologna. 2024 IEEE International Flexible Electronics Technology Conference (IFETC). Bologna: IEEE, 2024. p. 1.
SOUZA, GUILHERME ; LIMA, PRISCILA ; FRANÇA, FELIPE . Sun Tracking using a Weightless Q-Learning Neural Network. In: ESANN 2023 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2023, Bruges (Belgium) and online. ESANN 2023 proceesdings, 2023. p. 327.
LUSQUINO FILHO, LEOPOLDO ; FRANÇA, FELIPE ; LIMA, PRISCILA . WiSARD-based Ensemble Learning. In: ESANN 2023 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2023, Bruges (Belgium) and online. ESANN 2023 proceesdings, 2023. p. 387.
SUSSKIND, ZACHARY ; ARORA, AMAN ; MIRANDA, IGOR D. S. ; VILLON, LUIS A. Q. ; KATOPODIS, RAFAEL F. ; DE ARAÚJO, LEANDRO S. ; DUTRA, DIEGO L. C. ; LIMA, PRISCILA M. V. ; FRANÇA, FELIPE M. G. ; BRETERNITZ, MAURICIO ; JOHN, LIZY K. . Weightless Neural Networks for Efficient Edge Inference. In: PACT '22: International Conference on Parallel Architectures and Compilation Techniques, 2022, Chicago Illinois. Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. p. 279.
A. Q. VILLON, LUIS ; SUSSKIND, ZACHARY ; T. L. BACELLAR, ALAN ; D. S. MIRANDA, IGOR ; SANTIAGO DE ARAÚJO, LEANDRO ; LIMA, PRISCILA ; BRETERNITZ JR., MAURICIO ; JOHN, LIZY ; FRANÇA, FELIPE ; CADETTE DUTRA, DIEGO LEONEL . A WiSARD-based conditional branch predictor. In: ESANN 2022 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2022, Bruges (Belgium) and online e. ESANN 2022 proceedings, 2022. p. 25.
T. L. BACELLAR, ALAN ; SUSSKIND, ZACHARY ; A. Q. VILLON, LUIS ; D. S. MIRANDA, IGOR ; SANTIAGO DE ARAÚJO, LEANDRO ; CADETTE DUTRA, DIEGO LEONEL ; BRETERNITZ JR., MAURICIO ; JOHN, LIZY ; LIMA, PRISCILA ; FRANÇA, FELIPE . Distributive Thermometer: A New Unary Encoding for Weightless Neural Networks. In: ESANN 2022 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2022, Bruges (Belgium) and online e. ESANN 2022 proceedings, 2022. p. 31.
SUSSKIND, ZACHARY ; T. L. BACELLAR, ALAN ; ARORA, AMAN ; A. Q. VILLON, LUIS ; MENDANHA, RENAN ; SANTIAGO DE ARAÚJO, LEANDRO ; CADETTE DUTRA, DIEGO LEONEL ; LIMA, PRISCILA ; FRANÇA, FELIPE ; D. S. MIRANDA, IGOR ; BRETERNITZ JR., MAURICIO ; JOHN, LIZY . Pruning Weightless Neural Networks. In: ESANN 2022 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2022, Bruges (Belgium) and online e. ESANN 2022 proceedings, 2022. p. 37.
KATOPODIS, RAFAEL ; LIMA, PRISCILA ; FRANÇA, FELIPE . Functional Gradient Descent for n-Tuple Regression. In: ESANN 2021 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2021, Online event (Bruges. ESANN 2021 proceedings. Louvain-la-Neuve (Belgium): Ciaco - i6doc.com, 2021. p. 505.
BARBOSA, RAUL ; CARVALHO, DIEGO ; LIMA, PRISCILA ; FRANÇA, FELIPE . A bag of nodes primer on weightless graph classification. In: ESANN 2021 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2021, Online event (Bruges. ESANN 2021 proceedings. Louvain-la-Neuve (Belgium): Ciaco - i6doc.com, 2021. p. 659.
MATTOS, G. C. ; FRANCA, F. M. G. ; SIMONETTI, L. G. ; LIMA, P. M. V. . AIISR - AI INSPIRED STOPPING RULE FOR GRASP METAHEURISTIC. In: Simpósio Brasileiro de Pesquisa Operacional, 2021, João Pessoa. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2021. v. 53. p. 139666.
LUSQUINO FILHO, L. A. D. ; OLIVEIRA, L. F. ; CARNEIRO, H. C. C. ; Guarisa, Gabriel P. ; LIMA FILHO, A. ; FRANCA, F. M. G. ; LIMA, P. M. V. . A Weightless Regression System for Predicting Multi-Modal Empathy.. In: 15th IEEE International Conference on Automatic Face and Gesture Recognition, 2020, Buenos Aires. Procedings of FG 2020, 2020. p. 1.
ROCHA, RAPHAEL N. C. B. ; FILHO, LEOPOLDO L. ; AREDES, MAURICIO ; FRANCA, FELIPE M. G. ; LIMA, PRISCILA M. V. . Regression WiSARD application of controller on DC STATCOM converter under fault conditions. In: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020, New Orleans. 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020. p. 860.
LELLO, GUILHERME C. DE ; CALDEIRA, JULIANO F. ; AREDES, MAURICIO ; FRANCA, FELIPE M. G. ; LIMA, PRISCILA M. V. . Weightless Neural Networks Applied to Nonintrusive Load Monitoring. In: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020, New Orleans. 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020. p. 844.
LIMA FILHO, A. ; Guarisa, Gabriel P. ; LUSQUINO FILHO, L. A. D. ; OLIVEIRA, L. F. ; COSENZA, C. A. N. ; FRANCA, F. M. G. ; LIMA, P. M. V. . Interpretation of Model Agnostic Classifiers via Local Mental Images. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2020, Bruges. ESANN 2020 proceedings, 2020. p. 37-42.
XAVIER, P. M. ; DEGREGORIO, M. ; FRANCA, F. M. G. ; LIMA, P. M. V. . Detection of elementary particles with the WiSARD n-tuple classifier. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2020, Bruges. ESANN 2020 proceedings. Brussels: i6doc.com, 2020. p. 643-648.
BACELLAR, A. T. L. ; GOLDSTEIN, B. F. ; FERREIRA, V. C. ; SANTIAGO, LEANDRO ; LIMA, P. M. V. ; FRANCA, F. M. G. . Fast Deep Neural Networks Convergence using a Weightless Neural Model. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2020, Bruges. ESANN 2020 proceedings. Brussels: i6doc.com, 2020. p. 211-216.
RAMOS, L. C. S. ; LUSQUINO FILHO, L. A. D. ; FRANCA, FELIPE M. G. ; LIMA, P. M. V. . Detecção estática e dinâmica de malwares usando redes neurais sem peso. In: XX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2020, Petrópolis, RJ. Anais do SBSeg 2020. Porto Alegre: SBC, 2020. p. 1-13.
LUSQUINO FILHO, L. ; OLIVEIRA, L. F. ; LIMA FILHO, A. ; GUARISA, G. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Prediction of palm oil production with an enhanced n-Tuple Regression Network. In: The 27 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2019, Bruges, Bélgica. Proc. of ESANN 2019. Brussels: i6doc.com, 2019. v. 1. p. 1.
ARAUJO, L. S. ; VERONA, L. D. ; RANGEL, F. ; FARIA, F. F. ; MENASCHE, D. S. ; CAARLS, W. ; BRETERNITZ, M. ; KUNDU, S. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Memory Efficient Weightless Neural Network using Bloom Filter. In: The 27 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2019, Bruges, Bélgica. Proc. of ESANN 2019. Brussels: i6doc.com, 2019. v. 1. p. 1.
KOPP, L. F. ; BARBOSA FILHO, J. ; LIMA, P. M. V. ; FARIAS, C. M. . Modeling Sparse Data as Input for Weightless Neural Network. In: The 27 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2019, Bruges, Bélgica. Proc. of ESANN 2019. Brussels: i6doc.com, 2019. v. 1. p. 1.
ALVES, SAMARA A. ; CAARLS, WOUTER ; LIMA, PRISCILA M.V. . Weightless Neural Network for High Frequency Trading. In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018, Rio de Janeiro. 2018 International Joint Conference on Neural Networks (IJCNN), 2018. v. 1. p. 1.
LUSQUINO FILHO, L. A. D. ; FRANCA, F. M. G. ; LIMA, P. M. V. . Near-optimal facial emotion classification using a wisard-based weightless system. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2018, Bruges. Proc of ESANN 2018. Bruxelas: i6doc.com, 2018. v. 1. p. 1-6.
QUEIROZ, RUBENS LACERDA ; BICHARA DE AZEREDO COUTINHO, IGOR ; XEXEO, GERALDO BONORINO ; MACHADO VIEIRA LIMA, PRISCILA ; SAMPAIO, FABIO FERRENTINI . Playing with Robots Using Your Brain. In: 2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames), 2018, Foz do Iguaçu. 2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames). Piscataway: IEEE, 2018. v. 1. p. 197.
MENDES, A. ; SAMPAIO, F. F. ; LIMA, P. M. V. ; LACERDA, R. Q. . LabVad-Maquete controlada por Arduino para robótica educacional. In: XXIII Conferência Internacional sobre Informática na Educação, 2018, Brasilia. Anais da XXIII Conferência Internacional sobre Informática na Educação. Santiago: Nuevas Ideas en Informática Educativa, 2018. v. 14. p. 330-335.
FURRIEL, M. ; LIMA, P. M. V. ; SCHMITZ, E. A. . Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade. In: ERSI 2018 - Escola Regional de Sistemas de Informação, 2018, Friburgo. Anais da ERSI 2018 - Escola Regional de Sistemas de Informação, 2018. v. 1. p. 1-6.
PINHO, R. A. ; BRITO, W. A. T. ; MOTTA, C. L. R. ; LIMA, P. M. V. . Automatic crime report classication through a weightless neural network. In: 25th European Symposium on Artificial Neural Networks, 2017, Bruges. Proceedings of the 25th European Symposium on Artificial Neural Networks. Bruxelas: i6doc.com publ., 2017. v. 1. p. 165-170.
CAVALCANTI, RAFAEL DUTRA ; LIMA, PRISCILA M.V. ; De Gregorio, Massimo ; MENASCHE, DANIEL SADOC . Evaluating weightless neural networks for bias identification on news. In: 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), 2017, Calabria. 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), 2017. v. 1. p. 257-262.
SOARES, E. ; SOUZA, D. F. P. ; LIMA, P. M. V. . Dicta: Biblioteca para reconhecimento de elocuções baseada em uma rede neural sem peso. In: IV Escola regional de sistemas de informação do Rio de Janeiro, 2017, Rio de Janeiro - Brasil. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. Porto Alegre: SBC, 2017. v. 1. p. 1.
FURRIEL, M. ; SILVA, M. F. ; LIMA, P. M. V. ; SCHMITZ, E. A. . Geração de Casos de Teste Independentes de Plataforma Utilizando Diagramas de Classes da UML Anotados com Restrições OCL. In: IV Escola regional de sistemas de informação do Rio de Janeiro, 2017, Rio de Janeiro - Brasil. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. Porto Alegre: SBC, 2017. v. 1. p. 1.
LEONCIO, R. ; FURRIEL, M. ; LIMA, P. M. V. ; SCHMITZ, E. A. . Computational Support for Updating Systematic Literature Reviews. In: IV Escola regional de sistemas de informação do Rio de Janeiro, 2017, Rio de Janeiro - Brasil. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. Porto Alegre: SBC, 2017. v. 1. p. 1.
LACERDA, R. Q. ; SAMPAIO, F. F. ; LIMA, P. M. V. . Uma investigação sobre estratégias a serem adotadas para o aprendizado de Inteligência Artificial no Ensino Fundamental por meio da Robótica Educacional. In: IV Escola regional de sistemas de informação do Rio de Janeiro, 2017, Rio de Janeiro - Brasil. IV Escola regional de sistemas de informação do Rio de Janeiro: anais. Porto Alegre: SBC, 2017. v. 1. p. 1.
RANGEL, F. ; FARIA, F. F. ; LIMA, P. M. V. ; SAMPAIO, J. O. . Semi-Supervised Classification of Social Textual Data Using WiSARD. In: 24th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2016, Bruges. Proceedings of The 24th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Louvain-la-Neuve: Ciaco, 2016. v. 1. p. 165-170.
KAPPAUN, ANDRESSA ; CAMARGO, KARINE ; RANGEL, FABIO ; FIRMINO, FABRICIO ; LIMA, PRISCILA MACHADO VIEIRA ; OLIVEIRA, JONICE . Evaluating Binary Encoding Techniques for WiSARD. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016. v. 1. p. 103-6.
NACIMENTO, D. N. ; CARVALHO, D. S. ; MORA-CAMINO, F. ; LIMA, P. M. V. ; FRANCA, F. M. G. . A WiSARD-based multi-term memory framework for online tracking of objects. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2015, Bruges. Proc. of ESANN 2015. Louvain-la-Neuve: i6doc.com, 2015. v. 1. p. 19-24.
ALVES, S. A. ; FIRMINO, F. ; RANGEL, F. ; LIMA, P. M. V. . Análise de Séries Temporais Financeiras Utilizando Redes Neurais sem Peso. In: 2. LA-CCI (Latin American) and 12. CBIC (Brazilian) Congress on Computational Intelligence, 2015, Curitiba. Anais do CBIC 2015, 2015. v. 1. p. 1.
RANGEL, F. ; FIRMINO, F. ; ALVES, S. A. ; SAMPAIO, J. O. ; LIMA, P. M. V. . Aplicando Redes Neurais sem Peso em Mineração de Opinião no Twitter. In: 2. LA-CCI (Latin American) and 12. CBIC (Brazilian) Congress on Computational Intelligence, 2015, Curitiba. Anais do CBIC 2015, 2015. v. 1. p. 1.
SOUZA, DIEGO F.P. DE ; FRANCA, FELIPE M.G. ; LIMA, PRISCILA M.V. . Real-Time Music Tracking Based on a Weightless Neural Network. In: 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), 2015, Santa Catarina. 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems, 2015. v. 1. p. 64-69.
FRANCA, F. M. G. ; DEGREGORIO, M. ; LIMA, P. M. V. ; OLIVEIRA JR, W. R. . Advances in Weightless Neural Systems. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2014, Bruges. European Symposium on Artificial Neural Networks. Brussels: i6doc publisher, 2014. v. 1. p. 497-504.
CARDOSO, D. ; CARVALHO, D. S. ; ALVES, D. S. F. ; SOUZA, D. F. P. ; CARNEIRO, H. C. C. ; PEDREIRA, C. E. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Credit Analysis with a clustering RAM-based neural classifier. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2014, Bruges. European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Brussels: i6doc publisher, 2014. v. 1. p. 517-522.
CARVALHO, R. F. ; CARVALHO, D. S. ; MORA-CAMINO, F. ; LIMA, P. M. V. ; FRANCA, F. M. G. . Online tracking of multiple objects using WiSARD. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2014, Bruges. European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Brussels: i6doc publisher, 2014. v. 1. p. 541-546.
YANG, ZHIJUN ; ROCHA, MARLON ; LIMA, PRISCILA ; KARAMANOGLU, MEHMET ; FRANCA, FELIPE . A legged central pattern generation model for autonomous gait transition. In: 2014 International Joint Conference on Neural Networks (IJCNN), 2014, Beijing. 2014 International Joint Conference on Neural Networks (IJCNN), 2014. p. 1992-1995.
CARVALHO, D. S. ; FRANÇA, Felipe Maia Galvão ; LIMA, PRISCILA M. V. . Extracting semantic information from patent claims using phrasal structure annotations. In: Brazilian Conference on Intelligent Systems, 2014, São Carlos. Proceedoings of the Brazilian Conference on Intelligent Systems, 2014. v. 1. p. 1-6Da.
SOUZA, D. F. P. ; FRANÇA, Felipe Maia Galvão ; LIMA, PRISCILA M. V. . Spatio-Temporal Pattern Classification with KernelCanvas and WiSARD. In: Brazilian Conference on Intelligent Systems (BRACIS), 2014, São Carlos. Anais do Brazilian Conference on Intelligent Systems (BRACIS), 2014. v. 1. p. 1-6.
GUIMARAES, D. ; SCHMITZ, Eber Assis ; ALENCAR, Antonio Juarez Sylvio de Menezes ; LIMA, PRISCILA M. V. ; CORREA, Alexandre . A Method for Verifying the Consistency of Business Rules Using Alloy. In: The 26th International Conference on Software Engineering & Knowledge Engineering, 2014, Vancouver. Proceeding of The 26th International Conference on Software Engineering & Knowledge Engineering, 2014. p. 381-386.
CARVALHO, D. S. ; CARNEIRO, H. C. C. ; FRANÇA, FELIPE M. G. ; LIMA, P. M. V. . B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2013, Bruges. Proc. of ESANN 2013. Brussels: 6doc.com, 2013. p. 515-520.
CARDOSO, D. ; GAMA, J. ; DEGREGORIO, M. ; FRANÇA, FELIPE M. G. ; GIORDANO, M. ; LIMA, P. M. V. . WIPS: the WiSARD Indoor Positioning System. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2013, Bruges. Proc. of ESANN 2013. Brussels: 6doc.com, 2013. p. 521-526.
SOUZA, D. F. P. ; CARNEIRO, H. C. C. ; FRANÇA, FELIPE M. G. ; LIMA, P. M. V. . Rock-paper-scissors WiSARD. In: BRICS-CCI, 2013, Ipojuca, PE. Proc. of BRICS-CCI & CBIC 2013, 2013. v. 1. p. 1-6.
ALVES, D. S. F. ; CARDOSO, D. ; CARNEIRO, H. C. C. ; FRANÇA, FELIPE M. G. ; LIMA, P. M. V. . An empirical study of the influence of data structures on the performance of VG-RAM classifiers. In: BRICS-CCI, 2013, Ipojuca, PE. Proc. of BRICS-CCI & CBIC 2013, 2013. v. 1. p. 1-6.
XAVIER, A. E. ; FRANCA, F. M. G. ; LIMA, P. M. V. ; XAVIER, V. . A Hyperbolic Smoothing Approach to the Fermat-Weber Location Problem. In: XVI Congresso Latino-Iberoamericano de Investigación Operativa - CLAIO, 2012, Rio de Janeiro. Anais do CLAIO-SBPO, 2012. p. 1-12.
CARDOSO, D. ; LIMA, P. M. V. ; DEGREGORIO, M. ; GAMA, J. ; FRANCA, F. M. G. . Clustering data streams with weightless neural networks. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2011, 2011, Bruges. Proceedings of the European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2011, 2011. p. 201-206.
PINKAS, G. ; LIMA, P. M. V. ; COHEN, S. . Compact Crossbar Variable Binding for Neuro-Symbolic Computation. In: NeSy'11 Neural-Symbolic Learning and Reasoning 2011, 2011, Barcelona. CEUR Workshop Proceedings, 2011. v. 764. p. 14-18.
ROCHA, M. V. ; FRANCA, F. M. G. ; LIMA, P. M. V. . Transições de Ritmos em CPGs Artificiais via Acoplamento Neural Generalizado. In: X Congresso Brasileiro de Inteligência Computacional,, 2011, Fortaleza. Anais do CBIC'2011. Fortaleza: WaveMedia, 2011. p. 1-8.
CARNEIRO, H. C. C. ; FRANÇA, FELIPE M. G. ; LIMA, PRISCILA M. V. . WANN-TAGGER: A Weightless Artificial Neural Network Tagger for the Portuguese Language. In: International Conference on Neural Computation, 2010, Valencia. Proc. of the 2nd International Joint Conference on Computational Intelligence. Lisboa: SciTePress ? Science and Technology Publications, 2010. p. 330-335.
GRIECO, B. ; LIMA, P. M. V. ; GREGORIO, M. ; FRANÇA, FELIPE M. G. . Extracting fuzzy rules from "mental" images generated by modified WiSARD perceptrons. In: 11th European Symposium on Artificial Neural Networks, 2009, Bruges - Bélgica. Proceedings of the 11th European Symposium on Artificial Neural Networks. Brussels: d-side. p. 313-318.
ALEKSANDER, I. ; GREGORIO, M. ; FRANÇA, FELIPE M. G. ; LIMA, P. M. V. ; MORTON, H. . A brief introduction to Weightless Neural Systems. In: 11th European Symposium on Artificial Neural Networks, 2009, Bruges - Bélgica. Proceedings of the 11th European Symposium on Artificial Neural Networks. Brussels: d-side, 2009. p. 299-305.
PRADO, C. B. ; FRANÇA, FELIPE M. G. ; DIACOVO, R. ; LIMA, PRISCILA M. V. . The Influence of Order on a Large Bag of Words. In: Eight International Conference on Intelligent Systems Design and Applications, 2008, Kaohsiung. Proceedings of ISDA'08. Los Alamitos, CA, USA: IEEE Computer Society Press, 2008. v. 1. p. 432-436.
DE SOUZA, A. F. ; SOUZA, S. F. ; AMORIM, C. L. ; LIMA, P. M. V. ; ROUNCE, P. . Hardware Supported Synchronization Primitives for Clusters.. In: International Conference on Parallel and Distributed Processing Techniques and Applications, 2008, Las Vegas. Proceedings of the 2008 International Conference on Parallel and Distributed Processing Techniques and Applications, 2008, 2008. p. 520-526.
DIACOVO, R. ; FRANÇA, Felipe Maia Galvão ; LIMA, P. M. V. . Generation Expansion Planning as Particle Swarm Optimization with Gridified SATyrus. In: Third EELA Conference, 2007, Catania. Proceedings of the Third EELA Conference, 2007. p. 195-204.
ARAÚJO, B. M. ; DIAS, Felipe Gomes ; MORGADO, Gisele Pereira ; MARTINS, Alissandra Evangelista ; SILVEIRA, D. ; MANSO, F. ; LIMA, P. M. V. ; SCHMITZ, Eber Assis . RÉGULA ? Uma Ferramenta para a Captura de Requisitos de Software através de Regras de Negócio. In: XX SBES-Tools, 2006, Florianópolis, SC. Anais do XX SBES-TOOLS, 2006.
ALENCAR, Antonio Juarez Sylvio de Menezes ; SCHMITZ, Eber Assis ; SILVEIRA, Denis Silva da ; MORGADO, Gisele Pereira ; LIMA, P. M. V. . RAPDIS: Um Processo MDA para Desenvolvimento de Sistemas de Informação. In: III Simpósio Brasileiro de Sistemas de Informação, 2006, Curitiba, PR. Anais do III SBSI, 2006. p. 1-8.
MORGADO, Gisele Pereira ; SCHMITZ, Eber Assis ; LIMA, P. M. V. . RÉGULA - Uma ferramenta para o gerenciamento de regras de negócio. In: III Simpósio Brasileiro de Sistemas de Informação, 2006, Curitiba, PR. Anais do III SBSI, Monografia de Conclusão de Curso, 2006. p. 1-8.
LIMA, P. M. V. ; MORVELI-ESPINOZA, M. M. M. ; PEREIRA, Gláucia C ; FRANÇA, Felipe Maia Galvão . SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing. In: 5th International Conference on Hybrid Intelligent Systems, 2005, Rio de Janeiro. Proc. of HIS'05: 5th International Conference on Hybrid Intelligent Systems. Los Alamitos, CA, USA: IEEE Computer Society Press, 2005. v. 1. p. 137-142.
DIAS, Felipe Gomes ; MORGADO, Gisele Pereira ; MARTINS, Alissandra Evangelista ; SEABRA, Célia Maria ; SILVEIRA, Denis Silva da ; ALENCAR, Antonio Juarez Sylvio de Menezes ; LIMA, P. M. V. ; SCHMITZ, Éber Assis . Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio. In: I Simpósio Brasileiro de Sistemas de Informação, 2004, Porto Alegre. Anais do I Simpósio Brasileiro de Sistemas de Informação, 2004. p. 237-244.
LIMA, P. M. V. ; SILVEIRA, Denis Silva da ; SCHMITZ, Éber Assis . UMA VERIFICAÇÃO INTEGRADA DOS MODELOS DE PROCESSOS COM AS REGRAS DE NEGÓCIO. In: CLADEA, 2004. Congresso Latino- Americano de Escolas de Administração, 2004.
SCHMITZ, Éber Assis ; LIMA, P. M. V. ; SILVEIRA, Denis Silva da ; MACEDO, R. . VALIDAÇÃO DA SINTAXE E DA SEMÂNTICA ESTÁTICA DE MODELOS DE PROCESSOS. In: XII CLAIO, 2004, Havana. Congreso Latino Iberoamericano de Investigación de Operaciones, 2004.
AGUIAR, E. F. ; SANTOS, C. M. ; LIMA, P. M. V. ; OCHI, L. S. ; SANTOS, R. O. V. . Determinação da Influência da Reatividade dos Grupos Sanguíneos ABO e RH na Etnia Simplificada. In: III Workshop de informática aplicada à Saúde - Congresso Brasileiro de Computação, 2003, Itajaí, SC. Anais da III Workshop de informática aplicada à Saúde, 2003. v. 1.
SEABRA, C. M. ; SILVEIRA, D. ; CRUZ, P. O. S. ; LIMA, P. M. V. ; SCHMITZ, Éber Assis . Análise Comparativa das Formas de Representação de Regras de Negócio. In: XXVIII Asamblea Annual de CLADEA (Consejo Latinoamericano de Escuelas de Administracion), 2003, Lima, Peru. Anais da XXVIII Asamblea Annual de CLADEA, 2003. v. 1.
LIMA, P. M. V. . A Neural Propositional Reasoner that is Goal-Driven and Works Without Pre-Compiled Knowledge. In: 6th Brazilian Symposium on Neural Networks ? SBRN'2000, 2000, Rio de Janeiro. Proc. of the 6th Brazilian Symposium on Neural Networks ? SBRN'2000. Los Alamitos, California: IEEE Computer Society Press, 2000. v. 1. p. 261-266.
LIMA, P. M. V. ; DUTRA, I. C. . Neural network parallel simulation with Logic Programming. In: Workshop em Inteligência Computacional: Projetos ICOM e IPAC, Protem III-CC, CNPq, 1997, Rio de Janeiro. Anais do Workshop em Inteligência Computacional: Projetos ICOM e IPAC, Protem III-CC, CNPq. Rio de Janeiro: PESC/COPPE-UFRJ, 1997. v. 1. p. 8-9.
LIMA, P. M. V. . Towards Neural Computation of REFORMed Programs. In: Workshop on High-Performance Logic Programminng Systems (ESSLLI-96, 1996, Praga. Proc. of the Workshop on High-Performance Logic Programminng Systems (ESSLLI-96, 1996. v. 1.
LIMA, P. M. V. . Resolution-Based Inference with Artificial Neural Networks: Avoiding Cyclic Dependencies. In: II Brazilian Conference on Neural Networks - CBRN 95, 1995, Curitiba, PR. Proc. of the II Brazilian Conference on Neural Networks - CBRN 95, 1995. v. 1.
LIMA, P. M. V. . Resolution-Based Inference with Artificial Neural Networks. In: Workshop on Logic and Reasoning with Neural Networks at the International Conference on Logic Programming 94 (ICLP-94), 1994, Santa Margherita, Italy. Proc. of the Workshop on Logic and Reasoning with Neural Networks - ICLP 94, 1994. v. 1.
LIMA, P. M. V. . Logical Abduction and Prediction of Unit Clauses in Symmetric Hopfield Networks. In: International Conference on Neural Networks, 1992, Brighton, UK. Artificial Neural Networks, 2. Amsterdan, The Netherlands: Elsevier Science Publishers B. V., 1992. v. 1. p. 721-725.
DUTRA, I. C. ; BIANCHINI, R. G. ; AMORIM, C. L. ; LIMA, P. M. V. ; EIZRICK, L. . Em Direção a uma Estação Prolog - Implementação e Desempenho da Máquina Virtual. In: V Simpósio Brasileiro de Inteligência Artificial - SBC, 1988, Natal, RN. Anais do V Simpósio Brasileiro de Inteligência Artificial da SBC, 1988. v. 1. p. 461-471.
DUTRA, I. C. ; BIANCHINI, R. G. ; AMORIM, C. L. ; LIMA, P. M. V. ; EIZRICK, L. . Em Direção a uma Estação Prolog - Tradução de Programas. In: V Simpósio Brasileiro de Inteligência Artificial da SBC, 1988, Natal, RN. Anais do V Simpósio Brasileiro de Inteligência Artificial da SBC, 1988. v. 1. p. 472-483.
CARVALHO, J. A. ; CHAVES, V. B. ; LIMA, P. M. V. . FORTRAN* - documentando programas em Fortran. In: III Simpósio sobre Desenvolvimento de Software Básico para Micros - SBC, 1983, Rio de Janeiro. Anais do III Simpósio sobre Desenvolvimento de Software Básico para Micros, 1983. v. 1.
PIMENTEL, C. S. ; LACERDA, R. Q. ; LIMA, P. M. V. ; SAMPAIO, F. F. . Projeto Frankie: uma proposta para o ensino de Inteligência Artificial na Educação Básica. In: TISE2018 - XXIII Conferência Internacional sobre Informática na Educação, 2018, Brasília - Brasil. Anais do TISE2018 - XXIII Conferência Internacional sobre Informática na Educação. Santiago - Chile: Nuevas Ideas en Informática Educativa, 2018. v. 14. p. 493-498.
NOVELLO, C. F. ; COHEN, S. ; MACULAN, N. ; FRANCA, F. M. G. ; PINKAS, G. ; LIMA, P. M. V. . XOR as MILP: alternative modelings. In: GLOBAL OPTIMIZATION WORKSHOP - GOW 2012, 2012, Natal. PROCEEDINGS OF THE GLOBAL OPTIMIZATION WORKSHOP 2012, 2012. p. 105-108.
LENGERKE, O. ; CARVALHO, D. ; LIMA, P. M. V. ; DUTRA, M. S. ; MORA-CAMINO, F. ; FRANÇA, FELIPE M. G. . Controle distribuído de sistemas JOB SHOP usando escalonamento por reversão de arestas. In: XIV Latin Ibero-American Congress on Operations Research (CLAIO 2008), 2008, Cartagena de Indias. CLAIO 2008 - Book of Extended Abstracts, 2008. p. 1-3.
LIMA, P. M. V. ; BARBOSA, V. C. . Em direção a um simulador paralelo distribuído de redes neuronais iterativas. In: VIII Congresso da SBC, 1988, Rio de Janeiro. Anais do VIII Congresso da SBC, 1988. v. 1.
LIMA, P. M. V. . Considerações sobre um sistema PROLOG para ambiente de multiprocessamento. In: VI Congresso da SBC, 1986, Recife-Olinda, PE. Anais do VI Congresso da SBC, 1986. v. 1. p. 609-612.
LIMA, P. M. V. . Q-SATyrus: Mapping Neuro-symbolic Reasoning into an Adiabatic Quantum Computer. In: Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017, Londres. Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning. Bremen: http://www.neural-symbolic.org/NeSy17/, 2017. v. 1. p. 1-3.
LIMA, P. M. V. ; ALVES, D. S. F. ; FRANCA, F. M. G. . Applications of ReSATyrus: a distributed resource-sharing control compiler. In: 0th Conference of the International Federation of Operational Research Societies, 2014, Barcelona. Proceedings of the 0th Conference of the International Federation of Operational Research Societies, 2014. p. 109-109.
SILVA, E. F. ; DIACOVO, R. ; FRANÇA, Felipe Maia Galvão ; LIMA, P. M. V. . Aggregating Energy Scenarios using the SATyrus Neuro-Symbolic Tool. In: 19t International Symposium on Mathematicval Programming, 2006, Rio de Janeiro. Abstracts of the 19th International Symposium on Mathematical Programming. Rio de Janeiro: UFRJ, 2006. p. 146-146.
LIMA, P. M. V. ; PEREIRA, Gláucia C ; MORVELIESPINOZA, Maria Mariela M ; FRANÇA, Felipe Maia Galvão ; LAVOR, C. C. . Mapping Molecular Geometry Problems into Pseudo-Boolean Constraints. In: International Workshop on Genomic Databases - IWGD´05, 2005, Rio de Janeiro. Proc. of the International Workshop on Genomic Databases - IWGD´05, 2005.
SANTOS, C. M. ; PEREZ, L. ; RAMOS, A. ; PAPAIS, R. ; CABRERA, J. ; PIANNINI, J. ; VASCONCELOS, C. ; LIMA, P. M. V. ; THOME, L. . ABO blood groups and multiple sclerosis: a comparison between Cubans and Brazilians. Revista de Neurologia , v. 35, n.12, p. 1184-1184, 2002.
SANTOS, C. M. ; VASCONCELOS, C. ; PAPAIS, R. ; LIMA, P. M. V. ; THOME, L. . Multiple Sclerosis: influence of ABO blood groups in the disability over time. Revista de Neurologia , v. 35, n.12, p. 1183-1183, 2002.
LIMA, P. M. V. . Como aproveitar o grande potencial da IA para provocar a transformação necessária na educação para o modo como aprendemos e ensinamos?. 2024. (Apresentação de Trabalho/Outra).
LIMA, P. M. V. . Questões Éticas e de Compliance em IA: quais fronteiras avançar?. 2024. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . Diálogos sobre Inteligência Artificial e Biomas. 2024. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . Fronteiras da Inteligência Artificial (ou IA sem Fronteiras). 2024. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . Inteligência Artificial na Prevenção e Resposta a Crises Sanitárias e Desastres. 2024. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . Fronteiras da Inteligência Artificial (ou IA sem fronteiras?). 2021. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . Q-SATyrus: Mapeando Raciocínio Lógico para Computação Quântica Adiabática. 2017. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . INTELIGÊNCIA ARTIFICIAL:UMA VISÃO GERAL. 2017. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, P. M. V. . A Proposta de Mestrado em Mode- lagem Matemática e Computacio- nal da UFRRJ.. 2011. (Apresentação de Trabalho/Conferência ou palestra).
BESOLD, T. ; GARCEZ, A. D. ; BADER, S. ; BOWMAN, H. ; DOMINGOS, P. ; HITZLER, P. ; KUEHNBERGER, K. ; LAMB, L. C. ; LOWD, D. ; LIMA, P. M. V. ; PENNING, L. ; PINKAS, G. ; POON, H. ; ZAVERUCHA, G. . Neural-Symbolic Learning and Reasoning: A Survey and Interpretation 2017 (Relatório Técnico).
MENEZES, Antonio Juarez S A de ; SCHMITZ, Eber Assis ; LIMA, P. M. V. . RFM Analysis Optmized - NCE-01/05 2005 (Relatório Técnico).
MENEZES, Antonio Juarez S A de ; SCHMITZ, Éber Assis ; LIMA, P. M. V. . Cluster Analysis with Deolist Graphs - NCE-02/05 Cluster Analysis with Deolist Graphs - NCE-02/05 Cluster Analysis with Deolist Graphs - NCE-02/05 2005 (Relatório Técnico).

Outras produções

MACULAN, N. ; COZMAN, F. G. ; FERRAZ, J. C. ; REIS, M. L. ; LIMA, P. M. V. . Indústria 5.0: Qual o papel da Inteligência Artificial?. 2021. (Programa de rádio ou TV/Mesa redonda).

GAMA, J. ; DE SOUZA, A. F. ; DELOU, C. ; PARE, Z. ; LIMA, P. M. V. . Inteligência Artificial Geral: Uma Possibilidade?. 2021. (Programa de rádio ou TV/Mesa redonda).

Projetos de pesquisa

2021 - 2023

Cidade Universitária Sustentável: AIoT para ações de biossegurança e de gestão de risco em emergências, Descrição: A AIoT Artificial Intelligence of Things é uma importante tendência computacional baseada na ideia de executar processamento de algoritmos de IA Inteligência Artificial diretamente em dispositivos conectados móveis e/ou de borda, em oposição à computação de IA em cloud/fog, atualmente dominante. O campo de Cidades Inteligentes é um dos maiores beneficiários potenciais de AIoT, principalmente no que tange à sutentabilidade socioambiental e biossegurança. Este projeto visa produzir soluções baseadas em AIoT para localização indoor e outdoor que possibilitem ações emergenciais e de rotina relacionadas à biossegurança. O uso voluntário de aparelhos celulares da comunidade de nossa Cidade Universitária, cameras IP, roteadores de WiFi e de drones de curto alcance estão previstos como agentes de borda em uma arquitetura AIoT, alvo principal da presente proposta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) . , Integrantes: Priscila Machado Vieira Lima - Coordenador / laura Bahiense - Integrante / Nelson Maculan - Integrante / Felipe Maia Galvão França - Integrante / Claudio Miceli de Farias - Integrante / mônica ferreira da silva - Integrante / Guilherme Horta Travassos - Integrante / Bianca Ortiz da SIlva - Integrante / Alexandre Barbosa de Oliveira - Integrante., Financiador(es): Parque Tecnológico da UFRJ - Auxílio financeiro.
2018 - Atual

Exploring In-situ Computing of AI and/or Dataflow Engines, Descrição: The main goal of this project is to explore novel ways of in-situ processing based on Catalina 2, NGD's pioneering smart storage platform. Two main threads of work to explore: (i) explore SUCURI, a Python dataflow-based library as an in-situ parallel programming platform, and; (ii) develop in-situ artificial intelligence applications based on weightless neural networks.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (5) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Felipe Maia Galvão França - Coordenador / Alexandre Solon Nery - Integrante / Tiago Assumpção de Oliveira Alves - Integrante.
2015 - 2018

Red Iberoamericana de Logística Inteligente en la Gestión Sostenible del Transporte en Núcleos Urbanos (SMARTLOGISTICS@IB), Descrição: Enterprises in the retailing, logistics and transportation sectors have to face several difficult challenges related to the complexity of logistics and distribution strategies. Among others, they have to design business and distribution strategies as well as policies which combine competitiveness, and economic efficiency with sustainability criteria. These issues are critical, especially for small and medium enterprises (SME), since they hardly have the economic and human resources necessary to implement and manage the complex mathematical methods associated with logistics optimization. One strategy that SMEs can follow to become more competitive is to collaborate with other companies (Horizontal Cooperation), allowing the use of economies of scale. Fortunately, new quantitative methods can be developed now thanks to theoretical advances as well as to the increase in computer power. This is the case of hybrid methods combining metaheuristics, simulation, exact methods, parallel and distributed computing, multi-agent approaches, etc. In particular, as a new research field, 'simheuristics' evolves from the simulation-optimization knowledge field and goes one step further by proposing the integration of simulation techniques, metaheuristics, and Internet computing as the most efficient way to deal with the uncertainty and complexity levels which characterize most real-life problems in logistics and transportation.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Integrante / França, Felipe M.G. - Integrante / Angel A. Juan - Integrante / Javier Faulin - Coordenador / Josefino Cabral Lima - Integrante., Financiador(es): Internet Interdisciplinary Institute - Cooperação.
2015 - 2017

Apoio Emergencial ao Programa de Pós-graduação em Informática da Universidade Federal do Rio de Janeiro (PPGI/UFRJ), Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Coordenador., Financiador(es): FAPERJ - Bolsa.
2014 - Atual

SATyrus 2, Descrição: Este projeto consiste da segunda fase da pesquisa de novas formas de descrever e modelar problemas reais como uma composição de diversos problemas, possivelmente de diferentes naturezas, sob a forma de restrições pseudo-booleanas. Desta forma, problemas alvo são atacados via a síntese de uma função de Energia representando o espaço de estados de soluções do problema. Diversos modelos da Inteligência Computacional podem ser aplicados na busca por mínimos globais e locais, quando necessário, das funções produzidas pelo sistema. Em especial, busca-se tirar proveito das novas máquinas de computação quântica, mais especificamente daquelas que realizam computação quântica adiabática. Adicionalmente, espera-se gerar novos códigos que não equações de energia, tais como gratos de compartilhamento e redes neurais sem peso.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Priscila Machado Vieira Lima - Coordenador / Ines de Castro Dutra - Integrante / Nelson Maculan - Integrante / Felipe Maia Galvão França - Integrante / Pedro Maciel Xavier - Integrante.
2012 - 2018

SCDP ? Sistema para Centro de Decisão Orientado para Monitoração Ambiental de Plataformas Offshore Usando Redes de Sensores sem Fio, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Integrante / Valmir Carneiro Barbosa - Integrante / Felipe Maia Galvão França - Coordenador / Max Swell Dutra - Integrante.
2010 - 2013

Redes: Estudos, Modelos, Métodos de Otimização e Computação Distribuída, Descrição: Este projeto de pesquisa está associado ao estudo qualitativo e quantitativo dos problemas relacionados a redes em vários dos seus aspectos. O grande número de atividades envolvidas no tratamento de redes demanda uma análise qualitativa mais aprofundada. As grades (redes) inteligentes (smart grids) necessitam do desenvolvimento de novos modelos matemáticos visando às respostas instantâneas das demandas e ao risco de falha; para isso, o desenvolvimento de novos algoritmos para problemas de otimização é fundamental.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Integrante / outros - Integrante / Nelson Maculan - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2013

LAPIMC- Laboratório de Paralelização de Inteligência e Matemática Computacionais, Descrição: Atualmente, intensifica-se o progresso dos ambientes de programação paralela e distribuída, no nível da microeletrônica com os processadores multicore, passando pelo nível dos clusters de processadores e até das grades computacionais (grids). Por outro lado, muitos problemas atuais de extrema importância em áreas tão diversas quanto mecânica de solos, meio ambiente e medicina correspondem, quando modelados matematicamente, a problemas que requerem soluções de otimização global, otimização global inteligente e inteligência computacional. Adicionalmente, quando considerados em situações reais, estes problemas apresentam tal porte que demandam grande esforço computacional para sua resolução. Faz-se necessário, então, além do aprimoramento dos algoritmos de resolução em si, o melhor aproveitamento possível dos ambientes computacionais de alto desempenho. A fim de aproveitar esse potencial de capacidade computacional e resolver instâncias cada vez maiores de problemas, é necessário conceber novos algoritmos ou adaptar os existentes aos ambientes de processamento paralelo e distribuído. O Estado do Rio de Janeiro possui centros de Alto Desempenho que poderiam executar os algoritmos depois de paralelizados com instâncias grandes. Porém, é preciso que tais algoritmos possam ser desenvolvidos e analisados localmente antes de serem submetidos a testes mais realistas. Para tal é necessário o provimento local de equipamento para o desenvolvimento e teste dos algoritmos em questão.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Coordenador / Luiz Maltar Castello Branco - Integrante / Camila Silva de Magalhães - Integrante / Carlos Andrés Reyna Vera-Tudela - Integrante / Gizelle Kupac Vianna - Integrante / Rafael Bernardo Teixeira - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2009 - 2014

INWS - Instituto Nacional de Ciência da Web - Coordenador Carlos J. P.de Lucena, Descrição: O Instituto possui como missão: ? fazer avançar a pesquisa científica em Ciência da Web, nas quais os pesquisadores do instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; ? educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; ? transferir conhecimento para todos os setores da sociedade por meio de programas educacionais abrangentes; e ? transferir conhecimento para a indústria e o setor de serviços por meio de programas específicos, incluindo residências no Instituto. http://www.cnpq.br/programas/inct/_apresentacao/inct_ciencia_web.html. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Priscila Machado Vieira Lima - Integrante / Josefino Cabral Melo Lima - Integrante / Edmundo de Souza e Silva - Integrante / Fabio Protti - Integrante / Mario Roberto Folhadela Benevides - Integrante / outros - Integrante / FRANÇA, FELIPE M. G. - Integrante / Nelson Maculan - Integrante / Carlos J. P. de Lucena - Coordenador.
2006 - 2009

SCAE - Sistema para Classificação Automática em CNAE-Subclasses - Coordenador Alberto Ferreira De Souza, Descrição: A Classificação Nacional de Atividades Econômicas (CNAE) é uma tabela hierárquica de atividades e códigos associados, e o nível mais detalhado dela, a CNAE-Subclasses, é usado como instrumento de padronização nacional dos códigos de atividade econômica utilizados pelos diversos órgãos públicos da administração direta na gerência e controle de ações de cada esfera de governo (federal, estadual ou municipal). Nos cadastros da administração pública, os códigos CNAE-Subclasse são atribuídos a todos os agentes econômicos que estão engajados na produção de bens e serviços sendo que, na Secretaria da Receita Federal, um ou mais códigos CNAE-Subclasse devem ser informados quando do cadastro de uma nova pessoa jurídica (quando do registro de um CNPJ) ou quando da alteração dos seus atos constitutivos. Atualmente, a escolha e atribuição dos códigos CNAE-Subclasse é feita manualmente pelo próprio informante ou por codificadores humanos treinados apoiados por ferramentas computacionais de busca na tabela CNAE-Subclasse, disponibilizadas pelo Instituto Brasileiro de Geografia e Estatística (IBGE). O principal objetivo deste projeto é desenvolver um protótipo de um Sistema Computacional para a Codificação Automática de Atividades Econômicas SCAE. O SCAE receberá como entrada descrições textuais de atividades econômicas e produzirá como saída os descritores das atividades do agente econômico e seus respectivos códigos CNAE-Subclasse. Para tal, o SCAE gerará representações, internas ao sistema, da tabela CNAE e das atividades do agente econômico para o qual se deseja atribuir códigos CNAE-Subclasse para uso administrativo. Estas representações deverão ser tais que permitam identificar a correta correspondência semântica entre a descrição textual livre das atividades do agente econômico e um ou mais itens dos descritores da tabela CNAE-Subclasse. Três técnicas serão utilizadas para esta representação interna: Redes Neurais Artificiais, Redes Bayesianas e Latent Semantic Indexing.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Felipe Maia Galvão França - Integrante / Alberto Ferreira de Souza - Coordenador / Elias de Oliveira - Integrante / Ramon Diacovo - Integrante / Manoel França - Integrante / Eliza França - Integrante / Charles Prado - Integrante / Eliana Zandonade - Integrante / Hannu Tapio Ahonen - Integrante., Financiador(es): Secretaria da Receita Federal - Auxílio financeiro / Universidade Federal do Espírito Santo - Cooperação.
2006 - 2008

LOA - Laboratório de Otimização Avançada, CNPq, Fundo Setorial CT - Energia, Coordenador: Luiz Fernando L. Legey, COPPE Energia, Participante., Descrição: O Laboratório de Otimização Avançada (LOA) tem como objetivo desenvolver novos modelos de programação matemática, em particular para o setor energético, fornecendo um ambiente computacional de alto desempenho e um conjunto de serviços de otimização baseados em algoritmos flexíveis e aptos para os problemas em questão. O portal do LOA encontra-se em: http://loa.ppe.ufrj.br/ . A primeira versão do projeto foi desenvolvida durante 2006 e 2007. A partir de 2008 está sendo desenvolvido o LOA II.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Felipe Maia Galvão França - Integrante / Eduardo Ferreira da Silva - Integrante / Ramon Diacovo - Integrante / Luiz Fernando Legey - Coordenador / Fabio Fagundez - Integrante / Heloisa Firmo - Integrante / outros - Integrante / laura Bahiense - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
2005 - 2006

PRODOC - Apoio ao PPGI-UFRJ - Aspectos de Inteligência Artificial em Sistemas de Informação, Coordenador: Marcos R. S. Borges, Bolsista-Doutora., Descrição: A fim de tirar proveito de todo o potencial de processamento de informações advindo de recente progresso tecnológico, fez-se necessário lidar com as questões referentes a escalabilidade e a consultas complexas. Tais questões foram abordadas pelos estudos envolvendo a Web Semântica, suas tecnologias e padrões, e sua relação com as diversas lógicas, mais especificamente com as Lógicas Descritivas e com a Lógica de Primeira Ordem.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Priscila Machado Vieira Lima - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 5
2004 - 2014

SATyrus, Descrição: Este projeto visa a pesquisa de novas formas de descrever e modelar problemas reais como uma composição de diversos problemas, possivelmente de diferentes naturezas, sob a forma de restrições pseudo-booleanas. Desta forma, problemas alvo são atacados via a síntese de uma função de Energia representando o espaço de estados de soluções do problema. Diversos modelos da Inteligência Computacional podem ser aplicados na busca por mínimos globais e locais, quando necessário, das funções produzidas pelo sistema.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Felipe Maia Galvão França - Coordenador / João Carlos Pereira da Silva - Integrante / Gláucia C Pereira - Integrante / Miriam Mariela M. Morveli-Espinoza - Integrante / Ramon Diacovo - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / European Comission - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 21
2002 - 2006

RÉGULA/RAPDIS - Rules and Processes for the Development of Information Systems, Participante., Descrição: O Régula é um sistema responsável pela gerência de regras de negócio (RNs), permitindo o catálogo e a administração do conhecimento sobre uma área de negócio ou organização. A ferramenta obtém as regras em português estruturado e as traduz para um subconjunto da Lógica de Primeira Ordem, gerando uma base de regras. O RAPDIS é um ambiente MDA (Model Driven Architecture) para o desenvolvimento de sistemas de informação. Através dele é possível construir modelos com alto nível de abstração e transformá-los automaticamente em modelos com baixa abstração, facilitando e tornando mais rápido o processo de desenvolvimento. As principais funcionalidades deste ambiente são: # Modelagem de Negócios - definição dos termos, objetivos, recursos, processos e regras; # Modelagem de Sistemas de Informação - casos de uso, classes, seqüência e estados; # Transformação do Modelo de Negócio no Modelo de Sistema de Informação - geração automática dos diagramas de casos de uso e do diagrama de classes de domínio; e # Transformação do Modelo de Sistema de Informação no Modelo para uma Plataforma Específica - geração automática de código (Java e Delphi).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Ingrid Gesser - Integrante / Pedro Oscar de Souza Cruz - Integrante / Eber Assis Schmitz - Coordenador / Marcos de Barros - Integrante / Gisele Pereira Morgado - Integrante / João Carlos Pereira da Silva - Integrante / Felipe Gomes Dias - Integrante / Alissandra Evangelista Martins - Integrante / Célia Maria Seabra - Integrante / Denis Silva da Silveira - Integrante / Antonio Juarez Sylvio de Menezes Alencar - Integrante / Fernando Manso - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 26
2001 - 2002

Inferência Lógica com Redes Neurais Artificiais: avaliando a combinação com outras meta-heurísticas., Descrição: Este trabalho teve por principal objetivo a consolidação da formação científica da candidata através da colaboração com pesquisadores do Instituto de Computação da Universidade Federal Fluminense. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Elzenclever Freitas de Aguiar - Integrante / Luiz Satoru Ochi - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa., Número de produções C, T & A: 12
1999 - 2001

CLOP~N - High Performance Scalable Systems for Constrained Logic Programming, ProTem IV - CC, collaboration CNPq-NSF between PESC/COPPE-UFRJ and New Mexico State University, Las Cruces, NM, USA, Participant., Descrição: Sistemas escaláveis de alto desempenho para programação lógica com restrições. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Ines de Castro Dutra - Integrante / Felipe Maia Galvão França - Integrante / Vitor Santos-Costa - Coordenador., Financiador(es): Universidade Federal do Rio de Janeiro - Cooperação / New Mexico State University - Cooperação / National Science Foundation - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1997 - 1998

PROTEM III/CC ICOM, Co-autora, Descrição: Inteligência Computacional - Princípios e aplicações. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Valmir Carneiro Barbosa - Integrante / Felipe Maia Galvão França - Integrante / Gerson Zaverucha - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
1996 - 1997

NEUROCOM - Integrando Computação Convencional com Neurocomputação, ProTem II - CC, CNPq, Co-autora, Descrição: Computação Neuronal-Convencional. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Felipe Maia Galvão França - Integrante / Teresa Bernarda Ludermir - Coordenador / Wilson Rosa de Oliveira Jr - Integrante / Antônio de Pádua Braga - Integrante / Edil Severiano Tavares Fernandes - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
1994 - 1995

PROTEM-I/CC Representação e aquisição do Conhecimento, Participante, Descrição: Aquisição e representação de conhecimento. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Priscila Machado Vieira Lima - Integrante / Valmir Carneiro Barbosa - Integrante / Marcos Roberto da Silva Borges - Coordenador / Edmundo de Souza e Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

Prêmios

2021

Orientadora de Pedro Maciel Xavier - Melhor Trabalho em Sessão de Apresentação do Centro de Tecnologia (CT), XLII Jornada Giulio Massarani de Iniciação Científica, Tecnológica, Artística e Cultural-JICTAC 2020.

2021

Co-orientadora de Alan Tendler Leibel - Menção Honrosa em Sessão de Apresentação do Centro de Tecnologia (CT), XLII Jornada Giulio Massarani de Iniciação Científica, Tecnológica, Artística e Cultural-JICTAC 2020.

2021

Cátedra de Inteligência Artificial; Patroneses Antonia J. Jones, Sueli B. Mendes e Doris F. Aragon, Colégio Brasileiro de Altos Estudos da UFRJ (CBAE da UFRJ).

2011

Orientadora do XVI Prêmio da Jornada de Iniciação Científica da da UFRRJ (XXI JIC), Universidade Federal Rural do Rio de Janeiro.

2009

Aprovada em concurso público para Professor Adjunto no Departamento de Engenharia Eletrônica e de Computação, UFRJ., UFRJ.

2009

Aprovada em concurso público para Professor Adjunto no Departamento de Matemática, UFRRJ., UFRRJ.

2006

Primeiro lugar na categoria Monografia de Conclusão de Curso no evento SBSI 2006, co-orientadora de Gisele Pereira Morgado., III Simpósio Brasileiro de Sistemas de Informação.

2006

Primeiro lugar na Sessão Matemática II da XXVIII Jornada de Iniciação Científica da UFRJ, co-orientadora de Felipe Gomes Dias., Universidade Federal do Rio de Janeiro.

2005

Aprovada em concurso público para Professor Adjunto no Departamento de Ciência da Computação do Instituto de Matemática, UFRJ., DCC, IM, UFRJ..

2002

Aprovada em concurso público para Professor Adjunto no Instituto de Computação, Universidade Federal Fluminense.

1993

Aprovada em concurso público para Professor Assistente no Departamento de Ciência da Computação, Universidade Federal Fluminense.

1982

Magna cum Laudae, Universidade Federal do Rio de Janeiro.

1979

Prêmio Othon Nogueira - pelos resultados nas disciplinas de Cálculo e Algebra Linear, Instituto de Matemática - UFRJ.

1978

Primeiro Lugar no Vestibular, Instituto de Matemática - UFRJ.

Histórico profissional

Endereço profissional

Universidade Federal do Rio de Janeiro, Núcleo de Computação Eletrônica. , Av Athos da Silveira Ramos, 274, CCMN - Centro de Ciências Matemáticas e Natureza, Cidade Universitária, 21941916 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 2324, Telefone: (21) 25983156

Experiência profissional

2014 - Atual

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professora Adjunta, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2009

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Pós-doutora Sênior, Carga horária: 40

2007 - 2008

Universidade Federal do Rio de Janeiro

Vínculo: Outro, Enquadramento Funcional: Professora Substituta, Carga horária: 20

Outras informações:
No Departamento de Engenharia Eletrônica e de Computação/ EP/ UFRJ, ministrou as disciplinas em nível de graduação: EEL670 Linguagem de Programação _ C++ turma ECI/ECA (6 créditos) 2007/2; EEL670 Linguagem de Programação _ C++ turma EL1 (6 créditos) 2008/1; EEL670 Linguagem de Programação _ C++ (6 créditos) turmas ECI/ECA e EL1 2008/2); COS591_ Inrodução à Pesquisa Científica (2 créditos) 2008/1 ; COS470 Sistemas Distribuídos (5 créditos) 2007/1 em conjunto com o Professor Felipe M. G. França.

2006 - 2007

Universidade Federal do Rio de Janeiro

Vínculo: Pesquisadora visitante, Enquadramento Funcional: Outro

2005 - 2006

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista recém-doutor PRODOC, Enquadramento Funcional: Outro (bolsista Capes-PRODOC), Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
No Programa de Pós-graduação em Informática NCE-IM/UFRJ. Ministrando disciplinas em colaboração com outros professores do Programa de Informática. Co-orientando teses de Mestrado e participando de pesquisas e da redação de projetos de pesquisa.

2003 - 2005

Universidade Federal do Rio de Janeiro

Vínculo: Professora Colaboradora, Enquadramento Funcional: Outro, Carga horária: 30

Outras informações:
No Programa de Pós-graduação em Informática NCE-IM/UFRJ. Ministrando as disciplinas de Lógica na Representação do Conhecimento, Lógica na Formalização de Especificações I e Lógica na Formalização de Especificações II, em colaboração com outros professores do Programa de Informática. Co-orientando teses de Mestrado e participando de pesquisas e da redação de projetos de pesquisa.

1997 - 1998

Universidade Federal do Rio de Janeiro

Vínculo: Pesquisadora, Enquadramento Funcional: Outro, Carga horária: 40

Outras informações:
No Programa de Pós-graduação em Engenharia de Sistemas e Computação/COPPE/UFRJ. Participação no projeto ICOM, PROTEM-III/CC (CNPq).

1996 - 1996

Universidade Federal do Rio de Janeiro

Vínculo: Pesquisadora, Enquadramento Funcional: Outro, Carga horária: 40

Outras informações:
No Programa de Pós-graduação em Engenharia de Sistemas e Computação/COPPE/UFRJ. Participação da fase inicial do projeto NEUROCON, PROTEM-II/CC (CNPq).

1995 - 1995

Universidade Federal do Rio de Janeiro

Vínculo: Professora Substituta, Enquadramento Funcional: Professora Substituta, Carga horária: 40

Outras informações:
No Departamento de Ciência da Computação/ IM/ UFRJ. Ministrou as disciplinas de Matemática Combinatória (1995/2) e Compiladores I (1995/2) em nível de graduação.

1994 - 1994

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista DTI (CNPq), Enquadramento Funcional: Outro, Carga horária: 40

Outras informações:
Participação no projeto PROTEM-ICC (Rio) de Representação e Aquisição de Conhecimento.

1987 - 1987

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista de Projeto, Enquadramento Funcional: Outro, Carga horária: 40

Outras informações:
No Programa de Pós-graduação em Engenharia de Sistemas e Computação/COPPE/UFRJ. Assistente de pesquisa em projeto de Compilador PROLOG

1982 - 1983

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista de Projeto, Enquadramento Funcional: Outro, Carga horária: 20

Outras informações:
No Núcleo de Computação Eletrônica/UFRJ. Implementação de parte do protocolo de comunicação compatível com a recomendação X.25 da CITT.

1979 - 1979

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista de Iniciação Científi, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20

Outras informações:
No Instituto de Matemática/ UFRJ. Estudos de Cálculo Diferencial e Integral.

Atividades

08/2007
Ensino, Engenharia de Computação e Infomação, Nível: GraduaçãoDisciplinas ministradas, COS470 Sistemas Distribuídos (5 créditos) 2007/1, EEL670 Linguagem de Programação _ C++ (6 créditos) 2007/2
12/2006
Pesquisa e desenvolvimento, Programa de Engenharia de Sistemas e Computação.Linhas de pesquisa
08/2003 - 03/2007
Pesquisa e desenvolvimento, Núcleo de Computação Eletrônica.Linhas de pesquisa
08/2003 - 12/2006
Ensino, Programa de Pós Graduação Em Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Lógica na Formalização de especificações I, Lógica na Formalização de Especificações II, Lógica na Representação do Conhecimento
08/2004 - 11/2006
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Matemática.Cargo ou função, Membro da Comissão de Ensino do Programa de Pós-Graduação em Informática.
08/1995 - 12/1995
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Combinatória _ 1995/2, Compiladores I _ 1995/2
05/1994 - 12/1994
Pesquisa e desenvolvimento, Coppe, Programa de Engenharia de Sistemas e Computação Pesc.Linhas de pesquisa
06/1987 - 08/1987
Pesquisa e desenvolvimento, Coppe, Programa de Engenharia de Sistemas e Computação Pesc.Linhas de pesquisa
03/1979 - 12/1979
Pesquisa e desenvolvimento, Centro de Ciências Matemáticas e da Natureza, Instituto de Matemática.Linhas de pesquisa

2010 - 2014

Universidade Federal Rural do Rio de Janeiro

Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Coordenadora do Programa de Pós-graduação em Modelagem Matemática e Computacional (PPGMMC) desde Março de 2012.

2001 - 2002

Universidade Federal Fluminense

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Outro, Carga horária: 40

Atividades

01/2002 - 08/2002
Ensino, Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Inteligência Artificial (tópicos avançados)
02/2001 - 08/2002
Ensino, Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos em Grafos _ 2001/1 e 2001/2, Inteligência Artificial _ 2002/1
01/2001 - 06/2002
Pesquisa e desenvolvimento, Instituto de Computação.Linhas de pesquisa

2002 - 2003

Centro Universitário La Salle - Niterói

Vínculo: Celetista, Enquadramento Funcional: Coordenadora de Curso e Professora do Ensino, Carga horária: 20

1983 - 1985

Cobra Tecnologia - Matriz

Vínculo: , Enquadramento Funcional: Projetista de Software, Carga horária: 40

Outras informações:
Desenvolvimento e manutenção das bibliotecas de rotinas de entrada e saída de sistemas operacionais desenvolvidos na empresa.

Atividades

10/1983 - 05/1985
Pesquisa e desenvolvimento, Divisão de Desenvolvimento de Software.Linhas de pesquisa

1980 - 1982

Datamec S/A - Sistemas e Proc. de Dados

Vínculo: , Enquadramento Funcional: Programadora Estagiária, Carga horária: 20

Outras informações:
Programação COBOL

1996 - 2003

Instituto de Lógica Filosofia e Teoria da Ciência

Vínculo: Pesquisadora, Enquadramento Funcional: Pesquisadora, Carga horária: 20

Outras informações:
Participação e apresentação de seminários.

Atividades

08/1996 - 07/2003
Outras atividades técnico-científicas .Atividade realizada, Participação em palestras, debates e estudos..

1999 - 2000

Universidade Estácio de Sá

Vínculo: Celetista, Enquadramento Funcional: Professora Horista

Atividades

02/1999 - 07/2000
Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Inteligência Artificial _ 1999/2 e 2000/1, Lógica Matemática _ 2000/1

2020 - Atual

Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ

Vínculo: Bolsista, Enquadramento Funcional: Coordenadora de Disciplina

2011 - 2013

Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ

Vínculo: Bolsista, Enquadramento Funcional: Coordenadora de Tutoria