A new characterization of tabularity in tense logic is established, namely, a tense logic L is tabular if and only if $\mathsf {tab}_n^T\in L$ for some $n\geq 1$. Two characterization theorems for the Post-completeness in tabular tense logics are given. Furthermore, a characterization of the Post-completeness in the lattice of all tense logics is established. Post numbers of some tense logics are shown.

Positive changes or transformations have been the subject of study within spiritual traditions as well as humanistic and transpersonal psychology. The aim of the current study is to understand the process of transformation among Moslems in Indonesia, who follow spiritual practices, to achieve the nafs al-muṭma ínnah [tranquil self]. Ten participants in Yogyakarta province were involved in this study. They were recruited using nafs al-muṭmaʾinnah scale developed by the authors. In-depth interviews of both the participants and their significant others were (...) conducted. To analyse the data, an interpretative phenomenological analysis was employed. Five themes emerged from the data, including deviation from the basis of religious environment, spiritual discipline, transformative experiences, new characters and a continuous process. We conclude that participants experience spiritual-religious transformation and achieve the state of nafs al-muṭma ínnah [tranquil self]. The process of transformation occurs gradually after a sudden experience, and it continuously happens throughout the course of life. Three factors contribute to the transformation, including the role of predisposition, the role of a spiritual guide and the role of spiritual experiences.Contribution: As the study of spiritual-religious transformation is mainly conducted within a Judea-Christian tradition, this study significantly contributes to the literature by providing spiritual-religious transformation from an Islamic-Sufi perspective. (shrink)

Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, (...) it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them. (shrink)

Despite its uniform appearance, the cerebellar cortex is highly heterogeneous in terms of structure, genetics and physiology. Purkinje cells (PCs), the principal and sole output neurons of the cerebellar cortex, can be categorized into multiple populations that differentially express molecular markers and display distinctive physiological features. Such features include action potential rate, but also their propensity for synaptic and intrinsic plasticity. However, the precise molecular and genetic factors that correlate with the differential physiological properties of PCs remain elusive. In this (...) article, we provide a detailed overview of the cellular mechanisms that regulate PC activity and plasticity. We further perform a pathway analysis to highlight how molecular characteristics of specific PC populations may influence their physiology and plasticity mechanisms. (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)

The study aimed to know the relationship between the nature of the work and the type of communication among the Employees in the Palestinian universities. A comparative study between Al-Azhar University and Al-Aqsa University. The researchers used the analytical descriptive method through a questionnaire that is randomly distributed among the employees of Al-Azhar and Al-Aqsa universities in Gaza Strip. The study was conducted on a sample of (176) administrative employees from the surveyed universities. The response rate was (85.79%). The study (...) reached a number of results, the most important of which is that there is a high degree of satisfaction with the nature of work prevailing in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, where the percentage was (68.15%). There is an Mean level of communication from the point of view of administrative staff, with a percentage of (67.50%). There is a direct correlation between the nature of the work and the prevailing pattern of communication. There is an absence of differences between the sample according to the gender variable in their perception of the nature of work and the prevailing pattern of communication. There is an absence of differences in the perception of Employees nature of work and the pattern of communication prevailing depending on the variables (age, years of service, job level, and university). There are statistically significant differences between Al-Azhar University and Al-Aqsa University in favor of Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the management of the Palestinian universities in Gaza Strip in general, and Al-Aqsa and Al-Azhar Universities in particular should be provided with a good nature of work and communication. There is a need for continuing the management of universities to pay attention and continuous improvement of the performance of employees. There is an importance of solving the problems of Employees and giving them the opportunity to contribute to solving their own problems. Staff rotation should be used periodically and the need to strengthen the democratic leadership style and empower university Employees. (shrink)

This study aims to contribute to emerging human-robot interaction research by adding longitudinal findings to a limited number of long-term social robotics home studies. We placed 70 robots in users’ homes for a period of up to six months, and used questionnaires and interviews to collect data at six points during this period. Results indicate that users’ evaluations of the robot dropped initially, but later rose after the robot had been used for a longer period of time. This is congruent (...) with the so-called mere-exposure effect, which shows an increasing positive evaluation of a novel stimulus once people become familiar with it. Before adoption, users focus on control beliefs showing that previous experiences with robots or other technologies allows to create a mental image of what having and using a robot in the home would entail. After adoption, users focus on utilitarian and hedonic attitudes showing that especially usefulness, social presence, enjoyment and attractiveness are important factors for long-term acceptance. (shrink)

