On the exploitation of control knowledge for enhancing automated planning.
Inf. Sci., 2025
Preparation and Mechanism Analysis of High-Performance Humidity Sensor Based on Eu-Doped TiO2.
Sensors, July, 2024
Low/Middle-Frequency Positive External- Damping Design Under Self-Stability Constraint for Inner Control Loop of Grid-Forming Converters.
IEEE Trans. Ind. Electron., May, 2024
Implicit Regression in Subspace for High-Sensitivity CEST Imaging.
Proceedings of the IEEE International Symposium on Biomedical Imaging, 2024
Adaptively parallel runtime verification based on distributed network for temporal properties.
Parallel Comput., September, 2023
DMNR: Unsupervised De-noising of Point Clouds Corrupted by Airborne Particles.
CoRR, 2023
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
The Impact of Audit Committee IT Expertise on Data Breaches.
J. Inf. Syst., September, 2022
EBM Life Cycle: MCMC Strategies for Synthesis, Defense, and Density Modeling.
CoRR, 2022
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
Modelling Aboveground Biomass Carbon Stock of the Bohai Rim Coastal Wetlands by Integrating Remote Sensing, Terrain, and Climate Data.
,
,
,
,
,
,
,
,
,
,
,
,
Remote. Sens., 2021
Mapping Coastal Wetlands of the Bohai Rim at a Spatial Resolution of 10 m Using Multiple Open-Access Satellite Data and Terrain Indices.
Remote. Sens., 2020
Checking Compliance of X.509 Digital Certificates over IPv6 with Specifications.
Proceedings of the CIAT 2020: International Conference on Cyberspace Innovation of Advanced Technologies, 2020
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach.
ACM Trans. Softw. Eng. Methodol., 2019
Optimized LOAM Using Ground Plane Constraints and SegMatch-Based Loop Detection.
Sensors, 2019
Enhancement of the Humidity Sensing Performance in Mg-Doped Hexagonal ZnO Microspheres at Room Temperature.
Sensors, 2019
A Real-World Human-Machine Interaction Platform in Insurance Industry.
Proceedings of the 31st Conference on Computational Linguistics and Speech Processing, 2019
RFC-directed differential testing of certificate validation in SSL/TLS implementations.
Proceedings of the 40th International Conference on Software Engineering, 2018
Cloning Automata: Simulation and Analysis of Computer Bacteria.
Proceedings of the Combinatorial Optimization and Applications, 2017
Monitoring Building Deformation with InSAR: Experiments and Validation.
Sensors, 2016
Comparing programming model with genetic algorithm model to the aircrew problem.
Proceedings of the 10th International Conference on Natural Computation, 2014
A Log Likelihood Predictor for Genomic Classification of Oral Cancer using Principle Component Analysis for Feature Selection.
Proceedings of the MEDINFO 2004, 2004
Functional Relationships Between Gene Pairs in Oral Squamous Cell Carcinoma.
Proceedings of the AMIA 2003, 2003