Sustained Simulation Performance 2019 and 2020


Book Description

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.




Sustained Simulation Performance 2019 and 2020


Book Description

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.




Sustained Simulation Performance 2018 and 2019


Book Description

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, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.




Sustained Simulation Performance 2022


Book Description

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 2021


Book Description

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 2014


Book Description

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 the future of high-performance systems and heterogeneous architectures in particular. The application-related contributions cover computational fluid dynamics, material science, medical applications and climate research; innovative fields such as coupled multi-physics and multi-scale simulations are highlighted. All papers were chosen from presentations given at the 18th Workshop on Sustained Simulation Performance held at the HLRS, University of Stuttgart, Germany in October 2013 and subsequent Workshop of the same name held at Tohoku University in March 2014.







Journal of Contemporary Urban Affairs Vol.5 No. 1., 2021


Book Description

Urban Acupuncture in Large Cities: Filtering Framework to Select Sensitive Urban Spots in Riyadh for Effective Urban Renewal Dr. Usama Abd Elhameed Nassar 1-18 HTML PDF XML Mediterranean Morphologies in Hot Summer Conditions: Learning from France’s “Glorious Thirty” Holiday Housing M.Sc. Marjan Sansen, Dr. Andrés Martínez, Dr. Philippe Devillers 19-34 PDF HTML XML Urbanization, Housing Quality and Health: Towards a Redirection for Housing Provision in Nigeria Dr. Oluwafemi K. Akande 35-46 PDF HTML XML Model Cities for Resilience: Climate-led Initiatives Dr. Didem Gunes Yilmaz 47-58 PDF HTML XML SIMURG_CITIES: Meta-Analysis for KPI's of Layer-Based Approach in Sustainability Assessment PhD Candidate. Burcu Ülker , Prof. Dr. Alaattin Kanoğlu, Prof. Dr. Özlem Özçevik 59-76 PDF HTML XML Urban Land-use and Traffic Congestion: Mapping the Interaction Ph.D. Candidate James Kanyepe, Prof. Dr. Marian Tukuta, Prof. Dr. Innocent Chirisa 77-84 PDF HTML XML Enhancing Security in Affordable Housing: The Case of Prince Fawaz Project Professor Dr. Maged Attia 85-100 PDF HTML XML Towards the Egyptian Charter for Conservation of Cultural Heritages Associate Professor Dr. Corinna Rossi, Sara Rabie 101-111 PDF HTML XML Book Reviews Book Review: Smart City Citizenship Dr. Igor Calzada 113-118 PDF HTML XML




The Logic of Software. A Tasting Menu of Formal Methods


Book Description

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.




Sustainable Energy Development and Innovation


Book Description

This book contains selected papers presented during the World Renewable Energy Congress (WREC) 2020 at the Instituto Superior Técnico in Lisbon. The WREC is dedicated to promoting renewable energy global development, and features top international experts, policy makers, scientists, engineers, technology developers, and business practitioners addressing the most current research and technological breakthroughs in sustainable energy development and innovation. The contributions address policy and renewable energy technologies and applications in all sectors—for heating and cooling, agricultural applications, water, desalination, industrial applications, and for the transport sectors. Presents cutting-edge research in green building and renewable energy from all over the world; Covers the most up-to-date research developments, government policies, business models, best practices, and innovations; Contains case studies and examples to enhance practical application of the technologies.