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 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)

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)

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.

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)

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)

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.

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.

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].

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)

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

"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)

El presente artículo empieza con una breve exposición de los datos más significativos sobre la vida y obra del sufí almeriense Ibn al-‘Arīf (d. 536/1141). A continuación se habla de su formación filosófica y sufí. Finalmente, se reúnen y traducen diversos pasajes de Miftāḥ al-sa‘āda que hacen referencia a la filosofía y la mística. Se contrastan a la vez sus opiniones con anteriores sufíes andalusíes como Ibn Masarra e Ibn Jamīs de Évora.

The primary and secondary sources of Islamic law often assume a binary distinction between ijtihād and taqlīd, ignoring a third level of engagement with the sources, which was conceptualized by some jurists as forming a distinct category. In this article I discuss the evolution of the terms ijtihād, taqlīd, and ittibāʿ, using a conceptual-historical approach. I argue that the use of taqlīd to mean “precedent-following” did not emerge as a technical term until after the time of al-Shāfiʿī. The distinction between (...) precedent-following and verifiable-following did not appear in legal discourse until the time of Aḥmad b. Ḥanbal. I also demonstrate that there were three approaches to these terms in legal discourse after the time of Ibn Ḥanbal, with three groups of jurists defining them in ways that advanced their different visions of law-making. I conclude with a discussion of the debate over the meanings of these terms in the eighteenth and nineteenth centuries. (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)

In recent years, scholars have sought to investigate the impact that ethical leaders can have within organisations. Yet, only a few theoretical perspectives have been adopted to explain how ethical leaders influence subordinate outcomes. This study therefore draws on social rules theory (SRT) to extend our understanding of the mechanisms linking ethical leadership to employee attitudes. We argue that ethical leaders reduce disengagement, which in turn promotes higher levels of job satisfaction and organisational commitment, as well as lower turnover intentions. (...) Co-worker social undermining is examined as a moderator of the relationship between ethical leadership and disengagement, as we suggest that it is difficult for ethical leaders to be effective when co-worker undermining prevails. To test the proposed model, questionnaires were administered to 460 nurses in Romanian hospital settings over three time points separated by two-week intervals and the hypotheses were tested using generalised multilevel structural equation modeling (GSEM) with STATA. The findings revealed that ethical leadership has a beneficial effect on employee attitudes by reducing disengagement. However, the relationship between ethical leadership and disengagement was moderated by co-worker social undermining, such that when undermining was higher, the significance of the mediated relationships disappeared. These results suggest that while ethical leaders can promote positive employee attitudes, their effectiveness is reduced in situations where co-worker undermining exists. (shrink)

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.

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)

ABSTRACTThe rapid expansion of primary education in Ethiopia has enabled most children to attend primary education—or at least to start schooling. This expansion, however, is largely “symbolic” rat...

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.

Contributed articles chiefly on philosophy; memorial volume in honor of Mafizuddin Ahmed, b. 1927, professor of philosophy and writer from Rājshāhi District, Bangladesh; includes some articles on his life and work.

Cette monographie porte sur la question de la connaissance dans le commentaire coranique de Fakhr al-Dīn al-Rāzī. Ahmed Oulddali y étudie, à travers plusieurs sources, les théories psychologiques et épistémologiques sur lesquelles cet exégète sunnite fonde son interprétation du Coran. This monograph addresses the question of knowledge in Faḫr al-Dīn al-Rāzī's Qurʾān commentary. Utilizing a variety of sources, Ahmed Oulddali presents the psychological and epistemological theories on which this Sunni exegete bases his interpretation of the Qurʾān.

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)

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)

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.

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)

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)

We construct an atomic uncountable theory with no prime models. This contrasts with the countable case.

Following research initiated by Tarski, Craig and Nemeti, and futher pursued by Sain and others, we show that for certain subsets G of $^\omega \omega $ , atomic countable G poiyadic algebras are completely representable. G polyadic algebras are obtained by restricting the similarity type and axiomatization of ω-dimensional polyadic algebras to finite quantifiers and substitutions in G. This contrasts the cases of cylindric and relation algebras.

OBJECTIVES: To compare the practices of local research ethics committees and the time they take to obtain ethical approval for a multi-centre study. DESIGN: A retrospective analysis of outcome of applications for a multi-centre study to local research ethics committees. SETTING: Thirty-six local research ethics committees covering 38 district health authorities in England. MAIN MEASURES: Response of chairmen and women, the time required to obtain approval, and questions asked in application forms. RESULTS: We received replies from all 36 chairmen contacted: (...) four (11%) granted their approval, and 32 (89%) required our proposal to be considered by their local research ethics committee. Three committees asked us to attend their meetings. The application was approved by all 36 local research ethics committees but the time to obtain ethical approval varied between six to 208 days. One third of the committees did not approve the project within three months, and three took longer than six months. There was considerable variation in the issues raised by local research ethics committees and none conformed exactly to the Royal College of Physicians' guidelines. CONCLUSION: Obtaining ethical approval for a multi-centre study is time-consuming. There is much diversity in the practice of local research ethics committees. Our data support the recommendation for a central or regional review body of multi-centre studies which will be acceptable to all local research ethics committees. (shrink)

The YAP/TAZ family of transcriptional co‐activators drives cell proliferation in epithelial tissues and cancers. Yet, how YAP and TAZ are physiologically regulated remains unclear. Here we review recent reports that YAP and TAZ act primarily as sensors of epithelial cell polarity, being inhibited when cells differentiate an apical membrane domain, and being activated when cells contact the extracellular matrix via their basal membrane domain. Apical signalling occurs via the canonical Crumbs/CRB‐Hippo/MST‐Warts/LATS kinase cascade to phosphorylate and inhibit YAP/TAZ. Basal signalling occurs (...) via Integrins and Src family kinases to phosphorylate and activate YAP/TAZ. Thus, YAP/TAZ is localised to the nucleus in basal stem/progenitor cells and cytoplasm in differentiated squamous cells or columnar cells. In addition, other signals such as mechanical forces, tissue damage and possibly receptor tyrosine kinases (RTKs) can influence MST‐LATS or Src family kinase activity to modulate YAP/TAZ activity. (shrink)

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)