Rationale, aims and objectives Given the increasing prevalence of cataract and demand for cataract extraction surgery, patients must often wait to undergo this procedure. We validated a previously developed priority scoring system in terms of clinical variables, pre-intervention health status, appropriateness of surgery and gain in visual acuity (VA) and health-related quality of life (HRQoL).Methods Explicit prioritization criteria for cataract extraction created by a variation of the Research and Development (RAND) and University of California Los Angeles appropriateness methodology were retrospectively (...) applied to a prospective cohort of 5257 patients on waiting lists to undergo cataract by phacoemulsification at 17 hospitals in Spain. Demographic data, clinical data and data related to surgical technique were collected by trained ophthalmologists. Patients were evaluated by their ophthalmologist before the intervention and 6 weeks afterward. They also completed, by mail, the Visual Function Index (VF-14) before the intervention and 3 months afterward.Results High-priority patients experienced greater improvement in VA and HRQoL than those classified as intermediate or low-priority (P < 0.0001), even after adjusting by VA and the VF-14 score at baseline. The time to intervention was the same for high-priority patients as it was for intermediate and low-priority patients.Conclusions The priority score we developed identified patients most likely to experience the greatest improvements from cataract extraction. Use of this tool could provide a fairer and more rational way to prioritize patients for cataract extraction. (shrink)

En esta investigación se realiza un análisis de las normativas y protocolos autonómicos y locales de las ludotecas pertenecientes a la Comunidad Autónoma de Castilla y León (España) durante los años 2017-2022. Parte de un diseño de mapeo sistemático de normativas con el siguiente criterio de inclusión “localidades de más de 5000 habitantes de la comunidad castellano-leonesa” por entender que estas poseen recursos económicos para mantener en el tiempo estos servicios sociocomunitarios. Se estudian los documentos entre los años 2017 y (...) 2022 con la intención de analizar la evolución de las ludotecas en Castilla y León. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

Hailed by the Journal of the History of Astronomy as "charming and witty," this chronicle by a renowned physicist traces the development of scientific thought from the works of the "founding fathers" — Galileo, Huygens, and Newton — to the more recent discoveries of Maxwell, Boltzmann, and Gibbs. 1984 edition.

Le présent ouvrage comble une lacune. La recherche, en effet, n'avait jamais pris en vue de manière systématique et détaillée l'ensemble de la philosophie schellingienne dans son rapport à la théologie. (C'est d'autant plus surprenant si l'on se rappelle que la pensée de Schelling représente le dernier essai de grand style d'établir une médiation entre ces deux disciplines.) En pratiquant sur toute l'œuvre une coupe longitudinale - depuis les premiers écrits critiques sur le mal et le mythe, à travers la (...) spéculation théogonique des Ages du monde, jusqu'aux développements christologiques et ecclésiologiques de la dernière période - le livre retrace le devenir de la théologie de Schelling, s'intégrant dans sa pensée comme l'une de ses composantes. Cette méthode permet de mettre en évidence la façon dont le philosophe théologien s'est critiqué lui-même dans les diverses phases de sa longue carrière et a modifié ses positions initiales pour tenter d'échapper à la synthèse idéaliste de la foi et du savoir, sans parvenir toutefois à se dégager entièrement du schéma de l'identité. (shrink)

