Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of 'proof'; (2) Kreisel's explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of 'proofs from premises' results in a loss of the inductive character of the definitions of ∨ and ∃; and (5) the same occurs with the definition of ∀ in terms of 'proofs with free variables

Impact of training in the elderly: the case of the Open Classroom for the Elderly (doctoral thesis)

Colección ReSed. Es un artículo de ReSed Nº 3, perteneciente al monográfico Crisis Social, Educación y Desarrollo Profesional. Coordinación del Monográfico: Dra. Montserrat Vargas Vergara Dirección de ReSed: Dra. A-Beatriz Pérez-GonzálezThe Senior Survey (2010) stated that in Spain 60% of people start new activities after retirement. One of the demands of this new generation of seniors is a quality university education. The purpose of this study was to investigate the impact of training in the elderly, in a formal educational context, taking into account the social and psychological dimensions. The work is structured in two sections: theoretical foundations and empirical framework

The effects of time valuation in cancer optimal therapies: a study of chronic myeloid leukemia

Background The mathematical design of optimal therapies to fight cancer is an important research field in today’s Biomathematics and Biomedicine given its relevance to formulate patient-specific treatments. Until now, however, cancer optimal therapies have considered that malignancy exclusively depends on the drug concentration and the number of cancer cells, ignoring that the faster the cancer grows the worse the cancer is, and that early drug doses are more prejudicial. Here, we analyze how optimal therapies are affected when the time evolution of treated cancer is envisaged as an additional element determining malignancy, analyzing in detail the implications for imatinib-treated Chronic Myeloid Leukemia. Methods Taking as reference a mathematical model describing Chronic Myeloid Leukemia dynamics, we design an optimal therapy problem by modifying the usual malignancy objective function, unaware of any temporal dimension of cancer malignance. In particular, we introduce a time valuation factor capturing the increase of malignancy associated to the quick development of the disease and the persistent negative effects of initial drug doses. After assigning values to the parameters involved, we solve and simulate the model with and without the new time valuation factor, comparing the results for the drug doses and the evolution of the disease. Results Our computational simulations unequivocally show that the consideration of a time valuation factor capturing the higher malignancy associated with early growth of cancer and drug administration allows more efficient therapies to be designed. More specifically, when this time valuation factor is incorporated into the objective function, the optimal drug doses are lower, and do not involve medically relevant increases in the number of cancer cells or in the disease duration. Conclusions In the light of our simulations and as biomedical evidence strongly suggests, the existence of a time valuation factor affecting malignancy in treated cancer cannot be ignored when designing cancer optimal therapies. Indeed, the consideration of a time valuation factor modulating malignancy results in significant gains of efficiency in the optimal therapy with relevant implications from the biomedical perspective, specially when designing patient-specific treatments.This work was supported by projects MTM2014-56022-C2-2-P and MTM2017-85476-C2-1-P of the Spanish Office of Innovation and Competitiveness and European FEDER Funds, and by projects of the Castile and León Autonomous Government: VA041P17 (with European FEDER Funds), VA138G18 and VA148G18

A new equilibrated residual method improving accuracy and efficiency of flux-free error estimates

