FVIL: Intermediate Language Based on Formal Verification Virtual Machine

von Zeng, Weiru
Veröffentlicht in ICAIS (6. : 2020 : Hohhot; Online) Artificial intelligence and security ; Part 3 (2020)

Portfolio Optimization Based on Quantum HHL Algorithm

von Li, Qinghai
Veröffentlicht in ICAIS (8. : 2022 : Qinghai) Artificial intelligence and security ; Part 2 (2022)

TFFV: Translator from EOS Smart Contracts to Formal Verification Language

von Yan, ZeHui
Veröffentlicht in ICAIS (6. : 2020 : Hohhot; Online) Artificial intelligence and security ; Part 3 (2020)

Intelligent Data Analysis System Based on Edge Computing

von Wang, Keyu
Veröffentlicht in ICAIS (8. : 2022 : Qinghai) Artificial intelligence and security ; Part 2 (2022)

Single Platform Passive Location Algorithm Using Position Information and Azimuth

von Bai, Jiayu
Veröffentlicht in ICAIS (8. : 2022 : Qinghai) Artificial intelligence and security ; Part 2 (2022)