Attention-Driven Multi-Sequence Mri Feature Learning and Fusion for Breast Cancer Diagnosis.
Proceedings of the 22nd IEEE International Symposium on Biomedical Imaging, 2025
Social media literacy in the age of Artificial Intelligence.
Proceedings of the 2024 3rd International Conference on Artificial Intelligence and Education, 2024
Comparative analysis of urban underground public space and user walking paths based on the social network model.
Neural Comput. Appl., December, 2023
NIDA-CLIFGAN: Natural Infrastructure Damage Assessment through Efficient Classification Combining Contrastive Learning, Information Fusion and Generative Adversarial Networks.
CoRR, 2021
Accurate Reactive Power Sharing for Microgrid Using Distributed Adaptive Virtual Impedance.
Proceedings of the 29th IEEE International Symposium on Industrial Electronics, 2020
Inverter Control Based on Virtual Impedance Under Unbalanced Load.
Proceedings of the 29th IEEE International Symposium on Industrial Electronics, 2020
Completely Decentralized Energy Management System with High Reliability for the Fuel Cell-Ultracapacitor Auxiliary Power Unit.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020
Evaluation of redundancy-based system: a model checking approach.
Sci. China Inf. Sci., 2018
An Asynchronous Distributed ADMM Algorithm and Efficient Communication Model.
Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016
基于特征偏好的聚类研究 (Research on Clustering with Feature Preferences).
计算机科学, 2015
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
Toward SIL Evaluation for a Resilience Strategy.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Internet experience and time displacement of traditional news media use: An application of the theory of the niche.
Telematics Informatics, 2012
Test-Case Design by Feature Trees.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
A comparison of three weighted human gene functional association networks.
Proceedings of the 6th IEEE International Conference on Systems Biology, 2012
Formal Model-Based Test for AUTOSAR Multicore RTOS.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Research on an Anti-Perturbation Kalman Filter Algorithm.
J. Networks, 2011
Generating Java Compiler Optimizers Using Bidirectional CTL.
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007