The study offers new insights by examining the influence of personality traits on tourists' intentions to visit ecotourism sites using the lens of the theory of planned behavior. It also investigates whether environmental knowledge moderates the effect of extraversion, neuroticism, and environmental concern on tourists' ecotourism intentions. We applied structural equation modeling on 350 responses collected through the Amazon M-Turk platform. Results highlight that extroverts are more likely to express ecotourism intentions than neurotic tourists. However, it was also noted that (...) neurotic tourists' intention to visit ecotourism sites could be influenced if their environmental concerns were emphasized. The study offers important new insights to managers, policy-makers, and practitioners about the roles of personality traits, environmental knowledge, and environmental concern vis-a-vis their relative significance in shaping tourists' decision-making and choices for ecotourism sites. As a result, managers/practitioners need to devise specific communication strategies to enhance awareness and a sense of responsibility among neurotic tourists. (shrink)

Checking the equivalence of two Boolean functions, or combinational circuits modeled as Boolean functions, is often desired when reliable and correct hardware components are required. The most common approaches to equivalence checking are based on simulation and model checking, which are constrained due to the popular memory and state explosion problems. Furthermore, such tools are often not user-friendly, thereby making it tedious to check the equivalence of large formulas or circuits. An alternative is to use mathematical tools, called interactive theorem (...) provers, to prove the equivalence of two circuits; however, this requires human effort and expertise to write multiple output functions and carry out interactive proof of their equivalence. In this paper, we define two simple, one formal and the other informal, gate-level hardware description languages, design and develop a formal automatic combinational circuit equivalence checker tool, and test and evaluate our tool. The tool CoCEC is based on human-assisted theorem prover Coq, yet it checks the equivalence of circuit descriptions purely automatically through a human-friendly user interface. It either returns a machine-readable proof of circuits’ equivalence or a counterexample of their inequality. The interface enables users to enter or load two circuit descriptions written in an easy and natural style. It automatically proves, in few seconds, the equivalence of circuits with as many as 45 variables. CoCEC has a mathematical foundation, and it is reliable, quick, and easy to use. The tool is intended to be used by digital logic circuit designers, logicians, students, and faculty during the digital logic design course. (shrink)

The current research examines the possible outcomes of cronyism like organizational deviance, organizational cynicism, and counterproductive work behavior and also investigates the mediating variable violation of psychological contract among cronyism and its possible outcomes. Many studies have investigated the presence of organizational cronyism at the workplace and its impacts on certain variables. However, the outcomes observed in this study, i.e., OD, OCy, and counter-productive work behavior were not empirically investigated previously as per researchers’ knowledge. The second gap this study fills (...) is the mediating effect of VPC between the studied variables. Thirdly, the study was conducted in Azad Jammu and Kashmir, Pakistan, which is almost the first attempt to investigate this phenomenon in Azad Jammu and Kashmir. Data were collected from the employees working under different ministries of Azad Jammu and Kashmir, Pakistan like education, forest, sports, information, local government, finance, and tourism. The data from 350 employees were collected through convenience sampling. The data collection process was conducted at two distinct time lags. Results show that OC significantly and positively relates with OD, OCy, and counter-productive work behavior, whereas VPC mediates the relationship among OC and OD, OC, and counter-productive work behavior. Employees enjoying special favors from the leadership seem to be more dedicated toward the organization than the employees who do not have this favor, and the ultimate result is negative for the organization. (shrink)

Data center technology changes the mode of computing. Traditional DCs consist of a single layer and only have Ethernet connections among switches. Those old-fashioned DCs cannot fulfill the high resource demand compared with today’s DCs. The architectural design of the DCs is getting substantial importance and acting as the backbone of the network because of its essential feature of supporting and maintaining the rapidly increasing Internet-based applications which include search engines and social networking applications. Every application has its parameters, like (...) latency and blocking in the DC network. Every data center network has its specialized architecture. It has a specific arrangement of layers and switches, which increase or decrease the DC network’s efficiency. We develop a simulation tool that comprises two different DC architectures: basic tree architecture and c-Through architecture. Using this simulation, we analyze the traffic behavior and the performance of the simulated DCN. Our main purpose is to focus on mean waiting time, load, and blocking with respect to the traffic within the DCN. (shrink)

The present study investigated the relationship between paranoia and job satisfaction. Paranoia is defined as suspiciousness and the feeling of being threatened even if there is no proof of real threat. Paranoia is a concept that is often ignored in researches in Pakistan and rarely explored in context of any concept related to occupational life. After a detailed literature review, it was hypothesized that paranoia would be negatively correlated to job satisfaction. The sample of the present research consisted of 154 (...) professionals from different work settings. Paranoia was measured with the Feingstein Paranoia Scale Urdu version and job satisfaction was measured by the Generic Job Satisfaction Scale. Statistical analysis though Pearson Product Moment Correlation indicates that there is a strong negative correlation between paranoia and job satisfaction. Recommendations for employers and policy makers, avenues of future researches are discussed. (shrink)

