Showing 1–10 of 10 results
/ Date/ Name
May 21, 2008An Introduction to Smooth Infinitesimal AnalysisFeb 22, 2007The Order-Theoretic Structure of Free Heyting AlgebrasFeb 22, 2007Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional LogicOct 14, 2022Bayesian Learning via Q-Exponential ProcessFeb 5, 2019Interactive molecular dynamics in virtual reality from quantum chemistry to drug binding: An open-source multi-person frameworkDec 7, 2025A Technical Policy Blueprint for Trustworthy Decentralized AIAug 20, 2019Interactive molecular dynamics in virtual reality for accurate flexible protein-ligand dockingMay 30, 2020Training atomic neural networks using fragment-based data generated in virtual realityJul 1, 2021OrbNet Denali: A machine learning potential for biological and organic chemistry with semi-empirical cost and DFT accuracyOct 8, 2025Is Liller 1 a building block of the Galactic bulge? -- Evidence with APOGEE