Integrating a multigeneration system into a biogas-fueled gas turbine power plant for CO2 emission reduction: An efficient design and exergy-economic assessment.
Comput. Chem. Eng., 2025
Discovery of the potential biomarkers for early diagnosis of endometrial cancer via integrating metabolomics and transcriptomics.
,
,
,
,
,
,
,
,
,
,
Comput. Biol. Medicine, 2024
Research on Optimal Scheduling Strategy of Microgrid Considering Electric Vehicle Access.
Symmetry, November, 2023
Multi-Request Data Cache Optimization Strategy in Edge Computing.
Proceedings of the 25th ACIS International Winter Conference on Software Engineering, 2023
Application of Image Similarity Detection based on Typical ITAI Servers.
Proceedings of the ICIGP 2022: The 5th International Conference on Image and Graphics Processing, Beijing, China, January 7, 2022
Development of Nursing Informatics Competencies Evaluation Index System of Clinical Nurses.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021
Second-Order Sliding Mode Formation Control of Multiple Robots by Extreme Learning Machine.
Symmetry, 2019
Method of Deep Web Collection for Mobile Application Store Based on Category Keyword Searching.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2019
Artificial Intelligence and Game Theory Based Security Strategies and Application Cases for Internet of Vehicles.
Proceedings of the Communications, Signal Processing, and Systems, 2019
An approach of steel plate hybrid bonding technique to externally bonded fibre-reinforced polymer strengthening system.
Int. J. Distributed Sens. Networks, 2018
Bi-Stability Phenomenon in Constant On-Time Controlled Buck Converter With Small Output Capacitor ESR.
IEEE Access, 2018
Parallelizing model checking algorithms using multi-core and many-core architectures
PhD thesis, 2017
A Multiscale Study on the Penetration Enhancement Mechanism of Menthol to Osthole.
J. Chem. Inf. Model., 2016
Compositional Reasoning for Shared-variable Concurrent Programs.
CoRR, 2016
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
GPU Accelerated On-the-Fly Reachability Checking.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium).
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
GPU Accelerated Counterexample Generation in LTL Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2014
Supporting User-directed Fault Tolerance over Standard MPI.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012