Among the Muslims the most common sect is Ḥanafī. It is mentioned in the Ḥanafī sect that there are a line of students who transfer the principles of the sect from generation to generation. In order for the Islamic conquests that started simultaneously in the Eastern and Western lands to be permanent, people were sent to teach Islamic morality, worship and fiqh that encompass daily life. From the 2nd century (A.H.) the sectarianization process that started in the centers such as (...) Kufa, Medina and Damascus has naturally spread to the geography of the West. Many jurists who were educated in the madrasas in the East transferred this education to the newly conquered lands in the West, thus contributing to the fact that sectarianization began in the East and West at the same time. During this period, the views of many mujtahids, including Abū Ḥanīfa and his students, began to enter this geography again through his students. In this article, the most important person who introduced the Ḥanafī sect in the Andalusian region and transferred Abu Ḥanifa's ijtihads, ʿAbdallāh Ibn Farrūkh's life, his scientific personality, his contributions to the spread of the sect and the reasons for the Ḥanafī sect to find supporters in the region will be followed by a short course and the history of the sect will be tried to uncover in the history of Andalusia.Summary: Among the Muslims the most common sect is Ḥanafī. It is not a coincidence that the Ḥanafī sect spread more than other sects and found supporters. Abū Ḥanīfa (d. 150/767) is the most senior among the imams of four leading sects. He experienced about commercial and everyday life, had loyal students. This is because he discussed with his students before deciding on a ruling.Islamic conquests in the east and west started at the same time. Experts teaching Islamic morality were sent to conquered places. In this way, both morality and Islamic law, which encompasses worship and daily life, were also taught. Since the implementation of justice was considered as the main duty of the state, legal affairs were dynamic and systematically organized. For this purpose, both in the Medina and the newly conquered lands, various issues such as, management, use, distribution, non-muslim marriage, trade and so on emerged. These issues were carried out with the "kadi" establishment, which is like today's ministry of justice.In the Hijri 2nd century, Fiqh schools produced practical solutions to matters of process and worship in centers such as, Iraq, Medina and Damascus. These schools completed the sectarianization process after a century. Many Islamic jurists who took madrasah education in the east taught these training in the west. They pioneered the development of this sectarianization process both in the east and the west at the same time.The Islamic jurisprudence solved the problems that emerged with the conquest process that began in Andalusia, primarily through the independent jurisprudence, kadi and muftis in the region. After 710 A.C., the Ḥanafī sect reached Andalusia. After the death of Abū Ḥanīfa, Abu Yusuf became the chief justice. Later, the views of Abū Ḥanīfa gained importance. Abu Yusuf appointed the judges who knew the Ḥanafī sect. Abū Ḥanīfa's students, like a gold mine, embraced the views of their teachers. These jurisprudences were adopted by the supporters. Imam Muhammad was the first to write the case law of Abū Ḥanīfa. The views and thoughts of Abū Ḥanīfa, which were published by Imam Muhammad, spread throughout Iraq, Damascus, Iran and Khorasan. Later these thoughts reached North Africa that was under the control of Aghlabid (A.C. 800-909).In the same era, ʿAbdallāh b. Farrūkh passed to the way 6500 km to learn western sciences. The purpose of Farrūkh is to write the views of his teacher, Abū Ḥanīfa. In this way, he returned to Andalusia by writing ten thousand subjects. Beginning from 767 A.C., Ḥanafī sect gradually began to form in this region. He served as a judge voluntarily, although he did not serve as the official judge. Therefore, it contributed greatly to the spread of this sect in the west. The Mālikī sect, which due to from the animosity of Umayyad (A.C. 661-750) and Abbasids (A.C. 750-1258), came to the forefront. Abdullah b. Ferrûh was not as famous as the other disciples of Abū Ḥanīfa.Although Ḥanafīism spread in the west, it was in the foreground in the eastern geographies. Scholars such as Qadi Ayyad (d. 544/1149), Ibn Farḥūn (d. 799/1397), Muhammad Abū Zahra (d. 1974) and Hintātī state that this sect was effective for a short time in the west. On the other hand, Maqdisī (d. 380/999) states that Ḥanafī existed in Andalusia until the second half of the third century A.C. and was at least as widespread as Mālikīism. Orientalist Lévi Provençal (d. 1956) says that Ḥanafī sect did not reach to Andalusia. However, it can be understood from the above statements that this view is not real. In addition, according to the student hierarchy described in the article, it is understood that the Ḥanafī sect maintained its existence in this region for a while. In Andalusia, the views of the sect from the 8th to the 13th centuries known, recognized and followed by experts and the public. Because this sect was not official, its books were not in demand. For this reason, the basic works belonging to the sect were not reproduced.It is not true that the Ḥanafī sect never came to Andalusia or did not stay for a long time. ʿAbdallāh b. Farrūkh, who studied at Abū Ḥanīfa for 5 years, introduced Ḥanafī sect in Andalusia. Then his students continued this teaching. In this study, the life, mastery and students of ʿAbdallāh b. Farrūkh, who made important contributions for the first time in teaching Ḥanafīsm's to Andalusia, have been brought together. This information is summarized in terms of Ḥanafīsm's entry into Andalusia, the reasons for acceptance in social life and the duration of the sect in the region. (shrink)