Logic is one of the sciences that have receded and regressed in the field of Islamic sciences. This regression is the result of several factors, the most important of which are:

1- The Aristotelian logic, concerned with the seemingly essential shape and the underlying truth in the text, which has been translated into Arabic, is no longer able to keep pace with scientific revelations and epistemological spaces of our time.
2- The existence of logic in the curricula of Islamic studies was not subject to a study linking logic and Islamic sciences. Therefore, we find that the student studies logic as if it were a strange subject that has nothing to do with the subjects of Islamic studies and even Islamic philosophy.
3- Logic is

The political parties are considered to be the basic infrastructure in the political process for their great role in achieving the political movement in the country and to work on implementing the goals and interests of its voters in the event of their coming to power. If the parties that totalitarianism led to monopoly and monopolization, We can not talk in these countries about the liberal concept of the party and can not talk about the existence of a law or laws and regulations governing and regulate the work of parties. But on the other hand, which is represented by the liberal state, we find a lot of talk and practice about the form and nature of the legitimate law in regulating the formation of parties and their work in a manner th

The objective of this paper is to study the stability of SIS epidemic model involving treatment. Two types of such eco-epidemiological models are introduced and analyzed. Boundedness of the system is established. The local and global dynamical behaviors are performed. The conditions of persistence of the models are derived.

Project management are still depending on manual exchange of information based on paper documents. Where design drawings drafting by computer-aided design (CAD), but the data needed by project management software can not be extracted directly from CAD, and must be manually entered by the user. The process of calculation and collection of information from drawings and enter in the project management software needs effort and time with the possibility of errors in the transfer and enter of information. This research presents an integrated computer system for building projects where the extraction and import quantities, through the interpretation of AutoCAD drawing with MS Access database of unit costs and productivities for the pricing and

Mansuriya Gas field is an elongated anticlinal structure aligned from NW to SE, about 25 km long and 5-6 km wide. Jeribe formation is considered the main reservoir where it contains condensate fluid and has a uniform thickness of about 60 m. The reservoir is significantly over-pressured, (TPOC, 2014).

This research is about well logs analysis, which involves the determination of Archie petrophysical parameters, water saturation, porosity, permeability and lithology. The interpretations and cross plots are done using Interactive Petrophysics (IP) V3.5 software.

The rock parameters (a, m and n) values are important in determining the water saturation where (m) can be calcul

    In this article, the research presents a general overview of deep learning-based AVSS (audio-visual source separation) systems. AVSS has achieved exceptional results in a number of areas, including decreasing noise levels, boosting speech recognition, and improving audio quality. The advantages and disadvantages of each deep learning model are discussed throughout the research as it reviews various current experiments on AVSS. The TCD TIMIT dataset (which contains top-notch audio and video recordings created especially for speech recognition tasks) and the Voxceleb dataset (a sizable collection of brief audio-visual clips with human speech) are just a couple of the useful datasets summarized in the paper that can be used to test A

In this paper, an Integral Backstepping Controller (IBC) is designed and optimized for full control, of rotational and translational dynamics, of an unmanned Quadcopter (QC). Before designing the controller, a mathematical model for the QC is developed in a form appropriate for the IBC design. Due to the underactuated property of the QC, it is possible to control the QC Cartesian positions (X, Y, and Z) and the yaw angle through ordering the desired values for them. As for the pitch and roll angles, they are generated by the position controllers. Backstepping Controller (BC) is a practical nonlinear control scheme based on Lyapunov design approach, which can, therefore, guarantee the convergence of the position tracking

In this paper, an approximate solution of nonlinear two points boundary variational problem is presented. Boubaker polynomials have been utilized to reduce these problems into quadratic programming problem. The convergence of this polynomial has been verified; also different numerical examples were given to show the applicability and validity of this method.