Tightened reachability constraints for the verification of linear hybrid systems

In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.     

New Phenolic Glycosides from Clematis mandshurica

Three new phenolic glycosides, clemomandshuricosides A–C ( 1 – 3 , resp.) and two new D ‐ribono‐γ‐lactone derivatives, 4 and 5 , were isolated from the roots and rhizomes of Clematis mandshurica Rupr ., together with six known compounds. Their structures were elucidated on the basis of chemical, physicochemical, and spectroscopic evidence.     

Energy-transfer Process Accelerated by the Formation of Electrostatically Stabilized Aggregate (ESAg)

We have proposed that oppositely-charged long-chain molecules with roughly eight to sixteen carbons might form electrostatically stabilized aggregates (ESAgs) by both the hydrophobic-lipophilic interaction (HLI) and the electrostatically attractive force in the concentration range of 10-7 mol/L to 10-5 mol/L1,2. Thus ESAg is yet another structural niche for molecular assemblages in-between the simple aggregate and the micelles. That ESAg species existing at concentrations much lower tha…     

Efficient AuPd@GO-based electrochemical nanoprobe for sensitive detection of histone acetylase activity and its inhibitor

Analytical and Bioanalytical Chemistry - Histone acetylase (HAT p300), which has aroused great concern in fundamental research and clinical applications, serves as one class of significant tumor...     

Designer Xylanosomes: Protein Nanostructures for Enhanced Xylan Hydrolysis

This work reports the successful design, construction, and application of multi-functional, self-assembling protein complex, termed xylanosomes. Using the architecture of cellulosomes as template, these structures were designed specifically for hemicellulose hydrolysis. Four different xylanosomes were developed, with up to three different hemicellulase activities combined into a single structure. Each xylanosome was composed of two native or chimeric hemicellulases and tested on wheat arabinoxylan or destarched corn bran for enzymatic hydrolysis. After 24-h incubation, soluble sugars released from arabinoxylan increased up to 30?% with xylanosomes containing a xylanase and bi-functional arabinofuranosidase/xylosidase over the corresponding free, unstructured enzymes. Additionally, xylanosomes with a xylanase and a ferulic acid esterase removed between 15 and 20?% more ferulic acid from wheat arabinoxylan than free enzymes. Furthermore, xylanosomes exhibited synergy with cellulases on destarched corn bran, suggesting a possible use of these nanostructures in cellulose hydrolysis.     

Pinning cluster synchronization of delayed complex dynamical networks with nonidentical nodes and impulsive effects

Nonlinear Dynamics - This paper studies the exponential cluster synchronization problem of complex dynamical networks with delayed couplings and nonidentical nodes. A new type of pinning impulsive...     

Quantum Private Comparison Protocol with Linear Optics

In this paper, we propose an innovative quantum private comparison(QPC) protocol based on partial Bell-state measurement from the view of linear optics, which enabling two parties to compare the equality of their private information with the help of a semi-honest third party. Partial Bell-state measurement has been realized by using only linear optical elements in experimental measurement-device-independent quantum key distribution(MDI-QKD) schemes, which makes us believe that our protocol can be realized in the near future. The security analysis shows that the participants will not leak their private information.