Autonomic Management Policy Specification: from UML to DSML

International audienceAutonomic computing is recognized as one of the most promizing solutions to address the increasingly complex task of distributed environments' administration. In this context, many projects relied on software components and architectures to provide autonomic management frameworks. We designed such a component-based autonomic management framework, but observed that the interfaces of a component model are too low-level and difficult to use. Therefore, we introduced UML diagrams for the modeling of deployment and management policies. However, we had to adapt/twist the UML semantics in order to meet our requirements, which led us to define DSMLs. In this paper, we present our experience in designing the Tune system and its support for management policy specification, relying on UML diagrams and on DSMLs. We analyse these two approaches, pinpointing the benefits of DSMLs over UML

Asymptotes in SU(2) Recoupling Theory: Wigner Matrices, 3j3j Symbols, and Character Localization

In this paper we employ a novel technique combining the Euler Maclaurin formula with the saddle point approximation method to obtain the asymptotic behavior (in the limit of large representation index $J$) of generic Wigner matrix elements $D^{J}_{MM'}(g)$. We use this result to derive asymptotic formulae for the character $\chi^J(g)$ of an SU(2) group element and for Wigner's $3j$ symbol. Surprisingly, given that we perform five successive layers of approximations, the asymptotic formula we obtain for $\chi^J(g)$ is in fact exact. This result provides a non trivial example of a Duistermaat-Heckman like localization property for discrete sums.Comment: 36 pages, 3 figure

The Case for Quantum Key Distribution

Quantum key distribution (QKD) promises secure key agreement by using quantum mechanical systems. We argue that QKD will be an important part of future cryptographic infrastructures. It can provide long-term confidentiality for encrypted information without reliance on computational assumptions. Although QKD still requires authentication to prevent man-in-the-middle attacks, it can make use of either information-theoretically secure symmetric key authentication or computationally secure public key authentication: even when using public key authentication, we argue that QKD still offers stronger security than classical key agreement.Comment: 12 pages, 1 figure; to appear in proceedings of QuantumComm 2009 Workshop on Quantum and Classical Information Security; version 2 minor content revision

Limited evolution of West Nile virus has occurred during its southwesterly spread in the United States

AbstractAnalysis of partial nucleotide sequences of nine West Nile virus strains isolated in southeast Texas during June–August 2002 revealed a maximum of 0.35% nucleotide variation from a New York 1999 strain. Two sequence subtypes were identified that differed from each other by approximately 0.5%, suggesting multiple introductions of virus to this area. Analysis of sequences from cloned PCR products for one strain revealed up to 0.6% divergence from the consensus sequence at the subpopulation level. The presence of unique patterns of small numbers of mutations in North American West Nile strains studied to date may suggest the absence of a strong selective pressure to drive the emergence of dominant variants

Cost and Outcome of Behavioural Activation versus Cognitive Behavioural Therapy for Depression (COBRA): a randomised, controlled, non-inferiority trial

Background Depression is a common, debilitating, and costly disorder. Many patients request psychological therapy, but the best-evidenced therapy—cognitive behavioural therapy (CBT)—is complex and costly. A simpler therapy—behavioural activation (BA)—might be as effective and cheaper than is CBT. We aimed to establish the clinical efficacy and cost-effectiveness of BA compared with CBT for adults with depression. Methods In this randomised, controlled, non-inferiority trial, we recruited adults aged 18 years or older meeting Diagnostic and Statistical Manual of Mental Disorders IV criteria for major depressive disorder from primary care and psychological therapy services in Devon, Durham, and Leeds (UK). We excluded people who were receiving psychological therapy, were alcohol or drug dependent, were acutely suicidal or had attempted suicide in the previous 2 months, or were cognitively impaired, or who had bipolar disorder or psychosis or psychotic symptoms. We randomly assigned participants (1:1) remotely using computer-generated allocation (minimisation used; stratified by depression severity [Patient Health Questionnaire 9 (PHQ-9) score of <19 vs ≥19], antidepressant use, and recruitment site) to BA from junior mental health workers or CBT from psychological therapists. Randomisation done at the Peninsula Clinical Trials Unit was concealed from investigators. Treatment was given open label, but outcome assessors were masked. The primary outcome was depression symptoms according to the PHQ-9 at 12 months. We analysed all those who were randomly allocated and had complete data (modified intention to treat [mITT]) and also all those who were randomly allocated, had complete data, and received at least eight treatment sessions (per protocol [PP]). We analysed safety in the mITT population. The non-inferiority margin was 1·9 PHQ-9 points. This trial is registered with the ISCRTN registry, number ISRCTN27473954. Findings Between Sept 26, 2012, and April 3, 2014, we randomly allocated 221 (50%) participants to BA and 219 (50%) to CBT. 175 (79%) participants were assessable for the primary outcome in the mITT population in the BA group compared with 189 (86%) in the CBT group, whereas 135 (61%) were assessable in the PP population in the BA group compared with 151 (69%) in the CBT group. BA was non-inferior to CBT (mITT: CBT 8·4 PHQ-9 points [SD 7·5], BA 8·4 PHQ-9 points [7·0], mean difference 0·1 PHQ-9 points [95% CI −1·3 to 1·5], p=0·89; PP: CBT 7·9 PHQ-9 points [7·3]; BA 7·8 [6·5], mean difference 0·0 PHQ-9 points [–1·5 to 1·6], p=0·99). Two (1%) non-trial-related deaths (one [1%] multidrug toxicity in the BA group and one [1%] cancer in the CBT group) and 15 depression-related, but not treatment-related, serious adverse events (three in the BA group and 12 in the CBT group) occurred in three [2%] participants in the BA group (two [1%] patients who overdosed and one [1%] who self-harmed) and eight (4%) participants in the CBT group (seven [4%] who overdosed and one [1%] who self-harmed). Interpretation We found that BA, a simpler psychological treatment than CBT, can be delivered by junior mental health workers with less intensive and costly training, with no lesser effect than CBT. Effective psychological therapy for depression can be delivered without the need for costly and highly trained professionals. Funding National Institute for Health Research

Genetic Divergence and Dispersal of Yellow Fever Virus, Brazil

Examining viral isolates collected over 66 years shows divergence into clades and potential dispersal by human migration

Quantitative Treatment of Decoherence

We outline different approaches to define and quantify decoherence. We argue that a measure based on a properly defined norm of deviation of the density matrix is appropriate for quantifying decoherence in quantum registers. For a semiconductor double quantum dot qubit, evaluation of this measure is reviewed. For a general class of decoherence processes, including those occurring in semiconductor qubits, we argue that this measure is additive: It scales linearly with the number of qubits.Comment: Revised version, 26 pages, in LaTeX, 3 EPS figure

Measurement of the Atmospheric Muon Spectrum from 20 to 3000 GeV

The absolute muon flux between 20 GeV and 3000 GeV is measured with the L3 magnetic muon spectrometer for zenith angles ranging from 0 degree to 58 degree. Due to the large exposure of about 150 m2 sr d, and the excellent momentum resolution of the L3 muon chambers, a precision of 2.3 % at 150 GeV in the vertical direction is achieved. The ratio of positive to negative muons is studied between 20 GeV and 500 GeV, and the average vertical muon charge ratio is found to be 1.285 +- 0.003 (stat.) +- 0.019 (syst.).Comment: Total 32 pages, 9Figure

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types