The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
William Sharp (1855-1905) conducted one of the most audacious literary deceptions of his or any time. A Scottish poet, novelist, biographer, and editor, he began in 1893 to write critically and commercially successful books under the name Fiona Macleod who became far more than a pseudonym. Enlisting his sister to provide the Macleod handwriting, he...
This book comprises the Proceedings of the 12th International Congress on Mathematical Education (ICME-12), which was held at COEX in Seoul, Korea, from July 8th to 15th, 2012. ICME-12 brought together 4700 experts from 100 countries, working to understand all of the intellectual and attitudinal challenges in the subject of mathematics education as...
This cutting edge text considers how Asian philanthropists and charitable organizations break with Western philanthropic traditions and examines the key traits and trends that make social investment in Asia unique. Based on 30 case studies of excellent social delivery organizations (SDOs) and social enterprises as well as interviews with ultra-high...
This book presents the diagnosis, investigation and treatment of neurovascular diseases, and offers expert opinions and advice on avoiding complications in neurovascular surgery. It also covers complication management and post-operative follow-up care. The book is divided in to three parts; the first part discusses common approaches in neurovascula...
This book explores the social history of the anti-vivisection movement in Britain from its nineteenth-century beginnings until the 1960s. It discusses the ethical principles that inspired the movement and the socio-political background that explains its rise and fall. Opposition to vivisection began when medical practitioners complained it was cont...
This book focuses on nuclear engineering education in the post-Fukushima era. It was edited by the organizers of the summer school held in August 2011 in University of California, Berkeley, as part of a collaborative program between the University of Tokyo and UC Berkeley. Motivated by the particular relevance and importance of social-scientific ap...
The book presents the Invited Lectures given at 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the Society of Didactics of Mathematics (Gesellschaft für Didaktik der Mathematik - GDM) and took place under the...
Legal studies and consequently legal history focus on constitutional documents, believing in a nominalist autonomy of constitutional semantics.Reconsidering Constitutional Formation in the late 18th and 19th century, kept historic constitutions from being simply log-books for political experts through a functional approach to the interdependencies ...
This book tells the story of Barbara Robb and her pressure group, Aid for the Elderly in Government Institutions (AEGIS). In 1965, Barbara visited 73-year-old Amy Gibbs in a dilapidated and overcrowded National Health Service psychiatric hospital back-ward. She was so appalled by the low standards that she set out to make improvements. Barbara'...
This book disseminates some of the results of the European H2020 AiRT Project (Technology transfer of RPAs for the creative industry). In particular, it presents findings related to mitigating safety and security concerns when civil drones are piloted by the service sector (mainly, the creative industry). European policies regarding drones generall...
The book presents the Proceedings of the 13th International Congress on Mathematical Education (ICME-13) and is based on the presentations given at the 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the Societ...
This book is based on selected presentations from Topic Study Group 21: Mathematical Applications and Modelling in the Teaching and Learning of Mathematics at the 13th International Congress on Mathematical Education (ICME 13), held in Hamburg, Germany on July 24–31, 2016. It contributes to the theory, research and teaching practice concerning th...
Carried by a long-awaited wind, the chlorine cloud passed within a few minutes through the British and French trenches, leaving behind at least 1,000 dead and 4,000 injured. This chemical attack, which amounted to the first use of a weapon of mass destruction, marks a turning point in world history. The preparation as well as the execution of the g...
"Dr Cassidy draws pertinent general conclusions about generating policy and mediating the role of the expert in today's science-sceptic and increasingly polarised society... It is both a useful and original contribution, specifically to the history of zoonotic disease policy, and policy history more generally."—Helen Bynum, Author ...
This open access book describes the three planning approaches and legacy impacts for the Olympic Games in one locale: the city of Los Angeles, USA. The author critically compares the similarities and differences of the LA Olympics by reviewing the 1932 and 1984 Olympics and by analyzing the concurrent planning process for the 2028 Olympics. The au...
This open access book provides the first comprehensive collection of papers that provide an integrative view on cybersecurity. It discusses theories, problems and solutions on the relevant ethical issues involved. This work is sorely needed in a world where cybersecurity has become indispensable to protect trust and confidence in the digital infras...
Guido van Rossum created the Python programming language in the late 1980s. In contrast to other popular languages such as C, C++ , Java, and C#, Python strives to provide a simple but powerful syntax.
Python is used for software development at companies and organizations such as Google, Yahoo, Facebook, CERN, Industrial Light and Magic, and NAS...
This open access book follows the idea that security policy must be based on strategic analysis. Defence policy and the role of the armed forces can subsequently be determined on the grounds of said analysis. More than ever, internal and external security, and developments both in the Netherlands and abroad are interconnected. The world order is sh...
Being a successful manager or entrepreneur in the media and digital sector requires creativity, innovation, and performance. It also requires an understanding of the principles and tools of management. Aimed at the college market, this book is a short, foundational volume on media management. It summarizes the major dimensions of a business school ...
What does it take for success in the media business? Creativity, innovation, and performance, of course. Plus experience and good judgment. However, it also requires an understanding of the principles and tools of management. This book summarizes the major dimensions of a business school curriculum and applies them to the entire media, media-tech, ...
This book vividly presents the story of Margery Spring Rice, an instrumental figure in the movements of women's health and family planning in the first half of the twentieth century. Margery Spring Rice, née Garrett, was born into a family of formidable female trailblazers - niece of physician and suffragist Elizabeth Garrett Anderson, and of...
During the Cold War, American labour organizations were at the centre of the battle for the hearts and minds of working people. At a time when trade unions were a substantial force in both American and European politics, the fiercely anti-communist American Federation of Labor - Congress of Industrial Organizations (AFL - CIO), set a strong example...
The naval leader has taken centre stage in traditional naval histories. However, while the historical narrative has been fairly consistent the development of various navies has been accompanied by assumptions, challenges and competing visions of the social characteristics of naval leaders and of their function. Whilst leadership has been a constant...
In July 1905, in Paris, a young Anglo-French woman called Marie Wheeler became the bride of a Swiss émigré, Johannes Schad. Immediately after the wedding, Marie and Johannes moved to London. And there they lived for nineteen years. In 1924, however, something happened to change their lives, and Marie, in many respects, simply disappeared.
Pari...
This open book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded by the German Research Foundation (DFG). Gathering innovative design concepts for thrust chambers and nozzles, as well as cutting-edge methods of aft-body flow control and propulsion-component cooling, it brings together fu...
This open book explores the history of asylums and their civilian patients during the First World War, focusing on the effects of wartime austerity and deprivation on the provision of care. While a substantial body of literature on ‘shell shock’ exists, this study uncovers the mental wellbeing of civilians during the war. It provides the first ...
This open book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop "Embedded Systems" held at the Technical University Dortmund in early July 2019 in honor of Professor M...
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human survival. It carefully validates data on supercentenarians, aged 110+, and semi-supercentenarians, aged 105-109, stored in the International Database on Longevity (IDL). The chapters in this book contribute substantial advance...
This open book explores the enactment, impact and implications of the Prevent Duty across a range of educational contexts. In July 2015 the UK became the first country to place a specific legal requirement on those working in education to contribute to efforts to 'prevent people from being drawn into terrorism'. Drawing on extensive re...
This open book features a selection of high-quality papers from the presentations at the International Conference on Spectral and High-Order Methods 2018, offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive ...
This open book on the history of the National Radio Astronomy Observatory covers the scientific discoveries and technical innovations of late 20th century radio astronomy with particular attention to the people and institutions involved. The authors have made extensive use of the NRAO Archives, which contain an unparalleled collection of documents ...