University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Un modélisation logique du jeu de plateau Yōkai
No full textWe present an epistemic language for representing an artificial player's beliefs and actions in the context of the Yōkai board game. Yōkai is a cooperative game which requires a combination of Theory of Mind (ToM), temporal and spatial reasoning to be played effectively by an artificial agent. We show that the language properly accounts for these three dimensions and that its satisfiability problem is NP-complete. This opens up the possibility of exploiting SAT techniques for automating reasoning of an artificial player in the context of the Yōkai board-game. We present the language as well as the initial beliefs and axioms of construction of the next epistemic state of the artificial player.Nous présentons un langage épistémique pour représenter les croyances et les actions d'un joueur artificiel dans le contexte du jeu de plateau Yōkai. Yōkai est un jeu coopératif qui nécessite une combinaison de théorie de l'esprit (ToM), de raisonnement temporel et spatial pour être joué efficacement par un agent artificiel. Nous montrons que le langage rend bien compte de ces trois dimensions et que son problème de satisfiabilité est NP-complet. Cela ouvre la possibilité d'exploiter les techniques SAT pour automatiser le raisonnement d'un joueur artificiel dans le cadre du jeu de société Yōkai. Nous présentons le langage ainsi que les croyances initiales et les axiomes de construction de l'état épistémique suivant du joueur artificiel
Induction de Lebesgue et théorème de Tonelli en Coq
No full textLebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus, its formalization in a proof assistant is to be designed to fit different goals and projects. Once the Lebesgue integral is formally defined and the first lemmas are proved, the question of the convenience of the formalization naturally arises. To check it, a useful extension is Tonelli's theorem, stating that the (double) integral of a nonnegative measurable function of two variables can be computed by iterated integrals, and allowing to switch the order of integration. This article describes the formal definition and proof in Coq of product sigma-algebras, product measures and their uniqueness, the construction of iterated integrals, up to Tonelli's theorem. We also advertise the Lebesgue induction principle provided by an inductive type for nonnegative measurable functions.L'intégrale de Lebesgue est un outil mathématique bien connu, utilisé par exemple en théorie des probabilités, en analyse réelle et pour les mathématiques appliquées. Sa formalisation dans un assistant de preuve doit donc être conçue pour s'adapter à des buts et des projets différents. Une fois que l'intégrale de Lebesgue est définie formellement et que les premiers lemmes sont prouvés, il se pose naturellement la question de la commodité d'usage de la formalisation. Pour la contrôler, le théorème de Tonelli est une extension utile. Ce dernier établi que l'intégrale (double) d'une fonction mesurable positive de deux variables peut être calculée par des intégrales itérées et que l'on peut intervertir l'ordre d'intégration. Cet article décrit la définition formelle et la preuve en Coq des tribus produits, de l'existence et l'unicité des mesures produits, de la construction des intégrales itérées, jusqu'au théorème de Tonelli. Nous mettons également en avant le principe d'induction de Lebesgue, obtenu à partir d'un type inductif pour les fonctions mesurables positives
Prévalence des hépatites B et C et du VIH des personnes travaillant sur le lac Tanganyika (communauté des pêcheurs) au Burundi en 2022
No full textSummaryPeople working in the ports of Lake TANGANYIKA in Burundi represent a population at risk of HIV, HBV and HCV viral contamination. Since 2014, a public health action (screening, prevention, awareness, training, health education, etc.) has been organized on Rumonge beach and its surroundings. The monitoring of incidence rates has shown that this action was effective. Since 2020, this same type of action has been developed on the beaches of the provinces of KAJAGA and MVUGO, totaling 18 beaches and 40,000 people, as part of the SAPEMA program "Santé Pêcheurs et Mareyeuses Lac Tanganyika 2020-2023".A survey on the prevalence of HIV and hepatitis B and C aimed to measure a contamination rate in Rumonge after 7 years of prevention, in comparison with the rates in KAJAGA and MVUGO for which the actions had just started in 2020.It took place during the week of March 7-12, 2022 and rapid diagnostic orientation tests (TROD) were carried out according to a draw plan stratified on range, age and profession. Validation checks have been performed.A total of 902 people were tested. TROD HIV(+) screening was 6 cases, i.e. a prevalence rate of 0.66% (0.30% – 1.44%), TROD HBV(+) screening was 40 cases, i.e. a rate of 4 .40% (CI 3.28% - 5.99%) and that of TROD HCV(+) in 5 cases, i.e. a rate of 0.56% (0.24% - 1.29%). A case of co-infection (HIV + HBV) was highlighted.The validation carried out made it possible to confirm the total of 56 positive tests validated for 55 people, i.e. in total with at least one test (+) a rate of 6.09% (4.71% - 7.85%) with 36 men (5.3%) and 19 women (8.4%) (p=0.09). The presence of at least one validated positive test was for the sectors of Rumonge = 5.3%, Kajaga = 5.2% and Mvugo = 9.0% (difference not significant). The factors associated with at least one positive test are mainly the profession of restaurateur/fishmonger/processor and, to a lesser extent, Mvugo beach. Rumonge beach has significantly fewer positive tests than the other beaches (3.2% versus 7.2%; p=0.025).In total, the observed rates of viral contamination are lower than the expected rates in sectors at viral risk. These lower than expected rates may be based on several hypotheses: prevention actions in BURUNDI have been effective for about ten years, or the actions already undertaken in Kajaga and Mvugo have been rapidly effective since 2020, or it has there were selection biases – including that of “healthy worker” – which limited the inclusion of positive people during the survey. The fact that Rumonge beach presented significantly lower contamination rates than other beaches tends to prove that the actions undertaken since 2014 have been effective.Following this survey, prevention, training, health education and awareness-raising actions are to be continued, giving priority to women on the beaches, and those in Mvugo and Kajaga in particular.RésuméLes personnes travaillant sur les ports du lac TANGANYIKA au Burundi représentent une population à risques de contaminations virales VIH, VHB et VHC. Depuis 2014, une action de santé publique (dépistage, prévention, sensibilisation, formation, éducation sanitaire...) a été organisée sur la plage de Rumonge et alentours. Le suivi des taux d'incidence a permis de montrer que cette action était efficace. Depuis 2020, ce même type d'action a été développée sur les plages des provinces de KAJAGA et de MVUGO, totalisant 18 plages et 40 000 personnes, dans le cadre du programme SAPEMA "Santé Pêcheurs et Mareyeuses Lac Tanganyika 2020-2023".Une enquête de prévalence du VIH et des hépatites B et C avait pour objectif de mesurer un taux de contamination sur Rumonge après 7 ans de prévention, en comparaison avec les taux sur KAJAGA et MVUGO pour lesquels les actions avaient juste débuté en 2020. Elle s'est déroulée dans la semaine du 7 au 12 mars 2022 et des tests rapides d'orientation diagnostique (TROD) ont été réalisés selon un plan de tirage au sort stratifié sur la plage, l'âge et la profession. Des contrôles de validation ont été effectués.Au total, 902 personnes ont été testées. Le dépistage TROD VIH(+) a été de 6 cas, soit un taux de prévalence de 0,66 % (0,30 % – 1,44 %), celui TROD VHB(+) de 40 cas, soit un taux de 4,40 % (IC 3,28 % - 5,99 %) et celui TROD VHC(+) de 5 cas soit un taux de 0,56 % (0,24 % - 1,29 %). Un cas de co-infection (VIH + VHB) a été mis en évidence.La validation effectuée a permis de confirmer le total de 56 tests positifs validés pour 55 personnes, soit au total avec au moins un test (+) un taux de 6,09 % (4,71 % - 7,85 %) avec 36 hommes (5.3 %) et 19 femmes (8.4 %) (p=0.09). La présence d'au moins un test positif validé a été pour les secteurs de Rumonge = 5,3 %, de Kajaga = 5,2 % et de Mvugo = 9,0 % (différence non significative). Les facteurs associés à au moins un test positif sont principalement la profession de restauratrice/mareyeuse/transformatrice et, dans une moindre mesure, la plage de Mvugo. La plage de Rumonge a significativement moins de tests positifs que les autres plages (3.2 % versus 7.2 %;p=0.025).Au total, les taux observés de contamination virale sont inférieurs aux taux attendus dans des secteurs à risques viraux. Ces taux plus bas qu'attendus peuvent reposer sur plusieurs hypothèses : les actions de prévention au BURUNDI ont été efficaces depuis une dizaine d'années, ou bien les actions déjà entreprises à Kajaga et Mvugo ont été rapidement efficaces depuis 2020, ou encore il a existé des biais de sélection – dont celui du "travailleur en bonne santé" – qui a limité les inclusions des personnes positives pendant l'enquête. Le fait que la plage de Rumonge ait présenté des taux de contamination significativement inférieurs aux autres plages tend à prouver que les actions entreprises depuis 2014 ont été efficaces.A la suite de cette enquête, les actions de prévention, de formation, d'éducation sanitaire et de sensibilisation sont à continuer en privilégiant les femmes sur les plages, et celles en particulier de Mvugo et Kajaga
La mosaïque [contribution à : M. Guérit (dir.), Le Pègue (Drôme). Lieudit La Prade. Rapport final - Fouille archéologique, vol. 2]
No full text« Les vestiges lithiques des Tarterêts III : bilan d’étape », in Ollivier-Alibert C., Mevel L., Caron-Laviolette E. (dir.), Les Tarterêts III (Essonne). Rapport de fouille programmée 2021
No full textMission archéologique franco-chinoise au Xinjiang (Chine) : Note de synthèse sur les opérations réalisées en 2022.
No full text
Etude archéomalacologique marine. In : Barbeau S. (dir), Maltot, un ensemble de fermes du Second âge du Fer au Ier siècle de notre ère, Normandie, Calvados, Maltot, Rapport final d’opération, pp. 465-472
No full textEtude archéomalacologique marine de l’âge du Fer, de l’Antiquité et du haut Moyen Âge. In : Besnard-Vauterin C.-C. (dir), Les occupations de l’âge du Fer, de l’Antiquité et du haut Moyen Âge, Ifs, Calvados, Centre pénitentiaire, Rapport final d’opération, vol. 1, pp. 407-415 ; vol. 2 pp. 248-256 et pp. 304-308
No full textDifférents états du Chemin de la Marina : Saint-Dizier, Haute-Marne, Rue des Mérovingiens, Grand Est : rapport de diagnostic
No full textLes principaux éléments mis au jour au cours de ce diagnostic sont en lien avec un axe de circulation qui semble avoir marqué le paysage de façon pérenne : le chemin de la Marina (de son nom actuel). L’étang de la Marina, anciennement étang Simon-le-Riche, se situe à environ 1 km au sud de l’emprise. Un chemin liant ce plan d’eau avec la ville de Saint-Dizier et passant par notre emprise est attesté sur les plans cadastraux napoléoniens. D’autres sources documentaires feraient remonter l’existence de ce chemin au XVIe siècle (sans que l’on puisse savoir si le tracé est resté strictement identique). Cet état ancien du cheminement est matérialisé sur le terrain par la présence d’ornières sur le substrat, ainsi que par un potentiel bordier et un état d’abandon de la bande de roulement. Tous ces éléments attestent de la présence d’un axe de circulation dont l’aménagement reste relativement sommaire : aucun apport de matériel n’a été mis en évidence, que ce soit pour la préparation de la zone de circulation ou sa stabilisation. Un potentiel fossé bordier en lien avec le chemin a été reconnu au nord de celui-ci. Le chemin de la Marina existe encore aujourd’hui, son tracé ayant été dévié autour de la fin des années 1990 et début des années 2000. Du fait de cette déviation, le chemin ne passe plus sur notre emprise, mais les vestiges de son état du XXe siècle sont nombreux sur l’emprise. La chaussée, si elle était goudronnée, semble avoir été démantelée au moment de l’abandon de ce tronçon de voie. Mais un épais niveau de craie compacté avec des éléments de TCA semble attester de la présence d’une préparation préalable l’installation du niveau de circulation à proprement parler. Associés à cette préparation ont été mis au jour deux tranchées ou fossés rectilignes, bordant la bifurcation sud de la voie. D’autres faits contemporains, dont le lien avec la voirie est inconnu, coexistent avec des éléments d’origine anthropique non datés et non liés à l’état ancien du chemin : un fossé, deux potentielles fosses