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…
This open access book provides a state-of-the-field of the interactions between emerging national asylum governance systems and the 2018 United Nations Global Compact for Refugees (UN GCR). It provides a detailed examination of the relationship and compatibility between asylum governance and refugee protection and human rights, and the responsibilities for states and other implementing actors i…
Cardiovascular Prevention (CVP) has included important technological advances and determined improvements in morbidity and mortality since the last 70 and 60 years. However, in populations with socioeconomic limited resources even basic health preserving tools such as access to a primary care provider and basic drug therapy for diabetes mellitus, high blood pressure, and high cholesterol are n…