yusuke1997/dblp-id-title huggingface dataset:
Normalisation et Apprentissage de Transductions d'Arbres en Mots. (Normalization and Learning of Tree to Words Transductions)
Semantic Description of Services and Service Factories for Ambient Intelligence. (Description Sémantique de Services et d'Usines à Services pour l'Intelligence Ambiante)
Efficient computation of transport coefficients in molecular dynamics. (Calcul efficace des coefficients de transport en dynamique moléculaire)
Contribution à l'étude de la dynamique d'un automate à mémoire. (Contribution to the study of the dynamics of an automaton with memory)
Synthesis of software architectures for systems-of-systems : an automated method by constraint solving. (Synthèse d'architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes)
Modélisation statistique de la géométrie 3D de la cage thoracique à partir d'images médicales en vue de personnaliser un modèle numérique de corps humain pour la biomécanique du choc automobile. (Statistical modeling of the 3D geometry of the rib cage from medical images to personalize a numerical human body model for the biomechanics of car crash)
Detection of logic flaws in multi-party business applications via security testing. (Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité)
Virtualization of micro-architectural components using software solutions. (Virtualisation des composants micro-architecturaux en utilisant des solutions logiciels)
Analyse du discours conversationnel dans le cadre de communications médiées par ordinateur. (Conversational discourse parsing of chat conversations)
Segmentation automatique des lésions de sclérose en plaques en adéquation avec les contraintes cliniques. (Automatic multiple sclerosis lesion segmentation with clinical constraints)
Acoustic echo cancellation for single- and dual-microphone devices : application to mobile devices. (Annulation d'écho acoustique pour terminaux mobiles à un et deux microphones)
Fusion de données : prise en compte des caractéristiques liées à l'imageur lors de la synthèse d'images multispectrales à haute résolution spatiale. (Data fusion: integrating imaging sensor characteristics in the synthesis of multispectral images at high spatial resolution)
Un système personnalisé de recommandation à partir de concepts quadratiques dans les folksonomies. (A personalized recommentder system based on quadri-concepts in folksonomies)
Opacité des artefacts d'un système Workflow. (Opacity of artifacts in Workflow system)
Proposition d'une approche de transformation digitale de la composante gestion de projets de la gouvernance IT à base de modèles. (Proposal of a digital transformation approach for the project management component of IT governance based on models)
Direct Manipulation for Information Visualization. (Manipulation Directe pour la Visualisation d'Information)
Sémantique algébrique des ressources pour la logique classique. (Algebraic resource semantics for classical logic)
Sustainable Declarative Monitoring Architecture: Energy optimization of interactions between application service oriented queries and wireless sensor devices - Application to Smart Buildings. (Architecture de monitoring déclaratif durable: Optimisation énergétique des interactions entre requêtes applicatives orientées service et réseau de capteurs sans fil - Applications aux bâtiments intelligents)
How specific classes of retinal cells contribute to vision: a computational model. (Comment des classes spécifiques de cellules rétiniennes contribuent à la vision: un modèle computationnel)
Combinatorics of Lazard Elimination and Interactions. (Combinatoire de l'élimination de Lazard et Interactions)
Self-stabilization of 3D Walking of a Biped Robot. (Marche Bipède 3D Auto-Stabilisante)
Several mathematical models and fast algorithms for image processing. (Quelques modèles mathématiques et algorithmes rapides pour le traitement d'images)
Ultrasound characterization of tumor angiogenesis, stiffness and microstructure under conventional and innovative therapies. (Caractérisation ultrasonore de l'angiogenèse, de l'élasticité et de la microstructure tumorale sous l'effet de thérapies conventionnelles et innovantes)
Human-Machine Co-Learning: interactive curriculum generation for the acquisition of motor skills. (Co-apprentissage Humain-Machine: génération interactive de curriculum pour l'acquisition de compétences motrices)
Modeling and verification of functional and non functional requirements of ambient, self adaptative systems. (Modélisation et vérification des exigences fonctionnelles et non fonctionnelles des systèmes ambiants auto-adaptatifs)
Mesure de surface 3D pour la caractérisation ostéo-musculaire de petits vertébrés : application à la caractérisation du vieillissement chez la souris. (Measure of 3D surface for osteo-muscular characterization of small vertebrates : application to the characterization of ageing in mice)
Contributions aux études quantitatives par spectroscopies électroniques (EPES et XPS) : Applications aux surfaces nanostructurées. (Contributions to quantitative studies by electron spectroscopy (EPES & XPS) : Applications to nanostructured surfaces)
Modélisations, Simulations, Synthèses pour des réseaux dynamiques de capteurs sans fil. (Modeling, simulations and synthesis for dynamic wireless sensor networks)
Algorithmes de bandits pour la collecte d'informations en temps réel dans les réseaux sociaux. (Bandit Algorithms for Data Extraction on Social Media)
Rhythms and oscillations : a vision for nanoelectronics. (Rythmes et oscillations : une vision pour la nanoélectronique)
Subspace Clustering on Static Datasets and Dynamic Data Streams Using Bio­-Inspired Algorithms. (Subspace Clustering sur Jeux de Données Statiques et sur Streams Dynamiques à l'Aide d'Algorithmes Bio-Inspirés)
Coefficients de fiabilité et approche hierarchique pour la detection et le dénombrement de petits objets dans une vidéo. (Reliability coefficients and hierarchical approach for detection and counting of small objets in videos)
Graph Coloring and Graph Convexity. (Coloration et convexité dans les graphes)
Génération de trajectoires locales temps réel pour véhicule autonome dans un environnement dynamique et coopératif. (Real-time local trajectory generation for autonomous vehicles in a dynamic and cooperative environment)
Towards Adaptive Learning with Invariant Representations. (Vers l'apprentissage adaptatif avec des représentations invariantes)
On-line non-intrusive partial discharges detection in aeronautical systems. (Détection on-line et non intrusive des décharges partielles dans des systèmes aéronautiques)
La coédition langue UNL pour partager la révision entre langues d'un document multilingue. (Coedition Language UNL to share the postedition among languages in a multilingual document)
Métaheuristiques pour la synthèse de haut niveau. (Metaheuristics for high level synthesis)
Déploiement multiplateforme d'applications multitâche par la modélisation. (Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling)
Computer vision methods for 3d concrete printing process monitoring. (Méthodes de vision par ordinateur pour la surveillance de processus d'impression de béton 3D)
Nouvelles stratégies de mise en cache et de mobilité intelligentes pour MEC / architectures basées ICN. (New intelligent caching and mobility strategies for MEC /ICN based architectures)
On Multi-Contact Dynamic Motion Using Reduced Models. (Locomotion dynamique en multi-contact par modèles réduits)
3D MR Spirometry. (Spirométrie 3D par résonance magnétique)
Planning Problems in a Multi-Tethered-Robot System. (Problèmes de planification dans un système de multiples robots à câble)
Approche théorique des collisions réactives de type ion-molécule. (Theoretical collision type reactive ion-molecule)
ADER scheme on Overset Grids with Compact Transmission and Hyper-reduction : Application to Incompressible Navier-Stokes Equations. (Schéma ADER sur des Maillages Overset avec Transmission Compacte et Hyper-réduction : Application aux Équations de Navier-Stokes Incompressibles)
Classification et caractérisation de familles enzymatiques à l'aide de méthodes formelles. (Classification and characterization of enzymatic families with formal methods)
Automatic Domain-Specific Keyphrase Annotation. (Indexation automatique par termes-clés en domaines de spécialité)
Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq. (Certified functional programming : Program extraction within Coq proof assistant)
Maîtrise de la qualité des transcriptions numériques dans les projets de numérisation de masse. (Adaptative quality control of digital documents in mass digitization projects)
Etude et analyse de cryptosystèmes basés sur les codes correcteurs implantables en pratique. (Study and analysis of the implementation of code-based cryptosystems)
Packing curved objects with interval methods. (Méthodes intervalles pour le placement d'objets courbes)
Feature extraction and selection for background modeling and foreground detection. (Extraction et sélection de caractéristiques pour la détection d'objets mobiles dans des vidéos)
Support à la rénovation d'une architecture logicielle patrimoniale : Un cas réel chez Thales Air Systems. (Supporting Legacy Software Architecture Renovation : A real Case by Thales Air Systems)
Bases neurophysiologiques de la perception des visages : potentiels évoqués intracérébraux et stimulation corticale focale . (Neurophysiological Bases of Face Perception: intracerebral evoked potentials and focal cortical stimulation)
One Reality Augmenting the human experience through the combination of physical and digital worlds. (Une réalité : augmenter l'expérience humaine à travers la convergence des mondes physiques et numériques)
Contributions to geovisualization for territorial intelligence. (Contributions à la géovisualisation pour l'intelligence territoriale)
Commande prédictive pour la réalisation de tâches d'asservissement visuel successives. (Model Predictive Control for the realization of successive visual servoing tasks)
Vehicle Routing Problems with Resources Synchronization. (Problèmes de Tournées de Véhicules avec Synchronisation de Ressources)
Navigation multimodale dans une vue bifocale sur dispositifs mobiles. (Multimodal navigation in a bifocal view on mobile devices)
Modèles de conception et d'exécution pour la médiation et l'intégration de services. (Conception and execution models to mediate and integrate service)
Yttrium-90 quantification using SiPM PET and Monte Carlo simulations for radioembolisation monitoring. (Quantification de l'yttrium-90 à l'aide de simulations SiPM PET et Monte Carlo pour le suivi de la radioembolisation)
Prédiction des conflits dans des systèmes homme-machine. (Conflict prediction in human-machine systems)
Machine learning algorithms for behavior prediction in cloud computing architectures. (Algorithmes d'apprentissage automatique pour la prédiction de comportement dans les architectures de cloud computing)
Analysis of user popularity pattern and engagement prediction in online social networks. (Analyse du modèle de popularité de l'utilisateur et de la prédiction d'engagement en les réseaux sociaux en ligne)
Experimental and Theoretical Analysis of Reinforcement Learning Algorithms. (Analyse expérimentale et théorique des algorithmes d'apprentissage par renforcement)
Compréhension de scènes urbaines par combinaison d'information 2D/3D. (Urban scenes understanding by combining 2D/3D information)
Vers une démarche de conception de systèmes d'information pour la traçabilité des données : application aux processus d'expertise des risques naturels en montagne. (Towards an approach for designing information systems for data traceability : application to the expertise processes of natural hazards in mountain areas)
Conception et validation d'une architecture de signalisation pour la garantie de qualité de service dans l'Internet multi-domaine, multi-technologie et multi-service
Utilisation de la tessellation de Voronoï pour l'étude des complexes protéine-protéine. (Using the Voronoi tesselation for the modeling of protein-protein complexes)
Modélisation Hamiltonienne à ports, discrétisation et commande en forme de systèmes mécaniques flexibles multidimensionnels. (Port-Hamiltonian modeling, discretization and shape control of multidimensional flexible mechanical systems)
A Spectral Approach of Multi-Scale Metamodelling Applied to Acoustic Propagation. (Une approche spectrale de la métamodélisation multi-échelle appliquée à la propagation acoustique)
Séparation de sources en ligne dans des environnements réverbérants en exploitant la localisation des sources. (Online source separation in reverberant environments exploiting known speaker locations)
Extraction optimisée de règles d'association positives et négatives intéressantes. (Efficient mining of interesting positive and negative association rules)
Déploiement et contrôle d'applications parallèles sur grappes de grandes tailles
Traduction et optimisation globale dans les langages de classes. (Translation and global optimization in class-based languages)
Détection d'événements sonores environnementaux dans les réseauxde capteurs sans fil à faible consommation. (Environmental sound event detection from low power wireless sensor network)
Feasibility and Performance of a LoRa 2.4 GHz Network. (Faisabilité et performances d'un réseau LoRa 2.4 GHz)
Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé)
Vers l'intégration de post-éditions d'utilisateurs pour améliorer les systèmes de traduction automatiques probabilistes. (Towards the integration of users' post-editions to improve phrase-based machine translation systems)
Dynamic Methane Inventory for Oil and Gas Industry based on Artificial Intelligence. (Inventaire Dynamique des Emissions de Méthane pour l'Industrie Pétrolière et Gazière basé sur l'Intelligence Artificielle)
Reliability and security of embedded communication systems in intelligent vehicular networks: modeling and optimization. (Fiabilité et sécurité des systèmes embarqués communicants pour les transports: modélisation et optimisation)
Recognizing Speculative Language in Research Texts. (Détection du langage spéculatif dans la littérature scientifique)
Optimization algorithms for video service delivery. (Algorithmes d'optimisation de service vidéo)
Traitement d'images en analyse de défaillances de circuits intégrés par faisceau d'électrons. (Image processing for failure analysis of integrated circuits by electron beam testing)
Génération et évaluation de mécanismes de détection des intrusions au niveau applicatif
Dynamic Risk Assessment and Response Computation using Bayesian Attack Models. (Évaluation Dynamique de Risque et Calcul de Réponses Basés sur des Modèles d'Attaques Bayésiens)
Modélisation et optimisation non convexe basées sur la programmation DC et DCA pour la résolution de certaines classes des problèmes en fouille de données et cryptologie. (The non-convex modeling and optimization based on the DC programming and DCA for the resolution of certain classes of problems in Data Mining and cryptology)
Efficient algorithms for the identification of miRNA motifs in DNA sequences
Le dictionnaire électronique des séquences nominales figées en coréen et de leurs formes fléchies - méthodes et applications
Adaptation des interfaces utilisateurs aux émotions. (User Interfaces Adaptation to user emotions)
Prise en compte d'objectifs de stabilité pour l'organisation de collectes de déchets
Étude méthodologique de l'électroencéphalographie quantitative. Application a quelques exemples. (Methodological study of quantitative EEG. Application to some examples)
Parallélisme en programmation par contraintes. (Parallelism in constraint programming)
DRARS, A Dynamic Risk-Aware Recommender System
Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs. (Improving the performance of data servers on multicore architectures)
Compiling Trees: Combining Data Layouts and the Polyhedral Model. (Compilation des arbres : Représentation mémoire et modèle polyédrique)
Explications pour les Solveurs SAT. (Explanations for SAT Solvers)
High Performance Level-set based Topological Data Analysis. (Calcul Haute Performance pour l'Analyse Topologique de Données par Ensembles de Niveaux)
Efficient management of communication channels in IoT networks. (Gestion efficace des canaux de communication dans l'internet des objets)
Towards Network Softwarization: A Modular Approach for Network Control Delegation. (Une Approche Modulaire avec Délégation de contrôle pour les Réseaux Programmables)
Détection et description de points clés par apprentissage. (Learning-based detection and description of key points)
Etude du mouvement dans les séquences d'images par analyse d'ondelettes et modélisation markovienne hiérarchique. Application à la détection d'obstacles dans un milieu routier. (Motion analysis in image sequence using wavelet analysis and hierarchical Markovian model. Application to obstacle detection in road sequences)
Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test. (Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test)
Contribution aux techniques de mise en pages et d'édition par ordinateur : conception et implémentation de L.A.M.P.E., un langage spécialisé
Modélisation et simulation de terrains virtuels. (Modeling and simulating virtual terrains)
Apports des systèmes d'information à l'exploitation des réseaux de voies rapides. Le cas du réseau d'Ile-de-France
Cryptanalysis of symmetric cipher using generic solvers. (Utilisation de solveurs génériques pour la cryptanalyse de chiffrements symétriques)
Mining Heterogeneous Multidimensional Sequential Data : An Application to the Analysis of Patient Healthcare Trajectories. (Extraction de motifs séquentiels dans des données séquentielles multidimensionnelles et hétérogènes / Extraction de motifs séquentiels dans des données séquentielles multidimensionnelles et hétérogènes : Une application à l'analyse de trajectoires de patients)
Efficient complex service deployment in cloud infrastructure. (Déploiement efficace de services complexes dans l'infrastructure de cloud)
Inferring Models from Cloud APIs and Reasoning over Them: A Tooled and Formal Approach. (Inférer des modèles à partir d'APIs cloud et raisonner dessus: une approche outillée et formelle)
Élasticité des infrastructures HPC conteneurisées : résonance entre le HPC et le Cloud. (Elasticity of containerized HPC infrastructures : resonance between HPC and the Cloud)
Diversity based exploration for deep reinforcement learning. (Exploration fondée sur la diversité pour l'apprentissage par renforcement profond)
Compact modeling and circuit design based on spin injection. (Modélisation compacte et conception de circuit à base d'injection de spin)
Polymorphic network protocol suite in heterogeneous wake-up IoT networks. (Nouveaux protocoles réseaux pour des réseaux IoT hétérogènes de Wake-up radio)
Techniques of cryptanalysis for symmetric-key primitives. (Techniques de cryptanalyse dédiées au chiffrement à bas coût)
Programming-Model Centric Debugging for multicore embedded systems / Debogage Interactif des systemes embarques multicoeur base sur le model de programmation
QTor : Une approche communautaire pour l'évaluation de requêtes. (QTor : Using communities to evaluate queries)
Generalization of the decremental performance analysis to differential analysis. (Généralisation de l'analyse de performance décrémentale vers l'analyse différentielle)
Classification des IRM par les descripteurs de contenu : application au diagnostic précoce de la maladie d'Alzheimer. (Features-based MRI brain classification with domain knowledge : application to Alzheimer's disease diagnosis)
Estimation et détection d'un signal contaminé par un bruit autorégressif. (Estimation and detection of a signal corrupted by an autoregressive noise)
Modélisation de l'incertitude géologique par simulation stochastique de cubes de proportions de faciès - Application aux réservoirs pétroliers de type carbonaté ou silico-clastique. (Geological uncertainty modelling using stochastic simulations of facies proportion cubes - Application to hydrocarbon reservoirs : carbonates and silici-clastiscs)
Langages modernes pour la modélisation et la vérification des systèmes asynchrones. (Modern languages for modeling and verifying asynchronous systems)
Variabilité de la production de colostrum chez la truie : Origine et conséquences pour la survie du porcelet
Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées. (Learning Pretopological Spaces for Structured Knowledge Extraction)
Aspects algorithmiques de l'identification de peptides et de l'inférence de protéines par spectrométrie de masse. (Algorithmic aspects of peptide identification and protein inference by mass spectrometry)
Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays. (Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents)
Etude et résolution de problèmes de planification dans des réseaux logistiques multi-échelons. (Study and Solving Planning Problems in Multi-echelon Supply Networks)
Jeux de typage et analyse de lambda-grammaires non-contextuelles. (Game semantics and parsing context-free lambda-grammars)
Multi-user angle-domain beamforming and non-orthogonal multiple access for millimeter-wave massive MIMO systems. (Formation de voie multi-utilisateurs dans le domaine angulaire et accès multiple non orthogonal pour les systèmes multi-antennes massifs en ondes millimétriques)
Stratégies optimistes en apprentissage par renforcement. (Optimistic strategies in Reinforcement Learning)
Biological mechanisms driving neurodegeneration in Multiple Sclerosis : an in vivo approach combining positron emission tomography and high field magnetic resonance imaging. (Mécanismes biologiques à l'origine de la neurodégénérescence dans la Sclérose en Plaques : une approche in vivo associant tomographie par émission de positrons et imagerie par résonance magnétique à haut champ)
Re'seaux urbains de capteurs sans-fil : Applications, caracte'risation et protocoles. (Urban wireless sensors networks : Applications and protocols)
3D structure estimation from image stream in urban environment. (Estimation de la structure 3D d'un environnement urbain à partir d'un flux vidéo)
Recommandation automatique et adaptative d'emojis. (Automatic and Adaptative Emojis Recommendation)
Towards Online Landscape-Aware Algorithm Selection in Numerical Black-Box Optimization. (Vers une sélection en ligne d'algorithmes tenant compte du paysage dans l'optimisation numérique de boîte noire)
Development and acceleration of a 3D characteristics method including an axial polynomial expansion of cross sections. (développement et accélération d'une méthode des caractéristiques 3D incluant une expansion axiale polynomiale des sections efficaces)
The b-chromatic number of some tree-like graphs. (Le nombre b-chromatique de quelques classes de graphes généralisant les arbres)
Segmentation par coupes de graphe avec a priori de forme Application à l'IRM cardiaque
Dominances in linear programming : scheduling around a common due date. (Dominances en programmation linéaire : ordonnancement autour d'une date d'échéance commune)
Resource allocation with observable and unobservable environments. (Allocation de ressources avec environnements observables et non-observables)
Computational modeling of photoactive materials and heterointerfaces for solar energy conversion. (Modélisation computationnelle des matériaux photoactifs et des hétérointerfaces pour la conversion de l'énergie solaire)