yusuke1997/dblp-id-title huggingface dataset:
Formal certification of game-based cryptographic proofs. (Certification formelle de preuves cryptographiques basées sur les séquences de jeux)
Couplage de modèles population et individu-centrés pour la simulation parallélisée des systèmes biologiques : application à la coagulation du sang. (Population and individual-based model coupling for the parallel simulation of biological systems : application to blood coagulation)
Algorithms for genome comparison applied to bacterial genomes. (Algorithmes de comparaison de génomes appliqués aux génomes bactériens)
A Design-Driven Methodology for the Development of Large-Scale Orchestrating Applications. (Une methodologie dirigée par la conception pour le developpement d'applications d'orchestration à grande echelle)
Compréhension du langage naturel pour le dossier patient informatisé : accès à l'information et extraction d'information. (Natural language understanding for the electronic health records : access to information and information extraction)
Reverse-engineering of binaries in a single execution : a lightweight function-grained dynamic analysis. (Rétro-ingénierie de programmes binaires en une exécution : une analyse dynamique légère basée au niveau des fonctions)
Joint modeling and optimization of caching and recommendation systems. (Modélisation et optimisation conjointes des systèmes de mise en cache et de recommandation)
Cônes de matrices et programmation mathématique : quelques applications. (Cones of matrices and mathematical programming : some applications)
Vérification parallèle de systémes concurrents en utilisant le Graphe d'Observation Symbolique. (Parallel verification of concurrent systems using the Symbolic Observation Graph)
Sharing resources for enhanced distributed hypothesis testing. (Partage des ressources pour l'amélioration des tests d'hypothèses distribués)
Unified study of block-weighted planar maps : combinatorial and probabilistic properties. (Étude unifiée des cartes planaires pondérées par blocs : propriétés combinatoires et probabilistes)
Test comportemental de microprocesseurs
Une approche pour la maintenance et la ré-ingénierie globale des logiciels
Mobility Handling and Quality of Service Study of Optical Vehicular Communications. (Etude de la mobilité et de la qualité de service des communications véhiculaires optiques)
Language representations in deep learning algorithms and the brain. (Les représentations de langage dans les algorithmes d'apprentissage profonds et le cerveau)
Binary tomography reconstruction of bone microstructures from a limited number of projections. (Reconstruction tomographique binaire de microstructures de l'os à partir d'un nombre limité de projections)
Une nouvelle approche pour la vérification des masques des circuits intégrés
Nouvelles approches innovantes de partage des savoirs et des expériences : Assistance à l'élaboration et mise en marché d'offres de service à base de connaissances. (New innovative approaches to knowledge and experience sharing: Assistance in the development and marketing of knowledge-based service offers)
Study of IA methods in data analytics (machine learning / deep learning) to improve the content of computer science MOOCs and contribution to the design of the FUN (France Université Numérique) data processing chain. (Étude des méthodes IA d'analyse de données (machine learning / deep learning) pour l'amélioration du contenu des MOOCs informatiques et contribution à la conception de la chaîne de traitement des données de FUN (France Université Numérique))
Une architecture pour les transformations de modèles et la restructuration de modèles uml
Modèles déformables et multirésolution pour la détection de contours de traitement d'images. (Deformable models and multiresolution for edge detection in image processing)
Fonctions spline cardinales tronquées. (Truncated cardinal spline functions)
Évaluation de la perfusion viscérale et anastomotique par réalité augmentée basée sur la fluorescence. (Evaluation of visceral and anastomotic perfusion by means of fluorescence-based enhanced reality)
Implantations et protections de mécanismes cryptographiques logiciels et matériels. (Implementations and protections of software and hardware cryptographic mechanisms)
Localisation par l'image en milieu urbain : application à la réalité augmentée. (Image-based localization in urban environment : application to augmented reality)
Restitution sonore hiérarchique et perceptive d'environnements virtuels multi-modaux. (Perceptual sound rendering for multi-modal virtual environments)
Le traçage logiciel d'applications parallèles : conception et ajustement de qualité. (On the quality of software generated traces of parallel applications)
Structures de données pour environnements distribués à grande échelle. (Data structures for large scale distributed environments)
Dualité algébrique, structures et applications
Performance evaluation of green IT networks. (Evaluation de performances pour réseaux IT économes en énergie)
Joint agency in Human-Machine Interactions: How to design more cooperative agents ? (Agentivité conjointe lors des Interactions Homme-Machine : comment concevoir des agents plus coopératifs ?)
Beyond virtual machine migration for resources optimization in highly consolidated data centers. (Alternatives à la migration de machines virtuelles pour l'optimisation des ressources dans les centres informatiques hautement consolidés)
Multiple Operator Metaheuristics for Graph Partitioning Problems. (Heuristiques à opérateurs multiples pour des problèmes de partitionnement de graphe)
Trust management and security solutions for vehicular networks. (Gestion de confiance et solutions de sécurité pour les réseaux véhiculaires)
List recommendations with multi-armed bandits. (Recommandation de listes d'items par bandits manchots)
Enhancing AI interpretability with causal insights : preventing misinterpretations through better explanations. (Améliorer l'interprétabilité de l'IA grâce aux réflexions causales : prévenir les erreurs d'interprétation grâce à de meilleures explications)
Diffusion Moléculaire d'un dopant hydrosoluble dans une phase lamellaire lyotrope - transition smectique - cholestérique dans un mélange de molécules amphiphiles
Deep learning applied on Web security: Statically Identifying Web vulnerabilities using Deep Learning. (Apprentissage en profondeur appliqué à la sécurité du Web / Apprentissage en profondeur appliqué à la sécurité du Web: Identifié statiquement des vulnérabilités Web en utilisant des algorithmes d'apprentissage profond)
Attaques algébriques du problème du logarithme discret sur courbes elliptiques. (Algebraic attacks on the elliptic curve discrete logarithm problem)
Méthodes bio-inspirées appliquées à l'analyse temps réel des signaux biomédicaux. (Bio-inspired methods applied to real-time analysis of biomedical signals)
Prédiction énergétique d'un véhicule hybride rechargeable pour la réduction de consommation de carburant. (Energy prediction for a plug-in hybrid electric vehicle to reduce fuel consumption)
Spécification de bibliothèques pour la synthèse de circuits asynchrones. (Libraries specification for the synthesis of asynchronous circuits)
Réduction de l'encombrement visuel: application à la visualisation et à l'exploration de données prosopographiques. (Reducing visual cluttering: Application to visualisation and exploration of prosopographical data)
Airline network revenue management: integrated optimization of hub location and capacity allocation. (Gestion des revenus dans un réseau de compagnies aériennes: optimisation intégrée de la localisation de plateforme et du dimensionnement de capacité)
Deep learning for physical systems: estimation, adaptation and exploration. (Apprentissage profond pour les systèmes physiques : estimation, adaptation et exploration)
The Semiring-Based Provenance Framework for Graph Databases. (Provenance à base de semi-anneaux pour les bases de données graphes)
Exploration robotique de l'environnement aquatique : les modèles au coeur du contrôle. (Robotic exploration of the aquatic environment : Models at the core of the control)
Contribution to the interpretation of evolving communities in complex networks : Application to the study of social interactions. (Contribution à l'interprétation des communautés en évolution dans des réseaux complexes : Application à l'étude des interactions sociales)
Développement de critères d'optimisation pour la planification de tâches dans une chaîne d'assemblage aéronautique. (Developping new criteria for tasks' scheduling in an aircraft assembly line)
Etude des méthodes de dissimulation informées de données appliquées aux supports multimédias
Intégration de techniques de vérification par simulation dans un processus de conception automatisée de contrôle commande. (Integration of simulation-based checking into an automated design approach of control-monitoring system)
Multi-user computation offloading in mobile edge computing. (Déchargement de calcul multi-utilisateurs dans l'informatique de bord mobile)
Infrastructure pour la gestion générique et optimisée des traces d'exécution pour les systèmes embarqués. . (An Infrastructure for the generic and optimized analysis of execution traces of embedded systems)
Spatially Consistent Nearest Neighbor Representations for Fine-Grained Classification. (Représentations d'images basées sur un principe de voisins partagés pour la classification fine)
Road Traffic Models for Validation of Autonomous Vehicle Functionalities. (Modèles de trafic routier pour la validation de fonctionnalités de véhicule autonome)
Génération de scénarios de tests pour la vérification de systèmes complexes et répartis : application au système européen de signalisation ferroviaire (ERTMS)
Working memory in random recurrent neural networks. (Mémoire de travail dans les réseaux de neurones récurrents aléatoires)
Stratégies de guidage visuel bio-inspirées : application à la stabilisation d'un micro-drone et à la poursuite de cibles. (Bio-inspired visual strategies: application to stabilization of a micro UAV and to traget tracking)
Chiffrement homomorphe et recherche par le contenu sécurisé de données externalisées et mutualisées : Application à l'imagerie médicale et l'aide au diagnostic. (Homomorphic encryption and secure content based image retieval over outsourced data : Application to medical imaging and diagnostic assistance)
Semantic Description of Humans in Images. (Description Sémantique des Humains présents dans des Images Vidéo)
A UI-DSPL Approach for the Development of Context-Adaptable User Interfaces. (Une ligne de produits dynamique pour la génération des interfaces homme-machine adaptables au contexte)
Résilience et application aux protocoles de routage dans les réseaux de capteurs. (Resiliency and application to routing protocols in wireless sensor networks)
Analytique des données massives basée sur des ontologies : application à la plateforme de formation SIDES 3.0 en médecine. (Large-scale ontology-based data analytics : application to the SIDES 3.0 training platform in Medicine)
Adaptive time-aware LSTM for predicting and interpreting ICU patient trajectories from irregular data. (L'adaptation de LSTM aux données collectées à des fréquences irrégulières pour faire des prédictions dans le contexte de la réanimation médicale)
Reconstruction tomographique d'objets déformables pour la cryo-microscopie électronique à particules isolées. (TomographIc reconstruction for deformable object applied to single particle cryo-electron microscopy)
Towards Trustworthy Online Voting: Distributed Aggregation of Confidential Data. (Confiance dans le vote en ligne : Agrégation distribuée de données confidentielles)
Hybrid models for acoustic reverberation. (Modèles hybrides pour la réverbération sonore)
Multi-points of view semantic enrichment of folksonomies
Représentation géométrique multi-échelles de l'architecture des plantes. (Multiscale geometric representation of plant architecture)
Runtime mapping of dynamic dataflow applications on heterogeneous multiprocessor platforms. (Déploiement à la volée d'appllications flot de données dynamiques sur plateforme multiprocesseurs hétérogène)
Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies. (Static methods for the functional programming of economics simulators)
Ligne de produits dynamique pour les applications à services. (Dynamic software product lines for service-based applications)
Réseaux de neurones récurrents pour la classification de séquences dans des flux audiovisuels parallèles. (Recurrent neural networks for sequence classification in parallel TV streams)
Gestion de l'énergie dans un système multi-sources photovoltaïque et éolien avec stockage hybride batteries/supercondensateurs
Autour des surpartitions et des identités de type Rogers-Ramanujan. (Around overpartitions and Rogers-Ramanujan-type identities)
Variable-length similarity search for very large data series: subsequence matching, motif and discord detection. (Recherche de similarité de longueur variable pour l'analyse de grandes séries temporelles: appariement de séquences, recherche de motifs et anomalies)
Interference management in sectored cellular networks with local multi-cell processing. (Gestion des interférences dans les réseaux cellulaires sectorisés avec traitement multicellulaire local)
Analyse, modélisation et implémentation de stratégies d'assistance : déploiement d'orthèses cognitives pour les activités instrumentales de la vie quotidienne des traumatisés crâniens. (Analysis, modeling and implementation of assistance strategies: deployment of cognitive orthotics for the instrumental activities in the daily life of Individuals with traumatic brain injury)
Curiosity-driven AI for Science: Automated Discovery of Self-Organized Structures. (IA Curieuse au service de la Science: Découverte Automatisée de Structures Auto-Organisées)
Conception d'une architecture supportant la technologie Li-Fi. (Architecture design supporting Li-Fi technology)
A Common Aspect Languages Interpreter. (Un interpréteur extensible pour le prototypage des langages d'aspects)
Milk protein yield in response to amino acid profiles at different levels of metabolizable protein supply in dairy cow. (Production de protéines dans le lait en réponse à des profils en acides amines intestinaux chez la vache laitière à différents niveaux d'apport de protéines digestibles dans l'intestin)
Évaluation et amélioration des plates-formes logicielles pour réseaux de capteurs sans-fil, pour optimiser la qualité de service et l'énergie. (Evaluation and enhancement of software platforms for wireless sensor networks, to optimize quality of service and energy consumption)
Deep learning on large clinical databases for image-based predictions of cardiac arrhythmias. (Apprentissage profond sur de grandes bases de données cliniques pour la prédiction des arythmies cardiaques à partir de l'imagerie)
Une Approche À Composant Pour L'orchestration De Services À Large Échelle. (A component based approach for large-scale service orchestration)
Solutions globales d'optimisation robuste pour la gestion dynamique de terminaux à conteneurs. (Global robust optimization solutions for dynamic management of container terminals)
Sécurité des protocoles cryptographiques : décidabilité et complexité
Rethinking the Design of Sequence-to-Sequence Models for Efficient Machine Translation. (Une alternative aux modèles neuronaux séquence-à-séquence pour la traduction automatique)
Statistical modelling and reduction of multiple access interference power in wideband DS-CDMA and MC-CDMA communications systems. (Modélisation et réduction de puissance des interférences multi-utilisateurs dans des systèmes DS-CDMA et MC-CDMA)
Theoretical guarantees and improvement of large dimensional multi-task semi-supervised classification. (Garanties théoriques et amélioration de la classification multi-tâches semi-supervisée en grande dimension)
Optimisation de bout-en-bout du démarrage des connexions TCP. (TCP startup end-to-end optimisation)
Propositions pour la maîtrise de la programmation par échange de messages. (Propositions to master message passing programming)
A performance projection approach for design-space exploration on Arm HPC environment. (Approche de projection de performance pour l'exploration de paramètres de conception de l'environnement Arm en HPC)
Efficient and Robust Protocols for Privacy-Preserving Semi-Decentralized Machine Learning. (Protocoles Efficaces et Robustes pour l'Apprentissage Automatique Semi-Décentralisé Préservant la Confidentialité)
Framework de sécurité avec token pour de l'accélération cloud FPGA multi-utilisateurs sécurisée basé. (TokSek : token-based multi-tenant cloud FPGA cloud security framework for secure acceleration)
Automatic Learning of Anonymization for Graphs and Dynamic Graphs. (Apprentissage automatique de fonctions d'anonymisation pour les graphes et les graphes dynamiques)
Efficient Representations of Dynamic Textures. (Représentations efficaces des textures dynamiques)
Déterminisme biologique de la variabilité de la fonte lipidique à la cuisson du foie gras de canard
Diffeomorphic image registration taking topological differences into account: metamorphosis on brain MRI containing glioblastomas. (Recalage difféomorphique d'images médicales avec prise en compte des différences topologiques: métamorphoses appliquées aux IRM de cerveaux avec glioblastome)
Modeling and exploiting the knowledge base of web of things. (Modélisation et exploitation de base de connaissances dans le cadre du web des objets)
Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. (A formal integration of access control policies into information systems)
Size-based disciplines for job scheduling in data-intensive scalable computing systems. (Disciplines basées sur la taille pour la planification des jobs dans data-intensif scalable computing systems)
Sécurisation du contrôle d'accès pour des documents XML. (A Secure Access Controller for XML Documents)
Extraction de lexiques bilingues à partir de corpus comparables. (Bilingual lexicon extraction from comparable corpora)
Algorithmical and mathematical approaches of causal graph dynamics. (Approches informatique et mathématique des dynamiques causales de graphes)
Modèle de communication affective pour agent conversationnel animé, basé sur des facettes de personnalité et des buts de communication "cachés". (Enhancing Affective Communication in Embodied Conversational Agents through Personality-Based Hidden Conversational Goals)
Fault-tolerant multi-sensor fusion methods - Collaborative localization and characterization of a multi-robot system. (Méthodes de fusion multi-capteurs tolérantes aux défauts - Localisation et caractérisation collaboratives d'un système multi-robots)
Méthodes de séparation aveugle de sources non linéaires, étude du modèle quadratique 2*2. (Nonlinear blind source separation methods, study of the quadratic case 2x2)
Reconnaissance d'accords à partir de signaux audio par l'utilisation de gabarits théoriques. (Template-based chord recognition from audio signals)
Contribution à l'intégration des surfaces gauches dans les modèles de solides. (Contribution to integration of free form surfaces in solid modeling)
Data frugality and computational efficiency in deep learning. (Frugalité en données et efficacité computationnelle dans l'apprentissage profond)
Extraction and analysis of image features within a radiomics workflow applied to prediction in radiotherapy. (Extraction et analyse des caractéristiques de l'image dans le cadre de la méthode radiomique appliqué à la prédiction de la radiothérapie)
Validation of reasoning engines an adaptation mechanisms for self-adaptive systems. (Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs)
L'imagerie Post Mortem Tridimensionnelle Cerebrale : constitution et apport pour L'analyse conjointe de donnees Histologiques Anatomo-fonctionnelles et la mise en correspondance avec L'imagerie in vivo. (Cerebral three-dimensional Post Mortem Imaging : constitution and contribution for the joint analysis of anatomo-functional histological data and matching with in vivo imaging)
Multi-Lingual Dependency Parsing: Word Representation and Joint Training for Syntactic Analysis. (Parsing en Dépendances Multilingue: Représentation de Mots et Apprentissage Joint pour l'Analyse Syntaxique)
Un Framework Basé Bigraphes pour la Conception et l'Analyse des Systèmes Sensibles au Contexte. (Bigraphical Reactive Systems Based Framework for Design and Analysis of Context-Aware Systems)
Dynamic adaptation of human-computer interfaces using cognitive load tracking. (Adaptation dynamique des interfaces homme-machine en utilisant du suivi de charge cognitive)
Méthode de conception de systèmes temps réels embarqués multi-coeurs en milieu automobile. (Methodology of designing embedded real-time multi-core systems in automotive)
Vidéosurveillance d'une salle de traitement en radiothérapie. (Video-based positioning control in a treatment room)
Développement de méthodes bio-informatiques pour l'étude de l'épissage chez les espèces non modèles: épissage complexe et apport des technologies de séquençage de 3eme génération. (Developpement of bio-informatics tools to study alternative splicing for non model species: complex alternative splicing and contribution of third generation sequencing technologies)
Vers une interrogation en langage naturel d'une base de données image
Hétérogénéités et Routages dans les Réseaux à Connectivité Intermittente. (Heterogeneity and routing in delay tolerant networks)
Les contours actifs : modélisation, comportement et convergence. (Active contour models : modelization, behavior and convergence)
Multiple-Model Coding Scheme for Electrical Signal Compression. (Schéma de codage multi-modèle pour la compression de signaux électriques)
Recherche de motifs spatio-temporels fréquents dans un grand graphe via des méthodes d'apprentissage profond. (Frequent spatiotemporal motif mining in a large graph using deep learning method)
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail. (Distributed mandatory protection)
Modélisations pour la reconnaissance de la parole à données contraintes. (Methods for speech recognition under low resource conditions)
Modèle statistique de l'animation expressive de la parole et du rire pour un agent conversationnel animé. (Data-driven expressive animation model of speech and laughter for an embodied conversational agent)
A trust framework for real-time web communications. (Mécanisme de confiance pour les communications web en temps réel)
Etude structurale des cassures d'hélices et son application à la modélisation des récepteurs couplés aux protéines G (RCPG). (Structural study of kelix kinks and its application to modeling G protein coupled receptors (RCPG))
Process Performance Indicators Variability integrated toCustomizable Process Models. (Variabilité des indicateurs de performance des processus intégrée aux modèles de processus personnalisables)
Analyse bioinformatique de l'organisation structurale et fonctionnelle des génomes de deux micro-organismes pathogènes, la bactérie opportuniste Acinetobacter baumannii et le champignon Fusarium graminearum. (Bioinformatics analysis of the structural and functional organization of the genomes of two pathogenic microorganisms, the opportunistic bacterium Acinetobacter baumannii and the fungus Fusarium graminearum)
Introduction de la vision perceptive pour la reconnaissance de la structure de documents. (Use of perceptive vision for document structure recognition)
Content-Aware Video Transmission in HEVC Context: Optimization of compression, of error resilience and concealment, and of visual quality. (Transmission vidéo «contenu»-adaptée dans le contexte HEVC: Optimisation de la compression, de la tolérance aux erreurs de la transmission, et de la qualité visuelle)
Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel
Modélisation de la pertinence en recherche d'information : modèle conceptuel, formalisation et application. (Modelling relevance for information retrieval: conceptual model, formalization and application)