This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various field...

Diesem richtungweisenden Buch prophezeit Bernhard Pörksen eine "theoriegeschichtliche Brisanz". "Hier wird tatsächlich diskutiert, hart in der Sache gerungen, polemisiert und dann wieder mit einer Leichtigkeit und einer stilistischen Eleganz nuanciert und differenziert, die mir Bewunderung abnötigt. (…) Streit bietet eine Erkenntnischance eigenen Rechts – das ist die Einsicht, die für mich aus der Lektüre dieses Buches und dem Disput in all seinen Facetten folgt." Die Debatte über die Pand...

This book explores social cohesion in rural settlements in western Europe from 700–1050, asking to what extent settlements, or districts, constituted units of social organisation. It focuses on the interactions, interconnections and networks of people who lived side by side – neighbours. Drawing evidence from most of the current western European countries, the book plots and interrogates the very different practices of this wide range of regions in a systematically comparative framework. I...

Es ist Winter in Innsbruck. Ein Obdachloser rettet sich in eine seit langem leerstehende Wohnung am Waldrand. Im Schlafzimmer findet er eine Leiche, die dort seit zwanzig Jahren unentdeckt geblieben war. Ein gefundenes Fressen für Pressefotograf David Bronski. Gemeinsam mit seiner Journalistenkollegin Svenja Spielmann soll er vom Tatort berichten und die Geschichte der Toten recherchieren. Dass dieser Fall jenseits des Spektakulären aber auch etwas mit ihm zu tun hat, verschweigt er ...

Obwohl interkulturelle Kompetenz häufig als eine Schlüsselkompetenz für das Arbeiten in international vernetzten Unternehmen und Organisationen bezeichnet wird, fehlt es bisher an systematischen Analysen interkultureller Arbeitskontexte. Einer Vielzahl normativer Bestimmungen interkultureller Kompetenz stehen wenige Untersuchungen der tatsächlichen Arbeitsanforderungen und Handlungsweisen in einer globalisierten Arbeitswelt gegenüber. Ob und auf welche Weise Kultur und kulturelle Vielfalt ...

Reviews key advances and best practice in cultivation techniques across the value chain of organic farmingDiscusses ways of monitoring and improving the environmental impact of organic crop productionParticular focus on ways of supporting organic farming in the developing world

Schnee übt eine seltsame Faszination aus. Er steht für Schönheit und Reinheit, weckt Kindheitserinnerungen, bietet jede Menge Spaß, aber er wird auch mit Einsamkeit und Tod assoziiert. Der Journalist Charlie English, besessener Fan der weißen Flocken, erkundet den Schnee der Welt. Er reist an die entlegensten Orte: Auf Baffin Island lernt er, ein Iglu zu bauen, er folgt den Spuren der Romantiker in den Alpen, besucht die gefährlichsten Lawinentäler und gerät auf der Haute Route in der Schw...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems fr...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems fr...

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and vali...

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and vali...

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verific...