This third collective volume of the series The Presence of the Prophet explores the expressions of piety and devotion to the person of the Prophet and their individual and collective significance in early modern and modern times. The authors provide a rich collection of regional case studies on how the Prophet’s presence and aura are individually and collectively evoked in dreams, visions, an…
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…