LEADER 01631nas 2200469-a 450 001 996198607203316 005 20230131213021.0 011 $a1941-1197 035 $a(DE-599)ZDB2502508-9 035 $a(OCoLC)190844533 035 $a(CKB)1000000000323375 035 $a(CONSER)--2008212924 035 $a(EXLCZ)991000000000323375 100 $a20080116a20099999 s-- a 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIEEE intelligent transportation systems magazine 210 $aPiscataway, N.J. $cInstitute of Electrical and Electronic Engineers$dİ2009- 300 $aRefereed/Peer-reviewed 311 $a1939-1390 517 1 $aIntelligent transportation systems magazine 517 1 $aInstitute of Electrical and Electronic Engineers intelligent transportation systems magazine 517 1 $aITS magazine 531 $aIEEE INTELL. TRANSP. SYST. MAG 531 $aIEEE INTEL TRANSP SY 531 0 $aIEEE intell. transp. syst. mag. 606 $aIntelligent transportation systems$vPeriodicals 606 $aIntelligent transportation systems$2fast$3(OCoLC)fst01723430 608 $aPeriodicals.$2fast 610 $aTransportation Engineering 615 0$aIntelligent transportation systems 615 7$aIntelligent transportation systems. 676 $a629 712 02$aInstitute of Electrical and Electronics Engineers. 712 02$aIEEE ITSS. 906 $aJOURNAL 912 $a996198607203316 996 $aIEEE intelligent transportation systems magazine$92574463 997 $aUNISA LEADER 02620nam 22006374a 450 001 9910791236303321 005 20171026195700.0 010 $a1-282-55608-8 010 $a9786612556081 010 $a0-472-02409-4 024 7 $a10.3998/mpub.17556 035 $a(CKB)2560000000012897 035 $a(EBL)3414778 035 $a(SSID)ssj0000427804 035 $a(PQKBManifestationID)11304792 035 $a(PQKBTitleCode)TC0000427804 035 $a(PQKBWorkID)10413640 035 $a(PQKB)11739589 035 $a(MiAaPQ)EBC3414778 035 $a(OCoLC)615635608 035 $a(MdBmJHUP)muse9636 035 $a(MiU)10.3998/mpub.17556 035 $a(Au-PeEL)EBL3414778 035 $a(CaPaEBR)ebr10381359 035 $a(CaONFJC)MIL255608 035 $a(OCoLC)824100597 035 $a(EXLCZ)992560000000012897 100 $a20040303d2004 ub 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe scourge of war $enew extensions on an old problem /$fedited by Paul F. Diehl 210 1$aAnn Arbor :$cUniversity of Michigan Press,$d2004. 215 $a1 online resource (281 p.) 300 $aDescription based upon print version of record. 311 $a0-472-11395-X 320 $aIncludes bibliographical references and index. 327 $a""CONTENTS""; ""PREFACE""; ""Part I. PATTERNS IN THE EVOLUTION OF WAR AND CONFLICT""; ""POWER LAWS, SCALING, AND FRACTALS IN THE MOST LETHAL INTERNATIONAL AND CIVIL WARS""; ""A NEURAL NETWORK ANALYSIS OF MILITARIZED DISPUTES, 1885-1992""; ""Part II. NATIONAL AND SUB-NATIONAL FACTORS""; ""STATESMEN, POPULAR WISDOM, AND EMPIRICAL REALITIES IN THE STUDY OF CONFLICT AND WAR""; ""THE NATIONAL INTEREST VERSUS INDIVIDUAL POLITICAL AMBITION""; ""ARMS, ALLIANCES, AND SUCCESS IN MILITARIZED DISPUTES AND WARS, 1816-1992""; ""Part III. DYADIC FACTORS AND INTERACTIVE EFFECTS""; ""INTERVENTIONS AS INFLUENCE"" 327 $a""THE SLOW ROASTING OF SACRED COWS""""ALLIANCES, TERRITORIAL DISPUTES, AND THE PROBABILITY OF WAR""; ""TOWARD A SCIENTIFIC THEORY OF WAR""; ""REFERENCES""; ""CONTRIBUTORS""; ""INDEX"" 606 $aWar 606 $aWar$xCauses 606 $aWar$xMathematical models 615 0$aWar. 615 0$aWar$xCauses. 615 0$aWar$xMathematical models. 676 $a355.02 701 $aDiehl$b Paul F$g(Paul Francis)$0241119 712 02$aMichigan Publishing (University of Michigan) 801 0$bMiU 801 1$bMiU 906 $aBOOK 912 $a9910791236303321 996 $aThe scourge of war$93685470 997 $aUNINA LEADER 04989nam 22008055 450 001 9910484432503321 005 20251226203001.0 010 $a3-540-69937-6 024 7 $a10.1007/978-3-540-69937-8 035 $a(CKB)1000000000440812 035 $a(SSID)ssj0000355553 035 $a(PQKBManifestationID)11261338 035 $a(PQKBTitleCode)TC0000355553 035 $a(PQKBWorkID)10340565 035 $a(PQKB)10260703 035 $a(DE-He213)978-3-540-69937-8 035 $a(MiAaPQ)EBC3068477 035 $a(PPN)12705197X 035 $a(EXLCZ)991000000000440812 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation $e15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /$fedited by Wilfrid Hodges, Ruy de Queiroz 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VIII, 313 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5110 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-69936-8 320 $aIncludes bibliographical references and index. 327 $aTutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine and Intuitionistic Logics -- The Grammar of Scope -- Contributed Papers -- Conjunctive Grammars and Alternating Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty by Nmatrix?Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution in Physics -- Nominal Matching and Alpha-Equivalence -- Interval Additive Generators of Interval T-Norms -- Propositional Dynamic Logic as a Logic of Belief Revision -- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method -- On the Formal Semantics of IF-Like Logics -- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations -- Labelled Calculi for ?ukasiewicz Logics -- An Infinitely-Often One-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined by Kolmogorov Complexity -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- On Second-Order Monadic Groupoidal Quantifiers -- Inference Processes for Quantified Predicate Knowledge -- Using ? -ctl to Specify Complex Planning Goals -- Hyperintensional Questions -- Skolem Theory and Generalized Quantifiers -- On a Graph Calculus for Algebras of Relations. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5110 606 $aLogic 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aLogic 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aLogic. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aLogic. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a160 701 $aHodges$b Wilfrid$058897 701 $aQueiroz$b Ruy J. G. B. de$01691523 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484432503321 996 $aLogic, language, information and computation$94198433 997 $aUNINA