{"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":67,"n_cols":5,"rows_kept":67,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[39,2,39,3],[40,2,40,3],[44,2,44,3],[44,4,44,5],[45,2,45,3],[45,4,45,5],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[55,2,55,3],[59,2,59,3],[60,2,60,3],[64,2,64,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466436603316"]
[null,null,"Titolo",null,"Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-26250-2"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 412 p. 163 illus., 90 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 11699"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Computer organization"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer security"]
[{"$nulls":4},"Data encryption (Computer science)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Optical data processing"]
[{"$nulls":4},"Computer Systems Organization and Communication Networks"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Systems and Data Security"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Image Processing and Computer Vision"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined "]
[{"$nulls":4},"Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering ."]
[null,"2.","Record Nr.",null,"UNINA9910495787603321"]
[null,null,"Autore",null,"Vidal Georges"]
[null,null,"Titolo",null,"Une alliance improbable : L'armée française et la Russie soviétique 1917-1939 / Georges Vidal"]
[null,null,"Pubbl/distr/stampa",null,"Rennes, : Presses universitaires de Rennes, 2019"]
[null,null,"ISBN",null,"2-7535-6060-9"]
[null,null,"Descrizione fisica",null,"1 online resource (312 p.)"]
[null,null,"Soggetti",null,"History"]
[{"$nulls":4},"International Relations"]
[{"$nulls":4},"Russie"]
[{"$nulls":4},"armée"]
[{"$nulls":4},"révolutions"]
[{"$nulls":4},"bolchévisme"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","Si le passage du tsarisme au communisme marque bien une rupture dans la perception de la question russe par les militaires français, cette césure est moins brutale et complète qu'il n'y paraît et ses causes sont trop complexes ou diverses pour être réduites au seul jeu des facteurs idéologiques et politiques. Il serait donc erroné de croire qu'avant octobre 1917, l'armée française est russophile, et qu'avec la révolution bolchevik, elle devient immédiatement et irrémédiablement soviétophobe. C'est le facteur géostratégique qui explique pour une bonne part ce positionnement nuancé, car jusqu'au déclenchement de la Seconde Guerre mondiale l'Allemagne reste pour l'armée française la menace principale, ce qui détermine largement son attitude vis-à-vis de l'État soviétique, un enjeu corrélé à partir des années 1920 aux alliances de revers avec la Pologne et la Petite Entente. Pour toutes ces raisons, le régime communiste devient dès 1917 un sujet de grande interrogation : s'agit-il d'un partenaire possible ?  Sur l'ensemble de la période, le haut commandement, oscillant entre hostilité, indifférence et intérêt, ne parvient pas à fournir une solution claire et durable à ce problème qui s'inscrit dans la durée et pose une série de questions récurrentes : les objectifs des dirigeants soviétiques sont-ils avant tout révolutionnaires ou nationaux ? ; ce régime est-il stable, solide ? ; a-t-"]
[{"$nulls":4},"il les moyens de mener une politique de puissance ? ; par-delà la propagande du Kremlin et les données statistiques, quelle est la véritable valeur de l'Armée rouge ? ; une alliance est-elle possible et souhaitable ?  Cependant, en dépit des réponses divergentes et des controverses, les analyses des militaires français restent dominées par la conviction que l'URSS est une nouvelle mouture de l'ancienne Russie, avec toutes ses faiblesses et ses incertitudes. C'est dire si le mythe du colosse aux pieds d'argile demeure en filigrane dans la prise en compte de l'URSS comme facteur…"]
[null,"3.","Record Nr.",null,"UNINA9910299432803321"]
[null,null,"Titolo",null,"Layered Intrusions / / edited by Bernard Charlier, Olivier Namur, Rais Latypov, Christian Tegner"]
[null,null,"Pubbl/distr/stampa",null,"Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015"]
[null,null,"ISBN",null,"94-017-9652-1"]
[null,null,"Edizione",null,"[1st ed. 2015.]"]
[null,null,"Descrizione fisica",null,"1 online resource (749 p.)"]
[null,null,"Collana",null,"Springer Geology, , 2197-9545"]
[null,null,"Disciplina",null,"549"]
[{"$nulls":4},"55"]
[{"$nulls":4},"551.9"]
[{"$nulls":4},"553"]
[null,null,"Soggetti",null,"Mineralogy"]
[{"$nulls":4},"Geochemistry"]
[{"$nulls":4},"Mines and mineral resources"]
[{"$nulls":4},"Mineral Resources"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Part I: Formation and Evolution of Cumulate Rocks -- Geochronology of Layered Intrusions -- Igneous Layering in Magma Chambers -- Quantitative Textural Analysis of Rocks in Layered Mafic Intrusions -- The Influence of Interfacial Energies on Igneous Microstructures.-Silicate Liquid Immiscibility in Layered Intrusions -- Marginal Reversals in Layered Intrusions -- The Significance of Magnetic Fabric in Layered Mafic-Ultramafic Intrusions -- Physical Controls of Nucleation, Growth and Migration of Vapor Bubbles in Partially Molten Cumulates -- Platinum-group Elements Deposits in Layered Intrusions: Recent Advances in the Understanding of the Ore Forming Processes -- Part II: Reviews of Major Layered Intrusions -- The Panzhihua Intrusion, Southwestern China.-The Sept Iles Intrusive Suite, Quebec -- The Bushveld Complex, South Africa -- The Kiglapait Layered Intrusion, Labrador -- The Ilimaussaq Intrusion, Greenland -- Ophiolitic Magma Chambers; a Perspective from the Canadian Appalachians."]
[null,null,null,"Sommario/riassunto","This edited work contains the most recent advances related to the study of layered intrusions and cumulate rocks formation. The first part of this book presents reviews and new views of processes producing the textural, mineralogical and geochemical characteristics of layered "]
[{"$nulls":4},"igneous rocks. The second part summarizes progress in the study of selected layered intrusions and their ore deposits from different parts of the world including Canada, Southwest China, Greenland and South Africa. Thirty experts have contributed to this update on recent research on Layered Intrusions. This highly informative book will provide insight for researchers with an interest in geology, igneous petrology, geochemistry and mineral resources."]