In [20] Krajíček and Pudlák discovered connections between problems in computational complexity and the lengths of first-order proofs of finite consistency statements. Later Pudlák [25] studied more statements that connect provability with computational complexity and conjectured that they are true. All these conjectures are at least as strong as $\mathsf {P}\neq \mathsf {NP}$ [23–25].One of the problems concerning these conjectures is to find out how tightly they are connected with statements about computational complexity classes. Results of this kind had been (...) proved in [20, 22].In this paper, we generalize and strengthen these results. Another question that we address concerns the dependence between these conjectures. We construct two oracles that enable us to answer questions about relativized separations asked in [19, 25] (i.e., for the pairs of conjectures mentioned in the questions, we construct oracles such that one conjecture from the pair is true in the relativized world and the other is false and vice versa). We also show several new connections between the studied conjectures. In particular, we show that the relation between the finite reflection principle and proof systems for existentially quantified Boolean formulas is similar to the one for finite consistency statements and proof systems for non-quantified propositional tautologies. (shrink)

This essay reads Hobbes’ account of human action against Aristotle’s accounts of animal motion and human action, thus offering a new perspective for understanding Hobbes’ account and illuminating a neglected aspect of Hobbes’ relationship to Aristotle. I argue that the basic structure of Hobbes’ account is indebted to Aristotle’s account of animal motion, except that Hobbes purges the teleological elements from his predecessor and presents a picture that is mechanistic and explicitly deterministic. Moreover, while Aristotle introduces ‘deliberation’ as a way (...) of explaining the diversity of human actions as their varied attempts at realizing the distinctly human end of the good life, Hobbes’ radically anti-Aristotelian notion of ‘deliberation’ explains that diversity in terms of the fundamental uncertainty of the passions. I conclude with some reflections on two related tensions in Hobbes: between Hobbes’ determinism and his account of human action, and between his ethical project of reducing human life to mere life and his separate ethical project of justifying diverse ways of life. This essay contributes to our understanding of the significance of Hobbes’ account of human action in both the history of the debate on determinism and the history of ethics. (shrink)

. NormalBoost is a new boosting algorithm which is capable of classifying a multi-dimensional binary class dataset. It adaptively combines several weak classifiers to form a strong classifier. Unlike many boosting algorithms which have high computation and memory complexities, NormalBoost is capable of classification with low complexity. The purpose of this paper is to present NormalBoost as a framework which establishes a platform to solve classification problems. The approach was tested with a dataset which was extracted automatically from real-world traffic (...) sign images. The dataset contains both images of traffic sign borders and speed limit pictograms. This framework involves the computation of Haar-like features of these images and then employs the NormalBoost classifier to classify these traffic signs. The total number of images which were classified was 6500 binary images. A -fold validation was invoked to check the validity of the classification which resulted in a classification rate of 98.4% and 98.9% being achieved for these two databases. This framework is distinguished by its invariance to in-plane rotation of the images under consideration. Experiments show that the classification rate remains almost constant when traffic sign images with different angles of rotations were tested. (shrink)

Speed is one of the major factors by which the traffic safety is affected. If the speed limit traffic signs on the road are recognised and displayed to a driver, this will be a motivation to keep the vehicle's speed within the permitted range. The purpose of this paper is to investigate Eigen-based traffic sign recognition which can aid in the development of Intelligent Speed Adaptation. This system is based on invoking the PCA technique to detect the unknown speed limit (...) traffic sign and computes its best effective Eigen vectors. The traffic sign is then recognized and classified by using the shortest Euclidean distance to the different speed limit traffic sign classes. The system was trained using 24 037 images which were collected in different light conditions. To check the robustness of this system, it was tested against 1429 images and it was found that the accuracy of recognition was 97.5% which indicates clearly the high robustness targeted by this system. (shrink)

. This paper presents a new approach to segment low quality fingerprint images which are collected by low quality fingerprint readers. Images collected using such readers are easy to collect but difficult to segment. The proposed approach is based on combining global and local processing to achieve segmentation of fingerprint images. On the global level, the fingerprint is located and extracted from the rest of the image by using a global thresholding followed by dilation and edge detection of the largest (...) object in the image. On the local level, fingerprint's foreground and its border image are treated using different fuzzy rules. These rules are based on the mean and variance of the block under consideration. The approach is implemented in three stages: pre-processing, segmentation, and post-processing. Segmentation of 100 images was performed and compared with manual examinations by human experts. The experiments showed that 96% of images under test are correctly segmented. The results from the quality of segmentation test revealed that the average error in block segmentation was 2.84% and the false positive and false negatives were approximately 1.4%. This indicates the high robustness of the proposed approach. (shrink)