In this paper, I plan to show that the use of a specific population concept—Millstein’s Causal Interactionist Population Concept (CIPC)—has interesting and counter-intuitive ramifications for discussions of the reality of biological race in human beings. These peculiar ramifications apply to human beings writ large and to individuals. While this in and of itself may not be problematic, I plan to show that the ramifications that follow from applying Millstein’s CIPC to human beings complicates specific biological racial realist accounts—naïve or otherwise. (...) I conclude with the notion that even if biological races do exist—by fulfilling all of the criteria needed for Millstein’s population concept (which, given particular worries raised by Gannett (Synthese 177:363–385, 2010), and Winther and Kaplan (Theoria 60:54–80, 2013) may not)—the lower-bound limit for the scope of biological racial realism is at the level of populations, and as such they cannot say anything about whether or not individual organisms themselves have races. (shrink)

This paper explores the possibilities for strategic maneuvering of the argumentative technique that Perelman and Olbrechts-Tyteca (The New Rhetoric. A Treatise on Argumentation, University of Notre Dame Press, Notre Dame/London, 1969) called dissociation. After an exploration of the general possibilities that dissociation may have for enhancing critical reasonableness and rhetorical effectiveness, the use of dissociation in the successive stages of a critical discussion is examined. For each stage, first, the dialectical moves that dissociation can be employed in are specified, then, (...) the specific ways in which dissociation contributes to fulfilling the dialectical tasks that are associated with these moves are delineated, and, finally, the rhetorical gain that␣dissociation can bring in the fulfillment of these tasks is discussed. Some general conclusions are drawn for research that aims at understanding the potential of an argumentative technique for strategic maneuvering. (shrink)

This investigation examines several key factors believed to promote human flourishing, specifically: Factor 1: Age, Education, & Healthcare, Factor 2: Labor Force Participation, Factor 3: Crime, Factor 4: Income, Factor 5: Youth Unemployment and Factor 6: Voting Behavior. Data was examined at the county level, and collected from a variety of US government and non-governmental organizations. Our investigation into the conditions necessary to promote human flourishing uses internal migration within the United States as the indicator of “unhappy” communities. The findings (...) reveal that all factors are important in emigration somewhere, but the factors vary for different counties. As a result, attempts to address the ills of society require an appreciation of geography and context. (shrink)

During the COVID-19 epidemic, personal safety has received increasing attention, leading to behavioral changes. Mobile-wallet makes it easier for people to keep social distance, which helps stop the spread of the COVID-19 virus. Evolving Internet technology has brought about changes in consumer lifestyle. The current situation of COVID-19 has created a business environment to shift from traditional ways and adopt e-commerce solutions worldwide. Grounded in technology acceptance model theory, this study’s objective is two-fold: First, this study intends to examine perceived (...) susceptibility to COVID-19, perceived severity of COVID-19, insecurity and discomfort as the predictors of perceived usefulness and perceived ease of use. Second, the current research intends to test the moderating effect of electronic words-of-mouth on the relationship between attitude and usage intention. Using survey methods, 226 usable responses were collected through a mall intercept survey in Pakistan. Data were analyzed using partial least square. The results revealed that PEOU and PU positively influence attitude toward M-wallet. This study has found that attitude positively influences the usage intention in adopting M-wallet. The results also support the moderating role of eWOM. These findings contribute to the marketing literature in several ways, particularly in Pakistan. This is the first study to use eWOM as a moderating variable in the TAM theory. In addition, this study adds to the current body of knowledge by considering eWOM as a multi-dimensional construct novel in m-wallet literature. (shrink)

In this article, the pragma-dialectical model of a critical discussion is demonstrated to provide a useful instrument for discovering causes of an unsatisfactory development of problem-solving discussions. First a sketch is given of the development of a problem-solving discussion which, in the opinion of the participants themselves, developed in an unsatisfactory fashion. Then it is argued that this development can be traced back to flaws in the execution of the stages of a critical discussion.

The growth in the direct-to-consumer genetic testing industry poses a number of challenges for healthcare practice, among a number of other areas of concern. Several companies providing this service send their customers reports including information variously referred to as genetic ethnicity, genetic heritage, biogeographic ancestry, and genetic ancestry. In this article, we argue that such information should not be used in healthcare consultations or to assess health risks. Far from representing a move toward personalized medicine, use of this information poses (...) risks both to patients as individuals and to racialized ethnic groups because of the way it misrepresents human genetic diversity. (shrink)

