02440nlm0 22006491i 450 9900092593604033219783642004315000925936FED01000925936(Aleph)000925936FED0100092593620100926d2009----km-y0itay50------baengDEdrnn-008mamaaModel Checking and Artificial IntelligenceRisorsa elettronica5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papersedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. WooldridgeBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435348Documento elettronicoTestoFormato html, pdfGoebel,RandyHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Peled,Doron A.Siekmann,JörgSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Wahlster,WolfgangWeikum,GerhardWooldridge,Michael J.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00431-5EB990009259360403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringModel Checking and Artificial Intelligence772652UNINA03460nam 2200721Ia 450 991096986060332120251116161108.09780309169110030916911997803095033270309503329(CKB)111069351129680(EBL)3375388(SSID)ssj0000139653(PQKBManifestationID)11144750(PQKBTitleCode)TC0000139653(PQKBWorkID)10010139(PQKB)11178149(MiAaPQ)EBC3375388(Au-PeEL)EBL3375388(CaPaEBR)ebr10038661(OCoLC)923255979(Perlego)4730808(BIP)53856258(BIP)7987867(EXLCZ)9911106935112968020030626d2002 uy 0engur|n|---|||||txtccrDiscouraging terrorism some implications of 9/11 /Panel on Understanding terrorists in Order to Deter Terrorism, Neil J. Smelser and Faith Mitchell, editors ; Center for Social and Economic Studies, of Behavioral and Social Sciences and Education, National Research Council of the National Academies1st ed.Washington, D.C. National Academy Pressc20021 online resource (46 p.)Description based upon print version of record.9780309085304 0309085306 Includes bibliographical references (p. 33-36).1. Preface -- Executive summary -- terrorists' motives, values, and organization (deterrence of terrorism, audiences for terrorists: six subsets, organization of terrorist network) -- Condigtions and contexts of terrorism (historical givens of contemporary terrorism, political considerations, demographic and economic considerations) -- Conclusions and recommendations -- References.This report addresses the question of what terrorists hold in value. This question is posed in order to assess some means and strategies for deterring, deflecting, or preventing terrorist activities. The report approaches the question on several levels, moving from the use of short-term deterrent strategies to the modification of the broader contexts and conditions conducive to terrorist activities in the long run. The report focuses on contemporary Islamic extremist terrorism but deals with generic dimensions in many instances.Discouraging terrorism : some implications of nine elevenSeptember 11 Terrorist Attacks, 2001TerrorismPsychological aspectsTerrorismUnited StatesPreventionTerroristsPsychologySeptember 11 Terrorist Attacks, 2001.TerrorismPsychological aspects.TerrorismPrevention.TerroristsPsychology.363.320973Smelser Neil J89308Mitchell Faith1952-1803681National Research Council (U.S.).Panel on Understanding Terrorists in Order to Deter Terrorism.National Research Council (U.S.).Division of Behavioral and Social Sciences and Education.MiAaPQMiAaPQMiAaPQBOOK9910969860603321Discouraging terrorism4355540UNINA