yusuke1997/dblp-id-title huggingface dataset:
Modeling and simulation for the surveillance of water systems, application of cellular automata to environment monitoring and control. (Modélisation et simulation pour la surveillance des systèmes d'eau, application des automates cellulaires à la surveillance et au contrôle de l'environnement)
Formal verification of secured routing protocols. (Vérification formelle de protocoles de routage sécurisés)
D'une famille de composants dialogiques à une méthodologie de synthèse de modèles d'assistance pour un Agent Conversationnel Assistant. (From a library of dialogical components to a methodology of assistance models synthesis for an Conversational Assisting Agent)
Human and Humanoid robot co-workers: motor contagions and whole-body handover. (Collaborateurs humains et robots humanoides: contagions motrices et prise en charge de l'ensemble du corps)
Apprentissage d'une loi de commande optimale d'un petit quadrotor pour le vol dans des tuyaux cylindriques. (Learning of an optimal control law for a small quadrotor flying in a cylindric pipe)
Passations papier/crayon et informatisées : quelle influence sur les stratégies d'autoprésentation ? (Paper-and-pencil and computer-based test : what effect on the self-presentation strategies ?)
On the capacity of free-space optical intensity channels. (Sur la capacité des canaux d'intensité optique en espace libre)
Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes)
Conception d'un système de partage de données adapté à un environnement de Fog Computing. (A sharing data system adapted to a Fog Computing environment)
Enhancing Human-Robot Interaction with Computer Vision. (Améliorer l'interaction homme-robot avec la vision par ordinateur)
Uncertainty quantification for vision regression tasks. (Quantification d'incertitude pour les tâches de régression visuelle)
Développement et évaluation de méthodes d'estimation des masses segmentaires basées sur des données géométriques et sur les forces externes : comparaison de modèles anthropométriques et géométriques. (Development and evaluation of methods based on geomatrical data and external forces for estimating segment masses : comparison to anthropometric and geometric models)
Turbulence-chemistry interaction models for numerical simulation of aeronautical propulsion systems. (Modèles d'interaction chimie-turbulence pour la simulation numérique de systèmes de propulsion aéronautique)
Deep learning for multivariate time series : from vehicle control to gesture recognition and generation. (Apprentissage profond pour les séries temporelles multivariées : contrôle de véhicule autonome, reconnaissance de gestes et génération de mouvement)
Expressing discourse dynamics through continuations. (Expression de la dynamique du discours à l'aide de continuations)
Définition d'un modèle unifié pour la simulation physique adaptative avec changements topologiques. (Definition of a unified model for the adaptive physical simulation with topological changes)
State Estimation and Verification of Detectability and Opacity in Weighted Automata. (Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés)
Algorithmes et outils pour la cryptanalyse des primitives symétriques. (Algorithms and tools for the cryptanalysis of symmetric primitives)
Nonlinear unmixing of hyperspectral images. (Démélange non-linéaire d'images hyperspectrales)
Partage De Données En Mode Pair A Pair Sur Réseaux Mobiles Ad Hoc. (Peer To Peer Data Sharing Over Mobile Ad Hoc Networks)
Détection de petits objets dans une image en utilisant les techniques de super-résolution. (Detection of Small Objects Using Super-Resolution Image Processing Techniques)
Resource allocation techniques for non-orthogonal multiple access systems. (Techniques d'allocation de ressources pour les systèmes à accès multiple non orthogonal)
Scene Flow Estimation from RGBD Images. (Estimation du Flot de Scène à partir des Images RGBD)
Combinaison de résolutions de contraintes. (Combination of constraint solvers)
Contributions à la coordination de tâches et de mouvements pour un système multi-robots. (Towards task and motion coordination of multi-robot systems)
Analyse, conception et commande de mécanismes de tenségrité et systèmes précontraints : application à l'assistance robotique dans l'IRM. (Analysis, design and control of tensegrity mechanisms and prestressed systems)
Redistribution dynamique parallèle efficace de la charge pour les problèmes numériques de très grande taille. (Efficient parallel dynamic load balancing for very large numerical problems)
Un algorithme de découverte de chroniques pertinentes pour le diagnostic par identification et reconstitution. (A chronicle discorery algorithm relevant for diagnosis by identification and reconstitution)
Intégration automatisée de l'expertise du patient dans le suivi à distance de sa pathologie chronique. (Automatic integration of patient's expertise in the remote monitoring of his chronic disease)
Semantic Representation of a Heterogeneous Document Corpus for an Innovative Information Retrieval Model: Application to the Construction Industry. (Représentation Sémantique de Corpus de Documents Hétérogènes pour un Modèle de Recherche d'Information Novateur : Application au Domaine du Bâtiment)
Automatic Segmentation of Anatomical Structures using Deformable Models and Bio-Inspired/Soft Computing
Modélisation fonctionnelle de l'activité neuronale hippocampique : Applications pharmacologiques. (Functional modeling of hippocampal neuronal activity : Pharmacological applications)
Contributions to High Range Resolution Radar Waveforms : Design of Complete Processing Chains of Various Intra-Pulse Modulated Stepped-Frequency Waveforms. (Contributions à la mise en œuvre de chaînes de traitement radar fondées sur des formes d'onde à bande synthétique : Conception de chaînes de traitement complètes de diverses formes d'onde à fréquence échelonnée modulées par impulsions)
Reduced models via machine learning to analyse the criticality of defects. (Modèles réduits par apprentissage automatique pour l'étude de la nocivité de défauts)
Characterizing and Optimizing Distributed Machine Learning Systems : Towards a Multi-Objective Approach. (Caractérisation et Optimisation des Systèmes d'Apprentissage Machine Distribué : Vers une Approche Multi-Objectif)
Developing Component-Based Applications with a Data-Centric Approach and within a Service-Oriented P2P Architecture: Specification, Analysis and Middleware. (Développement d'Applications à Base de Composants avec une Approche Centrée sur les Données et dans une Architecture Orientée Service et Pair-à-Pair : Spécification, Analyse et Intergiciel)
Élastographie par retournement temporel: mesure des propriétés mécaniques des tissus biologiques par réseau de sources d'onde de cisaillement. (Time reversal elastography: mechanical characterization of biological tissues by shear-wave phased array)
Optimal supervisory control of flexible manufacturing systems. (Synthèse de contrôleurs optimaux pour les systèmes flexibles de production)
Partitionnement de maillages pour l'équilibrage de charge de simulations multi-physiques. (Mesh partitioning for load balancing multiphysics simulations)
TTCC: Transactional-Turn Causal Consistency. (TTCC: Cohérence Causal Transactionnel par Tour)
RORPO: A morphological framework for curvilinear structure analysis. Application to the filtering and segmentation of blood vessels. (RORPO: Une méthode morphologique pour l'analyse des structures curvilignes; Application au filtrage et à la segmentation de vaisseaux sanguins)
Adaptive and autonomous cyber-defense of 5G architectures. (Cyberdéfense adaptative et autonome des architectures 5G)
Ordonnancement de projet avec contraintes de ressources et aide à la décision multi-objectif. (Resource constraint project scheduling problem and multi-objective decision-making)
Integrity Analysis of Data Sources in Multimodal Localization System. (Contributions à l'analyse de l'integrité des sources de données d'un système de localisation multi-modale)
Towards efficient and fair resources management in wireless mesh networks. (Vers une gestion efficace et équitable des ressources dans les réseaux mesh sans fil)
Mesures de discrimination et leurs applications en apprentissage inductif. (Discrimination measures and theirs applications in inductif learning)
Procédé de reconnaissance syntaxique des caractères alphanumériques manuscrits : réalisation micro-informatique
Service-Oriented Middleware for the Large-Scale Mobile Internet of Things. (Middleware pour l'Internet des Objets Intelligents)
Apprentissage Actif de Données Incertaines et Imprécises. (Active Learning of Uncertain and Imprecise Data)
Services d'autorisation et Intégration au protocole d'attribution dynamique des adresses
Test à base de modèles de services Web composés sous des conditions de charge variées. (Model-based testing of composed Web services under various load conditions)
Study and Design of Blockchain-based Decentralized Road Traffic Data Management in VANET (Vehicular Ad hoc NETworks). (Étude et conception d'une gestion décentralisée des données du trafic routier basée sur la Blockchain dans un réseau VANET (Réseaux ad hoc véhicules))
Asyncronous late fusion applied to gesture recognition. (Fusion tardive asynchrone appliquée à la reconnaissance des gestes)
THINK : vers une architecture de systèmes flexibles
Multi-scale simplification and visualization of large 3D models. (Simplification multi-échelle et visualisation de grands modèles 3D)
On the security of embedded systems against physical attacks. (Sécurité des systèmes cryptographiques embarqués vis à vis des attaques physiques)
Visualisation d'information : paradigmes de navigation multi-echelle et approches "focus+contexte". (Information Visualization: multiscale navigation paradigms and focus+context approaches)
Étude et conception d'un encodeur vidéo H264/AVC de résolution HD sur une plateforme multicœur. (Study and design of an H264/AVC high-definition video encoder on multicore platform)
Structuration des données de la conception d'un bâtiment pour une utilisation informatique
Interaction en Réalité Mixte appliquée à l'Archéologie Sous-Marine. (Interaction in Mixed Reality applied to Underwater Archeology)
Identification des éléments clefs du métabolisme des lipides et de leurs régulateurs
Domain adaptation of word embeddings through the exploitation of in-domain corpora and knowledge bases. (Adaptation au domaine de plongements lexicaux via l'exploitation de corpus et de bases de connaissances spécialisés)
A logical investigation of explainable AI. (Une investigation logique de l'IA explicable)
Intéropérabilité sémantique entre les outils de traitement d'images en neuro-imagerie. (Semantic interoperability between image processing tools in neuroimaging)
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions)
Spécialisation de composants. (Component Specialization)
Spatio-temporal characterization of femtosecond laser pulses using self-referenced Fourier transform spectroscopy. (Caractérisation spatio-temporelle d'impulsions laser femtoseconde par spectroscopie à transformée de Fourier auto-référencée)
Adéquation algorithme architecture pour flot optique sur GPU embarqué. (Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs)
Analyses factorielles des distributions marginales de processus. (Factorial analysis of processes marginal distributions)
Modélisation efficiente du corps humain en mouvement: Utilisation de méthodes d'analyse spectrale et d'apprentissage profond pour le traitement de surfaces dynamiques. (Efficient modeling of the human body in motion)
Motif extraction from complex data: case of protein classification. (Extraction de motifs des données complexes: cas de la classification des protéines)
Problèmes de transport à la demande avec prise en compte de la qualité de service. (Dial-a-Ride problems which take into account the quality of service)
La coordination dans les grammaires d'interaction. (Coordination in Interaction Grammars)
Modelling and transformation of sound textures and environmental sounds. (Modélisation et transformation de textures sonores et des sons environnementaux)
Vers un entrepôt de données et des processus : le cas de la mobilité électrique chez EDF. (Towards a Data and Business Process Warehouse : Application to the Electric Mobility at EDF)
Analyse et ordonnancement d'un système hiérarchique virtualisé composé d'applications temps réel strictes. (Analysis and scheduling of hierarchical virtualized systems composed of hard real-time applications)
Development of Network Features for Brain-Computer Interfaces. (Développement de features de réseau complexe pour les Interfaces Cerveau-Machine)
Image Reconstruction from Multiple Shots with Trainable Algorithms. (Reconstruction d'images à partir de prises de vue multiples avec des algorithmes entraînables)
Modélisation géologique 3D et caractérisation des incertitudes par la méthode du champ de potentiel. (3D geological modelling and uncertainty: the potential-field method)
Contribution à l'élaboration d'un modèle de Raisonnement à Partir de Cas pour l'aide à l'interprétation d'organisations spatiales agricoles
Modèle orienté service pour la conception de parcours pédagogiques personnalisés. (Service-Oriented Model for Personalized Learning Process Design)
Data assimilation for the reduction and the calibration of turbulent transport models for magnetic confinement fusion. (Assimilation de données pour la réduction et la calibration de modèles de transport turbulent pour la fusion par confinement magnétique)
New Results on Stochastic Geometry Modeling of Cellular Networks : Modeling, Analysis and Experimental Validation. (Nouveaux résultats sur la modélisation des réseaux cellulaires basée sur la géométrie stochastique : analyse des performances et validation expérimentale)
Random Matrix Theory for AI: From Theory to Practice. (Théorie des matrices aléatoires pour l'IA: De la théorie à la pratique)
Synthèse de réseaux à composantes connexes unicycliques. (On the design of networks with unicyclic connected components)
Cheops, a service-mesh to geo-distribute micro-service applications at the Edge. (Cheops, une approche externe pour géo-distribuer en périphérie les applications à base de micro-services)
French Social Media Mining: Expertise and Sentiment. (Fouille des Médias Sociaux Français: Expertise et Sentiment)
Uncalibrated non-Lambertian photometric stereo. Application to microbial colonies surface reconstruction. (Stéréophotométrie non-calibrée de surfaces non-Lambertiennes. Application à la reconstruction de surface de colonies microbiennes)
Formal Specification and Verification of Security Mechanisms for RISC-V Processors: Non-final version. (Spécification et vérification formelle de mécanismes de sécurité pour processeurs RISC-V / Spécification et vérification formelle de mécanismes de sécurité pour processeurs RISC-V: Version non-finale)
Communicating materials : modeling and management of energy consumption. (Matériaux communicants : modélisation et gestion de la consommation d'énergie)
Design of advanced post-quantum signature schemes. (Conception d'algorithmes de signatures avancées post-quantiques)
Représentations symboliques musicales et calcul spatial. (Spatial computing for symbolic musical representations)
Fairness in selection problems. (Equité dans les problèmes de sélection)
Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne
Efficient simulation of point processes with applications to neurosciences. (Simulation efficace de processus ponctuels avec applications aux neurosciences)
Hybrid variational data assimilation strategy for real-time monitoring of complex dynamical systems. (Stratégie variationnelle hybride d'assimilation de données variationnelles pour la surveillance en temps réel de systèmes dynamiques complexes)
Développements et tests de stratégies de gestion de l'énergie à l'échelle de micro réseaux avec stockage et production d'hydrogène. (Development and testing of micro-network energy management strategies with storage and hydrogen production)
Analyse et optimisation d'une nouvelle architecture de réseau optique futuriste. (Analysis and optimization of a new futuristic optical network architecture)
Modélisation du geste communicatif et réalisation d'un signeur virtuel de phrases en langue des signes grançaise
Synthèse d'observateurs pour des classes de systèmes non linéaires. (Observer design for classes of non-linear systems)
Description and evaluation of elasticity strategies for business processes in the Cloud. (Description et évaluation de stratégies d'élasticité des processus métiers dans le Cloud)
Les orphelins de la politique et leur curieuses machines. Expérimentations esthétiques, techniques et politiques à l'ère des réseaux. (The orphans of politics and their curious machines. Aesthetic, technical and political experiments in the age of networks)
Systèmes reconfigurables et auto-organisés : architecture et implantation. (Reconfigurable self-organised systems : architecture and implementation)
Propagation de fronts et p-laplacien normalisé sur graphes : algorithmes et applications au traitement d'images et de données. (Fronts propagation and normalized p-laplacien on graphs : Algorithms and applications to images and data processing)
De la synergie des images satellitaires SPOT/ERS au travers de deux exemples de fusion. (On the synergy between SPOT / ERS remote sensing images through two examples of fusion)
Simulations stochastiques en environnements distribués. Application aux grilles de calcul. (Stochastic simulations in distributed environments. Applications to computational grids)
Contribution des technologies de l'information et de la communication au succès de la collaboration client-fournisseur en développement de produits nouveaux. (Information technology contribution to the success of customer-supplier collaboration in new product development)
Saisie de prescriptions médicales en langage naturel sur terminaux mobiles. (Medical presciptions in natural language on smartphones)
Robust and reliable multimedia transmission over the Internet. (Transmission robuste et fiable du multimédia sur Internet)
Coverage path planning based on waypoint optimization, with evolutionary algorithms. (Couverture d'un chemin planifié composé de points de passage à optimiser avec des algorithmes évolutionnaires)
Représentations discrètes pour l'ordonnancement et la planification robustes. (Discrete representations for robust scheduling and planning)
Métodos de representación y verificación del locutor con independencia del texto. (Methods of utterances representation in text-independent speaker verification / Méthodes de représentation et de vérification du locuteur indépendant du texte)
Integrating motion planning into reinforcement learning to solve hard exploration problems. (Intégrer planification de mouvement et apprentissage par renforcement pour résoudre des problèmes difficiles d'exploration)
Secure collaborative management platform applied to IoT Networks. (Plateforme de gestion collaborative sécurisée appliquée aux Réseaux IoT)
Unsupervised network anomaly detection. (Détection non supervisée d'anomalies dans les réseaux de communication)
Automated fundus images analysis techniques to screen retinal diseases in diabetic patients. (Analyse de "Fundus" image par le diagnostique de la retinopathie diabétique)
Problèmes NP-difficiles : approximation modérément exponentielle et complexité paramétrique. (NP-Hard problems : moderately exponential approximation and parameterized complexity)
A virtual reality-based approach for interactive and visual mining of association rules
Modèle de maintenabilité logicielle par analyse statique du graphe de code du programme. (Software maintainability model based on static analysis of the code property graph)
Représentation et propagation de connaissances imprécises et incertaines: Application à l'évaluation des risques liés aux sites et sols pollués. (Representation and propagation of imprecise and uncertain knowledge: Application to the assessment of risks related to contaminated sites)
Types abstraits et bases de données : formalisation de la notion de partage et analyse statique des contraintes d'intégrité. (Abstract data types and databases: formalization of the notion of partition and static analysis of integrity contraints)
A design and verification framework for telecommunication services. (Un framework pour la conception et vérification des Télécom Services)
Automatic generation of proof obligations parameterised by domain theories implementation in Event-B : The EB4EB Framework. (Génération automatique d'obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB)
Définition d'un cadre méthodologique pour la conception de modèles multi-agents adaptée à la gestion des ressources renouvelables. (Definition of a methodological framework for designing multi-agents models adapted to the renewable resources management)
Apprentissage incrémental de modèles de domaines par interaction dialogique. (Incremental Learning of Domain Models by Dialogic Interaction)
Scalable Control Allocation Methods for the Modular Multilevel Converter: from Modelling to Real Time Implementation. (Méthodes Scalables de Commande par Allocation pour le Convertisseur Modulaire Multiniveaux: de la Modélisation à l'Implémentation Temps Réel)
Réalisme, anti-réalisme et manifestabilité de la compétence sémantique. (Realism, antirealism and the manifestability of semantic competence)
MéThodologie d'exploitation Quantitative des photographies aéRiennes d'inondation de plaine
Géo-détection des réseaux enterrés par fusion de données multimodales et raisonnement spatial. (Geodetection of underground networks by means of multimodal data fusion and spatial reasoning)
Approche d'assistance aux auteurs pour la réutilisation d'objets d'apprentissage. (Authors assistance approach for the reuse of learning objects)
Observation et modélisation de la Formation de Nouvelles Particules (FNP) au sein du panache volcanique du Piton de la Fournaise. (Observing and modelling the New Particle Formation (NPF) within the Piton de la Fournaise volcanic plume)
Bayesian state estimation in partially observable Markov processes. (Estimation bayésienne dans les modèles de Markov partiellement observés)
The profile of certain liposoluble components in different types of milk
Analyse multifractale 2D et 3D à l'aide de la transformation en ondelettes : application en mammographie et en turbulence développée
Optimization approach for the critical automotive embedded systems. (Méthodologie d'optimisation de l'architecture des systèmes embarqués critiques dans l'industrie automobile)
Segmentation d'images couleur par combinaison LPE-régions/LPE-contours et fusion de régions. Application à la segmentation de toitures à partir d'orthophotoplans. (Color image segmentation by combinig watershed-regions / watershed-lines and regions merging : Application to roof segmentation from orthophotoplan)
Gallai's path decomposition in planar graphs. (Décomposition en chemins de Gallai dans les graphes planaires)
Utilisation de connaissances sémantiques pour l'analyse de justifications de réponses à des questions. (Using semantic knowledge for analysing the justifications of answers to questions)
Analyses Avancées de la MéThode hybride GMRES/LS-Arnoldi asynchrone Parallèle et DistribuéE pour les grilles de calcul et les Supercalculateurs. (Advanced Study of the asynchronous parallel and distributed hybrid GMRES /LS-Arnoldi method for GRID and Supercomputers)
ATLAS, une plate-forme pour la modélisation et la simulation de systèmes désagrégés. (Atlas, a middleware for modelling and simulation of disaggregated systems)
Interacting with signifier-less designs - the case of swhidgets. (Interagir en l'absence de signifiants : le cas des swhidgets)