Anacoluthe

International audienc

Analogie

International audienc

Bar Inductive Predicates for Constructive Algebra in Rocq

International audienceIn constructive commutative algebra, we revive the bar inductive characterization of Noetherian rings. We contribute the first constructive (axiom free) implementation of Hilbert's basis theorem, in the Rocq proof assistant. We show that the polynomial ring R[X] is Noetherian when the ring R is Noetherian, without assuming any additional condition on R, like coherence or else strong discreteness. We also contribute and implement a new result, that Noetherian rings are closed under direct products, again without assuming any supplementary condition on rings. We study induction principles for Noetherian rings, and relate bar Noetherianity with some other constructive characterizations

Enabling Free Growth of Thin Films by Magnetron Sputtering for Blooming Microstructures

International audienceAbstract Magnetron sputtering is a versatile and scalable technique that enables the precise tuning of key properties, including crystalline phase, stoichiometry, and phase ratios. Despite its widespread use in producing dense non‐porous coatings on flat substrates, its potential for developing porous electroactive materials remains underexplored. Here the use of rough substrates, such as carbon nanotubes and nanosheets, revealing a dramatic change in the growth mechanism of this model systems, nickel nitride, and chromium nitride is investigated. The nanometric roughness of these carbon nanomaterials leads to distinct effects, including strong shadowing of deposited species and non‐competitive growth. This results in enhanced porous thin films with open microstructures and high available surface areas. It is then apply the experimental findings, confirmed by Monte Carlo simulations, to other thin films to demonstrate this approach extends to multiple nanorough substrate/thin film systems, thereby paving the way for designing new materials with enhanced energy conversion and storage performance

Reply to comment on “Trajectory, correlates, and outcomes of pulmonary congestion by lung ultrasound in patients hospitalized for acute pulmonary edema”

International audienc

Cool-flame chemistry of the representative bio-hybrid fuel 1,3-dioxane

International audienceThe low-temperature oxidation of 1,3-dioxane was systematically investigated in two atmospheric pressure jetstirred reactors (JSRs) at temperatures ranging from 450 to 850 K and equivalence ratios ranging from 0.25 to 0.5. A suite of oxidation intermediates, including carbonyl compounds, conjugated olefins, cyclic ethers, and reactive hydroperoxides, were identified and quantified using synchrotron vacuum ultraviolet photoionization mass spectrometry (SVUV-PIMS) and gas chromatography (GC). The experiments reveal strong low-temperature reactivity and a pronounced negative temperature coefficient (NTC) behavior, that had not previously been reported for 1,3-dioxane to such an extent. A detailed kinetic model was developed to interpret the observed phenomena. Rate constants for hydrogen abstraction reactions by OH radicals, identified as the dominant fuel consumption pathways, are calculated using ab initio methods. The model also incorporates theoretically derived rate constants from the literature for key beta-scission ring-opening reactions and first-stage oxygen addition pathways of three 1,3-dioxanyl radicals. These inclusions improve the model's predictive capability and highlight the complex cool-flame chemistry associated with 1,3-dioxane. Model validation against experimental datasets from this study and literature-including JSR oxidation, flow reactor pyrolysis and oxidation, and ignition delay time (IDT) measurements-demonstrates good agreement. Mechanistic insights reveal that the ether group in the 1,3-dioxane ring facilitates hydrogen abstraction at the ortho positions (e.g., methylene bridge and ortho-CH2-) while suppressing abstraction at meta sites. These structural effects also influence intramolecular hydrogen shifts in ROO and OOQOOH radicals. Additionally, the presence of ring oxygen atoms weakens radical stabilization through inductive effects, promoting ring-opening reactions of R and QOOH species. Collectively, these factors contribute to the observed NTC behavior and the unique cool-flame characteristics of 1,3-dioxane

Thermodynamics-informed multi-head attention neural networks for constitutive modelling

International audienceWe propose a thermodynamics-informed multi-head attention neural network (TMANN) framework for predicting elastoplastic behavior under arbitrary loading paths. In contrast to earlier thermodynamics-informed networks that rely solely on internal state variables to encode loading history, the TMANN incorporates a multi-head attention mechanism that explicitly captures the material history sequence, thereby enhancing predictive accuracy and stability. The architecture comprises an attention network for predicting increments of internal state variables and a companion neural network for estimating the Helmholtz free energy at each time step. To ensure physical consistency and strengthen the model's generalization capability, the loss function explicitly enforces thermodynamic constraints, including non-negative free energy, non-negative dissipation rate, and monotonic accumulation of effective plastic strain. Furthermore, a rolling iterative prediction strategy is implemented to ensure the model's compatibility with the stepwise nature of arbitrary loading paths, as only the initial stress and strain states are known a priori. The integration of TMANN into ABAQUS through a user material subroutine verifies its practical applicability to structural simulations. The effectiveness of the proposed TMANN is validated through comparisons with classical numerical methods at both the material point level and in structural simulations. New results showcase the TMANN's robust generalization performance, maintaining high prediction accuracy under incremental loading/unloading and complex random loading scenarios.</div

Rapport annuel sur les droits de l’enfant : la Défenseure des droits formule plusieurs recommandations pour garantir « une justice réellement adaptée »

International audienceDans son rapport « Enfant 2025 », publié le 19 novembre 2025, la Défenseure des droits dresse un bilan de la justice des mineurs. Estimant que le droit des enfants à une justice adaptée, protégé par la convention internationale des droits de l’enfant notamment, doit constituer un levier d’inclusion, elle formule 25 recommandations parmi lesquelles l’inscription dans la loi du principe d’irresponsabilité pénale des moins de 13 ans, sans exception possible, ou encore la création d’un code de l’enfance qui rassemblerait toutes les dispositions civiles et pénales concernant les enfants

L’organisation locale de la prescription médicale d’activité physique en Nouvelle-Aquitaine : quels enjeux de justice spatiale ?

International audienceDepuis 2016, la prescription d’activité physique adaptée par le médecin est inscritedans le Code de la santé publique. Des projets portés par les services déconcentrés del’État visent à organiser les parcours des personnes ayant une prescription. Cependant,en s’appuyant sur les initiatives déjà existantes, ces politiques pourraient reproduireune inégale répartition spatiale des programmes. Cela soulève des enjeux de justicespatiale. Dans cet article, les conceptions de la justice sociale et spatiale des différentsacteurs concernés et les stratégies mises en oeuvre pour agir sur la distribution desprogrammes, leur accessibilité et la participation des bénéficiaires aux décisions ontété interrogées. Nous avons donc mené une étude de cas sur le dispositif dePrescription d’exercice physique pour la santé en Nouvelle-Aquitaine. Des entretienssemi-directifs (n=15) auprès des acteurs impliqués et une analyse des documents decadrage de ce dispositif et de la politique de sport santé ont été réalisés. Il ressort deces travaux que les stratégies adoptées pour agir sur la distribution des programmesrelèvent principalement d’une conception redistributive de la justice. De plus, lescoordonnateurs territoriaux jouent un rôle central dans le développement decapabilités. La participation des bénéficiaires reste quant à elle un impensé de cettepolitique, se limitant à une expression individuelle qui empêche la constructioncollective d’un contre-discours

La vocation pour le Sud et l'exil comme forme d'existence chez Juan Goytisolo

traduction française d'un article du philosophe Reyes Mate, CSIC-Madrid. Sous presse