This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
This open access book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from different methods and sources into common frameworks, and facilitating the development of platforms where simulation services in computational molecular engineering can be provided as well as coupled and linked to each other in a standardized and reliable way. …
This open access book provides an enriched understanding of historical, collective, cultural, and identity-related trauma, emphasising the social and political location of human subjects. It therefore presents a socio-ecological perspective on trauma, rather than viewing displaced individuals as traumatised “passive victims”. The vastness of the phenomenon of trauma among displaced pop…
This open access book examines the significance of gay neighborhoods (or ‘gayborhoods’) from critical periods of formation during the gay liberation and freedom movements of the 1960s and 1970s, to proven durability through the HIV/AIDS pandemic during the 1980s and 1990s, to a mature plateau since 2000. The book provides a framework for contemplating the future form and function of gay nei…
This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…
In diesem Open Access Buch werden erstmals übergreifend die Entwicklungen bis 2030 in den Sektoren in Deutschland, welche die größte Fläche beanspruchen – Land- und Forstwirtschaft sowie Siedlung und Verkehr – aufgezeigt und die Wechselwirkungen zwischen Landnutzung und Klimawandel analysiert. Aufbauend auf einem akteursgestützten Diskurs von Handlungsoptionen zur Minderung von Treibha…
In diesem Open-Access-Buch zeigt Katharina Schleicher, dass Nachhaltigkeitsprojekte oftmals in kleinen Nischen verbleiben, anstatt mit ihren alternativen Paradigmen umfassenden Politikwandel anzustoßen. Wie dieser Schritt von kleinräumigen Prozessen zur Transformation gelingen kann, wird mithilfe des diskursiven Institutionalismus konkretisiert. Dazu untersucht die Autorin zwei transformative…
This Open Access book examines many of the challenges posed by the COVID-19 pandemic through the distinctive lens of civility. The idea of civility appears often in both public and academic debates, and a polarized political climate frequently leads to allegations of uncivil speech and behaviour. Norms of civility are always contested, even more so in moments of crisis such as a global pandemic…