Women constitute the majority of workers in global value chains (GVCs), yet few GVC scholars focus on the governance of gender. Based on an investigation (2013–2017) started after the Rana Plaza disaster in Bangladesh, this article presents “voice to the subordinate strata” as the first principle of feminist governance in the GVC. Findings reveal the matrix of power, which includes the International Labour Organization and the state that underpins the political economy of the Southern factory. This study provides a transformative (...) model of feminist governance as transnational justice. As the relational ethic that links justice in the workplace to the quality of a woman's life, feminist governance is also the moral economy of the GVC wherein the woman worker is valued as a citizen in the global economy. (shrink)

This research explores the concept of religious universalism and its potential impact on expressions of Islamic devotion within Indonesia, Malaysia, and Thailand. The study aims to investigate how Islamic practices and beliefs can serve as a deterrent against the proliferation of religious extremism. By examining various dimensions of Islamic religiosity in these countries, this research seeks to uncover the ways in which a broad and inclusive interpretation of religion can contribute to countering the influence of radical ideologies. Through an analysis (...) of religious rituals, educational frameworks, and cross-faith engagements, this study offers insights into the capacity of religious universalism to mitigate the advancement of religious extremism across diverse cultural and social contexts. Contribution: This research enhances our understanding of how universality of religion can serve as a deterrent against religious extremism by examining its manifestations within the contexts of Indonesia, Malaysia, and Thailand. The findings offer practical insights and recommendations that can inform policies and initiatives aimed at fostering tolerance, inclusivity, and harmony within diverse religious societies. (shrink)

We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function.

This paper presents a new boosting algorithm called NormalBoost which is capable of classifying a multi-dimensional binary class dataset. It adaptively combines several weak classifiers to form a strong classifier. Unlike many boosting algorithms which have high computation and memory complexities, NormalBoost is capable of classification with low complexity. Since NormalBoost assumes the dataset to be continuous, it is also noise resistant because it only deals with the means and standard deviations of each dimension. Experiments conducted to evaluate its performance (...) shows that NormalBoost performs almost the same as AdaBoost in the classification rate. However, NormalBoost performs 189 times faster than AdaBoost and employs a very little amount of memory when a dataset of 2 million samples with 50 dimensions is invoked. (shrink)

The present study aimed to reflect on the predictive role of socio-demographic characteristics (SDCs), moral sensitivity (MS) and moral distress (MD) in nurses’ ageism toward older adults. A total of 145 nurses were recruited to complete the main research instruments, i.e. a Sociodemographic Information Form, the Tool for Evaluating Ageism in Nursing Care of Older People, the Moral Sensitivity Questionnaire and the Moral Distress Scale. The results of the study confirmed that gender and MS could predict nurses’ ageism toward older (...) adults. However, MD was not correlated with ageism. The results of the study could therefore contribute to the development of some strategies to improve nurses’ gerontological nursing knowledge and skills through continuing education. (shrink)

BackgroundResearch misconduct is a global concern in biomedical science. There are no comprehensive data regarding the perception and situation of scientific misconduct among the Iranian medical faculty members. We conducted a nationwide survey to assess the research misconduct among the medical faculty members in Iran.MethodsWe used the Persian version of the research misconduct questionnaire (PRMQ) on the Google Forms platform. We sent the survey link to a systematic random sample of medical faculty members in Iran (N = 4986). Descriptive analyses (...) were performed on the individual items of the PRMQ, with frequencies and percentages for categorical and Likert-type response items, and means and standard deviation (S.D.) for continuous variables. Chi-square analysis was conducted to test hypotheses examining differences in the frequency of responses related to factors influencing misconduct. We also defined four tenure categories (TC) based on the working years of the participants as tenured faculty members. All the analyses were performed using R 3.6.0.ResultsThe response rate was 13.8% (692 responses). Nearly 70% of the respondents agreed that their publication output would be of higher quality if there were no publication pressure. Approximately three-quarters (N =499, 72.1%) of the respondents had been aware of some instances of research misconduct during the previous year according to their understanding of misconduct. Among the participants, 18.5% perceived the effectiveness of their associated organisation’s rules for reducing research misconduct to be high or very high. Pressure for tenure was identified as the item most frequently perceived with a strong behavioural influence on engaging in research misconduct (80.2%).ConclusionsThis study confirms that research misconduct needs to be actively addressed among the medical faculty members. Making policies with a focus on boosting awareness regarding the occasions of scientific misconduct and its management seems to be indispensable in the future in Iran. (shrink)