Journal of Gender Equality Disability Social Inclusion and Children
Not a member yet
25069 research outputs found
Sort by
Rapport final du projet ANR Democrat, "Description et modélisation des chaînes de référence : outils pour l'annotation de corpus et le traitement automatique"
No full textDébut 2016, lorsque le projet Democrat s’est mis en place, il n’existait pas : (i) de description intégrée permettant la modélisation des chaînes de référence, ni de prédictions sur leur typologie ou leurs comportements textuels ; (ii) de corpus permettant d’apprécier l’évolution historique de leur composition ; (iii) d’outil permettant de visualiser et d’explorer les chaînes de référence ; (iv) de système de traitement automatique des langues (TAL) capable de traiter du texte tout-venant, écrit en français, pour en extraire les expressions référentielles et les chaînes de référence. Democrat s’est donné pour ambition d’apporter de nouveaux résultats sur ces 4 aspects, qui constituent les 4 volets et les 4 livrables du projet. En apportant de nouvelles données et analyses sur la langue, il permet : (i) de nourrir l’ensemble des applications de TAL grâce à un corpus d’envergure adapté aux besoins de l’apprentissage artificiel ; (ii) de renforcer la place du français dans le monde ; (iii) d’apporter de nouvelles connaissances à toutes les disciplines connexes à la linguistique, comme la psycho-linguistique et l’enseignement des langues.Début 2020, lors de la finalisation de Democrat, il existe désormais : (i) une description intégrée, discursive, diachronique et inter-genres des chaînes de référence ; (ii) un corpus de français écrit annoté en chaînes de référence ; (iii) plusieurs outils permettant de visualiser et d’explorer les chaînes de référence ; (iv) deux systèmes de traitement automatique des langues (TAL) capables de traiter du texte tout-venant, écrit en français, pour en extraire les expressions référentielles et les chaînes de référence – qui ont de plus apporté des innovations au domaine du deep learning
Considérations sur la conception d’un gestionnaire de resources, deux ans apres la premiere analyse.
No full textResource management systems are key elements of distributed infrastructures. At HotEdge'18, we alerted our community of the importance of delivering such a system to favor the advent of the edge computing paradigm. While new initiatives have been proposed, they are far from offering the expected features to administrate and use geo-distributed infrastructures such as the edge ones. However, there is an opportunity to move forward by proposing a break through approach in the design of resource management systems for the edge. We give the premises of such an approach by illustrating how multiple instances of a Virtual Infrastructure Manager can collaborate with each other while mitigating code efforts. Our proposal leverages service concepts, dynamic composition as well as programming software abstractions. Beyond the development of a resource management system for edge infrastructures, our proposa lmay lead to a new way of distributing applications where intermittent network is thenorm.Les systèmes de gestion de ressources sont des éléments clés de la gestion des infrastructures distribuées. Pour HotEdge'18, nous avons alerté notre communauté de l'importance de mettre en place un tel système pour favoriser l'avènement du paradigme de l'informatique en périphérie. Si de nouvelles initiatives ont été proposées, elles sont loin d'offrir les fonctionnalités attendues pour administrer et utiliser les infrastructures d'informatique en périphérie. Toutefois, il est possible d'aller de l'avant en proposant une approcher évolutionnaire dans la conception de systèmes de gestion des ressources de périphérie. Nous donnons les prémisses d'une telle approche en illustrant comment plusieurs instances d'un gestionnaire d'infrastructure virtuelle peuvent collaborer entre elles tout en atténuant les efforts décodage.Notre proposition s'appuie sur des concepts de services, de composition dynamique ainsi que des abstractions de programmation. Au-delà du développement d'un système de gestion des ressources pour des infrastructures en périphérie, notre proposition peut conduire à une nouvelle façon de distribuer les applications où l'intermittence des réseaux est la norme
PCR La confluence Saône-Doubs à l'âge du Fer (Vie s. av. J.-C. au Ier siècle de notre ère): Annexes
No full textCe rapport constitue le volume d'annexes associé au document administratif destiné à rendre compte des actions réalisées au cours de l’année 2019 dans le cadre du Projet Collectif de Recherche consacré à la confluence Saône-Doubs à l’âge du Fe
Le marché de la croisière en Europe et au Havre
No full textLe marché de la croisière est en plein développement ces dernières années. Il le doit principalement à la multiplication des offres de croisières bon marché. La croisière maritime est devenue accessible financièrement au plus grand nombre et elle contribue également au rayonnement international d’une ville portuaire en attirant des touristes venant du monde entier. En 2018, 28,2 millions de passagers ont réalisé une croisière soit une croissance de plus de 30% sur les 5 dernières années (source : CLIA, Cruise Lines International Association). La croisière maritime est relativement néfaste pour l’environnement (pollution de l’air, rejets en mer, ...) mais cette activité est très exposée en terme d’image et cherche donc à faire partie des bons élèves, avec par exemple le lancement en octobre 2019 de deux navires (l’Aida Nova et le Costa Smeralda) propulsés au GNL sur les 700 parcourant les mers. Cette fiche offre un apperçu du marché de la croisière en Europe, qui est le second marché mondial, après les caraïbes, avec 7 millions de passagers et un zoom sur le renouveau de la croisière au Havre
Résultats d'enquête sur l'usage du système prédictif PAVED et son effet sur la prise de décision dans la gendarmerie Nationale
No full textStabilité locale et montée en ordre pour la reconstruction de quantités volumes finis sur maillages coniques non-structurés en dimension 2
No full textWe are interested here in the third order extension both on the geometric description of the cells (curved edge with conical section) and on the reconstructed physical fields. The edges are parameterized by rational quadratic Bezier curves, the reconstructions of the unknowns are obtained by a least squares method.We then apply these ingredients in finite volume nodal and edges schemes for the conservative transport equation ∂t ρ + ∇ · (aρ) = 0, where a(t,x) is a divergence free velocity field.We study the limitation process APITALI (A Posteriori ITerAtive LImiter) allowing the numerical scheme based on the reconstruction of order 3 to fullfill a stability property. A study is made on a volume and/or mass quantity. The concept of real degree of reconstruction allows to define a decreasing sequence (mono index) with real value allowing to lower the degree more regularly than a rough truncation of the degree (n to n-1: like MOOD).We also compare finite volume nodal schemes on polygonal and degenerate conics(which are not identical!). The latter, unlike the former, allow an increase to order 3 (in L1 norm).On s'intéresse ici au passage à l'ordre 3 à la fois sur la description géométrique des cellules (bord courbe à section conique) et sur les champs physiques reconstruits. Les arêtes sont représentées par des courbes de Béziers rationnelles quadratiques, les reconstructions des inconnuessont elles obtenues par une méthode aux moindres carrés.On applique alors ces ingrédients dans des schémas volumes finis aux nœuds et aux arêtes pour l’équation de transportconservative ∂t ρ + ∇ · (aρ) = 0, où a(t, x) est un champ de vitesse à divergence nulle. Nous étudions le processus de limitation APITALI (A Posteriori ITerAtive LImiter) permettant au schéma numérique basé sur la reconstruction d’ordre 3 de vérifier une propriété de stabilité. Une étude est faite sur une quantité volumique et/ou massique. La notion de degré réel de reconstruction permet de définir une suite (mono indice) décroissante à valeur réelle permettant d'abaisser le degré de manière plus régulière qu'une troncature brutale du degré (n à n-1 : à l'instar de MOOD).Nous comparons également les schémas volumes finis aux nœuds polygonaux et les schéma coniques dégénérés (qui ne sont pas identiques!). Ces derniers au contraire des premiers permettent une montée à l'ordre 3 (en norme L1)
Proving the safety of highly-available distributed objects (Extended version)
No full textTo provide high availability in distributed systems, object replicas allow concurrent updates. Although replicas eventually converge, they may diverge temporarily, for instance when the network fails. This makes it difficult for the developer to reason about the object's properties , and in particular, to prove invariants over its state. For the sub-class of state-based distributed systems, we propose a proof methodology for establishing that a given object maintains a given invariant, taking into account any concurrency control. Our approach allows reasoning about individual operations separately. We demonstrate that our rules are sound, and we illustrate their use with some representative examples. We automate the rule using Boogie, an SMT-based tool
Divergences. Scale invariant Divergences. Applications to linear inverse problems. N.M.F. Blind deconvolution
No full textThis book deals with functions allowing to express the dissimilarity (discrepancy) between two data fields or "divergence functions" with the aim of applications to linear inverse problems.\\Most of the divergences found in the litterature are used in the field of information theory to quantify the difference between two probability density functions, that is between positive data whose sum is equal to one. In such context, they take a simplified form that is not adapted to the problems considered here, in which the data fields are non-negative but with a sum not necessarily equal to one.\\In a systematic way, we reconsider the classical divergences and we give their forms adapted to inverse problems.\\To this end, we will recall the methods allowing to build such divergences, and propose some generalizations.\\The resolution of inverse problems implies systematically the minimisation of a divergence between physical measurements and a model depending of the unknown parameters.\\In the context image reconstruction, the model is generally linear and the constraints that must be taken into account are the non-negativity as well as (if necessary) the sum constraint of the unknown parameters.\\To take into account in a simple way the sum constraint, we introduce the class of scale invariant or affine invariant divergences. Such divergences remains unchanged when the model parameters are multiplied by a constant positive factor. We show the general properties of the invariance factors, and we give some interesting characteristics of such divergences.An extension of such divergences allows to obtain the property of invariance with respect to both the arguments of the divergences; this characteristic can be used to introduce the smoothness regularization of inverse problems, that is a regularisation in the sense of Tikhonov.We then develop in a last step, minimisation methods of the divergences subject to non-negativity and sum constraints on the solution components. These methods are founded on the Karush-Kuhn-Tucker conditions that must be fulfilled at the optimum. The Tikhonov regularization is considered in these methods.Chapter 11 associated with Appendix 9 deal with the application to the NMF, while Chapter 12 is dedicated to the Blind Deconvolution problem.In these two chapters, the interest of the scale invariant divergences is highlighted
Algorithmes parallèles pour améliorer l’efficacité dessolveurs utilisant des matrices hiérarchiques
No full textIn this paper, we describe and evaluate an extension of the Chameleon library to operate with hierarchical matrices (H-Matrices) and hierarchical arithmetic (H-Arithmetic), producing efficient solvers for linear systems arising in Boundary Element Methods (BEM). Our approach builds upon an open-source H-Matrices library from Airbus, named Hmat-oss, that collects sequential numerical kernels for both hierarchical and low-rank structures; the tiled algorithms and task-parallel decompositions available in Chameleon for the solution of linear systems; andthe StarPU runtime system to orchestrate an efficient task-parallel (multi-threaded) execution on a multicore architecture.Using an application producing matrices with features close to real industrial applications, we present shared-memory results that demonstrate a fair level of performance, close to (and sometimes better than) the one offered by a pure H-Matrix approach, as proposed by Airbus Hmat proprietary (and non open-source) library. Hence, this combination Chameleon + Hmat-oss proposes the most efficient fully open-source software stack to solve dense compressible linear systems on shared memory architectures (distributed memory is under development).Algorithmes parallèles pour améliorer l’efficacité dessolveurs utilisant des matrices hiérarchiquesRésumé :Dans cet article, nous présentons et évaluons les performances d’une extension de la bibliothèque Chameleon qui utilise des matrices hiérarchiques et des opérations en arithmétique hiérarchique afin de fournir une résolution efficace des systèmes linéaires apparaissant dans le cadre de la méthode des éléments finis de frontière (BEM). Notre approche se repose sur Hmat-oss, une bibliothèque de matrices hiérarchiques open-source fournie par Airbus qui propose des noyaux de calcul séquentiels pour les matrices hiérarchiques et de rang faible. Elle repose également sur les algorithmes à base de tuiles et le parallélisme par tâches disponible dans Chameleon pour la résolution de systèmes linéaires et sur le support d’exécution StarPU qui se charge d’ordonnancer efficacement les tâches dans un contexte multicœur.Afin de valider nos résultats, nous utilisons une application qui fournit des matrices similaires à celles obtenues dans un contexte industriel. Nous présentons des résultats en mémoire partagée qui présentent un très bon niveau de performance, proche (et parfois meilleur) que celui obtenu avec une approche H-matrice classique, comme proposée dans la bibliothèque propriétaire Hmat d’Airbus. Cette combinaison entre Chameleon et Hmat-ossest à ce jour la plus efficace implémentation open-source qui permet de compresser des systèmes linéaires en mémoire partagée (les développements étant en cours dans la version distribuée)