The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite (...) sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

A short presentation of Rawl's theory of justice and its revision in 'Political Liberalism' with an overview of criticism by Ronald Dworkin, Robert Nozick, Alan Buchanan, Amartya Sen and John Harsanyi.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, (...) it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The concept of sovereignty is a recurring and controversial theme in international law, and it has a long history in western philosophy. The traditionally favored concept of sovereignty proves problematic in the context of international law. International law’s own claims to sovereignty, which are premised on traditional concept of sovereignty, undermine individual nations’ claims to sovereignty. These problems are attributable to deep-seated flaws in the traditional concept of sovereignty. A viable alternative concept of sovereignty can be derived from key concepts (...) in Friedrich Nietzsche’s views on human reason and epistemology. The essay begins by considering the problem of sovereignty from the ancient philosophical perspective inherent in the fundamental assumptions and ideas of Plato’s political philosophy and epistemology. It then considers the contemporary problem of sovereignty in the context of international law by examining Louis Henkin’s formulation of and approach to it in his essay That S-Word: Sovereignty, and Globalization, and Human Rights, Etc. Finally, the essay articulates Nietzsche’s views on intellectual conscience, discusses their merits and advantages when used in dealing the problem of sovereignty in the context of international law, and proposes a solution to this problem that draws on the philosophies of Nietzsche, Novalis, Kant and Plato. The essay illustrates the relevance and advantages of this solution by examining the issue of states’ reservations to international treaties and conventions. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

Abstract: Online book review platforms generate vast user data, making accurate rating prediction crucial for personalized recommendations. This research explores neural networks as simple models for predicting book ratings without complex algorithms. Our novel approach uses neural networks to predict ratings solely from user-book interactions, eliminating manual feature engineering. The model processes data, learns patterns, and predicts ratings. We discuss data preprocessing, neural network design, and training techniques. Real-world data experiments show the model's effectiveness, surpassing traditional methods. This research can (...) enhance user experience, book catalog organization, and aid publishers, simplifying recommendation processes and providing tailored suggestions based on user preferences. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

Abstract: Dates are the fruit of date palm trees, and it is one of the fruits famous for its high nutritional value. It is a summer fruit spread in the Arab world. In the past, the Arabs relied on it in their daily lives. Dates take an oval shape and vary in size from 20 to 60 mm in length and 8 to 30 mm in diameter. The ripe fruit consists of a hard core surrounded by a papery cover called (...) the tartar that separates the core from the fleshy part that is eaten. Historians disagreed about the place of its origin, so some historians expressed their belief that it had originated around the Arabian Gulf, and some of them say that the oldest known information about palm trees was in Babylon 4 thousand years ago BC. It is known about the ancient Egyptians using dates in wine. Dates contain a high nutritional value and are considered a basic food for man since ancient times. The fruits of dates are considered the highest fruits in containing sugars. These components vary according to the nature of the fruit, whether it is wet, semi-dry or dry, as well as according to the environmental conditions surrounding the trees. The components of the fruits also differ in different varieties and increase the percentage of sugars in dates is 70-78% of the fruit’s components. These sugars are characterized by their rapid absorption and transfer into the blood directly, digestion and burning. 10 dates (about 100 grams) per day provide a person with all his daily needs of magnesium, manganese, copper, sulfur and half of his needs of calcium and potassium. In this paper we presented a system that recognize the nine types of dates based on deep learning using python on Colab, and classifying using a dataset contain 1350 images. Our trained model achieved an accuracy of 99.44% on a proven test set. (shrink)

