Now showing items 675-694 of 1178

    Titles index
    Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques [1]
    Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique [1]
    Méthodologie de conception d'un modèle comportemental pour la vérification formelle [1]
    Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET [1]
    Méthodologies pour la détection de diachronies sémantiques et leurs impacts [1]
    Methods for multi-class segmentation of molecular sequences [1]
    Methods for solving combinatorial pricing problems [1]
    Métriques de routage dans les réseaux maillés sans fil [1]
    Migrating legacy system towards object technology [1]
    Mining dynamic databases for frequent closed itemsets [1]
    Mise à jour de la famille des générateurs minimaux des treillis de concepts et des icebergs [1]
    Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides [1]
    Mise en correspondance active et passive pour la vision par ordinateur multivue [1]
    Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux [1]
    Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne [1]
    Mixed-integer programming representation for symmetrical partition function form games [1]
    Mobile data and computation offloading in mobile cloud computing [1]
    Model checking for a first-order temporal logic using multiway decision graphs [1]
    Model reductions in MDG-based model checking [1]
    Model-based hyperparameter optimization [1]