An updated third edition of this award-winning book provides a comprehensive overview of the complex associations between cannabis and mental illness. Organised into easy to navigate sections, the book has been fully revised to feature eight entirely new chapters covering important novel aspects. Marijuana and Madness incorporates new research findings on the potential use of cannabinoids, and synthetic cannabinoids, in an array of mental illnesses, balanced against the potential adverse e...

The second edition of this critically acclaimed and award-winning text provides a comprehensive overview of the psychiatry and neuroscience of Cannabis sativa (marijuana). It outlines the very latest developments in our understanding of the human cannabinoid system, and links this knowledge to clinical and epidemiological facts about the impact of cannabis on mental health. Clinically focused chapters review not only the direct psychomimetic properties of cannabis, but also the impact cons...

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural...