Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768

Lupus eritematoso sistémico en un gato

Describimos el caso clínico de un gato macho de dos años de edad con un historial de gingivoestomatitis ulcerativa. Los análisis realizados revelan fallo renal con proteinuria, trombocitopenia e hipoalbuminemia. Tras el diagnóstico diferencial de glomerulonefropatía se procede a realizar un análisis de anticuerpos antinucleares, obteniéndose un resultado positivo. Se realiza el diagnóstico de lupus eritematoso sistémico basándonos en la presencia de cuatro de los criterios establecidos por la Asociación Americana de Reumatismo para el diagnóstico de lupus en humanos

Effectiveness of mindfulness-based stress reduction and attachment-based compassion therapy for the treatment of depressive, anxious, and adjustment disorders in mental health settings: A randomized controlled trial

Objectives: To study the effectiveness of attachment-based compassion therapy (ABCT) for reducing affective distress in a sample of outpatients with depressive, anxiety, or adjustment disorders, and to explore its mechanisms of action. Methods: This randomized controlled trial involved the assessment time points of pretreatment, posttreatment and 6-month follow-up. A total of 90 patients from three mental health units in Castellón, Spain, were recruited and randomly assigned to “ABCT + treatment as usual (TAU), ” “Mindfulness-based stress reduction (MBSR) + TAU” or “TAU” alone. Affective distress, as measured by the “Depression, Anxiety and Stress Scales” (DASS-21) was the main outcome; self-compassion and mindfulness were also assessed. Multilevel mixed-effects models were used to estimate the effectiveness of the program, and path analyses were conducted to study the potential mechanistic role of mindfulness and self-compassion. Results: ABCT was not superior to MBSR in any outcome or at any assessment point. ABCT was superior to TAU alone both posttreatment (B = -13.20; 95% confidence interval [CI]: -19.57, -6.84) and at 6-month follow-up (B = -7.20; 95% CI: -13.63, -0.76) for reducing DASS-21, and MBSR was superior to TAU alone both posttreatment (B = -11.51; 95% CI: -17.97, -5.05) and at 6-month follow-up (B = -8.59; 95% CI: -15.09, -2.10), with large effects (d = 0.90). Changes produced by ABCT in DASS-21 were mediated by self-compassion, whereas changes produced by MBSR were mediated by both mindfulness and self-compassion. Conclusion: ABCT is effective for reducing affective distress in patients with anxiety, depressive and adjustment disorders, although its effect is not superior to that offered by MBSR. Self-compassion seems to be a significant mediator of the effects of ABCT. © 2021 Wiley Periodicals LL

Fifteen years controlling unwanted thoughts: A systematic review of the thought control ability questionnaire (TCAQ)

Thought control ability is a vulnerability factor implicated in the etiology and maintenance of emotional disorders. This manuscript aims to systematically review the use and psychometric performance of the Thought Control Ability Questionnaire (TCAQ), designed to assess people's ability to control unwanted thoughts. Three electronic databases were searched for papers administering the TCAQ published in indexed peer-reviewed journals. Data (participants characteristics, country, study design, etc.) were extracted from the results for qualitative synthesis. The TCAQ's content validity, dimensionality, internal consistency, test-retest reliability, convergent/divergent validity, floor/ceiling effects, and interpretability were summarized. Two reviewers independently screened articles and assessed quality taking COSMIN criteria into account. Finally, the review included 17 papers. The TCAQ has been administered to healthy individuals, students, and adult patients, in six languages from nine countries. We found that the TCAQ, and its shorter versions, demonstrate robust reliability and adequate content validity. Of interest is the TCAQ's capacity to predict performance in diverse experimental tasks focused on thought control. The TCAQ unidimensionality has been supported in exploratory and confirmatory factor analyses. Regarding construct validity, the TCAQ is significantly related to a wide range of psychopathological measures of anxiety, worry, depression, obsessive-compulsive symptoms, etc. However, as only a few of the included studies had a longitudinal design, we are unable to draw firm conclusions about the measure's temporal stability. Moreover, psychometric aspects such as factorial invariance across different samples have not been analyzed. Despite these limitations, based on available psychometric evidence we can recommend using the TCAQ for measuring perceived control of unwanted thoughts

Spatio-Temporal Analysis of Urban Acoustic Environments with Binaural Psycho-Acoustical Considerations for IoT-based Applications

Sound pleasantness or annoyance perceived in urban soundscapes is a major concern in environmental acoustics. Binaural psychoacoustic parameters are helpful to describe generic acoustic environments, as it is stated within the ISO 12913 framework. In this paper, the application of a Wireless Acoustic Sensor Network (WASN) to evaluate the spatial distribution and the evolution of urban acoustic environments is described. Two experiments are presented using an indoor and an outdoor deployment of a WASN with several nodes using an Internet of Things (IoT) environment to collect audio data and calculate meaningful parameters such as the sound pressure level, binaural loudness and binaural sharpness. A chunk of audio is recorded in each node periodically with a microphone array and the binaural rendering is conducted by exploiting the estimated directional characteristics of the incoming sound by means of DOA estimation. Each node computes the parameters in a different location and sends the values to a cloud-based broker structure that allows spatial statistical analysis through Kriging techniques. A cross-validation analysis is also performed to confirm the usefulness of the proposed system.Ingeniería, Industria y Construcció