The mysterious world of fungi is once again unearthed in this expansive second edition. This textbook provides readers with an all-embracing view of the kingdom fungi, ranging in scope from ecology and evolution, diversity and taxonomy, cell biology and biochemistry, to genetics and genomics, biotechnology and bioinformatics. Adopting a unique systems biology approach - and using explanatory fi…
Numerous laws – including the Green New Deal – have been proposed or passed in cities, states, and countries to transition from fossil fuels to 100% clean, renewable energy in order to address climate change, air pollution, and energy insecurity. This textbook lays out the science, technology, economics, policy, and social aspects of such transitions. It discusses the renewable electricity …
This book is a "How To" guide for modeling population dynamics using Integral Projection Models (IPM) starting from observational data. It is written by a leading research team in this area and includes code in the R language (in the text and online) to carry out all computations. The intended audience are ecologists, evolutionary biologists, and mathematical biologists interested in developing…
Audit is an essential activity for all psychiatrists. Involvement in audit must be evidenced by consultants for revalidation and by trainees in their Annual Review of Competence Progression (ARCP). This book will therefore be relevant for psychiatrists of all grades. It aims to help ease the audit process by offering tried and tested recipes for conducting audits in clinical services. All the a…
String matching is one of the oldest algorithmic techniques, yet still one of the most pervasive in computer science. The past 20 years have seen technological leaps in applications as diverse as information retrieval and compression. This copiously illustrated collection of puzzles and exercises in key areas of text algorithms and combinatorics on words offers graduate students and researchers…
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
The French Revolution marks the beginning of modern politics. Using a diverse range of sources, Robert H. Blackman reconstructs key constitutional debates, from the initial convocation of the Estates General in Versailles in May 1789, to the National Assembly placing the wealth of the Catholic Church at the disposal of the nation that November, revealing their nuances through close readings of …
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and i…
This important book reflects the challenges and questions currently foremost in scholars', activists' and policy-makers' minds—the Anthropocene, environmental justice, China's Belt and Road Initiative, and post-politics—all addressed through the lens of environmental movements in Asia.—Jonathan Rigg, Professor at the School of Geographical Sciences, University of Bristol