Abstract: Rice, as a paramount staple crop worldwide, sustains billions of lives. Precise classification of rice types holds immense agricultural, nutritional, and economic significance. Recent advancements in machine learning, particularly Artificial Neural Networks (ANNs), offer promise in enhancing rice type classification accuracy and efficiency. This research explores rice type classification, harnessing neural networks' power. Utilizing a rich dataset from Kaggle, containing 18,188 entries and key rice grain attributes, we develop and evaluate a neural network model. Our neural network, featuring a (...) single hidden layer, achieves remarkable results—a staggering 100% accuracy and a minute average error rate of 0.000001. Beyond performance metrics, we delve into the intricacies of rice type classification through feature importance analysis. The most influential features—'id,' 'Area,' 'MajorAxisLength,' 'MinorAxisLength,' 'Eccentricity,' 'ConvexArea,' 'EquivDiameter,' 'Extent,' 'Perimeter,' 'Roundness,' and 'AspectRatio'—uncover the physiological traits underpinning accurate rice classification. This research contributes to advancing rice classification methods and highlights the potential of ANNs in optimizing agricultural practices, ensuring food safety, and bolstering global trade. (shrink)

Abstract: This research paper presents a novel approach to predict audit risks using a neural network model. The dataset used for this study was obtained from Kaggle and comprises 774 samples with 18 features, including Sector_score, PARA_A, SCORE_A, PARA_B, SCORE_B, TOTAL, numbers, marks, Money_Value, District, Loss, Loss_SCORE, History, History_score, score, and Risk. The proposed neural network architecture consists of three layers, including one input layer, one hidden layer, and one output layer. The neural network model was trained and validated, achieving (...) an impressive accuracy of 100% and an average error of 0.000015, indicating its robust predictive capability. Moreover, we conducted feature importance analysis to identify the most influential features for predicting audit risk. The key features found to be critical for classifying fraudulent activities in audit risk prediction are Sector_score, PARA_A, SCORE_A, PARA_B, SCORE_B, TOTAL, numbers, marks, Money_Value, District, Loss, Loss_SCORE, History, and History_score. This research contributes to the field of audit risk prediction by demonstrating the effectiveness of a neural network-based approach and highlighting the importance of specific features in detecting fraudulent activities. The findings have significant implications for auditors and organizations seeking to enhance their audit risk assessment processes, ultimately leading to improved financial transparency and fraud detection. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

Abstract: In recent years, the outbreak of various poultry diseases has posed a significant threat to the global poultry industry. Therefore, the accurate and timely detection of chicken diseases is critical to reduce economic losses and prevent the spread of diseases. In this study, we propose a method for classifying chicken diseases using a convolutional neural network (CNN). The proposed method involves preprocessing the chicken images, building and training a CNN model, and evaluating the performance of the model. The dataset (...) used in this study comprises chicken images of three different diseases: Newcastle disease, avian influenza, and infectious bursal disease. The proposed method achieved an overall F1-score of 99.04% in classifying the chicken diseases. The results demonstrate the effectiveness of using CNN in classifying chicken diseases and provide a promising approach for early detection and diagnosis of poultry diseases. (shrink)

In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Buying, Maint, Doors, Persons, Lug_boot, Safety, and Overall. ANN was used in forecasting car acceptability. The results showed that ANN model was able to predict the car acceptability with 99.12 %. The factor of Safety has the most influence on car acceptability evaluation. Comparative study method is (...) suitable for the evaluation of car acceptability forecasting, can also be extended to all other areas. (shrink)

Abstract: Ensuring the proactive detection of transaction risks is paramount for financial institutions, particularly in the context of managing credit scores. In this study, we compare different machine learning algorithms to effectively and efficiently. The algorithms used in this study were: MLogisticRegressionCV, ExtraTreeClassifier,LGBMClassifier,AdaBoostClassifier, GradientBoostingClassifier,Perceptron,RandomForestClassifier,KNeighborsClassifier,BaggingClassifier, DecisionTreeClassifier, CalibratedClassifierCV, LabelPropagation, Deep Learning. The dataset was collected from Kaggle depository. It consists of 164 rows and 8 columns. The best classifier with unbalanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%,Recall100.0% and the F1-score (...) 100.0%. However, the best classifier with balanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%, Recall 100.0% and the F1-score 100.0%. (shrink)

