{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":46,"n_cols":5,"rows_kept":46,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991004267437807536"]
[null,null,"Autore",null,"Disney, Walt"]
[null,null,"Titolo",null,"Paperino e la partita a scacchi / Walt Disney ; testo di Lia e Nicola d'Amico"]
[null,null,"Pubbl/distr/stampa",null,"Milano : A. Mondadori, 1973"]
[null,null,"Edizione",null,"[2. ed]"]
[null,null,"Descrizione fisica",null,"28 p. : ill. ; 32 cm"]
[null,null,"Disciplina",null,"808.99"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Tratto dal film: Donald Duck in the Mathemagicland"]
[null,"2.","Record Nr.",null,"UNINA9910831173403321"]
[null,null,"Autore",null,"Pullum Laura L."]
[null,null,"Titolo",null,"Guidance for the verification and validation of neural networks / / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, New Jersey : , : IEEE Computer Society, , c2007"]
[{"$nulls":4},"[Piscataqay, New Jersey] : , : IEEE Xplore, , [2015]"]
[null,null,"ISBN",null,"1-119-13467-6"]
[null,null,"Descrizione fisica",null,"1 PDF (ix, 133 pages) : illustrations"]
[null,null,"Collana",null,"Emerging technologies"]
[null,null,"Disciplina",null,"006.32"]
[null,null,"Soggetti",null,"Neural networks (Computer science)"]
[{"$nulls":4},"Computer programs - Validation"]
[{"$nulls":4},"Computer programs - Verification"]
[{"$nulls":4},"Neural networks (Computer science) - Validation"]
[{"$nulls":4},"Computer programs"]
[{"$nulls":4},"Engineering & Applied Sciences"]
[{"$nulls":4},"Computer Science"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 119-121) and index."]
[null,null,"Nota di contenuto",null,"Areas of consideration for adaptive systems -- Verification and validation of neural networks-guidance -- Recent changes to IEEE std 1012."]
[null,null,null,"Sommario/riassunto","Guidance for the Verification and Validation of Neural Networks is a supplement to the IEEE Standard for Software Verification and Validation, IEEE Std 1012-1998. Born out of a need by the National Aeronautics and Space Administration's safety- and mission-critical research, this book compiles over five years of applied research and development efforts. It is intended to assist the performance of verification and validation (V&V) activities on adaptive software systems, with emphasis given to neural network systems. The book discusses some of the difficulties with trying to assure adaptive systems in general, presents techniques and advice for the V&V practitioner confronted with such a task, and based on a neural network case study, identifies specific tasking and recommendations for the V&V of neural network systems. \"As the demand for developing and assuring adaptive systems grows, this guidebook will provide practitioners with the insight and practical steps for verifying and "]
[{"$nulls":4},"validating neural networks. The work of the authors is a great step forward, offering a level of practical experience and advice for the software developers, assurance personnel, and those performing verification and validation of adaptive systems. This guide makes possible the daunting task of assuring this new technology. NASA is proud to sponsor such a realistic approach to what many might think a very futuristic subject. But adaptive systems with neural networks are here today and as the NASA Manager for Software Assurance and Safety, I believe this work by the authors will be a great resource for the systems we are building today and into tomorrow.\" -Martha S. Wetherholt, NASA Manager of Software Assurance and Software Safety NASA Headquarters, Office of Safety & Mission Assurance."]
[null,"3.","Record Nr.",null,"UNIORUON00277854"]
[null,null,"Autore",null,"BOLLEN, Kenneth A."]
[null,null,"Titolo",null,"Structural equations with latent variables / Kenneth A. Bollen"]
[null,null,"Pubbl/distr/stampa",null,"New York ; Chichester ; Brisbane, : John Wiley & sons, 1989"]
[null,null,"ISBN",null,"04-7101-171-1"]
[null,null,"Descrizione fisica",null,"XIV, 514 p. ; 22 cm."]
[null,null,"Disciplina",null,"300.2"]
[null,null,"Soggetti",null,"Scienze sociali - Metodologia"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]