بالحرف نفهم الوجود، ونكتشفُ مُعَمَّيَاتِه وملابساته.فالوجود حرف، والحرف وجود، فهما معا يتماهيان، وهما معا يتبادلان الأدوار في مرآة الحياة والذاكرة والدين والأسطورة و المخيال، وفي فضاء الترميز بالقوة القَوَوِيَّةِ والتجريد المتعالي. وإذا كانت حبة الرمل تختزن الصحراء وتؤشر عليها، وقطرةُ الماء تختزل البحرَ وتومئ إليه، ونبضةُ العِطر تحوز الأزهارَ وتدل عليها، فإن الحرف هو كذلك يمثِّل كثافة الوجود في أعالي أعاليها، فهو الشجرة الرامزة إليه أونطولوجيا. إذْ من هذه الشجرة خرج الأمر الإلهي، فصار كونا ووجودا هو عبارة عن شجرة الكون (...) التي يُجَسِّد كل جزء من أجزائها حرَكِيَّةَ الوجود، وتوهجَ اختلافاته، وتناغمَ إيقاعاته، وتشابكَ دلالاته. إن الوجود حرف لا تكون الكتابة إلا به، والخلْق كتابة، والكتابة غرْسٌ، والغرس نفْسٌ، والنفْس وجود.وهكذا تبتدئ دائرة الوجود بالحرف وتنتهي به وإليه، فخلْقُ آدم وتركيبُه له دلالة على هذا المَنْحَى، فهو وسلالته يشبهان رمزيا في حياتهما حروفَ الأبجدية في بدايتها ونهايتها، فهما يدخلان إلى هذه الحياة على شكل ألِفٍ، ويخرجان منها على شكل ياءٍ.فالعِلم بالأسماء موضوع في قلب آدم، وتصْويرُها في صدره، وتعبيرها فيما بين حلْقه إلى شفتيه، فالقلبُ طَرَفٌ للعلْم، والصدر طَرَفٌ للتصاوير، والفم طَرَفٌ للتعبير. فالعالمُ في أول ظهورٍ له كان على صورة الإنسان، وصورة الإنسان هي صورة الحق. فصورتُه التي على صورة الحق تُؤَهِّلُه لمعرفة الحق من خلال معرفته لذاته الإنسانية. (shrink)

In this paper, I will examine John Smeaton’s contribution to the vis viva controversy in Britain, focusing on how the hybridization of science, technology, and industry helped to establish vis viva, or mechanic power, as a measure of motive force. Smeaton, embodying the ‘hybrid expert’ who combined theoretical knowledge and practical knowhow, demonstrated that the notion of vis viva possessed a greater explanatory power than momentum, because it could be used to explain the difference in efficiency between overshot and undershot (...) waterwheels. Smeaton’s conclusions were correct since waterwheel efficiency was already measured in terms that were proportional to vis viva, not momentum, as a result of the industrial applications of waterwheel technology, which favored measuring efficiency by the product of mass and vertical displacement. Toward the end of the eighteenth century, the loss of motive force in the inelastic collision driving the undershot wheel began to be seen as equivalent to the expenditure of labor in the manufacture of commodities, further underlining how strictly scientific conclusions about motive force could have their origin in industrial practices. (shrink)

Deception is part of the natural repertoire of adaptive behaviours in many organisms. In humans we see it in all domains of human activity including health care. Within health care, deception can be a matter of concern, but it is also used to protect patients, for instance against overwhelming and negative diagnostics. This paper demonstrates that deception and self‐deception are closely interlinked and that self‐deception facilitates deception. Furthermore, self‐deception tends to be used to reduce the discomfort we feel when we (...) are dishonest (cognitive dissonance). The paper includes references to core psychological mechanisms and ethical aspects. (shrink)

This chapter aims to bring to the fore some of the ontological presuppositions that undergird the concepts of race and racism as they are used in public health. Included are discussions of differing accounts for race in public health, the ways in which racism is understood to be a public health issue, and where future research in public health, as it relates to the concepts of race and racism, is headed.

Tuberculosis (TB) is a potentially fatal infectious disease that, in Aotearoa New Zealand (NZ), inequitably affects Asian, Pacific, Middle Eastern, Latin American, and African (MELAA), and Māori people. Medical research involving genome sequencing of TB samples enables more nuanced understanding of disease strains and their transmission. This could inform highly specific health interventions. However, the collection and management of TB isolate samples for research are currently informed by monocultural biomedical models often lacking key ethical considerations. Drawing on a qualitative kaupapa (...) Māori–consistent study, this paper reports on preliminary discussions with groups of Māori, Pacific, and Afghan people in NZ, whose communities have been harmed by TB and TB stigma. Participants’ discussions highlight key concerns and meanings that ought to inform the development of guidelines and a more robust consultative process for the governance of how TB isolate samples are collected and used both retrospectively and in future research. We argue for ethical processes to be culturally nuanced and community-generated, flexible and meaningful, and situated in relation to the physical and symbolic effects of TB. We discuss the significance of Indigenous data sovereignty, rights, and kāwanatanga (governorship) in shaping a multicultural data sovereignty model. (shrink)

