The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...) technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

Sporadic efforts have been made to introduce computational thinking methods into K-12 education in Palestine, but these have been held back by the challenging educational environment. However, a recent in-service training initiative, funded and organized by the Ministry or Education of Palestine, constitutes a significant effort to embed computational thinking in K-12 practice. The middle school teachers who participated in the training course were invited to participate in the present study, and 38 did so. A qualitative approach involving both interviews (...) with teachers and classroom observations was used in data collection. All the teachers agreed to be observed in their classrooms, while 20 of the 38 also agreed to participate in the interviews. The findings showed that teachers of a range of topics, including social sciences and languages, employed computational thinking skills in teaching their students, but they were confronted by a number of challenges, including technical infrastructure and support, and a lack of time to prepare CT classes and space in the curriculum to deliver them. The results indicate that the most appropriate action to support teachers’ delivery of CT would be to provide peer exchanges and expert coaching in the integration of CT in the curriculum. (shrink)

Total quality; commerce; economics; religious aspects; Islam; Islamic ethics.

The coronavirus pandemic (COVID-19) has badly affected the social, physical, and emotional health of workers, especially those working in the healthcare sectors. Drawing on social exchange theory, we investigated the effects of participative leadership on employees’ workplace thriving and helping behaviors among frontline workers during the COVID-19 pandemic. In addition, we examined the moderating role of a leader’s behavioral integrity in strengthening the relationship between participative leadership, and employees’ workplace thriving and helping behaviors. By using a two-wave time-lagged design and (...) data collected from 244 healthcare workers, a moderated hierarchal regression was implemented to test the proposed hypotheses. As hypothesized, participative leadership predicted employees’ workplace thriving and helping behaviors. The leader’s behavioral integrity strengthened the relationship between participative leadership and employees’ thriving and moderated the relationship between participative leadership helping behaviors. Implications for research, theory, and practice are discussed. (shrink)

Presently, there is armed conflict in Darfur, Sudan. Armed conflict has adversely affected the social, economic and educational development of Darfur, Sudan. Purpose of this study is to know the impact of armed conflict on managerial behavior of the principals of secondary schools in Darfur, Sudan. In this study, the impact of armed conflict on performance of the secondary school principals was analyzed in perspective of their managerial behavior. Based on the findings of the study significant impact of armed conflict (...) was found on the managerial behavior of the principals. It was found that principals coordinated with the staff in activities of the school but were frightened and unable to perform their administrative and managerial duties freely and independently. There was communication gap between the principals, teachers and parents. The principals did not possess the skills to maintain school budget & finance properly. It was concluded that the principals need administrative and managerial training. Government of Sudan may establish academies of Educational Administration & Management to impart training to the principals of secondary schools and to take steps to control the existing armed conflict. (shrink)

Peter the Venerable (d. 1156) is often acclaimed as an early proponent of interfaith understanding for his having commissioned detailed studies of the scriptures of other faiths. This paper considers whether or not such praise is justified by examining Peter the Venerable‘s representations of Islam‘s primary sources.

The study intends to investigate the relationship between work stress and job insecurity, as well as technological changes and job insecurity, with job satisfaction acting as a mediator. The study was conducted among Pakistani retail industry employees using survey questionnaires distributed online and in stores. The sample was composed of 262 retail workers from the FMCG and shopping mall industries. The responses were screened using the statistical software tool SPSS, and hypotheses were examined through SMART-PLS. The findings show that work (...) stress has a strong relationship with job insecurity; additionally, the relationship appears to be statistically significant. This demonstrates that many technological changes cause high levels of job insecurity because employees fear that they will be unable to cope with the changing environment. Furthermore, the mediating mechanism of job satisfaction was found to be significant, as employees with lower levels of satisfaction reported higher levels of insecurity, aiding in the narrowing of the gap in this section of the study. The study also has practical implications because the results show that the retail industry needs to act quickly to make sure workers do not worry about losing their jobs, especially now that COVID-19 is spreading like wildfire. (shrink)

Our study explores the relationship between psychological contract (fulfillment/violations) and voice behavior (promotive/prohibitive). The study encourages promoting the development of positive voice behavior since the promotive voice behavior of employees would help the organization to grow and improve as per industry standards especially during the upcoming hi-tech era. If the knowledge workers do not show positive voice behavior, it is difficult for organizations to compete and sustain in such an era of digitalization. A cross-sectional survey was conducted for the assessment/validation (...) of the model. Data was collected through a single self-reported questionnaire, filled out by the 89 employees of two private banks, working in 8 different branches. Further, the relationships among variables have been analyzed using structure equation modeling. Results show a strong and positive relationship between psychological contract fulfillment and promotive voice behavior whereas a negative relationship is indicated upon the violations and breach of psychological contract. Job satisfaction/dissatisfaction was also tested as mediators between these variables. Future researchers may test the same in different geographical locations and demographic conditions, whereas various personality traits may also be tested since voice behavior is an individual decision. The study represents the first of its kind on the said topic especially in the Pakistani context. (shrink)

