ETH Zurich

Systematic Evaluation of Washing Conditions to Preserve Low Affinity Binders in DEL Selections

Abstract DNA-encoded chemical libraries (DELs) accelerate ligand discovery by combining combinatorial synthesis with parallel affinity selection of DNA-tagged compounds. Conventional DEL selection protocols involve the immobilization of protein targets on a solid support such as...

Environmental Sustainability of Soybean Production in the Democratic Republic of Congo: Cases of Production Systems in the South‐Kivu and Kasaï‐Lomami Provinces

ABSTRACT Soybean is increasingly grown in the Democratic Republic of the Congo (DRC), produced mainly in small‐scale systems and supplied locally for human consumption. Prospects of large‐scale expansion and intensification, with potential environmental drawbacks, loom and call f...

Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Abstract Pagani and Tommasi have introduced a class of smoothable fine compactified Jacobians $$\overline{\mathcal {J}}_{g,n}^{\,d}(\sigma )\rightarrow \overline{\mathcal {M}}_{g,n}$$ J ¯ g , n d ( σ ) → M ¯ g , n over the moduli space of stable curves, depending nontrivially on...

4D reconstruction of alumina laser melt pools at 25 kHz via operando X-ray multi-projection imaging

Abstract Advancing additive manufacturing, e.g., laser powder-bed fusion (LPBF), requires resolving rapid processes such as melt-pool dynamics and keyhole evolution in 4D (3D + time). Operando X-ray tomography is a state-of-the-art approach for 4D characterization, but its tempor...

Autoinducer-2 functions as both a quorum-sensing and metabolic signal in Escherichia coli

ABSTRACT Bacteria integrate diverse environmental signals to coordinate behavior, yet the relationship between nutrient sensing and quorum sensing (QS) remains incompletely understood. Autoinducer-2 (AI-2) is unique among QS signals in that its production is tightly linked to cen...

Toward personalized exergaming: a machine learning-based decision-support approach to cognitive-motor training for long-term care residents with cognitive impairments

Abstract Background Major Neurocognitive Disorder (MND) is characterized by progressive impairments across multiple cognitive domains, leading to reduced autonomy, diminished quality of life, and frequent transition to long-term care facilities. Cognitive-motor exergames, which c...

Singlet Oxygen-Responsive MRI Contrast Agents

Abstract In vivo imaging detection of singlet oxygen (1O2) produced by photodynamic therapy remains a challenge. To address this unmet necessity, two Gd3+-based multicyclic magnetic resonance imaging (MRI) probes 1 and 2 were synthesized and characterized for their ability to rea...

Re-evaluating molecular clock maximum age calibrations revives pre-Ediacaran divergence estimates for animals

Divergent models persist for the emergence of animals. Lipid biomarkers suggest animals originated before 635 million years ago (Ma), but their body fossil record extends to only 574 Ma. Molecular clocks might differentiate between these records, but we demonstrate how their accu...

Topology-enforced synthesis of atomically precise silver nanoclusters in 3D DNA lattices

DNA nanotechnology leverages the molecular design resolution of the DNA double helix to fold and tile matter into designer architectures. Recent advances in bioinorganic chemistry have exploited DNA/Ag + affinity to carry out the templated reduction of silver nanoclusters. Here,...

Revisiting Path Coverage Tracing from a Node-Centric View

Path coverage tracing is one of the fundamental components for supporting a wide range of dynamic program analyses, such as testing, debugging, profiling, and many others. Since one needs to insert code into a program to trace its coverage, runtime overhead becomes the main bottl...

Entanglement fidelity of the Petz decoder for one-shot entanglement transmission

One-shot entanglement transmission is a quantum information processing task where a quantum state is sent to a second party over a noisy channel. The goal of the task is to approximately recover the original state by applying a decoder to the output of the noisy channel. In this...

Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs

As AI-generated code proliferates, formal verification—particularly through interactive theorem provers such as Rocq and Isabelle—becomes increasingly important for ensuring software correctness. However, producing machine-checked proofs in such provers remains a bottleneck. Exis...

GrandTour: A legged robotics dataset in the wild for multi-modal perception and state estimation

Accurate state estimation and multi-modal perception are prerequisites for autonomous legged robots in complex, large-scale environments. To date, no large-scale public legged-robot dataset captures the real-world conditions needed to develop and benchmark algorithms for legged-r...

A neuromodulable current-mode silicon neuron for robust and adaptive neuromorphic systems

Abstract Neuromorphic engineering makes use of mixed-signal analog and digital circuits to directly emulate the computational principles of biological brains. Such electronic systems offer a high degree of adaptability, robustness, and energy efficiency across a wide range of tas...

Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands

Program verifiers based on separation logic, such as Gillian, VeriFast, and Viper, allow one to prove complex properties of heap-manipulating, concurrent programs. These tools automate a large part of the proof search, but require a substantial amount of annotations such as metho...

Type-Directed Discretization of Probabilistic Programs

We study exact discretization as a semantics-preserving transformation for recursive, higher-order probabilistic programs with continuous distributions. We target programs where continuous values are compared against finitely many constants, so exact inference reduces to a discre...

GenAI-Net: A generative AI framework for automated biomolecular network design

Biomolecular networks underlie both natural biological processes and engineered cellular technologies, from intracellular regulation and ecological dynamics to biomanufacturing, smart therapeutics, and cell-based diagnostics. However, designing chemical reaction networks (CRNs) t...

Towards foundation-style models for energy-frontier heterogeneous neutrino detectors via self-supervised pretraining

Abstract Accelerator-based neutrino physics is entering an energy-frontier regime in which interactions reach the tera-electronvolt scale and produce exceptionally dense, overlapping detector signatures. Event interpretation is impractical for conventional reconstruction and chal...

The future of spatial energy planning: A shift toward social learning and participatory visioning

Participatory planning is increasingly used to address complex challenges such as deciding where and how the energy transition should be implemented. Yet it remains unclear what people learn through participatory planning processes and how this learning shapes collective outcomes...

Global characterisation of the vertical temperature anomaly structure of heat extremes over land in ERA5

The formation of surface heat extremes is usually described in terms of surface processes and upper-level dynamics. However, their full vertical temperature profile contains additional essential information about the involved processes. So far, it is an open question whether heat...