You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book provides the first graduate-level, self-contained introduction to recent developments that lead to the formulation of the configuration-interaction approach for open quantum systems, the Gamow shell model, which provides a unitary description of quantum many-body system in different regimes of binding, and enables the unification in the description of nuclear structure and reactions. The Gamow shell model extends and generalizes the phenomenologically successful nuclear shell model to the domain of weakly-bound near-threshold states and resonances, offering a systematic tool to understand and categorize data on nuclear spectra, moments, collective excitations, particle and electrom...
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software...
Independent, scientifically based, integrated, policy-relevant analysis of current and emerging energy issues for specialists and policymakers in academia, industry, government.
Every four years, the FIFA World Cup captures the global imagination like no other sporting spectacle. With a cumulative television audience of several billion people tuning in to the 2014 World Cup, and an estimated 700 million watching the finals—including more than 25 million in the United States alone—the World Cup is the world’s most-watched sporting event. The Encyclopedia of the FIFA World Cup provides the most comprehensive and up-to-date information available on the history of this incomparable event. An introductory narrative explains the origins and historical progression of the World Cup, while a chronology traces the development of the World Cup since it was first held in ...
"World Energy Outlook 2008 draws on the experience of another turbulent year in energy markets to provide new energy projections to 2030, region by region and fuel by fuel, incorporating the latest data and policies. "
These proceedings are the fifth in the series of International Conferences covering fission and properties of neutron-rich nuclei, which are at the forefront of nuclear research. The time interval of 5 years between each conference allows for significant new results to be achieved. Recently, world leaders in theory and experiments in research and the development of new facilities for research presented their latest results in areas such as synthesis of superheavy elements, new facilities for and recent results with radioactive ion beams, structure of neutron-rich nuclei, nuclear fission process, fission yields and nuclear astrophysics. This book is a major source of the latest research in these areas and plans for the future. The conference brought together a unique group of over 100 speakers including leaders from the major nuclear laboratories in Canada, China, France, Finland, Germany, Italy, Japan, Russia, Switerzland and the US along with leading research scientists from around the world.
The predominant role of unused fertilizers in reactive nitrogen pollution and the need for research and policies to improve nitrogen use efficiency (NUE) is now well known globally. NUE research was originally championed by the scientists of the International Nitrogen Initiative (INI) and later recognized by some national governments and UN agencies such as UNEP, FAO and UNECE. The resulting first ever UN resolution on “Sustainable nitrogen management” in 2019 boosted the demand for solutions, especially in agriculture. The Berlin Declaration from the INI 2021 conference called for improvement of nitrogen use efficiency towards achieving sustainable food systems and all the 17 sustainabl...
This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2022, virtually and in Hersonissos, Crete, Greece, in June 2022: the 11th Mining Humanistic Data Workshop (MHDW 2022); the 7th 5G-Putting Intelligence to the Network Edge Workshop (5G-PINE 2022); the 1st workshop on AI in Energy, Building and Micro-Grids (AIBMG 2022); the 1st Workshop/Special Session on Machine Learning and Big Data in Health Care (ML@HC 2022); and the 2nd Workshop on Artificial Intelligence in Biomedical Engineering and Informatics (AIBEI 2022). The 35 full papers presented at these workshops were carefully reviewed and selected from 74 submissions.