You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. The main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI planning, and at the methods that have been developed for solving them. The goal is to provide a modern and coherent view of planning that is precise, concise, and mostly self-contained, without being shallow. For this, we make no attempt at covering the whole variety of planning approaches, ideas, a...
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
Includes section, "Recent book acquisitions" (varies: Recent United States publications) formerly published separately by the U.S. Army Medical Library.
Drawing on the exciting developments that have occurred in the anthropology of art over the last twenty years, this study uses ethnographic methods to explore shifts in the art market and global contemporary art. Recognizing that the huge diversity of global phenomena requires research on the ground, An Anthropology of Contemporary Art examines the local art markets, biennials, networks of collectors, curators, artists, patrons, auction houses, and museums that constitute the global art world.Divided into four parts – Picture and Medium; World Art Studies and Global Art; Art Markets, Maecenas and Collectors; Participatory Art and Collaboration – chapters go beyond the standard emphasis o...
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
This volume combines the classical fields of perception research with the major theoretical attitudes of today's research, distinguishing between experience- versus performance-related approaches, transformational versus interactional approaches, and approaches that rely on the processing versus discovery of information. Perception is separated into two parts. The first part deals with basic processes and mechanisms, and discusses early vision and later, yet still basic, vision. The second covers complex achievements with accounts of perceptual constancies and the perception of patterns, objects, events, and actions.
Isoperimetric, measure concentration and random process techniques appear at the basis of the modern understanding of Probability in Banach spaces. Based on these tools, the book presents a complete treatment of the main aspects of Probability in Banach spaces (integrability and limit theorems for vector valued random variables, boundedness and continuity of random processes) and of some of their links to Geometry of Banach spaces (via the type and cotype properties). Its purpose is to present some of the main aspects of this theory, from the foundations to the most important achievements. The main features of the investigation are the systematic use of isoperimetry and concentration of measure and abstract random process techniques (entropy and majorizing measures). Examples of these probabilistic tools and ideas to classical Banach space theory are further developed.
Based on a conference funded by the National Institutes of Health, this timely book is the most up-to-date and definitive reference on the suprachiasmatic nucleus (SCN), the part of the brain that controls circadian rhythms in mammals. These biological rhythms range from daily fluctuations in metabolism to seasonal and annual cycles. This book comprehensive and incisive review of the SCN covers anatomy and physiology, intrinsic SCN rhythms, circadian rhythms, neuropharmacology, transplants, and development.