Accurate ICP-based floating-point reasoning K Scheibler, F Neubauer, A Mahdi, M Fränzle, T Teige, T Bienmüller, ... 2016 Formal Methods in Computer-Aided Design (FMCAD), 177-184, 2016 | 25 | 2016 |
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. F Neubauer, K Scheibler, B Becker, A Mahdi, M Fränzle, T Teige, ... SC²@ SYNASC, 32-38, 2016 | 9 | 2016 |
Advancing software model checking beyond linear arithmetic theories A Mahdi, K Scheibler, F Neubauer, M Fränzle, B Becker Hardware and Software: Verification and Testing: 12th International Haifa …, 2016 | 5 | 2016 |
Hybrid extend particle swarm optimization (EPSO) model for enhancing the performance of MANET routing protocols AH Alsaeedi, MA Al-Sharqi, SS Alkafagi, RR Nuiaa, ASD Alfoudi, ... Journal of Al-Qadisiyah for computer science and mathematics 15 (1), Page …, 2023 | 4 | 2023 |
QUADRATIC CONICS IN HYPERBOLIC GEOMETRY. AM MAHDI International Journal of Geometry 8 (2), 2019 | 3 | 2019 |
Transformations for compositional verification of assumption-commitment properties A Mahdi, B Westphal, M Fränzle International Workshop on Reachability Problems, 216-229, 2014 | 3 | 2014 |
Estimation some genetic paramders and path coefficient analysis in maize (Zea mays L.) AM Mahdi, QJ Hamoud Journal of Education and Scientific Studies 1 (12), 2018 | 2 | 2018 |
Generalized Craig interpolation for stochastic satisfiability modulo theory problems A Mahdi, M Fränzle International Workshop on Reachability Problems, 203-215, 2014 | 2 | 2014 |
Effect of leaves removal at anthesis on grain yield and green forage of sorghum KM Wuhaib, HM Kareem, AM Mahdi Iraqi Journal of Agricultural Sciences 37 (3), 2006 | 2 | 2006 |
Survey Analysis on smart features selection for machine learning techniques mainly applied to EEG. E Hakem, D Al-Shammary, AM Mahdi Journal of Al-Qadisiyah for computer science and mathematics 15 (3), Page 71 …, 2023 | 1 | 2023 |
Hybrid Intrusion Detection Systems Based Mean-Variance Mapping Optimization Algorithm and Random Search. AL Albukhnefis, AA Sakran, AAS Mahe, MI Mousa, AM Mahdi International Journal of Intelligent Engineering & Systems 16 (5), 2023 | 1 | 2023 |
Applications of the q-Wanas operator for a certain family of bi-univalent functions defined by subordination AK Wanas, AM Mahdi Asian-European Journal of Mathematics 16 (06), 2350095, 2023 | 1 | 2023 |
CONICS ON THE SPHERE. AM MAHDI International Journal of Geometry 9 (2), 2020 | 1 | 2020 |
Efficient ECG Classification based on the Probabilistic Kullback-Leibler Divergence D Al-Shammary, M Radhi, A Hakem, AM Mahdi, A Ibaida, K Ahmed Informatics in Medicine Unlocked, 101510, 2024 | | 2024 |
Efficient ECG classification based on chi-square distance for arrhythmia detection D Al-Shammary, MN Kadhim, AM Mahdi, A Ibaida, K Ahmed Journal of Electronic Science and Technology, 100249, 2024 | | 2024 |
A novel brain EEG clustering based on Minkowski distance to improve intelligent epilepsy diagnosis D Al-Shammary, E Hakem, AM Mahdi, A Ibaida, K Ahmed Informatics in Medicine Unlocked 47, 101492, 2024 | | 2024 |
Algorithmic Analysis and Comparative Evaluation of Conical Curve Construction Methods AM Mahdi Journal of Al-Qadisiyah for Computer Science and Mathematics 15 (4), 46–52-46–52, 2023 | | 2023 |
Survey analysis for optimization algorithms applied to electroencephalogram. E Hakem, D Al-Shammary, AM Mahdi International Journal of Electrical & Computer Engineering (2088-8708) 13 (6), 2023 | | 2023 |
Hybrid Model-Based Cauchy and Machine Learning Algorithms for IoT-Intrusion Detection System. QAA Hadi, ASD Alfoudi, AM Mahdi International Journal of Intelligent Engineering & Systems 16 (6), 2023 | | 2023 |
An In-depth Comparative Analysis of Conical Curve Variations: Exploring the Distinctive Properties and Applications of Elliptic and Hyperbolic Cones AM Mahdi Journal of Al-Qadisiyah for Computer Science and Mathematics 15 (3), math …, 2023 | | 2023 |