Sign in
Joshua Chen
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 10
Top Topics
High Dimensions
Top Venues
CoRR
ITP
ICAT-EGVE
IV
</>
Publications
</>
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)