Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length (...) of Herbrand disjunctions of existential theorems obtained by this elimination procedure. (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, (...) where one can get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ (...) - and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Color-vision defects constitute a spectrum of disorders with varying degrees and types of departure from normal human color vision. One form of color-vision defect is dichromacy; by mixing together only two lights, the dichromat can match any light, unlike normal trichromatic humans, who need to mix three. In a philosophical context, our titular question may be taken in two ways. First, it can be taken at face value as a question about visible properties of external objects, and second, it may (...) be interpreted as the more intangible question of “what it’s like” to be color-blind. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust of (...) democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

The research aims to identify the impact of the management requirements on operating of computerized management information systems to improve performance, and discuss the perceptions of respondents to develop the performance of employees in the Gaza Electricity Distribution Company, the researchers used the stratified sample method, (360) questionnaires were distributed on the study sample, (306) questionnaires were recovered with a percentage of (85%). The most important findings of the study: computerized MI have a positive impact on the development of performance (...) in the Gaza Electricity Distribution Company systems. The is statistical significance impact between “the physical, software supplies, human and organizational” requirements for the management and operation of computerized management information systems and performance development in the Gaza Electricity Distribution Company. The research also concluded a series of recommendations: the need to strengthen the company's management interest in the use of computerized management information systems in all its components and elements of being an important variable which contributes to the effect on performance development. It's essential that we develop the infrastructure for information technology in general, and computerized management information systems, in particular for the development of performance. Increased interest in providing the material of equipment and devices used in the computerized management information system requirements. Interest in providing technical inputs to the computerized management information systems through keeping pace with technological means and modern techniques and work on the training of personnel to use those systems. And increased attention to human inputs of computerized management information systems "specialists technicians and end-users" through a variety of disciplines working in the field of computerized management information systems. (shrink)

Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes it (...) can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project --- an artificial intelligence program put into operation in 2010 --- is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

The research aims to identify the impact of the management requirements on operating of computerized management information systems to improve performance, and discuss the perceptions of respondents to develop the performance of employees in the Gaza Electricity Distribution Company, the researchers used the stratified sample method, (360) questionnaires were distributed on the study sample, (306) questionnaires were recoved with a percentage of (85%). The most important findings of the study: computerized MI have a positive impact on the development of performance (...) in the Gaza Electricity Distribution Company systems. The is statistical significance impact between “the physical, software supplies, human and organizational” requirements for the management and operation of computerized management information systems and performance development in the Gaza Electricity Distribution Company. -/- The research also concluded a series of recommendations: the need to strengthen the company's management interest in the use of computerized management information systems in all its components and elements of being an important variable which contributes to the effect on performance development. It's essential that we develop the infrastructure for information technology in general, and computerized management information systems, in particular for the development of performance. Increased interest in providing the material of equipment and devices used in the computerized management information system requirements. Interest in providing technical inputs to the computerized management information systems through keeping pace with technological means and modern techniques and work on the training of personnel to use those systems. And increased attention to human inputs of computerized management information systems "specialists technicians and end-users" through a variety of disciplines working in the field of computerized management information systems. (shrink)

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

This research aims to identify the use of decision support systems as an entry point for operations of re-engineering in the Palestinian universities in Gaza Strip. The researchers used the method of questionnaire to collect data, and the researchers used a sample stratified random way, were (350) questionnaire distributed on the research sample and (312) questionnaire were collected back (89.1%). The study results showed that the most important ones are: there exists statistically significant impact at the level of significance (α (...) ≤ 0.05) for physical requirements, human requirements. technical requirements and regulatory requirements. The results showed also, the presence of statistically significant differences between the averages of the study sample estimates on the use of decision support systems as an entry point for operations of re-engineering in the Palestinian universities in Gaza Strip due to the variable sex in favor of males requirements. Furthermore, the results showed the existence of differences to the variable name of the university and each area of study for the benefit of the Islamic University then Al-Azhar University and then Al-Aqsa University. The study also concluded a series of recommendations including: encourage Palestinian universities in Gaza Strip, which are planning to re-engine Information Systems to start implementing the programs in the radical change as soon as possible. The need for the Palestinian universities in Gaza Strip, to develop the infrastructure for information technology in general, and decision support systems, in particular, when doing re-engineering operations. And the need for a separate unit of decision support systems and organizational structure to allow information to flow seamlessly between colleges and various departments and divisions. And investment of available information in building the capacities of integration techniques, in order to enable them to continue with the re-engineering of Information Systems. (shrink)

Brain-related diseases are among the most difficult diseases due to their sensitivity, the difficulty of performing operations, and their high costs. In contrast, the operation is not necessary to succeed, as the results of the operation may be unsuccessful. One of the most common diseases that affect the brain is Alzheimer’s disease, which affects adults, a disease that leads to memory loss and forgetting information in varying degrees. According to the condition of each patient. For these reasons, it is important (...) to classify memory loss and to know the patient at what level and his assessment of Alzheimer's disease through CT scans of the brain. In this thesis, we review ways and techniques to use deep learning classification to classifying the Alzheimer's Disease The proposed method used to improve patient care, reduce costs, and allow fast and reliable analysis in large studies. The model will be designed using Python language for implementing the system, which is very useful for doctors, classifying the Alzheimer's Disease, was used. The model used 70% from image for training and 30% from image for validation, our trained model achieved an accuracy of 100% on a held-out test set. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

Techno-ethics is the area in the philosophy of technology which deals with emerging robotic and digital AI technologies. In the last decade, a new techno-ethical challenge has emerged: Autonomous Weapon Systems (AWS), defensive and offensive (the article deals only with the latter). Such AI-operated lethal machines of various forms (aerial, marine, continental) raise substantial ethical concerns. Interestingly, the topic of AWS was almost not treated in Jewish law and its research. This article thus proposes an introductory ethical-halakhic perspective on AWS, (...) in the Israeli context. The article has seven sections. Section 1 defines AWS and the main ethical concerns it evokes, while providing elementary definitions and distinctions. §2 locates AWS within the realm of Jewish laws of war (hilkhot-ẓava), which recognize the right for self-defense, as well as the status of universally accepted moral norms. §3 unfolds pragmatic ethical premises of a humane techno-ethics, which are required for the identifying AWS as a moral question: I. Relationality; II. Technology is not (completely) neutral; III. The fallaciousness of transhumanism. It is argued that these premises are compatible with halakhic tradition. §4 investigates the question of the morality of AWS, within the field of military AI ethics. It is clarified why the standard categories of war-ethics (ad bello, in bellum) do not capture the singular ethical problem of AWS, which pertains to the operation of military means, rather than their human targets. It is argued that reductive perception of the human mind is misleading about the feasibility of ‘ethical robots’, capable of independent moral discretion. To provide a thick examination of human agency from the perspective of Jewish tradition, §5 explores two stories from the biblical book of Samuel (the murder of Nob’s priests and of Uriah). The lessons about the significance of moral agency within the pubic-political military sphere are made explicit, as well as the possible costs resulting from the loss of human agency in the case of AWS. Given that realpolitik considerations are basic in halakhah, §6 considers some possible contemporary socio-political implications of the AWS, that may risk the sustainability of the democratic project. §7 concludes by pointing out humane contributions of Jewish law to contemporary techno-ethics. (shrink)

The integration of Internet Protocol and Embedded Systems can enhance the communication platform. This paper describes the emerging smart technologies based on Internet of Things (IOT) and internet protocols along with embedded systems for monitoring and controlling smart devices with the help of WiFi technology and web applications. The internet protocol (IP) address has been assigned to the things to control and operate the devices via remote network that facilitates the interoperability and end-to-end communication among various devices c,onnected over a (...) network. The HTTP POST and HTTP GET command that supports the RESTful service have been used to ensure the transmission and reception of packets between the IOT Gateway and Cloud Database. The emerging smart technologies based on the Internet of Things (IoT) facilitated features like automation, controllability, interconnectivity, reliability which in turn turn paved the way for a wide range of acceptance amongst the masses. The Internet of Things (IoT) has brought in many new emerging technologies into varoius field like our daily lives, industry, agricultural sector, and many more. The world is experiencing the explosive growth with the advent of Internet of Things (IoT) these years. The potential growth of IoT is enoromous which is evidenced by all the human beings in our day to day life. (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)

The topic of the present paper is conducting feminist research in South Asia and the way politics works in this process. It is specifically based on the experiences of empirical work done in Kerala, the southernmost state in India, which is unique in being one of the only two states with a strong communist movement. In addition, the numerous religions, castes, and communities of the Kerala region can be profitably analyzed in connection with the policies of the Left, emerging feminist (...) movements, and mechanisms of power. As an indigenous, feminist activist and researcher, I have been working with a Western feminist scholar who is also a university professor, in a project concerning marriage and inheritance in Kerala in the twentieth century. The project is based on various archival materials, as well as interviews with families of different classes and communities, politicians, and religious leaders. The purpose of the paper is to elaborate upon methodological experiences gained from my collaboration as a research assistant for the Western scholar. Specifically, I wish to explore the way power, as based on gender, ethnicity, generation, and the researcher’s position in society, operated when data was collected and interviews carried out. The main thesis of my study is that, through our cooperation, we managed to overcome difficulties that each of us, working alone, would not have been able to surmount. Our production of “knowledge” must be seen in the light of the complex political and cultural power relations prevailing in Kerala, as well as of our own position in society and the role we each played within the research project itself. (shrink)

In this article I use Maurice Merleau-Ponty’s existential phenomenology as a method for presenting a disclosing critique of aphonia as the loss of a political voice of one’s own. I claim that aphonia is a phenomenon that is qualitatively different from a lack of opportunities for democratic participation and a lack of the communicative capabilities required for effective political participation. I give examples from sociological literature on social exclusion and political apathy, and then diagnose them using Merleau-Ponty’s concepts of operative (...) intentionality and the lived body. A picture emerges of aphonia as the diminishing of the expressive modality of the lived body. This can lead to the inability to perceive oneself as a capable public speaker and the public realm as a welcoming field of possibilities for political engagement. I propose that democratic theory should consider the way that the negative social experiences of social marginalization can diminish, or even completely take away, the capability to authentically give a voice to one’s experiences in public on one’s own terms. I conclude with a call for grass-roots alternatives towards engendering political participation among marginalized groups through a “therapeutic” approach to political inclusion. (shrink)

Although I agree with Sabine Muller’s conclusion that we should first seek to find alternatives to amputation for patients suffering from Body Integrity Identity Disorder (BIID), I disagree with one of the major premises that she uses to argue for her claim. Muller argues that patients with BIID are likely not autonomous when they request that the limb be amputated. Muller’s argument that BIID suffers are not autonomous is flawed because she conflates philosophical conceptions of autonomy with the conception of (...) autonomy that is operative in the context of medicine. (shrink)

Cette note devait introduire à un public anglophone la traduction de la « Lettre de Louis Althusser datée du 18 mars 1966 et adressée au Comité central du PCF », elle est ici enrichie dans une version livrée au public français. Elle apporte le contexte historique et théorique nécessaire à la compréhension des interventions « anti-humanistes » de Louis Althusser qui questionne les choix politiques opérés par le PCF au cours des années 1960. Nulle part ailleurs, dans les écrits publiés (...) d’Althusser, nous ne voyons aussi clairement les enjeux politiques imbriqués dans son projet philosophique, ni comment ce projet évolua progressivement d’une entreprise « théoriciste » à la recherche d’une philosophie en lien plus étroit avec la pratique. Cette lettre nous paraît de la plus haute importance pour les spécialistes de l’œuvre d’Althusser, les historiens de la pensée marxiste, mais aussi plus largement à tous ceux qui s’intéressent à l’importance que peut revêtir le travail d’Althusser dans les débats actuels dans le champ de la philosophie marxiste. (shrink)

Buildings energy consumption is growing gradually and put away around 40% of total energy use. Predicting heating and cooling loads of a building in the initial phase of the design to find out optimal solutions amongst different designs is very important, as ell as in the operating phase after the building has been finished for efficient energy. In this study, an artificial neural network model was designed and developed for predicting heating and cooling loads of a building based on a (...) dataset for building energy performance. The main factors for input variables are: relative compactness, roof area, overall height, surface area, glazing are a, wall area, glazing area distribution of a building, orientation, and the output variables: heating and cooling loads of the building. The dataset used for training are the data published in the literature for various 768 residential buildings. The model was trained and validated, most important factors affecting heating load and cooling load are identified, and the accuracy for the validation was 99.60%. (shrink)

Hog farming is a significant industry in the Philippines, providing 60% of the country's animal meat consumption. However, the African Swine Fever (ASF) outbreak has caused its collapse. In effect, the hog raisers stopped their operation and sought alternatives to earn money for the family's needs. As a result, a phenomenological study investigated the hog raisers' lived experiences and how they cope with the existing phenomenon. Six key informants were selected based on inclusion criteria and purposive sampling for one-on-one interviews (...) conducted by researchers. Using Creswell's approach, (1) fear of the virus, (2) frustration from the border controls and lockdowns, (3) broken promises of financial assistance from the Department of Agriculture, and (4) incurred substantial financial loss were themes concerning the lived experiences of the key informants. Also, the key informants shared how they coped with the outbreak, including (1) shifting to a farming business, (2) working in a construction site, and (3) making hollow blocks. An effective approach to combat the ASF outbreak in Cebu necessitates a comprehensive strategy that draws on insights from key informants. It is imperative to establish systems of support that consider the financial, emotional, and psychological needs of those affected. Collaborative efforts with local communities, researchers, and government organizations are also crucial to devising sustainable plans for managing and preventing ASF in the long run. This study sheds light on the obstacles encountered by the hog industry in Cebu and underscores the significance of implementing coordinated measures to mitigate the effects of ASF. (shrink)

Neutrosophy has been introduced by Smarandache [7, 8] as a new branch of philosophy. The purpose of this paper is to construct a new set theory called the neutrosophic set. After given the fundamental definitions of neutrosophic set operations, we obtain several properties, and discussed the relationship between neutrosophic sets and others. Finally, we extend the concepts of fuzzy topological space [4], and intuitionistic fuzzy topological space [5, 6] to the case of neutrosophic sets. Possible application to superstrings and space–time (...) are touched upon. (shrink)

What we must do is step back and take a grand view of the perspectives in order to understand it on a more particular level. If we can picture all of God’s attributes on a bar graph scale, all of God’s attributes would max out at 100% each. These attributes are always operating at 100%; at no time does any attribute diminish or decrease below 100%. However, there are times when one of His attributes shows forth more than another does, (...) but they are all operating at a maximum level. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

Deep learning may transform health care, but model development has largely been dependent on availability of advanced technical expertise. The aim of this study is to develop a deep learning model to predict the gender from retinal fundus images. The proposed model was based on the Xception pre-trained model. The proposed model was trained on 20,000 retinal fundus images from Kaggle depository. The dataset was preprocessed them split into three datasets (training, validation, Testing). After training and cross-validating the proposed model, (...) it was evaluated using the testing dataset. The result of testing, the area under receiver operating characteristic curve (AUROC) of the model was 0.99, precision, recall, f1-score and accuracy were 99%, precision, recall, f1-score and accuracy were 96.83%, 96.83%, 96.82% and 96.83% respectively.. Clinicians are presently unaware of dissimilar retinal feature variants between females and males, stressing the importance of model explain ability for the prediction of gender from retinal fundus images. The proposed deep learning may enable clinician-driven automated discovery of novel visions and disease biomarkers. (shrink)

The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: - There (...) is a statistically significant effect on the adoption of the criterion of focus on the students benefiting to achieve the satisfaction of students in the Palestinian universities, where the value of R Square (35.3%), there is a statistically significant effect on the adoption of the criterion of focus on the students benefiting on the use of the standard of operations in Palestinian universities. The value of the R Square is (62.8%), there is a statistically significant impact of the criterion of operations on the satisfaction of students in Palestinian universities. Where the value of the R is (36.2%), there is a significant effect on the adoption of the criterion of emphasis on students benefiting from the satisfaction of students in Palestinian universities with the existence of the standard of operations as an intermediary variable. The role of the mediator in the relationship between the adoptions of the criterion of focus on the students benefiting to achieve the satisfaction of students in Palestinian universities was revealed through the use of Path Analysis. The study presented a number of recommendations, the most important of which is: to increase the focus of the universities on students and beneficiaries in a manner appropriate to achieve the objectives of the university on the one hand, and students and beneficiaries on the other, and in line with the approach of quality and excellence, the universities more attention to the management of operations through the design and development of programs Academic and internal services according to the needs of students, and improving processes in innovative ways to generate added value for students and beneficiaries, the universities have made more efforts to create satisfaction among students and beneficiaries by developing internal performance indicators to measure student satisfaction, Students and other university beneficiaries periodically to improve their satisfaction. (shrink)

In this paper, a new Intervention Meditation approach is outlined by the current author. To overcome lack of clarity in defining meditation, a new universal Operational definition of meditation is proposed with elaborative explanation. The new meditation approach has multitude of deeper concepts from Bhagavad Gita and modern psychology and the expert / Guru of the proposed method must be a qualified and experienced before getting trained on this approach specifically. This paper elevates meditation from a casual approach level to (...) a separate systematic branch of psychology level. (shrink)

Abstract: The Spotify Status Dataset is a valuable resource that provides real-time insights into the operational status and performance of Spotify, a popular music streaming platform. This dataset contains a wide array of information related to server uptime, user activity, service disruptions, and more, serving as a critical tool for both Spotify's internal monitoring and the broader data analysis community. As digital services like Spotify continue to play a central role in music consumption, understanding the platform's status becomes crucial for (...) ensuring a seamless user experience. This dataset offers numerous research and analysis opportunities, whether you're interested in exploring service availability trends or investigating user behavior patterns during service disruptions. This study highlights the significance of the Spotify Status Dataset, its potential applications, and the valuable insights it can offer to various stakeholders, from Spotify engineers working to enhance service reliability to researchers studying the effects of downtime on user engagement. It invites readers on a journey through this dataset to uncover the secrets of Spotify's operational status and its impact on music enthusiasts worldwide. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Abstract: The objective of this study was to examine empirically the determinants of job satisfaction levels among community development officer in Oyo State, Nigeria. Due to this, two research questions were formulated and answered. All community development officers across thirty-three local government areas of Oyo state formed the target population. However, fifteen local governments were chosen for the study from the existing number, also, simple random sampling technique which was stratified in nature and operation was used to select seven-hundred and (...) seventy one (771) respondents which cut across three strata (that is three senatorial districts). Structured questionnaire was used to elicit information from the respondents, while descriptive component of statistics was employed to analyse the data generated from the instrument. The empirical findings from demographic attributes of the respondents revealed that the majority of the community development officers participated in the study were female by gender, first degree or Higher National Diploma by qualifications, spent between 4-6 years in service as community development agent, Christian by religious affiliation, and inspector in terms of cadre. Based on the determinants levels of job satisfaction, it was discovered from majority point of view that the current placement in the job, future prospect of the career, availability and accessibility of on-the-job training, favourable working conditions, regular promotion, routine of the job, level of motivation, monthly remuneration among others were some of the determinants of job satisfaction levels among community development officers. The study recommended constant and regular initiation of programmes like on-the-job training, regular payment of wages and salaries, attractive social welfare packages to mention a few for the community development officers regardless of their gender and religious affiliation. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence (...) of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

Abstract: This study aimed to identify the behavior of organizational citizenship in Palestinian Police Force between reality and expectations, and this study comes to study the reality of human resources and their organizational behavior in the police apparatus, which is the largest security services operating in Gaza Strip, so it is expected that this study will contribute to improving this This aspect will be reflected positively on serving the country and the citizen and achieving security and safety for them. The (...) study relied on the descriptive and analytical approach, using the questionnaire, and targeting a stratified random sample of (400) officers, who hold the rank of captain and above, from the study population of 1550 officers, and the study tool was distributed to the sample members in all departments and governorates Police in Gaza Strip. (353) questionnaires were retrieved, with a recovery rate of (88.3%), and they were analyzed using (SPSS) software. The study found that the organizational citizenship behavior was largely due to all its components. The study also showed that there are statistically significant differences between the respondents ’average response towards the organizational citizenship behavior due to the variables (type of administration, age group, job title, military rank, and years of service). The study recommended taking into account the interests of employees when making decisions and involving them in formulating them, explaining their justifications, and finally, the study recommended that organizational citizenship behavior be considered an organizational value that the police seek, and to create an organizational climate in which a sense of justice prevails, given its prominent role in stability, calm and discipline at work Thus, the elevation of the police institution and the achievement of its desired goals. (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)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

The study aimed to identify the level of organizational performance in ceramic companies in the Tenth of Ramadan City, where the researchers used the descriptive analytical method, through a questionnaire distributed. The study reached a set of results, the most important of which are: the presence of a clear consensus of the study sample from the members of the senior management that all dimensions of the balanced scorecard variable are largely present in the ceramic companies under study, and the results (...) showed the approval of the study sample of workers in an average way on the application of the financial dimension and that it is applied Well, the approval of the study sample of the employees in an average way that tends to decline on the degree of application of the customer dimension and that it is applied by the senior management in an inappropriate way, the approval of the study sample of the employees in a large way on the degree of application of the internal operations dimension and that it is applied by the senior management in a large and appropriate way, approval The study sample of workers applying the learning and growth dimension is moderately low and it is applied inappropriately by the senior management. The study presented a set of recommendations, the most important of which are: working on clarifying and translating the vision and strategy of the institution, working on clarifying the strategy and linking it to the goals, planning and setting goals and arranging strategic initiatives, promoting strategic feedback. (shrink)

This study aimed to identify the learning and business incubation processes and their impact on developing the performance of business incubators in Gaza Strip, and the study relied on the descriptive analytical approach, and the study population consisted of all employees working in business incubators in Gaza Strip in addition to experts and consultants in incubators where their total number reached (62) individuals, and the researchers used the questionnaire as a main tool to collect data through the comprehensive survey method, (...) where (55) questionnaires were retrieved with a recovery rate of (88.7%). The results of the study showed that there is a high approval of the variables of the study, where the dimension of incubation operations came with a relative weight (84.89%), followed by the learning dimension which got a relative weight (82.50%), while the performance level of the incubators got a relative weight (80.12%) and as the study results showed There is a positive relationship statistically between the two dimensions of learning and business incubation processes and performance development in business incubators, and the linear regression analysis model showed that the main effect in improving the performance of business incubators is "after business incubation operations" while it showed weak effect after learning. The study came out with several recommendations, the most important of which is that business incubators seek to reinforce the learning process and incubation processes for business, and the need to periodically evaluate their performance, and that a more effective mechanism be designed to follow up with companies after the end of the incubation period and monitor the progress of these companies. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (75.19%) (...) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

The purpose of this paper is to introduce and study the characteristic function of a neutrosophic set. After given the fundamental definitions of neutrosophic set operations generated by the characteristic function of a neutrosophic set ( Ng for short), we obtain several properties, and discussed the relationship between neutrosophic sets generated by Ng and others. Finally, we introduce the neutrosophic topological spaces generated by Ng . Possible application to GIS topology rules are touched upon.

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

This study presented the policy of functional integration of the product planning team as a strategy for the development of the pharmaceutical industry in Palestine. The study population consists of all the workers in companies operating in the field of medicine in Palestine, which are (5) companies producing in the West Bank only for pharmaceuticals used by these companies, which are (296) employees, and was used a simple random sample to choose the sample and size (87) employees of the study (...) population, and to achieve the objectives of the study (87) questionnaires were distributed. The descriptive analytical method was used, and SPSS was used to answer and discuss the study's questions. The results showed that there is a significant relationship between the effectiveness of the policy of product development and the competitiveness of pharmaceutical companies in Palestine (West Bank), where the policy of product development efficiency accounts for 56.6% of the total change in the competitiveness of companies. The product quality component was most influential at all levels of product development effectiveness policy, followed by product identification, product cost reduction, packaging and product deletion. The weakest areas of strategic direction in pharmaceutical companies in Palestine (West Bank) are 67%. The weakest aspects of job integration are: non-regular meetings of representatives of different positions to participate in any project related to product development, to achieve spatial convergence of members of the product planning policy team in offices, laboratories and workplaces. (shrink)

In the present paper, these authors argue on actual reasons why Hilbert’s axiomatic program to unify gravitation theory and electromagnetism failed completely. An outline of plausible resolution of this problem is given here, based on: a) Gödel’s incompleteness theorem, b) Newton’s aether stream model. And in another paper we will present our calculation of receding Moon from Earth based on such a matter creation hypothesis. More experiments and observations are called to verify this new hypothesis, albeit it is inspired from (...) Newton’s theory himself. (shrink)