Abstract: In this study, we explore the challenge of identifying and preventing diseases in apple trees, which is a popular activity but can be difficult due to the susceptibility of these trees to various diseases. To address this challenge, we propose the use of Convolutional Neural Networks, which have proven effective in automatically detecting plant diseases. To validate our approach, we use images of apple leaves, including Apple Rot Leaves, Leaf Blotch, Healthy Leaves, and Scab Leaves collected from Kaggle which (...) is part from the Plant Village dataset. We generate a comprehensive training dataset using techniques such as image filtering, compression, and generation. Our model achieves impressive accuracy scores for all classes, with an overall accuracy of 99.93% on a dataset of 10,000 labeled images . (shrink)

Abstract: Tomatoes are among the most popular vegetables in the world due to their frequent use in many dishes, which fall into many varieties in common and traditional foods, and due to their rich ingredients such as vitamins and minerals, so they are frequently used on a daily basis, When we focus our attention on this vegetable, we must also focus and take into consideration the diseases that affect this vegetable, a deep learning model that classifies tomato diseases has been (...) proposed. The aim of this paper is to diagnose tomato diseases based on a dataset containing 11000 picture and 11 classes. The model gave the final accuracy test with Accuracy (99.87%), F1-score (99.87%), Recall (99.87%), and Precision (99.88%) in an estimated time 1.36 second, as with these results it proved its effectiveness and good ability in the classification of the testing data. (shrink)

Abstract: Forests are areas with a high density of trees, and they play a vital role in the health of the planet. They provide a habitat for a wide variety of plant and animal species, and they help to regulate the climate by absorbing carbon dioxide from the atmosphere. While in 2010, the world had 3.92Gha of forest cover, covering 30% of its land area, in 2019, there was a loss of forest cover of 24.2Mha according to the Global Forest (...) Watch institute. Discovery and classification depend on human experience and effort, so the error in the results of this process can lead to forest fires and disasters. Therefore, deep learning algorithms from artificial intelligence and machine learning sciences have been applied to help specialists avoid false or inaccurate diagnoses when detecting Forest fires in images using a pre-trained convolutional neural network called VGG16. The model was customized to fit the Forest fires classification and then applied to a dataset consisting of (14,000) of the Forests collected from the Kaggle depository. We trained, validated, and tested the modified VGG16 model. The proposed VGG16 model obtained Precision (99.96%), Recall (99.96%), and F1-Score (99.96%). (shrink)

In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Make, Model, Type, Origin, DriveTrain, MSRP, Invoice, EngineSize, Cylinders, Horsepower, MPG_Highway, Weight, Wheelbase, Length. ANN was used in prediction of the number of miles per gallon when the car is driven in the city(MPG_City). The results showed that ANN model was able to predict MPG_City with 97.50 (...) % accuracy. The factor of DriveTrain has the most influence on MPG_City evaluation. Similar studies can be carried out for the evaluation of other characteristics of cars. (shrink)

The translational research community, in general, and the Clinical and Translational Science Awards (CTSA) community, in particular, share the vision of repurposing EHRs for research that will improve the quality of clinical practice. Many members of these communities are also aware that electronic health records (EHRs) suffer limitations of data becoming poorly structured, biased, and unusable out of original context. This creates obstacles to the continuity of care, utility, quality improvement, and translational research. Analogous limitations to sharing objective data in (...) other areas of the natural sciences have been successfully overcome by developing and using common ontologies. This White Paper presents the authors’ rationale for the use of ontologies with computable semantics for the improvement of clinical data quality and EHR usability formulated for researchers with a stake in clinical and translational science and who are advocates for the use of information technology in medicine but at the same time are concerned by current major shortfalls. This White Paper outlines pitfalls, opportunities, and solutions and recommends increased investment in research and development of ontologies with computable semantics for a new generation of EHRs. (shrink)

Warts and verrucas are common skin conditions caused by the human papillomavirus (HPV) infection. They present as raised, rough, or bumpy growths on the hands, feet, or other areas subjected to friction or pressure. Plantar warts exhibit a rough surface with small black dots, while genital warts have a cauliflower-like appearance. Pain or itchiness may accompany these lesions. Factors such as close contact with infected individuals and immune compromise can impact the severity and spread of warts. Diagnosis is primarily based (...) on clinical examination, and referral to a dermatologist may be necessary for uncertain cases. Treatment options range from over-the-counter remedies to professional interventions. Persistent or symptomatic lesions should be evaluated by a healthcare professional. Improved understanding and effective management of warts and verrucas are essential for optimal patient outcomes. (shrink)

