Similar Items: The Sound of UAVs: A Review of Algorithms, Applications, and Databases
- A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
- Soundness in negotiations
- A Quantum Approximate Optimization Algorithm for Resource Allocation in Database System
- More Than a Mobile Client: A Systematic Literature Review of Architectures, Applications, and Challenges of UAV-Enabled Federated Learning
- Build your own clarithmetic II: Soundness
- Proving Soundness of Extensional Normal-Form Bisimilarities