432 citations
- Sun Yat-sen UniversityCN18 papers
- Augusta University HealthUS11 papers
- University of California, Santa BarbaraUS9 papers
- State Key Laboratory of Optoelectronic Materials and Technology8 papers
- Kavli Institute for Theoretical PhysicsUS5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Beijing Academy of Quantum Information SciencesCN3 papers
- Emory UniversityUS3 papers
- Georgia Regents Medical CenterUS3 papers
- Georgia State UniversityUS3 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- University of California, BerkeleyUS3 papers
7 papers · 1 filter
Quantum Filtering of Hydrogen Isotopes through Graphene
Joshua Hale, Theja N. De Silva
Driven by the growing demand in the energy, medical, and industrial sectors, we investigate a hydrogen isotope separation technique that offers both a high separation factor and ec…
Reversible computations are computations
Clément Aubert, Jean Krivine
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…
A Digital Twin Framework for Adaptive Treatment Planning in Radiotherapy
Chih-Wei Chang, Sri Sai Akkineni, Mingzhe Hu +7
The development of a digital twin (DT) framework for fast online adaptive proton therapy planning in prostate stereotactic body radiation therapy (SBRT) with dominant intraprostati…
Multimagnon and multispinon -edge RIXS spectra of an effective square lattice Heisenberg model
Kai-Yuan Qi, Shangjian Jin, Trinanjan Datta +1
We investigate the multimagnon and the multispinon -edge resonant inelastic x-ray scattering (RIXS) spectra of a spin-1/2 effective squar…
Spin order, spin excitations, and RIXS spectra of spin-1/2 tetramer chains
Junli Li, Jun-Qing Cheng, Trinanjan Datta +1
We investigate the spin dynamics of a 1D spin-1/2 Heisenberg tetramer chain. Employing a combination of Density Matrix Renormalization Group, quantum renormalization group, and per…
Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
Haotian Deng, Siyuan He, Songlin Jia +2
Local reasoning about programs that combine aliasing and mutable state is a longstanding challenge. Existing approaches -- ownership systems, linear and affine types, uniqueness ty…