Joshua Chen

Available identifiers

zbMath Open chen.joshuaMaRDI QIDQ2962460

List of research outcomes

Publication	Date of Publication	Type
Bayesian model calibration for block copolymer self-assembly: likelihood-free inference and expected information gain computation via measure transport	2024-04-17	Paper
Homotopy Type Theory in Isabelle	2023-06-20	Paper
An Implementation of Homotopy Type Theory in Isabelle/Pure	2019-10-31	Paper
Projected Stein Variational Newton: A Fast and Scalable Bayesian Inference Method in High Dimensions	2019-01-24	Paper
Rhino 3D to Abaqus: A T-Spline Based Isogeometric Analysis Software Framework	2017-02-16	Paper
The Temperley-Lieb categories and skein modules	2014-12-13	Paper

Research outcomes over time

This page was built for person: Joshua Chen