Implementing the weakest failure detector for solving consensus

The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to solve several agreement problems, such as the consensus problem. In this paper, algorithms that implement failure detectors in partially synchronous systems are presented. First two simple algorithms of the weakest class to solve the consensus problem, namely the Eventually Strong class (⋄S), are presented. While the first algorithm is wait-free, the second algorithm is f-resilient, where f is a known upper bound on the number of faulty processes. Both algorithms guarantee that, eventually, all the correct processes agree permanently on a common correct process, i.e. they also implement a failure detector of the class Omega (Ω). They are also shown to be optimal in terms of the number of communication links used forever. Additionally, a wait-free algorithm that implements a failure detector of the Eventually Perfect class (⋄P) is presented. This algorithm is shown to be optimal in terms of the number of bidirectional links used forever

Counterfactual Reasoning with Probabilistic Graphical Models for Analyzing Socioecological Systems

Causal and counterfactual reasoning are emerging directions in data science that allow us to reason about hypothetical scenarios. This is particularly useful in domains where experimental data are usually not available. In the context of environmental and ecological sciences, causality enables us, for example, to predict how an ecosystem would respond to hypothetical interventions. A structural causal model is a class of probabilistic graphical models for causality, which, due to its intuitive nature, can be easily understood by experts in multiple fields. However, certain queries, called unidentifiable, cannot be calculated in an exact and precise manner. This paper proposes applying a novel and recent technique for bounding unidentifiable queries within the domain of socioecological systems. Our findings indicate that traditional statistical analysis, including probabilistic graphical models, can identify the influence between variables. However, such methods do not offer insights into the nature of the relationship, specifically whether it involves necessity or sufficiency. This is where counterfactual reasoning becomes valuable.Comment: 34 page

Transversalidad de las técnicas de modelado matemático en Farmacia con la ayuda de una hoja de cálculo

The implementation of the EHEA in Pharmacy studies will lead to foster student self-learning. This way the student abilities to apply knowledge, learned in some subjects, to search knowledge in any other will be tested. Among such applicative knowledge, we can consider the mathematical modelling techniques, included in the field of Mathematics. This article draws attention to the usefulness of popular spreadsheets for Pharmacy students interested in the application of mathematical modelling techniques. Roughly speaking, a pharmacy student will probably have to perform mathematical calculations and experimental data visualizations, especially in the practice syllabus of some of his subjects. The use of software is important in this respect, not only in the learning step of the mathematical concepts in the corresponding math subject, but also in its application to other Pharmacy subjects. What application software can be chosen for the students? Although there are many candidates, a spreadsheet offers some capabilities that make it ideal for a Pharmacy student: short learning time, wide availability on different computer platforms and flexibility to carry out a variety of computational tasks. Finally, we present a Web page which provides self-learning material to Pharmacy students for harnessing the potential offered by the spreadsheets Excel (Microsoft Office) and Calc (OpenOffice.org) in the study of their subjects in Pharmacy.La implantación del EEES en las titulaciones en Farmacia va a significar la potenciación del autoaprendizaje por parte del alumno. Esto va a poner a prueba la capacidad de aplicar conocimientos adquiridos en unas materias, para entender y conocer otras. Entre dichos conocimientos, se encuentran las técnicas de modelado matemático, incluidas en el campo de las Matemáticas. El presente artículo reflexiona acerca de la utilidad de las populares hojas de cálculo como software dirigido al alumno. Un alumno de Farmacia, probablemente, tendrá que realizar cálculos matemáticos y representaciones gráficas con datos experimentales, muy especialmente en las prácticas de algunas de sus asignaturas. La utilización de un software es, en este sentido, especialmente importante, no sólo en la fase de aprendizaje de dichos conocimientos matemáticos en la correspondiente asignatura del título, sino a la hora de disponer de una herramienta que facilite su aplicación en otras. ¿Qué software podemos elegir para el alumno? A pesar de que existen multitud de candidatos, una hoja de cálculo reúne una serie de características que la hacen idónea para un alumno de Farmacia: corto tiempo de aprendizaje, amplia disponibilidad en distintas plataformas y flexibilidad para poder realizar una gran diversidad de tareas, entre otras propiedades. Finalmente, como ejemplo se presenta una página Web, http://www.ugr.es/~focana/farmaspreadsheet.htm, que facilita material para ayudar al alumno de Farmacia a aprovechar las posibilidades que ofrecen las hojas de cálculo Excel (Microsoft Office) y Calc (OpenOffice.org) en el estudio de sus asignaturas en Farmacia

