Parcourir l'index des titres

Voici les éléments 482-501 de 1197

    Index des titres
    Formal checking of web based applications [1]
    A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic [1]
    Un formalisme pour la traçabilité des transformations [1]
    Formulation interactive des requêtes pour l’analyse et la compréhension du code source [1]
    FPGA-based object detection using classification circuits [1]
    A framework for domain-specific modeling on graph databases [1]
    Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency [1]
    From Classical to Quantum Secret Sharing [1]
    From examples to knowledge in model-driven engineering : a holistic and pragmatic approach [1]
    From specialists to generalists : inductive biases of deep learning for higher level cognition [1]
    From Word Embeddings to Large Vocabulary Neural Machine Translation [1]
    La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques [1]
    Galois lattice dynamics [1]
    Game theoretical characterization of the multi-agent network expansion game [1]
    A game theoretical model for a collaborative e-learning platform on privacy awareness [1]
    Généralisation d'algorithmes de réduction de dimension [1]
    Generalization in federated learning [1]
    Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces [1]
    Un générateur de code machine pour le compilateur Gambit [1]
    Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée [1]