Abstract: The study aimed to determine the quality of services and its role in enhancing strategic flexibility, from the point of view 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 high degree of approval by the study sample regarding the quality of services, as it was evident through the field of service quality obtaining a relative weight (79.90%), and the results of the study indicated that there is a moderate degree of approval by the members of the study sample. On the strategic flexibility, as it was evident by obtaining the area of strategic flexibility as a whole on a relative weight (60.44%). The results of the study revealed a statistically significant relationship between the quality of services and the strategic flexibility in non-governmental hospitals in Gaza Strip, with a correlation coefficient of 0.490). The results of the study also revealed a statistically significant effect of the quality of services on the strategic flexibility in non-governmental hospitals in Gaza Strip. The study reached many recommendations, the most important of which were: Establishing 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 administration, to notify patients of dealing with the complaints they submit, and to work to provide all medical and health specialties in hospitals in place. The study, by making use of medical delegations visiting Gaza Strip, involving them in therapeutic operations, bringing in doctors and specialists from abroad, updating the criteria for measuring services provided to patients on an ongoing basis, based on patients' suggestions and complaints, developing facilities in hospitals, as well as updating medical devices and equipment Used in hospitals periodically and the need to work on appointing young people and people of energy, for vacancies in the hospitals under study, and the need to seek the help of an administrative staff that is distinguished by scientific and practical qualifications, and to work on updating information systems, archiving and networks through which data and information are transferred between departments, and finding mechanisms to be done from During which the information stored can be used to enhance the decision-making process. (shrink)

