University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Le mobilier céramique de la fouille au 13 avenue de Reims à Soissons (Aisne), dans Soissons (Aisne), 13 avenue de Reims « Abbaye Saint-Crépin-le-Grand » (dir. E. Lallau), Rapport d’opération
No full textCommon Practices for Recognition of European Competency levels for Scientific Diving at Work
No full text
Entrange, Auf den Wisen, Grand Est, rapport de diagnostic archéologique, Metz : INRAP GE, 2022, 43 p.
No full text
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
No full textThis paper presents a rewriting logic semantics for parametric timed automata (PTAs) and shows that symbolic reachability analysis using Maude-with-SMT is sound and complete for the PTA reachability problem. We then refine standard Maude-with-SMT reachability analysis so that the analysis terminates when the symbolic state space of the PTA is finite. We show how we can synthesize parameters with our methods, and compare their performance with Imitator, a state-of-the-art tool for PTAs. The practical contributions are twofold: providing new analysis methods for PTAs-e.g. allowing more general state properties in queries and supporting reachability analysis combined with user-defined execution strategies-not supported by Imitator, and developing symbolic analysis methods for real-time rewrite theories
Le réchauffement climatique et la sécurité internationale
No full textWithout a voluntary action of the men, the global warming raises the question of the survival of the humanity especially as the technological innovation cannot solve all the immediate societal and social questions without voluntary scientific support of the public powers. It appears necessary to modify the rules of the game of the global market globalization, by the implementation of a green revolution which cannot develop without international security, a greater social justice and the application of the rules of the "enlightened catastrophism". Immediate financial interests are opposed to the collective interest of the near future. In a market economy dominated by international finance, states have great difficulty in preparing for the worrying future of global warming in the presence of important energy assets that should be sterilized. More worryingly, they are sometimes themselves de facto led by an oligarchy which, under the guise of democracy, institutes a plutocracy, rather sensitive to the action of lobbies, especially those who want to extend the market of fossil energy resources. The third industrial revolution raises the question of the current mode of production and consumption which, in the near future, will lead to the rise of natural ecological disasters, to the rarefaction of resources and to generalized permanent insecurity.Sans une action volontariste des hommes, le réchauffement climatique pose la question de la survie de l’humanité d’autant que l’innovation technologique ne peut pas résoudre toutes les questions sociétales et sociales immédiates sans soutien scientifique volontariste des puissances publiques. Il apparaît nécessaire de modifier les règles du jeu de la globalisation mondialiste du marché, par la mise en place d’une révolution verte qui ne pourra pas se développer sans sécurité internationale, une plus grande justice sociale et l’application des règles du « catastrophisme éclairé ». Les intérêts financiers immédiats s’opposent à l’intérêt collectif d’un futur proche. Dans un univers d’économie de marché dominé par la finance internationale, les Etats ont de grandes difficultés à préparer l’avenir inquiétant du réchauffement climatique en présence d’actifs énergétiques importants qu’il faudrait stérilise. Plus inquiétant, ils sont eux-mêmes parfois dirigés de fait par une oligarchie qui, sous couvert de démocratie, institue une ploutocratie, plutôt sensible à l’action des lobbys, notamment ceux qui veulent prolonger le marché des ressources énergétiques fossiles. La troisième révolution industrielle pose la question du mode de production et de consommation actuel qui, dans un avenir proche, conduit à l’essor de catastrophes écologiques naturelles, à la raréfaction des ressources et à l’insécurité permanente généralisée
Puits de carbone : l’ambition de la France est-elle réaliste ?: Analyse de la Stratégie Nationale Bas-Carbone 2
No full textPour atteindre ses engagements climatiques, la France s’est dotée d’une feuille de route nationale, la Stratégie Nationale Bas‑Carbone (SNBC). Cette stratégie détermine les trajectoires et orientations à suivre pour chaque secteur de l’économie, de manière à atteindre la neutralité carbone à l’horizon 2050, en cohérence avec les objectifs de l’Accord de Paris et avec les recommandations du GIEC. Ainsi, d’ici 30 ans, la France devra absorber autant de gaz à effet de serre (GES) qu’elle n’en émet, c’est-à-dire près de 80 MtCO2. Cet objectif correspond en fait à un doublement du volume des absorptions de CO2, ou puits de carbone, d’ici 2050. Pour atteindre cet objectif, la SNBC fixe ainsi des objectifs chiffrés pour les différents secteurs associés au puits de carbone : la forêt et le bois ; l’agriculture ; les technologies de captage et stockage géologique de CO2. Les projections de ces compartiments et les hypothèses techniques sous-jacentes ont été décryptées et confrontéesà la littérature existante dans une analyse approfondie, avec l’objectif d’éclaircir les enjeux et les conditions de cette augmentation massivede la séquestration du carbone. Il en ressort que les transformations attendues des secteurs sont profondes et que certaines orientations du secteur forêt-bois risquent de ne pas être réalisables
