Faculty Members researchs

You are here

The system of DNA microarray filtration by use of the wavelet analysis and entropy criterion the system of DNA microarray filtration by use of entropy criterion is showed in the article the data filtration was done by wavelet analys Youssef Ali Alhendawi
ØThe system of DNA microarray filtration by use of the wavelet analysis and entropy criterion the system of DNA microarray filtration by use of entropy criterion is showed in the article the data filtration was done by wavelet analysis. ...
Customer Satisfaction with Service Quality in Conventional Banking in Pakistan: The Case of Faisalabad Muzaffar Abbas Hussain

The purpose of this paper is to evaluate the customer satisfaction of banking industry in Pakistan general, and Faisalabad particular, based on various levels of customer perception regarding service quality. 

...
Barriers to Using the Blackboard System in Teaching and Learning: Faculty Perceptions Talha Abdullah AlSharadgah

        In this digital age, the success of faculty in adopting technology definitely affects the success of their students and ultimately the educational institution. However, there are still many who have not applied technology tools such as Blackboard system for their courses. This action research aims to investigate the perceptions of faculty on barriers to using Blackboard system in the lecture halls. This study will be conducted at Prince Sattam bin Abdulaziz University in Saudi Arabia during the 2015/2016 academic year. A questionnaire will be distributed online to 30 faculty members to obtain their perceptions on the factors affecting their use of the Blackboard system.

...
OFF-LINE SIGNATURE VERIFICATION SYSTEM BASED ON DWT AND COMMON FEATURES EXTRACTION

This paper presents an off-line signature verification system that aims at verifying Arabic and Persian signatures. Arabic and Persian signatures have commonality in shapes, fine and general details. Moreover, both have unique general features that distinguish them from other signatures. The proposed system is based on Discrete Wavelet Transform (DWT) to extract common features to aid the verification step. This system consists of four steps: preprocessing, signature registration, feature extraction, and signature verification. Results show that the proposed system achieved good verification measures with low false acceptance rate (FAR) of 1.56%, and low average error rate of 6.23%, and false rejection rate (FRR) of 10.9%. The proposed system proved to be beneficial when compared to other works.

...
3D from 2D for Nano images using image’s processing methods thieb thiab Abousalem

The scanning electron microscope (SEM) remains a main tool for semiconductor and polymer physics but TEM and AFM are increasingly used for minimum size features which called nanomaterials. In addition some physical properties such as microhardness, grain boundaries and domain structure are observed from optical and polarizing microscope which gives poor information and consequentially the error probability of discussion will be high. 

Thus it is natural to squeeze out every possible bit of resolution in the SEM, optical and polarizing microscopes for the materials under test. In our paper we will tackling t[1]his problem using different image processing techniques to get more clarify and sufficient information. 



...
Toward an Automated System to Monitor the Implementation of Academic Programs through Objectives Ahmed El Hussein Naghamish

Educational institutions are heading towards the application of quality standards and obtain accreditation to their academic programs from both local and international organizations. Because the goal is not just to obtain accredition, but the ultimate goal is to monitoring the implementation and application of standards, especially with regard to the educational process, so it was essential to the educational institutions to verify the implementation of the objectives of the academic programs and measure them. Because each academic program contains a large number of courses and each course learning outcomes serve the objectives of the program, so it is logical that is monitoring the implementation of the course learning outcomes and measure them to monitor the implementation of the program objectives and measure the achievement of those objectives in order to emphasize the realization of them, or for studying the weaknesses in the case of lack of access to specific satisfaction rate for achieving the objectives. To monitor the learning outcomes for each course, this requires measure them using direct assessment tools used in the course, whether written tests, practical tests, oral tests, research projects or other tools and this process will require complex calculations. In this paper, I introduce a proposal to develop an automated system to monitor the implementation of academic programs through objectives and measure them. The system also automatically generate written tests through table of specifications for ensuring that the tests apply the good characteristics and we can also identify the weaknesses in the case of lack...

Automatic Program Verification in Martin-Löf’s Type Theory Ahmed El Hussein Naghamish

Martin­ Löf's Type Theory can be seen as a programming logic, a logic for the process where programmers write a program for a certain task and give arguments why the program is correct. The programming development process starts with the task of the program. Often, this just exists in the head of the programmer, but it can also exist explicitly as a specification that expresses what the program is supposed to do. The programmer, then, either directly writes down a program and proves that it satisfies the given specification, or successively derives a program from the specification. The first method is called program verification and the second program derivation. Type theory supports both methods. AutoPESM is Automatic Proof Editor System based on Martin-Löf's polymorphic type theory.  It enables the user to make derivations of judgements in Martin-Löf's type theory automatically. The AutoPESM system allows definition of objects theories, judgement checking, specification checking, program derivation, reduction of expressions and other facilities for its use. In this paper we describe who the AutoPESM system is used for program verification.

...
Specification with a Mechanization of Martin-Löf’s Type Theory Ahmed El Hussein Naghamish

Martin­ Löf's Type Theory can be used as theory for program construction since it is possible to express both specifications and programs within the same formalism. The specification process is the activity of finding and formulating the problem which the program is to solve. AutoPESM is Automatic Proof Editor System based on Martin-Löf's polymorphic type theory.  It enables the user to make derivations of judgements in Martin-Löf's type theory automatically. The AutoPESM system allows definition of objects theories, judgement checking, specification checking, program derivation, reduction of expressions and other facilities for its use. In this paper we describe who the AutoPESM system is used for specification checking.

...
Proof Editor System Based on Martin- Löf’s Type Theory (PESM) Ahmed El Hussein Naghamish

PESM (Proof Editor System based on Martin-Lf's type theory) is a proof editor system based on Martin-Lf's type theory ([16], [17], [18], [19], [20], and [22]). This system is designed using Prolog language ([27] and [28]) which  is the natural language of Artificial Intelligence (AI). It enables the user to construct a proof for some problems in  Martin-Lf's type theory.

...
From Martin- Löf’s Syntax to MuType Syntax Ahmed El Hussein Naghamish

MuType (Mansoura University Type) is a proof checker system based on Martin-Löf's type theory ([5], [15], [19]  and [20]). This system has been designed in Prolog language (Turbo Prolog version 2.00 [26]). It enables the user to check the correctness of the proofs in  Martin-Löf's type theory. Type theory ([1], [18] and [24]) is a mathematical language with computation rules developed in the 70's by the Swedish logician Per Martin-Löf ([13], [14], [16] and [17]). Type theory was initially developed as formalization of constructive mathematics [16] but Martin-Löf has pointed out that it can also be viewed as a formal system for the development of provably correct programs ([3], [6], [7] and [23]). In this paper, we describe the syntax of MuType system from Martin-Löf syntax ([3] and [25]). We present MuType syntax in the recursive manner as in most of logical systems using the bottom-up method [12]. As another way to explain this syntax, we use the well-known method of BNF ([21] and [22]). In the near future, we will design systems to automatically construct the proof.

...
QR Code for https://cc.psau.edu.sa/en/sources/research