yusuke1997/dblp-id-title huggingface dataset:
Model based localization and estimation of an ellipsoidal object using artificial electric sense. (Localisation et estimation basées modèle d'un objet ellipsoidal avec le sens électrique artificiel)
Modélisation et optimisation de structures flottantes pour l'aide à la décision d'aménagement portuaire. (Modeling and optimization of floating structures for decision making in harbor development)
Saisie de texte en contexte dégradé sur interfaces réduites pour dispositifs mobiles
Modélisation probabiliste et exploration visuelle autonome pour la reconstruction de scènes inconnues. (Probabilistic modeling and autonomous visual exploration for the reconstruction of unknown scene)
Approche par IRM multiparamétrique pour le tronc cérébral. (Multiparametric MRI approach for the brainstem)
Triangulations et quadriques. (Triangulations and quadrics)
Algorithmes de calcul de logarithmes discrets dans les corps finis
Définition et conception d'un système optimal de la révocation de certificats. (Definition and design of an optimal certificate revocation system)
Challenges and Remedies for Context-Aware Neural Machine Translation. (Défis et remèdes pour la traduction automatique neuronale en contexte)
Mobilité et persistance des applications dans l'environnement Java. (Mobility and Persistence of Applications in the Java Environment)
Policy Mining : a Bottom-Up Approach Toward Network Security Management. (Techniques de rôle mining pour la gestion de politiques de sécurité : application à l'administration de la sécurité réseau)
Étude des performances d'un système de communication sans fil à haut débit. (Performance study of a wireless communication system with a high rate)
Optimisation de graphes sous contrainte géométrique: création d'un réseau de routes aériennes pour un contrôle Sector-Less. (Graph optimisation under geometric constraint / Graph optimisation under geometric constraint: generating an air route network for the Sector-Less concept)
On the infinitary proof theory of logics with fixed points. (Théorie de la démonstration infinitaire pour les logiques à points fixes)
Synchronizing automata and coding theory. (Automates synchronisant et théorie du codage)
Un système de question-réponse dans le domaine médical : le système Esculape. (A question answering system in the medical domain : the Esculape system)
Convolutional Neural Networks for embedded vision. (Réseaux de neurones CNN pour la vision embarquée)
Surveillance de cibles mobiles fondée sur un réseau de drones. (Monitoring of mobile targets using UAVs)
Acceleration of a bioinformatics application using high-level synthesis. (Accélération d'une application en bioinformatique utilisant une synthèse de haut niveau)
Éléments pour l'analyse et le traitement d'images : application à l'estimation de la qualité du bois. (Tools for image analysis and processing : application to wood quality estimation)
Prise en compte de la performance acoustique en phase d'avant-projet-sommaire de bâtiment dans un contexte de conception assistée par ordinateur
Reproducible Research, Software Quality, Online Interfaces and Publishing for Image Processing. (Recherche reproductible, qualité logicielle, publication et interfaces en ligne pour le traitement d'image)
Contribution aux architectures protocolaires pour un système de localisation dans un réseau de capteurs sans fil basé sur une couche physique 802.15.4a UWB. (Contribution to protocol architectures for a location system in a wireless sensor network based on a 802.15.4a UWB physical layer)
Identity Management in Knowledge Graphs. (Gestion d'identité dans des graphes de connaissances)
Approche matricielle de l'opérateur de propagation des ondes ultrasonores en milieu diffusant aléatoire. (Ultrasonic wave propagation in random media under a matrix-operator approach)
Mixture models for clustering and dimension reduction
Une approche autonome pour la gestion logicielle des espaces intelligents. (An autonomic approach for the software management of smart spaces)
Web page segmentation, evaluation and applications. (Segmentation de pages web, évaluation et applications)
Symmetric cryptanalysis ˸ from primitives to modes. (Cryptanalyse symétrique ˸ des primitives aux modes)
Prospective Territoriale par Simulation Orientée Agent. (Territorial Prospective by Agent-Based Simulation)
Gestion optimisée d'un modèle d'agrégation de flexibilités diffuses. (Optimized management of a distributed demand response aggregation model)
Multicast communications for cooperative vehicular systems. (Communication multicast pour les systèmes véhiculaires coopératifs)
Complexité des dynamiques de jeux. (Complexity of games dynamics)
Imprecision in machine learning problems. (Imprécision en apprentissage statistique)
Mise en oeuvre et évaluation d'une méthodologie fondée sur la réalité virtuelle pour l'analyse de la prise d'informations visuelles du gardien de but de handball. (Introduction and evaluation of a methodology based on virtual reality for visual information uptake analysis of handball goalkeeper)
Eduquer aux médias à l'ère numérique: enjeux communicationnels de la médiation des savoirs dans une perspective franco-allemande. (Teaching the media in the digital era: perspectives on the mediation on knowledge about media in a French-German comparative approach)
Allocation et routage dynamique dans un FMS basés sur le concept de champ de potentiel. (Dynamic Allocation And Routing In a MS Based On Potential Field Concept)
Adaptive avatar customization for immersive experiences. (Personnalisation adaptative d'avatar pour expériences immersives)
Energy-efficient data collection and fusion in wireless body sensor networks for continuous health monitoring. (Acquisition, traitement et fusion de données issues des réseaux de capteurs corporels pour une surveillance médicale continue)
Modélisation et Évaluation Analytique du Temps de Réponse des Systèmes de Contrôle-Commande Distribués en utilisant des Réseaux de Petri et l'Algèbre des Dioïdes. (Modeling and Analytical Evaluation of the Response Time of Distributed Control Systems using Petri nets and Dioid Algebra)
Une démarche de conception et d'implémentation de la protection de la vie privée basée sur le contrôle d'accès appliquée aux compositions de services. (Design and Implementation of privacy in service compositions)
Heuristic and exact algorithms for solving the electric autonomous dial-a-ride problem. (Algorithmes heuristiques et exacts pour résoudre le problème du dial-a-ride avec les véhicules électriques autonomes)
Distributed transmitter cooperation and signal processing with limited feedback and backhaul. (Transmission coopérative et traitement du signal distribué avec feedback et backhaul limité)
Effet de la combinaison de lombrifiltration et du lagunage à macrophytes sur le recyclage des effluents sur le site d'élevage
Contribution to quantitative photoacoustic reconstruction : Forward models and inversion schemes. (Contribution à la reconstitution photoacoustique quantitative : Modèles directs et méthodes inverses)
Quantum Game Semantics. (Sémantique des Jeux Quantique)
Multimodal exploration of human genome sequencing to solve the unsolved rare diseases. (Exploration multimodale du séquençage de génome humain pour résoudre l'impasse diagnostique de maladies rares)
Fragment-based modelling of protein-RNA complexes for protein design. (Modélisation par fragments de complexes protéine-ARN pour le design de protéines)
Sparse reconstruction of the dark matter mass map from weak gravitational lensing. (Reconstruction parcimonieuse de la carte de masse de matière noire par effet de lentille gravitationnelle)
Hybridization of vehicular communication technologies for a resilient high-performance network. (Hybridation des technologies de communication véhiculaire pour un réseau résilient et performant)
Une architecture d'administration de cartes à puce, similaire à OTA, et dédiée aux réseaux sans fil IP. (A convenient platform for smart cards administration like OTA, and dedicated to IP wireless networks)
Assisting in secure application development and testing. (Assistance au développement et au test d'applications sécurisées)
Learning representations using neural networks and optimal transport. (Réseaux de neurones et transport optimal pour l'apprentissage de représentations)
A Cost-Effective Query Optimizer for Multi-Tenant Parallel RDBMSs Leveraging Workload Prediction. (Un optimiseur de requêtes rentable pour des SGBDRs parallèles multi-locataires exploitant la prédiction de charges de travail)
Construction automatique d'images de pseudo-âges géologiques à partir d'images sismiques par minimisation d'énergie. (Automatic construction of relative geologic time images from seismic images by energy minimization)
High-performance coarse operators for FPGA-based computing. (Opérateurs grossiers haute performance pour l'informatique basée FPGA)
La constitution de l'ITAV en Midi-Pyrénées : les nanobiotechnologies comme levier de la transformation de la recherche publique. (The constitution of Itav (Advanced Technology Institute in LIfe Sciences) in Midi-Pyrénéées : nanobiotechnologies as a lever for the transformation of public research)
Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs. (Worst-case execution time analysis of real-time tasks executed on a multicore architecture)
Exploitation des mesures "vapeur d'eau" du satellite Megha-Tropiques pour l'élaboration d'un algorithme de restitution de profils associés aux fonctions de densité de probabilité de l'erreur conditionnelle. (Analysis of "Water vapor" measurements from Megha-Tropiques for the design of a retrieval method of profiles and their conditionnal probability density functions of error)
Détection séquentielle de signaux transitoires : application à la surveillance d'un réseau d'eau potable. (Sequential detection of transient signals : application to the monitoring of drinking water supply network)
Contribution à la prise en considération du contexte dans la conception de tables interactives sous l'angle de l'IHM, application à des contextes impliquant table interactive RFID et objets tangibles
Outils pour des Problèmes Industriels de Tournées de Véhicules avec Transbordement. (Tools for Real-life Vehicle Routing Problems with Transshipment)
Découverte de correspondances sémantiques entre ressources hétérogènes dans un environnement coopératif. (Discovery of semantic mappings between semantic resources in a cooperative environment)
Efficient contact determination between solids with boundary representations (B-Rep). (Détermination efficace des contacts entre solides représentés par modélisation surfacique (BRep))
Self Exploration of Sensorimotor Spaces in Robots. (L'auto-exploration des espaces sensorimoteurs chez les robots)
Validation de descriptions VHDL fondée sur des techniques issues du domaine du test de logiciels. (Validation of VHDL descriptions based on software testing techniques)
Analysis of Large-Scale Biological Networks with Constraint-Based Approaches over Static Models
High Performance Hydraulic Simulations on the Grid using Java and ProActive. (Simulations hydrauliques d'haute performance dans la Grille avec Java et ProActive)
Formation de voies hybride analogique-numérique pour la réduction d'interférences dans les réseaux cellulaires de nouvelle génération. (Hybrid analog-digital beamforming for interference reduction in new generation cellular networks)
Virtual machine experience design : a predictive resource allocation approach for cloud infrastructures. (Design de l'expérience utilisateur dans les machines virtuelles : l'approche de l'allocation de ressources prédictive pour les infrastructures cloud)
Algorithmes automatiques pour la fouille visuelle de données et la visualisation de règles d'association: application aux données aéronautiques. (Automatic algorithms for visual data mining and association rules visualization: application to aeronautical data)
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP. (SAT Planning and Temporally Expressive Planning. The TSP and TLP-GP systems)
Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés. (Late specialization of embedded Java systems for small and restrained devices)
Contribution à la classification d'images satellitaires par approche variationnelle et équations aux dérivées partielles
Morphologie et Architecture des Interfaces de Communication de L'information scientifique et Technique dans un environnement multilingue : le contexte Arabo-Latin. (Morphology and Architecture of Interfaces for Technical and Scientific Information Communication within a Multilingual Environment : the Arab-Latin Context)
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization)
Datacenter management for on-site intermittent and uncertain renewable energy sources. (Gestion de centre de données avec sources d'énergies renouvelables intermittentes et incertaines)
Un système de ludification adaptative d'environnements d'apprentissage fondé sur les profils de joueur des apprenants. (A system for adaptive gamification of learning environments based on the player profiles of the learners)
Analyser la prosodie musicale du punk, du rap et du ragga français (1977-1992) à l'aide de l'outil informatique. (Analyzing musical prosody of French punk, rap and ragga (1977-1992) using IT tools)
Continuous Learning and Cooperative Prediction Based on Adaptive Multi-Agent System Applied for Traffic Dynamics Prediction. (Apprentissage continu et prédiction coopérative basés sur les systèmes de multi-agents adaptatifs appliqués à la prévision de la dynamique du trafic)
Filtering of thin objects : applications to vascular image analysis. (Filtrage d'objets fins : applications à l'analyse d'images vasculaires)
Analyse de la dynamique temporelle et spatiale des réseaux cérébraux spontanés obtenus en imagerie par résonance magnétique fonctionnelle. (Analysis of temporal and spatial dynamics of spontaneous brain networks obtained from functional magnetic resonance imaging)
Architecture Extensible et Autonome pour une Couche de Transport évolutive. Application aux Communications Aéronautiques par Satellite. (Extensible and Standalone Architecture for a Scalable Transport Layer. Application to Aeronautical Satellite Communications)
Sur le contexte spatial en gestion des fenêtres et interaction homme-machine. (About spatial context in window management and human-computer interaction)
Une information sur les matrices de covariance : la liaison-information
Deep Learning for 3D Shape Modelling. (Deep learning pour la modélisation de formes 3D)
Performance Modeling of IEEE 802.11 WLANs. (Modélisation des performances des réseaux locaux sans fil)
Optimisation de l'infrastructure d'un système de positionnement indoor à base de transmetteurs GNSS. (Optimizing the infrastructure of the GNSS transmitter based indoor positioning system)
Modèle pour l'étude du rôle de la membrane dans la déformation cellulaire : application à la spinogénèse
Human-aware space sharing and navigation for an interactive robot. (Navigation conviviale et partage de l'espace avec les hommes pour un robot interactif)
Application de la photogrammétrie par multi-corrélation d'images pour le suivi d'évolutions morphologiques rapides en milieux rocheux ou englacés. (Application of the photogrammetry by multi-correlation of images for fast morphological evolution survey in rocky or glacial natural areas)
Modélisation de séquences génomiques structurées, génération aléatoire et applications. (Models for structured genomic sequences, random generation and applications)
Correction du mouvement respiratoire en tomographie par émission mono-photonique. (Breathing motion correction in single photon emission computed tomography)
Approche hybride d'optimisation pour la gestion d'énergie dans le bâtiment. (Hybrid approach of optimization for energy management in buildings)
Cryptographie de l'identité. (Identity-based cryptography)
Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes. (Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l'Information et des Processus)
Développement de méthodes et outils basés sur la réalité augmentée et virtuelle pour l'assistance ou l'apprentissage d'opérations dans un contexte industriel. (Development of methods and tools based on augmented and virtual reality for the assistance and learning of operations in an industrial environment)
Factorisation bayésienne de matrices pour le filtrage collaboratif. (Bayesian matrix factorization for collaborative filtering)
Généralisation des précodeurs MIMO basés sur la distance euclidienne minimale. (Generalized minimum Euclidean distance based precoders for MIMO spatial multiplexing systems)
Test aux ions lourds de VLSI programmables. (Heavy ion test of programmable VLSI)
Big Data Warehouse : modèle de distribution des cubes de données à la volée
Advancing Ethical AI: Fairness, Diversity, and Privacy in Generative Modeling. (Avancer l'IA éthique: équité, diversité et confidentialité dans la modélisation generative)
Enhancing the traceability of B2B logistic chains using blockchain, IoT and Deep Learning. (Amélioration de la traçabilité des chaînes logistiques B2B à l'aide de la blockchain, de l'IoT et du Deep Learning)
Continuity of user tasks execution in pervasive environments. (La continuité d'exécution des tâches d'utilisateurs dans les environnements pervasifs)
Apprentissage multi-capteurs pour le contrôle non destructif de matériaux. (Multi-sensor learning for material non destructive testing)
Methodological developments for omic data integration : applications to oncology and neurosciences. (Développements méthodologiques pour l'intégration de données omiques : applications à l'oncologie et aux neurosciences)
Test de logiciels synchrones avec la PLC. (Testing synchronous software with CLP)
An Archetypal Representation of Artistic Style : Summarizing and manipulating artistic style in an interpretable manner. (Une représentation archétypale de style artistique : résumer et manipuler des stylesartistiques d'une façon interprétable)
Processus cyclique et appel procédural
Online Fault Tolerant Task Scheduling for Real-Time Multiprocessor Embedded Systems. (Contribution à l'ordonnancement dynamique, tolérant aux fautes, de tâches pour les systèmes embarqués temps-réel multiprocesseurs)
Semantic data driven approach for merchandizing optimization. (Optimisation des techniques merchandising à travers l'utilisation de données sémantiques)
Transformées redondantes pour la représentation de signaux audio : application au codage et à l'indexation. (Audio signal representations with overcomplete transforms for coding and indexing)
Analyse, représentation et traitement du geste instrumental : application aux instruments à clavier. (Analysis, representation and processing of the instrumental gesture: application to keyboard instruments)
Contributions à l'analyse numérique des méthodes quasi-Monte Carlo. (Contributions to the numerical analysis of quasi-Monte Carlo methods)
New higher-order active contour models, shape priors, and multiscale analysis: their application to road network extraction from very high resolution satellite images. (Nouveaux modèles de contours actifs d'ordre supérieur, formes «a priori» et analyse multi-échelle : leurs application à l'extraction de réseaux routiers à partir des images satellitaires à très haute résolution)
Hypergraph based learning method: Embedding, Clustering, and Classification. (Méthode d'apprentissage basée sur l'hypergraphes: intégration, regroupement et classification)
Structure and dynamics of rod-like colloids with patchy interaction. (Structure et dynamique des colloïdes en forme de bâtonnets avec une interaction attractive directionnelle)
Contribution to formal foundations of argumentation and case-based reasoning. (Contribution aux fondements formels de l'argumentation et du raisonnement basé sur des cas)
Exhaustive approaches to optimize the robustness of surgeries scheduling. (Des approches exhaustives pour optimiser la robustesse de la planification des chirurgies)
Human Object Interaction Recognition. (Reconnaissance des intéractions humaines avec l'objet)
Dependable composition of Web services. (Composition Sûre de Fonctionnement de Services Web)
Cartographie déCisionnelle MulticritèRe : Formalisation et IMPLémentation informatique. (Multicriteria Decisional Cartography: Formaliztion and Implementation)
Data dissemination protocols and mobility model for VANETs. (Protocole de dissémination de données et modèle de mobilité pour réseaux ad hoc véhiculaires)
Etude algorithmique de certaines classes de graphes parfaits : les graphes de parité, les graphes i-triangulés, les graphes parfaits trois chromatiques. (Algorithmic study of somme classes of perfect graphs : parity graphs, I-delta, 3-chromatic perfect graphs)
Résilience aux antibiotiques de biofilms bactériens : concepts, modélisation et expérimentation. (Antibiotic resilience of bacterial biofilms : concepts, numerical modeling and experimentations)
Human action recognition in videos. (Reconnaissance d'action humaine dans des vidéos)
Approche hiérarchique de co-simulation pour l'étude des échanges d'énergie des micro-réseaux. (Hierarchical co-simulation approach for the study of microgrid energy exchanges)
Industrial qualitative diagnosis support system. (Système d'aide à la décision pour le diagnostic industriel qualitatif)
Incremental Approach for Application GUI Migration using Metamodels. (Approche Incrémentale pour la Migration des Interfaces Graphiques d'Applications utilisant les Métamodèles)
Nouvelles Méthodes de Synthèse Logique et Application aux Réseaux Programmables. (New Methods of Logic Synthesis and Application)
Formal models and verification of memory management in a hypervisor. (Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur)
Interactive Object Retrieval using Interpretable Visual Models. (Recherche Interactive d'Objets à l'Aide de Modèles Visuels Interprétables)
Etude des séries temporelles en imagerie satellitaire SAR pour la détection automatique de changements. (Study of satellite SAR time series for automatic change detection)
Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE. (A model driven based approach for the design of dynamically reconfigurable systems : from MARTE to RECOMARTE)
Modélisation à l'échelle du réseau de conduits des propriétés acoustiques d'un matériau poreux : application aux enrobés drainants
Stabilité et qualité du réglage de vitesses des turbines hydrauliques fonctionnant en parallèle
Proactive and social navigation of autonomous vehicles in shared spaces. (Navigation sociale et proactive de véhicules autonomes dans des espaces partagés)
Efficient multi-class objet detection with a hierarchy of classes. (Détection efficace des objets multi-classes avec une hiérarchie des classes)
Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants. (Temporal validation and deployment of component based industrial control applications)
Analyse et traitement possibiliste de signaux ultrasonores en vue d'assistance des non voyants. (Analysis and possibilistic processing of ultrasonic signals to assist the blind people)
Computational modeling of cognitive control for rule-guided behavior. (Modélisation du contrôle cognitif pour le comportement guidé par les règles)
Modèles hybrides de réseaux de régulation: étude du couplage des cycles cellulaire et circadien. (Hybrid models of regulatory networks: a study of cellular and circadian cycles coupling)
On entity resolution in probabilistic data. (Résolution d'entités dans des données probabilistes)
Interaction et Programmation. (Interaction and Programming)