On the Distributed Parallel Simulation of Hopfield's Neural Networks. - Valmir Carneiro Barbosa; Priscila Machado Vieira Lima (Softw. Pract. Exp., 1990)

Resolution-Based Inference with Artificial Neural Networks. - Priscila Machado Vieira Lima (ICLP Workshop: Logic and Reasoning with Neural Networks, 1994)

A Neural Propositional Reasoner that is Goal-Driven and Works without Pre-Compiled Knowledge. - Priscila Machado Vieira Lima (SBRN, 2000)

Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover. - Iara Moema Oberg Vilela; Priscila Machado Vieira Lima (IWANN (1), 2001)

A Goal-Driven Neural Propositional Interpreter. - Priscila Machado Vieira Lima (Int. J. Neural Syst., 2001)

Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio. - Felipe G. Dias; Gisele P. Morgado; Alissandra E. Martins; Célia M. Seabra; Denis Silva da Silveira; Antonio J. Alencar; Priscila M. V. Lima; Eber A. Schmitz (SBSI, 2004)

Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. - Priscila Machado Vieira Lima; Glaucia C. Pereira; M. Mariela Morveli-Espinoza; Felipe M. G. França (BVAI, 2005)

SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Glaucia C. Pereira; Felipe Maia Galvão França (HIS, 2005)

RAPDIS: Um Processo MDA para Desenvolvimento de Sistemas de Informação. - Gisele P. Morgado; Denis Silva da Silveira; Antonio J. Alencar; Priscila Lima 001; Eber A. Schmitz (SBSI, 2006)

Uma Abordagem para a Transformação Automática do Modelo de Negócio em Modelo de Requisitos. - Felipe G. Dias; Gisele P. Morgado; Pedro Oscar; Denis Silva da Silveira; Antonio Juarez Alencar; Priscila Lima 001; Eber A. Schmitz (WER, 2006)

Logic as Energy: A SAT-Based Approach. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Felipe M. G. França (BVAI, 2007)

The Influence of Order on a Large Bag of Words. - Charles B. do Prado; Felipe M. G. França; Ramon Diacovo; Priscila Machado Vieira Lima (ISDA (1), 2008)

Hardware Supported Synchronization Primitives for Clusters. - Alberto Ferreira de Souza; Sotério Ferreira de Souza; Claudio Luis de Amorim; Priscila M. V. Lima; Peter Rounce (PDPTA, 2008)

Logical Reasoning via Satisfiability Mapped into Energy Functions. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Glaucia C. Pereira; Talita O. Ferreira; Felipe Maia Galvão França (Int. J. Pattern Recognit. Artif. Intell., 2008)

A brief introduction to Weightless Neural Systems. - Igor Aleksander; Massimo De Gregorio; Felipe Maia Galvão França; Priscila Machado Vieira Lima; Helen Morton (ESANN, 2009)

Extracting fuzzy rules from "mental" images generated by a modified WISARD perceptron. - Bruno P. A. Grieco; Priscila Machado Vieira Lima; Massimo De Gregorio; Felipe Maia Galvão França (ESANN, 2009)

WANN-Tagger - A Weightless Artificial Neural Network Tagger for the Portuguese Language. - Hugo C. C. Carneiro; Felipe M. G. França; Priscila M. V. Lima (IJCCI (ICFC-ICNC), 2010)

A Distributed Dynamics for WebGraph Decontamination. - Vanessa C. F. Gonçalves; Priscila M. V. Lima; Nelson Maculan; Felipe M. G. França (ISoLA (1), 2010)

Producing pattern examples from "mental" images. - Bruno P. A. Grieco; Priscila M. V. Lima; Massimo De Gregorio; Felipe M. G. França (Neurocomputing, 2010)

Clustering data streams with weightless neural networks. - Douglas de O. Cardoso; Priscila M. V. Lima; Massimo De Gregorio; João Gama 001; Felipe M. G. França (ESANN, 2011)

Compact Crossbar Variable Binding for Neuro-Symbolic Computation. - Gadi Pinkas; Priscila M. V. Lima; Shimon Cohen (NeSy, 2011)

