Miaomiao Zhang

IEEE Trans. Geosci. Remote. Sens., 2023

MGAug: Multimodal Geometric Augmentation in Latent Spaces of Image Deformations.

[BibT_eX]

[DOI]

Tonmoy Hossain

Jian Wang

CoRR, 2023

Implement services for business scenarios by combining basic emulators.

[BibT_eX]

[DOI]

Lei Zhao

CoRR, 2023

Emulators in JINSP.

[BibT_eX]

[DOI]

Lei Zhao

Zhe Lv

CoRR, 2023

Design of JiuTian Intelligent Network Simulation Platform.

[BibT_eX]

[DOI]

CoRR, 2023

Near MDS and near quantum MDS codes via orthogonal arrays.

[BibT_eX]

[DOI]

CoRR, 2023

Activation From Sparse 2D Cardiac MRIs.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning for Health, 2023

SADIR: Shape-Aware Diffusion Models for 3D Image Reconstruction.

[BibT_eX]

[DOI]

Nivetha Jayakumar

Tonmoy Hossain

Thomas Eluvathingal Muttikkal

Proceedings of the Shape in Medical Imaging - International Workshop, 2023

Joint Deep Learning for Improved Myocardial Scar Detection from Cardiac MRI.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

Multitask Learning for Improved Late Mechanical Activation Detection of Heart from Cine Dense MRI.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

Multimodal Deep Learning to Differentiate Tumor Recurrence from Treatment Effect in Human Glioblastoma.

[BibT_eX]

[DOI]

Tonmoy Hossain

Zoraiz Qureshi

Nivetha Jayakumar

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

MetaMorph: Learning Metamorphic Image Transformation with Appearance Changes.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Medical Imaging, 2023

MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

Hankel Structured Low Rank and Sparse Representation Via L0-Norm Optimization for Compressed Ultrasound Plane Wave Signal Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Learning Assumptions for Compositional Verification of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Adaptive Bidirectional Gray-Scale Center of Gravity Extraction Algorithm of Laser Stripes.

[BibT_eX]

[DOI]

Sensors, 2022

Co- and Postseismic Deformation of the 2020 Mw 6.3 Nima (Tibet, China) Earthquake Revealed by InSAR Observations.

[BibT_eX]

[DOI]

Remote. Sens., 2022

An Improved Ant Colony Algorithm for Urban Bus Network Optimization Based on Existing Bus Routes.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2022

Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying Sylvester equation.

[BibT_eX]

[DOI]

Bing Zheng

Autom., 2022

BDG-Net: boundary distribution guided network for accurate polyp segmentation.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2022: Image Processing, 2022

Human-Cyber-Physical Automata and Their Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Audio Signal-based Depression Level Prediction Combining Temporal and Spectral Features.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Pattern Recognition, 2022

Learning Deterministic One-Clock Timed Automata via Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Learning Nondeterministic Real-Time Automata.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Inferring Switched Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Defending Medical Image Diagnostics against Privacy Attacks using Generative Methods.

[BibT_eX]

[DOI]

CoRR, 2021

Learning real-time automata.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2021

Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Deep Networks To Automatically Detect Late-Activating Regions Of The Heart.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Biomedical Imaging, 2021

Defending Medical Image Diagnostics Against Privacy Attacks Using Generative Methods: Application to Retinal Diagnostics.

[BibT_eX]

[DOI]

Proceedings of the Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for Combating COVID-19 and Secure and Privacy-Preserving Machine Learning, 2021

2020

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

From model to implementation: a network algorithm programming language.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2020

Learning One-Clock Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Reluplex made more practical: Leaky ReLU.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2020

PAC Learning of Deterministic One-Clock Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Analysis on the Cost of Implementing the Flipped Classroom Model in Universities.

[BibT_eX]

[DOI]

Jing Leng

Bo Zhu

Proceedings of the ICEIT 2020, 2020

Simulation of Load Control Scheme in Power Plant Based on Condensate Throttling Prediction Model.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Advanced Computational Intelligence, 2020

2019

Arc detection and recognition in pantograph-catenary system based on convolutional neural network.

[BibT_eX]

[DOI]

Inf. Sci., 2019

Temporal Registration in Application to In-utero MRI Time Series.

[BibT_eX]

[DOI]

CoRR, 2019

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer.

[BibT_eX]

[DOI]

IEEE Access, 2019

Mixture Probabilistic Principal Geodesic Analysis.

[BibT_eX]

[DOI]

Youshan Zhang

Jiarui Xing

Proceedings of the Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy, 2019

Plug-and-Play Priors for Reconstruction-Based Placental Image Registration.

[BibT_eX]

[DOI]

Proceedings of the Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis, 2019

On the Applicability of Registration Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2019, 2019

Deformable Registration of Whole Brain Zebrafish Microscopy Using an Implementation of the Flash Algorithm Within Ants.

[BibT_eX]

[DOI]

Greg M. Fleishman

Nicholas J. Tustison

Isabel Espinosa-Medina

Yu Mu

Khaled Khairy

Misha B. Ahrens

Proceedings of the 16th IEEE International Symposium on Biomedical Imaging, 2019

Data-Driven Model Order Reduction for Diffeomorphic Image Registration.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Medical Imaging, 2019

High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A proof-based method of hybrid systems development using differential invariants.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

On the Ambiguity of Registration Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2018

Using the variogram for vector outlier screening: application to feature-based image registration.

[BibT_eX]

[DOI]

Int. J. Comput. Assist. Radiol. Surg., 2018

Efficient Laplace Approximation for Bayesian Registration Uncertainty Quantification.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

