Uniform bounds on complexity and transfer of global properties of Nash functions

We show that the complexity of semialgebraic sets and mappings can be used to parametrize Nash sets and mappings by Nash families. From this we deduce uniform bounds on the complexity of Nash functions that lead to first-order descriptions of many properties of Nash functions and a good behaviour under real closed field extension (e.g. primary decomposition). As a distinguished application, we derive the solution of the extension and global equations problems over arbitrary real closed fields, in particular over the field of real algebraic numbers. This last fact and a technique of change of base are used to prove that the Artin-Mazur description holds for abstract Nash functions on the real spectrum of any commutative ring, and solve extension and global equations in that abstract setting. To complete the view, we prove the idempotency of the real spectrum and an abstract version of the separation problem. We also discuss the conditions for the rings of abstract Nash functions to be noetherian

Development of a Portable Device for Thermoelectrical Power Measurement—Application to the Inspection of Duplex Stainless Steel Components

Some cast components of the primary loop of French Pressurized Water Reactors are made of cast duplex stainless steels. The mechanical characteristics of these components, working in the temperature range from 285°C to 325°C, may be altered by thermal aging : the hardness of the materials increases whereas its toughness decreases with aging time and temperature. The metallurgical explanation of this phenomena is the unmixing of the ferritic Fe-Cr-Ni solid solution by spinodal decomposition and the precipitation of intermetallic G-phase particles rich in nickel and silicium [1]

Cutoff for the Ising model on the lattice

Introduced in 1963, Glauber dynamics is one of the most practiced and extensively studied methods for sampling the Ising model on lattices. It is well known that at high temperatures, the time it takes this chain to mix in $L^1$ on a system of size $n$ is $O(\log n)$. Whether in this regime there is cutoff, i.e. a sharp transition in the $L^1$-convergence to equilibrium, is a fundamental open problem: If so, as conjectured by Peres, it would imply that mixing occurs abruptly at $(c+o(1))\log n$ for some fixed $c>0$, thus providing a rigorous stopping rule for this MCMC sampler. However, obtaining the precise asymptotics of the mixing and proving cutoff can be extremely challenging even for fairly simple Markov chains. Already for the one-dimensional Ising model, showing cutoff is a longstanding open problem. We settle the above by establishing cutoff and its location at the high temperature regime of the Ising model on the lattice with periodic boundary conditions. Our results hold for any dimension and at any temperature where there is strong spatial mixing: For $\Z^2$ this carries all the way to the critical temperature. Specifically, for fixed $d\geq 1$, the continuous-time Glauber dynamics for the Ising model on $(\Z/n\Z)^d$ with periodic boundary conditions has cutoff at $(d/2\lambda_\infty)\log n$, where $\lambda_\infty$ is the spectral gap of the dynamics on the infinite-volume lattice. To our knowledge, this is the first time where cutoff is shown for a Markov chain where even understanding its stationary distribution is limited. The proof hinges on a new technique for translating $L^1$ to $L^2$ mixing which enables the application of log-Sobolev inequalities. The technique is general and carries to other monotone and anti-monotone spin-systems.Comment: 34 pages, 3 figure

Predicting EQ-5D index scores from Promis Profile 29 in the United Kingdom, France, And Germany

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recor

Architecture for Integrated Mems Resonators Quality Factor Measurement

In this paper, an architecture designed for electrical measurement of the quality factor of MEMS resonators is proposed. An estimation of the measurement performance is made using PSPICE simulations taking into account the component's non-idealities. An error on the measured Q value of only several percent is achievable, at a small integration cost, for sufficiently high quality factor values (Q > 100).Comment: Submitted on behalf of EDA Publishing Association (http://irevues.inist.fr/EDA-Publishing

Automating the measurement of physiological parameters: a case study in the image analysis of cilia motion

International audienceAs image processing and analysis techniques improve, an increasing number of procedures in bio-medical analyses can be automated. This brings many benefits, e.g improved speed and accuracy, leading to more reliable diagnoses and follow-up, ultimately improving patients outcome. Many automated procedures in bio-medical imaging are well established and typically consist of detecting and counting various types of cells (e.g. blood cells, abnormal cells in Pap smears, and so on). In this article we propose to automate a different and difficult set of measurements, which is conducted on the cilia of people suffering from a variety of respiratory tract diseases. Cilia are slender, microscopic, hair-like structures or organelles that extend from the surface of nearly all mammalian cells. Motile cilia, such as those found in the lungs and respiratory tract, present a periodic beating motion that keep the airways clear of mucus and dirt. In this paper, we propose a fully automated method that computes various measurements regarding the motion of cilia, taken with high-speed video-microscopy. The advantage of our approach is its capacity to automatically compute robust, adaptive and regionalized measurements, i.e. associated with different regions in the image. We validate the robustness of our approach, and illustrate its performance in comparison to the state-of-the-art

Éléments de pathologie « sonique » : Le syndrome traumato-vibratoire expérimental

Valade Paul, Bugard P., Coste F., Salle J. Éléments de pathologie «sonique» : Le syndrome traumato-vibratoire expérimental. In: Bulletin de l'Académie Vétérinaire de France tome 106 n°2, 1953. pp. 113-122

Properties making a chaotic system a good Pseudo Random Number Generator

We discuss two properties making a deterministic algorithm suitable to generate a pseudo random sequence of numbers: high value of Kolmogorov-Sinai entropy and high-dimensionality. We propose the multi dimensional Anosov symplectic (cat) map as a Pseudo Random Number Generator. We show what chaotic features of this map are useful for generating Pseudo Random Numbers and investigate numerically which of them survive in the discrete version of the map. Testing and comparisons with other generators are performed.Comment: 10 pages, 3 figures, new version, title changed and minor correction

Renormalization Ambiguities in Chern-Simons Theory

We introduce a new family of gauge invariant regularizations of Chern-Simons theories which generate one-loop renormalizations of the coupling constant of the form $k\to k+2 s c_v$ where $s$ can take any arbitrary integer value. In the particular case $s=0$ we get an explicit example of a gauge invariant regularization which does not generate radiative corrections to the bare coupling constant. This ambiguity in the radiative corrections to $k$ is reminiscent of the Coste-L\"uscher results for the parity anomaly in (2+1) fermionic effective actions.Comment: 10 pages, harvmac, no changes, 1 Postscript figure (now included