yusuke1997/dblp-id-title huggingface dataset:
Unification des mémoires réparties dans les systèmes hétérogènes. (Unifying Distributed Memories in Heterogeneous Systems)
Impact-defined climate targets: estimating ensembles of pathways of compatible anthropogenic drivers through inversion of the cause-effect chain. (Objectifs climatiques définis en termes d'impacts: obtention de faisceaux de trajectoires d'activités anthropiques compatibles par inversion de la chaine causale)
Real-Time Sensor Management Strategies for Multi-Object Tracking. (Détermination et implémentation temps-réel de stratégies de gestion de capteurs pour le pistage multi-cibles)
Intégration du model-based testing dans un processus de développement logiciel. (Model based testing integration in a software development process)
Proposition d'une aide logicielle pour la saisie d'information en situation dégradée : application à des utilisateurs IMC athétosiques dans des contextes liés au transport et aux activités journalières. (Proposal of a software support for information entry in degraded situations : application for users with Cerebral Palsy athetosis in transport and daily activities)
Distributed coding and computing for networks. (Codage et traitements distribués pour les réseaux de communication)
Constitution d'une base de références phonétiques pour la reconnaissance de mots isolés pour un système multi-locuteurs. (Establishing of a phonetic reference base for isolated word recognition for a multi-speaker system)
Data Mining : une approche par les graphes. (Data Mining : using a graph approach)
Méthodes avancées de séparation de sources applicables aux mélanges linéaires-quadratiques. (Advanced methods of source separation applicable to linear-quadratic mixtures)
Performances des protocoles de transport dans les constellations de satellites. (Performance of Transport Protocols in Satellite Constellations)
Contributions to SAT Solving. (Contributions à la résolution des problèmes SAT)
Mise en place de la reconnaissance acoustique mère-jeune et identification des caractéristiques de la signature vocale individuelle chez les ovins. (Establishment of mother-young acoustic recognition and identification of the characteristics of the individual vocal signature in sheep)
Développement de nouvelles méthodes algorithmiques pour le traitement des UMI à partir des données de séquençage haut débit. (Development of new methods and algorithms for the processing of UMI in high throughput sequencing data)
Deep learning for information retrieval : studying relevant signals for ad hoc search based on transformer models. (Deep Learning pour la recherche d'information : étudier les signaux pertinents pour la recherche ad hoc basée sur les modèles de transformers)
Machine learning-based flight trajectories prediction and air traffic conflict resolution advisory. (Prédiction de trajectoire et avis de résolution de conflits de trafic aérien basée sur l'apprentissage automatique)
théories complètes autour des arbres
Study of consensus protocols for blockchain technologies and quantum cryptanalysis of Misty schemes. (Etude de protocoles de consensus pour les technologies blockchain et cryptanalyse quantique des schémas de Misty)
High-Level soc modeling and performance estimation applied to a multi-core implementation of LTE enodeb physical layer. (Modélisation de haut niveau d'abstraction de systèmes intégrés et estimation de performances. Application à une implémentation multi-processeurs de la couche physique d'une station de base LTE)
Problèmes de segmentation d'images et contribution à la morphologie mathématique. (Image segmentation problems and contribution to mathematical morphology)
Qualité de Service Temporelle pour Composants Logiciels
Trajectory planning and tracking for autonomous vehicles navigation. (Planification et suivi de trajectoires pour la navigation des véhicules autonomes)
Indexation pour la recherche par le contenu textuel de flux RSS. (Indexing by content in RSS systems.)
Spatial modelling of community effects. (Modélisation spatiale des effets de communauté)
Automated Collation and Digital Editions: from Theory to Practice. (Collation automatique et éditions numériques: de la théorie à la pratique)
Communications dans les réseaux fortement dynamiques. (Communication in highly dynamic networks)
Design of a Wireless Underground Sensor Network for Precision Agriculture. (Conception d'un réseau de capteurs souterrains sans fil pour l'agriculture de précision)
Validation formelle d'implantation de patrons de sécurité. (Formal Validation of Security Patterns Implementation)
Extraction and normalization of simple and structured entities in medical documents. (Extraction et normalisation d'entités simples et structurées dans les documents médicaux)
Étude des erreurs dans le fonctionnement d'un analyseur différentiel digital
Estimation des autocovariances et des autocorrélations échantillonnales de modèles saisonniers. (Schätzung der Stichprobenautokovarianzen und Autokorrelationen für saisonale Modelle / Estimation of sample autocovariances and autocorrelations for seasonal models)
Predictive analysis of time series in various application contexts. (Analyse de flux par des techniques de séries temporelles)
Un système Prolog parallèle pour machines à mémoire distribuée. (A parallel prolog system for distributed memory multiprocessor)
Ingénierie des exigences pour les systèmes auto-adaptatifs devant le jury ci-dessous
Placement de caméra en environnements virtuels. (Virtual camera control)
Modélisation vectorielle de l'éclairement global en lancer de rayons
Feuilletage isopériodique de l'espace de modules des surfaces de translation. (Isoperiodic foliation on moduli space of translation surfaces)
Linking and Mining Event-centric Data in the Semantic Web. (Alignement et Fouille de Données Événementielles dans le Web Sémantique)
Improving software development life cycle using data-driven approaches. (Amélioration du cycle de développement logiciel via des approches basées sur les données)
Réseaux dynamiques de terrain : caractérisation et propriétés de diffusion en milieu hospitalier. (Real Dynamic Networks : Characterisation and Diffusion Properties in Hospital Contexts)
Trapdoors in lattice-based cryptography : applications and implementation. (Trappes en cryptographie basée sur les réseaux euclidiens : applications et implémentation)
Développement d'une méthodologie de couplage multimodèles avec changements de dimension. Validation sur un cas-test réaliste. (Methodological development for model coupling with dimension heterogeneity. Validation on a realistic test-case)
Anisotropic mesh adaptation for high-fidelity RANS simulations in aeronautics. (Adaptation de maillage anisotrope pour des simulations RANS à haute fidélité : applications à l'aéronautique)
Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Reliability of changes in cloud environment at PaaS level. (Fiabilisation du change dans le Cloud au niveau Platform as a Service)
Machine learning and domain adaptation for enhancing the measure of brain health with MEG and EEG signals. (Apprentissage statistique et adaptation de domaine pour l'amélioration de la mesure de la santé cérébrale à partir de signaux MEG et EEG)
Specification Platform for Library IP Development. (Plateforme de spécification pour le développement de bibliothèques de cellules et d'IPs)
Interactive computer vision through the Web. (Vision par ordinateur interactive sur le Web)
Optimization by Simulation of an Environmental Surveillance Network : application to the Fight against Rice Pests in the Mekong Delta (Vietnam). (Optimisation par simulation de réseaux de surveillance environnementale : application à la lutte contre les insectes ravageurs du riz dans le delta du Mekong (Vietnam))
Le logarithme discret dans les corps finis. (Discrete logarithm in finite fields)
Étude, proposition et validation d'une méthode de complétion utilisant les modèles d'apparition des valeurs manquantes. (A Missing values completion method based on their appearing models)
Explications en aide multicritère à la décision : schémas déductifs, algorithmes et expérimentations. (Explanations in multicriteria decision aiding : deductive schemes, algorithms and experiments)
Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération. (Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation)
Phylodynamique des virus évoluant rapidement: approches par calcul bayésien approché et par vraisemblance. (Rapidly evolving viruses phylodynamics: approximate bayesian computation and likelihood-based aproaches)
Fast simulation of wind-obstacle interactions. Applications to desertscape modeling and car design. (Simulation rapide d'interactions vent-obstacle. Application à la modélisation de paysages désertiqueset à la conception de voiture)
A complementary approach for testing system robustness based on passive testing and fault injection techniques. (Une approche complémentaire de test de robustesse basée sur l'injection de fautes et le test passif)
Simulation de changements d'apparence via hydrodynamique des particules lissées. (Simulating changes in appearence using smooth particle hydrodynamics)
Structuration des génomes par sélection indirecte de la variabilité mutationnelle : une approche de modélisation et de simulation. (Evolution of genome structure by indirect selection of the mutational variability: a computational approach)
Étude et résolution exacte de problèmes de transport à la demande avec qualité de service. (Optimization of quality of service for on-demand transportation problems)
Learning-driven optimization approaches for combinatorial search problems. (Approches de résolution renforcées par des méthodes d'apprentissage en optimisation combinatoire)
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems. (Arbitrage mémoire dynamique non-oisif basé sur TDM pour des systèmes multi-criticité temps réel)
Amélioration des métaheuristiques d'optimisation à l'aide de l'analyse de sensibilité. (Improvement of optimization metaheuristics with sensitivity analysis)
Le problème de job-shop avec transport : modélisation et optimisation. (Job-shop with transport : its modelling and optimisation)
Les fourmis et les machines: interfacer systèmes vivants et systèmes artificiels. (Ants and machines: interfacing living systems and artificial systems)
Decentralised congestion control mechanisms for autonomous vehicles using distributed constraints optimisation. (Mécanismes de régulation décentralisés pour les véhicules autonomes fondés sur l'optimisation sous contraintes distribuée)
Structuring 3D Geometry based on Symmetry and Instancing Information
Optimization of Skyline queries in dynamic contexts. (Optimisation des requêtes de préférence skyline dans des contextes dynamiques)
Un système multi-agents pour la gestion des connaissances hétérogènes et distribuées. (Multi-agents system for heterogeneous and distributed knowledge management)
Champs aléatoires de renouvellement. (Renewal random field)
Efficient route planning for dynamic and multimodal transportation networks. (Planification efficace d'itinéraires pour réseaux de transports dynamiques et multimodaux)
Architectures matérielles pour filtres morphologiques avec des grandes éléments structurants. (Hardware architectures for morphological filters with large structuring elements)
Cloud data storage security based on cryptographic mechanisms. (La sécurité des données stockées dans un environnement cloud, basée sur des mécanismes cryptographiques)
Etudes sur le lancer de rayons spectral. (Spectral ray tracing studies)
Unsupervised Pretraining of State Representations in a Rewardless Environment. (Pré-entraînement non Supervisé de Représentations d'État dans un Environnement sans Récompense)
Learning domain invariant representations of heterogeneous image data. (Apprentissage de représentations invariantes de domaines pour des données d'images hétérogènes)
Embedding security policies into pervasive computing systems. (Intégration de politiques de sécurité dans les systèmes ubiquitaires)
Representation learning and forecasting for inter-related time series. (Apprentissage de représentations et prédiction pour des séries-temporelles inter-dépendantes)
Artificial intelligence and fusion plasma control : application to the WEST tokamak. (Intelligence artificielle et contrôle des plasmas de fusion : application au tokamak WEST)
Sur une classe d'équations à double non linéarité : application à la simulation numérique d'un écoulement visqueux compressible. (On a class of doubly nonlinear equations : application to the numerical simulation of a visquous and compressible flow)
Modélisation et structuration des connaissances dans les processus de télémédecine dédiés aéronautique. (Knowledge Modeling in Telemedicine Processes for In-flight Medical Incident Management)
LAIOS : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle
Unsupervised vision methods based on image perceptual information. (Méthodes de vision non supervisée basées sur les informations de perception de l'image)
Conception de parties contrôles de circuits VLSI : application au coprocesseur arithmétique FELIN. (Control part design : application to FELIN arithmetic coprocesso)
Exploring Computing Continuum in IoT Systems : sensing, communicating and processing at the Network Edge. (Explorer le computing continuum dans l'internet des objets : détection, communication et traitement dans le Network Edge)
Gestion du cycle de vie des études multimodales de recherche biomédicale préclinique pour le partage et la réutilisation des données hétérogènes. (Lifecycle management of biomedical research studies for heterogeneous data sharing and reuse in multimodal preclinical research)
Sparse Bayesian learning, beamforming techniques and asymptotic analysis for massive MIMO. (Apprentissage Bayésien Parcimonieux, Techniques de Précodage Multi-Antenne et Analyse Asymptotique de Systèmes MIMO Massifs)
Segmentation et classification des images satellitaires : application à la détection des zones d'upwelling côtier marocain et mise en place d'un logiciel de suivi spatiotemporel . (Segmentation and classification of satellite images: application to moroccan coastal upwelling detection and monitoring)
A surrogate model of elastic wave propagation to quantify uncertainties in seismic hazard analysis. (Un méta-modèle de la propagation des ondes élastiques pour quantifier les incertitudes liées à l'aléa sismique)
MICO : La notion de construction située pour un modèle d'interprétation et de traitement de la référence pour le dialogue finalisé. (MICO: the Notion of Situated Construction for Interpretation in Practical Dialogue and for Concrete Reference Resolution)
Modeling of human movement for the generation of humanoid robot motion. (Modélisation du mouvement humain pour la génération de mouvements de robots humanoïdes)
Combining EEG and FMRI for Neurofeedback. (Combinaison de l'électro-encéphalographie et de l'imagerie par résonance magnétique fonctionnelle pour le neurofeedback)
Étude d'inhibiteurs de l'intégrase du VIH-1 par RMN et modélisation moléculaire : Développement et validation d'un outil de criblage virtuel. (HIV-1 integrase inhibitors study by NMR and molecular modeling)
Managing heterogeneous cues in social contexts: A holistic approach for social interactions analysis. (Gérer des Descripteurs Hétérogènes dans des Contextes Sociaux: Une Approche Holistique pour l'Analyse des Interactions Sociales)
Runtime safety monitoring of ML-based perception functions in autonomous systems. (Développement d'un cadre générique pour surveiller et gérer la sécurité des systèmes autonomes pendant l'exécution)
Développement d'un système de mesure directe du débit d'émission de sources neutroniques. (Development of a direct measurement system for the standardization of neutron emission rates)
Adaptive Operator Selection for Optimization. (Selection Adaptative d'Operateurs pour l'Optimisation)
Localisation de robots mobiles en coopération mutuelle par observation d'état distribuée. (Localization of mobile robots in mutual cooperation by observing distributed state)
Variations on the Mumford-Shah functional for interface detection in degraded images : from proximal algorithms to unrolled architectures. (Variations sur la fonctionnelle de Mumford-Shah pour la détection d'interfaces dans des images dégradées : des algorithmes proximaux aux architectures déroulées)
Détection de situations à risques pour des personnes fragiles sur des données multimodales. (Detection of Risky Situations for Fragile People using Multimodal Data)
Zonoèdres : de la géométrie algorithmique à la théorie de la séparation. (Zonohedra : from computational geometry to separation theory)
De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux. (On the use of switched Ethernet embedded in space launchers)
Combinaison d'approches expérimentales et bioinformatiques pour caractériser les intéractions entre Plasmodium falciparum et son hôte humain. (Combination of experimental approaches and bioinformatics to characterize the interactions between Plasmodium falciparum and its human host)
Filtrage anisotrope robuste régi par propagation de fronts : vers une segmentation automatique de volumes IRM. (Robust Anisotropic Filtering Governed by Fronts Propagation: Towards an Automatic Segmentation of MRI Volumes)
Développement d'un "kinésithérapeute embarqué" dans le but d'améliorer le traitement de la scoliose. (Development of an "embedded physiotherapist" for improving scoliosis treatment)
Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B
Algorithmes de routage dans les réseaux mobile ad hoc tactique à grande échelle. (Routing algorithms in large-scale tactical mobile ad hoc networks)
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints. (Allocation de registres découplée (basée sur la formulation SSA) : De la théorie à la pratique, faire face aux contraintes liées à la compilation juste à temps et aux processeurs embarqués)
Multivariate group analyses for functional neuroimaging: conceptual and experimental advances. (Analyses de groupe multivariées pour la neuroimagerie fonctionnelle avancées conceptuelles et expérimentales)
IsiSPL: un processus automatisé pour faciliter l'ingénierie des lignes de produits logiciels selon une stratégie d'adoption industrielle réactive ou extractive. (IsiSPL: an automated process to facilitate the engineering of software product lines according to a reactive or extractive industrial adoption strategy)
Reducing hardware TCB in favor of certifiable virtual machine monitor. (Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifié)
Reconstruction of piecewise constant images via total variation regularization: exact support recovery and grid-free numerical methods. (Régularisation par la variation totale pour la reconstruction d'images constantes par morceaux : identification du support et méthodes numériques sans grille)
Emergence of Oriented Circuits driven by Synaptic Pruning associated with Spike-Timing-Dependent Plasticity (STDP). (Emergence de circuits neuromimétiques orientés sous l'effet de l'épissage associé à la plasticité synaptique à modulation temporelle relative (STDP))
Couplage entre modélisation opto-physique des scènes de végétation complexes et chimiométrie : application au phénotypage par imagerie hyperspectrale de proximité. (Coupling between opto-physical modeling of complex vegetation scenes and chemometry : application to phenotyping by short range hyperspectral imaging)
Goal-Driven Agents for the Tolerance of Unforeseen Faults : A Safety Net for the Programmers. (Agents Dirigés par des Buts pour la Tolérance aux Fautes Imprévues / Agents Dirigés par des Buts pour la Tolérance aux Fautes Imprévues : Un Filet de Sécurité pour les Programmeurs)
Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information)
Analyse des micro-Doppler de cibles mobiles déformables en imagerie radar. (Micro-Doppler analysis of non-stationary moving targets in radar imaging)
Procédés de régularisation de problèmes d'optimisation et de mini-max
Strate'gies nume'riques avance'es pour la simulation de modèles de'finis sur des ge'ome'tries de plaques et coques : solutions 3D avec une complexite' 2D. (Advanced simulation of models defined in plate and shell geometries: 3D solutions with 2D computational complexity)
Utilisation de méthodes de l'astrogéodésie et de la géodésie spatiale pour des études de déformations de l'écorce terrestre : représentations de déformations et de leur degré de signification par des tenseurs régulièrement répartis. (Using the Space geodesy for crustal deformation studies : representation of deformations and their significance level by mapping a strain tensor field)
Autonomic Process Management for Industry 4.0. (Gestion des processus autonomiques pour l'Industrie 4.0)
Static and dynamic stiffness analysis of cable-driven parallel robots. (Analyse des raideurs statique et dynamique des robots parallèles à câbles)
Modélisation géométrique et dynamique d'un geste chirurgical
Inférence de requêtes régulières dans les arbres et applications à l'extraction d'information sur le Web
Modélisation, conception et commande de robots manipulateurs flexibles. Application au lancement et à la récupération de drones à voilure fixe depuis un navire faisant route. (Modeling, design and control of flexible robot manipulators - Applied to UAV launch and recovery from a moving ship)
L'ambiguïté anaphorique et la résolution automatique de l'anaphore pronominale: Propositions méthodologiques à partir d'un corpus fermé de résumés d'œuvres littéraires en français (RESUMAN). (Anaphoric ambiguity and automatic resolution of the pronominal anaphora: Methodological Proposals from a closed body of abstracts of literary works in french (RESUMAN))
Analyse des systèmes bactériens: une approche in silico pour intégrer les connaissances du vivant. (Analysis of bacterial systems : an in silico approach to integrate life knowledge)
Développement d'outils statistiques pour l'analyse de données transcriptomiques par les réseaux de co-expression de gènes. (A systemic approach to statistical analysis to transcriptomic data through co-expression network analysis)
Simulations numériques méso- et micro-échelles des circulations locales générées par des îles tropicales : cas de l'archipel de la Guadeloupe avec une application à la dispersion de polluants (WRF-LES-FLEXPART). (Meso-scale and micro-scale numerical simulations of local circulations induced by tropical islands : Case of the Guadeloupe archipelago with a pollutants dispersion case (WRF-LES-FLEXPART))
Régression linéaire-circulaire multiple: Application au positionnement différentiel. (Multiple linear-circular regression: Application to differential positioning)
Bio-inspired waveforms and processing. (Formes d'onde et traitements bio-inspirés)
Fingerprinting based Localization of Mobile Terminals. (Localisation de Terminaux Mobiles par Exploitation d'Empreintes)
Sur les aspects computationnels du vote par approbation. (Computational Aspects of Approval Voting)
Méthode automatique d'annotations sémantiques et indexation de documents textuels pour l'extraction d'objets pédagogiques. (Automatic method of semantic annotations and indexing of textual documents for the extraction of educational objects)
r-Pomset pour la modélisation et la vérification de systèmes parallèles. (r-Pomset for modelling and verifying parallel systems)
Knowledge Discovery for Avionics Maintenance : An Unsupervised Concept Learning Approach. (Découverte de connaissances pour la maintenance avionique : une approche d'apprentissage de concepts non supervisée)