Abstract: Lotteries have long been a source of fascination and intrigue, offering the tantalizing prospect of unexpected fortunes. In this research paper, we delve into the world of lottery predictions, employing cutting-edge AI techniques to unlock the secrets of lottery outcomes. Our dataset, obtained from Kaggle, comprises historical lottery draws, and our goal is to develop predictive models that can anticipate future winning numbers. This study explores the use of deep learning and time series analysis to achieve this elusive feat. (...) Through rigorous experimentation and data-driven approaches, we seek to determine the viability of AI in the realm of lottery predictions. Our findings reveal both the promise and limitations of AI in this context, shedding light on the complexities of lottery data and the potential need for quantum computing as a last resort. (shrink)

Abstract: Fruits are a rich source of energy, minerals and vitamins. They also contain fiber. There are many fruits types such as: Apple and pears, Citrus, Stone fruit, Tropical and exotic, Berries, Melons, Tomatoes and avocado. Classification of fruits can be used in many applications, whether industrial or in agriculture or services, for example, it can help the cashier in the hyper mall to determine the price and type of fruit and also may help some people to determining whether a (...) certain type of fruit meets their nutritional requirement. In this paper, machine learning based approach is presented for classifying and identifying 10 different fruit with a dataset that contains 6847 images use 4793 images for training, 1027 images for validation and 1027 images for testing. A deep learning technique that extensively applied to image recognition was used. We used 70% from image for training and 15% from image for validation 15% for testing. Our trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. (shrink)

The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert system software (...) to calculate inheritance in Islam. A proposed expert system was designed and developed using CLIPS language to calculate the inheritance in Islam. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

The study aimed to identify the knowledge management processes and their role in achieving competitive advantage at Al-Quds Open University. The study was based on the descriptive analytical method, and the study population consists of academic and administrative staff in each of the branches of Al-Quds Open University in (Tulkarm, Nablus and Jenin). The researchers selected a sample of the study population by the intentional non-probability method, the size of (70) employees. A questionnaire was prepared and supervised by a number (...) of specialists in order to obtain the results of the study. The study concluded that there is a positive direct relationship, that is, the higher the degree of application of knowledge management processes, the greater the degree of competitive advantage. Knowledge Technology came first with a score of 80.02% on all items. Competitive advantage came second with 81.74%. In the third place came "knowledge generation" where the total score on all paragraphs in this area (78.24%). In the fourth place, "knowledge transfer" (77.21%). "Developing and storing knowledge" came in fifth place (77.13%). "Acquisition of knowledge" came in sixth place (76.45%). Knowledge Organization ranked seventh (74.26%). The study recommended that the university should enable the employees to benefit from the experiences and expertise available to help generate knowledge. The University encourages the creation of knowledge through the system of incentives and open the way for creators to apply their creations and spread and invest in excellence and creativity. The university should design work performance levels based on the integration of knowledge and organize it according to policies that support freedom of research. The need for Palestinian universities to adopt a knowledge management approach. The need to adopt a system of incentives that rewards cognitive efforts, and give workers enough freedom to enable them to apply their knowledge. (shrink)

The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...) relation between strategic and operational planning and crises management. In spite this relation existence, it need more improvement and expanding. Also there are shortcomings in the way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggests that UNRWA must invest in more resources to enhance strategic and operational palming and improve other methods to face potential crises in the future. (shrink)

