04497nam 22005415 450 99646612740331620200702113309.03-540-49435-910.1007/BFb0015232(CKB)1000000000234301(SSID)ssj0000322133(PQKBManifestationID)11246833(PQKBTitleCode)TC0000322133(PQKBWorkID)10280322(PQKB)11341873(DE-He213)978-3-540-49435-5(PPN)155202618(EXLCZ)99100000000023430120121227d1995 u| 0engurnn#008mamaatxtccrComputer Science Today[electronic resource] Recent Trends and Developments /edited by Jan van Leeuwen1st ed. 1995.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1995.1 online resource (XV, 645 p.)Lecture Notes in Computer Science,0302-9743 ;1000Bibliographic Level Mode of Issuance: Monograph3-540-60105-8 A quantum jump in computer science -- Artificial life and real world computing -- Recurrent neural networks -- Scalable computing -- Efficient use of parallel & distributed systems: From theory to practice -- Experimental validation of models of parallel computation -- Quo vadetis, parallel machine models? -- Templates for linear algebra problems -- The ART behind IDEAS -- Algorithmic number theory and its relationship to computational complexity -- Edge-coloring algorithms -- Towards a computational theory of genome rearrangements -- Algebraic topology and distributed computing a primer -- Differential BDDs -- Algorithmic techniques for geometric optimization -- All the needles in a haystack: Can exhaustive search overcome combinatorial chaos? -- Fundamental limitations on search algorithms: Evolutionary computing in perspective -- Mathematical system models as a basis of software engineering -- Formulations and formalisms in software architecture -- The Oz Programming Model -- Standard Generalized Markup Language: Mathematical and philosophical issues -- Avoiding the undefined by underspecification -- Towards a theory of recursive structures -- Chu spaces and their interpretation as concurrent objects -- Abstracting unification: A key step in the design of logic program analyses -- Programming Satan's computer -- Petri Net models of distributed algorithms -- Symmetry and induction in model checking -- Alternating automata and program verification -- Reasoning about actions and change with ramification -- Trends in active vision -- Computational machine learning in theory and praxis -- Fuzzy sets as a tool for modeling -- Information retrieval and informative reasoning -- Database transaction models -- Multimedia authoring tools: State of the art and research challenges -- Computational models for distributed multimedia applications -- Hypermedia systems as internet tools.This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.Lecture Notes in Computer Science,0302-9743 ;1000ComputersEducation—Data processingTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Computers.Education—Data processing.Theory of Computation.Computers and Education.004Leeuwen Jan vanedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466127403316COMPUTER science today120194UNISA05073nam 2200865Ia 450 991077941380332120230207165819.00-8157-2480-20-8157-2478-01-299-38530-30-8157-2449-7(CKB)2550000001017392(EBL)1157544(OCoLC)831115093(SSID)ssj0001073762(PQKBManifestationID)11651269(PQKBTitleCode)TC0001073762(PQKBWorkID)11187149(PQKB)11399652(SSID)ssj0000856467(PQKBManifestationID)11533022(PQKBTitleCode)TC0000856467(PQKBWorkID)10807888(PQKB)11589972(MiAaPQ)EBC1157544(OCoLC)867742241(MdBmJHUP)muse32287(MiAaPQ)EBC4420856(MiAaPQ)EBC5121603(Au-PeEL)EBL1157544(CaPaEBR)ebr10677249(CaONFJC)MIL469780(Au-PeEL)EBL5121603(CaONFJC)MIL501835(OCoLC)1027136639(EXLCZ)99255000000101739220130115d2013 uh 0engur|n|---|||||txtccrMilitary engagement influencing armed forces to support democratic transitions /Dennis BlairWashington, D.C. Brookings Institution Press20131 online resource (2 volumes) illustrations, maps"A project of the Council for a Community of Democracies"--Title page.1-299-70584-7 0-8157-2505-1 Includes bibliographical references and index.Foreword / Dr. Susilo Bambang Yudhoyono -- Acknowledgments -- Introduction : influencing dictatorships to become democracies -- What the armed forces look like in a democracy -- Regional transitions to democracy -- Developing democracy : the crucial role of the armed forces -- Outside influences on democratic development -- Military-military relations during violent insurrections and Campaigns of civil resistance -- Hard cases -- The challenge ahead -- Appendixes -- A. Essential elements of intelligence information needed before meeting with counterparts in authoritarian countries -- B. The role of the armed forces in a democratic system : template for a war college or regional center seminar -- C. Field trip itineraries for military students from autocratic and transitional countries -- D. exercise checklist for the legal and democratic use of force -- Notes -- Further reading -- Index."This handbook is about the role of armed forces in the support and spread of democracy," as Blair states in the Introduction. He provides a concise overview of the topic, including a set of recommendations for officers and defense officials. In eight brisk chapters, Blair shows how established democracies can --and why they should --take full advantage of their points of contact to move dictatorships toward democracy. He explores the potential for democratic armed forces to influence change both in dictatorships like Iran and North Korea and transitioning countries such as Egypt, Kazakhstan and Burma. Recent events in Tunisia, Egypt, and Libya demonstrated that the way in which the military responds to calls for democratic change is crucial in shaping the outcome of potential transitions. What is less understood, however, is the potential role of outside influence in such situations --specifically, how military officers and defense officials in the United States and other democracies can use their relationships with military officers in transitioning countries to improve the prospects for democracy. Under the leadership of Admiral Dennis Blair, the Council for a Community of Democracies has developed a project to inform, guide, and strengthen democratic transitions. They describe how the democracies can prepare ahead of time and respond quickly and effectively in a time of crisis. This project establishes a knowledge base and set of recommendations for military officers and defense officials to support democratic movements.Armed ForcesCivic actionArmed ForcesPolitical activityDemocracyCivil-military relationsMilitary relationsPolitics and warWorld politics21st centuryArmed ForcesCivic action.Armed ForcesPolitical activity.Democracy.Civil-military relations.Military relations.Politics and war.World politics322/.5Blair Dennis C1504640Council for a Community of Democracies,MiAaPQMiAaPQMiAaPQBOOK9910779413803321Military engagement3733756UNINA