Nature-inspired optimization techniques are useful tools in electrical engineering problems to minimize or maximize an objective function. In this paper, we use the firefly algorithm to improve the optimal solution for the problem of directional overcurrent relays (DOCRs). It is a complex and highly nonlinear constrained optimization problem. In this problem, we have two types of design variables, which are variables for plug settings (PSs) and the time dial settings (TDSs) for each relay in the circuit. The objective function is (...) to minimize the total operating time of all the basic relays to avoid unnecessary delays. We have considered four models in this paper which are IEEE (3-bus, 4-bus, 6-bus, and 8-bus) models. From the numerical results, it is obvious that the firefly algorithm with certain parameter settings performs better than the other state-of-the-art algorithms. (shrink)

China, a lofty nation of 5000 years of uninterrupted civilization, world’s second largest economy, a nation of huge land mass and vibrant 1.3 billion populations with permanent seat in United Nation’s Security Council is steadfast on the road of peaceful development. Despite foreign aggressions, humiliations and occupations, Chinese nation never demonstrated revengeful attitude and instead adopted a submissive and non- confrontational approach to buy time for national cohesion, economic and infrastructure development and making the country stronger. The consistent and rapid (...) industrialization has enabled China to maintain over 9% growth rate which brought rich dividends for China and is now termed as economic super power and world’s manufacturing industry. This all can be attributed to consistent pragmatic foreign policy and unique blend of relevant to all and friend of all with mutual accommodation and peaceful coexistence. Pakistan and China are termed as Iron Brothers, therefore, Pakistan can accrue many dividends from rising status of China. This research article critically examines evolution of China’s foreign policy and draws relevance for Pakistan with suggested course of actions to make more dynamic and pragmatic foreign policy. The views and analysis expressed in this article are author’s own. (shrink)

This paper deals with the nature and direction of constitutional thinking and practice in Pakistan. It is argued that the country reflects a general malaise of postcolonial societies, characterized by tension between the locus of power in the politico-administrative machinery and the source of legitimacy in the constitution. Under the classical formulation, the constitution represents the way a nation wants to live its collective life in terms of various laws and institutions, as well as the powers and duties of public (...) office-holders. In other words, the institutional-constitutional edifice of the state functions as the vehicle of a nation's life’. One finds comparable theories in the tradition of structural Marxism, for example in Poulantzas, which consider the state as a condensate of the power structure of the society. It is argued that there is a conceptual tension in the formulation of such theories. In the context of postcolonial societies, transplantation of institutions and constitutions from a different era and a different continent played a formative, almost deterministic, role in the way the state's authority was conceived and opera-tionalized. For more than a hundred years, British India remained a laboratory for the implementation of political, economic, legal and administrative values and norms. On the one hand, this shaped the way people came to look at their relations with the state in terms of new implements of power such as non-arbitrary sources of authority, codified law, rational-legal bureaucracy and rule of public representatives. On the other hand, it created the mass public itself which, in due time, rose to stake a claim for societal input into the business of the state. In other words, our discussion needs to go beyond the ahistorical approach to constitutionalism in Pakistan and elsewhere, as embedded in such concepts as the reflection of either the nation's will or the social power structure in a microcosm. The relative autonomy of the state apparatuses of the military, the bureaucracy and the judiciary, as well as constitutional provisions ranging from writ jurisdiction, equality before the law and equality. (shrink)

This study presents a modified simplest equation method to investigate some real and exact solutions of conformable time fractional Benjamin-Bona-Mahony equation and Chan-Hilliard equation. We use traveling wave transformation to obtain the results in the form of series solution. Some calculations are performed through Mathematica software to analyze the accuracy of this approach. Graphical representations are reported for more significant results at different fractional-order which demonstrates that this approach is very simple, adequate, and legitimate.

