HAL Portal UDL Université de Lyon
Not a member yet
327890 research outputs found
Sort by
Verified Persistent Catenable Deques
No full textInternational audienceThe simple persistent catenable deques invented by Kaplan, Okasaki, and Tarjan (2000) support insertion and extraction at either end and concatenation. They have mutable internal state and rely on a restricted form of mutation; yet they are persistent, that is, they appear to be immutable. Using Iris, we verify that they are correct in sequential and concurrent usage scenarios. Using Iris with time credits, we verify that, provided concurrent accesses are forbidden, every operation has amortized time complexity O(1). This requires repairing a certain mysterious condition in Kaplan, Okasaki, and Tarjan's description
Development and laboratory evaluation of a markerless method to estimate low back intersegmental moments in childcare-related activities
No full textInternational audienceIn early childhood care settings, the frequent adoption of awkward postures and repetitive manual material handling tasks are biomechanical risk factors for the development of musculoskeletal disorders. Estimating low back intersegmental moments under realistic conditions could help identify such risks. Realistic conditions make measurement challenging, particularly in achieving a balance between unobtrusive instrumentation and acceptable accuracy. The aim of this study was to develop and evaluate a markerless method for estimating low back intersegmental moments for childcare-related activities. In standardized laboratory conditions, eight participants performed six manual material handling and sit-to-stand tasks, representative of real work situations, using two different baby dummies weighting 2.7 kg and 10 kg. The proposed method, only based on video recordings, was evaluated by comparison with a reference approach combining marker-based motion capture and force platforms. Mean absolute differences in L5/S1 joint moment estimation between both approaches were approximately 20 Nm, which is comparable to errors reported in the literature for methods without force platforms that can be deployed in situ. By requiring no instrumentation or participant preparation, this method offers a practical solution for quantifying low back intersegmental moments
Apprehensions of illiberalism. Examining how the principles of the Rule of Law are dismantled
No full textInternational audienc
Borders as Apparatus of Domination. The Pushbacks Practices Under Scrutiny
No full textInternational audienc
Migration Law and Politics in Contemporary France. Under the Eyes of the Far-Right
No full textInternational audienc
Toward an alternative to the EU migration policy : hospitality as ethics
No full textInternational audienc
Respirer avec K. Méthodes et enjeux cartographiques
No full textNational audienceCe texte se propose de mener une discussion avec et autour d’une cartographie , celle de l’itinéraire de K., un homme, asthmatique et allergique. Nous - deux chercheurs et une architecte cartographe - avons expérimenté avec K. un itinéraire en marchant centré sur sa respiration et son expérience ordinaire de l’air, en nous donnant l’objectif suivant : produire une cartographie qui non seulement exprime l’expérience de l’itinéraire, mais aussi constitue un outil réflexif et critique des espaces publics contemporain