Conference Paper
Recent Submissions
-
Hochhäuser aus Holz – Zwischen Forschung und Praxis in der Schweiz
(2024)Karlsruher Tage 2024 – Holzbau: Forschung für die PraxisBis dato zählt die Schweiz drei Holz‐Beton‐Hybrid Hochhäuser. Mehrere Wohn‐ und Bürotürme befinden sich aktuell in Planung. Ein «reines» Holzhochhaus steht kurz vor dem Bau. Einige der Innovationen wurden im Forschungslabor der ETH Zürich getestet. Hierfür wurden in den vergangenen Jahren Versuche an speziellen Deckensystemen vollzogen und Dehnmessungen von hochbelasteten Holzstützen untersucht. Neuartige Holz‐ Beton‐Verbund‐Technologien ...Conference Paper -
-
Metaphors in Chemistry: Didactic Tool or Constituent of Knowledge
(2024)Metaphors and analogies in chemistry education serve two main purposes. First, teachers may design analogies specifically as a didactic tool to illustrate a certain concept. Second, the metaphor may be heuristic, that is inherent to the domain-specific terminology. In this review, we assess the current state of literature in chemistry education on metaphors and analogies. Specifically, we are interested in the type of metaphor that are ...Conference Paper -
The cathedral of St. Pierre in Lisieux: A laboratory of vaults from the twelfth to the sixteenth centuries
(2024)Construction Matters: Proceedings of the 8th International Congress on Construction HistoryThe cathedral St. Pierre in Lisieux in Normandy, one of the earliest French Gothic churches, is rather unknown compared to its contemporaries of the Île-de-France, such as Notre-Dame in Noyon (begun c. 1157) and Notre-Dame in Paris (begun c. 1163). Beneath the dendrochronologically dated medieval timber roofs, a variety of original four-part ribbed cross vaults are preserved. As only a few early Gothic cathedrals such as St. Pierre have ...Conference Paper -
CAMP: Compositional Amplification Attacks against DNS
(2024)Proceedings of the 33rd USENIX Security SymposiumWhile DNS is often exploited by reflective DoS at tacks, it can also be weaponized as a powerful amplifier to overload itself, as evidenced by a stream of recently discovered application-layer amplification attacks. Given the importance of DNS, the question arises of what the fundamental traits are for such attacks. To answer this question, we perform a systematic investigation by estab lishing a taxonomy of amplification primitives ...Conference Paper -
MHz-to-THz Plasmonic Modulator
(2024)Plasmonic modulators are demonstrated to feature a THz bandwidth. Characterizations from 10 MHz to beyond 1 THz are performed. The modulator and pad capacitances are extracted and quantified, indicating potential for even higher bandwidths. We demonstrate the fastest electro-optic component to date.Conference Paper -
Verus: A Practical Foundation for Systems Verification
(2024)SOSP '24: Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems PrinciplesFormal verification is a promising approach to eliminate bugs at compile time, before they ship. Indeed, our community has verified a wide variety of system software. However, much of this success has required heroic developer effort, relied on bespoke logics for individual domains, or sacrificed expressiveness for powerful proof automation. Building on prior work on Verus, we aim to enable faster, cheaper verification of rich properties ...Conference Paper -
On k-Planar Graphs Without Short Cycles
(2024)Leibniz International Proceedings in Informatics, LIPIcsWe study the impact of forbidding short cycles to the edge density of k-planar graphs; a k-planar graph is one that can be drawn in the plane with at most k crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are 3-cycles, 4-cycles or both of them (i.e., girth ≥ 5). For all three settings and all k ∈ {1, 2, 3}, we present lower and upper bounds on the maximum number of edges in any ...Conference Paper -
The Density Formula: One Lemma to Bound Them All
(2024)Leibniz International Proceedings in Informatics, LIPIcsWe introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called k-planar graphs with k = 1, 2, fan-crossing / fan-planar graphs, k-bend ...Conference Paper -
Monotone Arc Diagrams with Few Biarcs
(2024)Leibniz International Proceedings in Informatics, LIPIcsWe show that every planar graph has a monotone topological 2-page book embedding where at most (4n - 10)/5 (of potentially 3n - 6) edges cross the spine, and every edge crosses the spine at most once; such an edge is called a biarc. We can also guarantee that all edges that cross the spine cross it in the same direction (e.g., from bottom to top). For planar 3-trees we can further improve the bound to (3n - 9)/4, and for so-called Kleetopes ...Conference Paper -
-
An improved simplified solution for the characteristic line of tunnels in strain-softening rocks
(2025)Conference Paper -
Effectiveness of driving a pilot tunnel coaxially to the main tunnel in low-permeability ground
(2025)Conference Paper -
A chemo-hydro-mechanical constitutive model for the swelling of anhydritic claystones
(2025)Conference Paper -
Is face stability a problem in mechanised tunnelling through squeezing ground?
(2025)Conference Paper -
Impact of radioactive decay heat on the structural safety of nuclear waste repository drifts
(2025)Conference Paper -
Lining stresses and deformations due to heat production in underground radioactive waste repositories
(2025)Conference Paper -
HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware
(2024)Conference Paper -
BatDeck: Advancing Nano-Drone Navigation with Low-Power Ultrasound-based Obstacle Avoidance
(2024)2024 IEEE Sensors Applications Symposium (SAS)Nano-drones, distinguished by their agility, minimal weight, and cost-effectiveness, are particularly well-suited for exploration in confined, cluttered and narrow spaces. Recognizing transparent, highly reflective or absorbing materials, such as glass and metallic surfaces is challenging, as classical sensors such as cameras or laser rangers often do not detect them. Inspired by bats, which can fly at high speeds in complete darkness ...Conference Paper