The motive of this study is to identify the factors influencing the willingness to pay (WTP) a premium price for socially responsible food products (SRFPs) in India. This study is based on primary survey of 398 respondents. Descriptive statistics and factor analysis have been used for data analysis. Further, logistic regression was used to examine the factors affecting the WTP a premium price for SRFPs. Results demonstrate that respondents of higher age are more likely to pay premium prices for SRFPs. (...) Male consumers are two times more likely to have higher WTP for SRFPs. WTP a premium price is significantly influenced by the consumers' reference group, pro‐environmental intention, and concern for the animals. Gender, age, consumers' reference group, pro‐environmental intention, and concern for the animals determine WTP premium prices for SRFPs. There are relatively very limited researches on this topic in emerging economies including India, where the adoption of socially responsible products is in early stage. The practical implications of this study are to help in increasing the sales of the SRFPs and producers to develop appropriate policy design. (shrink)

This paper deals with the nature and direction of constitutional thinking and practice in Pakistan. It is argued that the country reflects a general malaise of post-colonial societies characterized by tension between the locus of power in the politico-administrative machinery and the source of legitimacy in the constitution. In the post-independence period, the State increasingly absorbed pressures from the newly enfranchised public, which sought to reshape politics in pursuit of nationalist goals. The institutional-constitutional framework of the post-colonial state was ill-equipped (...) to accommodate much less to sponsor and pursue these goals in earnest. This led to a general accusation of institutional decay, leading to a crisis of democracy. The inherent institutional imbalance between bureaucracy and politicians in Pakistan made a mockery of such constitutional provisions as parliamentary sovereignty, procedural and substantive aspects of the legislative process at the federal and provincial levels and the principle of the government’s accountability to its public representatives. (shrink)

Based on the Guest 1997 organizational outcome model, this explanatory study examined the effects of five dimensions of practices of HR. i.e. performance evaluation, recruitment & selection, compensation & reward, career opportunities within organization and training & development on proximal business outcomes. The study validates components of GUEST model by integrating between HRM dimensions and banking operations, thus strengthens the existing theoretical model of GUEST by improving the comprehensiveness as it provides analytical framework for studying HR. Exploratory factor analysis and (...) confirmatory factor analysis was utilized in the current study, and tested the study hypotheses by SEM to analyze the proposed conceptual model. It was found that all five chosen HR practices had significant influence on the quality of operations however for flexibility of operations, performance appraisals and career within organization have shown significant role for banking industry of the country, Pakistan. The study contributed to the construction and validation of structural. path and measurement models of SHRM practices and two selected operational competitive outcomes based on theoretical and empirical foundations, which will help progress the human resource management future researches and important implications for HR mangers, as very little work has been done on interdisciplinary framework of HR and OM specifically within context of South Asian banking Industry. (shrink)

In our current era, a new rapidly spreading pandemic disease called coronavirus disease, caused by a virus identified as a novel coronavirus, is becoming a crucial threat for the whole world. Currently, the number of patients infected by the virus is expanding exponentially, but there is no commercially available COVID-19 medication for this pandemic. However, numerous antiviral drugs are utilized for the treatment of the COVID-19 disease. Identification of the appropriate antivirus medicine to treat the infection of COVID-19 is still (...) a complicated and uncertain decision. This study’s key objective is to develop a novel approach called _q_-rung orthopair probabilistic hesitant fuzzy rough set, which incorporates the _q_-rung orthopair fuzzy set, probabilistic hesitant fuzzy set, and rough set structures. New _q_-ROPHFR aggregation operators have been established: the _q_-ROPHFR Einstein weighted averaging operator and the _q_-ROPHFR Einstein weighted geometric operator. In this study, we explored some basic features of the developed operators. Afterward, to demonstrate the viability and feasibility of the established decision-making approach in real-world applications, a case study related to selecting drugs for COVID-19 pandemic is addressed. Furthermore, a comprehensive comparison with the _q_-rung orthopair probabilistic hesitant fuzzy rough TOPSIS technique is also presented to illustrate the benefits of the new framework. The obtained results confirm the reliability and effectiveness of the proposed approach for finding uncertainty in real-world decision-making. (shrink)

