NeuroSPF: A tool for the Symbolic Analysis of Neural Networks

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ◽

10.1109/icse-companion52605.2021.00027 ◽

2021 ◽

Author(s):

Muhammad Usman ◽

Yannic Noller ◽

Corina S. Pasareanu ◽

Youcheng Sun ◽

Divya Gopinath

Keyword(s):

Neural Networks ◽

Symbolic Analysis

Download Full-text

Symbolic analysis of bursting dynamical regimes of Rulkov neural networks

Neurocomputing ◽

10.1016/j.neucom.2020.05.122 ◽

2021 ◽

Author(s):

R.C. Budzinski ◽

S.R. Lopes ◽

C. Masoller

Keyword(s):

Neural Networks ◽

Symbolic Analysis ◽

Dynamical Regimes

Download Full-text

Hierarchical symbolic analysis and particle swarm optimization based fault diagnosis model for rotating machineries with deep neural networks

Measurement ◽

10.1016/j.measurement.2020.108771 ◽

2021 ◽

Vol 171 ◽

pp. 108771

Author(s):

R. Saravanakumar ◽

N. Krishnaraj ◽

S. Venkatraman ◽

B. Sivakumar ◽

S. Prasanna ◽

...

Keyword(s):

Neural Networks ◽

Particle Swarm Optimization ◽

Fault Diagnosis ◽

Deep Neural Networks ◽

Particle Swarm ◽

Symbolic Analysis ◽

Swarm Optimization ◽

Diagnosis Model ◽

Rotating Machineries

Download Full-text

Probabilistic Symbolic Analysis of Neural Networks

2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre5003.2020.00023 ◽

2020 ◽

Author(s):

Hayes Converse ◽

Antonio Filieri ◽

Divya Gopinath ◽

Corina S. Pasareanu

Keyword(s):

Neural Networks ◽

Symbolic Analysis

Download Full-text

Determination of S-N curves with the application of artificial neural networks

Fatigue & Fracture of Engineering Materials & Structures ◽

10.1046/j.1460-2695.1999.00198.x ◽

1999 ◽

Vol 22 (8) ◽

pp. 723-728 ◽

Author(s):

Artymiak ◽

Bukowski ◽

Feliks ◽

Narberhaus ◽

Zenner

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Artificial Neural

Download Full-text

Review of Pattern Recognition by Self-Organizing Neural Networks.

Contemporary Psychology ◽

10.1037/004153 ◽

1995 ◽

Vol 40 (11) ◽

pp. 1110-1110

Author(s):

Stephen James Thomas

Keyword(s):

Neural Networks ◽

Pattern Recognition ◽

Self Organizing

Download Full-text

Supplemental Material for Neural Networks Learn Highly Selective Representations in Order to Overcome the Superposition Catastrophe

Psychological Review ◽

10.1037/a0035943.supp ◽

2014 ◽

Keyword(s):

Neural Networks

Download Full-text

Temporal processing with neural networks

PsycEXTRA Dataset ◽

10.1037/e443612005-001 ◽

1998 ◽

Author(s):

Jeffrey L. Elman

Keyword(s):

Neural Networks ◽

Temporal Processing

Download Full-text

Recording and Analysis of Biological Neural Networks

PsycEXTRA Dataset ◽

10.1037/e443872005-001 ◽

1998 ◽

Author(s):

Howard Eichenbaum ◽

Keyword(s):

Neural Networks ◽

Biological Neural Networks

Download Full-text

Applications of artificial neural networks to adaptive training systems.

PsycEXTRA Dataset ◽

10.1037/e456072004-001 ◽

1992 ◽

Author(s):

Peter L. Rothman

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Adaptive Training ◽

Training Systems ◽

Artificial Neural

Download Full-text

Holographic Neural Networks

PsycEXTRA Dataset ◽

10.1037/e527342012-790 ◽

2007 ◽

Author(s):

Michael N. Jones

Keyword(s):

Neural Networks

Download Full-text