Analysis of Formal Methods for Specification of E-Commerce Applications

by Sadiq Ali Khan, Huma Jamshed
Published 2016-01-01

Attitude heading reference algorithm based on transformed cubature Kalman filter

by Yong-jun Yu, Xiang Zhang, M Sadiq Ali Khan
Published 2020-08-01

Neural minimization methods (NMM) for solving variable order fractional delay differential equations (FDDEs) with simulated annealing (SA).

by Amber Shaikh, M Asif Jamal, Fozia Hanif, M Sadiq Ali Khan, Syed Inayatullah
Published 2019-01-01

Internet of Things (IoT)-Enabled Unmanned Aerial Vehicles for the Inspection of Construction Sites: A Vision and Future Directions

by Ambar Israr, Ghulam E. Mustafa Abro, M. Sadiq Ali Khan, Muhammad Farhan, Saif ul Azrin Bin Mohd Zulkifli
Published 2021-01-01