This paper aims to examine the direct and indirect impact of ambient air pollution on employees’ performance. This study has used cross sectional survey design to collect the data from the outdoor employees of the pharmaceutical industry of Pakistan. The data were collected in time lags from 299. Partial least squares- structural equation modeling approach was applied to analyze the data. The results show that AAP has a significant negative impact on the employees’ performance, and anxiety partially mediates the association (...) between AAP and employees’ performance. This study reveals that AAP brings anxiety among outdoor employees, which in turn decreases their working performance. The implications, limitations, and future research directions are presented in the last section of this study. (shrink)

We are in the midst of a fundamental shift, as more enterprises start to use services enabled by cloud technologies. This will heavily impact IT services providers, who must now consider strategies for coping with profound changes in the marketplace or risk being left behind. This research will be of interest to IT services vendors, as well as consumers of IT services.

RésuméDepuis la redécouverte de la Muqaddima d'Ibn Khaldūn à l’époque moderne, l'identité intellectuelle de cet auteur fait débat: était-il un penseur révolutionnaire dans le sens moderne du terme, rompant avec les manières de penser classiques et médiévales, ou plutôt un intellectuel musulman conservateur ne s’étant pas aventuré au-delà des horizons musulmans traditionnels? Par un examen attentif de la préface à la Muqaddima, cet article montre comment l'auteur se représentait son propre projet et pourquoi il jugeait celui-ci nécessaire. Le portrait d'Ibn (...) Khaldūn qui s'en dégage alors est celui d'un révolutionnaire – mais non pas au sens moderne du terme – qui n'a pas craint de remettre en question la tradition afin de réformer l'horizon moral et politique de la société. Cet examen de la seule préface n'apporte certes pas une réponse définitive à la question du statut radical ou conservateur de la pensée d'Ibn Khaldūn, mais il permet de mettre en contexte son conservatisme – apparent et réel. (shrink)

BackgroundCOVID-19 break out has created panic and fear in society. A strict kind of lockdown was imposed in Wuhan, Hubei province of China. During home confinement due to lockdown, people face multidimensional issues. The present study explored the psychological impacts of COVID-19 home confinement during the lockdown period and Wuhan’s residents’ attitude toward physical activity.MethodsA cross-sectional online survey was conducted to collect the primary data according to the study objectives. The population was Wuhan residents who were in home confinement. A (...) total of 2280 participant’s reply to the online questionnaire survey and collected data after quantifying the data, about 2200 ; about female, about male, others about, and about were not disclosed their gender participants responses were used for analysis. The collected data were analyzed through appropriate statistical techniques.ResultsAccording to results, H1 is supported with β = −40.793, t = 57.835, p = 0.000, which claimed a negative association between COVID-19 lockdown policy and behavior and attitude. Results for H2 reveals that the COVID-19 lockdown policy have negative influence on emotional control with β = −0.769, t = 46.766, p = 0.000 and it is supported. H3 documented a significant positive relationship between COVID-19 lockdown policy and lockdown period psychological impact, which means lockdown policy, is the main reason to increase the lockdown psychological impact. Further, COVID-19 lockdown policy have negative influence on physical activity and self-belief with β = −0.657, t = 32.766, p = 0.000 and β = −0.620, t = −6.766, p = 0.000 respectively. H6 stated that there is a positive impact of behavior and attitude toward physical activity. The results for H6, behavior, and attitude affecting the physical activity with β = 0.401, t = 10, p = 0.000, which is supported.ConclusionCOVID-19 home confinement created various psychological impacts, negatively affecting the emotional state due to depression and anxiety. Physical activity is the best strategy to manage human nature’s psychological issues, and people’s attitudes were positive toward physical activity during home confinement. However, the lockdown policy also affects physical activity participation negatively, and a sedentary lifestyle prevailed during home confinement. (shrink)

