Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Anisotropic intrinsic spin relaxation in graphene due to flexural distortions

We propose an intrinsic spin scattering mechanism in graphene originated by the interplay of atomic spin-orbit interaction and the local curvature induced by flexural distortions of the atomic lattice. Starting from a multiorbital tight-binding Hamiltonian with spin-orbit coupling considered non-perturbatively, we derive an effective Hamiltonian for the spin scattering of the Dirac electrons due to flexural distortions. We compute the spin lifetime due to both flexural phonons and ripples and we find values in the microsecond range at room temperature. Interestingly, this mechanism is anisotropic on two counts. First, the relaxation rate is different for off-plane and in-plane spin quantization axis. Second, the spin relaxation rate depends on the angle formed by the crystal momentum with the carbon-carbon bond. In addition, the spin lifetime is also valley dependent. The proposed mechanism sets an upper limit for spin lifetimes in graphene and will be relevant when samples of high quality can be fabricated free of extrinsic sources of spin relaxation.Comment: extended version with 7 pages, 4 figures and several new results; a numerical error has been corrected leading to longer spin lifetimes than in the previous versio

Testing the robustness of controllers for self-adaptive systems

Self-Adaptive systems are software-intensive systems endowed with the ability to respond to a variety of changes that may occur in their environment, goals, or the system itself, by adapting their structure and behavior at run-time in an autonomous way. Controllers are complex components incorporated in self-adaptive systems, which are crucial to their function since they are in charge of adapting the target system by executing actions through effectors, based on information monitored by probes. However, although controllers are becoming critical in many application domains, so far very little has been done to assess their robustness. In this paper, we propose an approach for evaluating the robustness of controllers for self-adaptive software systems, aiming to identify faults in their design. Our proposal considers the stateful nature of the controller, and identifies a set of robustness tests, which includes the provision of mutated inputs to the interfaces between the controller and the target system (i.e., probes). The feasibility of the approach is evaluated on Rainbow, a framework for architecture-based self-adaptation, and in the context of the Znn.com case study

Yukawa hierarchies at the point of E8E_8 in F-theory

We analyse the structure of Yukawa couplings in local SU(5) F-theory models with $E_8$ enhancement. In this setting the $E_8$ symmetry is broken down to SU(5) by a 7-brane configuration described by T-branes, all the Yukawa couplings are generated in the vicinity of a point and only one family of quarks and leptons is massive at tree-level. The other two families obtain their masses when non-perturbative effects are taken into account, being hierarchically lighter than the third family. However, and contrary to previous results, we find that this hierarchy of fermion masses is not always appropriate to reproduce measured data. We find instead that different T-brane configurations breaking $E_8$ to SU(5) give rise to distinct hierarchical patterns for the holomorphic Yukawa couplings. Only some of these patterns allow to fit the observed fermion masses with reasonable local model parameter values, adding further constraints to the construction of F-theory GUTs. We consider an $E_8$ model where such appropriate hierarchy is realised and compute its physical Yukawas, showing that realistic charged fermions masses can indeed be obtained in this case.Comment: 46 pages + appendices, 5 figures. v2, added references and typos corrected, version accepted on JHEP. v3, typos correcte

Anxiety and risk of vascular dementia in an elderly community sample: The role of sex

Background: To assess the association between anxiety and risk of vascular dementia (VaD), as well as potential sex differences, in a community-based cohort. Methods: A random sample of 4057 dementia-free community participants aged 55 or older, from the longitudinal, community-based Zaragoza Dementia and Depression Project (ZARADEMP) study were followed for 4.5 years. Geriatric Mental State B (GMS)-Automated Geriatric Examination for Computer Assisted Taxonomy (AGECAT) was used for the assessment and diagnosis of anxiety, and a panel of research psychiatrists diagnosed the incident cases of VaD according to DSM-IV (Diagnostic and Statistical Manual of mental disordes). Multivariate survival analysis with competing risk regression model was performed. Results: In men, the incidence rate of VaD was significantly higher among anxiety subjects compared with non-anxiety subjects (incidence rate ratio (IRR) (95% confidence interval (CI)): 3.24 (1.13–9.35); p = 0.029), and no difference was observed in women (IRR (95%CI): 0.68 (0.19– 2.23); p = 0.168). In the multivariate model, for men, cases of anxiety had 2.6-fold higher risk of VaD (subdistribution hazard ratio (SHR): 2.61; 95%CI: 0.88–7.74) when all potential confounding factors were controlled, with no statistical significance (p = 0.084), but a clinically relevant effect (Cohen’s d: 0.74). No association was found in women. Conclusions: In men, but not in women, risk of VaD was higher among individuals with anxiety, with a clinically relevant effect. Potential anxiety-related preventive interventions for VaD might be tailored to men and women separately

A novel score for predicting alzheimer’s disease risk from late life psychopathological and health risk factors

