Mohammad Awedh, Ph.D. - Publications

Affiliations: 
2006 University of Colorado, Boulder, Boulder, CO, United States 
Area:
Electronics and Electrical Engineering

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Smedley D, Haider S, Durinck S, Pandini L, Provero P, Allen J, Arnaiz O, Awedh MH, Baldock R, Barbiera G, Bardou P, Beck T, Blake A, Bonierbale M, Brookes AJ, et al. The BioMart community portal: an innovative alternative to large, centralized data repositories. Nucleic Acids Research. 43: W589-98. PMID 25897122 DOI: 10.1093/Nar/Gkv350  1
2015 Mueen A, AL-Malaise AL-Ghamdi A, Zafar B, Awedh M. Medical image classification using multi-vocabulary Asian Journal of Applied Sciences. 8: 71-78. DOI: 10.3923/Ajaps.2015.71.78  1
2013 Nowozin T, Bimberg D, Daqrouq K, Ajour MN, Awedh M. Materials for future quantum dot-based memories Journal of Nanomaterials. 2013. DOI: 10.1155/2013/215613  1
2013 Bahaidarah M, Al-Obaisi H, Al-Sharif T, Al-Zahrani M, Awedh M, Seddiq Y. A novel technique for run-time loading for MIPS soft-core processor 2013 Saudi International Electronics, Communications and Photonics Conference, Siecpc 2013. DOI: 10.1109/SIECPC.2013.6550792  1
2013 Zare MR, Mueen A, Awedh M, Seng WC. Automatic classification of medical X-ray images: Hybrid generative-discriminative approach Iet Image Processing. 7: 523-532. DOI: 10.1049/iet-ipr.2013.0049  1
2011 Zare MR, Awedh M, Mueen A, Seng WC. Merging scheme-based classification of medical X-ray images Proceedings - Cimsim 2011: 3rd International Conference On Computational Intelligence, Modelling and Simulation. 253-258. DOI: 10.1109/CIMSim.2011.52  1
2011 Zare MR, Mueen A, Seng WC, Awedh MH. Combined feature extraction on medical x-ray images Proceedings - 3rd International Conference On Computational Intelligence, Communication Systems and Networks, Cicsyn 2011. 264-268. DOI: 10.1109/CICSyN.2011.63  1
2006 Awedh M, Somenzi F. Automatic invariant strengthening to prove properties in bounded model checking Proceedings - Design Automation Conference. 1073-1076. DOI: 10.1145/1146909.1147180  1
2006 Awedh M, Somenzi F. Termination criteria for bounded model checking: Extensions and comparison Electronic Notes in Theoretical Computer Science. 144: 51-66. DOI: 10.1016/J.Entcs.2005.07.019  1
2004 Awedh M, Somenzi F. Increasing the robustness of bounded model checking by computing lower bounds on the reachable states Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 230-244.  1
2004 Awedh M, Somenzi F. Proving more properties with Bounded Model Checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 96-108.  1
2004 Jin H, Awedh M, Somenzi F. CirCUs: A satisfiability solver geared towards bounded model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 519-522.  1
Show low-probability matches.