École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Nonlinear system. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Beneficial effects of an intradialytic cycling training program in patients with end-stage kidney disease

Abstract: In chronic kidney disease (CKD), oxidative stress (OS) plays a central role in the development of cardiovascular diseases. This pilot program aimed to determine whether an intradialytic aerobic cyc...

Proving Copyless Message Passing

Abstract: Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor that makes the ownership transfer of messages explicit. In this case, ownership of the heap region representing the content of a message is lost upon sending, which can lead to efficient implementations. In this paper, we define a proof system for a concurrent imperative programming language implementing this idea and inspired by the Singularity OS. The proof system, for which we prove soundness, is an extension of separation logic, which has already been used successfully to study various ownership-oriented paradigms.

Effects of playing surface (hard and clay courts) on heart rate and blood lactate during tennis matches played by high-level players.

Abstract: The aim of this study was to compare tennis matches played on clay (CL) and resin (R) courts. Six matches were played (3 on CL courts and 3 on R courts) by 6 high-level players. Heart rate (HR) was monitored continuously while running time (4.66 m), and blood lactate concentration ([La]) were measured every 4 games. Mean duration of points and effective playing time (EPT) were measured for each match. Mean HR (154 ± 12 vs. 141 ± 9 b · min(-1)) and [La] values (5.7 ± 1.8 vs. 3.6 ± 1.2 mmol · L(-1)) were significantly higher on CL (p < 0.05). The [La] increased significantly during the match on CL court. Mean duration of rallies (8.5 ± 0.2 vs. 5.9 ± 0.5 seconds) and EPT (26.2 ± 1.9 vs. 19.5 ± 2.0%) were significantly longer (p < 0.05) on CL. Running time values in speed tests were not significantly different between CL and R. Running time performance was not significantly decreased during the match, whatever the playing surface. This study shows that the court surface influences the characteristics of the match and the player's physiological responses. The court surface should be a key factor for consideration when coaches determine specific training programs for high-level tennis players.

Deciding regular grammar logics with converse through first-order logic

Abstract: We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. This translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. A consequence of the translation is that the general satisfiability problem for regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Using the same method, we show how some other modal logics can be naturally translated into GF2, including nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed point-operators.

Particle motion induced by bubble cavitation.

Abstract: Cavitation bubbles induce impulsive forces on surrounding substrates, particles, or surfaces. Even though cavitation is a traditional topic in fluid mechanics, current understanding and studies do not capture the effect of cavitation on suspended objects in fluids. In the present work, the dynamics of a spherical particle due to a cavitation bubble is experimentally characterized and compared with an analytical model. Three phases are observed: the growth of the bubble where the particle is pushed away, its collapse where the particle approaches the bubble, and a longer time scale postcollapse where the particle continues to move toward the collapsed bubble. The particle motion in the longer time scale presumably results from the asymmetric cavitation evolution at an earlier time. Our theory considering the asymmetric bubble dynamics shows that the particle velocity strongly depends on the distance from the bubble as an inverse-fourth-power law, which is in good agreement with our experimentation. This study sheds light on how small free particles respond to cavitation bubbles in fluids.