The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

Feature selection is a widely studied technique whose goal is to reduce the dimensionality of the problem by removing irrelevant features. It has multiple benefits, such as improved efficacy, efficiency and interpretability of almost any type of machine learning model. Feature selection techniques may be divided into three main categories, depending on the process used to remove the features known as Filter, Wrapper and Embedded. Embedded methods are usually the preferred feature selection method that efficiently obtains a selection of the (...) most relevant features of the model. However, not all models support an embedded feature selection that forces the use of a different method, reducing the efficiency and reliability of the selection. Neural networks are an example of a model that does not support embedded feature selection. As neural networks have shown to provide remarkable results in multiple scenarios such as classification and regression, sometimes in an ensemble with a model that includes an embedded feature selection, we attempt to embed a feature selection process with a general-purpose methodology. In this work, we propose a novel general-purpose layer for neural networks that removes the influence of irrelevant features. The Feature-Aware Drop Layer is included at the top of the neural network and trained during the backpropagation process without any additional parameters. Our methodology is tested with 17 datasets for classification and regression tasks, including data from different fields such as Health, Economic and Environment, among others. The results show remarkable improvements compared to three different feature selection approaches, with reliable, efficient and effective results. (shrink)

Esta obra ofrece al lector un amplio relato de las enseñanzas de la Conferencia Episcopal Española a lo largo de todos los años posteriores al Concilio Vaticano II. Las enseñanzas de los Obispos se presentan según su temática, antecedentes y objetivos, y en su contexto social. Esta presentación permite al lector tener pleno conocimiento de la interpretación que los obispos hicieron de los acontecimientos históricos de la época. Por último, se añaden algunas observaciones críticas para comparar las ideas de los (...) obispos sobre los laicos con la doctrina del Concilio. (shrink)

It has become almost commonplace to recognise that teaching is an embodied practice. Most analyses of teaching as embodied practice focus on the embodied nature of the teacher as subject. Here, we use Butler's concept of performativity to analyse the reiterated acts that are intelligible as—performatively constitute—teaching, rather of the teacher as subject. We suggest that this simultaneously helps explain the persistence of teaching as a narrow repertoire of actions recognisable as ‘teaching’, and the policing of conformity to teaching thus (...) embodied. However, like performatively accomplished subjectivity, this repertoire is unstable and ambiguous, and thus open to change and disruption. Moreover, teacher subjectivities may lead them to mobilise these possibilities of disruption. (shrink)

The understanding of the death of man in Saint Thomas Aquinas is necessarily contained in the preliminary study of the concept of the human person and of questions related to their nature. The essence of man basically lies in his substantial unity made up by the soul as the substantial form of the matter. This is why death is considered as the separation of its natural unity, a substantial corruption. The reflection and the analysis of the soul’s nature and its (...) relationship with matter allows us to answer one of the most controversial issues about man: is there a human person after death? (shrink)

The current study analyzed the relationship between Coronavirus Awareness, mental health, and willingness to seek professional psychological help. This was made through a quantitative approach, using online questionnaires to collect data from 855 subjects. The questionnaires included the Brief Symptom Inventory to measure mental health indicators, the Attitudes Toward Seeking Professional Psychological Help Scale–Short Form, and the Coronavirus Awareness Scale-10. An Exploratory Factor Analysis suggests that three factors underlie the CAS-10: Coronavirus Concern, Exaggerated Perception, and Immunity Perception. Results indicate a (...) significant positive correlation between Coronavirus Concern and both general anxiety and phobic anxiety symptoms. Immunity Perception is positively related to paranoid ideation and psychotic symptoms. A Mediation Analysis determined that Coronavirus Concern has a significant positive direct effect on Openness to Seeking Psychological Treatment, while Exaggerated Perception and Immunity Perception scores have significant direct negative effects on the Value and Need in Seeking Treatment scores. Indirectly, the relationship between Coronavirus Concern and OPST is significantly mediated by anxiety symptoms. Similar results were found for the VNST subscale. There is a negative significant effect of Immunity Perception over OSPT mediated by Paranoid Ideation. However, the overall model only achieved small r2 coefficients for the OSPT and VNST scores. Comparisons in Coronavirus Awareness between sex, age, and the presence of children and older adults at home were also made. These results are discussed regarding their practical implications for mental health providers and policymakers. (shrink)

In this research, a sliding mode regulator with sine mapping is suggested for the stabilization of electricity generators being affected by magnet interaction nonlinearities and generator nonlinearities. To reach this goal, our suggested regulator has the following contributions: it starts from the sliding mode regulator with the modifications that the saturation mapping is used to reach a smoother performance instead of the signum mapping, and the sine mapping is applied to reach an upper bound in the proportional gain error, it (...) is used to reach some chosen constant behaviors for the angle position, angle speed, and current in the electricity generators, and its stabilization is ensured based on the Lyapunov approach. We show the simulation of the suggested regulator in two electricity generators. (shrink)

