Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

Neural networks (Computer science) --- System safety --- Expert systems (Computer science) --- Engineering & Applied Sciences --- Civil & Environmental Engineering --- Civil Engineering --- Computer Science --- Applied Mathematics --- Validation --- Verification --- High performance computing. --- HPC (Computer science) --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Engineering. --- Artificial intelligence. --- Applied mathematics. --- Engineering mathematics. --- Automotive engineering. --- Industrial engineering. --- Production engineering. --- Appl.Mathematics/Computational Methods of Engineering. --- Artificial Intelligence (incl. Robotics). --- Automotive Engineering. --- Industrial and Production Engineering. --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Management engineering --- Simplification in industry --- Engineering --- Value analysis (Cost control) --- Engineering analysis --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Mathematics --- Cyberinfrastructure --- Supercomputers --- Artificial intelligence --- Natural computation --- Soft computing --- Mathematical and Computational Engineering. --- Artificial Intelligence.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

Methodology of economics --- Mathematics --- Applied physical engineering --- Transport engineering --- Engineering sciences. Technology --- Production management --- Business management --- Business economics --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- financieel management --- toegepaste wiskunde --- economie --- productie --- motorrijtuigen --- wiskunde --- KI (kunstmatige intelligentie) --- ingenieurswetenschappen

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

Methodology of economics --- Mathematics --- Applied physical engineering --- Transport engineering --- Engineering sciences. Technology --- Production management --- Business management --- Business economics --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- financieel management --- toegepaste wiskunde --- economie --- productie --- motorrijtuigen --- wiskunde --- KI (kunstmatige intelligentie) --- ingenieurswetenschappen --- AI (artificiële intelligentie)