The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of high performance systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 14th Teraflop Workshop held in December 2011 at HLRS, University of Stuttgart, Germany and the Workshop on Sustained Simulation Performance at Tohoku University in March 2012. ​

The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It explores general trends in hardware and software development, and then focuses specifically on the future of high-performance systems and heterogeneous architectures. It also covers applications such as computational fluid dynamics, material science, medical applications and climate research and discusses innovative fields like coupled multi-physics or multi-scale simulations. The papers included were selected from the presentations given at the 20th Workshop on Sustained Simulation Performance at the HLRS, University of Stuttgart, Germany in December 2015, and the subsequent Workshop on Sustained Simulation Performance at Tohoku University in February 2016.

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

Whilst sustainability is already an important driver in the new building sector, this book explores how those involved in refurbishment of commercial building are moving this agenda forward. It includes chapters by developers, surveyors, cost consultants, architects, building physicists and other players, on the role they each can play in enabling refurbishment to be commercially, environmentally and socially sustainable. Case studies from northern climates show real examples of different building types, ages and uses and will demonstrate what action has been taken to create more sustainable buildings. The chapters raise and discuss all the relevant issues that need to be considered in retrofitting decision making. Changing standards, planning, process management, financing, technical issues, site organisation, commissioning and subsequent building management are all considered. The book demonstrates that buildings can be made comfortable to occupy, easy to manage and low in energy demand and environmental impact.

The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of high performance systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 14th Teraflop Workshop held in December 2011 at HLRS, University of Stuttgart, Germany and the Workshop on Sustained Simulation Performance at Tohoku University in March 2012. ​

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.

This book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of high-performance systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 16th Workshop on Sustained Simulation Performance held in December 2012 at HLRS, University of Stuttgart, Germany and the 17th Workshop on Sustained Simulation Performance at Tohoku University in March 2013.

Selected, peer reviewed papers from the 2014 3rd International Conference on Sustainable Energy and Environmental Engineering (ICSEEE 2014), December 30-31, 2014, Shenzhen, China

At head of title: National Cooperative Highway Research Program.

Engineer and implement sustainable transportation solutions Featuring in-depth coverage of passenger and freight transportation, this comprehensive resource discusses contemporary transportation systems and options for improving their sustainability. The book addresses vehicle and infrastructure design, economics, environmental concerns, energy security, and alternative energy sources and platforms. Worked-out examples, case studies, illustrations, equations, and end-of-chapter problems are also included in this practical guide. Sustainable Transportation Systems Engineering covers: Background on energy security and climate change Systems analysis tools and techniques Individual choices and transportation demand Transportation systems and vehicle design Physical design of transportation infrastructure Congestion mitigation in urban passenger transportation Role of intelligent transportation systems Public transportation and multimodal solutions Personal mobility and accessibility Intercity passenger transportation Freight transportation function and current trends Freight modal and supply chain management approaches Spatial and geographic aspects of freight transportation Alternative fuels and platforms Electricity and hydrogen as alternative fuels Bioenergy resources and systems Transportation security and planning for extreme weather events PRAISE FOR SUSTAINABLE TRANSPORTATION SYSTEMS ENGINEERING: "This book addresses one of the great challenges of the 21st century--how to transform our resource-intensive passenger and freight transportation system into a set of low-carbon, economically efficient, and socially equitable set of services." -- Dan Sperling, Professor and Director, Institute of Transportation Studies, University of California, Davis, author of Two Billion Cars: Driving toward Sustainability "...provides a rich tool kit for students of sustainable transportation, embracing a systems approach. The authors aptly blend engineering, economics, and environmental impact analysis approaches." -- Susan Shaheen, Professor, Department of Civil and Environmental Engineering, and Co-Director, Transportation Sustainability Research Center, University of California, Berkeley