Xiaowu Sun

Orcid: 0000-0003-0274-8955

According to our database1, Xiaowu Sun authored at least 16 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Deep Learning Segmentation of the Right Ventricle in Cardiac MRI: The M&Ms Challenge.
IEEE J. Biomed. Health Informatics, July, 2023

2022
Safe Learning and Verification of Neural Network Controllers for Autonomous Systems
PhD thesis, 2022

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.
CoRR, 2022

Combination Special Data Augmentation and Sampling Inspection Network for Cardiac Magnetic Resonance Imaging Quality Classification.
Proceedings of the Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers, 2022

Transformer Based Feature Fusion for Left Ventricle Segmentation in 4D Flow MRI.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

Contrastive Learning for Echocardiographic View Integration.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis.
CoRR, 2021

Right Ventricle Segmentation via Registration and Multi-input Modalities in Cardiac Magnetic Resonance Imaging from Multi-disease, Multi-view and Multi-center.
Proceedings of the Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge, 2021

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Nested MIMD-SIMD Parallelization for Heterogeneous Microprocessors.
ACM Trans. Archit. Code Optim., 2020

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
DoS-Resilient Multi-Robot Temporal Logic Motion Planning.
Proceedings of the International Conference on Robotics and Automation, 2019

Formal verification of neural network controlled autonomous systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018
A Method for Predicting Protein Complexes from Dynamic Weighted Protein-Protein Interaction Networks.
J. Comput. Biol., 2018

2014
Using electronic health record data to develop inpatient mortality predictive model: Acute Laboratory Risk of Mortality Score (ALaRMS).
J. Am. Medical Informatics Assoc., 2014


  Loading...