An Improved TCN-Based Network Combining RLS for Bearings-Only Target Tracking

von Zhao, Yingqi
Veröffentlicht in ICIRA (14. : 2021 : Yantai) Intelligent Roboticsand Applications ; Part 2 (2021)

On Verification of Smart Contracts via Model Checking

von Bao, Yulong
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)