Partial order and contextual net semantics for atomic and locally atomic CC programs

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Insect growth regulators as potential insecticides to control olive fruit fly (Bactrocera oleae Rossi): insect toxicity bioassays and molecular docking approach

Olive fruit fly, Bactrocera oleae (Rossi), is a key pest in olive orchards, causing serious economic damage. To date, the pest has already developed resistance to the insecticides commonly applied to control it. Thus, in searching for new products for an accurate resistance management programme, targeting the ecdysone receptor (EcR)might provide alternative compounds for use in such programmes. RESULTS: Residual contact and oral exposure in the laboratory of B. oleae adults to the dibenzoylhydrazine-based compounds methoxyfenozide, tebufenozide and RH-5849 showed different results. Methoxyfenozide and tebufenozide did not provoke anynegative effectsontheadults,but RH-5849 killed98-100%of the treated insects15 days after treatment. Theligand-binding domain (LBD) of the EcR of B. oleae (BoEcR-LBD) was sequenced, and a homology protein model was constructed. Owing to a restricted extent of the ligand-binding cavity of the BoEcR-LBD, docking experiments with the three tested insecticides showed a severe steric clash in the case of methoxyfenozide and tebufenozide, while this was not the case with RH-5849. CONCLUSION: IGR molecules similar to the RH-5849 molecule, and different from methoxyfenozide and tebufenozide, might have potential in controlling this pest.

Vibrational population relaxation of carbon monoxide in the heme pocket of photolyzed carbonmonoxy myoglobin: Comparison of time-resolved mid-IR absorbance experiments and molecular dynamics simulations

The vibrational energy relaxation of carbon monoxide in the heme pocket of sperm whale myoglobin was studied by using molecular dynamics simulation and normal mode analysis methods. Molecular dynamics trajectories of solvated myoglobin were run at 300 K for both the δ- and ɛ-tautomers of the distal His-64. Vibrational population relaxation times of 335 ± 115 ps for the δ-tautomer and 640 ± 185 ps for the ɛ-tautomer were estimated by using the Landau–Teller model. Normal mode analysis was used to identify those protein residues that act as the primary “doorway” modes in the vibrational relaxation of the oscillator. Although the CO relaxation rates in both the ɛ- and δ-tautomers are similar in magnitude, the simulations predict that the vibrational relaxation of the CO is faster in the δ-tautomer with the distal His playing an important role in the energy relaxation mechanism. Time-resolved mid-IR absorbance measurements were performed on photolyzed carbonmonoxy hemoglobin (Hb13CO). From these measurements, a T1 time of 600 ± 150 ps was determined. The simulation and experimental estimates are compared and discussed.

Tyrosine-phosphorylated Caveolin-1: Immunolocalization and Molecular Characterization

Caveolin-1 was discovered as a major substrate for v-Src, but the effect of its tyrosine phosphorylation has not been known. We generated a specific antibody (PY14) to caveolin-1 phosphorylated at tyrosine 14 and studied the significance of the modification. By Western blotting of lysates of v-Src–expressing cells, PY14 recognized not only a 22-kDa band (the position of nonphosphorylated caveolin-1) but bands at 23–24 and 25 kDa. Bands of slower mobility were diminished by dephosphorylation and were also observed for mutant caveolin-1 lacking tyrosine 14. By immunofluorescence microscopy, PY14 did not label normal cells but detected large dots in v-Src–expressing cells. Immunoelectron microscopy revealed that the dots corresponded to aggregated caveolae and/or vesicles of various sizes; besides, the label was observed in intramembrane particle-free areas in the plasma membrane, which appeared to have been formed by fusion of flattened caveolae. A positive reaction with PY14 was found in normal cells after vanadate or pervanadate treatment; it occurred mainly at 22 kDa by Western blotting and was not seen as large dots by immunofluorescence microscopy. Detergent solubility, oligomerization, and association with caveolin-2 were observed similarly for caveolin-1 in normal and v-Src–expressing cells. The results indicate that phosphorylation of caveolin-1 in v-Src–expressing cells occurs at multiple residues and induces flattening, aggregation, and fusion of caveolae and/or caveolae-derived vesicles.

Kinetic equilibrium of forces and molecular events in muscle contraction