This book intends to introduce readers to the work of Charles E. Butterworth, and thereby to introduce students to Medieval islamic political philosophy, of which Butterworth is one of the world's most prominent scholars. In a wider sense, the Festschrift introduces its readers to the current debates on Medieval islamic political philosophy, related as they are to the questions of the relationship between islam and Christianity, the Medieval to the Modern world, and reason and revelation. Butterworth's scholarship spans six decades, (...) primarily translating, editing, and interpreting the works of the Muslim political philosopher Alfarabi (d. 950) and Averroes (Ibn Rushd, d. 1198). He began his studies of Muslim political philosophy at a time when the Middle East and islam did not have the political salience they have acquired in more recent years. instead, Butterworth's reason for engaging with islam was rooted in the question of the relationship between reason and revelation. While one possible answer was pursued in the Christian, latin West, the islamic borderlands of Greek, Roman, and Muslim civilization offered another. By exploring Averroes, who provides the possibility of an Aristotelian-Islamic political philosophy, and Alfarabi, who pursues a Platonic-islamic political philosophy, Butterworth showed how islamic civilization provided a viable alternative to the theologico-political question reason v revelation, as well as serving as an inspiration to the latin West. (shrink)

The 3D Prandtl fluid flow through a bidirectional extending surface is analytically investigated. Cattaneo–Christov fluid model is employed to govern the heat and mass flux during fluid motion. The Prandtl fluid motion is mathematically modeled using the law of conservations of mass, momentum, and energy. The set of coupled nonlinear PDEs is converted to ODEs by employing appropriate similarity relations. The system of coupled ODEs is analytically solved using the well-established mathematical technique of HAM. The impacts of various physical parameters (...) over the fluid state variables are investigated by displaying their corresponding plots. The augmenting Prandtl parameter enhances the fluid velocity and reduces the temperature and concentration of the fluid. The momentum boundary layer boosts while the thermal boundary layer mitigates with the rising elastic parameter strength. Furthermore, the enhancing thermal relaxation parameter ) reduces the temperature distribution, whereas the augmenting concentration parameter drops the strength of the concentration profile. The increasing Prandtl parameter declines the fluid temperature while the augmenting Schmidt number drops the fluid concentration. The comparison of the HAM technique with the numerical solution shows an excellent agreement and hence ascertains the accuracy of the applied analytical technique. This work finds applications in numerous fields involving the flow of non-Newtonian fluids. (shrink)

With the increasing volume of data transmission through insecure communication channels, big data security has become one of the important concerns in the cybersecurity domain. To address these concerns and keep data safe, a robust privacy-preserving cryptosystem is necessary. Such a solution relies on chaos encryption algorithms over standard cryptographic methods that possess multistage encryption levels, including high speed, high security, low compute overheads, and procedural power, among other characteristics. In this work, a secure image encryption scheme is proposed using (...) linear feedback shift register and chaos-based quantum chaotic map. The focus of the scheme is mainly dependent on the secret keys from the input of the algorithm. The threat landscape, the statistical test analysis, along critical comparisons with other schemes indicate that the presented algorithm is significantly secure and is resistant to a wide range of different attacks such as differential and statistical attacks. The proposed method has sufficiently higher sensitivity and security when compared to existing encryption algorithms. Several security parameters validated the security of proposed work such as correlation coefficient analyses among the neighboring pixels, entropy, the number of pixels change rate, unified average change intensity, mean square error, brute force, key sensitivity, and peak signal to noise ratio analyses. The randomness of the ciphers produced by the proposed technique is also passed through NIST-800-22. The results of NIST indicate that the ciphers are highly random and do not produce any type of periodicity or pattern. (shrink)

