A5057457629- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Online and Blended Learning
- Innovative Teaching and Learning Methods
- Image Retrieval and Classification Techniques
- Innovative Teaching Methods
- Software Reliability and Analysis Research
- Advanced Image and Video Retrieval Techniques
- AI in cancer detection
- Embedded Systems and FPGA Applications
- Online Learning and Analytics
- Logic, programming, and type systems
- Internet of Things and AI
- Advances in Cucurbitaceae Research
- Problem and Project Based Learning
- Phytochemical and Pharmacological Studies
- Genomics and Phylogenetic Studies
- Video Analysis and Summarization
- Embedded Systems Design Techniques
- Statistical and numerical algorithms
- Indoor and Outdoor Localization Technologies
- Impact of Technology on Adolescents
- Embedded Systems and FPGA Design
- Advanced Numerical Analysis Techniques
- Peer-to-Peer Network Technologies
King Abdulaziz University
2011-2025
Almaty Management University
2017
King Abdul Aziz University Hospital
2013
University of Colorado System
2004-2006
The BioMart Community Portal (www.biomart.org) is a community-driven effort to provide unified interface biomedical databases that are distributed worldwide. portal provides access numerous database projects supported by 30 scientific organizations. It includes over 800 different biological datasets spanning genomics, proteomics, model organisms, cancer data, ontology information and more. All resources available through the independently administered funded their host data federation...
The integration of new technologies in the classrooms opens possibilities for teaching and learning process.Technologies such as student response system (e.g.Clicker) are getting popularity among teachers due to its effects on performance.In this study, our primary objective is investigate effect Socrative with combination smartphones performance.We also observed benefits interactivity between teacher students classmates, which positively influences collaborative engagement class.We test...
Education is an important component in defining the overall development of a country. It also significant tool for achieving success life. One aspects influencing any educational institution's its students' academic achievement. In institutions, student dropout complex problem. Educational managers consider it vital to predict student's risk dropping out as soon possible. still needs be easier accurately advance. The major problems present research work include overfitting predictive model,...
The present paper investigates the current status of storage times in self‐organized QDs, surveying a variety heterostructures advantageous for strong electron and/or hole confinement. Experimental data electronic properties, such as localization energies and capture cross‐sections, are listed. Based on theory thermal emission carriers from we extrapolate values materials that would increase time at room temperature to more than millions years. For storage, GaSb/AlSb, GaN/AlN, InAs/AlSb...
<p style="text-align:justify">Advanced technology helps educational institutes to improve student learning performance and outcomes. In this study, our aim is measure assess engagement collaborative in engineering classes when using online solving physics problems. The interactive response system used study a tool that allows teachers monitor their students’ progress real time. Our results indicated students have highly positive attitude toward the as education order classes....
A new approach is presented to improve the classification performance of medical X‐ray images based on combination generative and discriminative approach. set labelled were given from 116 categories different parts body aim construct a model. This model was then used classify any into one predefined categories. The task started with extracting local invariant features all images. such as probabilistic latent semantic analysis (PLSA) applied extracted in order provide more stable...
Medical images form an essential source of information for various important processes such as diagnosis diseases, surgical planning, medical reference, research and training. Therefore, effective meaningful search classification these are vital. In this paper, the approaches content-based image retrieval (CBIR) using low level features shape texture investigated in order to create a framework that classify X-ray automatically. Gray Co-occurrence Matrix, Canny Edge Operator, Local Binary...
Increasing attention has been paid recently to criteria that allow one conclude a structure models linear-time property from the knowledge no counterexamples exist up certain length. These termination effectively turn Bounded Model Checking into full-fledged verification technique and sometimes result in considerable time savings. In [M. Awedh F. Somenzi. Proving more properties with bounded model checking. R. Alur D. Peled, editors, Sixteenth Conference on Computer Aided Verification...
The integration of new technologies in the classrooms opens possibilities for teaching and learning process. Technologies such as student response system (e.g. Clicker) are getting popularity among teachers due to its effects on performance. In this study, our primary objective is investigate effect Socrative with combination smartphones We also observed benefits interactivity between teacher students classmates, which positively influences collaborative engagement class. test these...
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so termination proof may be obtained analyzing shorter paths. The technique identifies sets states as byproducts checks. It then uses SAT-based preimage computations to extend those sets. Our approach substantially speed up verification both failing and passing properties. We experimental results showing our new improves BMC significantly.
Due to rapid growth of computerized medical imagery, the research area image classification has been very active for past decade. This paper presents an approach achieve high recognition rate from x-ray images. The methodology is based on local binary pattern as a feature extraction technique and support vector machine (SVM) classifier. model was built merging scheme where overlapped classes were combined with each other SVM classifier re-trained construct model. used in are detected their...
Abstract Radio frequency identification (RFID) technology has been widely used in applications such as access control, inventory management, spatial positioning, and object identification. Accurate tag estimation is one of the major challenges RFID reader systems particularly areas where large populations are to be identified shopping carts, warehouse monitoring, small ruminant farms. This paper proposes a new technique employing artificial neural networks (ANNs) signal strength read...
Soft-core processors on Field Programmable Gate Array (FPGA) chips are becoming an increasingly popular solution to support application-specific customization. However, any change in the assembly code of implemented processor requires re-implement and download soft-core FPGA. This paper presents a FPGA realization run-time loading technique for 32-bit MIPS (Microprocessor without Interlocked Pipeline Stages) processor. The update is done having resynthesize, place route, reload soft-core....
Design of smart navigation for visually impaired/blind people is a hindering task. Existing researchers analyzed it in either indoor or outdoor environment and also it’s failed to focus on optimum route selection, latency minimization multi-obstacle presence. In order overcome these challenges provide precise assistance impaired people, this paper proposes system based both image sensor outputs the wearable. The proposed approach involves upcoming processes: (i) input query (users) improved...
This paper presents the measurement study of locality-aware Peer-to-Peer solutions on Internet Autonomous System (AS) topology by reducing AS hop count and increase nearby source nodes in P2P applications. We evaluate performance topology-aware BT system called TopBT with BitTorrent (BT) constructing graph measure hops between to observe impact quality service
A criteria is developed for the approximations of a logarithmic function to piecewise straight lines at multiple segments such that maximum absolute error minimized. The optimum cutting points segmentation are estimated numerically with an exhaustive search. Our hardware implementation restricted integer operations (addition and shifting).
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so termination proof may be obtained analyzing shorter paths. The technique identifies sets states as byproducts checks. It then uses SAT-based preimage computations to extend those sets. Our approach substantially speed up verification both failing and passing properties. We experimental results showing our new improves BMC significantly.