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.     

On the invariant measure for the quasi‐linear Lasota equation

The problem of the existence of the invariant measure is important considering its connections with chaotic behaviour. In the papers (Zesz. Nauk. Uniw. Jagiellońskiego, Pr. Mat. 1982; 23 :117–123; Ann. Pol. Math. 1983; XLI :129–137; J. Differential Equations 2004; 196 :448–465) the existence of invariant and ergodic measures according to the dynamical system generated by the Lasota equation was proved, i.e. the equation describing the dynamics and becoming different of the population of cells. In this paper, the existence of such measure for the quasi‐linear Lasota equation is proved. This measure is the carriage of the measure described by Dawidowicz (Zesz. Nauk. Uniw. Jagiellońskiego, Pr. Mat. 1982; 23 :117–123). Copyright © 2006 John Wiley & Sons, Ltd.     

Dual Problems and Separation of Sets: Lagrange and Fenchel Duality

An extremum problem is embedded in a parametric scheme which contains, as a particular case, the classic perturbation function. The introduction of the image of the embedded problem allows one to derive a generalized duality and, in particular, Lagrangian and Fenchel duality.     

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     

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%.