HAL: Hyper Article en Ligne
Not a member yet
3159010 research outputs found
Sort by
Termination Resilience Static Analysis
No full textInternational audienceWe present a novel abstract interpretation-based static analysis framework for proving Termination Resilience, the absence of Robust Non-Termination vulnerabilities in software systems. Robust Non-Termination characterizes programs where an untrusted (e.g., externallycontrolled) input can force infinite execution, independently of other trusted (e.g., controlled) variables. Our framework is a semantic generalization of Cousot and Cousot's abstract interpretation-based ranking function derivation, and our sound static analysis extends Urban and Miné's decision tree abstract domain in a non-trivial way to manage the distinction between untrusted and trusted program variables. Our approach is implemented in an open-source tool and evaluated on benchmarks sourced from SV-COMP and modeled after real-world software, demonstrating practical effectiveness in verifying Termination Resilience and detecting potential Robust Non-Termination vulnerabilities
Programme dynamique générique pour l'ordonnancement d'intervalles avec contrainte de clique
No full textInternational audienceNous présentons un théorème général d'extension de programmes dynamiques pour des problèmes d'ordonnancement de tâches définis sur des graphes d'intervalles, en y ajoutant la contrainte selon laquelle au plus tâches peuvent être actives à tout instant . Nous parlerons alors de généralisation d'un problème initial vers sa variante intégrant des contraintes de cliques maximales locales. Pour un fixé, nous développons une méthode générale permettant d'adapter la résolution de à cette variante en temps polynomial.Notre approche suppose l'existence d'un programme dynamique résolvant le problème initial . Ce résultat s'applique à une large famille de problèmes d'ordonnancement et a notamment permis d'établir une résolution en temps polynomial pour un problème dont la complexité était jusqu'alors ouverte
Décolonisation et nickel en Nouvelle-Calédonie. Nationaliser plutôt qu’écologiser durant les Accords de 1988 et 1998
No full textInternational audienc
Exploiter les motifs graduels pour améliorer l’explicabilité des modèles
No full textInternational audienc
Social and occupational factors are associated with musculoskeletal pain prevalence in the general population: a population-based cohort study
No full textInternational audienceObjective: Musculoskeletal pain (MP) is a leading cause of disability worldwide, affecting individual well-being and public health. However, in the literature, the prevalence of MP varies considerably because of methodological inconsistencies, selection biases, and differences in case definitions. This study aimed to estimate the population-based prevalence of MP in France and identify key demographic, socioeconomic, and occupational factors associated with MP.Methods: This cross-sectional study used baseline data for the CONSTANCES cohort study, a large, population-based epidemiological study with participants representative of the French adult population (18-69 years old). Inverse probability weighting was used to correct for selection bias and to improve the generalizability of prevalence estimates. MP was were assessed with the Nordic Musculoskeletal Questionnaire, with significant pain defined as lasting >30 days in the past 12 months. Multivariate logistic regression models were used to identify factors associated with low back pain, estimating odds ratios (ORs) and 95% confidence intervals (CIs).Results: Among 193,436 participants, 46.2% reported pain in at least one anatomical site. The most affected areas were the low back (26.6% adjusted prevalence), shoulder (21.4%), neck (19.0%), and knee (19.1%). Odds of low back pain was associated with female sex (OR 1.39 [95% CI 1.32-1.47]), older age, obesity, depression (1.71 [1.62-1.80]), and comorbidity burden (1.20 [1.15-1.25]). Odds of low back pain was associated with moderate or high occupational physical activity (OR 1.33 [1.20-1.50] and 1.69 [1.48-1.93]) but was inversely associated with very active leisure-time physical activity (0.82 [0.70-0.96]). Education level but not household income was a significant socioeconomic factor associated with MP.Conclusion: MP impose a substantial burden on the French population, particularly among individuals with physically demanding jobs and low education levels. These findings highlight the paradox of physical activity associated with MP
The Philosophical Colony: Writing the History of Philosophy in the Eighteenth and Nineteenth Centuries. Transl. by Adrian Morfee
No full textInternational audienceIn the eighteenth and nineteenth centuries, ethnologists, linguists, historians, and especially historians of philosophy identified other “cultures,” which they distinguished from the West in order to subject them to empirical study. Consequently, Europe was conceived as the unique territory of philosophy, analytical rationality, and reflexive thinking. This book offers an interdisciplinary history of the history of philosophy and investigates how the scientific imagination was constructed in the West. It contributes to debates on the ideological assumptions and political aims of the European social sciences and humanities
AI-enhanced RUL prediction of PEMFCs under dynamic operating conditions using XGBoost-based HI extraction and hybrid transformer-GRU model
No full textInternational audienceProton Exchange Membrane Fuel Cells (PEMFCs) are critical for zero-emission energy systems, particularly in electro-hydrogen generators (GEH2). Accurate Remaining Useful Life (RUL) prediction is crucial for ensuring operational reliability and enabling predictive maintenance. However, dynamic operating conditions present a significant challenge for existing prognostic approaches, particularly in extracting robust Health Indicators (HIs). Conventional HIs, often based on voltage or power, are highly sensitive to mission profiles and fail to generalize in real-world conditions. To address this limitation, we propose a novel data-driven approach based on XGBoost regression to extract a degradation-specific HI directly from raw voltage measurements. This method effectively filters out transient fluctuations caused by varying power demands, isolating the true degradation trend without requiring complex preprocessing or domain expertise. Leveraging the extracted HI, we introduce a hybrid deep learning model that combines Transformer networks and Gated Recurrent Units (GRUs) to capture temporal dependencies and provide accurate RUL predictions under dynamic conditions. Explainable AI techniques are integrated to interpret the model’s predictions and analyze the influence of operational variables on fuel cell degradation. The proposed framework is validated on a real-world industrial dataset from four PEMFC stacks operating in GEH2 systems. Experimental results demonstrate superior accuracy, robustness, and generalizability compared to state-of-the-art methods, highlighting the potential of this scalable and interpretable approach for predictive maintenance in complex industrial environments
Nicolas Lebourg et Olivier Schmitt, Paris-Moscou. Un siècle d’extrême droite, Paris, Éd. Le Seuil, coll. Documents, 2024, 261 pages
No full textInternational audienc
RibPull: Implicit Occupancy Fields and Medial Axis Extraction for CT Ribcage Scans
No full textInternational audienceWe present RibPull, a methodology that utilizes implicit occupancy fields to bridge computational geometry and medical imaging. Implicit 3D representations use continuous functions that handle sparse and noisy data more effectively than discrete methods. While voxel grids are standard for medical imaging, they suffer from resolution limitations, topological information loss, and inefficient handling of sparsity. Coordinate functions preserve complex geometrical information and represent a better solution for sparse data representation, while allowing for further morphological operations. Implicit scene representations enable neural networks to encode entire 3D scenes within their weights. The result is a continuous function that can implicitly compesate for sparse signals and infer further information about the 3D scene by passing any combination of 3D coordinates as input to the model. In this work, we use neural occupancy fields that predict whether a 3D point lies inside or outside an object to represent CT-scanned ribcages. We also apply a Laplacian-based contraction to extract the medial axis of the ribcage, thus demonstrating a geometrical operation that benefits greatly from continuous coordinate-based 3D scene representations versus voxel-based representations. We evaluate our methodology on 20 medical scans from the RibSeg dataset, which is itself an extension of the RibFrac dataset. We will release our code upon publication.</div
Of Gods and Men? Animals acting as humans in the Proto-Elamite Classic Style
No full textInternational audienceArchaeological research in the Ancient Near East is often saturated with religious interpretations. Across fields such as urban planning, architecture, material culture, and iconographic studies, concepts of ritual, cult, mythology, cosmology, and cosmogony dominate and shape our understanding of past societies. While the value of such perspectives is undeniable, it is worth questioning the tendency to “sacralize” archaeological discoveries. Iconographic studies within the glyptic domain, in particular, frequently interpret symbols or figures almost exclusively through a religious lens. However, alternative interpretations—rooted in social, political, or economic practices—are equally compelling and deserve greater attention. The proto-Elamite glyptic style, dating to the late IVth millennium BCE, is a striking example of this phenomenon. Found on cylinder seals from Iran, its distribution spans a vast region, from Khuzestan to Sistan. This period, known as proto-Elamite period, represents a pivotal moment in Iranian history, marked by the advent of writing and the emergence of complex proto-urbanization processes. These seals, used in local and household administrative contexts, display a highly original and distinctive figurative repertoire, featuring scenes of animals acting as humans, long regarded as fantastical or mythological. This article challenges this perspective, proposing instead the possibility of a deliberate staging of proto-Elamite society. Through this animal-themed iconographic repertoire, socio-economic and, above all, political actors depicted themselves to legitimize and uphold the established order