( en | de | ru )

 

Disambiguation of "Ren, Hao"

Author of the publication

copydeleteadd this publication to your clipboard
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.

, , and . ICINCO (1), page 534-540. SciTePress, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wenjin Hao

Xiaofei Hao

Jun Hao

Jin Hao

Yao Hao

 

Other publications of authors with the same name

A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks, , , and . IEEE Transactions on Systems, Man, and Cybernetics: Systems, (2019)Joint extraction of entities and relations via an entity correlated attention neural model., , , , , , and . Inf. Sci., (2021)Learning Bayesian network parameters from small data sets: A further constrained qualitatively maximum a posteriori method., , , , , and . Int. J. Approx. Reason., (2017)Deep Learning Causal Attributions of Breast Cancer., , , , , , and . SAI (3), volume 285 of Lecture Notes in Networks and Systems, page 124-135. Springer, (2021)Robotic Micromanipulation for Active Pin Alignment in Electronic Soldering Industry., , and . ICRA, page 623-628. IEEE, (2021)The input pattern problem on deep learning applied to signal analysis and processing to achieve fault diagnosis., , , , , and . Sci. China Inf. Sci., 62 (12): 229202 (2019)An algorithm for sensor fault diagnosis with EEMD-SVM., , , , , and . Trans. Inst. Meas. Control, 40 (6): 1746-1756 (2018)A novel and efficient salp swarm algorithm for large-scale QoS-aware service composition selection., , , and . Computing, 104 (9): 2031-2051 (2022)Toward Speech Articulation Detection through Smartphone., , , , and . UbiComp/ISWC Adjunct, page 83-85. ACM, (2021)Instance-Aware Diffusion Implicit Process for Box-Based Instance Segmentation., , , , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1946-1953. IOS Press, (2023)