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.     

Nanostructures in calcia stabilized hafnia thin films observed by PAC as a function of temperature

The hyperfine quadrupole interaction at Hf sites in films and powders of 14 mol% CaO–HfO₂ and 20 mol% CaO–HfO₂ has been determined as a function of temperature. Results indicate the formation of a cubic solid solution and other microstructures assigned to the ?₁ (CaHf₄O₉) and ?₂ (Ca₆Hf₁₉O₄₄) phases. Dynamical effects on the electric field gradient reveal the existence of oxygen vacancies movements in the solid solution. The thermal behavior of the relaxation constant observed in films allowed the determination of activation energies of 0.54 eV and 0.70 eV for the 14 mol% and 20 mol% CaO doped hafnias, respectively. The influence of the microdomains and the stability of the cubic solid solution are discussed.     

On the vector field problem for O(n)/O(1)xO(1)xO(n-2)

We prove new results about the vector field problem on the real flag manifolds O(n)/O(1) x O(1) x O(n - 2). For some infinite families of these manifolds, we completely solve the vector field problem.     

Banach spaces which are somewhat uniformly noncreasy

We consider a family of spaces wider than r-UNC spaces and we give some fixed point results in the setting of these spaces.     

Speed of adaptation in structured populations

Adaptation of populations takes place with the occurrence and subsequent fixation of mutations that confer some selective advantage to the individuals which acquire it. For this reason, the study of the process of fixation of advantageous mutations has a long history in the population genetics literature. Particularly, the previous investigations aimed to find out the main evolutionary forces affecting the strength of natural selection in the populations. In the current work, we investigate the dynamics of fixation of beneficial mutations in a subdivided population. The subpopulations (demes) can exchange migrants among their neighbors, in a migration network which is assumed to have either a random graph or a scale-free topology. We have observed that the migration rate drastically affects the dynamics of mutation fixation, despite of the fact that the probability of fixation is invariant on the migration rate, accordingly to Maruyama's conjecture. In addition, we have noticed a topological dependence of the adaptive evolution of the population when clonal interference becomes effective.     

Crystallization of amorphous zirconium thin film using ion implantation by a plasma focus of 1 kJ

In this work preliminary results of amorphous zirconium crystallization using ion beam pulses are presented. Energetic argon- and oxygen-ion beams generated by a plasma focus device were used to promote crystallization on amorphous ZrO₂-2.5 mol% Y₂O₃ film deposited by chemical solution deposition onto silica glass substrate. The films were burnt at 370 °C for 1 h in normal atmosphere previous to plasma irradiation. The irradiation was performed by means of successive pulses of ion beams. The evolution of the surface morphology and crystallization was followed by AFM and X-rays diffraction in a grazing incidence asymmetric Bragg geometry (GIAB), respectively. Argon-irradiated films showed highly nucleated cubic zirconia after 10 pulses. On the other hand, oxygen-irradiated films showed a delayed and less extensive cubic nucleation, but a more ordered structure and well-defined grains.     

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

UPML formulation for truncating conductive media in curvilinear coordinates

This work presents a formulation based on UPML for truncating conductive media by using a local and non-orthogonal coordinate system to solve Maxwell’s equations by the FDTD method. The detailed procedure for obtaining the UPML equations for this case is shown and the complete equation set is provided.     

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.     

Lifetime study of high-spin states in 104,105In

In the neutron deficient isotopes _104,105In lifetimes of high spin states in the range from 0.5 ps to 600 ps have been measured in a coincidence recoil distance Doppler shift (RDDS) experiment. By combining the Doppler shift attenuation (DSA) and RDDS methods at few μm flight distances, the problem of delayed feeding has been avoided and very short lifetimes in the range 0.5–0.8 ps have been determined. Shell model calculations with strong restrictions for the neutron orbitals reveal good agreement with experimental level energies and still fair agreement for most measured B(M1) and B(E2) values. Received: 30 June 1998