A Feature-Driven Active Framework for Ultrasound-Based Brain Shift Compensation.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

A Novel Joint Code Acquisition and Doppler Frequency Estimation Method for weak GNSS Signal.

[BibT_eX]

[DOI]

Jianing Wang

Baowang Lian

Proceedings of the 2018 IEEE International Conference on Signal Processing, 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Probabilistic modeling of anatomical variability using a low dimensional parameterization of diffeomorphisms.

[BibT_eX]

[DOI]

William M. Wells III

Medical Image Anal., 2017

Evo-Devo-EpiR: a genome-wide search platform for epistatic control on the evolution of development.

[BibT_eX]

[DOI]

Briefings Bioinform., 2017

A New Time Series Representation Model and Corresponding Similarity Measure for Fast and Accurate Similarity Detection.

[BibT_eX]

[DOI]

Dechang Pi

IEEE Access, 2017

Fast Geodesic Regression for Population-Based Image Analysis.

[BibT_eX]

[DOI]

Yi Hong

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2017, 2017

Frequency Diffeomorphisms for Efficient Image Registration.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Medical Imaging, 2017

A Novel Method for Fast and Accurate Similarity Measure in Time Series Field.

[BibT_eX]

[DOI]

Dechang Pi

Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Bayesian Models on Manifolds for Image Registration and Statistical Shape Analysis.

[BibT_eX]

PhD thesis, 2016

Statistical shape analysis: From landmarks to diffeomorphisms.

[BibT_eX]

[DOI]

Medical Image Anal., 2016

Dynamic matchings in left vertex weighted convex bipartite graphs.

[BibT_eX]

[DOI]

Quan Zu

Bin Yu

J. Comb. Optim., 2016

Efficient Transparent Redactable Signatures with a Single Signature Invocation.

[BibT_eX]

[DOI]

Stuart Haber

William G. Horne

IACR Cryptol. ePrint Arch., 2016

Low-Dimensional Statistics of Anatomical Variability via Compact Representation of Image Deformations.

[BibT_eX]

[DOI]

William M. Wells III

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, 2016

Temporal Registration in In-Utero Volumetric MRI Time Series.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, 2016

Image registration and segmentation in longitudinal MRI using temporal appearance modeling.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Biomedical Imaging, 2016

Data Aggregation and Analysis: A Fast Algorithm of ECG Recognition Based on Pattern Matching.

[BibT_eX]

[DOI]

Dechang Pi

Proceedings of the Cloud Computing and Security - Second International Conference, 2016

Sparse regularization methods in ultrafast ultrasound imaging.

[BibT_eX]

[DOI]

Proceedings of the 24th European Signal Processing Conference, 2016

SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2016, 2016

2015

Bayesian principal geodesic analysis for estimating intrinsic diffeomorphic image variability.

[BibT_eX]

[DOI]

Medical Image Anal., 2015

A Hierarchical Bayesian Model for Multi-Site Diffeomorphic Image Atlases.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 2015

Fast Dynamic Weight Matchings in Convex Bipartite Graphs.

[BibT_eX]

[DOI]

Quan Zu

Bin Yu

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Finite-Dimensional Lie Algebras for Fast Diffeomorphic Image Registration.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Medical Imaging, 2015

2014

Bayesian Principal Geodesic Analysis in Diffeomorphic Image Registration.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, 2014

Dynamic Matchings in Left Weighted Convex Bipartite Graphs.

[BibT_eX]

[DOI]

Quan Zu

Bin Yu

Proceedings of the Frontiers in Algorithmics - 8th International Workshop, 2014

2013

Probabilistic Principal Geodesic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Bayesian Estimation of Regularization and Atlas Building in Diffeomorphic Image Registration.

[BibT_eX]

[DOI]

Nikhil Singh

Proceedings of the Information Processing in Medical Imaging, 2013

Bounded model-checking of discrete duration calculus.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Formal Specification of Hybrid MARTE Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Formal specification and analysis of zeroconf using uppaalS.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2011

Improving RSS-Based Ranging in LOS-NLOS Scenario Using GMMs.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2011

Design and simulation of RF terminal VGA module for monitoring system of offshore dumping areas.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010

Modeling and Verification of an Automatic Train Protection System.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Design and Verification of Fault-Tolerant Components.

[BibT_eX]

[DOI]

Proceedings of the Methods, 2009

Model Checking Linear Duration Invariants of Networks of Automata.

[BibT_eX]

[DOI]

Zhiming Liu

Naijun Zhan

Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Services Compatibility.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Verification of Linear Duration Invariants by Model Checking CTL Properties.

[BibT_eX]

[DOI]

Dang Van Hung

Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2008

Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Parametric Analysis of an Improved Fault Tolerant System.

[BibT_eX]

[DOI]

Wenzhong Qin

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

[BibT_eX]

[DOI]

Dang Van Hung

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

2006

A New Construction of Time Capsule Signature.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Formal Analysis of Streaming Downloading Protocol for System Upgrading.

[BibT_eX]

[DOI]

Dang Van Hung

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Efficient ID-based Proxy Chameleon Signature from Bilinear Pairings.

[BibT_eX]

[DOI]

Gongliang Chen

Jianhua Li

Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006

Analysis of the zeroconf protocol using UPPAAL.

[BibT_eX]

[DOI]

Biniam Gebremichael

Frits W. Vaandrager

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Deadlock Prevention in the Æthereal Protocol.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Modeling and Verifying a Lego Car Using Hybrid I/O Automata.

[BibT_eX]

[DOI]

Ansgar Fehnker

Frits W. Vaandrager