Many real-world optimization problems usually require a large number of conflicting objectives to be optimized simultaneously to obtain solution. It has been observed that these kinds of many-objective optimization problems often pose several performance challenges to the traditional multi-objective optimization algorithms. To address the performance issue caused by the different types of MaOPs, recently, a variety of many-objective particle swarm optimization has been proposed. However, external archive maintenance and selection of leaders for designing the MaOPSO to real-world MaOPs are still (...) challenging issues. This work presents a MaOPSO based on entropy-driven global best selection strategy to solve the many-objective software package restructuring problem. EMPSO makes use of the entropy and quality indicator for the selection of global best particle. To evaluate the performance of the proposed approach, we applied it over the five MaOSPR problems. We compared it with eight variants of MaOPSO, which are based on eight different global best selection strategies. The results indicate that the proposed EMPSO is competitive with respect to the existing global best selection strategies based on variants of MaOPSO approaches. (shrink)

Measuring and evaluating a learner’s learning ability is always the focus of every person whose aim is to develop strategies and plans for their learners to improve the learning process. For example, classroom assessments, self-assessment using computer systems such as Intelligent Tutoring Systems, and other approaches are available. Assessment of metacognition is one of these techniques. Having the ability to evaluate and monitor one’s learning is known as metacognition. An individual can then propose adjustments to their learning process based on (...) this assessment. By monitoring, improving, and planning their activities, learners who can manage their cognitive skills are better able to manage their knowledge about a particular subject. It is common knowledge that students’ metacognitive and self-assessment skills and abilities have been extensively studied, but no research has been carried out on the mistakes that novice developers make because they do not use their self-assessment abilities enough. This study aims to assess the metacognitive skills and abilities of novice software developers working in the industry and to describe the consequences of awareness of metacognition on their performance. In the proposed study, we experimented with novice software developers and collected data using Devskiller and a self-assessment log to analyze their use of self-regulation skills. The proposed study showed that when developers are asked to reflect upon their work, they become more informed about their habitual mistakes, and using a self-assessment log helps them highlight their repetitive mistakes and experiences which allows them to improve their performance on future tasks. (shrink)

The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel’s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for (...) that are also considered. (shrink)

How might Roland Barthes’ posthumously published account of the Neutral invite us to rethink the very activity of cultural analysis? How did Barthes the cultural critic change when, towards the end of his career, he described and desired Neutral Life? Cultural criticism has often taken Barthes’ early semiological work as a guide, but this essay examines how we might need to reorient ourselves as critics, shift our stance, learn to look and live differently in the light of Barthes’ later focus (...) on the Neutral. (shrink)

Many attempts have been made to define analytic philosophy in a nonhistorical or otherwise deictic way, and to provide a set of necessary and sufficient conditions for a piece of philosophical work to be part of analytic philosophy. This is more difficult than might appear, for the conditions appealed to are normative and must be claimed by non-analytic philosophers to apply to their production as well. In fact, no such set of conditions has been forthcoming, and it is unlikely that (...) it ever will. Instead, I offer a holistic characterization of analytic philosophy as a mode of organization of philosophical work modeled on science. This accounts for analytic philosophy’s success in the academic world, its pedagogic virtues, and its ability to expand beyond its initial boundaries. Two related questions remain: one about the indirect justification analytic philosophy might be granted from outside of philosophy, the other about its ability to make contact with cultural realms other than those with which it has until now established a fruitful exchange. The answers are crucial for the potential renewal of analytic philosophy. (shrink)

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.

We show that if is not in the field generated by α1,…,αn, then no restriction of the function xβ to an interval is definable in . We also prove that if the real and imaginary parts of a complex analytic function are definable in Rexp or in the expansion of by functions xα, for irrational α, then they are already definable in . We conclude with some conjectures and open questions.

We discuss Robinson's model theoretic proof of Tarski's theorem on undefinability of truth. We present two other “diagonal-free” proofs of Tarski's theorem, and we compare undefinability of truth to other forms of undefinability in nonstandard models of arithmetic.

The ‘black box problem’ is a long-standing talking point in debates about artificial intelligence. This is a significant point of tension between ethicists, programmers, clinicians and anyone else working on developing AI for healthcare applications. However, the precise definition of these systems are often left undefined, vague, unclear or are assumed to be standardised within AI circles. This leads to situations where individuals working on AI talk over each other and has been invoked in numerous debates between opaque and (...) explainable systems. This paper proposes a coherent and clear definition for the black box problem to assist in future discussions about AI in healthcare. This is accomplished by synthesising various definitions in the literature and examining several criteria that can be extrapolated from these definitions. There are no data in this work. (shrink)

