154 research outputs found

    Intérêt et production des hybrides interraciaux pour le pin maritime, application à la forêt méditerranéenne.

    Get PDF
    Il est parfois intéressant de réunir au sein d'une variété, les caractéristiques favorables que l'on trouve sur deux provenances différentes. Cela passe par la création d'hybrides interraciaux. Dans cet article sont décrits les étapes et les itinéraires techniques pour la production d'hybrides. En région méditerranéenne, cette complémentarité entre races pourrait être recherchée avec la race marocaine Tamjout, dont la résistance à Matsucoccus est bien connue, mais dont les caractéristiques de vigueur et de forme sont nettement insuffisantes

    Stability with respect to domain of the low Mach number limit of compressible viscous fluids

    Full text link
    We study the asymptotic limit of solutions to the barotropic Navier-Stokes system, when the Mach number is proportional to a small parameter \ep \to 0 and the fluid is confined to an exterior spatial domain \Omega_\ep that may vary with \ep. As ϵ→0\epsilon \rightarrow 0, it is shown that the fluid density becomes constant while the velocity converges to a solenoidal vector field satisfying the incompressible Navier-Stokes equations on a limit domain. The velocities approach the limit strongly (a.a.) on any compact set, uniformly with respect to a certain class of domains. The proof is based on spectral analysis of the associated wave propagator (Neumann Laplacian) governing the motion of acoustic waves.Comment: 32 page

    Design of a flight control architecture using a non-convex bundle method

    Get PDF
    We design a feedback control architecture for longitudinal flight of an aircraft. The multi-level architecture includes the flight control loop to govern the short term dynamics of the aircraft, and the autopilot to control the long term modes. Using H1 performance and robustness criteria, the problem is cast as a non-convex and non-smooth optimization program. We present a non-convex bundle method, prove its convergence, and show that it is apt to solve the longitudinal flight control problem

    Time quasi-periodic gravity water waves in finite depth

    Get PDF
    We prove the existence and the linear stability of Cantor families of small amplitude time quasi-periodic standing water wave solutions\u2014namely periodic and even in the space variable x\u2014of a bi-dimensional ocean with finite depth under the action of pure gravity. Such a result holds for all the values of the depth parameter in a Borel set of asymptotically full measure. This is a small divisor problem. The main difficulties are the fully nonlinear nature of the gravity water waves equations\u2014the highest order x-derivative appears in the nonlinear term but not in the linearization at the origin\u2014and the fact that the linear frequencies grow just in a sublinear way at infinity. We overcome these problems by first reducing the linearized operators, obtained at each approximate quasi-periodic solution along a Nash\u2013Moser iterative scheme, to constant coefficients up to smoothing operators, using pseudo-differential changes of variables that are quasi-periodic in time. Then we apply a KAM reducibility scheme which requires very weak Melnikov non-resonance conditions which lose derivatives both in time and space. Despite the fact that the depth parameter moves the linear frequencies by just exponentially small quantities, we are able to verify such non-resonance conditions for most values of the depth, extending degenerate KAM theory

    An Algorithmic Reduction Theory for Binary Codes: LLL and more

    Get PDF
    In this article, we propose an adaptation of the algorithmic reduction theory of lattices to binary codes. This includes the celebrated LLL algorithm (Lenstra, Lenstra, Lovasz, 1982), as well as adaptations of associated algorithms such as the Nearest Plane Algorithm of Babai (1986). Interestingly, the adaptation of LLL to binary codes can be interpreted as an algorithmic version of the bound of Griesmer (1960) on the minimal distance of a code. Using these algorithms, we demonstrate ---both with a heuristic analysis and in practice--- a small polynomial speed-up over the Information-Set Decoding algorithm of Lee and Brickell (1988) for random binary codes. This appears to be the first such speed-up that is not based on a time-memory trade-off. The above speed-up should be read as a very preliminary example of the potential of a reduction theory for codes, for example in cryptanalysis. In constructive cryptography, this algorithmic reduction theory could for example also be helpful for designing trapdoor functions from codes

    Wave: A New Family of Trapdoor One-Way Preimage Sampleable Functions Based on Codes

    Get PDF
    We present here a new family of trapdoor one-way Preimage Sampleable Functions (PSF) based on codes, the Wave-PSF family. The trapdoor function is one-way under two computational assumptions: the hardness of generic decoding for high weights and the indistinguishability of generalized (U,U+V)(U,U+V)-codes. Our proof follows the GPV strategy [GPV08]. By including rejection sampling, we ensure the proper distribution for the trapdoor inverse output. The domain sampling property of our family is ensured by using and proving a variant of the left-over hash lemma. We instantiate the new Wave-PSF family with ternary generalized (U,U+V)(U,U+V)-codes to design a "hash-and-sign" signature scheme which achieves existential unforgeability under adaptive chosen message attacks (EUF-CMA) in the random oracle model. For 128 bits of classical security, signature sizes are in the order of 15 thousand bits, the public key size in the order of 4 megabytes, and the rejection rate is limited to one rejection every 10 to 12 signatures.Comment: arXiv admin note: text overlap with arXiv:1706.0806

    Smoothing Codes and Lattices: Systematic Study and New Bounds

    Get PDF
    In this article we revisit smoothing bounds in parallel between lattices and codes. Initially introduced by Micciancio and Regev, these bounds were instantiated with Gaussian distributions and were crucial for arguing the security of many lattice-based cryptosystems. Unencumbered by direct application concerns, we provide a systematic study of how these bounds are obtained for both lattices and codes, transferring techniques between both areas. We also consider multiple choices of spherically symmetric noise distribution. We found that the best strategy for a worst-case bound combines Parseval's Identity, the Cauchy-Schwarz inequality, and the second linear programming bound, and this holds for both codes and lattices and all noise distributions at hand. For an average-case analysis, the linear programming bound can be replaced by a tight average count. This alone gives optimal results for spherically uniform noise over random codes and random lattices. This also improves previous Gaussian smoothing bound for worst-case lattices, but surprisingly this provides even better results with uniform ball noise than for Gaussian (or Bernouilli noise for codes). This counter-intuitive situation can be resolved by adequate decomposition and truncation of Gaussian and Bernouilli distributions into a superposition of uniform noise, giving further improvement for those cases, and putting them on par with the uniform cases

    Automatic Assessment of Speech Capability Loss in Disordered Speech

    Get PDF
    International audienceIn this article, we report on the use of an automatic technique to assess pronunciation in the context of several types of speech disorders. Even if such tools already exist, they are more widely used in a different context, namely, Computer-Assisted Language Learning, in which the objective is to assess nonnative pronunciation by detecting learners' mispronunciations at segmental and/or suprasegmental levels. In our work, we sought to determine if the Goodness of Pronunciation (GOP) algorithm, which aims to detect phone-level mispronunciations by means of automatic speech recognition, could also detect segmental deviances in disordered speech. Our main experiment is an analysis of speech from people with unilateral facial palsy. This pathology may impact the realization of certain phonemes such as bilabial plosives and sibilants. Speech read by 32 speakers at four different clinical severity grades was automatically aligned and GOP scores were computed for each phone realization. The highest scores, which indicate large dissimilarities with standard phone realizations, were obtained for the most severely impaired speakers. The corresponding speech subset was manually transcribed at phone level; 8.3% of the phones differed from standard pronunciations extracted from our lexicon. The GOP technique allowed the detection of 70.2% of mispronunciations with an equal rate of about 30% of false rejections and false acceptances. Finally, to broaden the scope of the study, we explored the correlation between GOP values and speech comprehensibility scores on a second corpus, composed of sentences recorded by six people with speech impairments due to cancer surgery or neurological disorders. Strong correlations were achieved between GOP scores and subjective comprehensibility scores (about 0.7 absolute). Results from both experiments tend to validate the use of GOP to measure speech capability loss, a dimension that could be used as a complement to physiological measures in pathologies causing speech disorders

    RNA polymerase II stalling promotes nucleosome occlusion and pTEFb recruitment to drive immortalization by Epstein-Barr virus

    Get PDF
    Epstein-Barr virus (EBV) immortalizes resting B-cells and is a key etiologic agent in the development of numerous cancers. The essential EBV-encoded protein EBNA 2 activates the viral C promoter (Cp) producing a message of ~120 kb that is differentially spliced to encode all EBNAs required for immortalization. We have previously shown that EBNA 2-activated transcription is dependent on the activity of the RNA polymerase II (pol II) C-terminal domain (CTD) kinase pTEFb (CDK9/cyclin T1). We now demonstrate that Cp, in contrast to two shorter EBNA 2-activated viral genes (LMP 1 and 2A), displays high levels of promoter-proximally stalled pol II despite being constitutively active. Consistent with pol II stalling, we detect considerable pausing complex (NELF/DSIF) association with Cp. Significantly, we observe substantial Cp-specific pTEFb recruitment that stimulates high-level pol II CTD serine 2 phosphorylation at distal regions (up to +75 kb), promoting elongation. We reveal that Cp-specific pol II accumulation is directed by DNA sequences unfavourable for nucleosome assembly that increase TBP access and pol II recruitment. Stalled pol II then maintains Cp nucleosome depletion. Our data indicate that pTEFb is recruited to Cp by the bromodomain protein Brd4, with polymerase stalling facilitating stable association of pTEFb. The Brd4 inhibitor JQ1 and the pTEFb inhibitors DRB and Flavopiridol significantly reduce Cp, but not LMP1 transcript production indicating that Brd4 and pTEFb are required for Cp transcription. Taken together our data indicate that pol II stalling at Cp promotes transcription of essential immortalizing genes during EBV infection by (i) preventing promoter-proximal nucleosome assembly and ii) necessitating the recruitment of pTEFb thereby maintaining serine 2 CTD phosphorylation at distal regions

    On the vanishing electron-mass limit in plasma hydrodynamics in unbounded media

    Full text link
    We consider the zero-electron-mass limit for the Navier-Stokes-Poisson system in unbounded spatial domains. Assuming smallness of the viscosity coefficient and ill-prepared initial data, we show that the asymptotic limit is represented by the incompressible Navier-Stokes system, with a Brinkman damping, in the case when viscosity is proportional to the electron-mass, and by the incompressible Euler system provided the viscosity is dominated by the electron mass. The proof is based on the RAGE theorem and dispersive estimates for acoustic waves, and on the concept of suitable weak solutions for the compressible Navier-Stokes system
    • …
    corecore