University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Les légumes secs. Bien les connaître pour les mettre dans son assiette. Rapport de synthèse sur la thèse de Juliana Melendrez-Ruiz
No full textLa thèse a été réalisée au Centre des Sciences du Goût et de l'Alimentation à Dijon et financée par l'Institut Carnot Qualiment. Elle avait comme objectif de comprendre les barrières à la consommation de légumes secs chez des consommateurs français non végétariens. L'ensemble des études réalisées dans ce travail combine plusieurs méthodologies, directes et indirectes, issues de la psychologie cognitive, sociale, et des sciences du consommateur. Ce document présente les principaux freins et leviers à la consommation de légumes secs identifiés dans le cadre du travail de thèse de JULIANA MELENDREZ-RUIZ (2017-2020)
Enquête sur le bien-être et la santé mentale dans l'industrie musicale en France
No full textEn 2021, le collectif CURA a mandaté une recherche sur la santé mentale dans la filière musicale à Dr Jérémy Vachet, enseignant-chercheur à Audencia. Les fonds de l'étude proviennent du Centre National de la Musique et de la Guilde des artistes musiciens. À la fin de l'année 2021, Audiens est devenu partenaire de l'étude. Menée d'avril 2021 à mai 2022, l'étude a été dirigée par Jérémy Vachet (Dr, PhD). L'étude n'aurait pas pu être menée sans le concours de Sandrine Bubendorff (Dr), ingénieure de recherche et Mélanie Gourvès, ingénieure de recherche. L'introduction, la méthode et l'annexe méthodologique ont été rédigées par Jérémy Vachet (Dr, PhD), l'analyse des données a été menée par Dr Sandrine Bubendorff (Dr) et Mélanie Gourvès. Nous tenons à remercier vivement les participant•es de l'étude ainsi que nos collègues et professionnel•les de la filière consulté•es pour conseil
La mobilité durable à Bogotá et Lima. Politiques publiques, externalités environnementales.
No full textRapport réalisé pour l'ANR Modural.Since the Brundtland report and the Conference of Rio in 1992, the political agendas have seized the “sustainable city” paradigm, at the center of which lies the concept of “sustainable mobility”, despite the absence of a clear and operational definition. From a North-South circulation of models perspective, sustainable mobility has also been adopted by Latin-American public policies. However, due to the strong social concerns among the continent, and above all its cities, the environmental issues are in the background of the social protests that occur there. This report carries out a comparison between two Latin-American metropolis, Bogotá and Lima, on the basis of the public policies of mobility adopted and then of the environmental externalities produced by transport, and their mitigation measures. Both cities experienced urban transition and unplanned growth during the second half of the 20th century, but have followed different development paths along the last decades. Especially, Bogotá set up an ambitious public transport reform as long as the promotion of cycling thanks to its strong governance, whereas institutional fragmentation in Lima only produces a widely informal development. However, the lack of clear definition of funding for the transport reform as long as of joint planning of transport and urbanism put constraints to reaching sustainability in Bogotá: on the one hand, informal transport spreading again fills the gap of the new service, on the other hand, private modes, among which the moto, are growing quickly. These are major stakes to think about looking for a development pathway in Lima. In both cities, the stock of vehicles is ancient and produces a lot of environmental externalities. The analysis of the climate action and air pollution plans of both cities reveals methodological limits regarding the quantification of the impact of the proposed actions. That is why we set up an innovating methodology to assess the environmental impact of mobility.Desde el informe Brundtland y la Conferencia de Río de 1992, las agendas políticas no han dejado de promover el paradigma de la “ciudad sostenible”, siendo la “movilidad sostenible” al centro de éste. Desde una perspectiva de circulación de los modelos entre países del Norte y del Sur, la movilidad sostenible fue también adoptada por las políticas públicas latinoamericanas. Sin embargo, los fuertes desafíos sociales que agitan el continente, y más aún sus ciudades, ocupan un espacio segundario en las protestas sociales que allí suceden. Este informe realiza una comparación de dos urbes latinoamericanas, Bogotá y Lima, sobre la base de las políticas públicas de la movilidad y de las externalidades ambientales del transporte así como sus medidas de mitigación. Ambas ciudades vivieron una transición urbana y un crecimiento sin control durante la segunda mitad del siglo XX, pero han tenido patrones de desarrollo distintos durante las últimas décadas. Asimismo, la fuerte institucionalidad en Bogotá permitió llevar a cabo una extensa reforma del transporte urbano así como la promoción de la bicicleta, mientras que la fragmentación de la gobernanza en Lima deja un modo de producción de la ciudad mayormente informal. Sin embargo, tanto las incertidumbres sobre la financiación de la reforma como la ausencia de planificación conjunta de los transportes y el urbanismo son frenos importantes para la sostenibilidad en Bogotá: por un lado, el redespliegue del transporte informal suple las falencias del nuevo sistema y por otro lado, los modos individuales, principalmente la moto, tienen un crecimiento rápido. Estos retos cuestionan el camino para seguir en Lima. En ambas ciudades, el parque vehicular es antiguo y genera numerosas externalidades ambientales. El análisis de los planes de acción climática y de lucha contra la contaminación del aire adoptados por las dos ciudades revela limites metodológicos en la cuantificación del impacto de las acciones planteadas. Es así como llegamos a proponer una innovadora metodología de evaluación del impacto ambiental de la movilidad.Depuis le rapport Brundtland puis la Conférence de Rio de 1992, les agendas politiques se sont emparés du paradigme de « ville durable », au centre de laquelle figure la « mobilité durable », en dépit de l’absence de définition claire et opérationnelle de celle-ci. Dans une perspective de circulation des modèles entre pays du Nord et du Sud, la mobilité durable a également été adoptée par les politiques publiques latino-américaines. Toutefois, les forts enjeux sociaux auxquels est confronté le continent, et surtout ses villes, font que les préoccupations environnementales restent en retrait des revendications sociales qui s’y déroulent. Ce rapport propose une comparaison de deux métropoles latino-américaines, Bogotá et Lima, sur la base des politiques publiques de la mobilité qui y sont menées et, dans un second temps, des externalités environnementales des transports et les mesures pour y faire face. Les deux villes, marquées par la transition urbaine et une urbanisation incontrôlée au cours de la deuxième moitié du XXème siècle, ont emprunté sur les dernières décennies des voies différentes. En particulier, Bogotá se démarque par son ambitieuse réforme des transports urbains et la promotion du vélo permises par des institutions fortes, alors que la fragmentation de la gouvernance à Lima contraint cette dernière à un mode de production largement informel. Toutefois, l’absence de vision claire sur le financement de la réforme et le manque de planification conjointe des transports et de l’urbanisme restent des limitations majeures à l’atteinte de la durabilité à Bogotá : d’une part, le redéploiement du transport informel comble les lacunes du nouveau service, de l’autre, les modes individuels, et principalement la moto, y sont en croissance rapide. Ces enjeux interrogent le chemin à suivre à Lima. Dans les deux villes, le parc de véhicules ancien produit de nombreuses externalités environnementales. L’analyse des plans d’actions climatiques et de lutte contre la pollution de l’air adoptés par les métropoles met en lumière des limitations méthodologiques à la quantification de l’impact des actions envisagées. C’est pour cette raison que nous proposons une méthodologie innovante d’évaluation de l’impact environnemental de la mobilité
A Foundational Framework for the Specification and Verification of Mechanism Design
No full textWe introduce mech.v, a new framework for the specification and verification of mechanisms, implemented using the Coq interactive theorem prover and the Mathematical Components library. We provide a general definition of mechanism, a subclass capturing auctions, and a few examples of auctions including three notions of Vickrey-Clarke-Groves (VCG), proving their main incentive properties such as truthfulness with reasonable verification effort. We define and prove some more lemmas and definitions usually found in the mechanism design (MD) literature such as Pareto-optimality, rationality, dominance and Nash equilibria. We also define a mechanism refinement system, which we use to relate the implementation of an efficient version of the VCG mechanism for an online advertisement auction to the general VCG specification, allowing us to transfer the truthfulness property from the generic proof. We hope that our library can be useful as a formally verified, unambiguous reference with applications ranging from verification of deployed mechanism to education, and that this is a first step to gather interesting results and definitions from the MD literature to eventually provide a comprehensive mechanically formalized reference
Explainability of Extension-Based Semantics
No full textThis paper defines visual explanations to the Verification Problem in argumentation, that is, of why a set of arguments is or is not acceptable under a given semantics. These explanations rely upon the modularity of the acceptability semantics, and they take the form of subgraphs of the original argumentation graph. Graph properties that these subgraphs satisfy depending on whether or not the set is acceptable, are established. Properties of the proposed explanations are addressed, and the potential of the modularity of the approach is highlighted. Note that this research report is the complete version of a paper submitted to a conference. In this complete version, the reader can find the proofs of the results given in the submitted paper
Évaluation des coûts du réseau Natura 2000 pour les habitats marins Rapport final
No full textpas de résum
RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources
No full textOne of the main objectives of Cloud Providers (CP) is to guarantee the Service-Level Agreement (SLA) of customers while reducing operating costs. To achieve this goal, CPs have built large-scale datacenters. This leads, however, to underutilized resources and an increase in costs. A way to improve the utilization of resources is to reclaim the unused parts and resell them at a lower price. Providing SLA guarantees to customers on reclaimed resources is a challenge due to their high volatility. Some state-of-the-art solutions consider keeping a proportion of resources free to absorb sudden variation in workloads. Others consider stable resources on top of the volatile ones to fill in for the lost resources. However, these strategies either reduce the amount of reclaimable resources or operate on less volatile ones such as Amazon Spot instance. In this paper, we proposed RISCLESS, a Reinforcement Learning strategy to exploit unused Cloud resources. Our approach consists of using a small proportion of stable on-demand resources alongside the ephemeral ones in order to guarantee customers SLA and reduce the overall costs. The approach decides when and how much stable resources to allocate in order to fulfill customers' demands. RISCLESS improved the CPs' profits by an average of 15.9% compared to state-of-the-art strategies. It also reduced the SLA violation time by an average of 36.7% while increasing the amount of used ephemeral resources by 19.5% on averag
Cartographie et évaluation de l'état de conservation des habitats de la Réserve naturelle régionale du Marais de Stors (Val-d'Oise, 95)
No full textLa Réserve naturelle régionale (RNR) du Marais de Stors (Val-d’Oise) est localisée au nord de la commune de Mériel et s’étend sur plus de 47 hectares au sein d’une petite vallée perpendiculaire à la rive gauche de l’Oise. C’est un espace qui, de longue date, a été façonné par les activités humaines avec notamment l’exploitation du marais et des coteaux en carrière, changeant profondément la nature des sols.L’Agence des espaces verts (AEV) a sollicité le Conservatoire botanique national du Bassin parisien (CBNBP) en vue de réactualiser la typologie et la cartographie des groupements végétaux du site et ce, notamment suite à des travaux de réouverture entrepris entre 2001 et 2018 dans les boisements secs situés sur les coteaux et les boisements humides de fond de vallon. L’objectif principal de cette étude est de mettre à jour la dernière cartographie du site datant de 2009 du précédent plan de gestion réalisée avant les travaux de réouverture et d’approfondir la connaissance des végétations du site en réalisant une typologie et une cartographie fine des groupements végétaux présents. La typologie des végétations du site a été réalisée selon la méthode phytosociologique sigmatiste et s’appuie sur les derniers référentiels syntaxonomiques en date. Les habitats ont été cartographiés au 1 : 2 500ème pour les milieux ouverts patrimoniaux et au 1 : 5000ème pour les autres milieux. Enfin, une attention particulière a été portée à l’état de conservation des différents habitats observés ainsi qu’aux atteintes et menaces qui pèsent sur chacun d’entre eux. Cette étude, qui intervient après des travaux de réouverture et la mise en place de mesures de gestion de type paturage, a permis d’individualiser 38 végétations sur le site dont 22 sont considérées comme patrimoniales soit près de 60 % du nombre total des végétations observées. Ces végétations identifiées représentent environ 30 hectares soit environ 60 % de la surface totale cartographiée. Parmi ces 38 végétations, 10 n’avaient jamais été signalées sur le site précédemment dont certaines relèvent d’habitat d’intérêt communautaires comme les herbiers à Characées ou certains gazons amphibies vivaces. Enfin, ce travail a permis de mettre à jour la liste des espèces floristiques patrimoniales présentes sur le site dont certaines n’avaient jamais été mentionnées jusqu’alors
Grotte à la Peinture à Larchant (Seine-et-Marne) : analyse des restes fauniques issus de la campagne 2021 In Rapport de fouilles programmées 2021. Site des Dégoutants à Ratard1 dit "Grotte à la Peinture". Larchant (Seine-et-Marne) Forêt domaniale de la commanderie. Guéret, C. & Cantin, A. (dir.).
No full text