Tyler R. Josephson

发表

Rocks Filled with Tiny Spaces Can Turn Green Growing Things Into Stuff We Use Every Day

Nima Nikbin, Tyler R. Josephson, Timothy Courtney, 2013 .

Adsorption of furan, hexanoic acid, and alkanes in a hierarchical zeolite at reaction conditions: Insights from molecular simulations

J. Ilja Siepmann, Michael Tsapatsis, Paul J. Dauenhauer, 2021, J. Comput. Sci..

Delft University of Technology Multiple linear regression and thermodynamic fluctuations are equivalent for computing thermodynamic derivatives from molecular simulation

J. Ilja Siepmann, Ahmadreza Rahbari, Othonas A. Moultos, 2020 .

Partial molar properties from molecular simulation using multiple linear regression

Tyler R. Josephson, Mona S. Minkara, J. I. Siepmann, 2019, Molecular Physics.

Cover Picture: Origin of 5‐Hydroxymethylfurfural Stability in Water/Dimethyl Sulfoxide Mixtures (ChemSusChem 1/2014)

Tyler R. Josephson, S. Caratzoulas, V. Nikolakis, 2014 .

Formalizing Chemical Theory using the Lean Theorem Prover

Tyler R. Josephson, Maxwell P. Bobbin, Samiha Sharlin, 2022, ArXiv.

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

Bachir El Khadir, Tyler R. Josephson, N. Megiddo, 2021, 2109.01634.

F ORMALIZING C HEMICAL T HEORY USING THE L EAN T HEOREM P ROVER

Tyler R. Josephson, Maxwell P. Bobbin, Samiha Sharlin, 2022 .

Nonane and Hexanol Adsorption in the Lamellar Phase of a Nonionic Surfactant: Molecular Simulations and Comparison to Ideal Adsorbed Solution Theory.

Tyler R. Josephson, Mona S. Minkara, Peter H. Koenig, 2022, The journal of physical chemistry. B.

1,2-H- versus 1,2-C-Shift on Sn-Silsesquioxanes

Tyler R. Josephson, D. Vlachos, S. Caratzoulas, 2017 .

Leveraging first-principles modeling for deeper insights into biomass processing

Tyler R. Josephson, 2017 .

Cooperative Catalysis by Surface Lewis Acid/Silanol for Selective Fructose Etherification on Sn-SPP Zeolite

Tyler R. Josephson, D. Vlachos, S. Caratzoulas, 2018, ACS Catalysis.

Methyl-ligated tin silsesquioxane catalyzed reactions of glucose

Mark E. Davis, Tyler R. Josephson, D. Vlachos, 2016 .

Origin of 5-hydroxymethylfurfural stability in water/dimethyl sulfoxide mixtures.

Tyler R. Josephson, S. Caratzoulas, V. Nikolakis, 2014, ChemSusChem.

The origin of selectivity in the conversion of glucose to fructose and mannose in Sn-BEA and Na-exchanged Sn-BEA zeolites

Tyler R. Josephson, D. Vlachos, S. Caratzoulas, 2017 .

Solvent-induced frequency shifts of 5-hydroxymethylfurfural deduced via infrared spectroscopy and ab initio calculations.

Tyler R. Josephson, D. Vlachos, S. Caratzoulas, 2014, The journal of physical chemistry. A.

Distribution of open sites in Sn-Beta zeolite

Tyler R. Josephson, D. Vlachos, S. Caratzoulas, 2017 .

Assessing the Quality of Molecular Simulations for Vapor–Liquid Equilibria: An Analysis of the TraPPE Database

Tyler R. Josephson, Yangzesheng Sun, J. I. Siepmann, 2020, Journal of Chemical & Engineering Data.

Renewable lubricants with tailored molecular architecture

Tyler R. Josephson, M. Ierapetritou, D. Vlachos, 2019, Science Advances.

Effect of Functional Groups on Autothermal Partial Oxidation of Bio-oil. Part 2: Role of Homogeneous and Support-Mediated Reactions

Tyler R. Josephson, L. Schmidt, Jacob S. Kruger, 2011 .

Monte Carlo simulations probing the liquid/vapour interface of water/hexane mixtures: adsorption thermodynamics, hydrophobic effect, and structural analysis

Tyler R. Josephson, Mona S. Minkara, C. Peters, 2018 .

Ethanol and Water Adsorption in Conventional and Hierarchical All-Silica MFI Zeolites

Tyler R. Josephson, M. Tsapatsis, S. Pahari, 2021, ACS physical chemistry Au.

Effect of Functional Groups on Autothermal Partial Oxidation of Bio-oil. Part 1: Role of Catalyst Surface and Molecular Oxygen

Tyler R. Josephson, L. Schmidt, Jacob S. Kruger, 2011 .

Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System

Tyler R. Josephson, Samiha Sharlin, Charles Fox, 2023, arXiv.org.

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

Bachir El Khadir, Tyler R. Josephson, N. Megiddo, 2021, 2109.01634.

Formalizing Chemical Theory using the Lean Theorem Prover

Tyler R. Josephson, Maxwell P. Bobbin, Samiha Sharlin, 2022, arXiv.org.

Production of synthesis gas by partial oxidation and steam reforming of biomass pyrolysis oils

Tyler R. Josephson, L. Schmidt, S. Czernik, 2010 .

Combining data and theory for derivable scientific discovery with AI-Descartes

Tyler R. Josephson, N. Megiddo, K. Clarkson, 2023, Nature Communications.

Formalizing Chemical Physics using the Lean Theorem Prover

Tyler R. Josephson, Maxwell P. Bobbin, Samiha Sharlin, 2022, Digital Discovery.

Symbolic Regression using Mixed-Integer Nonlinear Optimization pdf

Sanjeeb Dash, Nimrod Megiddo, Lior Horesh, 2020, ArXiv.

Origin of 5-hydroxymethylfurfural stability in water/dimethyl sulfoxide mixtures.

Tyler R. Josephson, S. Caratzoulas, V. Nikolakis, 2014, ChemSusChem.

Interpretable Learning of Complex Multicomponent Adsorption Equilibria from Self-attention

Tyler R. Josephson, Yangzesheng Sun, J. Siepmann, 2020 .