Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Simulation model for shapiro time delay and light deflection experiments

The time delay experiment proposed by I.I. Shapiro in 1964 and conducted in the seventies was the most precise experiment of general relativity until that time. Further experimentation has improved the accuracy level of both the time delay and the light deflection experiments. A simulation model is proposed that involves only a simple mass and time transformation factor involving velocity of light. The light deflection and the time delay experiments are numerically simulated using this model that does not use the general relativistic equations. The computed values presented in this paper compare well with recent levels of accuracy of their respective experimental results.     

Synthesis and thermal crosslinking of oxazolidine‐functionalized polyurethanes

A new oxazolidine derivative was obtained from phenol, 2‐amino‐2‐methylpropane‐1,3‐diol and paraformaldehyde. The reaction of this novel oxazolidine diol with phenylisocyanate lead to a urethane model compound which can be polymerized thermally by oxazolidine ring opening to give a Mannich bridge structure. Linear segmented polyurethanes were prepared by reaction of different ratios of oxazolidine diol and commercial polyethylenglycol (M_w ～ 400) with 4,4′‐methylenbis (cyclohexylisocyanate) (HMDI, 90% isomers mixture). The polyurethanes were thermally characterized and crosslinked by oxazolidine ring opening to obtain materials which showed improved thermal stability. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4965–4973, 2007     

On the Rees algebra of certain codimension two perfect ideals

 Suppose ? is a set of arbitrary number of smooth points in ℙ² its defining ideal. In this paper, we study the Rees algebras of the ideals generated by I _t , t ≥α. When the points of ? are general, we give a set of defining equations for the Rees algebra . When the points of ? are arbitrary, we show that for all t≫ 0, the Rees algebra is Cohen-Macaulay and its defining ideal is generated by quadratics. A cohomological characterization for arithmetic Cohen-Macaulayness of subvarieties of a product space is also given. Received 4 April 2001     

A novel method for the preparation of T3 free plasma/serum for routine RIA

A novel method to eliminate T₃ from gross sera/plasma based on prior treatment with 8-anilino-1-naphthalene sulphonic acid has been standardized. This method is rapid with a minimum loss of protein and uses only small quantities of charcoal. The treated sera have been tested for acceptance in the RIA system for routine assays.     

General and selective isolation procedure for high-performance liquid chromatographic determination of anabolic steroids in tissues

A multi-residue method has been developed for the determination of anabolic steroids in animal tissue. The analytes are extracted from tissue with methanol and the extract is subjected to two solid-phase extractions, one using a non-specific adsorbing material, such as graphitized carbon black (Carbopack B), and the other Amberlite CG-400 I in the OH form. This procedure allowed the neutral anabolics (testosterone, trenbolone and progesterone) to be isolated and separated from the acidic type (phenolic group), such as diethylstilbestrol, oestradiol, zeranol/zearalenone and their respective metabolites. The determination was effected using high-performance liquid chromatography with different detectors (ultraviolet, fluorimetric and electrochemical). Several analytical parameters were studied: chromatographic conditions, recoveries, evaporation step, solvent flow-rate, cartridges reusability, interference of plastic cartridges. For all the anabolics investigated the recoveries were greater than 83.6%.