Performance of the Semi-Empirical Precipitable Water Vapor Retrieval Algorithm Developed for Polarized Scanning Atmospheric Corrector (PSAC) in the Presence of Sensor Decay.

[BibT_eX]

[DOI]

Yanqing Xie

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

Miaomiao Zhang

CoRR, 2023

Implement services for business scenarios by combining basic emulators.

[BibT_eX]

[DOI]

Lei Zhao

Miaomiao Zhang

CoRR, 2023

Emulators in JINSP.

[BibT_eX]

[DOI]

Lei Zhao

Miaomiao Zhang

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

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

[BibT_eX]

[DOI]

Nivetha Jayakumar

Tonmoy Hossain

Miaomiao Zhang

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

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

[BibT_eX]

[DOI]

Tonmoy Hossain

Zoraiz Qureshi

Nivetha Jayakumar

Thomas Eluvathingal Muttikkal

Proceedings of the 20th IEEE International Symposium on Biomedical 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

PM2.5 and AQI prediction based on multi-step prediction model.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Mathematics and Machine Learning, 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]

Miaomiao Zhang

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

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

Miaomiao Zhang

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

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

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

Greg M. Fleishman

Miaomiao Zhang

Nicholas J. Tustison

Isabel Espinosa-Medina

Yu Mu

Khaled Khairy

Misha B. Ahrens

Proceedings of the 16th IEEE International Symposium on Biomedical 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

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

[BibT_eX]

[DOI]

Jianing Wang

Baowang Lian

Miaomiao Zhang

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

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]

Miaomiao Zhang

Dechang Pi

IEEE Access, 2017

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

[BibT_eX]

[DOI]

Miaomiao Zhang

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]

Miaomiao Zhang

PhD thesis, 2016

Dynamic matchings in left vertex weighted convex bipartite graphs.

[BibT_eX]

[DOI]

Quan Zu

Miaomiao Zhang

Bin Yu

J. Comb. Optim., 2016

Efficient Transparent Redactable Signatures with a Single Signature Invocation.

[BibT_eX]

[DOI]

Stuart Haber

William G. Horne

Miaomiao Zhang

IACR Cryptol. ePrint Arch., 2016

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

[BibT_eX]

[DOI]

Miaomiao Zhang

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

Fast Dynamic Weight Matchings in Convex Bipartite Graphs.

[BibT_eX]

[DOI]

Quan Zu

Miaomiao Zhang

Bin Yu

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Dynamic Matchings in Left Weighted Convex Bipartite Graphs.

[BibT_eX]

[DOI]

Quan Zu

Miaomiao Zhang

Bin Yu

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

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]

Miaomiao Zhang

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]

Miaomiao Zhang

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]

Miaomiao Zhang

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

Miaomiao Zhang

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]

Miaomiao Zhang

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]

Miaomiao Zhang

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

Miaomiao Zhang

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

Miaomiao Zhang

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Miaomiao Zhang

Known people with the same name:

Bibliography

Loading...