Este artigo tem por objetivo destacar a presença feminina nos relatos sobre mártires cristãos nos séculos II e III d.C. Utiliza os pressupostos teóricos e metodológicos da história das mulheres. Destaca as experiências e as ações das mulheres como sujeitos ativos num contexto histórico específico. A documentação contém uma substancial presença de mulheres que ultrapassaram barreiras sociais e religiosas e confessaram publicamente a sua opção de fé. Mais do que uma descrição e um registro da participação feminina, alguns problemas são (...) analisados e explicados a partir da delimitação de aspectos específicos da vida das mulheres, incluindo a presença de um universo simbólico fortíssimo. O documento principal é a “Paixão de Perpétua e Felicidade”, que trata da prisão e condenação ao suplício de um grupo de homens e mulheres que confessaram e reafirmaram seu credo religioso cristão, no século III, na cidade de Cartago, na África do Norte. O documento é considerado um arquétipo dos atos dos mártires cristãos e, do mesmo modo, um registro documental que trata diretamente de duas mulheres. A análise demonstra a construção de modelos de resistência e liberdade, apontando características mais profundas e inerentes ao mundo feminino da época. Palavras-chave: História das mulheres; Mártires; Perpétua e Felicidade; Memória; Resistência. ABSTRACT The aim of this article is to emphasize woman’s presence in Christian martyrs’ descriptions during the 2nd and 3rd centuries, making use of theoretical and methodological fundamentals of the history of women. It highlights their experiences and actions as active subjects in a specific historical context. The documentation refers to a considerable number of women who crossed social and religious barriers and confessed their option of faith in public. More than describing and recording woman’s participation, it analyzes and explains some situations with basis on the delimitation of specific aspects of the women’s life, including the remarkable presence of a symbolic universe. The most important document is the Passion of Perpetua and Felicitas, which deals with the arresting, condemnation and martyrdom of a group of men and women who had confessed and reaffirmed their Christian creeds. The fact took place in the city of Cartago, in North Africa, in the 3rd century. The document is considered an archetype of Christian martyrs’ acts and a documentary record of the two women. The analysis demonstrates the construction of models of resistance and freedom that characterize the depth of the feminine world at the time. Key words: History of the women; Martyrs; Perpetua and Felicitas; Memory; Resistance. (shrink)

Statistical distributions have great applicability for modeling data in almost every applied sector. Among the available classical distributions, the inverse Weibull distribution has received considerable attention. In the practice of distribution theory, numerous methods have been studied and suggested/introduced to increase the flexibility level of the traditional probability distributions. In this paper, we implement different distribution methods to obtain five new different versions of the inverse Weibull model. The new modifications of the inverse Weibull model are called the logarithm transformed-inverse (...) Weibull, a flexible reduced logarithmic-inverse Weibull, the weighted TX-inverse Weibull, a new generalized-inverse Weibull, and the alpha power transformed extended-inverse Weibull distributions. To illustrate the flexibility and applicability of the new modifications of the inverse Weibull model, a biomedical data set is analyzed. The data set consists of 108 observations and represents the mortality rate of the COVID-19-infected patients. The practical application shows that the new generalized-inverse Weibull is the best modification of the inverse Weibull distribution. (shrink)

In this article, after arguing that present approaches to improving problem-solving discussions for various reasons are not satisfactory, I turn to the pragma-dialectic approach to argumentative discourse to derive a normative framework that can serve as a point of departure to enhance the quality of problem-solving discussions. I then show how this approach can be used as analytical and evaluative instrument that can help the analyst to establish whether participants in actual practice act in a fashion that is in accord (...) with the norms posited. Two real-life problem-solving discussions provide the material for this demonstration. (shrink)

In a variety of synaesthesia, photisms result from affect-laden stimuli as emotional words, or faces of familiar people. For R, who participated in this study, the sight of a familiar person triggers a mental image of "a human silhouette filled with colour". Subjective descriptions of synaesthetic experiences induced by the visual perception of people's figures and faces show similarities with the reports of those who claim to possess the ability to see the aura. It has been proposed that the purported (...) auric perception may be easily explained by the presence of a specific subtype of cross-modal perception. We analyse the subjective reports of four synaesthetes who experience colours in response to human faces and figures. These reports are compared with descriptions of alleged auric phenomena found in the literature and with claims made by experts in esoteric spheres. The discrepancies found suggest that both phenomena are phenomenologically and behaviourally dissimilar. (shrink)