Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Prey and Non-prey Arthropods Sharing a Host Plant: Effects on Induced Volatile Emission and Predator Attraction

It is well established that plants infested with a single herbivore species can attract specific natural enemies through the emission of herbivore-induced volatiles. However, it is less clear what happens when plants are simultaneously attacked by more than one species. We analyzed volatile emissions of lima bean and cucumber plants upon multi-species herbivory by spider mites (Tetranychus urticae) and caterpillars (Spodoptera exigua) in comparison to single-species herbivory. Upon herbivory by single or multiple species, lima bean and cucumber plants emitted volatile blends that comprised mostly the same compounds. To detect additive, synergistic, or antagonistic effects, we compared the multi-species herbivory volatile blend with the sum of the volatile blends induced by each of the herbivore species feeding alone. In lima bean, the majority of compounds were more strongly induced by multi-species herbivory than expected based on the sum of volatile emissions by each of the herbivores separately, potentially caused by synergistic effects. In contrast, in cucumber, two compounds were suppressed by multi-species herbivory, suggesting the potential for antagonistic effects. We also studied the behavioral responses of the predatory mite Phytoseiulus persimilis, a specialized natural enemy of spider mites. Olfactometer experiments showed that P. persimilis preferred volatiles induced by multi-species herbivory to volatiles induced by S. exigua alone or by prey mites alone. We conclude that both lima bean and cucumber plants effectively attract predatory mites upon multi-species herbivory, but the underlying mechanisms appear different between these species

Intravesical oxybutinin chloride in children with intermittent catheterization: Sonographic findings

The sonographic findings in the bladder are presented in four children with myelomeningocele and neurogenic dysfunction of the bladder, who were treated with intermittent self-catheterization and intravesical oxybutinin chloride. All were referred for routine sonography of the urinary tract. Each had infused a crushed tablet of oxybutinin chloride intravesically 30–120 min before the examination. In two children, brightly echogenic, non-shadowing particles were suspended in the bladder urine. In one of these, the particles swirled giving the impression of a “snowstorm”; in the other, most of the particles gradually settled forming an irregular clump on the bladder base. In the remaining two children, the urine appeared diffusely hazy with innumerable tiny particles giving the impression of a fine mist filling the bladder. The sonographic appearance of the urine in the bladder after intravesical instillation of crushed tablets can be dramatic and can simulate pus, blood, fungus, or other debris in the bladder lumen. In the absence of clinical symptoms or hematuria, a history of recent infusion of medication into the bladder should be sought.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46706/1/247_2005_Article_BF02012126.pd

Fungal volatile organic compounds: emphasis on their plant growth-promoting

Fungal volatile organic compounds (VOCs) commonly formed bioactive interface between plants and countless of microorganisms on the above- and below-ground plant-fungus interactions. Fungal-plant interactions symbolize intriguingly biochemical complex and challenging scenarios that are discovered by metabolomic approaches. Remarkably secondary metabolites (SMs) played a significant role in the virulence and existence with plant-fungal pathogen interaction; only 25% of the fungal gene clusters have been functionally identified, even though these numbers are too low as compared with plant secondary metabolites. The current insights on fungal VOCs are conducted under lab environments and to apply small numbers of microbes; its molecules have significant effects on growth, development, and defense system of plants. Many fungal VOCs supported dynamic processes, leading to countless interactions between plants, antagonists, and mutualistic symbionts. The fundamental role of fungal VOCs at field level is required for better understanding, so more studies will offer further constructive scientific evidences that can show the cost-effectiveness of ecofriendly and ecologically produced fungal VOCs for crop welfare

Thermal Stability of the Human Immunodeficiency Virus Type 1 (HIV-1) Receptors, CD4 and CXCR4, Reconstituted in Proteoliposomes

BACKGROUND: The entry of human immunodeficiency virus (HIV-1) into host cells involves the interaction of the viral exterior envelope glycoprotein, gp120, and receptors on the target cell. The HIV-1 receptors are CD4 and one of two chemokine receptors, CCR5 or CXCR4. METHODOLOGY/PRINCIPAL FINDINGS: We created proteoliposomes that contain CD4, the primary HIV-1 receptor, and one of the coreceptors, CXCR4. Antibodies against CD4 and CXCR4 specifically bound the proteoliposomes. CXCL12, the natural ligand for CXCR4, and the small-molecule CXCR4 antagonist, AMD3100, bound the proteoliposomes with affinities close to those associated with the binding of these molecules to cells expressing CXCR4 and CD4. The HIV-1 gp120 exterior envelope glycoprotein bound tightly to proteoliposomes expressing only CD4 and, in the presence of soluble CD4, bound weakly to proteoliposomes expressing only CXCR4. The thermal stability of CD4 and CXCR4 inserted into liposomes was examined. Thermal denaturation of CXCR4 followed second-order kinetics, with an activation energy (E(a)) of 269 kJ/mol (64.3 kcal/mol) and an inactivation temperature (T(i)) of 56°C. Thermal inactivation of CD4 exhibited a reaction order of 1.3, an E(a) of 278 kJ/mol (66.5 kcal/mol), and a T(i) of 52.2°C. The second-order denaturation kinetics of CXCR4 is unusual among G protein-coupled receptors, and may result from dimeric interactions between CXCR4 molecules. CONCLUSIONS/SIGNIFICANCE: Our studies with proteoliposomes containing the native HIV-1 receptors allowed an examination of the binding of biologically important ligands and revealed the higher-order denaturation kinetics of these receptors. CD4/CXCR4-proteoliposomes may be useful for the study of virus-target cell interactions and for the identification of inhibitors