-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Electrical and Electronic Engineering
-
Physical Sciences
Artificial Intelligence
-
Life Sciences
Neuroscience (miscellaneous)
Aluizio Lima FILHO; Guarisa Gabriel P; Leopoldo A D Lusquino FILHO; Luiz Fernando OLIVEIRA; Carlos Alberto Nunes COSENZA et al.
2020.
Interpretation of model agnostic classifiers via local mental images.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Pedro Maciel XAVIER; Massimo De GREGORIO; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2020.
Detection of elementary particles with the wisard n-tuple classifier.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Artificial Intelligence
Alan T L BACELLAR; Brunno F GOLDSTEIN; Victor Da Cruz FERREIRA; Santiago LEANDRO; Priscila Machado Vieira LIMA et al.
2020.
Fast deep neural networks convergence using a weightless neural model.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Claudio Sampaio RAMOS; Leopoldo A D Lusquino FILHO; Franca Felipe M G; Priscila Machado Vieira LIMA.
2020.
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.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Leopoldo Lusquino FILHO; Luiz Fernando OLIVEIRA; Aluizio Lima FILHO; Gabriel GUARISA; Priscila Machado Vieira LIMA et al.
2019.
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.
Bélgica.
-
Physical Sciences
Artificial Intelligence
Leandro Santiago De ARAÚJO; Letícia Dias VERONA; Fabio RANGEL; Fabício Fimino FARIA; Daniel Sadoc MENASCHE et al.
2019.
Memory efficient weightless neural network using bloom filter.
In:
The 27 th european symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Computer Science (miscellaneous)
Luis Felipe KOPP; Jose Barbosa FILHO; Priscila Machado Vieira LIMA; Claudio Miceli De FARIAS.
2019.
Modeling sparse data as input for weightless neural network.
In:
The 27 th european symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Leopoldo A D Lusquino FILHO; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2018.
Near-optimal facial emotion classification using a wisard-based weightless system.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Holanda.
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
André MENDES; Fábio Ferrentini SAMPAIO; Priscila Machado Vieira LIMA; Rubens Queiroz LACERDA.
2018.
Labvad-maquete controlada por arduino para robótica educacional.
In:
Xxiii conferência internacional sobre informática na educação.
Brasil.
-
Social Sciences & Humanities
Education
Charles Soares PIMENTEL; Rubens Queiroz LACERDA; Priscila Machado Vieira LIMA; Fábio Ferrentini SAMPAIO.
2018.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos FURRIEL; Priscila Machado Vieira LIMA; Eber Assis SCHMITZ.
2018.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rafael Adnet PINHO; Walkir A T BRITO; Claudia Lage Rebello Da MOTTA; Priscila Machado Vieira LIMA.
2017.
Automatic crime report classication through a weightless neural network.
In:
25th european symposium on artificial neural networks.
Bélgica.
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
Priscila Machado Vieira LIMA.
2017.
Q-satyrus: mapping neuro-symbolic reasoning into an adiabatic quantum computer.
In:
Twelfth international workshop on neural-symbolic learning and reasoning.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Ericson SOARES; Diego F P SOUZA; Priscila Machado Vieira LIMA.
2017.
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.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Marcos FURRIEL; Mônica Ferreira Da SILVA; Priscila Machado Vieira LIMA; Eber Assis SCHMITZ.
2017.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ramon LEONCIO; Marcos FURRIEL; Priscila Machado Vieira LIMA; Eber Assis SCHMITZ.
2017.
Computational support for updating systematic literature reviews.
In:
Iv escola regional de sistemas de informação do rio de janeiro.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rubens Queiroz LACERDA; Fábio Ferrentini SAMPAIO; Priscila Machado Vieira LIMA.
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.
In:
Iv escola regional de sistemas de informação do rio de janeiro.
Brasil.
-
Physical Sciences
Artificial Intelligence
Fabio RANGEL; Fabício Fimino FARIA; Priscila Machado Vieira LIMA; Jonice De Oliveira SAMPAIO.
2016.
Semi-supervised classification of social textual data using wisard.
In:
24th european symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Nunes Do NACIMENTO; Danilo S CARVALHO; Félix Mora CAMINO; Priscila Machado Vieira LIMA; Felipe Maia Galvão FRANÇA.
2015.
A wisard-based multi-term memory framework for online tracking of objects.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Engineering (miscellaneous)
Samara Alvarez ALVES; Fabricio FIRMINO; Fabio RANGEL; Priscila Machado Vieira LIMA.
2015.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Fabio RANGEL; Fabricio FIRMINO; Samara Alvarez ALVES; Jonice De Oliveira SAMPAIO; Priscila Machado Vieira LIMA.
2015.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Neurology
-
Physical Sciences
Computer Science (miscellaneous)
Priscila Machado Vieira LIMA; Daniel Santos Ferreira ALVES; Felipe Maia Galvão FRANÇA.
2014.
Applications of resatyrus: a distributed resource-sharing control compiler.
In:
0th conference of the international federation of operational research societies.
Espanha.
-
Physical Sciences
Artificial Intelligence
Danilo S CARVALHO; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2014.
Extracting semantic information from patent claims using phrasal structure annotations.
In:
Brazilian conference on intelligent systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Diego F P SOUZA; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2014.
Spatio-temporal pattern classification with kernelcanvas and wisard.
In:
Brazilian conference on intelligent systems (bracis).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Denilson GUIMARAES; Eber Assis SCHMITZ; Antonio Juarez Sylvio De Menezes ALENCAR; Priscila Machado Vieira LIMA; Alexandre CORREA.
2014.
A method for verifying the consistency of business rules using alloy.
In:
The 26th international conference on software engineering & knowledge engineering.
Canadá.
-
Life Sciences
Neuroscience (miscellaneous)
Danilo S CARVALHO; Hugo C C CARNEIRO; França Felipe M G; Priscila Machado Vieira LIMA.
2013.
B-bleaching: agile overtraining avoidance in the wisard weightless neural classifier.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Physical Sciences
Biomedical Engineering
Douglas CARDOSO; João GAMA; Massimo De GREGORIO; França Felipe M G; Maurizio GIORDANO et al.
2013.
Wips: the wisard indoor positioning system.
In:
European symposium on artificial neural networks; computational intelligence and machine learning.
Bélgica.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Diego F P SOUZA; Hugo C C CARNEIRO; França Felipe M G; Priscila Machado Vieira LIMA.
2013.
Rock-paper-scissors wisard.
In:
Brics-cci.
Brasil.
-
Physical Sciences
Artificial Intelligence
Daniel Santos Ferreira ALVES; Douglas CARDOSO; Hugo C C CARNEIRO; França Felipe M G; Priscila Machado Vieira LIMA.
2013.
An empirical study of the influence of data structures on the performance of vg-ram classifiers.
In:
Brics-cci.
Brasil.
-
Social Sciences & Humanities
Education
Cassia Francine NOVELLO; Shimon COHEN; Nelson MACULAN; Felipe Maia Galvão FRANÇA; Gadi PINKAS et al.
2012.
Xor as milp: alternative modelings.
In:
Global optimization workshop - gow 2012.
Brasil.
-
Life Sciences
Neurology
Adilson Elias XAVIER; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA; Vinicius XAVIER.
2012.
A hyperbolic smoothing approach to the fermat-weber location problem.
In:
Xvi congresso latino-iberoamericano de investigación operativa - claio.
Brasil.
-
Physical Sciences
Artificial Intelligence
Douglas CARDOSO; Priscila Machado Vieira LIMA; Massimo De GREGORIO; João GAMA; Felipe Maia Galvão FRANÇA.
2011.
Clustering data streams with weightless neural networks.
In:
European symposium on artificial neural networks; computational intelligence and machine learning; 2011.
Bélgica.
-
Life Sciences
Neuroscience (miscellaneous)
Gadi PINKAS; Priscila Machado Vieira LIMA; Shimon COHEN.
2011.
Compact crossbar variable binding for neuro-symbolic computation.
In:
Nesy'11 neural-symbolic learning and reasoning 2011.
Espanha.
-
Life Sciences
Neuroscience (miscellaneous)
Marlon Viana ROCHA; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2011.
Transições de ritmos em cpgs artificiais via acoplamento neural generalizado.
In:
X congresso brasileiro de inteligência computacional;.
Brasil.
-
Physical Sciences
Artificial Intelligence
Hugo C C CARNEIRO; França Felipe M G; Priscila Machado Vieira LIMA.
2010.
Wann-tagger: a weightless artificial neural network tagger for the portuguese language.
In:
International conference on neural computation.
Portugal.
-
Life Sciences
Neuroscience (miscellaneous)
Bruno GRIECO; Priscila Machado Vieira LIMA; Massimo De GREGORIO; França Felipe M G.
2009.
Extracting fuzzy rules from "mental" images generated by modified wisard perceptrons.
In:
11th european symposium on artificial neural networks.
Bélgica.
-
Physical Sciences
Artificial Intelligence
Igor ALEKSANDER; Massimo De GREGORIO; França Felipe M G; Priscila Machado Vieira LIMA; Helen MORTON.
2009.
A brief introduction to weightless neural systems.
In:
11th european symposium on artificial neural networks.
Bélgica.
-
Social Sciences & Humanities
Language and Linguistics
-
Physical Sciences
Computer Science (miscellaneous)
Omar LENGERKE; Diego CARVALHO; Priscila Machado Vieira LIMA; Max Swell DUTRA; Félix Mora CAMINO et al.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science Applications
Alberto Ferreira De SOUZA; Sotério Ferreira De SOUZA; Claudio Luis De AMORIM; Priscila Machado Vieira LIMA; Peter ROUNCE.
2008.
Hardware supported synchronization primitives for clusters.
In:
International conference on parallel and distributed processing techniques and applications.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Ramon DIACOVO; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2007.
Generation expansion planning as particle swarm optimization with gridified satyrus.
In:
Third eela conference.
Itália.
-
Life Sciences
Neuroscience (miscellaneous)
Eduardo Ferreira Da SILVA; Ramon DIACOVO; Felipe Maia Galvão FRANÇA; Priscila Machado Vieira LIMA.
2006.
Aggregating energy scenarios using the satyrus neuro-symbolic tool.
In:
19t international symposium on mathematicval programming.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno M ARAÚJO; Felipe Gomes DIAS; Gisele Pereira MORGADO; Alissandra Evangelista MARTINS; D SILVEIRA et al.
2006.
Régula ? uma ferramenta para a captura de requisitos de software através de regras de negócio.
In:
Xx sbes-tools.
Brasil.
-
Social Sciences & Humanities
Education
Antonio Juarez Sylvio De Menezes ALENCAR; Eber Assis SCHMITZ; Denis Silva Da SILVEIRA; Gisele Pereira MORGADO; Priscila Machado Vieira LIMA.
2006.
Rapdis: um processo mda para desenvolvimento de sistemas de informação.
In:
Iii simpósio brasileiro de sistemas de informação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gisele Pereira MORGADO; Eber Assis SCHMITZ; Priscila Machado Vieira LIMA.
2006.
Régula - uma ferramenta para o gerenciamento de regras de negócio.
In:
Iii simpósio brasileiro de sistemas de informação.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Priscila Machado Vieira LIMA; Miriam Mariela M Morveli ESPINOZA; Gláucia C PEREIRA; Felipe Maia Galvão FRANÇA.
2005.
Satyrus: a sat-based neuro-symbolic architecture for constraint processing.
In:
5th international conference on hybrid intelligent systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Priscila Machado Vieira LIMA; Gláucia C PEREIRA; Maria Mariela M MORVELIESPINOZA; Felipe Maia Galvão FRANÇA; Carlile C LAVOR.
2005.
Mapping molecular geometry problems into pseudo-boolean constraints.
In:
International workshop on genomic databases - iwgd´05.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe Gomes DIAS; Gisele Pereira MORGADO; Alissandra Evangelista MARTINS; Célia Maria SEABRA; Denis Silva Da SILVEIRA et al.
2004.
Um ambiente para modelagem organizacional baseado em regras de negócio.
In:
I simpósio brasileiro de sistemas de informação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Priscila Machado Vieira LIMA; Denis Silva Da SILVEIRA; Éber Assis SCHMITZ.
2004.
Uma verificação integrada dos modelos de processos com as regras de negócio.
In:
Cladea.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Éber Assis SCHMITZ; Priscila Machado Vieira LIMA; Denis Silva Da SILVEIRA; Rodrigo MACEDO.
2004.
Validação da sintaxe e da semântica estática de modelos de processos.
In:
Xii claio.
Cuba.
-
Life Sciences
Neuroscience (miscellaneous)
Elzenclever Freitas De AGUIAR; Claudia M SANTOS; Priscila Machado Vieira LIMA; Luiz Satoru OCHI; Rafael De O V Dos SANTOS.
2003.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
C M SEABRA; D SILVEIRA; Pedro Oscar De Souza CRUZ; Priscila Machado Vieira LIMA; Éber Assis SCHMITZ.
2003.
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).
Brasil.
-
Physical Sciences
Artificial Intelligence
Priscila Machado Vieira LIMA.
2000.
A neural propositional reasoner that is goal-driven and works without pre-compiled knowledge.
In:
6th brazilian symposium on neural networks ? sbrn'2000.
Brasil.
-
Physical Sciences
Artificial Intelligence
Priscila Machado Vieira LIMA; Ines De Castro DUTRA.
1997.
Neural network parallel simulation with logic programming.
In:
Workshop em inteligência computacional: projetos icom e ipac; protem iii-cc; cnpq.
Brasil.
-
Physical Sciences
Artificial Intelligence
Priscila Machado Vieira LIMA.
1996.
Towards neural computation of reformed programs.
In:
Workshop on high-performance logic programminng systems (esslli-96.
República Tcheca.
-
Life Sciences
Neuroscience (miscellaneous)
Priscila Machado Vieira LIMA.
1995.
Resolution-based inference with artificial neural networks: avoiding cyclic dependencies.
In:
Ii brazilian conference on neural networks - cbrn 95.
Brasil.
-
Physical Sciences
Artificial Intelligence
Priscila Machado Vieira LIMA.
1994.
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).
Itália.
-
Life Sciences
Neuroscience (miscellaneous)
Priscila Machado Vieira LIMA.
1992.
Logical abduction and prediction of unit clauses in symmetric hopfield networks.
In:
International conference on neural networks.
Grã-Bretanha.
-
Life Sciences
Neuroscience (miscellaneous)
Priscila Machado Vieira LIMA; Valmir Carneiro BARBOSA.
1988.
Em direção a um simulador paralelo distribuído de redes neuronais iterativas.
In:
Viii congresso da sbc.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ines De Castro DUTRA; Ricardo Gouvea BIANCHINI; Claudio Luis De AMORIM; Priscila Machado Vieira LIMA; Leila EIZRICK.
1988.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ines De Castro DUTRA; Ricardo Gouvea BIANCHINI; Claudio Luis De AMORIM; Priscila Machado Vieira LIMA; Leila EIZRICK.
1988.
Em direção a uma estação prolog - tradução de programas.
In:
V simpósio brasileiro de inteligência artificial da sbc.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Priscila Machado Vieira LIMA.
1986.
Considerações sobre um sistema prolog para ambiente de multiprocessamento.
In:
Vi congresso da sbc.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
José Augusto CARVALHO; Valéria Bastos CHAVES; Priscila Machado Vieira LIMA.
1983.
Fortran* - documentando programas em fortran.
In:
Iii simpósio sobre desenvolvimento de software básico para micros - sbc.
Brasil.