yusuke1997/dblp-id-title huggingface dataset:
Optimisation du fonctionnement d'un générateur de hiérarchies mémoires pour les systèmes de vision embarquée. (Optimization of the operation of a generator of memory hierarchies for embedded vision systems)
Nanostructuration d'objets métalliques sur surfaces à défauts
Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques
Analyse d'images et apprentissage machine pour la détection des altérations des pierres des monuments historiques. (Image processing and machine learning for stone alterations detection in historical monuments)
Gestion et visualisation de données hétérogènes multidimensionnelles : application PLM à la neuroimagerie. (Management and visualisation of heterogeneous and multidimensional data : application of PLM to neuroimaging)
On combinatorial approximation algorithms in geometry. (Sur les algorithmes d'approximation combinatoires en géométrie)
Tabletop tangible maps and diagrams for visually impaired users. (Cartes et diagrammes tangibles sur table pour des utilisateurs déficients visuels)
Localisation et rehaussement de sources de parole au format Ambisonique: analyse de scènes sonores pour faciliter la commande vocale. (Localization and enhancement of speech from the Ambisonics format)
A kinematic view of protein loop flexibility, with applications to conformational exploration. (Une approche cinématique de la flexibilité des boucles protéiques, avec application à l'exploration conformationnelle)
Définition et réalisation d'outils de modélisation et de calcul de mouvement pour des humanoides virtuels. (Definition and realisation of modeling methods and motion computation algorithms for virtual humans)
Modélisation, exploration et estimation de la consommation pour les architectures hétérogènes reconfigurables dynamiquement. (Model, exploration and estimation of consumption in dynamically reconfigurable heterogeneous architectures)
Solutions optimales des problèmes de recouvrement sous contraintes sur le degré des nœuds. (Optimal solutions of problems of finding spanning tree with constraints on the degree of the nodes)
Paramétrisation et transfert d'animations faciales 3D à partir de séquences vidéo : vers des applications en temps réel. (Rigging and retargetting of 3D facial animations from video : towards real-time applications)
Vers une ingénierie de la production de linguiciels : spécification et réalisation d'un prototype de poste de travail linguistique pour la spécification de correspondances structurales. (Toward an engineering of lingware production. Specification and implementation of a prototype linguistic workstation for specifying structural correspondences)
Behavioral Compositions in Service Oriented Architecture. (Composition comportementale dans les Architectures Orientées Services)
Méthodes d'analyse hiérarchique des réseaux de Petri
Video conference based on enterprise desktop grid. (Vidéoconférence basée sur les ressources internes de l'entreprise)
Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié. (Proved Development of Formal Components for a Pre-Qualified Critical Embedded Code Generator)
Modeling and Analysis of Content Distribution in Disruption Tolerant Networks. (Modélisation et Analyse de la Distribution de Contenus dans un Réseau DTN)
Visual intention detection algorithm for wheelchair motion. (Algorithme de reconnaissance visuelle d'intentions : application au pilotage automatique d'un fauteuil roulant)
Lentilles stratifiées et sources réelles associées - Analyses théoriques et validations expérimentales en ondes millimétriques. (Stratified lenses associated with any real sources - Theoretical analysis and experimental validations in millimeter waves)
Synthèse de correcteurs robustes périodiques à mémoire et application au contrôle d'attitude de satellites par roues à réaction et magnéto-coupleurs
Hyperspectral Imaging for Landmine Detection. (Imagérie Hyperspectrale pour la Detection des Mines de Terre)
Large-scale operator-valued kernel regression. (Régression à noyaux à valeurs opérateurs pour grands ensembles de données)
Apprentissage dynamique du profil des joueurs et des correspondances joueur - secteur d'activité, joueur - métiers. (Dynamic learning of player's profiles and links between players - activity area - jobs)
A symbolic-based passive testing approach to detect vulnerabilities in networking systems. ([Une approche symbolique basée sur des tests passifs pour détecter les vulnérabilités des systèmes réseaux])
Système d'information décisionnel, de la narration à la simulation : application à la surveillance épidémiologique de la tuberculose au Gabon. (Decision-making information system, from narrative to simulation: application to epidemiological surveillance of tuberculosis in Gabon)
Modélisation de signaux longs multicomposantes modulés non linéairement en fréquence et en amplitude Suivi de ces composantes dans le plan temps-fréquence. (Modeling of long-time multicomponent signals with nonlinear frequency and amplitude modulations - Component tracking in the time-frequency plane)
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves. (Taylor models to extend the use and certification of interval arithmeticin a proof checker)
Construction efficace de géométrie pour l'analyse structurelle de grands systèmes moléculaires. (Efficient computation of geometry for structural analysis of large molecular systems)
Vision industrielle et réseaux de neurones profonds: Application au dévracage de pièces plastiques industrielles. (Industrial image processing and deep neural networks)
Analyse avancée de signaux ECG acquis en IRM. (Advanced analysis of ECG signals acquired in MRI)
Collaborative Immersive Analytics for Meteorological and Climatological Data. (Immersive Analytics Collaborative sur des données météorologiques et climatologiques)
Semantic-based approaches to enhance sentiment analysis quality. (La qualité de données dans l'analyse de sentiments : défis et solutions)
Développement d'interaction homme-IA pour l'explication des décisions des algorithmes : application au domaine financier. (Development of human-AI interactions for explaining algorithmic decisions, application to the financial domain)
Conception d'un service de communication pour systèmes d'exploitation distribués pour grappes de calculateurs: mise en oeuvre dans le système à image unique Kerrighed
Optimisation des caches de fichiers dans les environnements virtualisés. (File cache optimization in virtualized environments)
Étude et mise en oeuvre d'une plateforme hybride basée sur du sans fil pour l'efficience énergétique et le contrôle d'accès dans le train. (Study and implementation of hybrid platform based on wireless network for energy efficiency and access control in the train)
Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile
Observer Design and output feedback stabilization of Time varying Systems. (Construction d'observateurs et feedback par retour de sortie stabilisant de systèmes variant dans le temps)
Quantification vectorielle algébrique avec zone morte : application à la compression d'images à bas débit et au tatouage d'images
Nouvelles approches itératives avec garanties théoriques pour l'adaptation de domaine non supervisée. (New iterative approaches with theoretical guarantees for unsupervised domain adaptation)
Cryptographic primitives adapted to connected car requirements. (Implantations de primitives cryptographiques adaptées aux besoins du véhicule connecté)
Multi-criteria Mapping and Scheduling of Workflow Applications onto Heterogeneous Platforms
Détection directe d'événements chimiques et biologiques en milieu liquide sur nanostructures de silicium
Explainable Job Recommender Systems for Recruiters and Consulting Companies. (Systèmes de Recommandations de Poste Explicable pour les Recruteurs et les Compagnies de Services)
Contributions à la précision et à la robustesse de la localisation visuelle dans un monde d'objets. (Contributions to the accuracy and robustness of visual localization in a world of objects)
Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance. (On generic support of composition operators in software component models, application to high performance computing)
Matching and mining in knowledge graphs of the Web of data - Applications in pharmacogenomics. (Appariement et fouille dans les graphes de connaissances du Web des données - Applications en pharmacogénomique)
Stabilité et commande des systèmes linéaires variant dans le temps aux paramètres incertains
Conception, preuves et analyse de fonctions de hachage cryptographiques. (Design, security proofs and cryptanalysis of cryptographic hash functions)
Statistical learning of physical dynamics. (Apprentissage statistique de dynamiques physiques)
Un cadre sémantique formel pour la description, sélection et composition des services web. (A Formal Semantic Framework for Web services's Description, Selection and Composition)
Information spotting in huge repositories of scanned document images. (Localisation d'information dans des très grands corpus de documents numérisés)
Code optimization based on source to source transformations using profile guided metrics. (Optimisation de code basée sur des transformations source-à-source guidées par des métriques issues de profilages)
L'informatique, une displine dans les DEUG scientifiques à partir d'une expérience pédagogique à l'Université de Metz. (Computer sciencers as a subject for science students a teaching experiment at Metz University)
Structuration, standardisation et enrichissement par traitement automatique du langage des données relatives au cancer au sein de l'entrepôt de données de santé de l'Assistance Publique -Hôpitaux de Paris. (Structuring, standardization and enrichment by natural language processing of cancer data within the clinical data warehouse of Assistance Publique -Hôpitaux de Paris)
Formal ethical reasoning and dilemma identification in a human-artificial agent system. (Formalisation du raisonnement éthique et de l'identification de dilemmes dans un système humain - agent artificiel)
Stockage dans les systèmes pair à pair. (Storage in peer to peer systems)
Millimeter wave radio channel characterization and site-specific simulation for 5G systems. (Caractérisation et simulation des canaux de propagation en bande millimétrique pour la 5G)
Modélisation de séries temporelles multidimensionnelles. Application à l'évaluation générique et automatique du geste sportif. (Multidimensional time-series averaging: application to automatic and generic evaluation of sport gestures)
Argument Mining on Clinical Trials. (Fouille d'arguments à partir des essais cliniques)
Multi-agent reinforcement learning for dynamic wind farm control. (Apprentissage par renforcement multi-agents (MARL) pour le contrôle dynamique de parcs éoliens)
Mise en correspondance d'indices images en résolutions multiples
Enrichissement linguistique et cognitif de modèles de langue contextualisés pour le domaine médical. (Linguistic and cognitive enhancement of contextualized language models for the medical domain)
Réalisation d'une mémoire d'incréments ternaires
Modélisation des flux logistiques: vers une plateforme d'interopérabilité des objets logistiques. (Modelling logistics workflows: towards a platform for interoperability of logistics entities)
Models of diachronic semantic change using word embeddings. (Modèles diachroniques à base de plongements de mot pour l'analyse du changement sémantique)
Estimation du regard dans un environnement contrôlé
An In-Depth Study and Implementation of Protection Mechanisms For Embedded Devices Running Multiple Applications. (Etude et implémentation de mécanismes de protection d'exécution d'applications embarquées)
Multisite Management of Scientific Workflows in the Cloud. (Gestion multisite de workflows scientifiques dans le cloud)
Un composant logiciel pour la gestion et l'exécution de plan en robotique: Application aux systèmes multi-robots. (A Software Framework for Plan Management and Execution in Robotics: Application to Multi-Robot Systems)
Enforcing Service-Specific Replica Consistency Models and Response Time Requirements for Heterogeneous Replicated Services. (La réalisation de modèles de cohérence et de requis de temps de réponse pour des services répliqués hétérogènes)
Probabilistic methods for point tracking and biological image analysis. (Méthodes probabiliste pour le suivi de points et l'analyse d'images biologiques)
Réseaux d'interconnexion flexible pour architecture reconfigurable dynamiquement. (Flexible interconnection networks for dynamically reconfigurable architectures)
Robust visual detection and tracking of complex objects : applications to space autonomous rendez-vous and proximity operations. (Détection et suivi visuels robustes d'objets complexes : applications au rendezvous spatial autonome)
Secure Machine Learning by means of Homomorphic Encryption and Verifiable Computing. (Apprentissage machine sécurisé à l'aide de chiffrement homomorphe et de calcul vérifiable)
Navigation Autonome d'un Robot Mobile en Environnement Dynamique et Incertain
Learning adapted coordinate systems for the statistical analysis of anatomical shapes. Applications to Alzheimer's disease progression modeling. (Apprentissage de systèmes de coordonnées adaptés pour l'analyse statistique de formes anatomiques. Applications à la modélisation de la progression de la maladie d'Alzheimer)
Search and Aggregation in Big Graphs. (Recherche et agrégation dans les graphes massifs)
De l'intérêt des modèles grammaticaux pour la reconnaissance de motifs dans les séquences génomiques. (Interest of grammatical modelling to achieve pattern matching in genomic sequences)
Une approche légère basée BlockChain pour sécuriser les communications M2M dans l'IoT. (Lightweight Blockchain based approach for securing M2M communications in IoT)
Learning from genomic data: efficient representations and algorithms. (Développement de représentations et d'algorithmes efficaces pour l'apprentissage statistique sur des données génomiques)
Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems)
Une nouvelle méthode d'appariement de points d'intérêt pour la mise en correspondance d'images
Correction de trajectoires d'un robot manipulateur utilisé pour le soudage par friction malaxage. (Path correction of an industrial robot used for friction stir welding)
Speculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor Mechanism. (Réécriture spéculative de programmes récursifs en boucles candidates à une parallélisation et une optimisation efficaces utilisant un mécanisme inspecteur-exécuteur)
Contribution à la multi-modélisation des applications distribuées pour le contrôle de l'évolution des logiciels. (Contribution to the multi-modeling of distributed applications for software evolution control)
Représentation d'images hiérarchique multi-critère. (Hierarchical multi-feature image representation)
Semantic annotations for systems interoperability in a PLM environment. (Annotations sémantiques pour l'interopérabilité des systèmes dans un environnement PLM)
Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant)
Approche structurelle de quelques problèmes de la théorie des automates
Greedy approaches to approximation of some NP-hard combinatorial optimization problems. (Approches gloutonnes pour l'approximation de problèmes combinatoires NP-difficiles)
Studies on Collaborative Transportation: Models and Metaheuristics. (Etudes sur le Transport Collaboratif: Modèles et Métaheuristiques)
Gestion de graphes de connaissances dans l'informatique en périphérie : gestion de flux, autonomie et adaptabilité. (Knowledge graph management in edge computing : streaming-enabled data management, autonomy and adaptability)
Cadre général pour la recherche d'information et l'extraction de connaissances par l'exploration de treillis. (General framework for information retrieval and knowledge discovery through lattice exploration)
Contribution au traitement de formes discrètes : squelettes et codage par graphe de la ligne médiane. (Contribution to the processing of discrete shapes. Skeletons and coding by the median line graph)
Some models on the interface of probability and combinatorics : particle systems and maps. (Quelques modèles à l'interface des probabilités et de la combinatoire : processus de particules et cartes)
Efficient speaker diarization and low-latency speaker spotting. (Segmentation et regroupement efficaces en locuteurs et détection des locuteurs à faible latence)
Shape estimation of specular objects from multiview images. (Estimation de la forme d'objets spéculaires à partir d'un système multi-vues)
Model Engineering in a Modular PSA. (Ingénierie des modèles dans une EPS modulaire)
Agrégation des résultats dans les systèmes de recherche d'information pair-à-pair non structurés. (Results aggregation in unstructured peer-to-peer information retrieval systems)
Prévision du risque neuro-développemental du nouveau-né prématuré par classification automatique du signal EEG. (Prediction of neuro-developmental risk of premature newborn by automatic classification of the EEG signal)
Neuromorphic analysis of hemodynamics using event-based cameras. (Analyse neuromorphique de l'hémodynamique avec des caméras évènementielles)
Représentations d'arbres réalistes et efficaces pour la synthèse d'images de paysages. (Efficient Rendering of Realistic Trees Representations for Computer Graphics)
Towards a coordination-free orchestration approach to manage consistent service reconfiguration in NFV multi-domain environments. (Vers une approche de l'orchestration sans coordination pour gérer la reconfiguration cohérente des services dans les environnements NFV multi-domaines)
Non-parametric modelling of pollution-generating technologies: Theoretical and methodological considerations, with an application to the case of greenhouse gas emissions in suckler breeding systems in French grassland areas. (Modélisation non-paramétrique des technologies polluantes : considérations théorique et méthodologique, avec application au cas des émissions de gaz à effet de serre dans des systèmes allaitants situés en zone herbagère françaises)
KerA: A Unified Ingestion and Storage System for Scalable Big Data Processing. (KerA : un système unifié d'ingestion et de stockage pour le traitement efficace du Big Data)
Reconnaissance et classification d'images de documents. (Document image retrieval and classification)
Algorithmes de résolution rapide de problèmes mécaniques sur GPU. (Fast algorithms solving mechanical problems on GPU)
Traitement du signal collaboratif dans les réseaux de capteurs sans fils. (Collaborative signal processing in wireless sensor networks)
Exploration par l'analyse factorielle des variabilités de la reconnaissance acoustique automatique de la langue. (Exploring variabilities through factor analysis in automatic acoustic language recognition)
Sparse linear model with quadratic interactions. (Modèle linéaire parcimonieux avec interactions quadratiques)
Proposition d'une approche de segmentation d'images hyperspectrales. (A proposal for a hyperspectral image segmentation approach)
Novel anomaly detection and classification algorithms for IP and mobile networks. (Nouveaux algorithmes de détection d'anomalies et de classification dans les réseaux IP et mobile)
Modélisation au niveau transactionnel de l'architecture et du contrôle relatifs à la gestion d'énergie de systèmes sur puce. (TLM modelling of architecture and control of power management structure for system on chips)
Reconstruction de données. Application à la dosimétrie des radiotéléphones
Modèle de traduction statistique à fragments enrichi par la syntaxe. (A Syntax-Augmented Phrase-Based Statistical Machine Translation Model)
Tatouage robuste par étalement de spectre avec prise en compte de l'information adjacente. (Robust watermarking using spread spectrum and side informed techniques)
Classification et apprentissage actif à partir d'un flux de données évolutif en présence d'étiquetage incertain. (Classification and active learning from evolving data streams in the presence of uncertain labeling knowledge)
Qualitative calculi with heterogeneous universes. (Calculs qualitatifs avec des univers hétérogènes)
A diagnosis support system to identify rare disease cases in large-scale clinical databases : application to ciliopathies. (Système d'aide au diagnostic pour l'identification de patients atteints de maladies rares au sein de grandes bases de données cliniques : application aux ciliopathies)
Vérificateur Règlementaire Sémantique et Multi-échelle. (Semantic and Multi-scale Regulatory Checker)
Interpretable machine learning for CLAS12 data analysis. (Machine learning interprétable pour l'analyse de données à CLAS12)
Deep learning for embedded image compression in Earth Observation. (Aprentissage profond pour la compression embarquée d'images d'observation de la Terre)
Towards a combined statistical shape and musculoskeletal modeling framework for pediatric shoulder joint. (Vers un framework combinant la modélisation statistique de forme et la modélisation musculosquelettique pour l'articulation de l'épaule pédiatrique)
High performance big data analysis ; application to anomaly detection in the context of identity and access management. (Analyse haute performance de masses de données; application à la détection d'anomalie dans le contexte de la gestion d'identité et d'accès)
Surcoût de l'authentification et du consensus dans la sécurité des réseaux sans fil véhiculaires. (Authentication and Consensus Overhead in Vehicular Ad Hoc Networks)
The influence of anonymity on participation in online communities. (L'influence de l'anonymat sur la participation dans les communautés en ligne)
The monitoring power of forcing program transformations. (Transformations de forcing et algèbres de monitoring)
From norms to metrics in non-Archimedean geometry. (Des normes aux métriques en géométrie non-archimédienne)
Scheduling optimization applied to the electricity, oil and gas industries. (Optimisation de l'ordonnancement appliquée à l'industrie du pétrole / Otimização de agendamento aplicada às indústrias de eletricidade, petróleo e gás)
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion. (De la sémantique des effets: centralité, contrôle quantique et récursivité réversible)
Leveraging linguistic and semantic information for relation extraction from domain-specific texts. (Exploitation de l'information linguistique et sémantique pour l'extraction de relations à partir de textes en domaine spécialisé)
Génération d'images intermédiaires pour la création d'animations 2D stylisées à base de marques. (Inbetweens generation for 2D stylized stroke-based animation)
Nouvelle approche d'identification dans les bases de données biométriques basée sur une classification non supervisée. (Novel identification approach within biometric databases based on unsupervised classification)
Modèles d'intégration de la connaissance pour la fouille des données d'expression des gènes. (Knowledge Integration Models for Mining Gene Expression Data)
A science-gateway for workflow executions : Online and non-clairvoyant self-healing of workflow executions on grids. (Auto-guérison en ligne et non clairvoyante des exécutions de chaînes de traitement sur grilles de calcul : Méthodes et évaluation dans une science-gateway pour l'imagerie médicale)
Crowd-networking : modelling Device-to-Device connectivity on street systems using percolation theory, and economic consequences. (Crowd-networking : modèles de percolation pour la connectivité Device-to-Device en environnement urbain, et conséquences économiques)
Projet SOCRATE - (2-3) Interprétation et compilation