Abstract: In this research, an Artificial Neural Network (ANN) model was developed and tested to predict effect of oxygen consumption of thylakoid membranes (chloroplasts) from spinach after inhibition. A number of factors were identified that may affect of oxygen consumption of thylakoid membranes from spinach. Factors such as curve, herbicide, dose, among others, as input variables for the ANN model. A model based on multi-layer concept topology was developed and trained using the data from some inhibition of photosynthesis in farms. (...) The evaluation of testing the dataset shows that the ANN model is capable of correctly predicting the effect of oxygen consumption of thylakoid membranes (chloroplasts) from spinach after inhibition with 100% accuracy. (shrink)

One method for preventing the spread of the coronavirus and other contagious diseases is through social distancing. Therefore, creating a tool to measure and quickly discover the precise distance is necessary. In order to prevent physical contact between individuals, this study aimed to detects individuals’ physical distance, through an inaugurated battery-powered device that monitors physical distance through wireless technology. Specifically, in public or crowded areas, to lessen the spread of the virus. This study focuses on detecting people’s physical distance in (...) the region of interest utilizing an Ultrasonic and VL53L0X sensors and determining the significant difference between the two sensors in monitoring physical distance. This study employs an applied experimental research design. The efficiency of both sensors in measuring physical distance was evaluated through analysis. The Ultrasonic and VL53L0X sensors underwent 15 tests. Furthermore, the researchers effectuated a t-test to determine the significant difference between the two sensors. Data gathered revealed that the sensors’ combined mean in terms of measuring physical distance indicates that the ultrasonic sensor performed better than VL53L0X, measuring 134.7 cm, notwithstanding 99.8 cm for the VL53L0X sensor. Complementary to this, the results of the t-test show that the VL53L0X sensor and Ultrasonic sensor have a significant difference in terms of distance precision. (shrink)

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

There is no doubt that tomato diseases are one of the important reasons that destroy the tomato plant and its crops. This leads to clear damage to these plants and they become inedible. Discovering these diseases after a good step for proper and correct treatment. Determining the treatment with high accuracy depends on the method used in the diagnosis. Correctly, expert systems can greatly help to avoid damage to these plants. The expert system diagnoses tomato disease correctly to facilitate farmers (...) to find the correct treatment based on the appropriate diagnosis. Objectives: An expert system has been established based on CLIPS to diagnose tomato plant disease. (shrink)

Water quality assessment is critical for environmental sustainability and public health. This research employs neural networks to predict water quality, utilizing a dataset of 21 diverse features, including metals, chemicals, and biological indicators. With 8000 samples, our neural network model, consisting of four layers, achieved an impressive 94.22% accuracy with an average error of 0.031. Feature importance analysis revealed arsenic, perchlorate, cadmium, and others as pivotal factors in water quality prediction. This study offers a valuable contribution to enhancing water quality (...) monitoring and decision-making for stakeholders and policymakers. (shrink)

Abstract— This study aimed to identify the degree of use of the capabilities of decision-support systems in Palestinian institutions higher education, Aqsa University in Gaza - a case study. The study used a analytical descriptive approach, and the researchers used the of questionnaire tool to collect the data, the researchers using stratified random sample distributed (150) questioners to the study population and (126) was obtained back with rate of 84%. The study showed that the most important results are: that senior (...) management supports the existence of decision support systems and that there is approval by the respondents on the paragraphs of the use of the capabilities of decision support systems in general. And that there are no significant differences between the averages of the answers of respondents differences about the degree of use of decision support systems capabilities attributed to personal data. The study also concluded a series of recommendations including: increasing the adoption of the senior management decision support in their decision-making systems. And increased regulatory attention to the potential available to decision support systems directly to the senior management in the Palestinian universities in the Gaza Strip. There is an increased interest in the physical and technical possibilities available for the use of decision support systems. There is an increased interest in human potential available for the use of decision support systems. Investment of information available to universities in building the capacities of integration techniques and other information technology capabilities. The empowerment of human resources in universities and participating in making decisions concerning the construction of the capabilities of information technology. (shrink)

