Joshua Chen

From MaRDI portal
Person:2962460



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Bayesian model calibration for block copolymer self-assembly: likelihood-free inference and expected information gain computation via measure transport
Journal of Computational Physics
2024-04-17Paper
Homotopy Type Theory in Isabelle
(available as arXiv preprint)
2023-06-20Paper
An Implementation of Homotopy Type Theory in Isabelle/Pure2019-10-31Paper
Projected Stein Variational Newton: A Fast and Scalable Bayesian Inference Method in High Dimensions2019-01-24Paper
Rhino 3D to Abaqus: A T-Spline Based Isogeometric Analysis Software Framework
Advances in Computational Fluid-Structure Interaction and Flow Simulation
2017-02-16Paper
The Temperley-Lieb categories and skein modules2014-12-13Paper


Research outcomes over time


This page was built for person: Joshua Chen