02928nam 2200625 450 99646586170331620220514054721.03-540-74128-310.1007/978-3-540-74128-2(CKB)1000000000490798(SSID)ssj0000318966(PQKBManifestationID)11265711(PQKBTitleCode)TC0000318966(PQKBWorkID)10336501(PQKB)11420877(DE-He213)978-3-540-74128-2(MiAaPQ)EBC3063365(MiAaPQ)EBC6711166(Au-PeEL)EBL6711166(OCoLC)184927916(PPN)123164222(EXLCZ)99100000000049079820220514d2007 uy 0engurnn|008mamaatxtccrModel checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers /Stefan Edelkamp, Alessio Lomuscio (editors)1st ed. 2007.Berlin ;Heidelberg :Springer,[2007]©20071 online resource (IX, 185 p.) Lecture notes in computer science. Lecture notes in artificial intelligence ;4428Bibliographic Level Mode of Issuance: Monograph3-540-74127-5 Includes bibliographical references and index.A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking.Lecture notes in computer science.Lecture notes in artificial intelligence ;4428.Computer systemsVerificationCongressesComputer softwareVerificationCongressesArtificial intelligenceCongressesComputer systemsVerificationComputer softwareVerificationArtificial intelligence006.3Edelkamp StefanLomuscio AlessioMiAaPQMiAaPQMiAaPQBOOK996465861703316Model Checking and Artificial Intelligence772652UNISA06122nam 2200469 450 991077209160332120230314145923.00-429-05814-40-429-60342-8(MiAaPQ)EBC7126522(Au-PeEL)EBL7126522(CKB)25208253200041(EXLCZ)992520825320004120230314d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRoutledge handbook of intoxicants and intoxication /Geoffrey Hunt, Tamar M. J. Antin, and Vibeke Asmussen FrankOxon, UK ;New York, NY :Routledge, Taylor & Francis Group,[2022]©20221 online resource (xxiii, 615 pages) illustrationsRoutledge International HandbooksPrint version: Hunt, Geoffrey Routledge Handbook of Intoxicants and Intoxication Milton : Taylor & Francis Group,c2022 9780367178703 Includes bibliographical references and index.Theme I: The meanings of intoxicants -- Intoxications and their meanings / Craig Reinarman -- Nic'd up: a practice theory approach to understanding vaping nicotine as intoxication / Ruth Lewis, Emily Kaner & Tamar M.J. Antin -- Recreational drug use as everyday life: explorations of young adults' gendered motivations for taking drugs in Nigeria / Emeka W. Dumbili, MaryJane Nnajiofor & Emmanuel C. Ezekwe -- When the clock takes over: hangovers in twentieth-century British and American fiction and poetry / Jonathon Shears -- Theme II: Social life of intoxicants -- Intoxicating consumption: capitalism and the commodification of pleasure / Gerda Reith -- Producing planned hedonism among opiate users in an online drug market / Angus Bancroft -- Craft drinks, connoisseurship and intoxication / Thomas Thurnell-Read -- Ecstasy: a synthetic history of MDMA / Peder Clark -- Theme III: Intoxicating settings -- The social work of coffee: coffee consumption in Bosnia and Herzegovina and the Bosnian diaspora / Ana Croegaert -- Expanding intoxication: what can drinking places (c.1850-1950) tell us about other intoxicants and other sites? / James Kneale -- Join us for drinks: intoxication, work and academic conferences / Helen Keane -- Exploring the motivations and social organisation of intoxication in prison settings / Torsten Kolind and Karen Duke -- How methadone becomes an intoxicant: the making of methadone within prisons in the Kyrgyz Republic / Lyu Azbel and Frederick L. Altice -- Trades-offs between intoxication, safety, and sociability within a drug-consumption facility / Esben Houberg and Siv Schjøll Berge -- Intoxicants in warfare /Lukasz Kamieński -- Theme IV: Intoxication practices -- Engaging with drug, set, and setting to understand nicotine use experiences and practices / Julia McQuoid -- 'Uninhibited play': the political and pragmatic dimensions of intoxication within queer cultures / Kane Race, Kiran Pienaar, Dean Murphy & Toby Lea -- Ritual to reflexivity - from promotion and problematisation of intoxication to proportionality / John O'Brien -- Theme V: Alternative approaches for studying intoxication -- Intoxication made visible: the sober sciences of intoxication, euphoria, and overdose in the laboratory / Nancy D. Campbell -- Trip reports: exploring the experience of psychedelic intoxication / Jonas Bååth and Johan Nordgren -- Passion, reason and the politics of intoxication: ontopolitically-oriented approaches to alcohol and other drug intoxication / Suzanne Fraser, Adrian Farrugia & Renae Fomiatti -- Theme VI: Scapegoated substances -- Alcohol, slavery and race in Brazil during the long nineteenth century / Lucas Brunozi Avelar and Deborah Toner -- Street-level policing, structural violence and habitus: accounts of street-involved cannabis users in Nigeria / Ediomo-Ubong E. Nelson -- Ethnified intoxication--khat use and the Somali community in Sweden / Johan Nordgren -- Symbolic meaning of the amphetamine-type stimulant problem throughout the restoration of Japanese society after WWII: drug control and the construction of the other / Akihiko Sato -- Theme VII: Discourses shaping intoxication and people who use intoxicants -- Risk, intoxication and death: contemporary media framing of drug-related deaths / Susanne MacGregor and Betsy Thom -- Clearing the air: toxic healthism and cigarette(s) (smoke) as (in)toxicant(s) / Qian Hui Tan -- Fighting intoxication and addiction: international drug control as a self-perpetuating social system / Axel Klein -- Handling complexity: constituting the relationship between intoxication and violence in Australian alcohol policy discourse / David Moore, Helen Keane, Duane Duncan & Emily Lenton -- Theme VIII: Notions of excess -- Altered states: changing conditions of excess in European drinking cultures / Dorota Dias-Lewandowska, Laura Fenton, Sam Goodman & Beat Kümin -- From 'pledge' to 'public health': medical responses to Ireland's drinking culture, c. 1890-2018 / Alice Mauger -- 'Drinking himself to death': the chronic drunkard in British mid-Victorian fiction and culture / Pam Lock -- Information Classification: General -- Tea, addiction and late-Victorian narratives of degeneration, c.1860-1900 / Ian Miller -- Conceiving addiction: historical constructions of chronic intoxicant use / David Clemis.Bringing together scholars from different disciplines in the humanities and social sciences, this multidisciplinary Handbook offers a comprehensive critical overview of intoxicants and intoxication.Routledge international handbooks.IntoxicationCross-cultural studiesIntoxication394.1/4Hunt Geoffrey1947-476497Antin Tamar M. J.Frank Vibeke AsmussenMiAaPQMiAaPQMiAaPQBOOK9910772091603321Routledge handbook of intoxicants and intoxication3661552UNINA