01333nam0 2200313 450 00004517620180925132631.020180924d1931----km-y0itaa50------baitaIT<<L'>>elettricità in agricolturaPietro StudiatiPiacenzaFederazione Italiana dei Consorzi Agrari193147 p.ill.21 cmBiblioteca per l'insegnamento agrario professionaleL. 2.Legato con altri volumiSul dorso del volume rilegato: Biblioteca per l'insegnamento agrario2001Biblioteca per l'insegnamento agrario professionaleElettricitàImpiegoAgricoltura631(22. ed.)Agricoltura. Specifiche tecniche; apparecchi, attrezzature, materialiStudiati,Pietro82028ITUniversità della Basilicata - B.I.A.REICATunimarc000045176Elettricita in agricoltura401039UNIBASSTD1190120180924BAS011716TTM3020180925BAS011326BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoFVIGFondo ViggianiFVig/4356943569H5T43569H5Collocato presso la Scuola di Agraria2018092435Stanza riservataRilegato con altri volumi01784nam2 22003133i 450 VAN009644920221125104845.99103-87058-96-620131220d1972 |0itac50 bafreDE|||| |||||ˆ1: ‰Théorie des toposexposes I a IVun seminaire dirige par M. Artin, A. Grothendieck, J. L. Verdieravec la collaboration de N. Bourbaki, P. Deligne, B. Saint-DonatBerlinSpringer1972XIX, 525 p.26 cm001VAN00964482001 Théorie des topos et cohomologie etale des schémasseminaire de geometrie algebrique du Bois-Marie, 1963-1964SGA 4un seminaire dirige par M. Artin, A. Grothendieck, J. L. Verdieravec la collaboration de N. Bourbaki, P. Deligne, B. Saint-Donat210 BerlinSpringer1972-1973215 volumi26 cm1001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer1964-300 Dal 2011 i volumi sono disponibili in formato elettronico26914-XXAlgebraic geometry [MSC 2020]VANC019702MFBerlinVANL000066ArtinMichaelVANV020647Seminaire de geometrie algebrique1963-64Bois MarieVANV076705SpringerVANV108073650ITSOL20221202RICA/sebina/repository/catalogazione/documenti/Theorie des topos 1.pdfTheorie des topos 1.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0096449BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 14-XX 0163 08 9410 I 20131220 Theorie des topos1434072UNISOB06013nam 2200673 a 450 991077880900332120230725054425.01-283-43372-99786613433725981-4340-92-8(CKB)2550000000079522(EBL)840648(OCoLC)858228204(SSID)ssj0000644698(PQKBManifestationID)12206455(PQKBTitleCode)TC0000644698(PQKBWorkID)10676400(PQKB)10206208(MiAaPQ)EBC840648(WSP)00008099(Au-PeEL)EBL840648(CaPaEBR)ebr10524646(CaONFJC)MIL343372(EXLCZ)99255000000007952220110928d2011 uy 0engur|n|---|||||txtccrAdaptive control approach for software quality improvement[electronic resource] /editors, W. Eric Wong, Bojan CukicNew Jersey World Scientific20111 online resource (308 p.)Series on software engineering and knowledge engineering ;v. 20Description based upon print version of record.981-4340-91-X Includes bibliographic references.Preface; CONTENTS; 1. Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study Fevzi Belli, Mubariz Eminov, Nida G ok ce and W. Eric Wong; 1. Introduction and Related Work; 2. Background; 2.1. Event Sequence Graphs; 2.2. Neural Network-Based Clustering; 3. Competitive Learning; 3.1. Distance-Based Competitive Learning Algorithm; 3.2. Angle-Based Competitive Learning Algorithm; 3.3. Adaptive Competitive Learning; Adaptive Competitive Learning Algorithm; 4. Prioritized ESG-Based Testing; 4.1. Definition of the Attributes of Events4.2. Definition of Importance Degree and PreferenceIndirect Determination of the Preference Degree; 5. A Case Study; 5.1. Derivation of the Test Cases; 5.2. Determination of Attributes of Events; 5.3. Construction of the Groups of Events; 5.4. Indirect Determination of Preference Degrees; 6. Conclusions and Future Work; References; 2. Statistical Evaluation Methods for V&V of Neuro-Adaptive Systems Y. Liu, J. Schumann and B. Cukic; 1. Introduction; 2. V&V of Neuro-Adaptive Systems; 2.1. Static V&V Approaches; 2.2. Dynamic V&V Approaches; 2.3. V&V of Neural Networks3. Statistical Evaluation of Neuro-Adaptive Systems3.1. Neural Network-Based Flight Control; 3.2. The Neural Networks; 3.2.1. Dynamic Cell Structure Network; 3.2.2. Sigma-Pi Neural Network; 3.3. Failure Detection Using Support Vector Data Description; 3.4. Evaluating Network's Learning Performance; 3.4.1. A Sensitivity Metric for DCS Networks; 3.4.2. A Sensitivity Metric for Sigma-Pi Networks; 3.5. Evaluating the Network's Output Quality; 3.5.1. Validity Index for DCS Networks; 3.5.2. Bayesian Confidence Tool for Sigma-Pi Networks; 4. Conclusions; References3. Adaptive Random Testing Dave Towey1. Introduction; 2. Adaptive Random Testing; 2.1. Distance-Based Adaptive Random Testing; 2.2. Restriction-Based Adaptive Random Testing; 2.3. Overheads; 2.4. Filtering; 2.5. Forgetting; 2.6. Mirror ART; 2.7. Probabilistic ART; 2.8. Fuzzy ART; 3. Summary; Acknowledgements; References; 4. Transparent Shaping: A Methodology for Adding Adaptive Behavior to Existing Software Systems and Applications S. Masoud Sadjadi, Philip K. Mckinley and Betty H.C. Cheng; 1. Introduction; 2. Basic Elements; 3. General Approach; 4. Middleware-Based Transparent Shaping4.1. ACT Architectural Overview4.2. ACT Core Components; Dynamic Interceptors; Proxies; Decision Makers; 4.3. ACT Operation; 4.4. ACT/J Implementation; 4.5. ACT/J Case Study; 5. Language-Based Transparent Shaping; 5.1. TRAP/J Architectural Overview; 5.2. TRAP/J Run-Time Model; 5.3. TRAP/J Case Study; Making ASA Adapt-Ready; Compile-Time Actions; Generated Aspect; Generated Wrapper-Level Class; Generated Metalevel Class; Adapting to Loss Rate; Balancing QoS and Energy Consumption; 6. Discussion; 7. Conclusions and Future Work; Acknowledgements; References5. Rule Extraction to Understand Changes in an Adaptive System Marjorie A. Darrah and Brian J. TaylorThis book focuses on the topic of improving software quality using adaptive control approaches. As software systems grow in complexity, some of the central challenges include their ability to self-manage and adapt at run time, responding to changing user needs and environments, faults, and vulnerabilities. Control theory approaches presented in the book provide some of the answers to these challenges. The book weaves together diverse research topics (such as requirements engineering, software development processes, pervasive and autonomic computing, service-oriented architectures, on-line adaptation of software behavior, testing and QoS control) into a coherent whole. Written by world-renowned experts, this book is truly a noteworthy and authoritative reference for students, researchers and practitioners to better understand how the adaptive control approach can be applied to improve the quality of software systems. Book chapters also outline future theoretical and experimental challenges for researchers in this area. -- back cover.Series on software engineering and knowledge engineering ;v. 20.Software engineeringComputer softwareDevelopmentSoftware engineering.Computer softwareDevelopment.005.14Wong W. Eric1558272Cukic Bojan908930MiAaPQMiAaPQMiAaPQBOOK9910778809003321Adaptive control approach for software quality improvement3822516UNINA