Language-based access control approach for component-based software applications

Security in component-based software applications is studied by looking at information leakage from one component to another through operation calls. Components and security specifications about confidentiality as regular languages are modelled. Then a systematic way is provided to synthesise an access control mechanism, which not only guarantees all specifications to be obeyed, but also allows each user to attain maximum permissive behaviours

Modeling water waves beyond perturbations

In this chapter, we illustrate the advantage of variational principles for modeling water waves from an elementary practical viewpoint. The method is based on a `relaxed' variational principle, i.e., on a Lagrangian involving as many variables as possible, and imposing some suitable subordinate constraints. This approach allows the construction of approximations without necessarily relying on a small parameter. This is illustrated via simple examples, namely the Serre equations in shallow water, a generalization of the Klein-Gordon equation in deep water and how to unify these equations in arbitrary depth. The chapter ends with a discussion and caution on how this approach should be used in practice.Comment: 15 pages, 1 figure, 39 references. This document is a contributed chapter to an upcoming volume to be published by Springer in Lecture Notes in Physics Series. Other author's papers can be downloaded at http://www.denys-dutykh.com

Multiple moderator meta-analysis using the R-package Meta-CART

In meta-analysis, heterogeneity often exists between studies. Knowledge about study features (i.e., moderators) that can explain the heterogeneity in effect sizes can be useful for researchers to assess the effectiveness of existing interventions and design new potentially effective interventions. When there are multiple moderators, they may amplify or attenuate each other's effect on treatment effectiveness. However, in most meta-analysis studies, interaction effects are neglected due to the lack of appropriate methods. The method meta-CART was recently proposed to identify interactions between multiple moderators. The analysis result is a tree model in which the studies are partitioned into more homogeneous subgroups by combinations of moderators. This paper describes the R-packagemetacart, which provides user-friendly functions to conduct meta-CART analyses in R. This package can fit both fixed- and random-effects meta-CART, and can handle dichotomous, categorical, ordinal and continuous moderators. In addition, a new look ahead procedure is presented. The application of the package is illustrated step-by-step using diverse examples.Analysis and Stochastic

Selection of antibody single-chain variable fragments with improved carbohydrate binding by phage display.

A single-chain variable fragment (Fv) version of a murine monoclonal antibody, Se155-4, specific for Salmonella serogroup B O-polysaccharide, was used as a model system for testing monovalent phage display as a route for enhancing the relatively low affinities that typify anti-carbohydrate antibodies. Random single-chain Fv mutant libraries generated by chemical and error-prone polymerase chain reaction methods were panned against the serogroup B lipopolysaccharide. Panning of a randomly mutated heavy chain variable domain library indicated selection for improved serogroup B binders and yielded six mutants, five of which showed wild type activity by enzyme immunoassay. Two of these were apparently selected on the basis of better functional single-chain Fv yield in Escherichia coli. A heavy chain mutation (Ile77-->Thr) in one mutant, 3B1, appeared to have a particularly dramatic effect, resulting in yields of approximately 120 mg/liter of functional periplasmic product. The sixth mutant, 4B2, had complementarity determining region 1 (CDR1) and CDR2 mutations and demonstrated 10-fold improved binding, by enzyme immunoassay, relative to the wild type. Extensive analysis of antigen-antibody interactions indicated that the improved binding properties of 4B2 were attributable to a higher association rate constant and interaction with an epitope that is larger than the trisaccharide recognized by the wild type. None of the mutations involved known trisaccharide contact residues; this was consistent with analysis of wild type and mutant single-chain Fvs by titration microcalorimetry. Examination of the structure indicated that two mutations in the heavy chain CDR2 provided improved surface complementarity between the protein and the extended epitope encompassing 2 additional hexose residues. However, introduction of only the CDR2 mutations into the wild type structure failed to confer the improved binding properties of 4B2, indicating an indirect effect by the more distant mutations. Panning of randomly mutated light chain variable domain and full-length single-chain Fv mutant libraries did not yield mutants with improved assembly or binding properties

The association between dry needling-induced twitch response and change in pain and muscle function in patients with low back pain: a quasi-experimental study

Objective To investigate the relationship between dry needling-induced twitch response and change in pain, disability, nociceptive sensitivity, and lumbar multifidus muscle function, in patients with low back pain (LBP). Design Quasi-experimental study. Setting Department of Defense Academic Institution. Participants Sixty-six patients with mechanical LBP (38 men, 28 women, age: 41.3 [9.2] years). Interventions Dry needling treatment to the lumbar multifidus muscles between L3 and L5 bilaterally. Main outcome measures Examination procedures included numeric pain rating, the Modified Oswestry Disability Index, pressure algometry, and real-time ultrasound imaging assessment of lumbar multifidus muscle function before and after dry needling treatment. Pain pressure threshold (PPT) was used to measure nocioceptive sensitivity. The percent change in muscle thickness from rest to contraction was calculated to represent muscle function. Participants were dichotomized and compared based on whether or not they experienced at least one twitch response on the most painful side and spinal level during dry needling. Results Participants experiencing local twitch response during dry needling exhibited greater immediate improvement in lumbar multifidus muscle function than participants who did not experience a twitch (thickness change with twitch: 12.4 [6]%, thickness change without twitch: 5.7 [11]%, mean difference adjusted for baseline value, 95%CI: 4.4 [1 to 8]%). However, this difference was not present after 1-week, and there were no between-groups differences in disability, pain intensity, or nociceptive sensitivity. Conclusions The twitch response during dry needling might be clinically relevant, but should not be considered necessary for successful treatment

Interlayer Exchange Coupling Mediated by Valence Band Electrons

The interlayer exchange coupling mediated by valence band electrons in all-semiconductor IV-VI magnetic/nonmagnetic superlattices is studied theoretically. A 3D tight-binding model, accounting for the band and magnetic structure of the constituent superlattice components is used to calculate the spin-dependent part of the total electronic energy. The antiferromagnetic coupling between ferromagnetic layers in EuS/PbS superlattices is obtained, in agreement with the experimental evidences. The results obtained for the coupling between antiferromagnetic layers in EuTe/PbTe superlattices are also presented.Comment: 8 pages, 6 figures, to be submitted to Phys.Rev.

Aerosol particles at a high-altitude site on the Southeast Tibetan Plateau, China: Implications for pollution transport from South Asia

      Bulk aerosol samples were collected from 16 July 2008 to 26 July 2009 at Lulang, a high-altitude (>3300m above sea level) site on the southeast Tibetan Plateau (TP); objectives were to determine chemical characteristics of the aerosol and identify its major sources. We report aerosol (total suspended particulate, TSP) mass levels and the concentrations of selected elements, carbonaceous species, and water-soluble inorganic ions. Significant buildup of aerosol mass and chemical species (organic carbon, element carbon, nitrate, and sulfate) occurred during the premonsoon, while lower concentrations were observed during the monsoon. Seasonal variations in aerosol and chemical species were driven by precipitation scavenging and atmospheric circulation. Two kinds of high-aerosol episodes were observed: one was enriched with dust indicators (Fe and Ca2+), and the other was enhanced with organic and elemental carbon (OC and EC), SO42−, NO3−, and Fe. The TSP loadings during the latter were 3 to 6 times those on normal days. The greatest aerosol optical depths (National Centers for Environmental Protection/National Center for Atmospheric Research reanalysis) occurred upwind, in eastern India and Bangladesh, and trajectory analysis indicates that air pollutants were transported from the southwest. Northwesterly winds brought high levels of natural emissions (Fe, Ca2+) and low levels of pollutants (SO42−, NO3−, K+, and EC); this was consistent with high aerosol optical depths over the western deserts and Gobi. Our work provides evidence that both geological and pollution aerosols from surrounding regions impact the aerosol population of the TP

Composite Fermion Description of Correlated Electrons in Quantum Dots: Low Zeeman Energy Limit

We study the applicability of composite fermion theory to electrons in two-dimensional parabolically-confined quantum dots in a strong perpendicular magnetic field in the limit of low Zeeman energy. The non-interacting composite fermion spectrum correctly specifies the primary features of this system. Additional features are relatively small, indicating that the residual interaction between the composite fermions is weak. \footnote{Published in Phys. Rev. B {\bf 52}, 2798 (1995).}Comment: 15 pages, 7 postscript figure

The Energetics of Li Off-Centering in K1−x_{1-x}Lix_xTaO3_3; First Principles Calculations

K$_{1-x}$Li$_{x}$TaO$_3$ (KLT) solid solutions exhibit a variety of interesting physical phenomena related to large displacements of Li-ions from ideal perovskite A-site positions. First-principles calculations for KLT supercells were used to investigate these phenomena. Lattice dynamics calculations for KLT exhibit a Li off-centering instability. The energetics of Li-displacements for isolated Li-ions and for Li-Li pairs up to 4th neighbors were calculated. Interactions between nearest neighbor Li-ions, in a Li-Li pair, strongly favor ferroelectric alignment along the pair axis. Such Li-Li pairs can be considered "seeds" for polar nanoclusters in KLT. Electrostriction, local oxygen relaxation, coupling to the KT soft-mode, and interactions with neighboring Li-ions all enhance the polarization from Li off-centering. Calculated hopping barriers for isolated Li-ions and for nearest neighbor Li-Li pairs are in good agreement with Arrhenius fits to experimental dielectric data.Comment: 14 pages including 10 figures. To Physical Review B. Replaced after corrections due to referees' remark