Recognition of HIV-1 subtypes and antiretroviral drug resistance using weightless neural networks. - Caio Souza; Flavio Nobre; Priscila M. V. Lima; Robson Silva; Rodrigo Brindeiro; Felipe M. G. França (ESANN, 2012)

A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge. - Gadi Pinkas; Priscila M. V. Lima; Shimon Cohen (ICANN (1), 2012)

The Effect of Intelligent Escape on Distributed SER-Based Search. - Daniel S. F. Alves; Felipe M. G. França; Luiza de Macedo Mourelle; Nadia Nedjah; Priscila M. V. Lima (ICCSA (1), 2012)

A Weightless Neural Network-Based Approach for Stream Data Clustering. - Douglas de O. Cardoso; Massimo De Gregorio; Priscila Machado Vieira Lima; João Gama 001; Felipe Maia Galvão França (IDEAL, 2012)

WIPS: the WiSARD Indoor Positioning System. - Douglas de O. Cardoso; João Gama 001; Massimo De Gregorio; Felipe M. G. França; Maurizio Giordano; Priscila M. V. Lima (ESANN, 2013)

B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier. - Danilo S. Carvalho; Hugo C. C. Carneiro; Felipe M. G. França; Priscila M. V. Lima (ESANN, 2013)

Extracting Semantic Information from Patent Claims Using Phrasal Structure Annotations. - Danilo Silva de Carvalho; Felipe Maia Galvão França; Priscila Machado Vieira Lima (BRACIS, 2014)

Spatio-temporal Pattern Classification with KernelCanvas and WiSARD. - Diego Fonseca Pereira de Souza; Felipe Maia Galvão França; Priscila Machado Vieira Lima (BRACIS, 2014)

Credit analysis with a clustering RAM-based neural classifier. - Douglas de O. Cardoso; Danilo S. Carvalho; Daniel S. F. Alves; Diego Fonseca Pereira de Souza; Hugo C. C. Carneiro; Carlos Eduardo Pedreira; Priscila M. V. Lima; Felipe M. G. França (ESANN, 2014)

Online tracking of multiple objects using WiSARD. - Rafael Lima de Carvalho; Danilo S. Carvalho; Priscila M. V. Lima; Félix Mora-Camino; Felipe M. G. França (ESANN, 2014)

Advances on Weightless Neural Systems. - Massimo De Gregorio; Felipe M. G. França; Priscila M. V. Lima; Wilson Rosa de Oliveira (ESANN, 2014)

A legged central pattern generation model for autonomous gait transition. - Zhijun Yang; Marlon Rocha; Priscila M. V. Lima; Mehmet Karamanoglu; Felipe Maia Galvão França (IJCNN, 2014)

A Method for Verifying the Consistency of Business Rules Using Alloy. - Denilson Guimaraes; Eber A. Schmitz; Antonio Juarez Alencar; Priscila Lima 001; Alexandre L. Correa (SEKE, 2014)

A hyperbolic smoothing approach to the Multisource Weber problem. - Vinicius Layter Xavier; Felipe M. G. França; Adilson Elias Xavier; Priscila M. V. Lima (J. Glob. Optim., 2014)

Real-Time Music Tracking Based on a Weightless Neural Network. - Diego Fonseca Pereira de Souza; Felipe Maia Galvão França; Priscila M. V. Lima (CISIS, 2015)

A WiSARD-based multi-term memory framework for online tracking of objects. - Daniel Nascimento; Rafael Lima de Carvalho; Félix Mora-Camino; Priscila M. V. Lima; Felipe M. G. França (ESANN, 2015)

Multilingual part-of-speech tagging with weightless neural networks. - Hugo C. C. Carneiro; Felipe M. G. França; Priscila M. V. Lima (Neural Networks, 2015)

Evaluating Binary Encoding Techniques for WiSARD. - Andressa Kappaun; Karine Camargo; Fábio Medeiros Rangel; Fabrício Firmino de Faria; Priscila Machado Vieira Lima; Jonice Oliveira (BRACIS, 2016)

