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 alternative approach for non-linear optimal control problems based on the method of moments

We propose an alternative method for computing effectively the solution of non-linear, fixed-terminal-time, optimal control problems when they are given in Lagrange, Bolza or Mayer forms. This method works well when the nonlinearities in the control variable can be expressed as polynomials. The essential of this proposal is the transformation of a non-linear, non-convex optimal control problem into an equivalent optimal control problem with linear and convex structure. The method is based on global optimization of polynomials by the method of moments. With this method we can determine either the existence or lacking of minimizers. In addition, we can calculate generalized solutions when the original problem lacks of minimizers. We also present the numerical schemes to solve several examples arising in science and technology.     

Derivation of the k–ε model for locally homogeneous turbulence by homogenization techniques

We derive the incompressible and compressible k–ε model for locally homogeneous turbulence. The model is rigorously derived on formal mathematical grounds using the MPP modelling technique. This lets us calculate by either analytical or numerical means the closure constants of the model. To cite this article: T. Chacón Rebollo, D. Franco Coronil, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On the direct solution of Riccati equations arising in boundary control theory

Two classes of Riccati equations arising in the boundary control of parabolic systems are studied by direct methods. The new feature with respect to previous works on this subject is the low regularity of the final data. The classes considered here generalize those of [7]and [5]on one side, and of [14]on the other one. Completely new methods are used to obtain the solution of the Riccati equations, in both cases. The central theme is the dependence of the solutions on a «symmetric» norm of the final data, yielding these new results as well as a new proof of existence for the related algebraic Riccati equation under more general assumptions. The synthesis of the associated linear-quadratic-regulator problems is easily solved using these results.     

Non conventional syntheses of heterocyclic compounds. 3. Synthesis of indazole derivatives

The thermal cyclization of a few 2,6-dimethylphenylazo compounds to indazole derivatives is described.     

The Gibbs ensemble of a vortex filament

 We introduce a statistical ensemble for a single vortex filament of a three dimensional incompressible fluid. The core of the vortex is modeled by a quite generic stochastic process. We prove the existence of the partition function for both positive and a limited range of negative temperatures. Received: 31 July 2000 / Revised version: 6 March 2001 / Published online: 20 December 2001     

Three solutions for a mixed boundary value problem involving the one-dimensional p-Laplacian

This paper deals with two mixed nonlinear boundary value problems depending on a parameter λ. For each of them we prove the existence of at least three generalized solutions when λ lies in an exactly determined open interval. Usefulness of this information on the interval is then emphasized by means of some consequences. Our main tool is a very recent three critical points theorem stated in [Topol. Methods Nonlinear Anal. 22 (2003) 93-104].     

The generalized second law in phantom dominated universes in the presence of black holes

This Letter considers the generalized second law of gravitational thermodynamics in two scenarios featuring a phantom dominated expansion plus a black hole. The law is violated in both scenarios.     

Exploring new directions for research in problem structuring methods: on the role of cognitive style

Prior research has argued that cognitive style can have a significant impact on group decision making. In addition, several scholars have proposed that cognitive style can play a key role in the design and use of group decision support systems. However, cognitive style has not received a great deal of attention in the problem structuring methods (PSMs) community. This is surprising, given that PSMs are specifically developed to support a group in their decision making. The purpose of this paper is thus to examine the significance of cognitive style within PSMs. The paper identifies and explores the role of four different cognitive style functions in problem structuring interventions. This analysis is carried out by focusing on the different tasks embedded within a group process supported by PSMs. Implications for the research and practice of PSMs are then discussed.