PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

von Liu, Guanjun
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Application and theory of petri nets and concurrency (2020)

Improved UAV Scene Matching Algorithm Based on CenSurE Features and FREAK Descriptor

von Wang, Chenglong
Veröffentlicht in International Conference on Computer Engineering and Networks (10. : 2020 : Xi'an) The 10th International Conference on Computer Engineering and Networks ; Set 1 (2021)

Compensation Method of Dynamic Angle Measurement for Missile-Borne Star Sensor

von Wu, Bin
Veröffentlicht in International Conference on Guidance, Navigation and Control (2020 : Tientsin) Advances in guidance, navigation and control ; Volume 5 (2022)

Evaluation of Needle Driver Designs for Robot-Assisted Needle Insertions Under MRI Guidance

von Liu, Guanyun
Veröffentlicht in ASME International Mechanical Engineering Congress and Exposition (2022 : Columbus, Ohio) Proceedings of ASME 2022 International Mechanical Engineering Congress and Exposition (IMECE2022) ; Volume 4: Biomedical and biotechnology design, systems, and complexity (2022)