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

Polya's inequalities, global uniform integrability and the size of plurisubharmonic lemniscates

First we prove a new inequality comparing uniformly the relative volume of a Borel subset with respect to any given complex euclidean ball \B \sub \C^n with its relative logarithmic capacity in \C^n with respect to the same ball \B. An analoguous comparison inequality for Borel subsets of euclidean balls of any generic real subspace of \C^n is also proved. Then we give several interesting applications of these inequalities. First we obtain sharp uniform estimates on the relative size of \psh lemniscates associated to the Lelong class of \psh functions of logarithmic singularities at infinity on \C^n as well as the Cegrell class of \psh functions of bounded Monge-Amp\`ere mass on a hyperconvex domain \W \Sub \C^n. Then we also deduce new results on the global behaviour of both the Lelong class and the Cegrell class of \psh functions.Comment: 25 page

Momentum asymmetries as CP violating observables

Three body decays can exhibit CP violation that arises from interfering diagrams with different orderings of the final state particles. We construct several momentum asymmetry observables that are accessible in a hadron collider environment where some of the final state particles are not reconstructed and not all the kinematic information can be extracted. We discuss the complications that arise from the different possible production mechanisms of the decaying particle. Examples involving heavy neutralino decays in supersymmetric theories and heavy Majorana neutrino decays in Type-I seesaw models are examined.Comment: 20 pages, 9 figures. Clarifying comments and one reference added, matches published versio

Search for T Violation in Charm Meson Decays

Using data from the FOCUS (E831) experiment, we have searched for T violation in charm meson decays using the four-body decay channels $D^0 \to K^-K^+\pi^-\pi^+$, $D^+ \to K^0_SK^+\pi^-\pi^+$, and $D^+_s \to K^0_SK^+\pi^-\pi^+$. The T violation asymmetry is obtained using triple-product correlations and assuming the validity of the CPT theorem. We find the asymmetry values to be $A_Tviol (D^0) = 0.010 \pm 0.057(stat.) \pm 0.037(syst.)$, $A_Tviol (D^+) = 0.023 \pm 0.062(stat.) \pm 0.022(syst.)$, and $A_Tviol (D^+_s) = -0.036 \pm 0.067(stat.) \pm 0.023(syst.)$. Each measurement is consistent with no T violation. New measurements of the CP asymmetries for some of these decay modes are also presented.Comment: 17 pages,6 figures,submitted to Phys.Lett.

New-physics contributions to the forward-backward asymmetry in B -> K* mu+ mu-

We study the forward-backward asymmetry (AFB) and the differential branching ratio (DBR) in B -> K* mu+ mu- in the presence of new physics (NP) with different Lorentz structures. We consider NP contributions from vector-axial vector (VA), scalar-pseudoscalar (SP), and tensor (T) operators, as well as their combinations. We calculate the effects of these new Lorentz structures in the low-q^2 and high-q^2 regions, and explain their features through analytic approximations. We find two mechanisms that can give a significant deviation from the standard-model predictions, in the direction indicated by the recent measurement of AFB by the Belle experiment. They involve the addition of the following NP operators: (i) VA, or (ii) a combination of SP and T (slightly better than T alone). These two mechanisms can be distinguished through measurements of DBR in B -> K* mu+ mu- and AFB in B -> K mu+ mu-.Comment: 33 pages, revtex, 9 figures. Paper originally submitted with the wrong figures. This is corrected in the replacement. An incorrect factor of 2 found in a formula. This is corrected and figures modified. Conclusions unchanged. Typos correcte

Cyber-physikalische Systeme:Herausforderung des 21. Jahrhunderts

Cyber-physical systems and the Internet of Things will be omnipresent in the near future. These systems will be tightly integrated in and interacting with our environment to support us in our daily tasks and in achieving our personal goals. However, to achieve this vision, we have to tackle various challenges

New Physics in b -> s mu+ mu-: CP-Conserving Observables

We perform a comprehensive study of the impact of new-physics operators with different Lorentz structures on decays involving the b -> s mu+ mu- transition. We examine the effects of new vector-axial vector (VA), scalar-pseudoscalar (SP) and tensor (T) interactions on the differential branching ratios and forward-backward asymmetries (A_{FB}'s) of Bsbar -> mu+ mu-, Bdbar -> Xs mu+ mu-, Bsbar -> mu+ mu- gamma, Bdbar -> Kbar mu+ mu-, and Bdbar -> K* mu+ mu-, taking the new-physics couplings to be real. In Bdbar -> K* mu+ mu-, we further explore the polarization fraction f_L, the angular asymmetry A_T^{(2)}, and the longitudinal-transverse asymmetry A_{LT}. We identify the Lorentz structures that would significantly impact these observables, providing analytical arguments in terms of the contributions from the individual operators and their interference terms. In particular, we show that while the new VA operators can significantly enhance most of the asymmetries beyond the Standard Model predictions, the SP and T operators can do this only for A_{FB} in Bdbar -> Kbar mu+ mu-.Comment: 54 pages, JHEP format, 45 figures (included). 5/6/2013: typos in K* mu mu angular coefficients corrected, typos in Eq. (D.12) corrected, added a missing term in I3LT in Eq. (D.16). Numerical analysis unchange

Circulating microRNAs in sera correlate with soluble biomarkers of immune activation but do not predict mortality in ART treated individuals with HIV-1 infection: A case control study

Introduction: The use of anti-retroviral therapy (ART) has dramatically reduced HIV-1 associated morbidity and mortality. However, HIV-1 infected individuals have increased rates of morbidity and mortality compared to the non-HIV-1 infected population and this appears to be related to end-organ diseases collectively referred to as Serious Non-AIDS Events (SNAEs). Circulating miRNAs are reported as promising biomarkers for a number of human disease conditions including those that constitute SNAEs. Our study sought to investigate the potential of selected miRNAs in predicting mortality in HIV-1 infected ART treated individuals. Materials and Methods: A set of miRNAs was chosen based on published associations with human disease conditions that constitute SNAEs. This case: control study compared 126 cases (individuals who died whilst on therapy), and 247 matched controls (individuals who remained alive). Cases and controls were ART treated participants of two pivotal HIV-1 trials. The relative abundance of each miRNA in serum was measured, by RTqPCR. Associations with mortality (all-cause, cardiovascular and malignancy) were assessed by logistic regression analysis. Correlations between miRNAs and CD4+ T cell count, hs-CRP, IL-6 and D-dimer were also assessed. Results: None of the selected miRNAs was associated with all-cause, cardiovascular or malignancy mortality. The levels of three miRNAs (miRs -21, -122 and -200a) correlated with IL-6 while miR-21 also correlated with D-dimer. Additionally, the abundance of miRs -31, -150 and -223, correlated with baseline CD4+ T cell count while the same three miRNAs plus miR- 145 correlated with nadir CD4+ T cell count. Discussion: No associations with mortality were found with any circulating miRNA studied. These results cast doubt onto the effectiveness of circulating miRNA as early predictors of mortality or the major underlying diseases that contribute to mortality in participants treated for HIV-1 infection