Semi-Supervised Classification of Social Textual Data Using WiSARD. - Fábio Medeiros Rangel; Fabrício Firmino de Faria; Priscila M. V. Lima; Jonice Oliveira (ESANN, 2016)

Financial credit analysis via a clustering weightless neural classifier. - Douglas de O. Cardoso; Danilo S. Carvalho; Daniel S. F. Alves; Diego Fonseca Pereira de Souza; Hugo C. C. Carneiro; Carlos Eduardo Pedreira; Priscila M. V. Lima; Felipe M. G. França (Neurocomputing, 2016)

Automatic crime report classi cation through a weightless neural network. - Rafael Adnet Pinho; Walkir Brito; Cláudia Lage Rebello da Motta; Priscila Lima 001 (ESANN, 2017)

Ontology Alignment with Weightless Neural Networks. - Thais Viana; Carla Delgado 001; João C. P. da Silva; Priscila Lima 001 (ICANN (2), 2017)

Evaluating weightless neural networks for bias identification on news. - Rafael Dutra Cavalcanti; Priscila M. V. Lima; Massimo De Gregorio; Daniel Sadoc Menasché (ICNSC, 2017)

Q-SATyrus: Mapping Neuro-symbolic Reasoning into an Adiabatic Quantum Computer. - Priscila M. V. Lima (NeSy, 2017)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; Howard Bowman; Pedro M. Domingos; Pascal Hitzler; Kai-Uwe Kühnberger; Luís C. Lamb; Daniel Lowd; Priscila Machado Vieira Lima; Leo de Penning; Gadi Pinkas; et al. (CoRR, 2017)

Prescription of rhythmic patterns for legged locomotion. - Zhijun Yang; Daqiang Zhang 001; Marlon Rocha; Priscila M. V. Lima; Mehmet Karamanoglu; Felipe M. G. França (Neural Comput. Appl., 2017)

A universal multilingual weightless neural network tagger via quantitative linguistics. - Hugo C. C. Carneiro; Carlos Eduardo Pedreira; Felipe M. G. França; Priscila M. V. Lima (Neural Networks, 2017)

Near-optimal facial emotion classification using a WiSARD-based weightless system. - Leopoldo Lusquino Filho; Felipe M. G. França; Priscila M. V. Lima (ESANN, 2018)

Weightless Neural Network for High Frequency Trading. - Samara A. Alves; Wouter Caarls; Priscila M. V. Lima (IJCNN, 2018)

Playing with Robots Using Your Brain. - Rubens Lacerda Queiroz; Igor Bichara de Azeredo Coutinho; Geraldo Bonorino Xexéo; Priscila Machado Vieira Lima; Fábio Ferrentini Sampaio (SBGames, 2018)

Memory Efficient Weightless Neural Network using Bloom Filter. - Leandro Santiago de Araújo; Letícia Dias Verona; Fábio Medeiros Rangel; Fabrício Firmino de Faria; Daniel Sadoc Menasché; Wouter Caarls; Maurício Breternitz; Sandip Kundu; Priscila Machado Vieira Lima; Felipe Maia Galvão França (ESANN, 2019)

Prediction of palm oil production with an enhanced n-Tuple Regression Network. - Leopoldo Lusquino Filho; Luiz F. R. Oliveira; Aluizio S. Lima Filho; Gabriel P. Guarisa; Priscila Machado Vieira Lima; Felipe Maia Galvão França (ESANN, 2019)

Modeling Sparse Data as Input for Weightless Neural Network. - Luis Filipe Kopp; José Barbosa-Filho; Priscila Machado Vieira Lima; Claudio M. de Farias (ESANN, 2019)

Sensor Data Prediction techniques for nodes in IoT (poster). - Luis Filipe Kopp; Gabriel Martins de Oliveira Costa; Claudio M. de Farias; Priscila M. V. Lima; Luiz F. R. C. Carmo (FUSION, 2019)

Action Units Classification Using ClusWiSARD. - Leopoldo Lusquino Filho; Gabriel Antoine Louis Paillard; Luiz F. R. Oliveira; Aluizio Lima Filho; Felipe M. G. França; Priscila M. V. Lima (ICANN (3), 2019)