A comparative study of maintenance services using the data-mining technique

Objetivos: Comparar la calidad del servicio de mantenimiento de dos entidades de salud. Una posee los servicios de mantenimientos tercerizados y la otra propios. El indicador de calidad bajo estudio es el tiempo de cambio de estado. Estudiar el comportamiento de la productividad del servicio de salud versus la disponibilidad. Materiales y Métodos. Se realizó un levantamiento del inventario de los equipos médicos y no médicos en dos servicios de diálisis ubicados en dos instituciones de salud. Ambas de tercer nivel. Estos poseen características similares en cuanto a las unidades de dializado y equipos médicos. Cada una de ellas posee 16 unidades para la atención a pacientes y 92 equipos médicos. La diferencia consiste en el servicio de mantenimiento; uno es tercerizado mientras que el otro es propio. Se recolectaron las órdenes de trabajo de mantenimiento por un período de 6 meses y se calcularon los indicadores: Tiempo de Respuesta, Duración Real, Tiempos Perdidos y Tiempo de cambio de estado (TAT) para cada orden de trabajo. Se construyó un predictor para la variable TAT (variable dependiente) en función de las otras variables. Resultados. La calidad del servicio de mantenimiento por la entidad que posee su propio personal es mejor que la entidad con servicios tercerizados. El indicador TAT es como promedio de 2,95 horas para la entidad con mantenimiento propio, mientras que para la otra entidad es de 3,4 horas. Conclusiones: El comportamiento de la productividad del servicio versus la disponibilidad resultó ser de tipo positiva lineal.Objectives The main goal in this research was comparing two hospitals' maintenance service quality. One of them had a contract service; the other one had an in-house maintenance service. Materials and methods The authors followed the next stages when conducting this research: domain understanding, data characterisation and sample reduction, insight characterisation and building the TAT predictor. Multiple linear regression and clustering techniques were used for improving the efficiency of corrective maintenance tasks in a clinical engineering department (CED). The indicator being studied was turnaround time (TAT). Results The institution having an in-house maintenance service had better quality indicators than the contract maintenance service. Conclusions There was lineal dependence between availability and service productivity

A comparative study of maintenance services using the data-mining technique

Objetivo Evaluar el desempeño de las pruebas empleadas en Colombia para el diagnóstico de la leishmaniasis visceral canina y adaptar una técnica de Western blot empleando animales experimental y naturalmente infectados. Metodología Se obtuvieron sueros de 10 perros infectados experimentalmente con L. infantum, 5 perros infectados naturalmente, 16 perros sanos, 26 de reacción cruzada (infectados con Babesia canis, Erhlichia canis, Dirofilaria immitis, Trypanosoma cruzi, Leishmania (Viannia) spp.), 40 de zonas no endémicas y 150 de zona endémica. Todos fueron evaluados mediante las pruebas de inmunofluorescencia indirecta (IFI), ELISA y Western blot (WB). Resultados Se encontró que IFI tuvo el mayor porcentaje de positividad en los perros infectados (73 %) mientras que el menor porcentaje de falsos positivos se obtuvo por WB (2,5 %). La prueba de ELISA fue la menos eficiente. Fueron reconocidas 24 fracciones antigénicas, las bandas de 29, 34, 50, 69, 75, 86, 99 y 123 kDa fueron responsables de reacciones inespecíficas en los sueros de perros sanos, de zona no endémica y de reacción cruzada. Las bandas por debajo de 29 kDa mostraron ser potencialmente diagnósticas, especialmente la fracción de 13 kDa. Conclusiones Los métodos directos y serológicos pueden subdiagnosticar la infección por Leishmania, solamente un constructo que combine tanto pruebas directas como indirectas sería la forma más eficiente de diagnósticoThe main goal in this research was comparing two hospitals' maintenance service quality. One of them had a contract service; the other one had an in-house maintenance service.MATERIALS AND METHODS: The authors followed the next stages when conducting this research: domain understanding, data characterisation and sample reduction, insight characterisation and building the TAT predictor. Multiple linear regression and clustering techniques were used for improving the efficiency of corrective maintenance tasks in a clinical engineering department (CED). The indicator being studied was turnaround time (TAT).RESULTS: The institution having an in-house maintenance service had better quality indicators than the contract maintenance service.CONCLUSIONS: There was lineal dependence between availability and service productivity

Backscattering measurement of 6He on 209Bi: Critical interaction distance

