Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts

Posted by klaurent Stanford

Kavli Affiliate: Hsiao-Mei (Sherry) Cho| First 5 Authors: [#item_custom_name[1, [#item_custom_name[2, [#item_custom_name[3, [#item_custom_name[4, [#item_custom_name[5| Summary:The rigorous security model of Bitcoin’s UTXO architecture often comes at the cost of developer usability, forcing a reliance on manual stack manipulation that leads to critical financial vulnerabilities like signature malleability, unspendable states and unconstrained execution paths. Industry standards such as […]


Continue.. Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts

Radial-glia-to-astrocyte trans-differentiation and astrocyte transcriptional convergence are coordinated by CEH-43/DLX in C. elegans

Posted by dbos Rockefeller

Kavli Affiliate: Shai Shaham | Authors: Simin Liu, Kenneth Bradley, Jinghong J. Tang, Yoon A. Kim, Ana Milosevic and Shai Shaham | Summary: Mammalian radial glia can remodel to become astrocytes, which acquire common transcriptional states despite spatially and lineally distinct origins. To uncover molecular programs driving convergent radial-glia-to-astrocyte transformation, we investigated development of C. […]


Continue.. Radial-glia-to-astrocyte trans-differentiation and astrocyte transcriptional convergence are coordinated by CEH-43/DLX in C. elegans

Detection of MEMS Acoustics via Scanning Tunneling Microscopy

Posted by klaurent Delft

Kavli Affiliate: Sander Otte | Summary:Scanning tunneling microscopy (STM) and micro-electromechanical systems (MEMS) have traditionally addressed vastly different length scales – one resolving atoms, the other engineering macroscopic motion. Here we unite these two fields to perform minimally invasive-measurements of high aspect-ratio MEMS resonators using the STM tip as both actuator and detector. Operating at […]


Continue.. Detection of MEMS Acoustics via Scanning Tunneling Microscopy

XRISM finds the Changing-Look AGN NGC 1365 in an extended low state: A dense, highly ionized outflow obscures the central source

Posted by klaurent MIT

Kavli Affiliate: Erin Kara | Summary:We present the first XRISM/Resolve observations of the active galactic nucleus, NGC 1365, obtained in 2024 February and July. NGC 1365 is known for rapid transitions between Compton-thick and Compton-thin states, along with strong absorption from a highly ionized wind. During our observations, the source is found in a persistent […]


Continue.. XRISM finds the Changing-Look AGN NGC 1365 in an extended low state: A dense, highly ionized outflow obscures the central source

Symmetric approximant formalism for statistical topological matter

Posted by klaurent Delft

Kavli Affiliate: Anton Akhmerov | Summary:The standard approach to characterizing topological matter, computing topological invariants, fails when the symmetry protecting the topological phase is preserved only on average in a disordered system. Because topological invariants rely on enforcing the symmetry exactly, they can overcount phases by incorrectly identifying certain non-robust features as robust. Moreover, in […]


Continue.. Symmetric approximant formalism for statistical topological matter

Symmetric approximant formalism for statistical topological matter

Posted by klaurent Delft

Kavli Affiliate: Anton Akhmerov | Summary:The standard approach to characterizing topological matter, computing topological invariants, fails when the symmetry protecting the topological phase is preserved only on average in a disordered system. Because topological invariants rely on enforcing the symmetry exactly, they can overcount phases by incorrectly identifying certain non-robust features as robust. Moreover, in […]


Continue.. Symmetric approximant formalism for statistical topological matter

Progenitor Diversity and Architecture of the Human Ganglionic Eminences Shaping the Basal Ganglia

Posted by dbos UCSF

Kavli Affiliate: John Rubenstein, Arnold R. Kriegstein, and Arturo Alvarez-Buylla | Authors: Clara V. Siebert, Mengyi Song, Juan A. Moriano, Zhengmeiyu Li, Arantxa Cebrian Silla, Miranda Walker, Songcang Chen, Jennifer Baltazar, Lilian Gomes de Oliveira, Merut Shankar, Yuhan Xie, Pranav Suraparaju, Shaohui Wang, Qiuli Bi, Yajun Xie, Yuqi Ren, Miguel Turrero Garcia, Li Wang, Guolong […]


Continue.. Progenitor Diversity and Architecture of the Human Ganglionic Eminences Shaping the Basal Ganglia

Anti-reflection coatings for highly anisotropic materials in the mid infrared

Posted by klaurent Stanford

Kavli Affiliate: Hsiao-Mei (Sherry) Cho| First 5 Authors: [#item_custom_name[1, [#item_custom_name[2, [#item_custom_name[3, [#item_custom_name[4, [#item_custom_name[5| Summary:We develop and optimize thin anti-reflection coatings (ARCs) for highly anisotropic materials in the mid infrared. Unlike conventional ARCs that assume nearly isotropic refractive indices, this work fully integrates the anisotropic nature of materials into the design process. We describe two designs […]


Continue.. Anti-reflection coatings for highly anisotropic materials in the mid infrared

Meta-learning is expressed through altered prefrontal cortical dynamics

Posted by dbos UCSF

Kavli Affiliate: Joshua Berke, Loren Frank, and Razi Haque | Authors: Xulu Sun, Alison E. Comrie, Ari E. Kahn, Emily J. Monroe, Abhilasha Joshi, Jennifer A. Guidera, Eric L. Denovellis, Timothy A. Krausz, Jenny Zhou, Paige Thompson, Jose Hernandez, Allison Yorita, Razi Haque, Joshua D. Berke, Nathaniel D. Daw and Loren M. Frankn | Summary: […]


Continue.. Meta-learning is expressed through altered prefrontal cortical dynamics

Ring Asymmetry and Spin in M87*

Posted by klaurent Chicago

Kavli Affiliate: John Carlstrom | Summary:Event Horizon Telescope (EHT) images of the supermassive black hole M87* depict an asymmetric ring of emission. General relativistic magnetohydrodynamic (GRMHD) models of M87* and its accretion disk predict that the amplitude and location of the ring’s peak brightness asymmetry should fluctuate due to turbulence in the source plasma. We […]


Continue.. Ring Asymmetry and Spin in M87*