AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

2018 IEEE Symposium on Security and Privacy (SP) ◽

10.1109/sp.2018.00058 ◽

2018 ◽

Cited By ~ 70

Author(s):

Timon Gehr ◽

Matthew Mirman ◽

Dana Drachsler-Cohen ◽

Petar Tsankov ◽

Swarat Chaudhuri ◽

...

Keyword(s):

Neural Networks ◽

Abstract Interpretation

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 ◽

Cited By ~ 1

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

Applications of Neural Networks to Adaptive Training Networks

PsycEXTRA Dataset ◽

10.1037/e540182011-001 ◽

1992 ◽

Author(s):

Peter L. Rothman

Keyword(s):

Neural Networks ◽

Adaptive Training

Download Full-text

Dynamics of Neural Networks Under External Periodic Influence

PsycEXTRA Dataset ◽

10.1037/e624322011-001 ◽

2002 ◽

Author(s):

Atin Das

Keyword(s):

Neural Networks

Download Full-text

Use of Artificial Neural Networks for Risk Assessment for Work and Organizational Issues

PsycEXTRA Dataset ◽

10.1037/e666722007-001 ◽

2006 ◽

Author(s):

Maria Karanika ◽

Tom Cox

Keyword(s):

Neural Networks ◽

Risk Assessment ◽

Artificial Neural Networks ◽

Organizational Issues ◽

Artificial Neural

Download Full-text