skip to content
Methods and procedures for the verification and validation of artificial neural networks Preview this item
ClosePreview this item
Checking...

Methods and procedures for the verification and validation of artificial neural networks

Author: Brian J Taylor
Publisher: New York, NY : Springer Science + Business Media, ©2006.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. This  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufsatzsammlung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Brian J Taylor
ISBN: 0387282882 9780387282886 0387294856 9780387294858
OCLC Number: 62939317
Description: x, 277 pages : illustrations ; 25 cm
Contents: Background of the verification and validation of neural networks / Spiro T. Skias --
Augmentation of current verification and validation practices / Kareem Ammar, Laura Pullum, Brian J. Taylor --
Risk and hazard analysis for neural network systems / Laura Pullum, Brian J. Taylor --
Validation of neural networks via taxonomic evaluation / Brian J. Taylor, James T. Smith --
Stability properties of neural networks / edgar J. Fuller, Sampath K. Yerramalla, Bojan Cukic --
Neural network verification / James T. Smith --
Neural network visualization techniques / Marjorie Darrah --
Rule extraction as a formal method / Marjorie Darrah, Brian J. Taylor --
Automated test generation for testing neural network systems / Brian J. Taylor --
Run-time assessment of neural network control systems / Bojan Cukic, edgar Fuller, Martin Mladenovski, and Sampath Yerramalla.
Responsibility: edited by Brian J. Taylor.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/62939317> # Methods and procedures for the verification and validation of artificial neural networks
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "62939317" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/138038039#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/138038039#Topic/validierung> ; # Validierung
    schema:about <http://id.worldcat.org/fast/1036260> ; # Neural networks (Computer science)
    schema:about <http://dewey.info/class/006.32/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/138038039#Topic/neuronales_netz> ; # Neuronales Netz
    schema:about <http://id.loc.gov/authorities/subjects/sh85029536> ; # Computer software--Validation
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/872602> ; # Computer software--Validation
    schema:about <http://experiment.worldcat.org/entity/work/data/138038039#Topic/verifikation> ; # Verifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/138038039#Topic/methode> ; # Methode
    schema:about <http://id.loc.gov/authorities/subjects/sh85029537> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/138038039#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/306254996> ; # Brian J. Taylor
    schema:copyrightYear "2006" ;
    schema:datePublished "2006" ;
    schema:description "Background of the verification and validation of neural networks / Spiro T. Skias -- Augmentation of current verification and validation practices / Kareem Ammar, Laura Pullum, Brian J. Taylor -- Risk and hazard analysis for neural network systems / Laura Pullum, Brian J. Taylor -- Validation of neural networks via taxonomic evaluation / Brian J. Taylor, James T. Smith -- Stability properties of neural networks / edgar J. Fuller, Sampath K. Yerramalla, Bojan Cukic -- Neural network verification / James T. Smith -- Neural network visualization techniques / Marjorie Darrah -- Rule extraction as a formal method / Marjorie Darrah, Brian J. Taylor -- Automated test generation for testing neural network systems / Brian J. Taylor -- Run-time assessment of neural network control systems / Bojan Cukic, edgar Fuller, Martin Mladenovski, and Sampath Yerramalla."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/138038039> ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:name "Methods and procedures for the verification and validation of artificial neural networks"@en ;
    schema:productID "62939317" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/62939317#PublicationEvent/new_york_ny_springer_science_+_business_media_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/138038039#Agent/springer_science_+_business_media> ; # Springer Science + Business Media
    schema:url <http://catdir.loc.gov/catdir/toc/fy0608/2005933711.html> ;
    schema:workExample <http://worldcat.org/isbn/9780387294858> ;
    schema:workExample <http://worldcat.org/isbn/9780387282886> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA620110> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/62939317> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/138038039#Agent/springer_science_+_business_media> # Springer Science + Business Media
    a bgn:Agent ;
    schema:name "Springer Science + Business Media" ;
    .

<http://experiment.worldcat.org/entity/work/data/138038039#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029536> # Computer software--Validation
    a schema:Intangible ;
    schema:name "Computer software--Validation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029537> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/1036260> # Neural networks (Computer science)
    a schema:Intangible ;
    schema:name "Neural networks (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872602> # Computer software--Validation
    a schema:Intangible ;
    schema:name "Computer software--Validation"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://viaf.org/viaf/306254996> # Brian J. Taylor
    a schema:Person ;
    schema:familyName "Taylor" ;
    schema:givenName "Brian J." ;
    schema:name "Brian J. Taylor" ;
    .

<http://worldcat.org/isbn/9780387282886>
    a schema:ProductModel ;
    schema:isbn "0387282882" ;
    schema:isbn "9780387282886" ;
    .

<http://worldcat.org/isbn/9780387294858>
    a schema:ProductModel ;
    schema:isbn "0387294856" ;
    schema:isbn "9780387294858" ;
    .

<http://www.worldcat.org/title/-/oclc/62939317>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/62939317> ; # Methods and procedures for the verification and validation of artificial neural networks
    schema:dateModified "2018-03-26" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.