This open access contributed volume examines the ethical and legal foundations of (future) policies on recommender systems and offers a transdisciplinary approach to tackle important issues related to their development, use and integration into online eco-systems. This volume scrutinizes the values driving automated recommendations - what is important for an individual receiving the recommendat…
This open access book provides insight into the implementation of Life Cycle approaches along the entire business value chain, supporting environmental, social and economic sustainability related to the development of industrial technologies, products, services and policies; and the development and management of smart agricultural systems, smart mobility systems, urban infrastructures and energ…
This open access book surveys the development of OCAC technology in the last decade for solid fuel conversion in fluidized beds. The scientific concerns, including combustion and emission characteristics, ash-related problems, OC aging, and so on, are summarized and analyzed. Beyond this, new concepts like OCAC with Oxy-PFBC, OCAC coupled with staged fuel conversion, OCAC in rotatory kilns and …
Introduction CONTENTS Preface Foreword by Keith Solomon and John Giesy Foreword by Coordinating Board of Editors Ecological Risk Assessment of the Uses of the Organophosphorus Insecticide Chlorpyrifos, in the United States John P. Giesy, Keith R. Solomon, G. Christopher Cutler, Jeffrey M. Giddings, Don Mackay, Dwayne Moore, John Purdy, W. Martin Williams Properties and Uses of Chlorpyrifos in t…
The aim of this open access book is to review and analyse the goods and services of bivalve shellfish. How they are defined, what determines the ecological functions that are the basis for the goods and services, what controversies in the use of goods and services exist, and what is needed for sustainable exploitation of bivalves from the perspective of the various stakeholders. The book is foc…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…
This open access two-volume 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 organized in the following top…