The goal of this research topic was to motivate innovative research that blurs traditional disciplinary and geographical boundaries. As the scientific community continues to gain momentum and knowledge about how the natural world functions, it is increasingly important that we recognize the interconnected nature of earth systems and embrace the complexities of ecosystem transitions. We are pleased to present this body of work, which embodies the spirit of research spanning across the terrestrial-aquatic continuum, from mountains to the sea. Publisher’s note: In this 2nd edition, the following article has been updated: Sawakuchi HO, Neu V, Ward ND, Barros MdLC, Valerio AM, Gagne-Maynard W, Cunha AC, Less DFS, Diniz JEM, Brito DC, Krusche AV and Richey JE (2017) Carbon Dioxide Emissions along the Lower Amazon River. Front. Mar. Sci. 4:76. doi: 10.3389/fmars.2017.00076

Treedom is an exploration of Japan's most well-known treehouse builder Takashi Kobayashi. Takahashi, who has been featured in the New York Times and on Animal Planet's Treehouse Masters, as well as many television programs, newspapers, and magazines in Japan, examines being an outcast in a rigid society of rules and conformity and finding salvation in the trees. Treedom, filled with photography, poetry, and Takashi's personal accounts of treehouse building, describes how treehouse living is not just a lifestyle but a philosophy.

This book presents research on precipitation partitioning processes in vegetated ecosystems, putting them into a global context. It describes the processes by which meteoric water comes into contact with the vegetation's canopy, typically the first surface contact of precipitation on land. It also discusses how precipitation partitioning by vegetation impacts the amount, patterning, and chemistry of water reaching the surface, as well as the amount and timing of evaporative return to the atmosphere. Although this process has been extensively studied, this is the first review of the global literature on the partitioning of precipitation by forests, shrubs, crops, grasslands and other less-studies plant types. The authors offer global contextualization combined with a detailed discussion of the impacts for the climate and terrestrial ecohydrological systems. As such, this comprehensive overview is a valuable reference tool for a wide range of specialists and students in the fields of geoscience and the environment.

The majority of carbon stored in the soils of the world is stored in forests. The refractory nature of some portions of forest soil organic matter also provides the slow, gradual release of organic nitrogen and phosphorus to sustain long term forest productivity. Contemporary and future disturbances, such as climatic warming, deforestation, short rotation sylviculture, the invasion of exotic species, and fire, all place strains on the integrity of this homeostatic system of C, N, and P cycling. On the other hand, the CO2 fertilization effect may partially offset losses of soil organic matter, but many have questioned the ability of N and P stocks to sustain the CO2 fertilization effect. Despite many advances in the understanding of C, N, and P cycling in forest soils, many questions remain. For example, no complete inventory of the myriad structural formulae of soil organic N and P has ever been made. The factors that cause the resistance of soil organic matter to mineralization are still hotly debated. Is it possible to “engineer” forest soil organic matter so that it sequesters even more C? The role of microbial species diversity in forest C, N, and P cycling is poorly understood. The difficulty in measuring the contribution of roots to soil organic C, N, and P makes its contribution uncertain. Finally, global differences in climate, soils, and species make the extrapolation of any one important study difficult to extrapolate to forest soils worldwide.

Digital transformation is one of the most discussed topics today because of its impact on society and the economy. This book explores how digital transformation can be made sustainable and how sustainability strategies can be integrated into the different phases of digital transformation development. It shows how ICT experts, managers, and policy makers can contribute to a sustainable digital transformation by examining the technological, organizational, and societal implications. The book is based on a selection of best papers on this topic presented at the annual conference of the Italian Chapter of AIS in Trento, Italy, in October 2021. The plurality of views offered makes the book particularly relevant for scholars, companies, and organizations in the public sector.

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between functional and relational views, deductive and denotational approaches as well as between specification and programming are relieved in favour of their integration. The book will not expose the lines of this development; conversely, it starts out from the nucleus of Hom clause logic and brings forth both known and unknown results, most of which affect more than one of the fields mentioned above. Chapter 1 touches on historical issues of specification and prototyping and delimits the topics handled in this book from others which are at the core of related work. Chapter 2 provides the fundamental notions and notations needed for the presentation and interpretation of many-sorted Horn clause theories with equality. Chapter 3 supplies a number of sample Hom clause specifications ranging from arithmetic through string manipulation to higher data structures and interpreters of programming languages. Some of these examples serve as a reference to illustrate definitions and results, others may throw a light on the strong link between specifications and programs, which are executed by applying deduction rules. Thus we have included examples of how to use program trans/ormation methods in specification design.