Dans cet exposé, nous présentons notre algorithme amélioré [1] de localisation d’erreurs à partir de contreexemples, LocFaults, basé sur la programmation par contraintes et dirigé par les flots. Cet algorithme analyse les chemins du CFG (Control Flow Graph) du programme erroné pour calculer les sous-ensembles d’instructions suspectes permettant de corriger le programme. En effet, nous générons ...

This report focuses on improving the stability as well as the approximation properties of Reduced Order Models (ROM) based on Proper Orthogonal Decomposition (POD). The ROM is obtained by seeking a solution belonging to the POD subspace and that at the same time minimizes the Navier-Stokes residuals. We propose a modified ROM that directly incorporates the pressure term in the model. The ROM is...

We show that there are n! matchings on 2n points without, so called, left (neighbor) nestings. We also define a set of naturally labeled (2 + 2)-free posets, and show that there are n! such posets on n elements. Our work was inspired by Bousquet-Mélou, Claesson, Dukes and Kitaev [J. Combin. Theory Ser. A. 117 (2010) 884–909]. They gave bijections between four classes of combinatorial objects: m...

When 1 < p <∞, maps f in W1/p,p((0,1);S1) have W1/p,p phases φ, but the W1/p,pseminorm of φ is not controlled by the one of f . Lack of control is illustrated by “the kink”: f = eıφ, where the phase φ moves quickly from 0 to 2π. A similar situation occurs for maps f : S1 → S1, with Moebius maps playing the role of kinks. We prove that this is the only loss of control mechanism: each map f : S1 ...

Water stress is a frequent and critical limit to wheat (Triticum aestivum L.) production in North China. It has been shown that photosynthetic active radiation (PAR) is closely related to crop production. An experiment was conducted to investigate the effects of deficit irrigation and winter wheat varieties on the PAR capture ration, PAR utilization and grain yield. Field experiments involved J...

1 0. 10 83/j cb.17 25 it i1 j cb 1725 it i1 Nicole LeBrasse [email protected] for the cofilin course O n page 671 , Chen and Macara unveil a mechanism by which Par-3 orchestrates cell polarization by regulating actin reorganization. Par-3 is one member of an apical polarity-inducing complex that also includes Par-6 and aPKC. The Par...

Woody plant expansion into grasslands and savannas is a global concern. Rapid expansion of Juniperus virginiana, a tree native to North America, has profound ecological consequences. We used transplanted J. virginiana seedlings to investigate the role of resource availability on J. virginiana expansion following the removal of fire, the factor historically limiting range expansion of this firei...

In this Note, we consider the 1-dimensional wave equation, discretized by means of Glimm’s random choice method. We prove that for almost every choice of the random parameter, the observability estimate is true asymptotically, uniformly with respect to the discretization parameters. To cite this article: J.-M. Coron et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009). © 2009 Académie des sciences...