Joshua Chen

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

High Dimensions

Top Venues

J. Comput. Phys.

Publications

Ricardo Baptista, Lianghao Cao, Joshua Chen, Omar Ghattas, Fengyi Li, Youssef M. Marzouk, J. Tinsley Oden
Bayesian model calibration for block copolymer self-assembly: Likelihood-free inference and expected information gain computation via measure transport. J. Comput. Phys. 503 (2024)
Barath Lakshmanan, Joshua Chen, Shiyi Lan, Maying Shen, Zhiding Yu, José M. Álvarez
Exploring Camera Encoder Designs for Autonomous Driving Perception. CoRR (2024)
Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez
Hardware-Aware Latency Pruning for Real-Time 3D Object Detection. IV (2023)
Amel Dechemi, Dimitrios Chatziparaschis, Joshua Chen, Merrick Campbell, Azin Shamshirgaran, Caio Mucchiani, Amit K. Roy-Chowdhury, Stefano Carpin, Konstantinos Karydis
Robotic Assessment of a Crop's Need for Watering: Automating a Time-Consuming Task to Support Sustainable Agriculture. IEEE Robotics Autom. Mag. 30 (4) (2023)
Alex Leviyev, Joshua Chen, Yifei Wang, Omar Ghattas, Aaron Zimmerman
A stochastic Stein Variational Newton method. CoRR (2022)
Joshua Chen
Homotopy Type Theory in Isabelle. ITP (2021)
Joshua Chen
Isabelle/Spartan - A Dependent Type Theory Framework for Isabelle. CoRR (2020)
Joshua Chen
An Implementation of Homotopy Type Theory in Isabelle/Pure. CoRR (2019)
Peng Chen, Keyi Wu, Joshua Chen, Tom O'Leary-Roseberry, Omar Ghattas
Projected Stein Variational Newton: A Fast and Scalable Bayesian Inference Method in High Dimensions. NeurIPS (2019)
Joshua Chen
Hybrid and alternative logics in Isabelle. CICM Workshops (2019)
Joshua Chen, Gun A. Lee, Mark Billinghurst, Robert W. Lindeman, Christoph Bartneck
The Effect of User Embodiment in AV Cinematic Experience. ICAT-EGVE (2017)
Gun A. Lee, Joshua Chen, Mark Billinghurst, Robert W. Lindeman
Enhancing Immersive Cinematic Experience with Augmented Virtuality. ISMAR Adjunct (2016)