This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.

This book examines essential problems in the current International Monetary System, especially those concerning the International Standard. To do so, it focuses on the different monetary systems of today’s major currencies – the US dollar, the euro and the CNY, as well as the performance of the standards used in the international monetary system, i.e., the SDRs. In addition, it projects the potential consequences of including the Chinese CNY in the current SDR system, thus proposing a refo...

This SpringerBrief mainly focuses on effective big data analytics for CPS, and addresses the privacy issues that arise on various CPS applications. The authors develop a series of privacy preserving data analytic and processing methodologies through data driven optimization based on applied cryptographic techniques and differential privacy in this brief. This brief also focuses on effectively integrating the data analysis and data privacy preservation techniques to provide the most desirab...

Gives readers a detailed understanding of adsorption refrigeration technology, with a focus on practical applications and environmental concernsSystematically covering the technology of adsorption refrigeration, this book provides readers with a technical understanding of the topic as well as detailed information on the state-of-the-art from leading researchers in the field. Introducing readers to background on the development of adsorption refrigeration, the autho...

While the Chinese urban movement has successfully transferred surplus labor from the countryside to urban industries that urgently require free and cheap labor, numerous problems have arisen as a result of the unprecedented huge-scale process. Such conditions such as overcrowding, substandard housing, lack of social services, corruption, and abuse of power have often reached crisis stage. American college students often ask: How does the government control the largest urban population in t...

The macroeconomic experience of emerging and developing economies has tended to be quite different from that of industrial countries. Compared to industrial countries, emerging and developing economies have tended to be much more unstable, with more severe boom/bust cycles, episodes of high inflation and a variety of financial crises. This textbook describes how the standard macroeconomic models that are used in industrial countries can be modified to help understand this experience and ho...

Over the past decade, Indonesia has developed into an important regional and global economy, as well as an active participant in the G20. The chapters in this book document the substantial improvements in the quality of macroeconomic policy that Indonesia has achieved, while also clearly laying out an agenda of measures that should be taken to safeguard these gains and further lower vulnerabilities going forward. Rather than just demonstrating progress in key macroeconomic indicators, the ...

Few topics have attracted as much attention worldwide in recent years as the RMB. These debates have gained added urgency in light of the financial crisis and the topic of RMB revaluation is now being actively debated in countries all over the world from Tunisia to the United States. This book explores the ever-changing role of the RMB and the related derivative products. However, it does so from a view that is heavily influenced by the fallout from the financial crisis as well as the in t...

Fiscal policy seeks to equilibrate the public sector's financing needs with the private sector's demand for investment and a sustainable balance of payments. Correct measurement of the public sector's net use of resources is therefore an important prerequisite for managing the macroeconomy. This volume, edited by Mario I. Blejer and Adrienne Cheasty, is organized around four issues: the adequacy of summary measures of the fiscal deficit, conventional and adjusted deficits, coverage (size) of ...

An insider's guide to investing in EuropeWith the U.S. market in shambles, investors are looking for other places to put their money. Europe has become the destination of choice, and will continue to be for the foreseeable future.Using the different perspectives of an author who lives in Europe and an author who lives in the United States, Invest in Europe Now! is one the most informative guides to making money outside North America. It outlines th...

This paper describes recently established deposit insurance systems, identifying emerging trends. In line with previous IMF work on the subject, it argues against the development of "best practices" applicable to all systems. Rather, it stresses the importance of incorporating each country’s individual objectives in adopting a deposit insurance system, as well as that country’s characteristics, to ensure an effective system that minimizes disincentives and distortions to financial sector i...