In biomolecular systems, the mechanical transfer of free energy occurs with both high efficiency and high speed. It is shown here that such a transfer can be achieved only if the participating free-energy-storing elements exhibit opposing relationships between their content of free energy and the force they exert in the transfer direction. A kinetic equilibrium of forces (KEF) results, in which the transfer of free energy is mediated essentially by thermal molecular motion. On the basis of present evidence, KEF is used as a guiding principle in developing a mechanical model of the crossbridge cycle in muscle contraction. The model allows the basic features of molecular events to be visualized in terms of plausible structures. Real understanding of the process will require identification of the elements that perform the functions described here. Besides chemomechanical energy transduction, KEF may have a role in other biomolecular processes in which free energy is transferred mechanically over large distances.

Respiratory syncytial virus (RSV) SH and G proteins are not essential for viral replication in vitro: Clinical evaluation and molecular characterization of a cold-passaged, attenuated RSV subgroup B mutant

A live, cold-passaged (cp) candidate vaccine virus, designated respiratory syncytial virus (RSV) B1 cp-52/2B5 (cp-52), replicated efficiently in Vero cells, but was found to be overattenuated for RSV-seronegative infants and children. Sequence analysis of reverse-transcription–PCR-amplified fragments of this mutant revealed a large deletion spanning most of the coding sequences for the small hydrophobic (SH) and attachment (G) proteins. Northern blot analysis of cp-52 detected multiple unique read-through mRNAs containing SH and G sequences, consistent with a deletion mutation spanning the SH:G gene junction. Immunological studies confirmed that an intact G glycoprotein was not produced by the cp-52 virus. Nonetheless, cp-52 was infectious and replicated to high titer in tissue culture despite the absence of the viral surface SH and G glycoproteins. Thus, our characterization of this negative-strand RNA virus identified a novel replication-competent deletion mutant lacking two of its three surface glycoproteins. The requirement of SH and G for efficient replication in vivo suggests that selective deletion of one or both of these RSV genes may provide an alternative or additive strategy for developing an optimally attenuated vaccine candidate.

Induced fit DNA recognition by a minor groove binding analogue of Hoechst 33258: fluctuations in DNA A tract structure investigated by NMR and molecular dynamics simulations

NMR analysis and molecular dynamics simulations of d(GGTAATTACC)2 and its complex with a tetrahydropyrimidinium analogue of Hoechst 33258 suggest that DNA minor groove recognition in solution involves a combination of conformational selection and induced fit, rather than binding to a preorganised site. Analysis of structural fluctuations in the bound and unbound states suggests that the degree of induced fit observed is primarily a consequence of optimising van der Waals contacts with the walls of the minor groove resulting in groove narrowing through: (i) changes in base step parameters, including increased helical twist and propeller twist; (ii) changes to the sugar–phosphate backbone conformation to engulf the bound ligand; (iii) suppression of bending modes at the TpA steps. In contrast, the geometrical arrangement of hydrogen bond acceptors on the groove floor appears to be relatively insensitive to DNA conformation (helical twist and propeller twist). We suggest that effective recognition of DNA sequences (in this case an A tract structure) appears to depend to a significant extent on the sequence being flexible enough to be able to adopt the geometrically optimal conformation compatible with the various binding interactions, rather than involving ‘lock and key’ recognition.

Purification and Molecular Genetic Characterization of ZPU1, a Pullulanase-Type Starch-Debranching Enzyme from Maize1

This study identified and purified specific isoamylase- and pullulanase-type starch-debranching enzymes (DBEs) present in developing maize (Zea mays L.) endosperm. The cDNA clone Zpu1 was isolated based on its homology with a rice (Oryza sativa L.) cDNA coding for a pullulanase-type DBE. Comparison of the protein product, ZPU1, with 18 other DBEs identified motifs common to both isoamylase- and pullulanase-type enzymes, as well as class-specific sequence blocks. Hybridization of Zpu1 to genomic DNA defined a single-copy gene, zpu1, located on chromosome 2. Zpu1 mRNA was abundant in endosperm throughout starch biosynthesis, but was not detected in the leaf or the root. Anti-ZPU1 antiserum specifically recognized the approximately 100-kD ZPU1 protein in developing endosperm, but not in leaves. Pullulanase- and isoamylase-type DBEs were purified from extracts of developing maize kernels. The pullulanase-type activity was identified as ZPU1 and the isoamylase-type activity as SU1. Mutations of the sugary1 (su1) gene are known to cause deficiencies of SU1 isoamylase and a pullulanase-type DBE. ZPU1 activity, protein level, and electrophoretic mobility were altered in su1-mutant kernels, indicating that it is the affected pullulanase-type DBE. The Zpu1 transcript levels were equivalent in nonmutant and su1-mutant kernels, suggesting that coordinated regulation of ZPU1 and SU1 occurs posttranscriptionally.