Shelter with foaming aluminum interlayer
Qi Feng , Tianhao Wei
4
2010
Charged particle radiobiology beamline using tandem accelerator-based MeV protons and carbon ions: a pilot study on the track-end radiation quality, variable biological effectiveness and Bayesian beam dosimetry.
Xiang Li , Wei Zhang , Xiaowa Wang , Xue Chen
Physics in Medicine and Biology 64 ( 16) 165004
2019
How Local Information Improves Rendezvous in Cognitive Radio Networks
Yongqin Fu , Yuexuan Wang , Zhaoquan Gu , Xiaolin Zheng
sensor, mesh and ad hoc communications and networks 1 -9
6
2018
Atomic-scale simulations of ideal strength and deformation mechanism in β-SiC under H/He irradiation
Xiaoke Lu , Xuanyu Chen , Yajuan Feng , Panhua Shi
Ceramics International 45 ( 5) 6125 -6134
1
2019
Safety index synthesis via sum-of-squares programming
Weiye Zhao , Tairan He , Tianhao Wei , Simin Liu
Smpte Journal 732 -737
1
2023
Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions
Tianhao Wei , Changliu Liu
2019 IEEE 58th Conference on Decision and Control (CDC) 238 -243
51
2019
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
Weiye Zhao , Feihan Li , Yifan Sun , Rui Chen
Forty-first International Conference on Machine Learning
Structure and properties of electrochemical interfaces with grafting polyelectrolyte: A fluid density functional theory study
Yuanlong Hu , Jin Cheng , Sisheng Yao , Zheng Xu
Chemical Engineering Science 120321 -120321
2024
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
Yujie Yang , Hanjiang Hu , Tianhao Wei , Shengbo Eben Li
arXiv preprint arXiv:2407.20532
2024
A Preliminary Neutron Imaging Study of Moisture Transport in Cement-Based Materials on PKUNIFTY (A Compact Accelerator Based Neutron Imaging Facility at Peking University)
Dongyang Wang , Yubin Zou , Peng Zhang , Jie Zhao
Applied Sciences 12 ( 3) 1725 -1725
1
2022
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
Shuyi Lin , Haoyu He , Tianhao Wei , Kaidi Xu
The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track
AGen: Adaptable Generative Prediction Networks for Autonomous Driving
Wenwen Si , Tianhao Wei , Changliu Liu
ieee intelligent vehicles symposium 281 -286
7
2019
Safe Control Algorithms Using Energy Functions: A Uni ed Framework, Benchmark, and New Directions
Tianhao Wei , Changliu Liu
2019 IEEE 58th Conference on Decision and Control (CDC) 238 -243
6
2019
Flow Guided Recurrent Neural Encoder for Video Salient Object Detection
Guanbin Li , Yuan Xie , Tianhao Wei , Keze Wang
computer vision and pattern recognition 3243 -3252
133
2018
Safe control with neural network dynamic models
Tianhao Wei , Changliu Liu
Smpte Journal 739 -750
11
2022
State-wise safe reinforcement learning: A survey
Weiye Zhao , Tairan He , Rui Chen , Tianhao Wei
arXiv preprint arXiv:2302.03122
2023
Robust Safe Control for Uncertain Dynamic Models
Tianhao Wei , Shucheng Kang , Weiye Zhao , Changliu Liu
arXiv preprint arXiv:2209.06896
2022
Safe Control of Arbitrary Nonlinear Systems using Dynamic Extension
Yihang Yao , Tianhao Wei , Changliu Liu
arXiv preprint arXiv:2111.04615
2021
Online Verification of Deep Neural Networks under Domain or Weight Shift
Tianhao Wei , Changliu Liu
arXiv preprint arXiv:2106.12732
1
2021
Adler: a resilient, high-performance and energy-efficient UAV-enabled sensor system
Dongda Li , Yuexuan Wang , Zhaoquan Gu , Tong Shen
KU CS, Hong Kong, Tech. Rep. TR-2018-01
3
2018