How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java.
The recession of the 1980s triggered important economic and cultural changes in the United States, and working women were at the center of these changes. Sunbelt Working Mothers compares the experiences of Mexican–American and white mothers employed in apparel and electronics factories in Albuquerque and illuminates the ways in which individual women manage the competing demands of two roles. Authors Lamphere, Zavella, Gonzales, and Evans show how these mothers-without the economic resources of highly paid professional women-find day care, divide economic contributions and household responsibilities with spouses or roommates, and obtain emotional support from kin or friends. After an overview of the recent industrialization of the Sunbelt economy, the authors consider how new participative management techniques have given greater flexibility to some women's work lives. Drawing on interviews with married couples and single mothers, they offer an engaging account of representative women's home lives, and conclude that working families are changing. This timely book will be welcomed by students and scholars in the fields of anthropology, sociology, labor studies, women's studies, and social history.
Louise Cummings provides a comprehensive introduction to speech and language therapy which will give SLT students an excellent starting point for a wide range of communication impairments.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.