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.     

Anodic stripping coulometry with collection for absolute trace analysis of lead, using flow-through electrochemical cells with porous working electrodes

Summary Flow-through electrochemical cells with porous working electrodes made of crushed reticulated vitreous carbon and plated with mercury were used for absolute analysis of trace amounts of lead by anodic stripping coulometry with collection (ASCWC) in a flow system. The role of mercury coating, flow rate and pH were investigated. The coulombic content of the collection peak corresponded to the theoretical values calculated by Faraday's law in a concentration range from about 10^–9 to 10^–6 mol/l. The relative error and the relative standard deviation was +0.15% and 0.8%, respectively for 2×10^–6 mol/l analyte concentration. The absolute detection limit (3 s) was 0.1 ng of Pb, the linear response range 7×10⁴. One leave from: Department of Analytical Chemistry, Slovak Technical University, CS-812 37 Bratislava, Czechoslovakia     

Crystal and molecular structures of 1-[3-(3,4-dimethoxyphenyl)-2-propenoyl]pyrrolidine.

The crystal structure of 1-[3-(3,4-dimethoxyphenyl)-2-propenoyl]pyrrolidine (C15H19NO3) (I) has been determined by X-ray analysis. It crystallizes orthorhombic space group Pbca with a = 24.295(3), b = 15.086(3), c = 7.552(3)A, V = 2768(1)A3, Z = 8, Dcalc = 1.254 g/cm3, mu = (Mo K(alpha)) = 0.87 cm(-1). The title compound has analgesic activity of cycloaliphatic amine part. The molecule is deviated from planar configuration.     

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.     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

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.