An elastic backscattering experiment has been performed at energies below the Coulomb barrier to investigate static and dynamic effects in the interaction of 6He with 209Bi. The measured cross sections are presented in terms of the dσ/dσRuth ratio, as a function of the distance of closest approach on a Rutherford trajectory. The data are compared with a three-body CDCC calculation and good agreement is observed. In addition, the critical distance of interaction was extracted. A larger value was obtained for the exotic 6He nucleus as compared with the weakly bound 6Li and 9Be nuclei and the tightly bound 4He, 12C, and 16O nuclei.Ministerio de Economía y Competitividad FIS2013-41994-P FIS2014-53448-C2-1-

Habilitador de Presencia Enriquecida para aplicaciones de Telemonitorización de variables biomédicas en Redes IP Multimedia Subsystem

En el presente trabajo se presenta el diseño e implementación de un servicio habilitador de presencia enriquecida para aplicaciones de telemonitorización de variables biomédicas implantadas sobre redes IMS. El habilitador adapta el formato estándar de presencia basado en el protocolo SIP utilizado para enviar información relativa (disponibilidad, estado, etc.) a un usuario que utiliza servicios de la red IMS (videollamada, mensajería instantánea, etc.). Esta adaptación consiste en la inclusión de información relativa a un servicio de telemonitorización añadiendo características del dispositivo empleado y de las variables biomédicas medidas. Debido a las características de la red IMS, el habilitador es independiente del dispositivo de monitorización utilizado y de los clientes SIP a los que se les envía la información de presencia. El funcionamiento del habilitador ha sido probado simulando una aplicación de teleasistencia implantada en una pasarela domiciliaria

A Comparative Analysis of Soil Loss Tolerance and Productivity of the Olive Groves in the Protected Designation of Origin(PDO) Areas Norte Alentejano (Portugal) and Estepa (Andalusia, Spain)

Olive groves are Mediterranean systems that occupy more than 2.5 M ha in Spain and 0.352 M ha in Portugal. Assuming the differences between both countries in terms of olive grove regulation and considering their multifunctionality, it is useful to implement agronomic indices to estimate their sustainability. The Soil Loss Tolerance Index (SLTI) and the Soil Productivity Index (SPI) are two such indices. We calculated both indices in the Protected Designation of Origin (PDO) Norte Alentejano (Portugal). The SLTI index was adapted considering specific variables of the analysed olive groves (i.e., SLTIog). The values obtained were compared with those previously estimated for PDO Estepa (Spain). The negative impacts of erosion and the underlying agricultural practices on the sustainability of olive groves became evident, resulting in decreased soil productivity at the regional level. The SLTIog index showed higher values for crops, being a more realistic tool to analyse sustainability. A higher soil loss tolerance was detected for integrated groves in the PDO Norte Alentejano than for PDO Estepa due to the shorter age of olive cultivation in Portugal, with incipient soil impacts. These indices provide information on the degree of soil erosion, allowing farmers and decision-makers to apply practices to maximise the sustainability of olive groves.To the University Complutense of Madrid, for awarding the lead author a short-term fellowship through which this research could be carried out. To MED-Universidade de Évora (Portugal), for providing to the main author with the opportunity to jointly perform field work and analytical tasks in Portugal. The time devoted by J.M.-R. and T.P.-C. to retrieve and treat the data and to write and revise the article has received partial funding from the following sources: (a) FCT—Foundation for Science and Technology (Portugal) under the Project UIDB/05183/2020; (b) SUSTAINOLIVE research project (https://sustainolive.eu/?lang=en [accessed on: 29 March 2021]), funded by the PRIMA EU program. Lastly, we thank María Aurora Rodríguez Sousa for her support and advice

TELMA: Entorno de formación personalizada online en Cirugía de Mínima Invasión

TELMA es un entorno de formación y aprendizaje online basado en edición de vídeo laparoscópico, la gestión del conocimiento y el trabajo colaborativo con el fin de mejorar la efectividad y eficacia de los procesos de formación (inicial y continuada) de los cirujanos de Cirugía de Mínima Invasión (CMI). TELMA explota el uso del vídeo laparoscópico como el núcleo de los contenidos didácticos y hace uso de tecnologías de formación online y gestión de contenidos digitales multimedia, para mejorar la adaptación, calidad y eficiencia del servicio ofrecido al usuario. TELMA persigue acortar las curvas de aprendizaje, proporcionando a los cirujanos un acceso ubicuo a contenidos educativos y metodologías didácticas, dotando al aprendizaje de mayor interactividad y proporcionando a los alumnos un papel más activo, una mejor adquisición de los conocimientos y habilidades y un mayor uso de las fuentes de información disponibles