Sustained Simulation Performance 2021

Sustained Simulation Performance 2021
Author: Michael M. Resch
Publisher: Springer Nature
Total Pages: 107
Release: 2023-02-17
Genre: Computers
ISBN: 3031180461

This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2021 at the 31st Workshop on Sustained Simulation Performance, WSSP31, held at HLRS in Stuttgart, Germany, and WSSP32, held at Tohoku University in Sendai, Japan.

Sustained Simulation Performance 2022

Sustained Simulation Performance 2022
Author: Michael M. Resch
Publisher: Springer Nature
Total Pages: 84
Release: 2024
Genre: Computer engineering
ISBN: 3031410734

Zusammenfassung: This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2022 at the 33rd Workshop on Sustained Simulation Performance, WSSP33, held at HLRS in Stuttgart, Germany, and WSSP34, held at Tohoku University in Sendai, Japan

Sustained Simulation Performance 2019 and 2020

Sustained Simulation Performance 2019 and 2020
Author: Michael M. Resch
Publisher: Springer Nature
Total Pages: 187
Release: 2021-03-01
Genre: Computers
ISBN: 3030680495

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High Performance Data Analytics. In addition, they explore new topics like the use of High Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented at the 30th Workshop on Sustained Simulation Performance (WSSP) held at the High Performance Computing Center, University of Stuttgart, Germany in October 2019 and on the papers for the planned Workshop on Sustained Simulation Performance in March 2020, which could not take place due to the Covid-19 pandemic.

Advancement of GI-Science and Sustainable Agriculture

Advancement of GI-Science and Sustainable Agriculture
Author: Jayanta Das
Publisher: Springer Nature
Total Pages: 355
Release: 2023-10-29
Genre: Science
ISBN: 3031368258

This book describes the contributing aspects of contemporary developments related to sustainable agricultural resources and assessment of sustainable agriculture in developing nations. The issues like food crisis and declining agro-productivity, post-pandemic food security, zonation and mapping technique viewing food crisis, biotechnology and sustainable agricultural, scaling hunger indices, health hazard and food crisis, changing climate and food availability, consumer load and fertilizer usage, growing demand and increasing usage of harmful chemical in agro-fields are regarded as serious concerns. Thereafter, the scope of sustainable agricultural potentiality (SAP) modeling, amidst the arena of deforestation and encroachment of new cultivable land, impact of pandemic on sustainable agriculture, using wastewater as non-sustainable agricultural practice, applying geospatial techniques on extreme weather susceptibility and agro-production, soil erosion and poor agricultural production, questioning shifting cultivation on the issue of sustainability, meteorological drought and irrigational gaps, occupational mobility and loss of agricultural heritage, farm-excreta burning and air quality index (AQI), GI-Science and sustainable agro-management, community preparedness in food crisis management, multi-criteria hunger index (MCHI), climate change declining sustainable agro-production are worth some. Almost the entire world has recently suffered from several natural and human-induced problems, among which food crisis and unsustainable agriculture throw significant challenges to human society. Contrastingly, if modern technology and means, with advanced monitoring and calibration methodology and policy guidance, can help, it will undoubtedly reduce half of the world's problems and ensure the future survival of human society. In addition, this approach also can minimize the other partially linked problems, like climate change and food shortage, livelihood crisis, environmental refugees, international trade balance, global food supply chain interruption, the ever-expanding gap between rich and poor, and so on. Therefore, properly nurturing the knowledge on the application of GI-Science for an agriculturally sustainable society and their monitoring and management can curtail the gap between science, policy, and the ground-level scenario concerned.

Proceedings of the 2nd International Conference on Green Energy, Environment and Sustainable Development (GEESD2021)

Proceedings of the 2nd International Conference on Green Energy, Environment and Sustainable Development (GEESD2021)
Author: D. Dobrotă
Publisher: IOS Press
Total Pages: 764
Release: 2021-12-21
Genre: Technology & Engineering
ISBN: 1643682237

The need for green technologies and solutions which will deliver the energy requirements of both the developed and developing world to support sustainability and protect the environment worldwide has never been more urgent. This book contains the proceedings of the 2nd International Conference on Green Energy, Environment and Sustainable Development (GEESD2021) which, due to the COVID-19 pandemic around the world and with the strict travel restrictions in China, was held as a hybrid conference (both physically and online via Zoom) in Shanghai, China on 26 and 27 June 2021. It provided an opportunity to bring together an international community of leading scientists, researchers, engineers and academics, as well as industrial professionals, to exchange and share their experiences and research results in the energy, environment and sustainable development sector. In total, 80 participants were able to exchange knowledge and discuss the latest developments in the field. GEESD2021 attracted more than 250 submissions, 88 of which were accepted after an extensive period of peer review by more than 100 reviewers and members of the program committee. These are included here, grouped into 3 sections, with 28 papers on sustainable energy; 34 on ecology; and 26 papers covering environmental pollution and protection. Offering an overview of the most up-to-date findings and technologies in the field of sustainable energy and environmental protection, the book will be of interest to all those working in this field.

Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems

Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems
Author: Ann-Louise Andersen
Publisher: Springer Nature
Total Pages: 1054
Release: 2021-10-31
Genre: Technology & Engineering
ISBN: 3030907007

This book features state-of-the-art contributions from two well-established conferences: Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2020) and Mass Customization and Personalization Conference (MCPC2020). Together, they focus on the joint design, development, and management of products, production systems, and business for sustainable customization and personalization. The book covers a large range of topics within this domain, ranging from industrial success factors to original contributions within the field.

The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods
Author: Wolfgang Ahrendt
Publisher: Springer Nature
Total Pages: 531
Release: 2022-07-04
Genre: Computers
ISBN: 3031081668

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.