HAL: Hyper Article en Ligne
Not a member yet
3159010 research outputs found
Sort by
Identification of Canonical and Alternative Proteins by Mass Spectrometry
No full textInternational audienc
Le pronom 'on' à travers les genres et les langues : Quelques réflexions en guise de conclusion
No full textInternational audienceOn the evidence of the papers collected in this volume, we examine the interaction between the heterogeneous nature of texts and the malleability of the French pronoun on. We highlight the contribution of a contrastive approach based on the analysis of a bi-directional parallel corpus of translated texts representing two text types, in French and in English. This leads us to identify certain similarities, across various corpora, languages and approaches, as regards the need to take into account the syntactic contexts in which the pronoun on appears, thus confirming its indetermination and its dependence on its environment.Nous nous appuyons sur les études qui précèdent pour nous interroger sur l’interaction entre l’hétérogénéité des textes et la plasticité du pronom on. Nous mettons en évidence les apports de l’approche contrastive, à partir de l’analyse d’un corpus parallèle bidirectionnel de textes traduits, représentant deux catégories textuelles, en français et en anglais. Nos observations nous conduisent à identifier des convergences, indépendamment de la diversité des corpus, des langues et des approches, touchant à la nécessité de prendre en compte les contextes syntaxiques dans lesquelles apparaît on, confirmant son extrême malléabilité et sa dépendance vis-à-vis de son environnement
La sensibilité à l’ordre comme préoccupation de conception dans les systèmes à état avec une implémentation C# .NET 10
No full textMany bugs in stateful software systems arise from incorrect operation ordering. However, order sensitivity is often not treated as an explicit design concern in system documentation and design processes. Instead, it frequently appears as an implicit property of stateful operations, leading to failures that can be difficult to diagnose. This paper examines order sensitivity as a design concern in stateful systems. We provide definitions distinguishing order sensitive from order insensitive behavior, classify common order sensitivity patterns, and identify five failure modes caused by incorrect ordering: replay divergence, partial re execution, rollback inconsistency, workflow drift, and event ordering mistakes. We present a minimal operational model for reasoning about state transitions under different execution orders. Our contribution is operational and practical, providing guidelines for engineers working with workflows, event sourcing, and stateful services. The work is demonstrated through a C# .NET 10 implementation showing order sensitivity patterns and failure modes in concrete scenarios (see section 13 for implementation details). The complete implementation, including source code, comprehensive test suite, and documentation, is publicly available at github.com/myonathanlinkedin/OrderSensitivityDe nombreux bogues dans les systèmes logiciels à état proviennent d’un ordonnancement incorrect des opérations. Cependant, la sensibilité à l’ordre n’est souvent pas traitée comme une préoccupation explicite de conception dans la documentation des systèmes et les processus de conception. Elle apparaît plutôt comme une propriété implicite des opérations à état, ce qui conduit à des défaillances difficiles à diagnostiquer.Cet article examine la sensibilité à l’ordre en tant que préoccupation de conception dans les systèmes à état. Nous proposons des définitions distinguant les comportements sensibles à l’ordre et insensibles à l’ordre, classons les schémas courants de sensibilité à l’ordre et identifions cinq modes de défaillance causés par un ordonnancement incorrect : divergence lors de la relecture, re exécution partielle, incohérence de restauration, dérive des workflows et erreurs d’ordonnancement des événements.Nous présentons un modèle opérationnel minimal pour raisonner sur les transitions d’état sous différents ordres d’exécution. Notre contribution est opérationnelle et pratique, et fournit des lignes directrices pour les ingénieurs travaillant avec des workflows, l’event sourcing et des services à état.Le travail est démontré au moyen d’une implémentation C# .NET 10 illustrant des schémas de sensibilité à l’ordre et des modes de défaillance dans des scénarios concrets, voir la section 13 pour les détails d’implémentation. L’implémentation complète, incluant le code source, une suite de tests complète et la documentation, est disponible publiquement à l’adresse github.com/myonathanlinkedin/OrderSensitivity
Effects of Aqueous Extract of Newbouldia laevis Leaves on the Pancreas of Lead Acetate-Induced Adult Wistar Rats
No full textInternational audienceLead is a heavy metal widely known for its toxic effects on various organs, including the pancreas. The search for plant-derived remedies has led to the evaluation of Newbouldia laevis, a medicinal plant traditionally used in the management of several ailments. This study investigated the effects of aqueous extracts of Newbouldia laevis on the pancreas of lead acetate-induced adult Wistar rats. Adult of 25 Wistar rats weighing (150-200g) were randomly assigned into five groups: Group A served as the normal control, Group B received lead acetate only, Group C received lead acetate and Vitamin C, while Groups D and E received lead acetate with 200 mg/kg and 400 mg/kg of Newbouldia laevis extract, respectively. Lead acetate was administered to induce pancreatic toxicity, while vitamin C and plant extracts were given orally throughout the experimental period. After the 28 days of treatment with the extract, pancreatic tissues were harvested, processed using routine histological techniques, and examined under light microscopy following hematoxylin and eosin staining. Results showed that the control group exhibited normal pancreatic architecture with intact islets of Langerhans and pancreatic acini, while the lead acetate group showed severe degeneration and necrosis. The Vitamin C-treated group showed moderate regeneration with mild necrotic changes. Rats treated with 200 mg/kg of Newbouldia laevis showed mild regeneration with moderate necrosis, whereas those treated with 400 mg/kg showed marked improvement with active acini and distinct islets of Langerhans. In conclusion, Newbouldia laevis demonstrated a dose-dependent protective effect against lead-induced pancreatic damage
Research on the Path of E-commerce Live Streaming in Promoting Rural Revitalization: A Case Study of China’s Key Counties for Rural Revitalization
No full textInternational audienceE-commerce live streaming has become a commonly used marketing mode in the era of Internet penetration. In the implementation process of the rural revitalization strategy, more and more villages are showcasing their rural scenery and selling local agricultural and sideline products through online live streaming platforms, which has become an effective measure to promote rural revitalization. The "Internet celebrity secretary" of Huaisi Village in Matou Town, Jiangsu Province, has achieved certain results in promoting rural revitalization through e-commerce live streaming during rural governance. Leveraging the influence of the "Internet celebrity secretary", various online and offline channels are utilised to promote rural culture and speciality products, attracting more tourists and investors, thereby driving the rapid growth of the rural economy. "Daotou Spicy Strips" has become a network star agricultural speciality product, attracting the attention of many netizens, enhancing the popularity and reputation of the village, driving local economic development and cultural dissemination, and using online platforms to achieve rural revitalization with thriving industries and livable ecology. This article analyses the practices and experiences of the "Internet celebrity secretary" of Huaisi Village in promoting rural revitalization through e-commerce live streaming, explores the path of rural revitalization in the context of the Internet, and provides reference and lessons for rural revitalization. By selecting outstanding rural leaders, identifying suitable entry points for their own development, and innovating rural revitalization models, we can promote sustainable development in rural areas, revitalize rural areas in the new era, and facilitate the orderly progress of China's rural revitalization strategy
La musica sacra di Franchino Gaffurio: Messe, Volume III : Missa De tous biens pleine ; Missa Sexti Toni ; Missa Sanctae Catherinae
No full textInternational audienc
Utilisation d’un Espace Numérique de Travail par les enseignants du primaire français
No full textInternational audienceThe study presents an analyze of implementing the PrimOT platform as a digital workspace in the Central France academic region. The methodology employs a mixed-methods approach, including administering a questionnaire to primary school teachers and conducting semi-structured interviews with school principals. The results offer insights into the level of interaction with the platform, as well as perceptions and satisfaction, the use of digital tools for learning, and PrimOT's impact on various aspects of the educational environment. The study concludes that PrimOT has been widely adopted by teachers, effectively integrating into daily teaching, and learning routines. However, areas for improvement and challenges are identified to maximize the platform's potential in response to the evolving needs of the educational setting.El estudio presenta un análisis de la implementación de la plataforma PrimOT como espacio digital de trabajo en la academia de la región central de Francia. La metodología utilizada se sustenta en la perspectiva mixta de la investigación social, mediante la aplicación de un cuestionario a maestros de escuelas primarias y de entrevistas semiestructuradas a directores educativos. Los resultados permitieron comprender el nivel de interacción con la plataforma, así como la percepción y satisfacción, la utilización de herramientas digitales para el aprendizaje y el impacto de PrimOT en diversos aspectos del entorno educativo. Se concluyó que PrimOT ha sido ampliamente adoptada por los maestros, integrándose de manera efectiva en las rutinas diarias de enseñanza y aprendizaje. No obstante, se identificaron áreas de mejora y desafíos para maximizar el potencial de la plataforma, según las necesidades cambiantes del entorno educativo.L’étude présente une analyse de la mise en œuvre de la plateforme PrimOT en tant qu’Environnement Numérique de Travail (ENT) dans l’académie française de la Région Centre-Val de Loire. La méthodologie repose sur une approche mixte de recherche en sciences sociales, combinant l'administration d'un questionnaire à des enseignants du primaire et la conduite d'entretiens semi-directif auprès de responsables de l’encadrement pédagogique. Les résultats ont permis de comprendre le niveau d’interaction avec la plateforme, la perception et la satisfaction des utilisateurs, ainsi que l'utilisation d’outils numériques pour l’apprentissage et l'impact de PrimOT sur l’environnement éducatif. L’étude conclut que la plateforme PrimOT est largement adoptée par les enseignants et s’intègre efficacement aux pratiques pédagogiques quotidiennes. Toutefois, l'étude identifie des défis et des pistes d’amélioration pour optimiser son potentiel et répondre aux besoins évolutifs du milieu éducatif
Breaking Anonymity in Attribute-Based Access Control Encryption *
No full textInternational audienceAccess Control Encryption (ACE) enforces sender and receiver access control while preserving traffic anonymity. Attribute-Based ACE (AB-ACE) extends this to attribute-based policies, claiming to achieve the same security guarantees under the No-Read and No-Write rules. In this paper, we show that existing AB-ACE schemes fail to ensure anonymity: most reveal the access structure in the ciphertext, and even schemes designed to hide it leak information through NIZK-related elements, violating the No-Read Rule. These results call for a reconsideration of both the construction techniques and the formal models of AB-ACE, if robust sender and receiver privacy is to be achieved