Effect of third- and fourth-order moments on the modeling of Unresolved Transition Arrays

The impact of the third (skewness) and fourth (kurtosis) reduced centered moments on the statistical modeling of E1 lines in complex atomic spectra is investigated through the use of Gram-Charlier, Normal Inverse Gaussian and Generalized Gaussian distributions. It is shown that the modeling of unresolved transition arrays with non-Gaussian distributions may reveal more detailed structures, due essentially to the large value of the kurtosis. In the present work, focus is put essentially on the Generalized Gaussian, the power of the argument in the exponential being constrained by the kurtosis value. The relevance of the new statistical line distribution is checked by comparisons with smoothed detailed line-by-line calculations and through the analysis of 2p-3d transitions of recent laser or Z-pinch absorption measurements. The issue of calculating high-order moments is also discussed (Racah algebra, Jucys graphical method, semi-empirical approach ...).Comment: submitted to High Energy Density Physic

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

Identification and structural characterisation of a partially arabinosylated lipoarabinomannan variant isolated from a Corynebacterium glutamicum ubiAmutant

Arabinan polysaccharide side-chains are present in both Mycobacterium tuberculosis and Corynebacterium glutamicum in the heteropolysaccharide arabinogalactan (AG), and in M. tuberculosis in the lipoglycan, lipoarabinomannan (LAM). Herein, we show by quantitative sugar and glycosyl linkage analysis that C. glutamicum possesses a much smaller LAM version, Cg-LAM, characterised by single t-Araf residues linked to th

Further Stable methods for the calculation of partition functions

The extension to recursion over holes of the Gilleron and Pain method for calculating partition functions of a canonical ensemble of non-interacting bound electrons is presented as well as a generalization for the efficient computation of collisional line broadening

PIM2 Induced COX-2 and MMP-9 Expression in Macrophages Requires PI3K and Notch1 Signaling

Activation of inflammatory immune responses during granuloma formation by the host upon infection of mycobacteria is one of the crucial steps that is often associated with tissue remodeling and breakdown of the extracellular matrix. In these complex processes, cyclooxygenase-2 (COX-2) plays a major role in chronic inflammation and matrix metalloproteinase-9 (MMP-9) significantly in tissue remodeling. In this study, we investigated the molecular mechanisms underlying Phosphatidyl-myo-inositol dimannosides (PIM2), an integral component of the mycobacterial envelope, triggered COX-2 and MMP-9 expression in macrophages. PIM2 triggers the activation of Phosphoinositide-3 Kinase (PI3K) and Notch1 signaling leading to COX-2 and MMP-9 expression in a Toll-like receptor 2 (TLR2)-MyD88 dependent manner. Notch1 signaling perturbations data demonstrate the involvement of the cross-talk with members of PI3K and Mitogen activated protein kinase pathway. Enforced expression of the cleaved Notch1 in macrophages induces the expression of COX-2 and MMP-9. PIM2 triggered significant p65 nuclear factor -κB (NF-κB) nuclear translocation that was dependent on activation of PI3K or Notch1 signaling. Furthermore, COX-2 and MMP-9 expression requires Notch1 mediated recruitment of Suppressor of Hairless (CSL) and NF-κB to respective promoters. Inhibition of PIM2 induced COX-2 resulted in marked reduction in MMP-9 expression clearly implicating the role of COX-2 dependent signaling events in driving the MMP-9 expression. Taken together, these data implicate PI3K and Notch1 signaling as obligatory early proximal signaling events during PIM2 induced COX-2 and MMP-9 expression in macrophages

Mycobacterium marinum MMAR_2380, a predicted transmembrane acyltransferase, is essential for the presence of the mannose cap on lipoarabinomannan

