yusuke1997/dblp-id-title huggingface dataset:
Extraction de code fonctionnel certifié à partir de spécifications inductives. (Extraction of Certified Functional Code from Inductive Specifications)
Identification de paramètres hydrodynamiques par simulation avec Smoothed Particle Hydrodynamics. (Identification of hydrodynamic parameters by simulation with Smoothed Particle Hydrodynamics)
Highlight and execute suspicious paths in Android malware. (Mettre en avant et exécuter les chemins suspicieux dans les malwares Android)
Acclimatation précoce des poulets de chair au climat tropical
Méthodes d'Extraction de Connaissances à partir de Données (ECD) appliquées aux Systèmes d'Information Géographiques (SIG). (Methods for Knowledge Discovery in Databases (KDD) applied to Geographic Information Systems (GIS))
Rich multi-touch input with passive tokens. (Objets passifs pour une entrée multi-points riche)
Safe Control of Robotic Manipulators in Dynamic Contexts. (Contrôle sûre de robots manipulateurs dans des environnements dynamiques)
Multimodal image registration in 2D and 3D correlative microscopy. (Recalage multimodal d'images en microscopie corrélative 2D et 3D)
Diagnostic de défauts des systèmes contrôlés via un réseau. (Fault diagnosis of networked control systems)
Méthodes de vérification de bases de connaissances
Vers une approche d'adaptation dynamique et temps-réel du contenu informationnel d'une interface utilisateur dans un environnement ubiquitaire. (Towards a Runtime Evolutionary Model of User Interface Adaptation in a Ubiquitous Environment)
Theory and algorithms for learning metrics with controlled behaviour. (Théorie et algorithmes pour l'apprentissage de métriques à comportement contrôlé)
Contributions à la fiabilisation du transport de la vidéo
Exécution sécurisée de plusieurs machines virtuelles sur une plateforme Manycore. (Executing secured virtual machines within a Manycore architecture)
L'écriture de l'accident dans la fiction de Rick Moody. (The writing of the accident in Rick Moody's fiction)
Méthodes à noyau pour l'analyse et la décision en environnement non-stationnaire. (Kernel Machines for analysis and decision-making in a non-stationary environment)
Réduction de dimension en statistique et application en imagerie hyper-spectrale
Radio logicielle pour des réseaux de capteurs sans fil cognitifs : un standard IEEE 802.15.4 reconfigurable. (Software defined radio for cognitive wireless sensor networks : a reconfigurable IEEE 802.15.4 reconfigurable)
Distributed computing at the smart device edge. (Calcul distribué en périphérie de réseau)
Quality of service and routing in wireless mesh networks. (Qualité de service et routage dans les réseaux maillés sans fil)
Localisation 3D basée sur une approche de suppléance multi-capteurs pour la Réalité Augmentée Mobile en Milieu Extérieur. (3D localization based assistance scheme using multi-sensors for mobile outdoor augmented reality)
Cartographie génomique par analyse de signature ADN sur molécule unique issue de molécules en épingle à cheveux micro-manipulées par pinces magnétiques. (Genomic mapping by DNA fingerprinting analysis using single molecule from hairpin shaped molecule and magnetic tweezers micromanipulation)
Une contribution au Génie Automatique : le prototypage des machines et systèmes automatisés de production. (Contribution to Automation Engineering: Prototyping of Production Systems and Machines)
Automotive embedded software design using formal methods. (Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles)
IMHOTEP : un générateur automatique d'architectures pour circuits intégrés de filtrage numérique. (IMHOTEP: an automatic architecture generator for digital filtering integrated circuits)
Optically addressed spatial light modulators as generic dynamical systems for novel computing substrates. (Modulateurs spatiaux de lumière tout-optique destinés à la conception de nouveaux processeurs basés sur des systèmes dynamiques complexes)
Protocole de Decouverte sensible au contexte pour les Services Web semantiques. (Context-aware semantic Web service discovery protocol)
Transcription automatique de langues peu dotées. (Automatic speech recognition for less-represented languages)
Simulation des grandes Echelles d'ecoulements Turbulents Supersoniques. (Large Eddy Simulation of supersonic turbulent flows)
Static Analysis of Semantic Web Queries with ShEx Schema Constraints. (Analyse Statique de Requêtes du Web Sémantique avec Contraintes de Schéma ShEx)
Distributed Learning for 5G and Beyond Network Management and Orchestration. (Apprentissage distribué pour la gestion et l'orchestration des réseaux 5G et au-delà)
Application de la Programmation en Logique avec Contraintes au Problème d'Emploi du temps. (Application of Constraint Logic Programming to Timetable Problem)
Scalable algorithms for large-scale machine learning problems : Application to multiclass classification and asynchronous distributed optimization. (Algorithmes d'apprentissage pour les grandes masses de données : Application à la classification multi-classes et à l'optimisation distribuée asynchrone)
Expanding the training data for neural network based hate speech classification. (Extension des données de formation pour la classification réseaux neuronaux pour la classification des discours haineux)
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels. (Environment for the systematic development and proof of correction of functional parallel programs)
Algebraic Approach for Code Equivalence. (Approche algébrique sur l'équivalence de codes)
Equations aux dérivées partielles et réseaux de neurones pour le traitement d'images. (Partial Differential Equations and Neural Networks for Images Processing)
Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves. (Dynamic Resource Logics : Models, Properties and Proofs)
Services E-santé Basés sur la reconnaissance et la prédiction des activités quotidiennes dans les espaces intelligents
Modèles simplifiés d'interaction fluide-structure
Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire. (Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model)
Détection des influenceurs dans des médias sociaux. (Influencer detection in social media)
Détection et identification des occlusives et fricatives au sein du système indépendant du locuteur APHODEX. (Occlusives and fricatives detection and identification in the speaker-independant system APHODEX)
Caractérisation et limitation des biais de mesure de l'élastographie par résonance magnétique. (Magnetic Resonance Elastography Bias Characterization and Limitation)
Usages d'Internet et services d'Internet au Mali : rôle et positionnement des bibliothèques. (Uses of the Internet and Internet services in Mali : the role and positioning of libraries)
Adaptive Medium Access Control for Heterogeneous Wireless Sensor Networks
Caractérisation logique de données : application aux données biologiques. (Logical Characterization of Data : application to Biological Data)
Modèles formels et outils génériques pour la gestion et la recherche de composants. (Formal models and generic tools components management and retrieval)
Analyse de structures répétitives dans les séquences musicales. (Repetitive structure analysis in music sequences)
Modélisation et caractérisation du plissement cortical. (Modeling and characterization of cortical folding)
Etude de la propagation des ondes électromagnétiques dans les tunnels courbes de section non droite pour des applications métro et ferroviaire. (Study of radio wave propagation in curved tunnels with non-straight section for metro and railway applications)
Interactive Physically-based Simulation of the Suction Phenomenon. (Simulation Interactive basée Physique du Phénomène de Succion)
Semantic Analysis of the Driving Environment in Urban Scenarios. (Analyse sémantique de l'environnement de conduite dans les scénarios urbains)
Towards robust visual object tracking : proposal selection and occlusion reasoning. (Vers un suivi robuste d'objets visuels : sélection de propositions et traitement des occlusions)
Extraction d'information à partir de documents Web multilingues : une approche d'analyses structurelles
Algorithmes de super-résolution pour la microscopie à balayage laser avec modelage de faisceau par diffraction conique. (Super-resolution algorithms for laser scanning microscopy with illumination patterns shaped by conical diffraction)
Reconnaissance de gestes et d'actions de la main, combinant vision par ordinateur et technologies de réalité augmentée. (Hand gesture and action recognition, combining computer vision and augmented reality technologies)
Continuous processing of top-k queries in social networks. (Traitement continu de requêtes top-k dans les réseaux sociaux)
A simulation-based modeling framework for the analysis and protection of smart grids against false pricing attacks. (Un cadre de modélisation basé sur la simulation pour l'analyse et la protection des réseaux intelligents contre les attaques fausses tarifications)
Etude d'une classe d'équations différentielles affines par morceaux modélisant des réseaux de régulation biologique. (Study of a class of piecewise affine differential equations arising as biological regulatory network models)
Designing Location Privacy Mechanisms for flexibility over time and space. (Concevoir mécanismes pour la confidentialité géographique avec flexibilité dans le temps et l'espace)
Conception et formalisation d'une application de visioconférence coopérative. Application et extension pour la téléformation
Development of a robust inversion methodology in nondestructive eddy current testing. (Développement d'une méthodologie robuste d'inversion dédiée au CND par courants de Foucault)
Partition syntaxique d'un système logique décrit en CASSANDRE
Towards scalable, multi-view urban modeling using structure priors. (Vers une modélisation urbaine 3D extensible intégrant des à priori de structure géométrique)
Entre fusion et rivalité binoculaires : impact des caractéristiques des stimuli visuels lors de l'utilisation d'un système de réalité augmentée semi-transparent monoculaire. (Between binocular fusion and binocular rivalry : impact of visual stimuli characteristics when using a monocular augmented reality device)
Memory-Optimization for Self-Stabilizing Distributed Algorithms. (Optimisation de la mémoire pour les algorithmes distribués auto-stabilisants)
Light Field Image and Video Compression. (Compression d'images et de vidéos Light Field)
Real spherical harmonics for lighting simulation and real-time rendering. (Harmoniques sphériques réelles pour la simulation de l'éclairage et le rendu temps-réel)
Motion Analysis for Dynamic 3D Scene Reconstruction and Understanding. (Analyse du mouvement pour la reconstruction et la compréhension de scènes 3D dynamiques)
Redeployment in Convoys of Fleets of Shared Vehicles. (Redéploiement en convois de flottes de véhicules partagés)
Automatic Mapping Generation and Adaptation for XML Data Sources. (Génération et adaptation automatiques de mappings pour des sources de données XML)
Neural Methods for Event Extraction. (Méthodes neuronales pour l'extraction d'événements)
Quaternions et Algèbres Géométriques, de nouveaux outils pour les images numériques couleur. (Quaternions and Geometric Algebras, new tools for digital colour images)
Un modèle génératif pour le développement de serveurs Internet. (A generative model for Internet servers development)
Décentralisation Optimisée et Synchronisation des Procédés Métiers Inter-Organisationnels. (Optimized Decentralization and synchronization of Inter-Organizaion Business Processes)
Deep learning for SAR imagery: from denoising to scene understanding. (Apprentissage profond pour l'imagerie SAR: du débruitage à l'interprétation de scène)
Apprentissage auto-supervisé des relations entre sons, gestes articulatoires et unités de la parole pour le contrôle de la production : vers un agent apprenant à parler. (Self-supervised learning of the relationships between sounds, gestures and units for the control of speech production : towards an agent learning to speak)
Intégration de données à partir de connaissances : une approche multi-agent pour la gestion des changements. (Knowledge based data integration system : a multiagent approche)
Marches aléatoires et mot circulant, adaptativité et tolérance aux pannes dans les environnements distribués. (Random walks and circulating word, adaptation and fault tolerance in distributed systems)
Extraction et prédiction des réponses aux chimiothérapies à partir des données hospitalières. (Extraction and prediction of chemotherapy responses from electronic health records)
Perception enhancement of an autonomous vehicle through the use of UAV. (Amélioration de la capacité de perception d'un véhicule autonome grâce à l'utilisation de drones)
Interprétation de l'apprentissage profond pour la prédiction de phénotypes à partir de données d'expression de gènes. (Interpretation of deep learning for phenotype prediction from gene expression data)
Architecture de Communication pour les Applications Multimédia Interactives dans les Réseaux Sans Fil
Formalisation et automatisation du raisonnement géométrique en Coq. (Formalisation and automation of geometric reasoning within Coq)
Channel coding for future wireless networks. (Codage canal pour les réseaux sans-fils du futur)
Décomposition tensorielle de signaux luminescents émis par des biosenseurs bactériens pour l'identification de Systèmes Métaux-Bactéries
Signatures Algébriques dans la Gestion de Structures de Données Distribuées et Scalables. (Algebraic Signatures in the Management of Scalable and Distributed Data Structures)
Contrôle d'admission en boucle ouverte dans les réseaux. (Open-loop admission control in networks)
Reconnaissance automatique du locuteur par des GMM à grande marge. (Speaker recognition using discriminative learning of Large Margin GMM)
Les ateliers Rob'Autisme : Le robot extension comme médiation thérapeutique auprès des personnes présentant un trouble du spectre autistique. (The Rob'Autism groups : the extension robot as a therapeutic mediator for people with Autism Spectrum Disorder)
Long read sequencing applied to a multiscale analysis of biological effects induced by ionizing radiation and metal oxide nanoparticle. (Séquençage de 3ème génération appliqué à une analyse multi-échelles des effets biologiques induits par les rayonnements ionisants et les nanoparticules d'oxyde métallique)
Méthodes de décomposition pour la résolution des PCSP (Partial Constraint Satisfaction Problem) : application aux problèmes FAP et coloration de graphes. (Decomposition methods for solving PCSP (Partial Constraint Satisfaction Problem) : application to FAP and graph coloring problems)
Gestion de l'hétérogénéité d'un SI de classification documentaire multifacette et positionnement dans l'environnement des ECM. (Management of heterogeneity of a documentary multifaceted classification Information System and position in the ECM environment)
Experimental and numerical contribution to heat transfer enhancement in compact plate heat exchangers. (Contribution expérimentale et numérique à l'amélioration de l'échange thermique des échangeurs de chaleur compatcs à plaques)
Systèmes de transmission avec précodage linéaire et traitements itératifs : Application à l'OFDM et aux techniques MIMO. (Communication systems with linear precoding and iterative processing)
Étude de nouvelles techniques d'interaction en situation de mobilité avec des lunettes électroniques pour le domaine de la santé. (Study of new interaction techniques in mobility context with smart glasses for healthcare)
Construction de solutions exactes en élastoplasticité. Application à l'estimation d'erreur par apprentissage
La gestion de la qualité de service temps-réel dans les réseaux de capteurs sans fil. (Real-time quality of service management in wireless sensor networks)
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée. (Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis)
Étude d'algorithmes d'apprentissage artificiel pour la prédiction de la syncope chez l'homme. (Study of machine learning algorithms for syncope prediction)
Controlling image generative models without supervision. (Contrôle des modèles de génération d'image sans supervision)
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
How to improve the numerical reproducibility of hydrodynamics simulations: analysis and solutions for one open-source HPC software. (Comment améliorer le reproductibilité numérique d'un code de simulation hydrodynamique : analyse et solutions d'un logiciel HPC libre)
Diagnostic par reconnaissance des formes : application à un ensemble convertisseur - machine asynchrone. (Diagnosis by Pattern Recognition: application on a set inverter - induction machine)
De l'interaction homme-machine individuelle aux systèmes multi-utilisateurs. L'exemple de la communication homme-homme médiatisée. (From single-user human-computer interaction to multi-user systems Application to computer-mediated communication systems)
Bio-inspired continual learning and credit assignment for neuromorphic computing. (Apprentissage continu et estimation du gradient inspirés de la biologie pour le calcul neuromorphique)
Génération d'algorithmes de recherche locale. (Local search algorithms generation)
A constraint-based approach to modelling spatial semantics of vitual environments. (Une approche basée sur des contraintes pour la modélisation des sémantiques spatiales des environnements virtuels)
Programmation haute performance pour architectures hybrides. (High Performance Programming for Hybrid Architectures)
Unsupervised Learning in Complex Systems. (Apprentissage non supervisé dans les systèmes complexes)
Styles d'évolution dans les architectures logicielles. (Evolution styles within software architectures)
Techniques de modélisation transactionnelle pour le dimensionnement des futurs systèmes de radiocommunication mobiles. (Transaction-level modeling techniques for radio communication systems architecting)
Formalisation et vérification des systèmes blockchain. (Formalisation and verification of blockchain systems)
Smart and adaptive energy management and control system by ambient intelligence techniques and technologies. (Techniques et technologies de l'Intelligence Ambiante pour la gestion intelligente et contrôle adaptative de l'efficacité énergétique)
Analysis of the factors that increase innovation and success in complex projects to propose a partner selection framework. (Analyse des facteurs favorisant l'innovation et la réussite des projets complexes afin de proposer un cadre de sélection des partenaires)
Deciphering splicing with sparse regression techniques in the era of high-throughput RNA sequencing. (Etude de l'épissage grâce à des techniques de régression parcimonieuse dans l'ère du séquençage haut débit de l'ARN)
Amélioration de l'awareness informationnelle dans la collaboration inter-organisations pendant la gestion de crise. (Enhancing the information awareness in the inter-agency collaboration during crisis management)
Un modèle multi-agents pour la représentation de l'action située basé sur l'affordance et la stigmergie
Composition des modèles de lignes de produits logiciels. (Composition of software product line models)
Towards an automated framework for coronary lesions detection and quantification in cardiac CT angiography. (Vers un système automatisé pour la détection et la quantification des lésions coronaires dans des angiographies CT cardiaques)
Étude exhaustive de voies de signalisation de grande taille par clustering des trajectoires et caractérisation par analyse sémantique. (Comprehensive study of large signaling pathways by clustering trajectories and characterization by semantic analysis)
Planification de tâches de manipulation pour robots parallèles à câbles. (Planning of Manipulation Tasks for Cable-Driven Parallel Robots)
Apport de l'approche gestion de réseaux pour le placement de tâches dans le modèle de programmation par échange de messages. (Network management's contribution to the mapping of parallel tasks in the message passing programming model)
Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator)
Briser la confiance: dissection et analyse des impacts sécurité et vie privée du DRM widevine. (Bust the trust: dissect and analyze the security and privacy impacts of the widevine DRM)
Safe localization and control of a towed sensor. (Localisation et contrôle sûrs d'un capteur tracté)
Unsupervised open-world information extraction from unstructured and domain-specific document collections. (Extraction d'information non-supervisée et en monde ouvert à partir de collections de documents non-structurées et spécifiques à un domaine)
Quelques méthodes numériques pour le calcul de fonctions splines à une et plusieurs variables
Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d'entreprise. (Agile approach of Model-Based Testing for functional testing of enterprise IT systems)
Énumération exhaustive et détection spécifique des analogies : étude pour les modèles de langue et la traduction automatique. (Complete Enumeration and Specific Detection of Proportional Analogies: Studies for Language Models and Machine Translation)
Reinforcement Learning Using Neural Networks, with Applications to Motor Control. (Apprentissage par renforcement utilisant des réseaux de neurones, avec des applications au contrôle moteur)
Compréhensibilité de contenus audiovisuels: quelles approchespour une mesure objective ? (Comprehensibility of audiovisual content: What approaches for an objective measurement?)
On decoding algorithms for algebraic geometry codes beyond half the minimum distance. (Sur des algorithmes de décodage de codes géométriques au delà de la moitié de la distance minimale)
A framework for the continuous curation of a knowledge base system. (Un cadre pour la curation continue d'un système de base de connaissances)
Deep learning techniques for graph embedding at different scales. (Application du deep learning pour la représentation de graphes à différentes échelles)
Garantir la qualité de service temps réel selon l'approche (m,k)-firm. (Guarantee Real-Time Quality of Service according to (m, k)-firm approach)
A Systems Engineering-based semantic model to support "Product-Service System" life cycle. (Un modèle sémantique basé sur l'ingénierie des systèmes pour supporter le cycle de vie des systèmes "Produit-Service")
Elaboration d'une modélisation mathématique du transfert multi-échelle des signaux mécaniques dans l'os cortical humain. Aspects théoriques et simulations numériques. (Mathematical modelling of multiscale transfer of mechanical signals in human cortical bone. Theoretical aspects and computational methods)
Implication des Bone Morphogenetic Proteins (BMPs) hypophysaires dans la régulation de la synthèse et de la libération de l'hormone folliculo-stimulante (FSH)?
Statistical methods for deciphering intra-tumor hereterogeneity : challenges and opportunities for cancer clinical management. (Méthodes statistiques pour la détection de l'hétérogénéité intra-tumorale : défis et pertinence pour la prise en charge du cancer)
Scaffold-based Reconstruction Method for Genome-Scale Metabolic Models
Neuroimagerie et investigations cognitives des conséquences post-infarctus thalamique : défis méthodologiques et réduction des biais d'étude. (Neuroimaging and cognitive investigations of post-thalamic infarct consequences : methodological challenges and reduction of study bias)
Environnement informé sémantiquement enrichi pour la simulation multi-agents : application à la simulation en environnement virtuel 3D. (Semantically enriched informed environment for multi-agent simulation : application to simulation in 3D virtual environment)