Journal of Gender Equality Disability Social Inclusion and Children
Not a member yet
25069 research outputs found
Sort by
Actualisation des stations d'Odontite de Jaubert (Odontites jaubertianus) en Indre-et-loire. Bilan des prospections et programme d'actions
No full textDiagramme de Décision Fonctionnel Ordonné: Une Sémantique Fonctionnelle pour les Diagrammes de Décision Binaires
No full textSeveral BDD variants were designed to exploit special features of Boolean functions to achieve better compression rates.Deciding a priori which variant to use is as hard as constructing the diagrams themselves and the conversion between variants comes in general with a prohibitive cost.This observation leads naturally to a growing interest into when and how one can combine existing variants to benefit from their respective sweet spots. In this paper, we introduce a novel framework, termed λDD (LDD), that revisits BDD from a purely functional point of view.The framework allows to classify the already existing variants, including the most recent ones like ChainDD and ESRBDD, as implementations of a special class of ordered models. We enumerate, in a principled way, all the models of this class and isolate its most expressive model.This new model, termed λDD-O-NUCX, is suitable for both dense and sparse Boolean functions, and, unlike ChainDD and ESRBDD, is invariant by negation.The canonicity of λDD-O-NUCX is formally verified using the Coq proof assistant.We furthermore provide experimental evidence corroborating our theoretical findings: more expressive λDD models achieve, indeed, better memory compression rates.Les Diagrammes de Décision Binaires (BDD) sont une structure qui a été décliné en de nombreux variants, chacun conçu pour exploiter au mieux une propriété particulière des fonctions Booléennes et ainsi réduire leur taille mémoire.Cependant, décider quel variant est le plus adapté à priori est aussi difficile que construire chaque représentation.De plus la conversion entre les variants coûte également trop chère pour être utilisable en pratique.Ces observations ont conduit naturellement à un intérêt grandissant pour combiner des variants pour tirer parti de leurs avantages respectifs.Cet article introduit un cadre théorique à cette problématique en introduisant une méta-structure nommée \lambdaDD qui adopte un point de vue purementfonctionnel sur les BDD.Les diagrammes λDD permettent d'abstraire les variants classiques (par exemple ROBDD et ZDD) ainsi que des variants récents (en particulier ChainDD et ESRBDD)comme des modèles d'une classe de modèles ordonnés que nous appelons λDD-ODans ces modèles ordonnés, les variables sont évaluées en suivant un ordre global strict.Nous énumérons les éléments de cette classe et isolons son modèle le plus expressif que nous nommons λDD-O-NUCX.Ce modèle permet non seulement de capturer les variables canalisantes (ce qui le rend plus expressif que ESRBDD par exemple) mais exploiteaussi une propriété supplémentaire: les xor-variables.Le modèle est également invariant par négation, ce qui permet de calculer la négation d'une fonction Booléenne en temps constant.La canonicité de λDD-O-NUCX est formellement vérifiée en utilisant l'assistant de preuve Coq.De plus, nous fournissons des résultats expérimentaux confirmant l'intérêt de λDD-O-NUCX
Suivi des toitures végétalisées du parc départemental Georges-Valbon - Rapport de l'année 2019
No full textLe Conseil départemental de la Seine-Saint-Denis mène une expérimentation depuis 2012 sur la mise en place de toitures végétalisées sur les locaux techniques du parc départemental Georges-Valbon. Le Conservatoire botanique national du Bassin parisien assure le suivi floristique de ces expérimentations depuis six années. Les objectifs sont de suivre l'installation d'un certain nombre d'espèces qui ont été implantées sur les toitures (semis) ainsi que le cortège floristique spontané qui colonise la toiture en fonction de quatre modalités de substrat : pouzzolane, argile, tuile et béton et leurs évolutions au cours des années. L'année 2019 confirme une stabilisation du cortège floristique depuis 2017 tant pour les espèces plantées que pour les spontanées, et que ce soit sur la toiture vitrine ou la toiture expérimentale. Le taux de colonisation de la végétation est bon quel que soit le type de substrat. Pour la toiture vitrine, on a environ 25 espèces plantées qui se sont bien établies et un peu plus d'une trentaine d'espèces spontanées. Sur la toiture expérimentale, il y a une dizaine d'espèces plantées qui se sont établies et une quarantaine d'espèces spontanées. Les différences de richesse spécifique ou de composition floristique entre substrats sont variables selon les années vraisemblablement en lien avec les conditions climatiques. Comme les années précédentes, ces sept années de suivi montrent une bonne résilience générale de la flore de ces toitures certainement liée à un pool d’espèces diversifié permettant une bonne recolonisation des toitures même après des évènements de sécheresse assez drastiques et ce, quel que soit le substrat
Le matériel céramique de Massargues, 2018
No full textLe dégagement du site de Massargues (30) effectué en 2018 a livré près de 600 fragments de céramique. Cette première recherche archéologique sur le site permet de cerner une occupation soutenue dans le courant des XIIe-XIIIe s. Le matériel céramique est marqué par le changement technologique du XIIIe s. et par la présence proche d’un des grand centre potiers des XIIIe-XIVe s., Saint-Quentin-la-Poterie
On scaling of measurements and parameters for stiffness identification of robots
No full textElastostatic calibration of robots is crucial for achieving high-accuracy positioning. Stiffness identification is an important step in elastostatic calibration wherein the stiffness parameters are identified. These stiffness parameters are then used to predict and correct the pose errors due to load applied on the robot’s end- effector/platform at any pose in the workspace. Hence, these parameters must be estimated accurately.For stiffness identification of robots, the relationship between the load applied at the end-effector/platform and its resultant deflection is first parameterized. This is accomplished using an appropriate stiffness param- eter model. Redundant deflection measurements are then performed with the robot subjected to a known load. These redundant deflection measurements are then used to estimate stiffness parameters by employing a least squares technique.Scaling of vectors containing measurements and parameters is crucial for accurate stiffness identification. This report focuses on this aspect. This report is organised as follows: section 1 presents the basic mathe- matical framework for stiffness identification of robots. Sections 2 and 3 discuss about the necessary scaling of vectors containing measurements and parameters
Rapport du Projet de recherche ANC « Le capital : analyse croisée comptable, économique et historique »
No full textLes opérations archéologiques menées à La Peyrouse (Saint-Félix-de-Villadeix, Dordogne) en 2019. Rapport final d’opération
No full text3 volume
Survey of machine-learning experimental methods at NeurIPS2019 and ICLR2020
No full textHow do machine-learning researchers run their empirical validation? In the context of a push for improved reproducibility and benchmarking, this question is important to develop new tools for model comparison. This document summarizes a simple survey about experimental procedures, sent to authors of published papers at two leading conferences, NeurIPS 2019 and ICLR 2020. It gives a simple picture of how hyper-parameters are set, how many baselines and datasets are included, or how seeds are used