Abstract: The sinking of the RMS Titanic in 1912 remains a poignant historical event that continues to captivate our collective imagination. In this research paper, we delve into the realm of data-driven analysis by applying Artificial Neural Networks (ANNs) to predict the chances of survival for passengers aboard the Titanic. Our study leverages a comprehensive dataset encompassing passenger information, demographics, and cabin class, providing a unique opportunity to explore the complex interplay of factors influencing survival outcomes. Our ANN-based predictive model (...) achieved an accuracy rate of 78%, shedding light on the underlying patterns within the data. However, this paper underscores the multifaceted nature of survival prediction and acknowledges several challenges. These include missing data imputation, feature engineering, and the inherent noise within historical datasets. We further discuss the importance of model evaluation metrics, showcasing not only accuracy but also precision, recall, and F1-score as essential indicators of predictive performance. The research paper meticulously outlines the architecture of the ANN model, emphasizing the key hyperparameters, activation functions, and regularization techniques employed in model development. Additionally, we address ethical considerations related to data handling and potential biases within the dataset. While our achieved accuracy is a notable achievement, this study emphasizes the importance of interpreting the results with due caution. It underscores the need for a holistic perspective that considers the practical implications of false positives and false negatives, especially in the context of a disaster scenario. In conclusion, this research contributes to our understanding of survival prediction in historical events like the Titanic disaster using modern machine learning techniques. It calls for further exploration and refinement of predictive models, with a focus on enhancing the interpretability and generalizability of such models to real-world applications. (shrink)

In this paper we show how a student can learn the basics of the system databases using (W3school CSS) which was built as intelligent tutoring educational system by using the authoring tool called (ITSB). The learning material contains CSS and HTML. We divided the material in a group of lessons for novice learner which combines relational system and lessons in the process of learning. The student can learn using example of CSS, and types of CSS color. Furthermore, the intelligent tutoring (...) system supports not only lessons; but exercises of different difficult levels for each lesson. When a student finish successfully the first difficulty level in a lesson, the student is allowed to move to the next difficulty level of the exercises of the lesson. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

Abstract: This research focuses on utilizing Artificial Neural Networks (ANNs) to predict Audit Risk accurately, a critical aspect of ensuring financial system integrity and preventing fraud. Our dataset, gathered from Kaggle, comprises 18 diverse features, including financial and historical parameters, offering a comprehensive view of audit-related factors. These features encompass 'Sector_score,' 'PARA_A,' 'SCORE_A,' 'PARA_B,' 'SCORE_B,' 'TOTAL,' 'numbers,' 'marks,' 'Money_Value,' 'District,' 'Loss,' 'Loss_SCORE,' 'History,' 'History_score,' 'score,' and 'Risk,' with a total of 774 samples. Our proposed neural network architecture, consisting of three (...) layers (1 input, 1 hidden, and 1 output), forms the core of this study. While it may seem simple, the power of ANNs lies not in complexity but in their ability to uncover intricate data patterns. The model underwent rigorous training and validation, resulting in remarkable outcomes—an accuracy of 100% and an average error rate of 0.000015. In addition to performance metrics, our research investigates feature importance, revealing the key contributors to Audit Risk prediction. Notably, 'Sector_score,' 'PARA_A,' 'SCORE_A,' 'PARA_B,' 'SCORE_B,' 'TOTAL,' 'numbers,' 'marks,' 'Money_Value,' 'District,' 'Loss,' 'Loss_SCORE,' 'History,' and 'History_score' emerged as the most influential factors, shedding light on the elements crucial for precise risk assessment. This study advances Audit Risk prediction models and highlights the potential of ANNs in strengthening financial system integrity and fraud prevention. The insights gained from our findings offer practical guidance for stakeholders in the audit and financial sectors. (shrink)

