Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.

The Derivatives Sourcebook is a citation study and classification system that organizes the many strands of the derivatives literature and assigns each citation to a category. Over 1800 research articles are collected and organized into a simple web-based searchable database. We have also included the 1997 Nobel lectures of Robert Merton and Myron Scholes as a backdrop to this literature.

This bibliography on the water and geological information or Liberia was begun in 1995 as a request through the US Department or State by the Government or Liberia. It brings together selected citations from a variety of different cartographic, geographical, geological and hydrological resources and specialized library collections. Most of the citations have location information on where these items can be located and used on site, and either borrowed through inter-library loan or purchased through a commercial document delivery services.

This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.

This book gathers the proceedings of the 7th International Conference, with the theme “Culture and Tourism in a Smart, Globalized and Sustainable World,” held on Hydra Island, Greece, on June 17–19, 2020, published with the support of the International Association of Cultural and Digital Tourism. Highlighting the contributions made by numerous writers to the advancement of tourism research, this book presents a critical academic discourse on sustainable practices in the smart tourism context, improving readers’ understanding of, and stimulating future debates in, this critical area. In addition to the knowledge economy and the concept of smart destinations, the book addresses new modes of tourism management and development, as well as emerging technologies, including location-based services, the Internet of things, smart cities, mobile services, gamification, digital collections and the virtual visitor, social media, social networking, and augmented reality.