The Exact VC Dimension of the WiSARD n-Tuple Classifier. - Hugo C. C. Carneiro; Carlos Eduardo Pedreira; Felipe M. G. França; Priscila M. V. Lima (Neural Comput., 2019)

Fast Deep Neural Networks Convergence using a Weightless Neural Model. - Alan T. L. Bacellar; Brunno F. Goldstein; Victor da Cruz Ferreira; Leandro Santiago 001; Priscila M. V. Lima; Felipe M. G. França (ESANN, 2020)

Interpretation of Model Agnostic Classifiers via Local Mental Images. - Aluizio Lima Filho; Gabriel P. Guarisa; Leopoldo Lusquino Filho; Luiz F. R. Oliveira; Carlos Alberto Nunes Cosenza; Felipe M. G. França; Priscila M. V. Lima (ESANN, 2020)

Detection of elementary particles with the WiSARD n-tuple classifier. - Pedro Xavier; Massimo De Gregorio; Felipe M. G. França; Priscila M. V. Lima (ESANN, 2020)

A weightless regression system for predicting multi-modal empathy. - Leopoldo A. D. Lusquino Filho; Luiz F. R. Oliveira; Hugo C. C. Carneiro; Gabriel P. Guarisa; Aluizio Lima Filho; Felipe M. G. França; Priscila M. V. Lima (FG, 2020)

Weightless Neural Networks Applied to Nonintrusive Load Monitoring. - Guilherme C. De Lello; Juliano F. Caldeira; Mauricio Aredes; Felipe M. G. França; Priscila M. V. Lima (IPDPS Workshops, 2020)

Regression WiSARD application of controller on DC STATCOM converter under fault conditions. - Raphael N. C. B. Rocha; Leopoldo Lusquino Filho; Mauricio Aredes; Felipe M. G. França; Priscila M. V. Lima (IPDPS Workshops, 2020)

Using NER + ML to Automatically Detect Fake News. - Marcos A. Spalenza; Elias de Oliveira; Leopoldo Lusquino Filho; Priscila M. V. Lima; Felipe M. G. França (ISDA, 2020)

wisardpkg - A library for WiSARD-based models. - Aluizio S. Lima Filho; Gabriel P. Guarisa; Leopoldo Lusquino Filho; Luiz F. R. Oliveira; Felipe M. G. França; Priscila M. V. Lima (CoRR, 2020)

AI from concrete to abstract: demystifying artificial intelligence to the general public. - Rubens Lacerda Queiroz; Fábio Ferrentini Sampaio; Cabral Lima; Priscila Machado Vieira Lima (CoRR, 2020)

Extending the weightless WiSARD classifier for regression. - Leopoldo Lusquino Filho; Luiz F. R. Oliveira; Aluizio Lima Filho; Gabriel P. Guarisa; Lucca M. Felix; Priscila M. V. Lima; Felipe M. G. França (Neurocomputing, 2020)

Weightless Neural Networks as Memory Segmented Bloom Filters. - Leandro Santiago 001; Letícia Dias Verona; Fábio Medeiros Rangel; Fabrício Firmino de Faria; Daniel S. Menasché; Wouter Caarls; Maurício Breternitz Jr.; Sandip Kundu; Priscila M. V. Lima; Felipe M. G. França (Neurocomputing, 2020)

Mapping graph coloring to quantum annealing. - Carla Silva 002; Ana Aguiar; Priscila M. V. Lima; Inês Dutra (Quantum Mach. Intell., 2020)

Cost-effective, Energy-efficient, and Scalable Storage Computing for Large-scale AI Applications. - Jae Young Do; Victor da Cruz Ferreira; Hossein Bobarshad; Mahdi Torabzadehkashi; Siavash Rezaei; Ali Heydarigorji; Diego Fonseca Pereira de Souza; Brunno F. Goldstein; Leandro Santiago 001; Min Soo Kim 009; Priscila M. V. Lima; Felipe M. G. França; et al. (ACM Trans. Storage, 2020)