Grace a son interrogation incomparablement tenace et incisive sur le sens de l'etre, la pensee heideggerienne accede a une comprehension du sacre qui semble irreductible a tout autre, et qui, par son originalite et sa profondeur, compte parmi les plus significatives elaborees a notre epoque. Le present ouvrage etudie le rapport complexe entre cette notion du sacre et les eclaircissements heideggeriens sur le divin et la mediation poetique. Il s'articule en quatre parties, dont la premiere expose la genese de l'interpretation (...) heideggerienne du sacre. La deuxieme partie propose une etude thematique du nouveau lexique que Heidegger, au contact notamment de la poesie de Holderlin, introduit dans sa meditation du sacre. La troisieme partie entreprend une serie de discernements critiques, en se laissant instruire par les principaux travaux qui ont examine explicitement la comprehension heideggerienne du sacre, du divin, et du poete. Dans une perspective synthetique, la quatrieme partie, enfin, s'efforce de ressaisir l'approche de Heidegger par le biais de ce qui la deborde, en la faisant dialoguer avec d'autres pensees philosophiques et theologiques marquantes; ce qui conduit a considerer, entre autres, la difference du sacre et du Saint. Degage a partir des developpements diachroniques de la premiere partie, le triptyque du sacre, du divin, et du poete structure aussi bien les synchronisations thematiques de la deuxieme partie que les discernements critiques fournis par la troisieme, et il est assume, tout en etant "depasse", par les chapitres systematiques de la derniere partie. (shrink)

We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...) the development of advanced modelling systems for (qualitative and quantitative) representation of design knowledge. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

In this paper we explore the absentminded driver problem using two different scenarios. In the first scenario we assume that the driver is capable of reasoning about his degree of absentmindedness before he hits the highway. This leads to a Savage-style model where the states are mutually exclusive and the act-state independence is in place. In the second we employ centred possibilities, by modelling the states (i.e. the events about which the driver is uncertain) as the possible final destinations indexed (...) by a time period. The optimal probability we find for continuing at an exit is different from almost all papers in the literature. In this scenario, act-state independence is still violated, but states are mutually exclusive and the driver arrives at his optimal choice probability via Bayesian updating. We show that our solution is the only one guaranteeing immunity from sure loss via a Dutch strategy, and that – despite initial appearances – it is time consistent. This raises important implications for the rationality of commitment in such scenarios. (shrink)

In this paper, we analyze some of the policies implemented by Mexico, a country that has not pursued a total lockdown, although it has implemented different partial confinement policies. Such approach to the confinement has been criticized by some authors as morally inappropriate. Our focus is to show that cultural, political and economic conditions shape the governmental response to the pandemic. While these can be judged on the basis of their efficiency, it seems to us that underlying principles are also (...) ethically acceptable. (shrink)

Providing the first English translation of Análisis del ser del mexicano, this book features a full biography of Uranga, a detailed overview of the translated text, and discussion of Uranga's relevance to contemporary debates in the phenomenology of culture, the philosophy of liberation, Latin American philosophy and phenomenology itself. Reading Uranga's brilliant words expertly translated and introduced by Carlos Alberto Sánchez finally allows us to understand why this Mexican philosopher is considered one of the most fearless and original thinkers of (...) the 20th century. (shrink)

The parallel distributed processing (PDP) perspective brings forward the important point that all semantic phenomena are based on analog underlying mechanisms, involving the weighted summation of multiple inputs by individual neurons. It falls short of indicating, however, how the essentially discrete nature of semantic processing may emerge at the cognitive level. Bridging this gap probably requires attractor networks.

In this article three different types of loss aversion equilibria in bimatrix games are studied. Loss aversion equilibria are Nash equilibria of games where players are loss averse and where the reference points—points below which they consider payoffs to be losses—are endogenous to the equilibrium calculation. The first type is the fixed point loss aversion equilibrium, introduced in Shalev (2000; Int. J. Game Theory 29(2):269) under the name of ‘myopic loss aversion equilibrium.’ There, the players’ reference points depend on the (...) beliefs about their opponents’ strategies. The second type, the maximin loss aversion equilibrium, differs from the fixed point loss aversion equilibrium in that the reference points are only based on the carriers of the strategies, not on the exact probabilities. In the third type, the safety level loss aversion equilibrium, the reference points depend on the values of the own payoff matrices. Finally, a comparative statics analysis is carried out of all three equilibrium concepts in 2 × 2 bimatrix games. It is established when a player benefits from his opponent falsely believing that he is loss averse. (shrink)

