Formal analysis of 2D image processing filters using higher-order logic theorem proving by Adnan Rashid, Sa’ed Abed, Osman Hasan

Get full text

Efficient cover image selection based on spatial block analysis and DCT embedding by Sa’ed Abed, Suood Abdulaziz Al-Roomi, Mohammad Al-Shayeji

Get full text

FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher by Sa’ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji

Get full text

CAD systems for COVID-19 diagnosis and disease stage classification by segmentation of infected regions from CT images by Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa’ed Abed

Get full text

Error metrics determination in functionally approximated circuits using SAT solvers. by Sa'ed Abed, Ali A M R Behiry, Imtiaz Ahmad

Get full text

Performance evaluation of the SM4 cipher based on field‐programmable gate array implementation by Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji

Get full text

POSIT vs. Floating Point in Implementing IIR Notch Filter by Enhancing Radix-4 Modified Booth Multiplier by Anwar A. Esmaeel, Sa’ed Abed, Bassam J. Mohd, Abbas A. Fairouz

Get full text