This paper presents a new methodology to compute guaranteed upper bounds for the energy norm of the error in the context of linear finite element approximations of the reaction–diffusion equation. The new approach revisits the ideas in Parés et al. (2009) [6, 4], with the goal of substantially reducing the computational cost of the flux-free method while retaining the good quality of the bounds. The new methodology provides also a technique to compute equilibrated boundary tractions improving the quality of standard equilibration strategies. The zeroth-order equilibration conditions are imposed using an alternative less restrictive form of the first-order equilibration conditions, along with a new efficient minimization criterion. This new equilibration strategy provides much more accurate upper bounds for the energy and requires only doubling the dimension of the local linear systems of equations to be solved.Postprint (author's final draft

Tolerance to air exposure of the New Zealand mudsnail Potamopyrgus antipodarum (Hydrobiidae, Mollusca) as a prerequisite to survival in overland translocations

Spreading throughout a new ecosystem is the last step of an exotic species to become invasive. In the case of invasive aquatic molluscs, tolerance to air exposure is one of the main mechanisms allowing overland translocation and spreading. The mudsnail Potamopyrgus antipodarum (Hydrobiidae, Mollusca) is native to New Zealand but it has spread worldwide, invading ecosystems in Europe, Australia, America and Asia. The aim of our study is to assess mudsnail tolerance to air exposure, which may contribute to the successful overland translocation of this species. We conducted a laboratory experiment with four levels of air exposure (9, 18, 24 and 36 hours in a controlled climatic chamber). Snails were placed for 60 seconds in a laboratory paper filter to remove surface snail water. Then they were placed back in empty vessels during the four periods of air exposure, except the control group, which was immediately returned to water. At the end of each period of air exposure all vessels were filled with water and the cumulative mortality was monitored after 24, 96, 168 and 264 hours of rehydration. The calculated Lethal Times (i.e. the time of air exposure (in hours) necessary to cause the death of 50% (LT50) or 99% (LT99) of the population) and their 95% confidence limits at 24, 96, 168 and 264 hours were 28.1 (25.2–31.9), 26.9 (24.2–30.1), 25.9 (23.4–28.9) and 25.9 (23.4–28.9) hours, respectively for LT50, and 49.6 (42.7–63.3), 45.6 (39.9–56.5), 43.2 (38.0–53.0) and 43.2 (38.0–53.0) hours, respectively for LT99. Therefore an air exposure time over 43 hours caused the death of all studied individuals during all monitoring periods. Extending the monitoring period beyond 24 hours did not significantly change lethal times. Therefore, we recommend exposing fishing tools or boats at open air during at least 53 hours as a low cost measure to control mudsnail spread in early stages of invasion

Goal-oriented h-adaptivity for the Helmholtz equation: error estimates, local indicators and refinement strategies

The final publication is available at Springer via http://dx.doi.org/10.1007/s00466-010-0557-2This paper introduces a new goal-oriented adaptive technique based on a simple and effective post-process of the finite element approximations. The goal-oriented character of the estimate is achieved by analyzing both the direct problem and an auxiliary problem, denoted as adjoint or dual problem, which is related to the quantity of interest. Thus, the error estimation technique proposed in this paper would fall into the category of recovery-type explicit residual a posteriori error estimates. The procedure is valid for general linear quantities of interest and it is also extended to non-linear ones. The numerical examples demonstrate the efficiency of the proposed approach and discuss: (1) different error representations, (2) assessment of the dispersion error, and (3) different remeshing criteria.Peer ReviewedPostprint (author's final draft

University surroundings andinfrastructures that are accessible and inclusive for all: listening to students with disabilities

The main topic of this article is architectural barriers and infrastructures as identified by university students with disabilities. The data presented is part of a much wider research project, sponsored by Spain’s Ministry of Economy and Competition. A biographical-narrative methodology was used for this study. The results presented have been classified based on one of five barrier types: urban (barriers that are outside the actual university campus), transport (public transportation and personal vehicles), building (obstacles inside university buildings), environmental (those elements within the classroom, including furniture, excessive noise or inadequate temperatures) and communication (these are divided into signposting and barriers when accessing information). Lastly, a variety of questions are considered in the conclusions which indicate that universities still need a certain degree of adaptation and readjustment to really be accessible and inclusive, in keeping with the principles of universal desig

Improvements to the Froissart bound from AdS/CFT

In this paper we consider the issue of the Froissart bound on the high energy behaviour of total cross sections. This bound, originally derived using principles of analyticity of scattering amplitudes, is seen to be satisfied by all the available experimental data on total hadronic cross sections. At strong coupling, gauge/gravity duality has been used to provide some insights into this behaviour. In this work, we find the subleading terms to the so-derived Froissart bound from AdS/CFT. We find that a $(\ln \frac{s}{s_0})$ term is obtained, with a negative coefficient. We see that the fits to the currently available data confirm improvement in the fits due to the inclusion of such a term, with the appropriate sign.Comment: 9 pages, 1 figure, 2 table