Abstract: Purpose - This study aimed to analyze the relationship between the determinants of organizational justice and their relationship to conscientious behavior from the point of view of officers working in the Palestinian police in Gaza Strip. Methodology - The study relied on the descriptive and analytical approach, using the questionnaire, targeting a stratified random sample of (400) officers, who hold the rank of captain and above, from the study population of 1550 officers. The study tool was distributed among the (...) sample members in all departments and governorates. Police in Gaza Strip. (353) questionnaires were retrieved, with a recovery rate of (88.3%). Findings - The existence of a positive correlation between the determinants of organizational justice and the behavior of conscience, and the existence of organizational justice in general in a medium degree and the order of its determinants is as follows: fairness of dealings and to a large degree, followed by fairness of procedures and a medium degree, and finally distribution fairness was to a small degree, while the behavior of conscience awareness came to a large extent. Significance - The existence of statistically significant differences between the respondents' averages of responding to the searched relationship due to the variables (type of administration, age group, job title, military rank, years of service). Recommendations - Work to take into account the fairness of distribution by providing adequate and fair salaries, granting bonuses for the additional efforts exerted, and budgeting in the distribution of duties and job burdens, as well as recommending attention to the interests of employees when making decisions and involving them in formulating them, explaining their justifications, and creating an organizational climate dominated by a sense of justice. (shrink)

Abstract: The study aimed to determine the strategic flexibility and its relationship to the level of quality of services provided, from the viewpoint of the internal beneficiary in non-governmental hospitals in Gaza Strip. The study relied on the descriptive and analytical approach, and the questionnaire was designed as a tool to collect data and consisted of (39) items, and the researchers used the comprehensive survey method, and the number of the study population was (536) individuals, where (434) questionnaires were retrieved, (...) and the recovery rate was (80.97%). The study revealed many results, the most important of which were: the existence of a moderate degree of approval by the study sample individuals on strategic flexibility, as it was evident through the area of strategic flexibility as a whole having a relative weight (60.44%). The study is on the quality of services, as it became clear through the field of service quality obtaining a relative weight (79.90%). The results of the study revealed a statistically significant relationship between strategic flexibility and the quality of services in non-governmental hospitals in Gaza Strip, with a correlation coefficient of 0.490. The study reached many recommendations, the most important of which were: the need to work on appointing young people and those with potentials, because jobs are vacant in the hospitals under study, and the need to seek the help of an administrative staff with scientific and practical qualifications, and to work on updating information systems, archiving and networks through which data and information are transferred between departments And the creation of mechanisms by which stored information can be used to enhance the decision-making process, and an effective system to receive patients' complaints in a manner that ensures rapid response and treatment, to achieve continuous communication between patients and the hospital management, and to notify patients of dealing with the complaints they submit, and work to provide all Medical and health specialties in the hospitals under study, by making use of the medical delegations that visit Gaza Strip, involving them in the treatment processes, bringing in doctors and specialists from abroad, updating the standards related to measuring the services provided to patients on an ongoing basis, based on the suggestions and complaints of patients, and developing facilities in hospitals As well as updating the medical devices and equipment used in hospitals periodically. (shrink)

Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

This paper aims to identify the decision support systems and their role on the strategic management development in the Universities- Case Study: Islamic University of Gaza. The descriptive approach was used where a questionnaire was developed and distributed to a stratified random sample. (230) questionnaires were distributed and (204) were returned with response rate (88.7%). The most important findings of the study: The presence of a statistically significant positive correlation between the decision support systems and strategic management in the Islamic (...) University in Gaza, and this shows that there is a role for decision support systems in strategic management development. The senior management is convinced of the importance of strategic management of the organization, and this conviction paid to clearly understand the process of the development of strategic management and thus led to a commitment to this process to improve its performance. There is an impact on the strategic management of the capabilities available for the use of decision support systems, and the type of decision support systems used, while there is little effect of top management support for the use of decision support systems. Also, the results showed that there were no statistically significant differences between the averages of the respondents answers attributed to personal data. The research also concluded a series of recommendations: The Islamic University of Gaza need to develop its infrastructure of decision support systems when it develops the strategic management. It should increase its interest in organizational potential through the necessity of a separate unit for decision support systems. As well as increased interest in the physical and technical capabilities available to decision support systems through continuity in keeping pace with technological means and techniques, continued support of senior management in the organization of strategic management for its positive role on decision support systems, that senior management will continue in the organization in creating a culture of strategic management, and it should encourage employees to participate in the strategic management process. (shrink)