The act of iudicare hostes (‘declare public enemy’) was a formal pronouncement of the Roman Senate, voted for the first time in 88 BCE following a proposal by L. Cornelius Sulla after his first march on Rome. Legal historians have generally interpreted it as an emergency measure intended to preserve legality in a situation of civil strife and viewed it as a consistently defined institutional framework throughout the final decades of the Republic. Through an analysis of Sulla’s performative political communication, (...) before, during and in the immediate aftermath of the march, this paper argues that the act of judging (iudicare) someone a public enemy (hostis publicus) was first deployed as a political action, void of legal effects. Later instances of iudicare suggest that this act underwent a process of institutionalization after 63 BCE. (shrink)

In this paper I attempt to bring together (at least) two very different debates: one on justice, mercy and particularity, the other on the play of exclusionary reasons. My aim is to show how the discussion of the uneasy co-existence of justice and mercy pivots on the question of particularity. And, secondly, that the debate on exclusionary reasons can show us why law may fail to do justice in this context.

Stakeholder engagement and dialogue have a central role in defining the relations between organisations and their internal and external interlocutors. Drawing upon the analysis of dialogic motifs, power–conflict dynamics and sociopolitical perspectives, and based on a set of interviews with the stakeholders of a consumer-owned cooperative, the research explores the dialogic potential of stakeholder engagement. The analysis revealed a fragmented picture where the co-design and co-implementation aspects were mainly related to the non-business areas of cooperative life, while business logic dominated (...) the most central aspects. Stakeholder engagement was mainly related to consensus building, while dialogic engagement based on a pluralistic understanding was only partially considered and then neglected. The social capital in the local area, the growing size of the organisation and the related power structure embrace stakeholder engagement, influencing the orientation of the dialogic dynamic. The analysis indicates that a dialogic exchange is a relative concept which depends on the interests involved and the topics discussed. It also reveals that the key factors in the democratisation of stakeholder engagement are a mutual understanding and long-term opportunities. Common sociopolitical aspects are also important, but they do not necessarily guarantee the creation of dialogism paths. The research contributes to the critical dialogic literature in revealing whether and how stakeholder engagement has been implemented in a specific setting. It also shows the limitations of voluntarist stakeholder engagement initiatives. (shrink)

Includes articles about Origen, Thomas Aquinas, Hegel, Schleiermacher, Blondel, Teilhard de Chardin, Barth, Heidegger, Gadamer, postmodernism.

La obra literaria de santa Rosa de Lima se reduce a unos versos registrados en el Primer Proceso Ordinario de la jerarquía peruana y a dos medios pliegos holográficos, conservados en el convento de Santa Rosa de las Madres, de Lima. Basándose en estos datos y ahondando en el testimonio de las conclusiones obtenidas por el Dr. Juan del Castillo, tras el examen de conciencia de 1614 realizado a la Santa, el autor realiza una semblanza de la primera escritora místico-visionaria (...) de la América del virreinato. (shrink)

La decouverte de plus en plus profonde de la signification du christianisme a transforme la pensee de Fichte. Reciproquement, Fichte s'engage dans la voie d'une transformation du christianisme, au sens d'une metamorphose de la croyance en vision; il saisit la foi comme un stade imparfait de la science et souligne que seule cette derniere est a meme de supprimer l'exteriorite de l'Absolu. Le present ouvrage allie les points de vue genetique et systematique. De ses cinq parties, les quatre premieres exposent, (...) en suivant l'ordre chronologique, l'evolution de la theorie fichteenne du christianisme, depuis les textes prekantiens jusqu'a la Doctrine de l'Etat de 1813. La longue cinquieme partie, structuree thematiquement plutot que chronologiquement, est reservee non seulement a la reprise synthetique, mais aussi a la confrontation critique. Elle examine les differents aspects de la conception fichteenne du christianisme, notamment sa position a l'egard du Nouveau Testament, de la dogmatique, de la morale et de la mystique chretiennes. (shrink)