Miaomiao Zhang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2025
Multi-object tracking review: retrospective and emerging trend.
Artif. Intell. Rev., August, 2025

IrrMap: A Large-Scale Comprehensive Dataset for Irrigation Method Mapping.
CoRR, May, 2025

An AND-type 1T-FeFET array with robust write and read operations.
Sci. China Inf. Sci., 2025

Compositional Abstraction for Timed Systems with Broadcast Synchronization.
Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024
A Pavement Crack Translator for Data Augmentation and Pixel-Level Detection Based on Weakly Supervised Learning.
IEEE Trans. Intell. Transp. Syst., October, 2024

Learning Temporal-Spatial Contextual Adaptation for Three-Dimensional Human Pose Estimation.
Sensors, July, 2024

Radiometric Calibration of the Near-Infrared Bands of GF-5-02/DPC for Water Vapor Retrieval.
Remote. Sens., May, 2024

Some new quantum codes from constacyclic codes.
Quantum Inf. Process., January, 2024

A Tightness Detection Method for Railway Fasteners Based on RGB-P Bimodal Data.
IEEE Trans. Instrum. Meas., 2024

Remote Sensing Image Destriping by an ℓ₀-Based Nonconvex Model With Overlapping Group Sparse Hyper-Laplacian Prior.
IEEE Geosci. Remote. Sens. Lett., 2024

TortoiseBFT: An asynchronous consensus algorithm for IoT system.
J. King Saud Univ. Comput. Inf. Sci., 2024

Comprehensive evaluation method of live streaming business model in online marketing environment.
Int. J. Web Based Communities, 2024

A survey on person and vehicle re-identification.
IET Comput. Vis., 2024

Serein: A parallel pipeline-based DAG schema for consensus in blockchain.
IET Blockchain, 2024

Development path of digital cultural industry by integrating proportional integral and differential algorithm from the perspective of cultural innovation.
Intell. Decis. Technol., 2024

Deep learning-driven pavement crack analysis: Autoencoder-enhanced crack feature extraction and structure classification.
Eng. Appl. Artif. Intell., 2024

Learning Geodesics of Geometric Shape Deformations From Images.
CoRR, 2024

Interior Object Geometry via Fitted Frames.
CoRR, 2024

An end-to-end deep learning pipeline to derive blood input with partial volume corrections for automated parametric brain PET mapping.
CoRR, 2024

2023
Simulation and Error Analysis of Methane Detection Globally Using Spaceborne IPDA Lidar.
Remote. Sens., July, 2023

An optimal control problem for a biological population model with diffusion and infectious disease.
Eur. J. Control, July, 2023

Data Comparison and Cross-Calibration between Level 1 Products of DPC and POSP Onboard the Chinese GaoFen-5(02) Satellite.
Remote. Sens., April, 2023

Performance of the Semi-Empirical Precipitable Water Vapor Retrieval Algorithm Developed for Polarized Scanning Atmospheric Corrector (PSAC) in the Presence of Sensor Decay.
IEEE Trans. Geosci. Remote. Sens., 2023

Implement services for business scenarios by combining basic emulators.
CoRR, 2023

Emulators in JINSP.
CoRR, 2023

Design of JiuTian Intelligent Network Simulation Platform.
CoRR, 2023

Near MDS and near quantum MDS codes via orthogonal arrays.
CoRR, 2023

MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering.
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

PM2.5 and AQI prediction based on multi-step prediction model.
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.
Proceedings of the IEEE International Conference on Acoustics, 2023

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

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

An Improved Ant Colony Algorithm for Urban Bus Network Optimization Based on Existing Bus Routes.
ISPRS Int. J. Geo Inf., 2022

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

BDG-Net: boundary distribution guided network for accurate polyp segmentation.
Proceedings of the Medical Imaging 2022: Image Processing, 2022

Audio Signal-based Depression Level Prediction Combining Temporal and Spectral Features.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021
Defending Medical Image Diagnostics against Privacy Attacks using Generative Methods.
CoRR, 2021

Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).
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.
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
Analysis on the Cost of Implementing the Flipped Classroom Model in Universities.
Proceedings of the ICEIT 2020, 2020

Simulation of Load Control Scheme in Power Plant Based on Condensate Throttling Prediction Model.
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.
Inf. Sci., 2019

Deformable Registration of Whole Brain Zebrafish Microscopy Using an Implementation of the Flash Algorithm Within Ants.
Proceedings of the 16th IEEE International Symposium on Biomedical Imaging, 2019

2018
A Novel Joint Code Acquisition and Doppler Frequency Estimation Method for weak GNSS Signal.
Proceedings of the 2018 IEEE International Conference on Signal Processing, 2018

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

A New Time Series Representation Model and Corresponding Similarity Measure for Fast and Accurate Similarity Detection.
IEEE Access, 2017

A Novel Method for Fast and Accurate Similarity Measure in Time Series Field.
Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

2016
Bayesian Models on Manifolds for Image Registration and Statistical Shape Analysis.
PhD thesis, 2016

Efficient Transparent Redactable Signatures with a Single Signature Invocation.
IACR Cryptol. ePrint Arch., 2016

Data Aggregation and Analysis: A Fast Algorithm of ECG Recognition Based on Pattern Matching.
Proceedings of the Cloud Computing and Security - Second International Conference, 2016

Sparse regularization methods in ultrafast ultrasound imaging.
Proceedings of the 24th European Signal Processing Conference, 2016

SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation.
Proceedings of the Computer Vision - ECCV 2016, 2016

2011
Formal specification and analysis of zeroconf using uppaalS.
ACM Trans. Embed. Comput. Syst., 2011

Improving RSS-Based Ranging in LOS-NLOS Scenario Using GMMs.
IEEE Commun. Lett., 2011

Design and simulation of RF terminal VGA module for monitoring system of offshore dumping areas.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2007
Parametric Analysis of an Improved Fault Tolerant System.
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.
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.
IACR Cryptol. ePrint Arch., 2006

Formal Analysis of Streaming Downloading Protocol for System Upgrading.
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Efficient ID-based Proxy Chameleon Signature from Bilinear Pairings.
Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006

Analysis of the zeroconf protocol using UPPAAL.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Deadlock Prevention in the Æthereal Protocol.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003
Modeling and Verifying a Lego Car Using Hybrid I/O Automata.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003


  Loading...