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)

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)

The model of feminism as humanist in practice and postmodern in theory is inadequate. Feminist practice and theory directly inform each other to displace both humanist and postmodern conceptions of the subject. An examination of feminism's use of rights discourse suggests that feminist practice questions the humanist conception of the subject as a self-identity. Likewise, feminist theory undermines the postmodern emphasis on the constitutive instability and indeterminacy of the subject.

The two faces of a puzzle -- Two approaches to the enigma of consciousness -- Methodology, terminology, and the missed point -- Freud's project and the conception of consciousness -- A concise of the theory of the aconscious -- The unconscious and the aconscious.

In _Willful Subjects_ Sara Ahmed explores willfulness as a charge often made by some against others. One history of will is a history of attempts to eliminate willfulness from the will. Delving into philosophical and literary texts, Ahmed examines the relation between will and willfulness, ill will and good will, and the particular will and general will. Her reflections shed light on how will is embedded in a political and cultural landscape, how it is embodied, and how will (...) and willfulness are socially mediated. Attentive to the wayward, the wandering, and the deviant, Ahmed considers how willfulness is taken up by those who have received its charge. Grounded in feminist, queer, and antiracist politics, her sui generis analysis of the willful subject, the figure who wills wrongly or wills too much, suggests that willfulness might be required to recover from the attempt at its elimination. (shrink)

Considerable evidence supports that preschool education is a milestone stage for children. Nonetheless, systematic preschool gifted education programs rarely exist in public elementary schools. The current study explored the perceptions of 16 preschool teachers from seven public schools in Abu Dhabi, United Arab Emirates regarding their views about various components of gifted education for preschool children. Qualitative analyses, using the inductive data analysis method, revealed several themes such as the concept and identification of giftedness, characteristics of gifted preschoolers, preschoolers’ problem-solving (...) skills, the communication and social skills of gifted preschoolers, resources/services offered by the school to serve gifted preschoolers, enrichment programs available for gifted preschoolers, inclusive education for gifted preschoolers, twice-exceptional preschoolers, and governmental support. The results of this study may help advocate for infusing more services and programs related to the identification and education of gifted preschoolers in public schools. The findings identified the need to have an abundance of assessment tools and enrichment programs that can empower preschool teachers to cater for giftedness. (shrink)

