𝔖 Bobbio Scriptorium
✦   LIBER   ✦

NeVer: a tool for artificial neural networks verification

✍ Scribed by Luca Pulina; Armando Tacchella

Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
520 KB
Volume
62
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Artificial neural networks for structura
Artificial neural networks for structural analysis
✍ Ronald A. Perez; Kang-Ning Lou πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 668 KB

In this work we use the continuous Hopfield network and the continuous bidirectional associative memory system (BAM) in order to develop two novel methodsJbr structural analysis. The development of these techniques is based on the analogous relationship that results J?om comparing the eneryy functio

Artificial neural networks for thermopie
Artificial neural networks for thermopiezoelectric systems
✍ Mehmet Sunar πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 111 KB πŸ‘ 2 views

A radial basis function}arti"cial neural network modelling of thermopiezoelectric systems is presented. The neural network model can emulate the electrical response of two thermopiezoelectric layers bonded on a cantilever beam structure. The electrical outputs of thermopiezoelectric layers are due t