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.     

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.     

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.     

Some Experiences with the Teaching of Decision Support Systems to Management Students

There are essentially two schools of thought regarding the function of decision support systems. One is that the main purpose is to support the decision-maker in whatever style of decision-making he or she wishes. The other is that the support, while suiting the decision-maker's individual style, must also be based on an appropriate theoretical paradigm. The work with students of decision support systems reported here suggests that the latter, normative, view is not one which comes naturally to many of the students, even when working on an example where it seemed relatively easy to incorporate. Other conclusions are also presented, relating to the choice of software for decision support system development, the process of teaching about decision support systems, and group formation.     

Relevance of Reflection in Static and Dynamic Light Scattering Experiments

Using a monodisperse PMMA dispersion, it was shown that light reflection at the sample cuvette walls may greatly influence the results of both static (SLS) and dynamic (DLS) light scattering experiments. Considering SLS, this reflection phenomenon mostly causes an overestimation of the scattered intensity at high scattering angles, which may give rise to the emergence of an additional, artificial peak in the lower region of the particle size distribution. On the other hand, the influcence of reflection on DLS measurements was shown to be particularly important in the upper region of the particle size distribution. The experimentally observed phenomena were explained from the basic principles of both particle sizing methods. Finally, it was shown that the disturbing effect of reflection could be avoided by modifying either the hardware or the software of the static and dynamic light scattering technique.     

The core of discontinuous games

The traditional design of cooperative games implicitly assumes that preferences are continuous. However, if agents implement tie breaking procedures, preferences are effectively lexicographic and thus discontinuous. This rouses concern over whether classic core nonemptiness theorems apply in such settings. We show that balanced NTU games may have empty cores when agents have discontinuous preferences. Moreover, exchange economies may lack coalitionally rational trades when consumers implement tie breaking rules, even if these rules are themselves continuous and convex as are all first order preferences. Results are more positive when “utility” is transferable. We prove that balancedness is necessary and sufficient to ensure a nonempty core in lexicographic TU games.