From the 6 of 53 papers with an AI index.
11 citations
- Columbia UniversityUS13 papers
- University of ChicagoUS13 papers
- SLAC National Accelerator LaboratoryUS12 papers
- Argonne National LaboratoryUS11 papers
- University of California SystemUS11 papers
- Yale UniversityUS11 papers
- Brookhaven National LaboratoryUS10 papers
- California University of PennsylvaniaUS10 papers
- Lawrence Berkeley National LaboratoryUS10 papers
- Stockholm UniversitySE10 papers
- Stony Brook UniversityUS10 papers
- University of GenevaCH10 papers
53 papers
Carbon reductions through optimized solar heat gain glass properties considering future climate and grid emissions: case study of Chicago's residential buildings
Yiwei Lyu, Jialiang Xiang, Holly Samuelson
Existing resources leave confusion over the benefits of high versus low Solar Heat Gain Coefficient (SHGC) windows for energy performance in residential buildings retrofits in cold…
Millisecond-Scale Neural Operator Surrogates for Double-Null Free-Boundary Grad-Shafranov Equilibria
Plamen G. Krastev
The Grad-Shafranov (GS) equation governs ideal magnetohydrodynamic equilibrium in tokamak plasmas. Free-boundary GS solvers are central to diverted-equilibrium modeling, but nonlin…
Convex Approximation and the Hilbert Geometry
Ahmed Abdelkader, David M. Mount
The efficient representation of convex bodies in multi-dimensional spaces is a fundamental problem in computational geometry. Several key developments were recently brought about u…
chrKanren: Constraint Handling Rules in a Relational Language
Rafaello Sanna, William E. Byrd, Nada Amin
We present chrKanren, a dialect of the purely relational constraint logic programming language miniKanren which includes support for Constraint Handling Rules (CHR), a language for…
Safe and Scalable Multi-Drone Payload Transport via CBF-based Reinforcement Learning with Zero-Shot Sim-to-Real Transfer
Jaeyoun Choi, Oswin So, Songyuan Zhang +2
Multi-drone payload transportation has emerged as a promising research paradigm with potential applications in construction, logistics, and disaster response. However, the complex…
The History of Hilbert-Space Formulations of Classical Physics
Jacob A. Barandes
Hilbert-space techniques are widely used not only for quantum theory, but also for classical physics. Two important examples are the Koopman-von Neumann (KvN) formulation and the m…