We revisit the flight-to-quality and flight-from-quality occurrences vis-à-vis the stock-bond nexus across differing investment time scales in the COVID-19 era, using a novel technique hinged on a denoised frequency-domain transfer entropy. Our findings divulge that flights, both FTQ and FFQ, could be attained during stress periods. Generally, in the intermediate term of the COVID-19 pandemic, both Islamic and conventional bonds could act as safe havens, diversifiers, and hedges for international equities, and the same could be observed for international equities. We (...) reiterate empirically that flights may improve the financial system’s stability and robustness by allowing diversity to be effective when it is most required. The findings have financial and portfolio implications for investors considering how to deploy their investments in the COVID-19 era. Our findings may impact policymakers’ responses to changes in various asset classes, allowing them to better monitor financial markets and adjust macroeconomic policies. (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

We consider countable so‐called rich subsemigroups of ; each such semigroup T gives a variety CPEAT that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of ω‐dimensional cylindric‐polyadic algebras with equality where substitutions are restricted to maps in T. It is shown that for any such T, if and only if is representable as a concrete set algebra of ω‐ary relations. The operations in the signature are set‐theoretically interpreted like in polyadic equality set (...) algebras, but such operations are relativized to a union of cartesian spaces that are not necessarily disjoint. This is a form of guarding semantics. We show that CPEAT is canonical and atom‐canonical. Imposing an extra condition on T, we prove that atomic algebras in CPEAT are completely representable and that CPEAT has the super amalgamation property. If T is rich and finitely represented, it is shown that CPEAT is term definitionally equivalent to a finitely axiomatizable Sahlqvist variety. Such semigroups exist. This can be regarded as a solution to the central finitizability problem in algebraic logic for first order logic with equality if we do not insist on full fledged commutativity of quantifiers. The finite dimensional case is approached from the view point of guarded and clique guarded (relativized) semantics of fragments of first order logic using finitely many variables. Both positive and negative results are presented. (shrink)

Résumé L’histoire récente montre que les deuxièmes générations rencontrent aussi un problème d’intégration. Les immigrations post-coloniales sont maintenant mondialisées, et les quartiers dortoirs d’immigration sont devenus des places de commerce cosmopolites. L’espace public dans lequel se meut l’immigration s’est différencié. L’émigré devient l’immigré, la famille se regroupe. La nouvelle génération veut incarner la tradition et n’a plus peur de marquer l’espace public des signes ostentatoires d’une présence singulière.

(1996). Science and technology in the discourse of Sayyid Qutb. Social Epistemology: Vol. 10, Islamic Social Epistemology, pp. 289-304. doi: 10.1080/02691729608578820.

"The Uncertain Science" argues that sociology has not freed itself from the influence of philosophy, and specifically from the search for certainty. This "foundationalism" which is characteristic of Western thought has influenced both the method adopted by sociologists, and their research practices. The authors criticize sociology for its formalism, arguing that this blunts the radicalism of its project. To regain the radical and critical edge implicit in sociology, it is necessary to adopt a comparative and historical approach which interprets social (...) science as part of societal learning. In the first part of the book the authors trace formalism to central positions in Western philosophy and examine its impact on historiography, evolutionary social thought and positivist sociology. In the second part they examine the tensions between formalism and social theory in the work of Levi Strauss and Habermas. In part three they compare modernization theory to more recent descussions of "modernity" and "postmodernity", and show the elements of continuity between these apparently contrary positions. This book should be of interest to undergraduates in sociology and philosophy. (shrink)

The purpose of this paper is to analyze the meaning and scope of social responsibility in a state-owned enterprise. Is corporate social responsibility (CSR) a meaningful concept for a state-owned enterprise, as opposed to a privately-owned corporation, given that it is created with social as well as economic aims? To try to answer to this question, the case of Sonatrach, an Algerian oil company, is examined. The lack of statistical data does not allow an assessment of CSR actions undertaken by (...) this company since 2004. The analysis identifies two main obstacles to the effectiveness of CSR in state-owned enterprises: (a) the system of internal governance ischaracterized by a lack of control; (b) the competitive and social environment is characterized by a partial application of the logic of the market, which does not allow the optimal allocation of means. (shrink)

This study investigates the association of a broad set of variables with the ethical decision making of management accountants in Libya. Adopting a cross-sectional methodology, a questionnaire including four different ethical scenarios was used to gather data from 229 participants. For each scenario, ethical decision making was examined in terms of the recognition, judgment and intention stages of Rest’s model. A significant relationship was found between ethical recognition and ethical judgment and also between ethical judgment and ethical intention, but ethical (...) recognition did not significantly predict ethical intention—thus providing support for Rest’s model. Organizational variables, age and educational level yielded few significant results. The lack of significance for codes of ethics might reflect their relative lack of development in Libya, in which case Libyan companies should pay attention to their content and how they are supported, especially in the light of the under-development of the accounting profession in Libya. Few significant results were also found for gender, but where they were found, males showed more ethical characteristics than females. This unusual result reinforces the dangers of gender stereotyping in business. Personal moral philosophy and moral intensity dimensions were generally found to be significant predictors of the three stages of ethical decision making studied. One implication of this is to give more attention to ethics in accounting education, making the connections between accounting practice and Islam. Overall, this study not only adds to the available empirical evidence on factors affecting ethical decision making, notably examining three stages of Rest’s model, but also offers rare insights into the ethical views of practising management accountants and provides a benchmark for future studies of ethical decision making in Muslim majority countries and other parts of the developing world. (shrink)

The present study examined how the pre-war debate of the US decision to invade Iraq (in March 2003) was discursively constructed in the US/British mainstream newspaper opinion/editorial (op/ed) argumentation. Drawing on theoretical insights from critical discourse analysis and argumentation theory, I problematised the fallacious discussion used in the pro-war op/eds to build up a ‘moral/legal case’ for war on Iraq based on adversarial (rather than dialogical) argumentation. The proponents of war deployed ‘instrumental rationality’ (ends-justify-means reasoning), ‘ethical necessity’ (Bush’s ‘Preemption Doctrine’) (...) and ‘humanitarian virtue’ (the bombing of Iraq to ‘save’ Iraqis from Saddam’s pestilent tyranny) to justify the pending invasion of Iraq. Their arguments intertextually resonated with Bush administration’s ‘war on terror’ rhetoric in a way that created a form of indexical association through ‘recontextualisation’. The type of arguments marshalled by the pro-war op/ed commentators uncritically bolstered the set of US official ‘truth claims’ and ‘presuppositions’. (shrink)

La traducción de la obra principal de Maimónides, la Guía de los descarriados, del árabe al hebreo tuvo repercusiones amplias y prolongadas. Provocó una crisis social en el seno de las comunidades judías en dominios cristianos, abrió las puertas al conocimiento de la filosofía de Averroes y de Aristóteles entre los judíos, y dio lugar a una corriente averroísta judía, y a su oposición. Dado que Algacel representa una posición tradicional contraria a la filosofía, y combatida por Averroes, hahlane sostiene (...) que el interés dentro de la comunidad judía por Algacel es debido su utilidad en la polémica interna contra Averroes y Maimónides. (shrink)

An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1.

Programming artificial intelligence to make fairness assessments of texts through top-down rules, bottom-up training, or hybrid approaches, has presented the challenge of defining cross-cultural fairness. In this paper a simple method is presented which uses vectors to discover if a verb is unfair or fair. It uses already existing relational social ontologies inherent in Word Embeddings and thus requires no training. The plausibility of the approach rests on two premises. That individuals consider fair acts those that they would be willing (...) to accept if done to themselves. Secondly, that such a construal is ontologically reflected in Word Embeddings, by virtue of their ability to reflect the dimensions of such a perception. These dimensions being: responsibility vs. irresponsibility, gain vs. loss, reward vs. sanction, joy vs. pain, all as a single vector. The paper finds it possible to quantify and qualify a verb as fair or unfair by calculating the cosine similarity of the said verb’s embedding vector against FairVec—which represents the above dimensions. We apply this to Glove and Word2Vec embeddings. Testing on a list of verbs produces an F1 score of 95.7, which is improved to 97.0. Lastly, a demonstration of the method’s applicability to sentence measurement is carried out. (shrink)

The market relationships are being contested. This can be seen in the increasing number of alternative social experiments in the ‘North’ and the ‘South’ which propose to think out the present market relationships in a different way, in particular in establishing exchange value and in facilitating access to trade. These practical alternatives are supported by trends in academic circles that over the past three decades have opposed neoliberal capitalism and individualism in today's commercialised society. Calling for greater solidarity and social (...) justice in economic relationships, in particular, partisans of social and solidarity economics, identifying with these trends, demand new forms of exchange. The objective of this article is to re-examine these demands. What exactly do the SSE mean by ‘solidarity’ and ‘solidarity-based economy'? We would like to trace the contours of this theoretical and political project and to assess the practicability of the proposed alternative to neoliberal capitalism. (shrink)

Feminism is sensational -- On being directed -- Willfulness and feminist subjectivity -- Trying to transform -- Being in question -- Brick walls -- Fragile connections -- Feminist snap -- Lesbian feminism -- Conclusion 1: A killjoy survival kit -- Conclusion 2: A killjoy manifesto.

The issue of the employment of graduates in Algeria was born with the decoupling between training and employment in the state public sector. She became very acute in the late 80s with the transition to economic liberalism and is the subject of a new employment policy for at least twenty years. In this context, the reform of higher education introduced in 2004 under the name of “LMD reform” aims to “modernize” higher education and training to match the needs of employers. (...) This article specifically examines the devices to youth employment implemented by various government departments and the implementation of the “LMD”, especially in view of using it is supposed to provide young graduates to better be inserted in the labor market. (shrink)

Introduction: find your way -- Orientations toward objects -- Sexual orientation -- The orient and other others -- Conclusion: disorientation and queer objects.

We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.

The study aimed at measuring the dominant pattern of leadership and its relation to the performance of the administrative staff in the Palestinian universities. The study community consists of all the administrative staff from Al-Azhar University and the Islamic University, and through the census of the study society it was found to consist of (655) administrative staff. In order to achieve the objectives of the study, the researchers used the method of random sample in the study, and the study was (...) conducted on a sample of (221) administrative staff of the surveyed universities and the response rate was (82.35%). The study found that there is a high degree of satisfaction with the Dominant Pattern of Leadership in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, which reached (71.67%). There is a high level of performance from the point of view of administrative staff, with a percentage of (82.53%). There is a direct correlation between the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences between the sample according to the gender variable in their perception of the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the age variable. There are differences of statistical significance according to the variable of scientific qualification in the Dominant Pattern of Leadership, while there were no differences in performance, the differences in the dominant pattern of leadership according to the scientific qualification were in favor of those who obtained the diploma degree compared to other practical qualifications, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable years of service, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable level of career (Director, Head of Department, and Administrative Officer). There were differences in the perception of workers to the dominant pattern of leadership depending on the variable of the workplace, where there were differences in favor of workers in deanships and colleges compared with the workers in the technical departments. While there were no differences in job performance according to the workplace variable, the existence of differences in the perception of workers to the dominant pattern of leadership depending on the university in which they work in favor of the Islamic University and the absence of differences in performance between the Islamic University and Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the managements of the Palestinian universities in improving the dominant pattern of leadership, to give universities the opportunity to participate in decision-making, the continued administration of universities interest and continuous improvement of the performance of its employees, enhance the periodic evaluation of job performance and to inform employees and express their opinion, solving workers' problems and giving them the opportunity to contribute to solving their own problems, the use of the staff rotation method periodically and strengthening the democratic the dominant pattern of leadership and empowering university staff. -/- . (shrink)

Probably many people have cyclic preferences: they prefer A to B, B to C and C to A for some objects of choice A, B and C. Recent work has resurrected the objection to cyclic preference that agents possessing them are open to exploitation by means of ‘money pumps’. The paper briefly reviews this work and proposes a general approach to problems of sequential choice that makes cyclic preference immune to exploitation by means of these new mechanisms.

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α -dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3].

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...) representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety of cylindric (...) algebras of infinite dimension, endowed with the merry go round identities, fails to have the amalgamation property answering a question of Németi’s. We also study two variants of the so-called cylindric polyadic algebras introduced by Ferenczi (all are reducts of polyadic equality algebras, that are also varieties). We show that one is more cylindric than polyadic, and that the other is more polyadic than cylindric. Our classification is determined by results on neat embeddings and amalgamation expressed from the point of view of category theory, thereby witnessing, and, indeed, further emphasizing, the dichotomy between the cylindric and polyadic paradigms. For example, the first class does not have the unique neat embedding property, fails to have the amalgamation property and the neat reduct functor does not have a right adjoint, while the second class has the unique neat emdedding property, the superamalgamation property and the neat reduct functor is strongly invertible. Other results, like first order definability of the class of neat reducts and the class of completely representable algebras, confirming our classification along these lines are presented. (shrink)

Dear editorOrgans transplantation is the solution for many end stage insufficiencies, but organ shortage is still matter of debate. As a consequence, organ procurement (OP) remains currently the best way to provide organs in western countries. Besides, the news of the death of a loved one, especially when he is young and dies in violent circumstances, can be a devastating event for families. In those conditions, the process of donation request from the coordinators may be difficult and requires experience and (...) “tact”. Despite these precautions, refusals are not rare.An 18 year-old-patient was transported in shock after a car accident to our hospital. Emergent laparotomy was performed for mesenteric and hepatic trauma requiring liver packing. She also presented a cervical and cerebral trauma with a fast deterioration of the neurological status. A tentorial herniation was quickly suspected. The family had been contacted and the severity of the situation explained without mentioning brain. (shrink)

We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.