Active-constraint variable ordering for faster feasibility of mixed integer linear programs

The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branching variable selection rely on estimating the effect of the candidate variables on the objective function. We present a new approach that relies on estimating the impact of the candidate variables on the active constraints in the current LP relaxation. We apply this method to the problem of finding the first feasible solution as quickly as possible. Empirical experiments demonstrate a significant improvement compared to a state-of-the art commercial MIP solver.     

Unique satisfiability of Horn sets can be solved in nearly linear time

If a Horn set I has a single satisfying truth assignment or model then that model is said to be unique for I. The question of determining whether a unique model exists for a given Horn set I is shown to be solved in O((L)*L) time, where L is the sum of the lengths of the clauses in I and is the inverse Ackermann function. It is also shown that if LA*log (A) where A is the number of distinct proposition letters then unique satisfiability can be determined in O(L) time.     

Pentopyranosyl Oligonucleotide Systems. 9th Communication

Pyranosyl‐RNA (‘p‐RNA’ ) is an oligonucleotide system isomeric to natural RNA and composed of the very same building blocks as RNA. Its generational, chemical, and informational properties are deemed to be those of an alternative nucleic acid system that could have been a candidate in Nature's evolutionary choice of the molecular basis of genetic function. We consider the study of the chemistry of p‐RNA as etiologically relevant in the sense that knowledge of its structural, chemical, and informational properties on the chemical level offers both a perspective and reference points for the recognition of specific structural assets of the RNA structure that made it the (supposedly) superior system among possible alternatives and, therefore, the system that became part of biology as we know it today. The paper describes the chemical synthesis of β‐d‐ (and L )‐ribopyranosyl‐(4′→2′)‐oligonucleotide sequences, presents a resume of their structural and chemical properties, and cautiously discusses what we may and may not have learned from the pyranosyl isomer of RNA with respect to the conundrum of RNA's origin.     

An efficient palladium catalyzed synthesis of 2-arylbenzothiazoles

A novel and convergent palladium catalyzed synthesis of 2-arylbenzothiazoles has been investigated. The key step in the synthesis is a Suzuki biaryl coupling of 2-bromobenzothiazole with aryl boronic acids to provide a variety of 2-arylbenzothiazole derivatives in good yield. The synthetic utility of this methodology is demonstrated by the synthesis of 2-(4-aminophenyl)-6-methoxybenzothiazole, a PET probe precursor for the in vivo imaging of Alzheimer's disease.     

HAC estimation and strong linearity testing in weak ARMA models

In the framework of ARMA models, we consider testing the reliability of the standard asymptotic covariance matrix (ACM) of the least-squares estimator. The standard formula for this ACM is derived under the assumption that the errors are independent and identically distributed, and is in general invalid when the errors are only uncorrelated. The test statistic is based on the difference between a conventional estimator of the ACM of the least-squares estimator of the ARMA coefficients and its robust HAC-type version. The asymptotic distribution of the HAC estimator is established under the null hypothesis of independence, and under a large class of alternatives. The asymptotic distribution of the proposed statistic is shown to be a standard χ² under the null, and a noncentral χ² under the alternatives. The choice of the HAC estimator is discussed through asymptotic power comparisons. The finite sample properties of the test are analyzed via Monte Carlo simulation.     

13C and 1H NMR analysis of the nitration products of 2-amino-4-oxo-(3H)-5-trifluoromethylquinazoline and 2-amino-4-oxo-(3H)-5-fluoroquinazoline

Nitration of 2-amino-4-oxo-(3H)-5-trifluoromethylquinazoline is shown to occur exclusively at C⁶ as determined from an analysis of long range ¹H and ¹⁹F scalar couplings to ring carbons. Nitration of 2-amino-4-oxo-(3H)-5-fluoroquinazoline is found to occur both at C⁶ and C⁸ as evident from an analysis of the ¹⁹F and ¹H couplings of the ring protons.     

Towards the synthesis of MAX-phase functional coatings by pulsed laser deposition

Pulsed laser deposition with a Nd:YAG laser was used to grow thin films from a pre-synthesized Ti₃SiC₂ MAX-phase formulated ablation target on oxidized Si(1 0 0) and MgO(1 0 0) substrates. The depositions were carried out in a substrate temperature range from 300 to 900 K, and the pressure in the deposition chamber ranged from vacuum (10⁻⁵ Pa) to 0.05 Pa Argon background pressure. The properties of the films have been investigated by Rutherford backscattering spectrometry for film thickness and stoichiometric composition and X-ray diffraction for the crystallinity of the films. The silicon content of the films varied with the energy density of the laser beam. To suppress especially the silicon re-sputtering from the substrate, the energy of the incoming particles must be below a threshold of 20 eV. Therefore, the energy density of the laser beam must not be too high. At constant deposition energy density the film thickness depends strongly on the background pressure. The X-ray diffraction measurements show patterns that are typical of amorphous films, i.e. no Ti₃SiC₂ related reflections were found. Only a very weak TiC(2 0 0) reflection was seen, indicating the presence of a small amount of crystalline TiC.     

Partitioning Balls into Topologically Equivalent Pieces

---

Partitioning Balls into Topologically Equivalent Pieces

---