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.     

A Practical Solution to a Cargo Loading Problem at Bethlehem Steel

The optimum assignment of structural steel shapes to rail cars is an important logistical problem in the steel industry. In this paper, we discuss an application at Bethlehem Steel that not only involves weight and dimensional constraints, but also customer unloading constraints. The formulation is a generalized bin packing problem which is solved by modifying and extending the first fit decreasing algorithm. The solution algorithm, SOLID (for Structural Optimal Loading IDentification), has been used extensively for one of Bethlehem's high tonnage customers providing very good practical (implementable) results that achieve the desired goals. Bethlehem has enhanced this approach for use with other customers.     

Complexation thermodynamics of free and graft oligomers with complementary polymers

The dilute solution complexation equilibrium between linear macromolecules and smaller complementary oligomers is considered when: (1) the oligomers are free in solution; and (2) the oligomers are covalently attached at one end to the polymer. A general statistical mechanical framework is developed and is illustrated using a simple random walk model for polymer conformation. The statistical mechanical partition functions are formulated using a generating function technique, allowing thermodynamic averages in the complexed state to be calculated. Loops, trains, and tails of all possible length are allowed in the conformation of a complexed oligomer. Simulation results for the free oligomer case are compared with those obtained for oligomers covalently attached to the polymeric molecular. The model provides a theoretical explanation for the experimentally observed enhancement of complexation of oligomers grafted to the complementary polymers.     

Mass spectral analysis and imaging of tissue by ToF-SIMS—The role of buckminsterfullerene, C60, primary ions

Recent developments in desorption/ionisation mass spectrometry techniques have made their application to biological analysis a realistic and successful proposition. Developments in primary ion source technology, mainly through the advent of polyatomic ion beams, have meant that the technique of secondary ion mass spectrometry (SIMS) can now access the depths of information required to allow biological imaging to be a viable option.Here the role of the primary ion C₆₀⁺ is assessed with regard to molecular imaging of lipids and pharmaceuticals within tissue sections. High secondary ion yields and low surface damage accumulation are demonstrated on both model and real biological samples, indicating the high secondary ion efficiency afforded to the analyst by this primary ion when compared to other cluster ion beams used in imaging. The newly developed 40 keV C₆₀⁺ ion source allows the beam to be focused such that high resolution imaging is demonstrated on a tissue sample, and the greater yields allow the molecular signal from the drug raclopride to be imaged within tissue section following in vivo dosing.The localisation shown for this drug alludes to issues regarding the chemical environment affecting the ionisation probability of the molecule; the importance of this effect is demonstrated with model systems and the possibility of using laser post-ionisation as a method for reducing this consequence of bio-sample complexity is demonstrated and discussed.