The f -index of inclusion as optimal adjoint pair for fuzzy modus ponens

We continue studying the properties of the f -index of inclusion and show that, given a fixed pair of fuzzy sets, their f -index of inclusion can be linked to a fuzzy conjunction which is part of an adjoint pair. We also show that, when this pair is used as the underlying structure to provide a fuzzy interpretation of the modus ponens inference rule, it provides the maximum possible truth-value in the conclusion among all those values obtained by fuzzy modus ponens using any other possible adjoint pair.Partially supported by the Spanish Ministry of Science, Innovation and Universities (MCIU), State Agency of Research (AEI), Junta de Andalucía (JA), Universidad de Málaga (UMA) and European Regional Development Fund (FEDER) through the projects PGC2018-095869-B-I00 (MCIU/AEI/FEDER) and UMA2018-FEDERJA-001 (JA/UMA/FEDER). Funding for open access charge: Universidad de Málaga / CBU

Reducing fuzzy answer set programming to model finding in fuzzy logics

In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates. The resulting formalisms allow for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining the stable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient fuzzy ASP solver. A well-known technique for classical ASP consists of translating an ASP program P to a propositional theory whose models exactly correspond to the answer sets of P. In this paper, we show how this idea can be extended to fuzzy ASP, paving the way to implement efficient fuzzy ASP solvers that can take advantage of existing fuzzy logic reasoners

Mapping Chilean clinical research : A protocol for a scoping review and multiple evidence gap maps

Introduction Clinical research broadly aims to influence decision-making in order to promote appropriate healthcare. Funding agencies should prioritise research projects according to needed research topics, methodological and cost-effectiveness considerations, and expected social value. In Chile, there is no local diagnosis regarding recent clinical research that might inform prioritisation for future research funding. This research aims to comprehensively identify and classify Chilean health research studies, elaborating evidence gap maps for the most burdensome local conditions. Methods and analysis We will search in electronic databases (MEDLINE, Embase, PsycINFO, CINAHL, LILACS and WoS) and perform hand searches to retrieve, identify and classify health research studies conducted in Chile or by authors whose affiliations are based in Chile, from 2000 onwards. We will elaborate evidence matrices for the 20 conditions with the highest burden in Chile (according to the Global Burden of Disease 2019) selected from those defined under the General Regime of the Health Guarantees Act. To elaborate the evidence gap maps, we will consider prioritised interventions and core outcome sets. To identify knowledge gaps and estimate redundant research, we will contrast these gap maps with the available international evidence of high or moderate certainty of evidence, for each specific clinical question. For this purpose, we will search systematic reviews using the Grading of Recommendations, Assessment, Development and Evaluation (GRADE) approach. Ethics and dissemination No ethical approval is required to conduct this project. We will submit our results in both peer-reviewed journals and scientific conferences. We will aim to disseminate our findings through different academic platforms, social media, local press, among others. The final results will be communicated to local funding agencies and government stakeholders. Discussion We aim to provide an accurate and up-to-date picture of the research gaps - to be filled by new future findings - and the identification of redundant research, which will constitute relevant information for local decision-makers

Someter los sistemas y la documentación a pruebas rigurosas puede ayudar a reducir el riesgo de complicaciones durante las operaciones y contribuir a la calidad del sistema de software.

En el proyecto se describen los siguientes puntos técnicas de diseño de pruebas y herramientas para desarrollar los diseños e implementar los casos de prueba en la aplicación de la página www.olx.com.co. Además en las pruebas de calidad de software se rige en un plan estricto para lograr un alto porcentaje de calidad del software mediante herramientas que nos va permitir llegar mejorar cada instante y minimizar los riesgos posibles que se pueden generar en un determinado momento

Fragmentation of daily rhythms associates with obesity and cardiorespiratory fitness in adolescents: The HELENA study

Background & aims: Chronobiology studies periodic changes in living organisms and it has been proposed as a promising approach to investigate obesity. We analyze the association of the characteristics of the rest-activity rhythms with obesity, cardiorespiratory fitness and metabolic risk in adolescents from nine European countries. Methods: 1044 adolescents (12.5-17.5 y) were studied. Circadian health was evaluated by actigraphy with accelerometers (Actigraph GT1M). Characteristics of the daytime activity such as fragmentation (intradaily variability), estimated acrophase, and 10 h mean daytime activity index were obtained. Body composition was assessed using Bioelectrical-Impedance-Analysis, skinfold thickness, air-displacement-plethysmography and Dual-energy-X-ray-Absorptiometry. Cardiorespiratory fitness (VO2max) and metabolic risk were studied. Results: Highly fragmented activity rhythms were associated with obesity and central adiposity (P < 0.05). Obese adolescents had-3 times higher odds of having a high fragmentation of daytime activity compared to normal weight adolescents OR (95% CI) = 2.8 (1.170, 6.443). A highly fragmented rhythm was also related to lower cardiorespiratory fitness and higher metabolic risk (P < 0.05) so those adolescents classified as low fitness showed a significantly higher fragmentation of daytime activity than those included in the high fitness group (P < 0.0001). Other characteristics of the rhythms such as smaller 10 h daytime mean activity index and delayed estimated acrophase were also related to obesity and metabolic risk (P < 0.05). Conclusions: Our results indicate that the daily organization of the rest-activity cycle is more fragmented in obese and less fit adolescents and correlates with higher metabolic risk. This fact reinforces our hypothesis that disturbances in daily rhythms can be considered as sensitive markers of poorer adolescent's health

Anacreonte, Safo y Tirteo

Copia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 2009-2010Las h. pleg. son partiturasContiene: Odas de Anacreonte. Fragmentos de Safo. Poesías de Tirteo