Journal of Gender Equality Disability Social Inclusion and Children
Not a member yet
25069 research outputs found
Sort by
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets
No full textThe HILECOP methodology is a process for the design of critical digital systems. In HILECOP, Petri Net (PN) models are used as a high-level formalism to specify the behavior of the designed systems. VHDL (VHSIC Hardware Description Language) code is then automatically generated from PN models to implement the digital system on Field Programmable Gate Array (FPGA) circuits. The goal of this work is to formally verify that through this model-to-text transformation, the behavior described by a PN model is preserved in the produced VHDL code, knowing that the transformed PN models are synchronously executed on the target. As a first step toward the achievement of this goal, we present our implementation of HILECOP's PN structure and semantics , which has been formalized using the Coq proof assistant. We also describe a token player program for these PNs, which has been proved sound and complete with respect to HILECOP's PN semantics
Le brassard et l’anneau en or du Second âge du Fer de Sin-le-Noble « Le Raquet » (Nord)
No full textEtude typologique, technologique et archéométrique du brassard et de l'anneau en or du Second âge du Fer découverts lors d'une fouille dirigée par Marie Lebrun à Sin-le-Noble (Nord)
Inventaire de la flore et cartographie des végétations des marais de Bellefontaine
No full textCette étude du marais de Bellefontaine (communes de Bellefontaine, le Plessis-Luzarches et Luzarches) réalisée par le Conservatoire botanique national du Bassin parisien (CBNBP) a été initiée par le Conseil départemental du Val d’Oise. Elle s’inscrit dans un programme visant à développer les connaissances floristiques et améliorer la gestion des Espaces Naturels Sensibles départementaux ou des sites pouvant faire l’objet d’acquisitions futures. Le présent document constitue la synthèse de la phase de terrain qui s’est déroulée en 2019, selon la méthodologie mise en oeuvre par le CBNBP (volets flore et végétations), complétée par l’ensemble des relevés floristiques et/ou phytosociologiques antérieurs. Après une première partie consacrée à la présentation du site et une seconde à la méthodologie d’inventaire de la flore et de cartographie de la végétation, sont exposés les résultats. Ces derniers confirment l’intérêt botanique du coteau situé au « Fond de Coudray » et mettent également en évidence l’intérêt, tant au niveau des habitats que des taxons, des secteurs de fond de vallées. Depuis, 2001, 417 espèces et 24 végétations ont été observées du fait de la grande diversité des conditions stationnelles liée à la topographie. Les espèces les plus remarquables du site sont le Séséli des steppes (Seseli annuum), dont la présence est très originale pour la vallée de l’Ysieux, et la Laîche maigre (Carex strigosa), qui compte ici ses stations les plus importantes du Val d’Oise. Dans la dernière partie du document, des orientations de gestion sont proposées en vue de maintenir ou d’accroître le potentiel d’accueil du site. Les milieux ouverts, aussi bien en conditions sèches sur le coteau qu’humides en fond de vallée, font partie des milieux remarquables du site et notamment les pelouses calcicoles ainsi que les milieux ouverts hygrophiles (mégaphorbiaies, ourlets, végétation de suintement…). Cependant, ces végétations sont menacées par la dynamique de fermeture du milieu par les fourrés. Enfin, des orientations de gestion sont proposées afin d’accroître le potentiel d’accueil des végétations et une veille sur les espèces exotiques envahissantes présentes sur le site est conseillée
Propositions d'amélioration de la loi renforçant la lutte contre les violences sexuelles et sexistes du 3 août 2018
No full textCe rapport a été réalisé à l'occasion d'une audition réalisée par la députée Alexandra Louis, chargée d'une mission d'information sur la loi du 3 août 2018 renforçant la lutte contre les violences sexuelles et sexistes.Ce rapport propose plusieurs pistes d'amélioration motivées par l'insuffisante protection des droits fondamentaux des victimes de violence sexuelle et sexiste : - une meilleure protection des victimes d'amnésie traumatique via la reconnaissance — à rebours de la jurisprudence de la chambre criminelle de la Cour de cassation — de ce que leur amnésie constitue bien un obstacle insurmontable aux poursuites ;- une extension explicite de l'infraction d'outrage sexiste aux outrages motivés par l'identité de genre de la victime ;- une disposition interprétative disposant que les pratiques de dilatation vaginales réalisées par des professionnels de santé sur des mineurs de 15 ans constituent bien des infractions punies par l'article 222-22-1 du code pénale
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
No full textConcurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability to restrict legal interleavings. To remedy this we extend the standard model of CKA, namely pomsets, with a new feature, called boxes, which can specify that part of the system is protect from outside interference. We study the algebraic properties of this new model. Another drawback of CKA is that the language used for expressing properties of programs is the same as that which is used to express programs themselves. This is often too restrictive for practical purposes. We provide a logic, 'pomset logic', that is an assertion language for specifying such properties, and which is interpreted on pomsets with boxes. We develop the basic metatheory for the relationship between pomset logic and CKA and illustrate this relationship with simple examples
: Dans le cadre de la nouvelle électrification de la cathédrale Notre-Dame d’Amiens. Septembre – Octobre 2018
No full textIs there a win-win scenario with both limited beef production and reduced beef consumption?
No full textIn the scientific literature, the debate on health and environmental benefits of a reduction in the share of animal-sourced food, in particular beef, in consumer diets is mostly focused on demand-side vs. supply transitions. We claim in this paper that a win-win scenario may exist where consumer preferences towards quality meat in diets are accompanied by a transition in livestock production systems towards a separating equilibrium in meat quality. Lower beef consumption per head, of higher quality and lower environmental impact, may co-exist with lower-quality beef production for exports. We examine the credibility of the win-win scenario, by detailing conditions related to determinants for reduced beef consumption, productivity gains, innovation in quality and environmental impacts at the global scale. We propose a set of research priorities and recommendations for policy makers. Policies that are best suited for accompanying transition in food and livestock production system can be identified by a cost-benefit analysis at the global scale
Gel et grêle en viticulture et arboriculture - Etat des lieux des dispositifs de protection contre les aléas climatiques
No full textScreening potential repurposed COVID-2019 3C-like protease inhibitors
No full textThis study describes a linear free energy quantum mechanical method for relatively ranking how well a wide range of repurposed drugs might inhibit the SARS-CoV-2 protease. Inhibitors that are predominantly charged at physiological pH, such as Hydroxychloroquine and Chloroquine, are unlikely to be effective inhibitors as charged species are not easily transported across host cell membranes. Small lipophilic neutral with low water desolvation properties inhibitors are likely to be most effective, all else being equal, with Favipiravir being an example. An examination of Remdesivir and its metabolites suggest that GS441524 is likely to be most effective inhibitor. An examination of Remdesivir and its metabolites suggest that GS441524 is likely to be most effective inhibitor. It is predicted that the neutral form of Imatinib binds better to the ACE2 receptor than the neutral Arbidol, with both charged species showing much reduced binding