With the increasing size of the aging population, dementia risk reduction has become a main public health concern. Dementia risk models or indices may help to identify individuals in the community at high risk to develop dementia. We have aimed to develop a novel dementia risk index focused on the late-life (65 years or more) population, that addresses risk factors for Alz-heimer’s disease (AD) easily identifiable at primary care settings. These risk factors include some shown to be associated with the risk of AD but not featured in existing indices, such as hearing loss and anxiety. Our index is also the first to account for the competing risk of death. The Zaragoza Dementia and Depression Project (ZARADEMP) Alzheimer Dementia Risk Score predicts an indi-vidual´s risk of developing AD within 5 years. The probability of late onset AD significantly in-creases in those with risk scores between 21 and 28 and, furthermore, is almost 4-fold higher for those with risk scores of 29 or higher. Our index may provide a practical instrument to identify subjects at high risk of AD and to design preventive strategies targeting the contributing risk factors

Prevalence of anxiety in medical students during the covid-19 pandemic: A rapid systematic review with meta-analysis

The novel coronavirus disease (COVID-19) pandemic has brought a great deal of pressure for medical students, who typically show elevated anxiety rates. Our aim is to investigate the prevalence of anxiety in medical students during this pandemic. This systematic review and mini meta-analysis has been conducted following the PRISMA guidelines. Two researchers independently searched PubMed on 26 August 2020 for cross-sectional studies on medical students during the COVID-19 outbreak, with no language restrictions applied. We then performed a manual search to detect other potentially eligible investigations. To the 1361 records retrieved in the initial search, 4 more were added by manual search on medRxiv. Finally, eight studies were finally included for qualitative and quantitative analysis, which yielded an estimated prevalence of anxiety of 28% (95% CI: 22–34%), with significant heterogeneity between studies. The prevalence of anxiety in medical students is similar to that prior to the pandemic but correlates with several specific COVID-related stressors. While some preventive and risk factors have been previously identified in a non-pandemic context, knowledge and cognitions on COVID-19 transmission, treatment, prognosis and prevention negatively correlate with anxiety, emerging as a key preventive factor that may provide a rationale for why the levels of anxiety have remained stable in medical students during the pandemic while increasing in their non-medical peers and the general population. Other reasons for the invariability of anxiety rates in this population are discussed. A major limitation of our review is that Chinese students comprised 89% the total sample, which could compromise the external validity of our work

Non-geometric flux vacua, S-duality and algebraic geometry

The four dimensional gauged supergravities descending from non-geometric string compactifications involve a wide class of flux objects which are needed to make the theory invariant under duality transformations at the effective level. Additionally, complex algebraic conditions involving these fluxes arise from Bianchi identities and tadpole cancellations in the effective theory. In this work we study a simple T and S-duality invariant gauged supergravity, that of a type IIB string compactified on a $T^6/(Z_2 x Z_2)$ orientifold with O3/O7-planes. We build upon the results of recent works and develop a systematic method for solving all the flux constraints based on the algebra structure underlying the fluxes. Starting with the T-duality invariant supergravity, we find that the fluxes needed to restore S-duality can be simply implemented as linear deformations of the gauge subalgebra by an element of its second cohomology class. Algebraic geometry techniques are extensively used to solve these constraints and supersymmetric vacua, centering our attention on Minkowski solutions, become systematically computable and are also provided to clarify the methods.Comment: 47 pages, 10 tables, typos corrected, Accepted for Publication in Journal of High Energy Physic

Anhedonia as a potential risk factor of alzheimer’s disease in a community-dwelling elderly sample: Results from the zarademp project

(1) Introduction: Dementia is a major public health problem, and Alzheimer’s disease (AD) is the most frequent subtype. Clarifying the potential risk factors is necessary in order to improve dementia-prevention strategies and quality of life. Here, our purpose was to investigate the role of the absence of hedonic tone; anhedonia, understood as the reduction on previous enjoyable daily activities, which occasionally is underdetected and underdiagnosed; and the risk of developing AD in a cognitively unimpaired and non-depressed population sample. (2) Method: We used data from the Zaragoza Dementia and Depression (ZARADEMP) project, a longitudinal epidemiological study on dementia and depression. After excluding subjects with dementia, a sample of 2830 dwellers aged =65 years was followed for 4.5 years. The geriatric mental state examination was used to identify cases of anhedonia. AD was diagnosed by a panel of research psychiatrists according to Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition (DSM-IV) criteria. A multivariate survival analysis and Cox proportional hazards regression model were performed, and the analysis was controlled by an analysis for the presence of clinically significant depression. (3) Results: We found a significant association between anhedonia cases and AD risk in the univariate analysis (hazard ratio (HR): 2.37; 95% CI: 1.04–5.40). This association persisted more strongly in the fully adjusted model. (4) Conclusions: Identifying cognitively intact individuals with anhedonia is a priority to implement preventive strategies that could delay the progression of cognitive and functional impairment in subjects at risk of AD