University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Properly define blocks as part of the grammar: proposal for C23
No full textBlocks are a fundamental concept in C for the definition of visibility scopes of identifiers and for the lifetime of objects. Currently, there is no closed definition what a block is and the different definitions that compose the term have to be collected in different places that spread over several clauses. In particular, the fact that dependent statements of iteration or selection statements form blocks of their own is easily overlooked and leads to misunderstandings for example concerning the lifetime of compound literals. We propose to change that situation by introducing terms primary block and secondary block in the syntax and by referring to the other definitions of blocks, namely functions definitions and lambda expressions (if added to C23), in a summary definition
Programme de recherche et de conservation de l'esturgeon européen Acipenser sturio - Bilan scientifique et technique 2021
No full textThis report presents the assessment of scientific and technical research and conservation actions by INRAE in the framework of the National Action Plan for the European sturgeon. These works were funded by the Adour Garonne Water Agency and the General Council of the Gironde with the support of Dreal Aquitaine. This document presents a summary of the quality of male gametes; the initial results of endoscopy for sexing and maturity assessment, the effects of fungicides on embryonic development, the monitoring of the population in the natural environment via the "Sturat" sampling campaigns in the estuary; a summary of the communication actions. The reproductive period started on 3 and 4 May with the pre-selection of broodstock. Based on ultrasound scans, 4 females and 10 males, mainly from the 2007 and 2008 cohorts, were selected and transferred to Sturio 1. Two breeding sequences were attempted withoutsuccess. Seven males gave semen, of which 4 could be frozen. Despite the lack of successful assisted reproduction, we observe very encouraging signs. The number of broodstock reaching the final stage of maturation is increasing and the quality of semen is improving. Monitoring in the natural environment is realized with the collection of accidental catches and trawling campaigns in the Gironde estuary (STURAT). These scientific samplings made it possible to capture 19 individuals between 140 and 180 cm in size.Ce rapport présente le bilan scientifique et technique des actions de recherche et de conservation menées par l’INRAE dans le cadre du Plan National d’Actions en faveur de l’esturgeon européen. Ces travaux ont été financés par l’Agence de l’Eau Adour Garonne et le Conseil Général de la Gironde avec le soutien de la DREAL Aquitaine. Ce document présente une synthèse sur la qualité des gamètes mâles ; les premiers résultats de l’endoscopie pour le sexage et l’évaluation de la maturité, les effets de fongicides sur le développement embryonnaire, le suivi de la population en milieu naturel via les campagnes d’échantillonnage « Sturat » en estuaire ; une synthèse des actions de communication. La saison a débuté les 3 et 4 mai avec les pré-sélections des géniteurs. A partir des échographies, 4 femelles et 10 mâles issus des cohorte 2007 et 2008 principalement, ont été sélectionnés et transférés dans Sturio 1. Deux séquences de reproduction ont été tentées sans succès. Sept mâles ont donné de la semence, dont 4 ont pu être congelé. Malgré l’absence de réussite de la reproduction assistée, nous observons des signes très encourageants. Le nombre de géniteurs atteignant la phase finale de maturation est en augmentation et la qualité des semences progresse. Le suivi en milieu naturel est organisé à partir du recueil des captures accidentelles et de campagnes de chalutage dans l’estuaire de la Gironde (STURAT). Ces échantillonnages scientifiques ont permis de capturer 19 individus de taille comprise entre 140 et 180 cm
Le devenir des canaux d’irrigation gravitaire en Cévennes : entre gestion locale et nouvelle réglementation
No full textAction n° 63 du Programme 2010 au titre de l'accord cadre Agence de l'Eau ZAB
Escrito de amicus curiae presentado en el caso del orangután Sandai – El reconocimiento del orangután Sandai como persona física no humana
No full textMémoire communiqué à l’attention de la justice chilienne, Cour d’appel de San Miguel, Chil
Le pluralisme des médias à l'ère numérique: Application du Media Pluralism Monitor à l'Union européenne, à l'Albanie, au Monténégro, à la République de Macédoine du Nord, à la Serbie et à la Turquie en 2021. Rapport : France
No full textLe Media Pluralism Monitor (MPM) est un outil de recherche créé pour identifier des risques pesant sur le pluralisme médiatique dans les États membres de l’Union européenne et dans quelques pays candidats à l’intégration européenne. Ce rapport a été produit à partir des données recueillies pour le MPM pendant l’année 2020. La mise en œuvre du projet a été conduite dans 27 pays membres de l’Union européenne, ainsi qu’en Albanie, Monténégro, République de Macédoine du Nord, Serbie et Turquie. Le projet, conduit sous l’égide du Parlement européen, a bénéficié d’un soutien financier attribué par la Commission européenne au Centre for Media Pluralism and Media Freedom (CMPF) de l’European University Institute
Rapport d’avancement AMCER n° 7 : Approche hybride d’aide à la décision pour l’analyse des risques d’accidentsferroviaire basée sur l’apprentissage supervisé
No full textConformément à la réglementation européenne, tous les acteurs du transport ferroviaire et notamment lesgestionnaires d'infrastructures et les entreprises ferroviaires sont tenus de mettre en place un système de "Retourd'Expérience" (REX) afin de comprendre les causes et la gravité des conséquences engendrées par les accidents etincidents ferroviaires. Ainsi, la connaissance des accidents et incidents résulte essentiellement de l'apport desleçons apprises et des expériences acquises. En effet, la sécurité dans le transport ferroviaire s'amélioreessentiellement sur la base d'une connaissance approfondie des accidents et incidents résultant du (REX).Afin, d’expliquer et comprendre les causes et les circonstances des risques d'accident et donc au moins éviter lareproduction des accidents similaires, nous avons orienté notre étude vers l'utilisation d'approches issues del'intelligence artificielle (IA) et en particulier l’apprentissage automatique. A partir du retour d'expérience,l'objectif principal est d'exploiter un ensemble d'événements d'insécurité (scénarios d’accidents ou d’incidents)afin d'anticiper et de prévenir la reproduction des risques d'accidents ou d'incidents similaires et éventuellementde découvrir et d'identifier de nouveaux scénarios d'accidents potentiels susceptibles de compromettre la sécurité.Pour consolider les méthodes usuelles d'analyse de la sécurité ferroviaire, cette étude propose une nouvelleméthode d’aide à la décision basée sur des techniques d’IA en vue d’exploiter, par apprentissage automatique, lesenseignements issus du REX afin d'aider et d'assister les experts en sécurité, les enquêteurs techniques et lesorganismes de certification à évaluer le niveau de sécurité d'un nouveau système de transport ferroviaire.Cette étude propose une nouvelle approche hybride basée sur trois algorithmes d'apprentissage automatique. Lapremière étape d'acquisition des connaissances a conduit à l'élaboration de deux bases de données de scénariosd'accidents. Le premier socle concerne l'analyse de la « sécurité fonctionnelle » et le second socle concernel'analyse de la « sécurité des logiciels critiques ». La deuxième étape, qui s'appuie sur un algorithme declassification des concepts, permet de regrouper les scénarios d'accidents en classes cohérentes telles que la classerelative aux problèmes de collision ou de déraillement de train. Pour chaque classe de scénarios d'accident oud'incident, la troisième étape met en œuvre une technique d'apprentissage basée sur des règles de production afind'identifier des éléments de sécurité pertinents susceptible de mettre en cause la sécurité du système. Dans unequatrième étape, les règles de production précédemment générées sont transférées vers un système expert afind'en déduire les risques potentiels d'accident. Enfin, un raisonnement par cas (CBR) permet de rechercher, sur labase du « retour d'expérience », les cas les plus proches de ce nouveau risque d'accident et propose les mesures deprévention ou de protection les plus adaptées
Knit&Frog: Pattern matching compilation for custom memory representations
No full textInitially present only in functional languages such as OCaml and Haskell, Algebraic Data Types have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions though pattern-matching. Numerous approaches have been designed to compile rich pattern matching to cleverly designed, ecient decision trees. However, these approaches are specic to a choice of internal memory representation which must accommodate garbage-collection and polymorphism. ADTs now appear in languages more liberal in their memory representation such as Rust. Notably, Rust is now introducing more and more optimizations of the memory layout of Algebraic Data Types. As memory representation and compilation are interdependent, it raises the question of pattern matching compilation in the presence of non-regular, potentially customized, memory layouts. In this report, we present Knit&Frog, a framework to compile pattern-matching for monomorphic ADTs, parametrized by an arbitrary memory representation. We propose a novel way to describe choices of memory representation along with a validity condition under which we prove the correctness of our compilation scheme. The approach is implemented in a prototype tool ribbit.Initialement présents dans les langages fonctionnels comme Ocaml et Haskell, les types algébriques sont maintenant de plus en plus présents dans les langages mainstream comme Rust. Ils permettent une abstraction commode des données et une façon élégante de décrire des fonctions via le fitrage de motifs (pattern-matching). Ce rapport de recherche présente Knit&Frog, un cadre formel pour décrire des représentations mémoires de types algébrique paramétré par la représentation mémoire. La correction de l'algorithme est prouvée sous une hypothèse de validité de la représentation. L'algorithme est implémenté dans l'outil ribbit. Le principal avantage de l'approche est l'indépendance de l'algorithme et de sa représentation mémoire,qui permettra à terme de décrire des représentations optimisées sans perdre de l'expressivité
Euro-Asian Collaboration for Enhancing STEM Education: EASTEM WP4: Industry engagement and competence integration into STEM educational programs. Deliverable D4
No full textEASTEM is a capacity-building project funded by Erasmus+ (KA2) with the aim of improving employability of STEM graduates from partner universities by ensuring students acquire skills needed in the workplace. Over the course of 3 years (2019-2022) and with a budget of 999.000 EUR, the project brings together 3 universities from Europe and 10 from Asia, creating a platform for partner universities to exchange best practices on student-centered and competency-based STEM education. The EASTEM project is co-funded with support from the European Commission, project (number 598915-EPP-1-2018-1-SE-EPPKA2-CBHE-JP) under the Erasmus+ program. This document reflects only the views of the authors. The Commission is not responsible for any use that may be made of the information contained therein. This document and its annexes in their latest versions are available from the EASTEM website (www.eastemproject.eu). EASTEM Work Package 4 (WP4) is to facilitate industry engagement and competence integration into educational programs. Building on good case practises from all partner institutions, IMT Atlantique guided partners on how to integrate competence development for students into STEM education programmes and university strategies