A bag of nodes primer on weightless graph classification. - Raul Barbosa; Diego Carvalho 001; Priscila Lima 001; Felipe M. G. França (ESANN, 2021)

Functional Gradient Descent for n-Tuple Regression. - Rafael Fontella Katopodis; Priscila Lima 001; Felipe M. G. França (ESANN, 2021)

LCAD - UFES at FakeDeS 2021: Fake News Detection Using Named Entity Recognition and Part-of-Speech Sequences. - Marcos A. Spalenza; Leopoldo Lusquino Filho; Felipe M. G. França; Priscila M. V. Lima; Elias de Oliveira (IberLEF@SEPLN, 2021)

AI from Concrete to Abstract. - Rubens Lacerda Queiroz; Fábio Ferrentini Sampaio; Cabral Lima; Priscila Machado Vieira Lima (AI Soc., 2021)

Mapping a logical representation of TSP to quantum annealing. - Carla Silva 002; Ana Aguiar; Priscila M. V. Lima; Inês Dutra (Quantum Inf. Process., 2021)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; Howard Bowman; Pedro M. Domingos; Pascal Hitzler; Kai-Uwe Kühnberger; Luís C. Lamb; Priscila Machado Vieira Lima; Leo de Penning; Gadi Pinkas; Hoifung Poon; et al. (Neuro-Symbolic Artificial Intelligence, 2021)

Weightless Neural Networks for Efficient Edge Inference. - Zachary Susskind; Aman Arora 001; Igor D. S. Miranda; Luis Armando Quintanilla Villon; Rafael Fontella Katopodis; Leandro Santiago de Araújo; Diego Leonel Cadette Dutra; Priscila M. V. Lima; Felipe M. G. França; Maurício Breternitz; Lizy K. John (PACT, 2022)

LogicWiSARD: Memoryless Synthesis of Weightless Neural Networks. - Igor D. S. Miranda; Aman Arora 001; Zachary Susskind; Luis Armando Quintanilla Villon; Rafael Fontella Katopodis; Diego Leonel Cadette Dutra; Leandro Santiago de Araújo; Priscila M. V. Lima; Felipe M. G. França; Lizy K. John; Maurício Breternitz (ASAP, 2022)

Distributive Thermometer: A New Unary Encoding for Weightless Neural Networks. - Alan T. L. Bacellar; Zachary Susskind; Luis A. Q. Villon; Igor D. S. Miranda; Leandro Santiago de Araújo; Diego Leonel Cadette Dutra; Maurício Breternitz Jr.; Lizy K. John; Priscila M. V. Lima; Felipe M. G. França (ESANN, 2022)

Pruning Weightless Neural Networks. - Zachary Susskind; Alan T. L. Bacellar; Aman Arora 001; Luis A. Q. Villon; Renan Mendanha; Leandro Santiago de Araújo; Diego Leonel Cadette Dutra; Priscila M. V. Lima; Felipe M. G. França; Igor D. S. Miranda; Maurício Breternitz Jr.; Lizy K. John (ESANN, 2022)

A WiSARD-based conditional branch predictor. - Luis A. Q. Villon; Zachary Susskind; Alan T. L. Bacellar; Igor D. S. Miranda; Leandro Santiago de Araújo; Priscila M. V. Lima; Maurício Breternitz Jr.; Lizy K. John; Felipe M. G. França; Diego Leonel Cadette Dutra (ESANN, 2022)

Functional gradient descent for n-tuple regression. - Rafael Fontella Katopodis; Priscila M. V. Lima; Felipe M. G. França (Neurocomputing, 2022)

COIN: Combinational Intelligent Networks. - Igor D. S. Miranda; Aman Arora 001; Zachary Susskind; Josias S. A. Souza; Mugdha P. Jadhao; Luis A. Q. Villon; Diego L. C. Dutra; Priscila M. V. Lima; Felipe M. G. França; Maurício Breternitz; Lizy K. John (ASAP, 2023)

WiSARD-based Ensemble Learning. - Leopoldo Lusquino Filho; Felipe M. G. França; Priscila Lima 001 (ESANN, 2023)

