1.8k citations
- Massachusetts Institute of TechnologyUS53 papers
- California Institute of TechnologyUS43 papers
- Center for Astrophysics Harvard & SmithsonianUS40 papers
- Space Telescope Science InstituteUS32 papers
- Centre National de la Recherche ScientifiqueFR29 papers
- University of AmsterdamNL24 papers
- Goddard Space Flight CenterUS22 papers
- University of CambridgeGB21 papers
- Instituto de Astrofísica de CanariasES19 papers
- Space Research Organisation NetherlandsNL18 papers
- University of ArizonaUS18 papers
- IBM (United States)US16 papers
8 papers · 1 filter
Neural Stress Fields for Reduced-order Elastoplasticity and Fracture
Zeshun Zong, Xuan Li, Minchen Li +6
We propose a hybrid neural network and physics framework for reduced-order modeling of elastoplasticity and fracture. State-of-the-art scientific computing models like the Material…
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Upamanyu Sharma, Ralf Jung, Joseph Tassarotti +2
Grove is a concurrent separation logic library for verifying distributed systems. Grove is the first to handle time-based leases, including their interaction with reconfiguration,…
Style2Fab: Functionality-Aware Segmentation for Fabricating Personalized 3D Models with Generative AI
Faraz Faruqi, Ahmed Katary, Tarik Hasic +6
With recent advances in Generative AI, it is becoming easier to automatically manipulate 3D models. However, current methods tend to apply edits to models globally, which risks com…
Coherent radio bursts from known M-dwarf planet host YZ Ceti
J. Sebastian Pineda, Jackie Villadsen
Observing magnetic star-planet interactions (SPI) offers promise for determining magnetic fields of exoplanets. Models of sub-Alfvénic SPI predict that terrestrial planets in close…
The Black Hole Candidate Swift J1728.93613 and the Supernova Remnant G351.90.9
Mayura Balakrishnan, Paul A. Draghis, Jon M. Miller +12
A number of neutron stars have been observed within the remnants of the core-collapse supernova explosions that created them. In contrast, black holes are not yet clearly associate…
Deimos: A Grammar of Dynamic Embodied Immersive Visualisation Morphs and Transitions
Benjamin Lee, Arvind Satyanarayan, Maxime Cordeil +3
We present Deimos, a grammar for specifying dynamic embodied immersive visualisation morphs and transitions. A morph is a collection of animated transitions that are dynamically ap…