In accordance with the ideas of I.Hacking and P.Galison, and the “theoretical-operational” structure of experiment of Fock-Lipkin, a symbolic language is developed for the description of structure of a contemporary complex experiment. With its help a particle accelerator-based experiment is analysed as an example of this kind of experiments, where explication and analysis of the following essential features is performed: the roles of instrument, background, data analysis, and their theoretical components. An attempt is made to clarify the concepts of “instrument” (...) and “complexity” of experiment. (shrink)

The study aims to identify the reality of management of electronic documents and electronic archiving retirement in the Palestinian Pension Agency -analytical study, as well as to recognize the reality of the current document management system in the Palestinian Pension Agency. The study found the following results: that the reality of the current system for the management of documents in the agency is weak and suffers from many jams. Employee in the agency understand the importance and benefits of the management (...) of electronic documents system, where the application of electronic document management system provide important features and benefits most of which reduce the loss of documents between departments, illustrates the flow path, the speed, accuracy, transparency, and reduce the proportion of damage and destruction of files. Furthermore, the electronic documents system cost will be less than the cost of the current system and it will reduce the tasks assigned for the staff. The existence of a clear adoption of the agency for the policies and procedures established for the application of electronic documents management system. There are weak plans for training and developing of staff in the agency to raise their efficiency. The study found a set of recommendations, including: increased interest and awareness of the need to implement policies, mechanisms, and procedures to ensure the success of electronic document management system through benefiting from the experiences of other organizations and the private sector. The agency need to increase and develop its services for retirees in order to encourage the private sector, universities, and institutions to join the agency, and open the way for all segments of society in Gaza and West Bank and enhance its competitiveness between international social security institutions. The need to focus its attention on developing and publishing appropriate clear plans and specific goals about management of electronic documents and the agency should be committed to apply them. The need to focus on the establishment of a public management of archiving in the structure dealing with all technical operations and having competent and qualified employees in the field of electronic document management. The need to focus on the Palestinian National Archives and the follow-up with the international standards by the International Council Archives (ICA). (shrink)