Applying genetic algorithms to automated theorem proving

von Wang, Huifang
Veröffentlicht 1992

Applying genetic algorithms to automated theorem proving

von Wang, Huifang
Veröffentlicht 1992

Stock price idiosyncratic information and corporate innovation : a discussion of corporate innovation strategy

von Wang, Anqi
Veröffentlicht in Finance research letters (2023)

Analysis of Man’s Role in Unmanned Operations

von Cheng, Hongjun
Veröffentlicht in International Conference on MMESE (20. : 2020 : Zheng zhou) Man-machine-environment system engineering ; Volume 1 (2020)

The Use of Unmanned Aerial Vehicle in Military Operations

von Wang, Huifang
Veröffentlicht in International Conference on MMESE (20. : 2020 : Zheng zhou) Man-machine-environment system engineering ; Volume 2 (2020)

Penetration and Simulation of Ultra High Performance Concrete Subjected To Repeated Projectile Impacts

von Lai, Jianzhong
Veröffentlicht in International Conference on UHPC Materials and Structures (1. : 2016 : Changsha) 1st International Conference on UHPC Materials and Structures (2019)

RESEARCH ON ECONOMIC REMAINING LIFE OF POWER TRANSFORMERS BASED ON THE LIFETIME DATA

von Zhao, Wanfang
Veröffentlicht in 2014 17th International Conference on Electrical Machines and Systems (ICEMS 2014) ; 1 (2014)

Operation of copper cavities at cryogenic temperatures

von Wang, Huifang
Veröffentlicht 2023

Animated and Unmoderated: A Usability Evaluation Case Study of A/B Designs with SAS Analytics Customers

von Kurian, Shaun
Veröffentlicht in International Conference on Human-Computer Interaction (24. : 2022 : Online) HCI International 2022 Posters ; Part 1 (2022)

PREPARATION AND DYNAMIC PROPERTIES OF FUNCTIONALLY GRADED CEMENTITIOUS COMPOSITE SUBJECTED TO IMPACT

von Lai, Jianzhong
Veröffentlicht in International Conference on UHPC Materials and Structures (2. : 2018 : Fuzhou) 2nd International Conference on UHPC Materials and Structures (UHPC 2018-China) (2021)

Study on Training of 400-m Armed Island-Landing Obstacles

von Chen, Min
Veröffentlicht in International Conference on MMESE (20. : 2020 : Zheng zhou) Man-machine-environment system engineering ; Volume 2 (2020)