Traditionally, research focused on determining the causes of employee pay satisfaction has investigated the influence of job-related inputs, both extrinsic and intrinsic to the job itself. Together with these inputs, pay-related fairness issues have played an important role in explaining the phenomenon. However, few studies consider the factors linked to fairness issues, such as ethical leadership. Because ethical leadership necessarily entails the concept of fairness, it seemingly should have a positive effect. Furthermore, because the presence of supervisor ethical leadership (SEL) (...) offers strong chances for employees to achieve moral accomplishments and excel in the practice of their jobs, SEL should enhance the effects of intrinsic job inputs. Whereas high job motivating potential (JMP) makes it easier for employees be self-actualized, moral fulfillment is necessary for them to obtain authentic self-actualization at work and minimize the impact of pay deficiencies. Along with SEL, JMP should be shaped to increase positive experiences of job meaningfulness, responsibility for job outcomes, and knowledge of results at work, which can lead to enjoyment in doing the job in itself, not just for compensation-related motives. Hierarchical regression analysis with a sample of 151 employees in a diverse set of Spanish organizations supports the direct effects of JMP and SEL and shows that higher levels of SEL increase the positive effects of JMP on pay satisfaction. The practical implications of these findings and further research directions conclude this article. (shrink)

This paper presents two formation tracking control strategies for a combined set of single and double integrator agents with an arbitrary undirected communication topology. The first approach is based on the design of distance-based potential functions with interagent collision avoidance using local information about the distance and orientation between agents and the desired trajectory. The second approach adds signed area constraints to the desired formation specification and a control strategy that uses distance as well as area terms is designed to (...) achieve tracking convergence. Numerical simulations show the performance from both control laws. (shrink)

Renal replacement therapy is the indicated treatment for individuals with chronic kidney disease (CKD) to survive. However, not all sick people have access to the same treatment. This study compares renal care in two developing countries with different health systems. Specifically, it explores hemodialysis treatment from the perspective of low‐income individuals. A qualitative, comparative study was performed in Brazil and Mexico. Using purposive sampling, the research was based on open‐ended interviews with nineteen participants with kidney failure undergoing hemodialysis treatment in (...) public hospitals and ten relatives. According to our results, Brazilian participants perceived hemodialysis care as satisfactory because of health personnel courtesy as well as free access to dialysis treatment, prescription drugs, hospitalization and transportation. However, they reported deficiencies in the care they were receiving due to shortages of specialists, prescription drugs, laboratory tests and transportation. Mexican participants, in contrast, highlighted the catastrophic costs of medical care because they had no free access to renal therapy, nor adequate financial resources. Our findings suggest that low‐income Brazilian CKD sufferers experience renal care differently, as they are more satisfied and face less obstacles with hemodialysis compared with those of Mexico. More studies on the topic are needed. (shrink)

Traditionally, in Spain bullfighting represents an ancient and well-respected tradition and a combined brand of sport, art and national identity. However, bullfighting has received considerable criticism from various segments of society, with the concomitant rise of the animal rights movement. The paper reports a survey of the Spanish citizens using a face-to-face survey during January 2016 with a total sample of 2522 citizens. The survey asked about degree of liking and approving; culture, art and national identity; socio-economic aspects; emotional perception (...) and animal welfare. The hypothesis proposed that the perception of bullfights may be affected by gender, age, occupation, origin and nationality of the persons surveyed. The hypothesis was confirmed. The majority of citizens surveyed do not like bullfights and great majorities do not attend or watch such events. Two extreme clusters were described: one representing favorable attitude towards bullfighting and other against bullfighting. The proportion of indifferent persons was important. Women and young people showed a more favorable attitude towards animal welfare issues associated with these events. Rural people were more accepting bullfights than urban people. Students were more anti-bullfight than those in other occupations. Additionally, technical economic factors made people favor more bullfights. The growth of claim against bullfights establishes an element of a far more multifaceted phenomenon that animal cruelty per se and support of a new paradigm called social change in countries as Spain. (shrink)

Gottfried Wilhelm Leibniz is the self-proclaimed inventor of the binary system and is considered as such by most historians of mathematics and/or mathematicians. Really though, we owe the groundwork of today’s computing not to Leibniz but to the Englishman Thomas Harriot and the Spaniard Juan Caramuel de Lobkowitz, whom Leibniz plagiarized. This plagiarism has been identified on the basis of several facts: Caramuel’s work on the binary system is earlier than Leibniz’s, Leibniz was acquainted—both directly and indirectly—with Caramuel’s work and (...) Leibniz had a natural tendency to plagiarize scientific works. (shrink)

Roger Boscovich, belonging to XVIII century, halfway from Newton to Faraday, is traditionally considered as a newtonian philosopher. Nevertheless, following Berkson’s suggestion, he could be a Field Theory forerunner. In this work, we will try to go on with the idea of this suggestion in order to show this possible Boscovich’s contribution.

I argue against Matthew Slater’s rejection of what he calls the grounding claim in his stable property cluster account of natural kinds. This claim states that the epistemic value of natural kinds depends on the existence of some ground to bind together a kind’s properties. Using two test cases from academic medicine, I show that grounds are genuinely explanatory of scientific epistemic practices and that the SPC account should not do without them in its philosophical analysis of natural kinds.

An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Truth (Oxford).