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.     

A volatolomic approach using cerumen as biofluid to diagnose bovine intoxication by Stryphnodendron rotundifolium

An innovative volatolomic approach employs the detection of biomarkers present in cerumen (earwax) to identify cattle intoxication by Stryphnodendron rotundifolium Mart., Fabaceae (popularly known as barbatimão). S. rotundifolium is a poisonous plant with the toxic compound undefined and widely distributed throughout the Brazilian territory. Cerumen samples from cattle of two local Brazilian breeds (‘Curraleiro Pé-Duro’ and ‘Pantaneiro’) were collected during an experimental intoxication protocol and analyzed using headspace (HS)/GC–MS followed by multivariate analysis (genetic algorithm for a partial least squares, cluster analysis, and classification and regression trees). A total of 106 volatile organic metabolites were identified in the cerumen samples of bovines. The intoxication by S. rotundifolium influenced the cerumen volatolomic profile of the bovines throughout the intoxication protocol. In this way, it was possible to detect biomarkers for cattle intoxication. Among the biomarkers, 2-octyldecanol and 9-tetradecen-1-ol were able to discriminate all samples between intoxicated and nonintoxicated bovines. The cattle intoxication diagnosis by S. rotundifolium was accomplished by applying the cerumen analysis using HS/GC–MS, in an easy, accurate, and noninvasive way. Thus, the proposed bioanalytical chromatography protocol is a useful tool in veterinary applications to determine this kind of intoxication.     

Functionalized Silver-Ion-Mediated α-dC/β-dC Hybrid Base Pairs with Exceptional Stability: α-d-5-Iodo-2′-Deoxycytidine and Its Octadiynyl Derivative in Metal DNA

Silver-mediated α-dC–Ag⁺–β-dC hybrid base pairs decorated with 5-iodo- or 5-octadiynyl residues are well accommodated in duplex DNA. A strong T_m increase and favorable thermodynamic data for duplex DNA were observed after addition of silver ions. The phenomenon is particularly obvious when both nucleobases of the base pairs are functionalized. Neither the position of the base pair, nor the type of 5-substituent had a negative influence. On the contrary, functionalization of conventional silver-mediated β-dC–Ag⁺–β-dC homo base pairs showed a negative impact induced by the bulky substituents. To this end, cytosine modified 12-mer oligodeoxynucleotides were prepared by solid-phase synthesis employing new α-anomeric 2′-deoxycytidine phosphoramidites. A multigram scale synthesis was developed for 5-iodo-α-d -2′-deoxycytidine ( 1 ) employing the direct glycosylation of cytosine with Hoffer's α-d -halogenose followed by separation of anomeric DMT nucleosides. Regarding base-pair stability and functionalization silver-mediated α/β-dC hybrid base pairs were found to be superior to β/β-dC homo pairs. According to their extraordinary properties, they might find applications in DNA diagnostics, material science, or nanotechnology.     

Design of organophosphorus materials for organic electronics and bio-applications

π-Extended molecules are key components for the development of materials science. In fact, polyaromatic structures are fundamental for the scientific and technological progress of fields such as organic electronics and bio-applications. Beneficial properties of π-extended structures are absorption in the visible region, often luminescence, high electron mobilities and stability. Common approaches to adjust the properties of polyaromatic structures to functional setups involve changes in shape and size at the molecular level. Recently, incorporating hetero-elements emerged as successful approach. In this regard, organophosphorus conjugated molecules are new materials holding great promise for potential applications. In this review, we comprehensively discuss the design/development of polyaromatic phosphorus materials and their applicability. We establish structure/property/applicability relationships to provide key guidelines for the engineering of newer, future applications. This article thus provides a source of information for the further development of this rapidly evolving field of research.     

Recent Progress in the $L_p$ Theory for Elliptic and Parabolic Equations with Discontinuous Coefficients

In this paper, we review some results over the last 10-15 years on elliptic and parabolic equations with discontinuous coefficients. We begin with an approach given by N. V. Krylov to parabolic equations in the whole space with $\rm{VMO}_x$ coefficients. We then discuss some subsequent development including elliptic and parabolic equations with coefficients which are allowed to be merely measurable in one or two space directions, weighted $L_p$estimates with Muckenhoupt ($A_p$) weights, non-local elliptic and parabolic equations, as well as fully nonlinear elliptic and parabolic equations.     

Spectral estimates for saddle point matrices arising in weak constraint four‐dimensional variational data assimilation

We consider the large sparse symmetric linear systems of equations that arise in the solution of weak constraint four‐dimensional variational data assimilation, a method of high interest for numerical weather prediction. These systems can be written as saddle point systems with a 3 × 3 block structure but block eliminations can be performed to reduce them to saddle point systems with a 2 × 2 block structure, or further to symmetric positive definite systems. In this article, we analyse how sensitive the spectra of these matrices are to the number of observations of the underlying dynamical system. We also obtain bounds on the eigenvalues of the matrices. Numerical experiments are used to confirm the theoretical analysis and bounds.