LEADER 02040nam 2200505 450 001 9910715245103321 005 20210126112704.0 035 $a(CKB)5470000002509574 035 $a(OCoLC)1232926847 035 $a(EXLCZ)995470000002509574 100 $a20210126d2020 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStrengthening deterrence and reducing nuclear risks, part II $ethe sea-launched cruise missile-nuclear (SLCM-N)$h[Paper 11] /$fby Christopher A. Ford 210 1$a[Washington, D.C.] :$cDepartment of State, United States of America :$cArms Control and International Security,$d2020. 215 $a1 online resource (6 pages) 225 1 $aArms control and international security papers ;$vvolume 1, number 11 300 $a"July 23, 2020." 300 $a"Arms Control and International Security Papers are produced by the Office of the Under Secretary of State for Arms Control and International Security." 300 $a"Paper #11"--Resource home page. 320 $aIncludes bibliographical references. 517 $aStrengthening deterrence and reducing nuclear risks, part II 606 $aCruise missiles 606 $aNational security$zUnited States 606 $aNuclear weapons$zChina 606 $aNuclear weapons$zRussia (Federation) 606 $aNuclear weapons$zUnited States 606 $aSecurity, International 615 0$aCruise missiles. 615 0$aNational security 615 0$aNuclear weapons 615 0$aNuclear weapons 615 0$aNuclear weapons 615 0$aSecurity, International. 700 $aFord$b Christopher A.$f1967-$01166168 712 02$aUnited States.$bOffice of the Under Secretary of State for Arms Control and International Security, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910715245103321 996 $aStrengthening deterrence and reducing nuclear risks, part II$93544037 997 $aUNINA LEADER 04167nam 22006855 450 001 9910502653003321 005 20250708054731.0 010 $a9783030869823 010 $a3030869822 024 7 $a10.1007/978-3-030-86982-3 035 $a(CKB)4940000000612054 035 $a(MiAaPQ)EBC6729600 035 $a(Au-PeEL)EBL6729600 035 $a(OCoLC)1268465124 035 $a(PPN)25805154X 035 $a(DE-He213)978-3-030-86982-3 035 $a(EXLCZ)994940000000612054 100 $a20210917d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGraph-Based Representation and Reasoning $e26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20?22, 2021, Proceedings /$fedited by Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (231 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12879 311 08$a9783030869816 311 08$a3030869814 327 $aApplications of Conceptual Structures -- On the use of FCA models in static analysis tools to detect common errors in programming -- Nested conceptual graphs for information fusion traceability -- Generating Layered Enterprise Architectures with Conceptual Structures -- An Approach to Identifying the Most Predictive and Discriminant Features in Supervised Classification Problems -- Combining Implications and Conceptual Analysis to Learn from a Pesticidal Plant Knowledge Base -- Ranking Schemas by Focus: A Cognitively-Inspired Approach -- Theory on Conceptual Structures -- Improving the Performance of Lindig-style Algorithms with Empty Intersections -- Quantifying the Conceptual Error in Dimensionality Reduction -- Conceptual Relevance Index for Identifying Actionable Formal Concepts -- Attribute Selection using Contranominal Scales -- Packing Problems, Dimensions and the Tensor Product of Complete Lattices -- Mining Conceptual Structures -- Random generation of a locally consistent spatio-temporal graph -- Mining Contextual Rules to Predict Asbestos in Buildings -- Temporal sequence mining using FCA and GALACTIC -- Restricted Bi-pattern Mining -- A Semantic-Based Approach for Assessing the Impact of Cyber-Physical Attacks: a Healthcare Infrastructure Use Case. 330 $aThis book constitutes the proceedings of the 26th International Conference on Conceptual Structures, ICCS 2021, held virtually in September 2021. The 12 full papers and 4 short papers presented were carefully reviewed and selected from 25 submissions. The papers focus on the representation of and reasoning with conceptual structures in a variety of contexts. The papers are organized in the following topical sections: applications of conceptual structures; theory on conceptual structures, and mining conceptual structures. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12879 606 $aArtificial intelligence 606 $aApplication software 606 $aDatabase management 606 $aMachine theory 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aDatabase Management 606 $aComputer and Information Systems Applications 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aDatabase management. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aDatabase Management. 615 24$aComputer and Information Systems Applications. 615 24$aFormal Languages and Automata Theory. 676 $a003.54 702 $aBraun$b Tanya 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910502653003321 996 $aGraph-Based Representation and Reasoning$92919479 997 $aUNINA