Selective Catalytic Isomerization of β-Pinene Oxide to Perillyl Alcohol Enhanced by Protic Tetraimidazolium Nitrate

A series of tetraimidazolium salts with different anions was prepared and applied in the isomerization of β-pinene oxide. After examining the activity of different catalysts, a remarkable enhancement of the selectivity of perillyl alcohol (47 %) was obtained over [PEimi][HNO₃]₄ under mild reaction conditions and using DMSO as the solvent. Furthermore, noncovalent interactions between solvent molecules and the catalyst were found by FT-IR spectroscopy and confirmed by computational chemistry. The homogeneous catalyst showed excellent stability and was reused up to six times without significant loss.     

Polyvinylpyrrolidone and graphene-modified hematite nanoparticles for efficient electrocatalytic oxidation of p-nitrophenol

Journal of Solid State Electrochemistry - Polyvinylpyrrolidone (PVP) and graphene (G)-modified iron oxides (Fe2O3-PVP-G) are prepared by a simple hydrothermal reaction. Their morphology and...     

The dual form of Beck type identities

The Ramanujan Journal - Inspired by Andrews and Merca’s recent work on the number of even parts over all partitions into distinct parts, we introduce a new kind of Beck type identities, which...     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Additive Hermitian idempotent preservers between operator algebras

Let L be an additive map between (real or complex) matrix algebras sending $n\times n$ Hermitian idempotent matrices to $m\times m$ Hermitian idempotent matrices. We show that there are nonnegative integers $p,q$ with $n(p+q)=r\le m$ and an $m\times m$ unitary matrix U such that$L(A)=U[(I_p?A)\oplus (I_q?A^t)\oplus 0_{m?r}]U^{?},\text{for any}n\times n\text{Hermitian}A\text{with rational trace}.$ We also extend this result to the (complex) von Neumann algebra setting, and provide a supplement to the Dye-Bunce-Wright Theorem asserting that every additive map of Hermitian idempotents extends to a Jordan ?-homomorphism.     

Portfolio Selection and Risk Control for an Insurer With Uncertain Time Horizon and Partial Information in an Anticipating Environment

Methodology and Computing in Applied Probability - This paper is devoted to the study of an optimal investment and risk control problem for an insurer. The risky asset process and the insurance...     

Recent advances and challenges in the recovery and purification of cellular exosomes

Exosomes are nanovesicles secreted by most cellular types that carry important biochemical compounds throughout the body with different purposes, playing a preponderant role in cellular communication. Because of their structure, physicochemical properties and stability, recent studies are focusing in their use as nanocarriers for different therapeutic compounds for the treatment of different diseases ranging from cancer to Parkinson's disease. However, current bioseparation protocols and methodologies are selected based on the final exosome application or intended use and present both advantages and disadvantages when compared among them. In this context, this review aims to present the most important technologies available for exosome isolation while discussing their advantages and disadvantages and the possibilities of being combined with other strategies. This is critical since the development of novel exosome‐based therapeutic strategies will be constrained to the effectiveness and yield of the selected downstream purification methodologies for which a thorough understanding of the available technological resources is needed.