Sun Tracking using a Weightless Q-Learning Neural Network. - Guilherme Souza; Priscila Lima 001; Felipe M. G. França (ESANN, 2023)

An FPGA-Based Weightless Neural Network for Edge Network Intrusion Detection. - Zachary Susskind; Aman Arora 001; Alan T. L. Bacellar; Diego Leonel Cadette Dutra; Igor D. S. Miranda; Maurício Breternitz; Priscila M. V. Lima; Felipe M. G. França; Lizy K. John (FPGA, 2023)

Dendrite-inspired Computing to Improve Resilience of Neural Networks to Faults in Emerging Memory Technologies. - Lizy K. John; Felipe M. G. França; Subhasish Mitra; Zachary Susskind; Priscila M. V. Lima; Igor D. S. Miranda; Eugene B. John; Diego L. C. Dutra; Maurício Breternitz (ICRC, 2023)

A conditional branch predictor based on weightless neural networks. - Luis A. Q. Villon; Zachary Susskind; Alan T. L. Bacellar; Igor D. S. Miranda; Leandro Santiago de Araújo; Priscila M. V. Lima; Maurício Breternitz; Lizy K. John; Felipe M. G. França; Diego Leonel Cadette Dutra (Neurocomputing, 2023)

ULEEN: A Novel Architecture for Ultra-low-energy Edge Neural Networks. - Zachary Susskind; Aman Arora 001; Igor D. S. Miranda; Alan T. L. Bacellar; Luis A. Q. Villon; Rafael Fontella Katopodis; Leandro Santiago de Araújo; Diego L. C. Dutra; Priscila M. V. Lima; Felipe M. G. França; Maurício Breternitz; Lizy K. John (ACM Trans. Archit. Code Optim., 2023)

Differentiable Weightless Neural Networks. - Alan Tendler Leibel Bacellar; Zachary Susskind; Maurício Breternitz Jr.; Eugene John; Lizy Kurian John; Priscila Machado Vieira Lima; Felipe M. G. França (ICML, 2024)

Soon Filter: Advancing Tiny Neural Architectures for High Throughput Edge Inference. - Alan T. L. Bacellar; Zachary Susskind; Maurício Breternitz; Lizy K. John; Felipe M. G. França; Priscila M. V. Lima (IJCNN, 2024)

LogicNets vs. ULEEN : Comparing two novel high throughput edge ML inference techniques on FPGA. - Shashank Nag; Zachary Susskind; Aman Arora 001; Alan T. L. Bacellar; Diego L. C. Dutra; Igor D. S. Miranda; Krishnan Kailas; Eugene B. John; Maurício Breternitz; Priscila M. V. Lima; Felipe M. G. França; Lizy K. John (MWSCAS, 2024)

How do machines learn? Evaluating the AIcon2abs method. - Rubens Lacerda Queiroz; Cabral Lima; Fábio Ferrentini Sampaio; Priscila Machado Vieira Lima (CoRR, 2024)

Shrinking the Giant : Quasi-Weightless Transformers for Low Energy Inference. - Shashank Nag; Alan T. L. Bacellar; Zachary Susskind; Anshul Jha; Logan Liberty; Aishwarya Sivakumar; Eugene B. John; Krishnan Kailas; Priscila M. V. Lima; Neeraja J. Yadwadkar; Felipe M. G. França; Lizy K. John (CoRR, 2024)

Emissions Reporting Maturity Model: supporting cities to leverage emissions-related processes through performance indicators and artificial intelligence. - Victor de A. Xavier; Felipe M. G. França; Priscila M. V. Lima (RAIRO Oper. Res., 2024)

Updating KernelCanvas for weightless graph classification. - Raul Bezerra Barbosa; Diego Leonel Cadette Dutra; Priscila Machado Vieira Lima; Diego Carvalho 001; Felipe Maia Galvão França (Neurocomputing, 2025)

nanoML for Human Activity Recognition. - Alan T. L. Bacellar; Mugdha P. Jadhao; Shashank Nag; Priscila M. V. Lima; Felipe M. G. França; Lizy K. John (CoRR, 2025)