ETH
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
ETH-Tight Complexity of Optimal Morse Matching on Bounded-Treewidth Complexes
arXiv:2603.05406v2 Announce Type: replace Abstract: The Optimal Morse Matching (OMM) problem asks for a discrete gradient vector field on a simplicial complex that minimizes the number of critical simplices. It is NP-hard and has been studied extensively in heuristic, approximation, and parameterized complexity settings. Parameterized by treewidth $k$, OMM has long been known to be solvable on triangulations of $3$-manifolds in $2^{O(k^2)} n^{O(1)}$ time and in FPT time for triangulations of...
Scientists found a new Alzheimer’s trigger and a drug that stops it
Scientists found a new Alzheimer’s trigger and a drug that stops it - Date: - June 8, 2026 - Source: - ETH Zurich - Summary: - Researchers have identified a new Alzheimer’s target and created an experimental compound that blocks a damaging process inside brain cells. In mice, the treatment slowed nerve cell loss, reduced Alzheimer’s-related changes, and even appeared to promote healthier aging. - Share: A promising experimental compound developed by researchers at ETH Zurich could offer a...
Ransomware sends Illinois high school on an early summer vacation
An Illinois high school won't reopen until Wednesday at the earliest after suffering a ransomware attack on Sunday, June 7. Evanston Township High School (ETHS), located 14 miles north of Chicago, said it would be closed today and tomorrow, and that the closure also affected summer school, sports camps, and on-campus activities, which are all canceled. "Upon discovering the incident, we immediately activated our incident response procedures and engaged external cyber breach attorneys and...
Physicists achieve 'perfect randomness' for the first time ever
Physicists achieve 'perfect randomness' for the first time ever Physicists used quantum bits to achieve 'perfect randomness' in a world-first experiment. The results of their research could strengthen cryptography and other security systems. Researchers at ETH Zurich have demonstrated a means of generating "perfect randomness" by using entangled superconducting qubits.
Nvidia picks Unitree for humanoid robot platform as Chinese startup eyes IPO
Nvidia has selected Chinese humanoid robot maker Unitree for the first robotics system the U.S. chipmaker is selling to researchers from Stanford to ETH Zurich, the company announced Monday. The system combines Unitree's nearly 6-foot-tall H2 humanoid robot with Nvidia's Jetson Thor hardware, which includes the company's advanced Blackwell GPU for on-device artificial intelligence capabilities. Nvidia's humanoid-focused AI models, known as Isaac GR00T, and simulation systems are part of the...
Biohybrid microrobots repair spinal cord by combining stem cells with magnetoelectric nanoparticles
Biohybrid microrobots repair spinal cord by combining stem cells with magnetoelectric nanoparticles Sadie Harley Scientific Editor Robert Egan Associate Editor Spinal cord injuries can have devastating consequences for those affected. Nerve cells in the spinal cord rarely regenerate naturally, while scarring often prevents the regrowth of nerve fibers. Modern therapies attempt to influence implanted stem cells using electrical stimulation to promote the growth of new nerve cells.
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
arXiv:2606.01794v1 Announce Type: new Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses...
Tree Containment Parameterized by Scanwidth
Announce Type: new Abstract: TREE CONTAINMENT is a central decision problem in mathematical phylogenetics, asking whether a given rooted phylogenetic tree is embeddable in ("displayed by") a given rooted phylogenetic network. While the problem is NP-complete for general networks, many algorithmic advances have relied on structural parameters that capture how "tree-like" a network is. In this paper we investigate TREE CONTAINMENT under the structural parameter scanwidth, a directed width...
Will a four-armed robot replace astronauts in space?
Space changes the rules for almost everything, including how a robot should move. On Earth, legs help us stand, balance and walk across a room. In microgravity, those same legs lose much of their purpose.
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
Announce Type: replace Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses since 2016, with...