Alert button
Picture for Zhe Xu

Zhe Xu

Alert button

Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic

Mar 26, 2021
Zhe Xu, Xiaoming Duan

Figure 1 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 2 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 3 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 4 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Viaarxiv icon

Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance

Nov 12, 2020
Zhe Xu, Jiangpeng Yan, Jie Luo, Xiu Li, Jayender Jagadeesan

Figure 1 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 2 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 3 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 4 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Viaarxiv icon

Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks

Nov 12, 2020
Zhe Xu, Jiangpeng Yan, Jie Luo, William Wells, Xiu Li, Jayender Jagadeesan

Figure 1 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 2 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 3 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 4 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Viaarxiv icon

F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration

Sep 15, 2020
Zhe Xu, Jie Luo, Jiangpeng Yan, Xiu Li, Jagadeesan Jayender

Figure 1 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 2 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 3 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 4 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Viaarxiv icon

Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island

Sep 06, 2020
Yue Yang, Wencang Bao, Mohsen Ramezani, Zhe Xu

Figure 1 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 2 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 3 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 4 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Viaarxiv icon

Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration

Jul 06, 2020
Zhe Xu, Jie Luo, Jiangpeng Yan, Ritvik Pulya, Xiu Li, William Wells III, Jayender Jagadeesan

Figure 1 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 2 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 3 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 4 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Viaarxiv icon

Reward Machines for Cooperative Multi-Agent Reinforcement Learning

Jul 03, 2020
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu

Figure 1 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 2 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 3 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 4 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Viaarxiv icon

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

Jun 28, 2020
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu

Figure 1 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 2 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 3 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 4 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Viaarxiv icon

Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers

May 14, 2020
Junjie Liu, Zhe Xu, Runbin Shi, Ray C. C. Cheung, Hayden K. H. So

Figure 1 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 2 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 3 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 4 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Viaarxiv icon

Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?

Mar 20, 2020
Jie Luo, Guangshen Ma, Sarah Frisken, Parikshit Juvekar, Nazim Haouchine, Zhe Xu, Yiming Xiao, Alexandra Golby, Patrick Codd, Masashi Sugiyama, William Wells III

Figure 1 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 2 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 3 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 4 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Viaarxiv icon