The research aims to identify the learning organizations and their role in achieving organizational excellence in the Palestinian universities in Gaza Strip. The researchers used descriptive analytical approach and used the questionnaire as a tool for information gathering. The questionnaires were distributed to senior management in the Palestinian universities. The study population reached (344) employees in senior management is dispersed over (3) Palestinian universities. A stratified random sample of (182) workers from the Palestinian universities was selected and the recovery rate (...) was (69.2%). Statistical analysis (SPSS) program was used for analysis and processing the data. The research found the following results: there is a fair degree of approval on "cognitive dimension", there is a high approval about the importance of "organizational dimension", there is moderately consent of the importance of "Community dimension", there is a large degree of consent about the importance of axis of the "leadership excellence", there is a large degree of consent about the importance of axis of the "service-excellence", there is a fair degree approval about the importance of the axis of "cognitive excellence", and there is a moderately consent of the importance of "Organizational Excellence". The research found a group of recommendations including: the need to develop appropriate strategies for the University, employ modern technology in information systems, in addition to provide appropriate environment that achieve learning organizations, develop technological infrastructure, adopt universities for knowledge management in the academic and administrative departments because knowledge is the core of the work of these departments, create technological incubators in universities to adopt excellence academic research projects, and protected them, support them, and market them. Establishing of centers of excellence for scientific research in the university.The need for cooperation and coordination between local, Arab and international universities for the exchange of knowledge, information, and participation programs and training courses, as it provides an opportunity to develop the capabilities and skills of personnel and expertise. (shrink)

This study aims to look at the role of the practice of excellence strategies in education in achieving sustainable competitive advantage for the Higher educational institutions of the faculty of Engineering and Information Technology at Al-Azhar University in Gaza, a model, and the study considered the competitive advantage of educational institutions stems from the impact on the level of each student, employee, and the institution. The study was based on the premise that the development of strategies for excellence in education, (...) and its implementation is a vital important prerequisite to achieve sustainable competitive advantage in higher educational institutions. The study followed a systematic exploratory descriptive methodology through review of the theoretical literature, and the adoption of the experience of the Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as a model for its unique experience in the field of excellence in education. The study results showed that the most important are: There is a strong correlation between the level of exercising excellence strategies in education and the achievement of higher educational institutions to the sustainable competitive advantage. The results include a general required number of important sub results on the subject of the model - Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as follows: - The student considered the academic focus of the operation in the development process of the workers’ skills, particularly academics at the university helps to distinguish students and increase the employment rate after graduation. - The existence of consistency in development efforts and quality improvement for all three levels (student, employee, and the university), and this contributes to the Faculty excellence. - The Faculty has been able to achieve competitive advantages by offering excellent services without harming the efficiency, and this alone is a great success because improving service properties requires great investments, which negatively affect the continued institutional development. The study also reached a set of recommendations as follows: - The need to exercise excellence strategies in education, excellence reward at the national level, and those higher educational institutions follow the criteria for measuring the competitive advantages of its institutions always. - There is a need to increase efforts to implement programs of excellence, the allocation of adequate time, reward outstanding efforts as well. There is a necessity for each faculty to achieve competitive advantage and sustainability, using the general philosophies of competitive advantage, but with a different strategically content from what is in the private commercial sector, it reflects the Faculties mission and objectives, depending on making improvements and excellence in processes that ensure the safety of its outputs. As well as the need to find a balance between the work of teaching and research work of the faculty members, this has important implications regarding the criteria used in the process of excellence evaluation. The study recommended the adoption of strategies for excellence in education on a national public policy level mainly in the processes of change in higher education institutions. The need to support the existence of a common understanding of the efforts of excellence to create a general culture that appreciates excellence in faculties and universities. This underlines the need for transparent, fair rewards systems, to encourage innovation in education. The need to conduct a comprehensive surveys on the graduates of faculties and universities including the areas of employment and skills, because that will give accurate indications of the graduates and will help to establish a link to a more precise about the relationship of excellence strategies with the competitive advantages. (shrink)