Repositorium für Publikationen und Forschungsdaten
Suchen Sie in der Research Collection der ETH Zürich nach wissenschaftlichen Publikationen und Forschungsdaten oder laden Sie selbst eigenen Forschungsoutput hoch. Weiterlesen
Aktuell
Mit Wissen und Koffein gestärkt in den Sommer – die Coffee Lectures im Juni
Kein Durchblick im Open-Access-Dschungel? Ein Wirrwarr in der Literaturverwaltung? Fehlende Inspiration für die Ferienlektüre? Dann besuchen Sie unsere Coffee Lectures. Sie brauchen dafür nur 15 Minuten. Weiterlesen
ETH RDM Summer School 2024 für Nachwuchswissenschaftler:innen
Die ETH Research Data Management Summer School 2024 hat noch einige freie Plätze. Nutzen Sie die Gelegenheit und lernen Sie zwischen dem 10. und 14. Juni 2024 mehr über das Thema! Anmeldung und weitere Informationen
Coffee Lectures – das neue Programm ist da
In nur 15 Minuten: Holen Sie sich nützliche Tools und Themen, die Sie bei Ihrer täglichen Forschungsarbeit unterstützen – in den Coffee Lectures der ETH-Bibliothek. Weiterlesen
Neueste Publikationen
-
Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs
(2024)With software‘s ever-increasing role in human lives, ensuring its correctness is crucial. Deductive software verification enables formally proving that a program is functionally correct. However, verifying imperative heap-manipulating programming languages is notoriously difficult and requires complex specifications in powerful logics like separation logic. This complexity is a major obstacle to more widespread verification of imperative ...Doctoral Thesis -
The “Dark Side” of Community Ties: Collective Action and Lynching in Mexico
(2024)American Sociological ReviewLynching remains a common form of collective punishment for alleged wrongdoers in Latin America, Africa, and Asia today. Unlike other kinds of collective violence, lynching is usually not carried out by standing organizations. How do lynch mobs overcome the high barriers to violent collective action? I argue that they draw on local community ties to compensate for a lack of centralized organization. Lynch mobs benefit from solidarity and ...Journal Article -
Dynamic wave measurement with a high spatial resolution distributed fiber optic pressure sensor
(2024)IEEE Sensors JournalWave assessment is essential for the design and monitoring of coastal structures, assisting engineers to ensure infrastructure integrity. Common methods for wave monitoring involve measuring water surface height or hydrostatic pressure, with pressure-based systems offering significant advantages, especially in the detection of small wave heights such as tsunamis in open ocean conditions. Distributed fiber optic (DFO) technology has played ...Journal Article -
Nachkriegsverschiebungen. Humanistische Rhetorik zwischen Erbe und Zensur
(2023)Censored? Conflicted Concepts of Cultural HeritageBook Chapter