yusuke1997/dblp-id-title huggingface dataset:
Ancrages et modèles dynamiques de la prosodie : application à la reconnaissance des émotions actées et spontanées. (Speech anchor and dynamic models of prosody : application to acted and spontaneous emotion recognition)
Modèle et expériences pour la visite des musées en réalité augmentée sonore. (Model and experience for audio augmented museums visit)
Supporting Software Integration Activities with First-Class Code Changes. (Aide à l'Intégration de Branches Grâce à la Réification des Changements)
Error handling and energy estimation for error resilient near-threshold computing. (Gestion des erreurs et estimations énergétiques pour les architectures tolérantes aux fautes et proches du seuil)
Community detection: computational complexity and approximation. (Détection de communautés: complexité computationnelle et approximation)
Multidimensional Complex Stationary Centered Gaussian Autoregressive Time Series Machine Learning in Poincaré and Siegel Disks: Application for Audio and Radar Clutter Classification. (Apprentissage dans les disques de Poincaré et de Siegel de séries temporelles multidimensionnelles complexes suivant un modèle autorégressif gaussien stationnaire centré : application à la classification de données audio et de fouillis radar)
Microlocal sheaf theory for Radon transform. (Théorie microlocale des faisceaux pour la transformation Radon)
Development of Magnetic Resonance Imaging (MRI) methods for in vivo quantification of lipids in preclinical models. (Développement de méthodes d'Imagerie par Résonance Magnétique pour la quantification des lipides in vivo dans les modèles précliniques)
Etude théorique de réactions chimiques en phase liquide à l'aide du modèle du champ de réaction auto-cohérent. (Theoretical study of chemical reactions in solution by mean of the self-consistent reaction field approach)
Elementary functions: towards automatically generated, efficient, and vectorizable implementations. (Fonctions élémentaires: vers des implémentations vectorisables, efficaces, et automatiquement générées)
Précision de modèle et efficacité algorithmique : exemples du traitement de l'occultation en stéréovision binoculaire et de l'accélération de deux algorithmes en optimisation convexe. (Model accuracy and algorithmic efficiency : examples of occlusion handling in binocular stereovision and the acceleration of two convex optimization algorithms)
Expander graphs and applications to information theoretic cryptography. (Graphes expanseurs et applications à la cryptographie en théorie de l'information)
Characterizing community detection algorithms and detected modules in large-scale complex networks. (Évaluation de structures de communautés)
Découverte et caractérisation des corpus comparables spécialisés. (Characterization and Compilation of Specialized Comparable Corpora)
Exploiting Network Diversity. (Exploitation de la diversité des réseaux)
Un exemple d'utilisation du calcul formel sur ordinateur : méthode générale de localisation des racines d'une équation algébrique à coefficients complexes
Modeling the correlation between the energy consumption and the end-to-end traffic of services in large telecommunication networks. (Modélisation de la corrélation entre la consommation énergétique et le trafic bout-en-bout des services dans les grands réseaux de télécommunication)
Détection d'agrégats spatiaux dans le cas d'une variable continue : application à un indicateur de l'infection mammaire chez les bovins
Contributions à l'estimation du coefficient de Hurst et son usage sur des biosignaux dans le domaine du crew monitoring. (Contribution to the estimation of the Hurst coefficient and applications on biosignals in crew monitoring)
Analyse de la pollution atmosphérique aux échelles locale et régionale. Modélisation spatiale et temporelle à l'aide d'une méthode de scénarii épisodiques. (Air pollution studies on local and regional scales. Space and temporal modeling using a method of episodical scenarii)
Unsupervised domain adaptation approaches for person localization in the operating rooms. (Approches d'adaptation de domaine non supervisées pour la localisation de personnes dans la salle d'opération)
Développement de méthodes de traitement de signaux spectroscopiques : estimation de la ligne de base et du spectre de raies. (Development of methods for spectroscopic signal processing : baseline and spectral peaks estimation)
Une approche de retour d'expérience basée sur l'analyse multicritère et l'extraction de connaissances : Application au domaine humanitaire. (A lessons learned approach based on multiple criteria analysis and knowledge discovery : Application to the humanitarian domain)
Ingénierie des Matériaux et des Microgénérateurs Thermoélectriques
Métrologie dans les réseaux Peer-To-Peer. (Metrology of p2p Networks)
Stochastic optimization for large-scale machine learning: variance reduction and acceleration. (Optimisation stochastique pour l'apprentissage machine à grande échelle: réduction de la variance et accélération)
Relationship discovery in social networks. (Découverte des relations dans les réseaux sociaux)
Network layer optimization for next generation heterogeneous networks. (Optimisation au niveau réseau dans le cadre des réseaux hétérogènes nouvelle génération)
Contribution à l'étude de la réduction formelle des systèmes différentiels méromorphes linéaires. (Contribution to formal reduction study of linear meromorphic differential systems)
Automated tumor segmentation in multimodal PET / CT / MR imaging. (Segmentation automatique de tumeurs en imagerie multimodale TEP / TDM / IRM)
Problème de décidabilité et d'effectivité en théorie de complexité
Créatures Artificielles : Développement d'Organismes à partir d'une Cellule Unique. (Artificial creatures: Organism development starting from a single cell)
Contribution à la gestion et à la conduite des systèmes manufacturiers par les objets nomades de production. (Contribution to management and control of manufacturing systems by the nomadic objects concept)
Framework for testing the robustness of machine learning-based software components. (Cadre pour le test de la robustesse des composants logiciels à base d'apprentissage automatique)
Algorithmic of curves in the context of bilinear and post-quantum cryptography. (Algorithmique des courbes destinées au contexte de la cryptographie bilinéaire et post-quantique)
Nanoparticules d'oxyde de fer pour l'amélioration du traitement du glioblastome : étude de leur efficacité sous irradiation synchrotron et optimisation de leur mode d'administration. (Iron oxide nanoparticles for the improvement of glioblastoma treatment)
Maillage 3D de structures anatomiques pour la simulation électromagnétique et thermique. (3D Mesh Generation of Anatomical Structures for Electromagnetic and Thermal Simulations)
Dimensional Measurement of Metallic Object by 3D Vision. (Mesure dimensionnelle d'objets métalliques par vision 3D)
Quantitative verification and runtime techniques for industrial automation systems. (Techniques de vérification quantitative et d'exécution pour les systèmes d'automatisation industrielle)
Data structuring of a digital twin to reconcile real and simulated models - Case study : Energy model of a building. (Structuration de données d'un Jumeau numérique pour réconcilier les modèles réels et simulés - Cas d'étude : Modèle Energétique d'un bâtiment)
Risk Assesment and Intrusion Detection for Airborne Networks. (Analyse De Risque Et Detection D'intrusions Pour Les Reseaux Avioniques)
Méthodes géométriques pour l'étude des systèmes thermodynamiques et la génération d'équations d'état. (Geometrical methods for thermodynamical systems studying and generating equations of state)
Vers un modèle multiphases et multicomposants (MPMC) de type Lattice Boltzmann Method (LBM) pour la simulation dynamique d'un fluide cyogénique dans l'eau. (Towards a LBM MPMC model for dynamic simulation of a cryogenic fluid in water)
Modélisation Computationnelle des Processus de Résilience Sociale. (Computational Modeling of Social Resilience Processes)
Une approche statistique multi-échelle au recalage rigide de surfaces : Application à l'implantologie dentaire
Keyword Search and Summarization Approaches for RDF Dataset Exploration. (Exploration de sources de données RDF)
Localization and mapping based on laser rangefinder and vision coupling for the autonomous navigation of a mobile robot. (Localisation et cartographie basées sur le couplage Télémètre Laser et Vision pour la navigation autonome d'un robot mobile)
Acoustique longue portée pour transmission et localisation de signaux. (Long-range acoustics for the transmission and localization of signals)
Déchiffrement de l'activité des séquences cis-régulatrices chez la Drosophile basé sur la localisation des facteurs de transcription et la caractérisation de l'état de la chromatine. (Deciphering enhancer activity in Drosophila based on transcription factor occupancy and chromatin state chromatin state characterization)
Modèle d'estimation de l'imprécision des mesures géométriques de données géographiques. (A model to estimate the imprecision of geometric measurements computed from geographic data)
Machine Learning approaches in Predictive Medicine using Electronic Health Records data. (Approches d'apprentissage automatique en médecine prédictive à l'aide des données des dossiers médicaux électroniques)
Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectée. (Semantic approach to design connected services : architecture, composition algorithm, smart home application)
Potentiel des séries temporelles d'images satellites multispectrales pour la caractérisation et le suivi dynamique d'une culture : application à la vigne à l'échelle régionale. (Potential of multispectral satellite image time series for the characterisation and dynamic monitoring of a crop : application to vines on a regional scale)
Robust control of planar cable robot with considering the flexibility of cables. (Commande robuste de robots plans à câbles en tenant compte des déformations des câbles)
Préparation, Caractérisation et Activation Electrochimique de Nouveaux Complexes Métallo-Cyclodextrines. (Preparation, characterization and electrochemical activation of new metallo-capped-cyclodextrin complexes)
Vérication des EFFBDs : Model checking en Ingénierie Système. (EFFBDs Verication: Model checking in Systems Engineering)
Contributions to arithmetic complexity and compression. (Contributions à la complexité arithmétique et à la compression)
De l'extraction des connaissances à la recommandation. (From knowledge extraction to recommender system)
New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT)
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore)
Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems. (Modélisation, analyse et éxécution de graphes audio dans les systèmes interactifs multimédia)
Photorealistic Surface Rendering with Microfacet Theory. (Rendu photoréaliste de surfaces avec la théorie des microfacettes )
Extraction 3-D de structures industrielles sur des images RAMSES haute résolution par radargrammétrie. (3-D extraction of industrial structures from high-resolution RAMSES images by radargrammetry)
Conception et réalisation d'un processeur pour une architecture cellulaire massivement parallèle intégrée. (VLSI design and implementation of a processor for an integrated massivelly parallel cellular architecture)
Beyond risk scores: context-aware adaptive authentication. (Au-delà des scores de risque: authentification adaptative tenant compte du contexte)
Représentations dynamiques de l'espace dans un langage déclaratif de simulation. (Dynamical representation of spaces in a declarative simulation language)
Machine Learning for Predictive Maintenance in Aviation. (Apprentissage Automatique pour la Maintenance Predictive dans le Domaine de l'Aviation)
Energy-efficiency and coverage quality management for wireless sensor networks. (Gestion de l'efficacité énergétique et de la qualité de la couverture pour les réseaux de capteurs sans fil)
ModéLisation GénéRique de Documents MultiméDIA par des MéTadonnées : MéCanismes d'annotation et d'interrogation
Caractérisation automatique d'organisations cellulaires dans des mosaïques d'images microscopiques de bois. Application à l'identification des files cellulaires. (Automatic characterization of the cell organization in light microscopic images of wood. Application to the identification of the cell file)
On reliability and flexibility of scientific software in environmental science: towards a systematic approach to support decision-making. (Agir sur la fiabilité et la flexibilité des logiciels scientifiques en sciences de l'environnement: vers une approche systématique d'aide à la prise de décision)
Securing network slices in 5th generation mobile networks. (Sécurisation du slicing dans les réseaux mobiles de 5ème génération)
An approach for Self-healing Transactional Composite Services. (Une approche auto-corrective pour des services composites transactionnels)
Régression linéaire généralisée sur composantes supervisées pour la modélisation jointe des réponses. (Supervised component-based generalized linear regression for the joint response modeling)
De l'intérêt de l'analyse des comptes rendus d'appels téléphoniques pour mieux suivre l'état de santé de la personne âgée. Applications à la dépression et aux rythmes circadiens dans le cadre du phénotype digital téléphonique en santé mobile. (The value of analyzing telephone call detail records to better monitor the health status of the elderly person. Applications to depression and circadian rhythms in the context of phenotype digital in mobile health)
Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement. (Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems)
Gestion des ressources humaines en production cyclique. (Human resources management in cyclic production)
Concept de radars novateurs pour la vision à travers les milieux opaques. (Innovative radar concept for through-the-wall applications)
Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire. (Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation)
Contributions of context-aided multi-modal perception systems for detection and tracking of moving objects. (Etude et quantification de la contribution des systèmes de perception multimodale assistés par des informations de contexte pour la détection et le suivi d'objets dynamiques)
Séparation aveugle de sources dans les systèmes de communication MIMO. (Blind source separation in MIMO communication systems)
Bayesian statistical methods for joint user activity detection, channel estimation, and data decoding in dynamic wireless networks. (Méthodes statistiques bayésiennes pour la détection conjointe des activités des utilisateurs, l'estimation des canaux et le décodage des données dans les réseaux sans fil dynamiques)
Decentralized environment and communication protocol for grid-intensive computing. (Environnement décentralisé et protocole de communication pour le calcul intensif sur grille)
Applications of stochastic geometry in the modeling and analysis of wireless networks. (Applications de la géométrie stochastique pour l'analyse et la modélisation des réseaux sans fil)
Fonctions latticielles polynomiales pour l'interpolation et la classification monotone. (Lattice polynomial functions for interpolation and monotonic classification)
Méthode de sélection intentionnelle des services, en fonction des exigences non-fonctionnelles des agents métier. (Intentional selection of services according to non-functional requirements of business agents)
Simultaneous acquisition of geometry and reflectance. (L'acquisition simultanée de la géométrie et de la réflectance)
Athapascan-0b : intégration efficace et portable de multiprogrammation légère et de communications. (Athapascan-0b: efficient and portable integration of communications and multithreading)
Système et réseaux informatiques : fonctions frontales dans un environnement reparti bati sur un réseau
Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués. (Integrating Formal Verification Techniques into Software Development Process for Embedded Systems)
Game-theoretical approach for the study of Blockchain's Robustness. (Approche Théorie des jeux pour l'Étude de la Robustesse des Blockchains Game-theoretical approach for the study of Blockchain's Robustness)
Ordonnancement sous perturbations: cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques. (Scheduling under perturbations: Study framework and robustness evaluation approach based on stochastic automata)
Nouveaux paradigmes de contrôle de congestion dans un réseau d'opérateur. (New paradigms for congestion control in an operator's network)
Distributed algorithms in autonomous and heterogeneous networks. (Algorithmes distribués dans les réseaux hétérogènes et autonomes)
Behavioral Application-dependent Superscalar Core Modeling (Modélisation comportementale dépend de l'application pour cœurs superscalairesBehavioral Application-dependent superscolor core modeling)
Micro-Data Reinforcement Learning for Adaptive Robots. (Apprentissage micro-data pour l'adaptation en robotique)
Visual Graph Modeling and Retrieval: A Language Model Approach for Scene Recognition. (Modélisation et recherche de graphes visuels : une approche par modèles de langue pour la reconnaissance de scènes)
Conception d'une architecture journalisée tolérante aux fautes pour un processeur à pile de données. (Design of a fault-tolerant journalized architecture for a stack processor)
Tensor Array Processing. (Traitement d'antenne tensoriel)
Efficient representation for measured reflectance : modelisation and edition. (Représentations efficaces pour les réflectances mesurées : modélisation et édition)
Modélisation des déplacements d'animaux dans un espace géographique - analyse et simulation. (Modelling animal movements in geographical space - analyses and simulation)
Détection de changement de comportement de vie chez la personne âgée par images de profondeur. (Detection of life behavior change in the elderly by depth images)
Pruning random structures. (Élagage des structures aléatoires)
Logical foundations of games with imperfect information : uniform strategies. (Fondations logiques des jeux à information imparfaite : stratégies uniformes)
Diffusion-Wasserstein Distances for Attributed Graphs. (Distances de Diffusion-Wasserstein pour les graphes attribués)
Modelling and Numerical Simulation of the multi-scale kinetic electron transport. (Modélisation et Simulation Numérique multi-échelle du transport cinétique électronique)
Introduction des technologies de multiplexage en longueur d'onde dense dans les futures générations de réseaux d'accès optique. (Dense wavelength division multiplexing technologies introduction in futures optical access networks generations)
Rejeu basé sur des règles de transformation de graphes. (Reevaluation based on graph transformation rules)
Modélisation du flux de patients aux urgences liés aux maladies respiratoires par analyse géométrique de séries temporelles. (Modeling emergency room patient flow related to respiratory diseases by geometric time series analysis)
Développement d'un modèle de radiosité mixte pour simuler la distribution du rayonnement dans les couverts végétaux. (Development of a radiosity model to simulate spatial distribution of light inside plant canopies)
Méthode de calcul de certains écoulements
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. (Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.)
Analyses et preuves formelles d'algorithmes distribués probabilistes. (Analyses and Formal Proofs of Randomised Distributed Algorithms)
Une méthode de sélection de tests à partir de spécifications algébriques. (A specification-based testing method of selection)
Détection, localisation et typage de texte dans des images de documents hétérogènes par Réseaux de Neurones Profonds. (Detection, localization and typing of text in images of heterogeneous documents by Deep Neural Networks)
Learning causal graphs from continuous or mixed datasets of biological or clinical interest. (Apprentissage de graphes causaux à partir de données continues ou mixtes d'intérêt biologique ou clinique)
Sécurité de la gestion dynamique des ressources basée sur la prise en compte des profils de consommation en ressources des machines virtuelles, dans un cloud IaaS. (Resource consumption profile-based attack detection in IaaS clouds)
Formalisation du comportement des objets gérés dans le cadre du modele OSI. (Formal description of managed object behaviour in the osi management framework)
Decision-making algorithms for autonomous robots. (Algorithmes de prise de décision stratégique pour robots autonomes)
Contrôle acoustique actif du bruit dans une cavité fermée. (Active acoustic noise control in a closed cavity)
Atmospheric pollutant dispersion estimation at the scale of the neighborhood using sensors, numerical and deep learning models. (Estimation de la dispersion des polluants atmosphériques à l'échelle du quartier à l'aide de capteurs, des modèles numériques et d'apprentissage profond)
Contribution à la modélisation de l'interface homme-machine dans un système de C.A.O. (Contribution interface modeling man-machine in a C.A.D. system)
Etude comparative des principaux langages de programmation. (Comparative study of the major programming languages)
Decoupled approaches to register and software controlled memory allocations. (Approches découplées aux problèmes d'allocations de registres et de mémoires locales)
Algorithmique et géométrie discrète pour la caractérisation des courbes et des surfaces. (Algorithmic and digital geometry for curve and surface characterization)
Solutions opérationnelles d'une transaction électronique sécurisée et respectueuse de la vie privée. (Operational solutions for secure electronic transactions ensuring the privacy.)
Conception et réalisation d'un protocole de diffusion fiable pour réseaux locaux. (Design and implementation of a reliable multicast protocol for local area networks)
Enriching large language models with semantic lexicons and analogies. (Enrichir des modèles de langue de grande taille avec des lexiques sémantiques et des analogies)
Autonomie, sécurité et QoS de bout en bout dans un environnement de Cloud Computing. (Security, QoS and self-management within an end-to-end Cloud Computing environment)
A Modular Approach to Compare Optimization Methods for Bike Sharing Systems. (Une approche modulaire pour la comparaison des méthodes d'optimisation des systèmes de vélos en libre-service)
Navigation visuelle pour les missions autonomes des petits drones. (Visual autonomous navigation for small unmanned aerial vehicles)
Algèbre matricielle rapide en calcul formel et calcul numérique. (Fast algorithms for structured matrices in computer algebra and numerical linear algebra)
MAC protocols design and a cross-layered QoS framework for next generation wireless networks. (Conception de protocoles de la couche MAC et modélisation des réseaux hétérogènes de nouvelle génération)
Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre
Security and Efficiency of Delegated Quantum Computing. (Sécurité et efficacité du calcul quantique délégué)
Simulation multi-agents de marchés financiers
Scheduling and Dynamic Management of Applications over Grids