Lipoarabinomannan (LAM) is a major glycolipid in the mycobacterial cell envelope. LAM consists of a mannosylphosphatidylinositol (MPI) anchor, a mannan core and a branched arabinan domain. The termini of the arabinan branches can become substituted with one to three α(1→2)-linked mannosyl residues, the mannose cap, producing ManLAM. ManLAM has been associated with a range of different immunomodulatory properties of Mycobacterium tuberculosis during infection of the host. In some of these effects, the presence of the mannose cap on ManLAM appears to be crucial for its activity. So far, in the biosynthesis of the mannose cap on ManLAM, two enzymes have been reported to be involved: a mannosyltransferase that adds the first mannosyl residue of the mannose caps to the arabinan domain of LAM, and another mannosyltransferase that elongates the mannose cap up to three mannosyl residues. Here, we report that a third gene is involved, MMAR_2380, which is the Mycobacterium marinum orthologue of Rv1565c. MMAR_2380 encodes a predicted transmembrane acyltransferase. In M. marinum ΔMMAR_2380, the LAM arabinan domain is still intact, but the mutant LAM lacks the mannose cap. Additional effects of mutation of MMAR_2380 on LAM were observed: a higher degree of branching of both the arabinan domain and the mannan core, and a decreased incorporation of [1,2-14C]acetate into the acyl chains in mutant LAM as compared with the wild-type form. This latter effect was also observed for related lipoglycans, i.e. lipomannan (LM) and phosphatidylinositol mannosides (PIMs). Furthermore, the mutant strain showed increased aggregation in liquid cultures as compared with the wild-type strain. All phenotypic traits of M. marinum ΔMMAR_2380, the deficiency in the mannose cap on LAM and changes at the cell surface, could be reversed by complementing the mutant strain with MMAR_2380. Strikingly, membrane preparations of the mutant strain still showed enzymic activity for the arabinan mannose-capping mannosyltransferase similar to that of the wild-type strain. Although the exact function of MMAR_2380 remains unknown, we show that the protein is essential for the presence of a mannose cap on LAM

Iron and Nickel spectral opacity calculations in conditions relevant for pulsating stellar envelopes and experiments

Seismology of stars is strongly developing. To address this question we have formed an international collaboration OPAC to perform specific experimental measurements, compare opacity calculations and improve the opacity calculations in the stellar codes [1]. We consider the following opacity codes: SCO, CASSANDRA, STA, OPAS, LEDCOP, OP, SCO-RCG. Their comparison has shown large differences for Fe and Ni in equivalent conditions of envelopes of type II supernova precursors, temperatures between 15 and 40 eV and densities of a few mg/cm3 [2, 3, 4]. LEDCOP, OPAS, SCO-RCG structure codes and STA give similar results and differ from OP ones for the lower temperatures and for spectral interval values [3]. In this work we discuss the role of Configuration Interaction (CI) and the influence of the number of used configurations. We present and include in the opacity code comparisons new HULLAC-v9 calculations [5, 6] that include full CI. To illustrate the importance of this effect we compare different CI approximations (modes) available in HULLAC-v9 [7]. These results are compared to previous predictions and to experimental data. Differences with OP results are discussed.Comment: 4 pages, 3 figures, conference Inertial Fusion Sciences and Applications, Bordeaux, 12th to 16th September 2011; EPJ web of Conferences 201

Abstraction-based Malware Analysis Using Rewriting and Model Checking

International audienceWe propose a formal approach for the detection of high-level malware behaviors. Our technique uses a rewriting-based abstraction mechanism, producing abstracted forms of program traces, independent of the program implementation. It then allows us to handle similar be- haviors in a generic way and thus to be robust with respect to variants. These behaviors, defined as combinations of patterns given in a signa- ture, are detected by model-checking on the high-level representation of the program. We work on unbounded sets of traces, which makes our technique useful not only for dynamic analysis, considering one trace at a time, but also for static analysis, considering a set of traces inferred from a control flow graph. Abstracting traces with rewriting systems on first order terms with variables allows us in particular to model dataflow and to detect information leak