University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
MEMORIA - nomenclature des activités: Prototype de recherche exploratoire porté par l’UMR 3495 CNRS/MC MAP (Modèles et Simulations pour l’Architecture et le Patrimoine).
No full textCe document présente la classification des 285 activités que comporte le système d’informations MEMORIA en mai 2022.The document presents the classification of the 285 activities present in the MEMORIA information system in May 2022. Activities are the 'atomic' elements of this system. They identify the different actions carried out during a research process. Within the MEMORIA IS activities are used in to build/elaborate graphs representing workflows mobilised to produce research outputs. In the structuring stage of a process, activities are organised in sequences reflecting their relative order (e.g., chain sequences, parallel sequences, iterative sequences ...). Then, at the specification stage, they are detailed and annotated – picking up the relevant descriptors, singling out people involved in the activity, mentioning sources and inputs upon which the activity is based, instruments, temporal clues (e.g. dates or duration of activities), and so on.To enable this use, activities were first identified through an elicitation campaign. Each activity was defined, exemplified and documented, and in most cases characterised by a set of specific descriptors. Activities are divided into five groups corresponding to different phases of work (data acquisition, data filtering and treatment, data analysis, exploitation protocols, finalisation). Within each group, activities are organised hierarchically from the most general to the most specific ones and represented in what we call "wheels of activities". This hierarchy is intended to provide flexibility: it allows the user to select a relatively generic activity where information is unclear or incomplete. It should be noted that the list of activities present in the MEMORIA IS at this stage is not universal: it only corresponds to the needs of those who created and then extended it. Consequently, the definitions and their descriptors correspond to a specific context - this of the research and development activities of the laboratory of origin of the system (UMR 3495 CNRS/MC MAP) - the proposed definitions are therefore to be understood as aligned with the practices, knowledge or know-how of this laboratory. The initial set of activities was extended so as to include a group of activities related to building archaeology as a result of collaboration between UMR MAP-Gamsau and the LAT team (UMR 7324 CITERES).It should be mentioned that the list of activities presented in this document represents a milestone in the development of the system, which we expect to be enriched as future collaborations are initiated. It therefore does not claim to be exhaustive, and the reader will note that while certain branches of the wheels of activities are quite developed, while others remain very general. Each extension will require the identification and organisation of discipline- or user- specific activities, and therefore will require further knowledge elicitation campaigns.Ce document présente la classification des 285 activités que comporte le système d’informations MEMORIA en mai 2022. Les activités sont les éléments ‘atomiques’ de ce système. Elles identifient les différentes actions menées au cours d’un processus de recherche. Ces activités sont utilisées dans le système MEMORIA pour construire des graphes représentant les flux de recherche mis en œuvre pour produire des résultats (outputs). Dans l’étape de structuration d’un processus les activités sont organisées dans des séquences décrivant leur ordre relatif (ex. séquences en chaîne, séquences parallèles, séquences itératives …). Ensuite, au stade de la spécification, elles sont détaillées et annotées- on sélectionne les descripteurs appropriés, on identifie les personnes impliquées dans l'activité, les sources et les intrants utilisés, les instruments, les indices temporels (ex. les dates ou la durée des activités), etc.Pour permettre cette utilisation les activités ont d’abord dû être identifiées au travers d’une étape d’élicitation. Chaque activité ainsi identifiée a été définie, exemplifiée et documentée, et dans la majorité des cas caractérisée par une série de descripteurs spécifiques. Les activités sont réparties en 5 groupes correspondants à différentes phases de travail (acquisition de données, filtrage et traitement de données, analyse des données, protocoles d'exploitation, finalisation). À l'intérieur de chaque groupe, elles sont organisées de manière hiérarchique, des plus générales aux plus spécifiques et représentées dans ce que nous appelons des « roues d’activités ». Cette hiérarchie est conçue pour apporter une forme de flexibilité à l’usage : cela permet à l’utilisateur au besoin de sélectionner une activité relativement générale en cas d’informations imprécises ou lacunaires. Il convient de noter que la liste structurée des activités présente dans le SI MEMORIA à ce stade n’est pas universelle : elle ne correspond qu'aux besoins de ceux qui l'ont créée puis étendue. Par conséquent, les définitions et leur descripteurs correspondent à un contexte spécifique – celui des travaux de recherche et de développement du laboratoire d’origine du système (UMR 3495 CNRS/MC MAP) - les définitions proposées sont donc à comprendre comme alignées avec les pratiques, connaissances ou savoir-faire de ce laboratoire. Les activités présentées dans ce document représentent un point d’étape dans le développement du système, qui a vocation à s’enrichir au fur et à mesure de collaborations à venir
Mémoire d’amicus curiae soumis dans l’affaire de l’orang-outan Sandai: La reconnaissance de l’orang-outan Sandai comme personne physique non-humaine
No full textMémoire communiqué à l’attention de la justice chilienne, Cour d’appel de San Miguel, Chil
Analyse de convergence pour des méthodes d’inversion multi-étapes de type one-shot
No full textIn this work we are interested in general linear inverse problems where the corresponding forward problem is solved iteratively using fixed point methods. Then one-shot methods, which iterate at the same time on the forward problem solution and on the inverse problem unknown, can be applied. We analyze two variants of the so-called multi-step one-shot methods and establish sufficient conditions on the descent step for their convergence, by studying the eigenvalues of the block matrix of the coupled iterations. Several numerical experiments are provided to illustrate the convergence of these methods in comparison with the classical usual and shifted gradient descent. In particular, we observe that very few inner iterations on the forward problem are enough to guarantee good convergence of the inversion algorithm.Dans ce travail nous nous intéressons à des problèmes inverses linéaires généraux où le problème direct correspondant est résolu de façon itérative en utilisant des méthodes de point fixe. Ainsi, les méthodes de type one-shot, qui itèrent en même temps sur la solution du problème direct et l’inconnue du problème inverse, peuvent être appliquées. Nous considérons deux variantes des méthodes multi-étapes de type one-shot et nous établissons des conditions suffisantes et nécessaires sur le pas de descente pour leur convergence, en étudiant les valeurs propres de la matrice par blocs des itérations couplées. Plusieurs tests numériques sont présentés pour illustrer la convergence de ces méthodes par rapport aux méthodes de descente de gradient usuelle et décentrée. En particulier, nous observons que très peu d’itérations internes pour le problème direct sont suffisantes pour garantir une bonne convergence de l’algorithme d’inversion
Risk assessment of the Archaeological Heritage of Gilgit-Baltistan
No full textA concept note presented to Chief Secretary of Gilgit-Baltistan upon request of government and community stakeholders
"Agri-Savoir" Simplifié
No full textThe "Agri-Savoir" toolbox describes a global knowledge management approach dedicated to the agricultural community See: https://hal.archives-ouvertes.fr/hal-02908749v1 "Agri-Savoir" simplified allows a quick reading of the main concepts and the approach developed in Agri-Knowledge."Agri-Savoir" simplified consists of two documents:- A guide to the main concepts of knowledge management and their application in agriculture: Knowing that we know A toolbox for knowledge management in agriculture.- A guide on how to manage knowledge within a collective and to animate knowledge holders."Agri-Savoir" is the result of several years of collaboration between INRAE and the Pôle Bio Massif Central on knowledge management issues.La boîte à outil Agri-Savoir décrit une démarche globale de gestion des connaissances dédiée aux acteurs du monde agricole Voir: https://hal.archives-ouvertes.fr/hal-02908749v1 Agri-Savoir simplifié permet une lecture rapide des principaux concepts et de la démarche développée dans Agri-savoir.Agri-Savoir simplifié est constitué de deux documents:- Un guide des principaux concepts de gestion des connaissances et de leur application en agriculture : Savoir que nous savons Une boite a outils pour la gestion des connaissances en agriculture.- Un guide sur la démarche à conduire pour gérer les connaissances au sein d'un collectif et animer les porteurs de connaissance.Agri-Savoir est le résultat d’une collaboration de plusieurs années entre INRAE et le Pôle Bio Massif Central autour des questions de gestion des connaissances
Les réseaux insulaires à l’épreuve de la résilience, le cas de Saint-Martin face l’ouragan Irma
No full text
Kid's Digital lives in Covid-19 Times (KiDiCoTi) - Les pratiques numériques des 11-18 ans pendant la crise de Covid 19 au printemps 2020 - Rapport de l'étude quantitative FRANCE
No full textMachines abstraites non déterministes
No full textWe present a generic design of abstract machines for nondeterministic programming languages, such as process calculi or concurrent lambda calculi, that provides a simple way to implement them. Such a machine traverses a term in the search for a redex, making non-deterministic choices when several paths are possible and backtracking when it reaches a dead end, i.e., an irreducible subterm. The search is guaranteed to terminate thanks to term annotations the machine introduces along the way. We show how to automatically derive a non-deterministic abstract machine from a zipper semantics-a form of structural operational semantics in which the decomposition process of a term into a context and a redex is made explicit. The derivation method ensures the soundness and completeness of the machines w.r.t. the zipper semantics.Nous proposons une présentation uniforme des machines abstraites pour les langages non déterministes, tels que les calculs de processus ou les lambda-calculs concurrents, qui permet de les implémenter facilement. Une telle machine traverse le terme à la recherche d’un redex, en faisant des choix arbitraires lorsque plusieurs chemins sont possibles, et en retournant en arrière lorsqu’elle atteint un cul-de-sac, c’est-à-dire un terme irreductible. Nous garantissons la terminaison de la recherche grâce aux annotations que la machine ajoute encours de route. Nous montrons comment dériver automatiquement une machine non déterministe depuis une sémantique zipper—une forme de sémantique opérationnelle structurelle dans laquelle la décomposition d’un terme en un contexte et un redex apparaît explicitement. La méthode dedérivation garantit la correction et la complétude de la machine par rapport à la sémantique zipper