LeanBET supplies a fully executable, formally verified BET analysis pipeline in Lean 4 whose regression coefficients and window selections match their real-number specifications and agree with the BETSI reference to machine precision on 18 of 19 isotherms.
Precision Spectroscopy of the๐ด2ฮ โ๐ 2ฮฃ+ Transition in BaF
7 Pith papers cite this work. Polarity classification is still indexing.
7
Pith papers citing it
citation-role summary
background 2
dataset 1
citation-polarity summary
representative citing papers
Neural network corrects residual errors in isotopologue energy extrapolations for CO2 (MAE reduction in >87% of levels vs Marvel) and transfers patterns to improve CO predictions in >93% of samples.
A PAI-tube injector delivers warm SF6 into a <3 K buffer gas cell with <200 mW heat load, enabling cold BaF production and planned use for RaF/RaOH.
A quantum algorithm for rovibrational Hamiltonian simulation on fault-tolerant quantum computers using hybrid DVR and Walsh-Hadamard QROM, claiming exponential resource savings over prior quantum and classical methods.
SZ-LCT uses a BCH-expanded unitary transformation with a generator chosen to minimize non-seniority-zero Hamiltonian elements, achieving submilliHartree accuracy for strongly correlated electrons at O(N^8/n_c) scaling.
HSE06 calculations of Cu defects in silicon propose a Cu_i4V complex to resolve discrepancies in the Cu_PL defect's transition levels and formation mechanism.
Tuned LC-ฯPBE TDDFT screening of 27 heteroatom-doped D-ฯ-A dyes identifies boron-rich motifs as narrowing the HOMO-LUMO gap and red-shifting charge-transfer excitations for improved DSSC light harvesting.
citing papers explorer
-
Design and Performance of a Heated Gas Injector for Producing Cold Molecular Beams
A PAI-tube injector delivers warm SF6 into a <3 K buffer gas cell with <200 mW heat load, enabling cold BaF production and planned use for RaF/RaOH.