Alert button
Picture for Zhe Xu

Zhe Xu

Alert button

Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration

Jul 15, 2021
Zhe Xu, Jie Luo, Donghuan Lu, Jiangpeng Yan, Jayender Jagadeesan, William Wells III, Sarah Frisken, Kai Ma, Yefeng Zheng, Raymond Kai-yu Tong

Figure 1 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
Figure 2 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
Figure 3 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
Viaarxiv icon

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications

Jun 25, 2021
Christos K. Verginis, Zhe Xu, Ufuk Topcu

Figure 1 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 2 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 3 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 4 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Viaarxiv icon

A Deep Value-network Based Approach for Multi-Driver Order Dispatching

Jun 08, 2021
Xiaocheng Tang, Zhiwei Qin, Fan Zhang, Zhaodong Wang, Zhe Xu, Yintai Ma, Hongtu Zhu, Jieping Ye

Figure 1 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 2 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 3 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 4 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Viaarxiv icon

Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation

Jun 03, 2021
Zhe Xu, Donghuan Lu, Yixin Wang, Jie Luo, Jayender Jagadeesan, Kai Ma, Yefeng Zheng, Xiu Li

Figure 1 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 2 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 3 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 4 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Viaarxiv icon

Uncertainty-Aware Signal Temporal Logic Inference

May 30, 2021
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Figure 1 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 2 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 3 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 4 for Uncertainty-Aware Signal Temporal Logic Inference
Viaarxiv icon

Uncertainty-Aware Signal Temporal logic

May 24, 2021
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Figure 1 for Uncertainty-Aware Signal Temporal logic
Figure 2 for Uncertainty-Aware Signal Temporal logic
Figure 3 for Uncertainty-Aware Signal Temporal logic
Figure 4 for Uncertainty-Aware Signal Temporal logic
Viaarxiv icon

Graph Sanitation with Application to Node Classification

May 19, 2021
Zhe Xu, Hanghang Tong

Figure 1 for Graph Sanitation with Application to Node Classification
Figure 2 for Graph Sanitation with Application to Node Classification
Figure 3 for Graph Sanitation with Application to Node Classification
Figure 4 for Graph Sanitation with Application to Node Classification
Viaarxiv icon

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

Apr 30, 2021
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Figure 1 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 2 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 3 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 4 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Viaarxiv icon

Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems

Mar 26, 2021
Zhe Xu, Yichen Zhang

Figure 1 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 2 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 3 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 4 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Viaarxiv icon