yusuke1997/dblp-id-title huggingface dataset:
Enabling Energy Efficient Smart Object Networking at Internet-Scale : Experimental Tools, Software Platform, and Information-Centric Networking Protocols. (Internet des Objets : Bases Logicielles et Protocoles Réseaux pour unDéploiement Universel Efficace en Energie)
Autonomous and robust time scale algorithm for a swarm of nanosatellites. (Algorithme d'échelle de temps autonome et robuste pour un essaim de nanosatellites)
Reconstruction de scène dynamique à partir de plusieurs vidéos mono et multiscopiques par hybridation de méthodes « silhouettes » et« multi-stéréovision ». (3D Scene Reconstruction by Silhouette and Multi-Baseline Stereovision)
Probabilistic Approaches for the Digital Restoration of Television Archives. (Approches probabilistes appliquées à la restauration numérique d'archives télévisées)
Vérification Statique de Programmes Répartis. (Static Verification of distributed programs)
Fault-tolerant manipulation of quantum information with LDPC stabilizer codes. (Manipulation résiliente aux erreurs de l'information quantique avec des codes stabilisateurs LDPC)
Segmentation 3D des organes à risque du tronc masculin à partir d'images anatomiques TDM et IRM à l'aide de méthodes hybrides. (3D segmentation of organs at risk of the male trunk from anatomical TDM and MRI images by means of hybrid methods)
Intraventricular Vector Flow Mapping by Color Doppler using Physics-based Neural Networks. (Écoulement intraventriculaire en échocardiographie Doppler avec réseaux de neurones fondés sur la physique)
Segmentation d'IRM cérébrales multidimensionnelles par coupe de graphe. (Multidimensionnal Brain MRI segmentation using graph cuts)
Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants. (Coercive subtyping in a system with dependents types and non-standards reductions)
Numerical Observers for the Objective Quality Assessment of Medical Images. (Modèles Numériques pour l'Évaluation Objective de la Qualité d'Images Médicales)
Détection et Reconnaissance des Sons pour la Surveillance Médicale. (Sound Detection and Classification for medical telemonitoring)
Weakly supervised learning for immune profiling from hepatocellular carcinoma digital slides. (Apprentissage faiblement supervisé pour le profilage immunitaire à partir d'images de tissu numérisé de carcinome hépatocellulaire)
Distance metric learning for image and webpage comparison. (Apprentissage de distance pour la comparaison d'images et de pages Web)
Optimization and Control of Large Systems: Fighting the Curse of Dimensionality. (Optimisation et contrôle de systèmes à grande échelle: comment combattre l'optimisation combinatoire)
Le raisonnement spatial dans les systèmes à base de connaissances : application à l'analyse de sites avalancheux. (Spatial reasoning in knowledge based systems. An application: avalanche paths analysis)
Diagnostic sans modèle a priori. (Fault diagnosis without a priori model)
Interactive semantic segmentation of aerial images with deep neural networks. (Segmentation sémantique interactive d'images aériennes avec des réseaux de neurones profonds)
Combinatoire et géométrie des quotients de l'ordre faible. (Combinatorics and geometry of lattice quotients of the weak order)
Formal Verification of Communicating Automata. (Vérification formelle des automates communicants)
Analyse de la microstructure 3D du tissu cardiaque humain à l'aide de la micro-tomographie à rayons X par contraste de phase. (Analysis of the 3D microstructure of the human cardiac tissue using X-ray phase contrast micro-tomography)
Discovery of human activities in video. (Découvertes d'activités humaines dans des videos)
Evaluation de performances d'une classe de systemes de ressources partagees. (Performance evaluation for a class of shared resources systems)
Performances and Quality of Service of PLC Networks for MV and LV Distribution Systems. (Performances et Qualite de Service dans les reseaux Courants porteurs pour des systemes de Distribution moyenne tension et basse tension)
Software Datapaths for Multi-Tenant Packet Processing. (Plans de données logiciels pour les traitements réseaux en environnements partagés)
Dispositifs spatiaux et évolution des villes lao, persistence des pratiques et permanence des formes : la place du centre historique et de l'habitat ancien dans la recomposition de la ville contemporaine. (Spatial arrangement and developments of lao cities, persistence of practices and consistencies of forms : the fonction of the historic center and the old houses in the recomposition of thecontemporary city)
Développement de méthodes informatiques pour l'évaluation et l'amélioration de l'identification par spectrométrie de masse des peptides modifiés. (Development of computational methods to evaluate and improve the identification by mass spectrometry of modified peptides)
Une Théorie des Constructions Inductives
Stockage décentralisé adaptatif : autonomie et mobilité des données dans les réseaux pair-à-pair. (Adaptive and decentralized storage : data autonomy and mobility in peer-to-peer networks)
Simulation moléculaire et effets d'environnement - Une perspective mathématique et numérique
Infrastructure P2P pour la Réplication et la Réconciliation des Données. (P2P Infrastructure for Data Replication and Reconciliation)
Study, development and evaluation of the subgroup methods based on the physical probability tables in APOLLO3® for thermal reactor calculations. (Etude, développement et évaluation des méthodes des sous-groupes basées sur les tables de probabilités physiques dans APOLLO3® pour le calcul des réacteurs thermiques)
Approche de Développement centré décideur et à l'aide de patrons de Systèmes Interactifs d'Aide à la Décision - Application à l'investissement dans le domaine ferroviaire. (Pattern-based and decision maker-centrered development approach for Decision Support System - application to railway infrastructure investment)
Diagnosis of Large Software Systems Based on Colored Petri Nets
Conception d'un outil de prototypage rapide sur le FPGA pour des applications de traitement d'images. (Design of tools for rapid prototyping onto FPGA for applications in image processing)
Modeling, Prediction and Optimization of Energy Consumption of MPI Applications using SimGrid. (Modélisation, prédiction et optimisation de la consommation énergétique d'applications MPI à l'aide de SimGrid)
Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués
Design and development of energy-efficient transmission for wireless IoT modules. (Conception et développement d'une transmission écoénergétique pour les modules IoT sans fil)
Synthesis of Multi-Modal Socially Intelligent Human-Robot Interaction. (Synthèse de l'interaction multimodale homme-robot socialement intelligente)
Intégration de l' émergence au sein des systèmes multi-agent Une étude appliquée à la recherche heuristique. (Emergence in multi-agent systems. A study applied to heuristic search)
Viable Multi-Contact Posture Computation for Humanoid Robots using Nonlinear Optimization on Manifolds
Algorithmes exacts et heuristiques pour le chainage de services réseaux virtualisés. (Algorithms for Virtual Network Functions chaining)
Calcul de polynômes modulaires en dimension 2. (Computing modular polynomials in dimension 2)
Indoor Localization of Sensors: Application to Dependent Elderly People. (Localisation indoor des capteurs : applications pour des personnes âgées dépendantes)
Prédiction de l'évolution d'un système complexe dans un contexte non déterministe: architecture basée sur le couplage SMA / RàPC et la clusterisation. (Predicting the state trends of a non-deterministic complex system: an architecture based on coupling a Multi-Agent System with case based reasoning and clustering)
Activity monitoring through home automation devices. (Monitoring de l'activité via l'utilisation de capteurs domotiques)
Probabilistic Graphical Model Structure Learning: Application to Multi-Label Classification. (Apprentissage de Structure de Modèles Graphiques Probabilistes: Application à la Classification Multi-Label)
Cyber-resilience of critical infrastructures. (Cyber-résilience des infrastructures critiques : analyse préventive des défaillances d'origine malveillante)
Multi-Modal Learning for Video Understanding. (Apprentissage multi-modal pour la compréhension de vidéos)
Novel Approaches to the Clustering of Large Graphs. (Nouvelles approches pour le partitionnement de grands graphes)
Programmation d'espace intelligent par l'utilisateur final
Itération sur les Politiques Optimiste et Apprentissage du Jeu de Tetris. (Optimistic Policy Iteration and Learning the Game of Tetris)
Modelling animal conditioning with factored representations in dual-learning : explaining inter-individual differences at behavioural and neurophysiological levels. (Modélisation du conditionnement animal par représentations factorisées dans un système d'apprentissage dual : explication des différences inter-individuelles aux niveaux comportemental et neurophysiologique)
Analyse symbolique de systèmes infinis basée sur les automates: Application à la vérification de systèmes paramétrés et dynamiques
Matrice de transducteurs multi-lentilles pour la microscopie de localisation ultrasonore 3D à large champ : application à l'imagerie transcrânienne. (3D ultrasound localization microscopy using a large element matrix array with a multi-lens diffracting layer : transcranial imaging application)
Conception et évaluation de techniques d'interaction non-visuelle basées sur un dispositif personnel : application à l'exploration de cartes numériques par des personnes avec déficience visuelle. (Design and evaluation of non-visual interaction techniques based on a personal device : application to the exploration of digital maps by people with visual impairment)
Image Processing Methods for Dynamical Intracellular Processes Analysis in QuantitativeFluorescence Microscopy. (Méthodes Numériques pour l'Analyse de Processus Intracellulaires Dynamiques en Microscopie Quantitative)
De la Conception à l'Exploitation des Travaux Pratiques en Ligne : Application d'une Approche Générique à l'Enseignement de l'Informatique. (From Design to Operations of Online Lab-Works : Application of a Generic Approach to Computer Science Education)
Caching and prefetching for efficient video services in mobile networks
Conception par objets : MECANO, une Méthode et un Environnement de Construction d'ApplicatioNs par Objets
A Guarded Attribute Grammar Based Model for User Centered, Distributed, and Collaborative Case Management Case of the Disease Surveillance Process. (Un Modèle basé sur les Grammaires Attribuées Gardées pour les Processus Dynamiques, Centrés sur l'Utilisateur, Distribués et Collaboratifs: Cas de la Surveillance Epidémiologique)
Déduction avec contraintes et simplification dans les théories équationnelles
Étude de la diversité du domaine Bacteria et du règne Fungi au cours du rouissage du lin sur champ par une approche de metabarcoding. (Study of bacterial and fungal diversity during flax dew-retting by using metabarcoding)
Low resolution structure and packing investigations of collagen crystalline domains in tendon using Synchrotron Radiation X-rays, Structure factors determination, evaluation of Isomorphous Replacement methods and other modeling. (Etudes structurales a basse resolution par diffraction de rayons X synchrotron des fibres de colla\ gène dans le tendon : determination des facteurs de structure, évaluation des methodes du remplace\ ment isomorphe et autres modelisations)
Réplication Préventive dans une grappe de bases de données
Architecture réseau pour véhicule de transport en commun communiquant
Validation process, clinical impact and potential uses of a software for virtual simulation for the endovascular treatment of intracranial aneurysms. (Processus de validation, impact clinique et utilisations potentielles d'un logiciel de simulation virtuelle pour le traitement endovasculaire des anévrismes intracrâniens)
Reconstruction et analyse de trajectoires 2D d'objets mobiles par modélisation Markovienne et la théorie de l'évidence à partir de séquences d'images monoculaires - Application à l'évaluation de situations potentiellement dangereuses aux passages à niveau. (Reconstruction and analysis of moving objects trajectoiries from monocular images sequences, using Hidden Markov Model and Dempster-Shafer Theory-Application for evaluating dangerous situations in level crossings)
Interprétation de graphes pour l'enchaînement des requêtes dans un système de gestion de bases de données réparties : projet Polyphème
Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse)
Autour des automates : génération aléatoire et contribution à quelques extensions. (On the subject of automata : random generation and contribution to some extensions)
Agent virtuel signeur - Aide à la communication des personnes sourdes
Détection d'évènements complexes dans les flux d'évènements massifs. (Complex event detection over large event streams)
Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués. (Dataflow Process Networks with Routing for Modeling Embedded Systems)
Cooperation and self -* for small cells networks. (Coopération et autonomie dans les réseaux à petites cellules)
Toxicologie systémique intégrative et développement d'Adverse Outcome Pathways (AOPs) initiés par une exposition aux radiations ionisantes. (Integrative systemic toxicology and development of Adverse Outcome Pathways (AOPs) initiated by exposure to ionizing radiation)
Entrées/Sorties dans les système d'exploitation
Mécanismes de régulation de la synthèse protéique: voies de signalisation impliquées dans l'activation de la p70S6K chez le poulet
Analyse de défaillances de circuits VLSI par testeur à faisceau d'électrons. (Failure analysis of VLSI integrated circuits using an electron beam tester)
Algebraic combinatorics and resultant methods for polynomial system solving. (Combinatoire algébrique et méthodes basées sur le résultant pour la résolution de systèmes polynomiaux)
Impact de l'intégration du concept du produit intelligent sur la plateforme de la chaîne logistique du conteneur. (Impact of integrating the intelligent product concept into the container supply chain platform)
New Network / IT Command: Virtualized Function Performance for a Programmable Infrastructure. (Nouvelle commande réseau / IT : Performance des fonctions virtualisées pour une infrastructure programmable)
Indexation sémantique des images et des vidéos par apprentissage actif. (Semantic indexing of images and videos by active learning)
Evaluation de la qualité des vidéos panoramiques assemblées. (Quality evaluation for stitched panoramic videos)
Bayesian inference for image deblurring at a large scale. (Inférence bayésienne pour la restauration d'images en grande dimension)
Contribution à la simulation de la stimulation magnétique transcrânienne: vers une approche dirigée par les modèles. (Contribution to Transcranial Magnetic Stimulation : towards a model driven approach)
Méthodes statistiques et informatiques pour le traitement des données manquantes. (Statistical and computing methods for the processing of missing data)
Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau)
Efficient protocols for testing proximity to algebraic codes. (Protocoles efficaces pour tester la proximité à des codes algébriques)
Bio-statistical approaches to evaluate the link between specific nutrients and methylation patterns in a breast cancer case-control study nested within the European Prospective Investigation into Cancer and Nutrition (EPIC) study. (Approches bio-statistiques pour évaluer le lien entre nutriments et profils de méthylation du cancer du sein dans l'étude prospective Européenne sur le Cancer et la Nutrition (EPIC))
Knowledge design and conceptualization in autonomous robotics. (Construction et conceptualisation de connaissances en robotique autonome)
Evaluation of Sentinel-1 & 2 time series for the identification and characterization of ecological continuities, from wooded to crop-dominated landscapes. (Évaluation des séries temporelles Sentinel-1 & 2 pour l'identification et la caractérisation des continuités écologiques, des paysages boisés aux paysages agricoles)
Mesh Optimization. (Optimisation de maillages)
Optimisation par métaheuristique adaptative distribuée en environnement de calcul parallèle. (Optimization metaheuristic adaptive distributed parallel computing environment)
Rehaussement de vaisseaux sanguins appliqué aux images médicales 3D. (Study of vesselness filters applied to 3D medical images)
Distributed Aspects: better separation of crosscutting concerns in distributed software systems
Opportunistic spectrum usage and optimal control in heterogeneous wireless networks. (Accès opportuniste au spectre et contrôle optimal dans les réseaux sans fil hétérogènes)
Mining Tractable Sets of Graph Patterns with the Minimum Description Length Principle. (Génération et sélection d'ensembles de motifs de graphes avec le principe MDL)
On the use of deep learning for ocean SAR image semantic segmentation. (De l'utilisation de l'apprentissage profond pour la segmentation d'images SAR océaniques)
Online optimization in dynamic real-time systems. (Optimisation en-ligne pour les systèmes dynamiques en temps-réel)
Débruitage et interpolation par analyse de la régularité Hölderienne. Application à la modélisation du frottement pneumatique-chaussée
Maîtrise des risques dans les systèmes de transport : proposition d'une nouvelle approche de modélisation dynamique. (Risk management for transportation systems: proposal for a new way for modelling dynamic systems)
Parcellisation et analyse multi-niveaux de données IRM fonctionnelles. Application à l'étude des réseaux de connectivité cérébrale. (Multi-level parcellation and analysis of fMRI data - Application to the study of brain functional networks)
Analyse des motifs temporels d'une chronique décennale haute-fréquence de qualité de l'eau dans un observatoire agro-hydrologique
Structured prediction methods for semantic parsing. (Méthodes de prédiction structurée pour l'analyse sémantique)
Modèles a contrario pour la détection générique de changements en imagerie satellitaire très haute résolution. (A contrario models for generic change detection in very high resolution satellite imagery)
Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables. (Contributions to the formal verification of the assembly and adaptation of reusable components)
Modeling Of Non Stationary, Nonlinear Time Series Application to the definition of trends on mean, variability and extremes of air temperatures in Europe. (Modelisation De Series Chronologiques Non Stationnaires, Non Lineaires Application à la définition des tendances sur la moyenne, la variabilité et les extrêmes de la température de l'air en Europe)
Per Instance Algorithm Configuration for Continuous Black Box Optimization. (Configuration Automatisé d'algorithme par instance pour l'optimisation numérique boîte-noire)
Automatic identification of diatoms using deep learning to improve ecological diagnosis of aquatic environments. (Identification automatique des diatomées par apprentissage profond pour l'amélioration du diagnostic écologique des milieux aquatiques)
Hypergraphs and the Maker-Breaker game : a structural approach. (Hypergraphes et jeu Maker-Breaker : une approche structurelle)
Robust control of linear hyperbolic partial differential equations systems interconnected in a chain. (Contrôle robuste de systèmes linéaires d'EDP hyperboliques interconnectés en réseaux de chaîne)
Investigating the impact of adenomatous polyposis coli on T cell cytotoxicity : murine and human immuno-oncology models in microfluidic droplets. (Etude de l'impact d'adenomatous polyposis coli sur la cytotoxicité des cellules T : modèles d'immuno-oncologie murin et humain dans des gouttes microfluidiques)
Étude du découplage ligne par ligne avec stabilité: le cas des systèmes linéaires. (Row by row decoupling with stability: the linear systems case)
Apprentissage de modèles pour la gestion de santé de systèmes hybrides sous incertitudes. (Model learning for health management of hybrid systems under uncertainty)
Étude et développement d'un système d'estimation tridimensionnelle de trajectoire de corps humain en mouvement. (3D visualization of human postures and trajectories of moving bodies)
Modélisation multi-échelle procédurale de scènes animées
Development of a SHM system by elastic guided waves applied to aeronautic structures. (Développement d'un système SHM pour aéronef par ondes élastiques guidées)
Approches "problèmes inverses" régularisées pour l'imagerie sans lentille et la microscopie holographique en ligne. (Regularized inverse problems approaches for lensless imaging and in-line holographie microscopy)
Réduction de modèles numériques pour l'évaluation des performances de machines électriques. (Numerical model order reduction for assessing the performance of electrical machines)
Distributed and Parallel Computing for very Large Neural Networks. (Calcul réparti et parallèle pour les réseaux de neurones de très grandes tailles)
Étude et conception d'un système de pilotage intuitif d'exosquelette pour l'assistance au port de charges. (Design and study of a system to control intuitively an exoskeleton in order to assist load carrying)
Couplage de modèles multi-niveau de systèmes complexes: application aux systèmes biologiques. (Multi-level model-coupling of complex systems: application to biological systems)
Approximation et complexité paramétrée de problèmes d'optimisation dans les graphes : partitions et sous-graphes. (Approximation and parameterized complexity for combinatorial optimization problem in graph : partition and subgraph )
Failure Detectors in Dynamic Distributed Systems. (Détecteurs de fautes pour les systèmes distribués dynamiques)
Approche centrée activité pour la conception et l'orchestration d'activités numériques en classe. (Activity-centered approach for the design and orchestration of digital classroom activities)
Accès et personnalisation du contenu multimédia dans un véhicule. (Access and personalisation of multimedia content in a vehicle)
Planification et exécution de mouvements pour un robot bi-guidable: une approche basée sur la platitude différentielle. (Motion Planning & Feedback Control of Bi-steerable Robots: a Approach Based on Differential Flatness)
Contexte en Interaction Homme-Machine : le contexteur. (Context in Human-Computer Interaction : The contextor)
Spécification de la synchronisation par contraintes
Transmodalité de flux d'images de synthèse. (Synthetic picture stream transmodality)
De l'activité virtuelle à l'activité réelle : ressources et empêchements à la créativité de cadres formés au management d'équipe avec un serious gaming. (From virtual activity to real activity : the resources and impediments of creativity for executives in the use of serious games for team management training)
High-end Video Streaming Quality in the Wild : measuring and Predicting Satisfied User Ratio. (Qualité du streaming vidéo haut de gamme dans des conditions réelles : mesurer et prédire le taux d'utilisateurs satisfaits)
Statistical analysis of networks and applications in Social Sciences. (Analyse statistique des réseaux et applications aux Sciences Humaines)
Extraction de trajectoires sémantiques à partir de donnéesmulti-capteurs : application à des véhicules de secours. (Extraction of semantic trajectories from datamulti-sensors: application to emergency vehicles)
Analyses et vérification des programmes à aspects. (Analysis of aspect-oriented programs)
Self-stabilizing algorithms for graph parameters. (Algorithmes auto-stabilisants pour des paramètres de graphes)
Proposition d'une arithmétique rationnelle paresseuse et d'un outil d'aide à la saisie d'objets en synthèse d'images. (Proposal for a Lazy Rational Arithmetic and a Tool for the Simplification of the input of Objects in Computer Graphics)