Priscila Machado Vieira Lima
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Ciências Matemáticas e da Natureza
Unidade:
Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
Departamento:
Área de Apoio Acadêmico/NCE
e-mail:
priscila.lima@nce.ufrj.br
Linkedin:
Google Scholar:
ORCID:
https://orcid.org/0000-0002-8515-9904
Formação:
-
Universidade Federal do Rio de Janeiro
| Pós-Doutorado | 2008 - Agora
-
Universidade Federal do Rio de Janeiro
| Pós-Doutorado | 2005 - 2006
-
Universidade Federal Fluminense
| Pós-Doutorado | 2001 - 2002
-
Imperial College London
Department of Computing | Doutorado | 1989 - 2000
-
Universidade Federal do Rio de Janeiro
Engenharia de Sistemas e Computação | Mestrado | 1982 - 1987
-
Universidade Federal do Rio de Janeiro
Informática | Graduação | 1978 - 1981
Laboratórios:
- LabZero
Nuvens de Palavras:
Artigos:
(87.50% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Emissions Reporting Maturity Model: supporting cities to leverage emissions-related processes through performance indicators and artificial intelligence | 10.1051/ro/2024016 | 2024 |
| A conditional branch predictor based on weightless neural networks | 10.1016/j.neucom.2023.126637 | 2023 |
| ULEEN: A Novel Architecture for Ultra Low-Energy Edge Neural Networks | 10.1145/3629522 | 2023 |
| Functional gradient descent for n-tuple regression | 10.1016/j.neucom.2022.05.114 | 2022 |
| AI from Concrete to Abstract | 10.1007/s00146-021-01151-x | 2021 |
| Mapping a logical representation of TSP to quantum annealing | 10.1007/s11128-021-03321-8 | 2021 |
| Extending the Weightless WiSARD Classifier for Regression | 10.1016/j.neucom.2019.12.134 | 2020 |
| Weightless Neural Networks as Memory Segmented Bloom Filters | 10.1016/j.neucom.2020.01.115 | 2020 |
| Mapping graph coloring to quantum annealing | 10.1007/s42484-020-00028-4 | 2020 |
| Cost-effective, Energy-efficient, and Scalable Storage Computing for Large-scale AI Applications | 10.1145/3415580 | 2020 |
| Wrist Movement Detector for ROS Based Control of the Robotic Hand | 10.4172/2168-9695.1000182 | 2018 |
| The Exact VC Dimension of the WiSARD -Tuple Classifier | 10.1162/neco_a_01149 | 2018 |
| A universal multilingual weightless neural network tagger via quantitative linguistics | 10.1016/j.neunet.2017.04.011 | 2017 |
| Financial credit analysis via a clustering weightless neural classifier | 10.1016/j.neucom.2015.06.105 | 2016 |
| Prescription of rhythmic patterns for legged locomotion | 10.1007/s00521-016-2237-4 | 2016 |
| Multilingual part-of-speech tagging with weightless neural networks | 10.1016/j.neunet.2015.02.012 | 2015 |
| A hyperbolic smoothing approach to the Multisource Weber problem | 10.1007/s10898-014-0160-8 | 2014 |
| Avaliação Exploratória de Conceito do Sistema NÉBULA em Jogos Psicopedagógicos | 2014 | |
| Representing, binding, retrieving and unifying relational knowledge using pools of neural binders | 10.1016/j.bica.2013.07.005 | 2013 |
| Producing pattern examples from ¿mental¿ images | 10.1016/j.neucom.2009.11.015 | 2010 |
| A Distributed Dynamics for WebGraph Decontamination | 10.1007/978-3-642-16558-0_39 | 2010 |
| Logical Reasoning via Satisfiability Mapped into Energy Functions | 10.1142/S0218001408006673 | 2008 |
| Práticas do CMMI® como Regras de Negócio | 10.1590/S0103-65132007000200013 | 2007 |
| Logic as Energy: a SAT-based Approach | 10.1007/978-3-540-75555-5_44 | 2007 |
| Uma Abordagem para a Transformação Automática do Modelo de Negócio em Modelo de Requisitos | 2006 | |
| Optimized RFV Analysis | 10.1108/02634500610653973 | 2006 |
| Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints | 10.1007/11565123_30 | 2005 |
| ABO blood groups and multiple sclerosis: a comparison between Cubans and Brazilians | 2002 | |
| Multiple Sclerosis: influence of ABO blood groups in the disability over time | 2002 | |
| Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover | 10.1007/3-540-45720-8_99 | 2001 |
| A Goal-Driven Neural Propositional Interpreter | 10.1142/S012906570100076X | 2001 |
| On the distributed parallel simulation of Hopfield's neural networks | 10.1002/spe.4380201002 | 1990 |
Eventos:
(25.00% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Sun Tracking using a Weightless Q-Learning Neural Network | 10.14428/esann/2023.es2023-100 | 2023 |
| WiSARD-based Ensemble Learning | 10.14428/esann/2023.es2023-76 | 2023 |
| Weightless Neural Networks for Efficient Edge Inference | 10.1145/3559009.3569680 | 2022 |
| A WiSARD-based conditional branch predictor | 10.14428/esann/2022.es2022-65 | 2022 |
| Distributive Thermometer: A New Unary Encoding for Weightless Neural Networks | 10.14428/esann/2022.es2022-94 | 2022 |
| Pruning Weightless Neural Networks | 10.14428/esann/2022.es2022-55 | 2022 |
| Functional Gradient Descent for n-Tuple Regression | 10.14428/esann/2021.ES2021-35 | 2021 |
| A bag of nodes primer on weightless graph classification | 10.14428/esann/2021.ES2021-107 | 2021 |
| AIISR - AI INSPIRED STOPPING RULE FOR GRASP METAHEURISTIC | 2021 | |
| A Weightless Regression System for Predicting Multi-Modal Empathy. | 10.1109/FG47880.2020.00086 | 2020 |
| Regression WiSARD application of controller on DC STATCOM converter under fault conditions | 10.1109/ipdpsw50202.2020.00145 | 2020 |
| Weightless Neural Networks Applied to Nonintrusive Load Monitoring | 10.1109/ipdpsw50202.2020.00143 | 2020 |
| Interpretation of Model Agnostic Classifiers via Local Mental Images | 2020 | |
| Detection of elementary particles with the WiSARD n-tuple classifier | 2020 | |
| Fast Deep Neural Networks Convergence using a Weightless Neural Model | 2020 | |
| Detecção estática e dinâmica de malwares usando redes neurais sem peso | 2020 | |
| Prediction of palm oil production with an enhanced n-Tuple Regression Network | 2019 | |
| Memory Efficient Weightless Neural Network using Bloom Filter | 2019 | |
| Modeling Sparse Data as Input for Weightless Neural Network | 2019 | |
| Weightless Neural Network for High Frequency Trading | 10.1109/ijcnn.2018.8489445 | 2018 |
| Near-optimal facial emotion classification using a wisard-based weightless system | 2018 | |
| Playing with Robots Using Your Brain | 10.1109/SBGAMES.2018.00031 | 2018 |
| LabVad-Maquete controlada por Arduino para robótica educacional | 2018 | |
| Projeto Frankie: uma proposta para o ensino de Inteligência Artificial na Educação Básica | 2018 | |
| Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade | 2018 | |
| Automatic crime report classication through a weightless neural network | 2017 | |
| Evaluating weightless neural networks for bias identification on news | 10.1109/ICNSC.2017.8000101 | 2017 |
| Q-SATyrus: Mapping Neuro-symbolic Reasoning into an Adiabatic Quantum Computer | 2017 | |
| Dicta: Biblioteca para reconhecimento de elocuções baseada em uma rede neural sem peso | 2017 | |
| Geração de Casos de Teste Independentes de Plataforma Utilizando Diagramas de Classes da UML Anotados com Restrições OCL | 2017 | |
| Computational Support for Updating Systematic Literature Reviews | 2017 | |
| 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 | 2017 | |
| Semi-Supervised Classification of Social Textual Data Using WiSARD | 2016 | |
| Evaluating Binary Encoding Techniques for WiSARD | 10.1109/bracis.2016.029 | 2016 |
| A WiSARD-based multi-term memory framework for online tracking of objects | 2015 | |
| Análise de Séries Temporais Financeiras Utilizando Redes Neurais sem Peso | 2015 | |
| Aplicando Redes Neurais sem Peso em Mineração de Opinião no Twitter | 2015 | |
| Real-Time Music Tracking Based on a Weightless Neural Network | 10.1109/cisis.2015.84 | 2015 |
| Advances in Weightless Neural Systems | 10.13140/2.1.2688.6403 | 2014 |
| Credit Analysis with a clustering RAM-based neural classifier | 10.13140/2.1.3999.3608 | 2014 |
| Online tracking of multiple objects using WiSARD | 10.13140/2.1.1377.9208 | 2014 |
| A legged central pattern generation model for autonomous gait transition | 10.1109/IJCNN.2014.6889779 | 2014 |
| Applications of ReSATyrus: a distributed resource-sharing control compiler | 2014 | |
| Extracting semantic information from patent claims using phrasal structure annotations | 2014 | |
| Spatio-Temporal Pattern Classification with KernelCanvas and WiSARD | 2014 | |
| A Method for Verifying the Consistency of Business Rules Using Alloy | 2014 | |
| B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier | 2013 | |
| WIPS: the WiSARD Indoor Positioning System | 2013 | |
| Rock-paper-scissors WiSARD | 2013 | |
| An empirical study of the influence of data structures on the performance of VG-RAM classifiers | 2013 | |
| XOR as MILP: alternative modelings | 2012 | |
| A Hyperbolic Smoothing Approach to the Fermat-Weber Location Problem | 2012 | |
| Clustering data streams with weightless neural networks | 2011 | |
| Compact Crossbar Variable Binding for Neuro-Symbolic Computation | 2011 | |
| Transições de Ritmos em CPGs Artificiais via Acoplamento Neural Generalizado | 2011 | |
| WANN-TAGGER: A Weightless Artificial Neural Network Tagger for the Portuguese Language | 2010 | |
| Extracting fuzzy rules from "mental" images generated by modified WiSARD perceptrons | 2009 | |
| A brief introduction to Weightless Neural Systems | 2009 | |
| The Influence of Order on a Large Bag of Words | 10.1109/ISDA.2008.299 | 2008 |
| Controle distribuído de sistemas JOB SHOP usando escalonamento por reversão de arestas | 2008 | |
| Hardware Supported Synchronization Primitives for Clusters. | 2008 | |
| Generation Expansion Planning as Particle Swarm Optimization with Gridified SATyrus | 2007 | |
| Aggregating Energy Scenarios using the SATyrus Neuro-Symbolic Tool | 2006 | |
| RÉGULA ? Uma Ferramenta para a Captura de Requisitos de Software através de Regras de Negócio | 2006 | |
| RAPDIS: Um Processo MDA para Desenvolvimento de Sistemas de Informação | 2006 | |
| RÉGULA - Uma ferramenta para o gerenciamento de regras de negócio | 2006 | |
| SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing | 2005 | |
| Mapping Molecular Geometry Problems into Pseudo-Boolean Constraints | 2005 | |
| Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio | 2004 | |
| UMA VERIFICAÇÃO INTEGRADA DOS MODELOS DE PROCESSOS COM AS REGRAS DE NEGÓCIO | 2004 | |
| VALIDAÇÃO DA SINTAXE E DA SEMÂNTICA ESTÁTICA DE MODELOS DE PROCESSOS | 2004 | |
| Determinação da Influência da Reatividade dos Grupos Sanguíneos ABO e RH na Etnia Simplificada | 2003 | |
| Análise Comparativa das Formas de Representação de Regras de Negócio | 2003 | |
| A Neural Propositional Reasoner that is Goal-Driven and Works Without Pre-Compiled Knowledge | 2000 | |
| Neural network parallel simulation with Logic Programming | 1997 | |
| Towards Neural Computation of REFORMed Programs | 1996 | |
| Resolution-Based Inference with Artificial Neural Networks: Avoiding Cyclic Dependencies | 1995 | |
| Resolution-Based Inference with Artificial Neural Networks | 1994 | |
| Logical Abduction and Prediction of Unit Clauses in Symmetric Hopfield Networks | 1992 | |
| Em direção a um simulador paralelo distribuído de redes neuronais iterativas | 1988 | |
| Em Direção a uma Estação Prolog - Implementação e Desempenho da Máquina Virtual | 1988 | |
| Em Direção a uma Estação Prolog - Tradução de Programas | 1988 | |
| Considerações sobre um sistema PROLOG para ambiente de multiprocessamento | 1986 | |
| FORTRAN* - documentando programas em Fortran | 1983 |