Browsing Titles index

Now showing items 1420-1439 of 1466

    Titles index
    Validation symbolique et numérique des solides [1]
    Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines [1]
    Variantes de la méthode du Recuit Simulé pour la coloration des graphes [1]
    Variantes de la méthode Tabou pour la coloration de graphes [1]
    Variational aleatoric uncertainty calibration in neural regression [1]
    Variations sur la transmission inconsciente en cryptographie quantique [1]
    Variations sur le protocole BB84 avec bases de polarisation secrètes [1]
    Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri [1]
    Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil [1]
    Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes [1]
    Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes [1]
    Vers la construction automatique d'un module inconnu dans un système composé [1]
    Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées [1]
    Vers la mitigation des biais en traitement neuronal des langues [1]
    Vers la sécurité des conteneurs : les comprendre et les sécuriser [1]
    Vers un paradigme transformationnel dans le développement orienté objet [1]
    Vers un système d'enseignement à distance efficace [1]
    Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI [1]
    Vers une plateforme holistique de protection de la vie privée dans les services géodépendants [1]
    VGCN-BERT : augmenting BERT with graph embedding for text classification : application to offensive language detection [1]