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 -
Nachkriegsverschiebungen. Humanistische Rhetorik zwischen Erbe und Zensur
(2023)Censored? Conflicted Concepts of Cultural HeritageBook Chapter -
Continuous-Time Control Model Validation using Finite Experimental Data
(1996)IEEE Transactions on Automatic ControlTheapplicationofrobustcontroltheoryrequires models containing unknown, bounded perturbations and unknown, bounded input signals. Model validation is a means of assessing the applicability of a given model with respect to experimental data. This paper develops a theoretical framework, and a computational solution, for the model validation problem in the case where the model, including unknown perturbations and signals, is given in the ...Journal Article