This second collective volume of the series The Presence of the Prophet explores the growing importance of the figure of the Prophet Muhammad for questions of authority and power in early modern and modern times. The authors provide a rich collection of case studies on how Muhammad’s material, spiritual, and genealogical heritage has been claimed for the foundation of Muslim empires, revolut…
This book delivers the first substantial study of the preaching of the Third Crusade (1187-92). It assembles c.200 sermon texts and c.100 manuscripts, to understand the explosive dynamic of mobilization in the Latin West. Dealing with the essential fact that a genre called ‘crusade sermon’ did not exist, it develops methodological devices for identifying sermons relevant for the crusading p…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
This book challenges many assumptions commonly used in structural topology optimization. These assumptions include: (1) to find the unique and globally optimal solution—the ‘best’ design, (2) under prescribed support conditions, (3) for given loading conditions, (4) within a predetermined design domain, and (5) without considering the designer’s aesthetic preferences. Through a systemat…
Gleichwertige Lebensverhältnisse zu gewährleisten, ist in Deutschland ein rechtlich verankertes Ziel. Dieses Open-Access-Buch analysiert, welche Aspekte Menschen wichtig sind, wenn es um ein gutes Leben geht, mit welchen Orten oder Regionen sie ihre Lebensverhältnisse vergleichen und was ihnen politisch sinnvoll erscheint, um etwas für gleichwertige Lebensverhältnisse zu tun. Zugleich erku…