Among the main theorems obtained in mathematical logic in this century are the so called limitation theorems, i.e., the Löwenheim-Skolem theorem on the cardinality of models of first-order theories, Gödel’s incompleteness theorems and Tarski’s theorem on the undefinability of truth. Problems connected with the latter are the subject of this paper. In Section 1 we shall consider Tarski’s theorem. In particular the original formulation of it as well as some specifications will be provided. Next various meanings of the notion of (...) a satisfaction predicate will be studied. In Section 2 the problem of definability of the notion of truth, in particular of the notion of truth for the language of Peano arithmetic PA, will be discussed. It will be explicitly shown that the notion of satisfaction for the language of PA can be defined in a certain weak fragment of the second order arithmetic. Finally the axiomatic characterization of satisfaction and truth as well and its mathematical and philosophical meaning will be discussed. (shrink)

We prove that the class of trees with no branches of cardinality ≥κ is not RPC definable in L ∞κ when κ is regular. Earlier such a result was known for L κ + κ under the assumption $\kappa^{ . Our main result is actually proved in a stronger form which covers also L ∞λ (and makes sense there) for every strong limit cardinal $\lambda > \kappa$ of cofinality κ.

Insightful and fascinating studies of great men of French literature introduce the reader to that wonderful dialogue that takes place between writer and works of literature. Here we find that creative conversation which enchants the mind and forces it to become more deeply aware of its own creative reality. The discovery of the mind as a creative entity is man's most precious acquisition. This book is devoted to this creative activity.

We begin by proving that any Presburger-definable image of one or more sets of powers has zero natural density. Then, by adapting the proof of a dichotomy result on o-minimal structures by Friedman and Miller, we produce a similar dichotomy for expansions of Presburger arithmetic on the integers. Combining these two results, we obtain that the expansion of the ordered group of integers by any number of sets of powers does not define multiplication.

We prove that the class of trees with no branches of cardinality $\geq\kappa$ is not RPC definable in $L_{\infty\kappa}$ when $\kappa$ is regular. Earlier such a result was known for $L_{\kappa^+\kappa}$ under the assumption $\kappa^{<\kappa} = \kappa$. Our main result is actually proved in a stronger form which covers also $L_{\infty\lambda}$ (and makes sense there) for every strong limit cardinal $\lambda > \kappa$ of cofinality $\kappa$.

A good definition of process tracing should highlight what is distinctive about process tracing as a methodology of causal inference. I look at eight criteria that are used to define process tracing in the methodological literature, and I dismiss all eight criteria as unhelpful (some because they are too restrictive, and others because they are vacuous). In place of these criteria, I propose four alternative criteria, and I draw a distinction between process tracing for the ultimate aim of testing a (...) start--end hypothesis versus process tracing as an ultimate end in itself. Although it is clear enough how the former method works, there is still much methodological work to be done in understanding the latter method as a distinctive method of causal inference, I argue. (shrink)

Linked with existence of the almighty, the operation of division by zero which is considered as undefined or indeterminate or infinite sometimes, has been a topic of serious altercation among mathematicians and philosophers for so long. History is evident of the various attempts made to clearly define the algebra of zero, including the idea of division by zero. This includes the evolution of the idea of zero division and various insights from mathematicians like Euler, Craig and more. The realm (...) of the paper contains all such significant attempts and it deals with the idea of the history that wishes to explore the evolution of infinity and undefined. The prime aim of this paper is to clearly distinguish the three concepts of Undefined, Indeterminate and Infinity, along with the concept of division by zero. It strives to provide a notation to undefined expressions, along with citing justifications and results with the help of unpretentious examples from key branches. (shrink)

There exists a model in a countable language having a unique element which is not definable in $\scr{L}_{\omega _{1},\omega}$.