The fourth industrial revolution will be ushered in by future high technology, and as a result, the world will face new difficulties relating to people, the environment, and profitability. Accordingly, the competitive edge and long-term viability of businesses would depend on the knowledge workers who could overcome these excruciatingly difficult obstacles and have the knowledge and competency to influence the overall performance of any type of company. But managing knowledge workers falls under the purview of human resources, and only effective (...) human resources tools, plans, and procedures can ensure the success of this task. One such tool, which has the capacity and capability to change the whole scenario in an organization's favor, is the human resource information system. The purpose of this structured review is to provide insight into a field of HRM that has largely been neglected by other reviews of the literature and has only been briefly discussed by a small number of publications published in reputable, top-tier journals. A customized HRIS framework is the result of this structured literature review for managing knowledge and competence. The study presents the content analysis of 48 articles, systematically and purposefully selected for this literature review, published during the past three decades. The study has several implications for policymakers and HR practitioners. (shrink)

Upon doing something generous for someone with whom you are close, some kind of reciprocity may be appropriate. But it often seems wrong to actually request reciprocity. This chapter explores the wrongness in making these requests, and why they can nevertheless appear appropriate. After considering several explanations for the wrongness at issue (involving, e.g. distinguishing oughts from obligation, the suberogatory, imperfect duties, and gift-giving norms), a novel proposal is advanced. The requests are disrespectful; they express that their agent insufficiently trusts (...) the hearer to recognize their own reasons to reciprocate, and the close relationship between them morally requires this kind of trust. This proposal is articulated and situated in the recent discussion of the normativity of requests. The chapter concludes by explaining how these requests may appear appropriate. Agents in these relationships often have standing to make requests, though the standing is lacking in these particular cases. (shrink)

Based on the conservation of resources theory, this study developed a model linking social undermining to employees helping behaviors and work role performance via expression of guilt, with religious faith possessed by employees as a first-stage moderator. We argue that individuals will feel guilty if they perceive themselves as the perpetrators of the social undermining against their coworkers. Feeling guilt can potentially trigger prosocial responses (i.e., helping coworkers) and enhance work role performance for improving the situation. We contend that religious (...) faith that commands doing good with others further provides resources for managing these negative emotions to unleash a positive side of social undermining, such that the relation of social undermining with an expression of guilt will be strengthened. A multisource (supervisor-supervisee), multi-wave, and multi-context (education, healthcare, and banking) survey involving 281 employees largely supports our study hypotheses. The results indicated that social undermining is associated with more guilt expressions amid religious individuals, revealing higher prosocial and work role performance. For business ethics research, the current study unveils an important mediator—guilt expressions about wrongdoing—via which individuals’ social undermining behaviors at work, somewhat counterintuitively, lead to boost performance outcomes, and an employee’s religious faith helps a facilitator of this relationship. (shrink)

To solve fractional delay differential equation systems, the Laguerre Wavelets Method is presented and coupled with the steps method in this article. Caputo fractional derivative is used in the proposed technique. The results show that the current procedure is accurate and reliable. Different nonlinear systems have been solved, and the results have been compared to the exact solution and different methods. Furthermore, it is clear from the figures that the LWM error converges quickly when compared to other approaches. When compared (...) with the exact solution to other approaches, it is clear that LWM is more accurate and gets closer to the exact solution faster. Moreover, on the basis of the novelty and scientific importance, the present method can be extended to solve other nonlinear fractional-order delay differential equations. (shrink)

Chinese philosphy of cults, Falun Gong and Indian mysticism.

Монография представляет собой исследование философских взглядов одного из представителей второй половины XIX века, мыслителя, публициста, литературного критика, переводчика, издателя, Н. Н. Страхова.

Монография представляет собой исследование философских взглядов одного из представителей второй половины XIX века, мыслителя, публициста, литературного критика, переводчика, издателя, Н. Н. Страхова.

Ethics and Humanity pays to tribute to Jonathan Glover, a pioneering figure whose thought and personal influence have had a significant impact on applied ...

On concept of Jīva in Hindu philosophy and Vedic literature.

Works of Tran Duc Thao, a Vietnamese philosopher.