yusuke1997/dblp-id-title huggingface dataset:
Relations entre le modèle d'image et le nombre de mesures pour une super-résolution fidèle. (Relations between image model and number of measures for a high fidelity super-resolution)
Guaranteed properties of dynamical systems under perturbations. (Analyses formelles des propriétés des systèmes dynamiques sous perturbations)
Development of interpretability methods for certifying machine learning models applied to critical systems. (Développement de méthodes d'interprétabilité en apprentissage automatique pour la certification des intelligences artificielles reliées aux systèmes critiques)
Développement de concepts et outils d'aide à la décision pour l'optimisation via simulation : Intégration des métaheuristiques au formalisme DEVS. (Toward a optimization via simulation architecture : concepts and tools / Toward a optimization via simulation architecture : concepts and tools : DEVS and Metaheuristic merged)
Congestion Inference and Traffic Engineering in Networks. (Inférence de congestion et Ingénierie de Trafic dans les Réseaux)
Efficient self-stabilizing algorithms for graphs. (Algorithmes auto-stabilisants efficaces pour les graphes)
Shared Control and Authority Distribution for Robotic Teleoperation. (Contrôle Partagé et Répartition d'Autorité pour la Téléopération Robotique)
On the identification of performance bottlenecks in multi-tier distributed systems. (De l'identification des problèmes de performance dans les systèmes distribués multi-tiers)
Approche intelligente à Base de raisonnement à partir de cas pour le Diagnostic en ligne des SystèMES AutomatiséS de production. (Intelligent Case-based Reasoning Approach for Online Diagnosis of Automated production Systems)
Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision. (Elementary functions : algorithms and efficient implementation for correct rounding for the double precision)
Conception des Systèmes d'Information : une approche centrée sur les Patrons de Gestion de la Qualité. (A Quality Pattern Based Approach for the Analysis and Design of Information Systems)
Simulation multi-agent de l'autoconsommation collective de l'énergie à l'échelle du quartier en lien avec l'activité humaine et la consommation énergétique des bâtiments. (Multi-agent simulation of collective self-consumption of energy at the district scale in relation to human activity and energy consumption of buildings)
Self-describing objects with tangible data structures. (Objets intelligents avec des données tangibles)
Massive MIMO in 5G networks for intercell interference cancellation and capacity boost. (Utilisation du massive MIMO dans les réseaux 5G pour l'annulation d'interférence inter-cellule et pour l'augmentation de la capacité)
Multi-choice games and applications to pollution issues. (Jeux à choix multiples et applications à des problèmes de pollution)
Prise en compte des systèmes de stockage de l'énergie et deleurs dégradations dans la gestion et le dimensionnement desmicro-réseaux : influence de la précision des modèles. (Consideration of energy storage systems and their degradation in microgrids sizingand energy management : influence of model accuracy)
Modélisation mécanique et méthodes numériques pour la poromécanique - Application à la perfusion du myocarde. (Mechanical modeling and numerical methods for poromechanics - Application to myocardium perfusion)
Approche informationnelle de l'imagerie de contraste de phase par rayonnement synchrotron. Applications précliniques à l'imagerie du cerveau du petit animal. (Information based approach of the phase contrast imaging by synchrotron radiation. Preclinical applications to brain imaging of the small animal. )
Procedural reconstruction of buildings : towards large scale automatic 3D modeling of urban environments. (Reconstruction procédurale de bâtiments : vers l'automatisation à grande échelle de la modélisation 3D d'environnements urbains)
Extraction multidimensionnelle et multicritère de données émergentes pour l'équilibrage de jeux vidéo. (OLAP and multicriteria databases extraction of emerging data for video game equilibrium)
Etude de la diffusion multiple par la méthode de Monte-Carlo : application a la diffusion des neutrons rapides de 14 MeV par le carbone
Predicting User-Centric Behavior : mobility and content popularity. (Prédiction du comportement des utilisateurs : mobilité et popularité des contenus)
Proof-oriented domain-specific language design for high-assurance software. (Design de langage dédié orienté vers la preuve pour le logiciel critique)
Les objets ajustés: Une approche bien fondée et efficace pour la programmation concurrente. (Adjusted objects: An efficient and principled approach to scalable programming)
Certified explanations of robust models. (Explications certifiées pour modèles robustes)
Recherche d'informations par l'image: application à la recherche interactive de produits du bâtiment. (Information search by the image: application to the interactive building product search)
Visual saliency extraction from compressed streams. (Extraction de la saillance visuelle à partir de flux compressés)
Evaluation et mise en oeuvre des systèmes de production cyclique
Analyse multirésolution non emboîtée : applications à la visualisation scientifique. (Non-Nested Multiresolution Analysis and its applications to scientific visualization)
Analyzing and understanding embodied interactions in virtual reality systems. (Analyser et comprendre les interactions incarnées en système de réalité virtuelle)
Exact and Inexact Methods for Graph Similarity in Structural Pattern RecognitionPhD thesis of Vincenzo Carletti. (Méthodes exactes et inexactes pour mesurer la similarité de graphes en reconnaissance structurelle de formes. )
Modélisation et simulation numériques de l'érosion par méthode DDFV. (￼Modelling and numerical simulation of erosion by DDFV method)
Sieve algorithms for the discrete logarithm in medium characteristic finite fields. (Algorithmes de crible pour le logarithme discret dans les corps finis de moyenne caractéristique)
Vers des solutions adaptatives et génériques pour l'extraction de motifs intéressants dans les données. (Toward adaptive and generic solutions for the discovery of interesting patterns in data)
Vision catadioptrique pour favoriser la perception d'environnements hétérogènes. (Catadioptric vision to improve the perception of heterogeneous environments)
Contributions to algebraic complexity, extension complexity, and affine convex geometry. (Contributions en complexité algébrique, en complexité d'extensions et en géométrie convexe affine)
An integrated model-based early validation approach for railway systems. (Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles)
Domain-specific modeling language for self-adaptive software system architectures. (Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives)
Dynamic Multilevel Modeling in the design of Decision Support Systems for rescue simulation : combining Agent-based and Mathematical approaches. (Modélisation multi-niveaux dynamique dans la conception des systèmes d'aide a decision pour la simulation de secours : une combinaison entre les approches d'agent et mathematiques)
Outils d'aide à la décision pour la mise en place et la configuration dynamique des lignes de production reconfigurables. (Decision support tools for the design and dynamic reconfiguration of reconfigurable manufacturing systems)
Reconnaissance des formes et cartographie des nappes d'hydrocarbures par traitement NUMéRique d'images de Teledetection
Variants of acceptance specifications for modular system design. (Variantes de spécifications à ensemble d'acceptation pour la conception modulaire de systèmes)
Prévention des attaques de confiance en temps réel dans l'IoT social. (Real-time Trust Attacks Prevention in Social IoT)
Quasi optimal model checking for concurrent systems. (Vérification de modèle quasi-optimale de systèmes concurrents)
An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets)
ZX-Calculi for Quantum Computing and their Completeness. (ZX-Calculs pour l'Informatique Quantique et leur Complétude)
The Discrete Ordered Median Problem revisited: new formulations, properties and algorithms. (Le "Discrete Ordered Median Problem" revisité : nouvelles formulations, propriétés et algorithmes)
Contribution to the Intelligent Transportation System : security of Safety Applications in Vehicle Ad hoc Networks. (Contribution aux systèmes de transport intelligents : sécurité des applications de sureté dans les réseaux de véhicules ad hoc)
Simulation fonctionnelle native pour des systèmes many-cœurs. (Functional native simulation techniques for many-core systems)
Détection de collision par lancer de rayon : La quête de la performance. (Ray-traced collision detection : Quest for performance)
Exact Algorithms With Worst-case Guarantee For Scheduling: From Theory to Practice. (Algorithmes Exacts Avec Garantie au Pire Cas Pour l'Ordonnancement: de la Théorie à la Pratique)
Localization, Characterization and Recognition of Singing Voices. (Localisation, caractérisation et reconnaissance de voix chantées)
Performance Analysis and PAPR Reduction Techniques for Filter-Bank based Multi-Carrier Systems with Non-Linear Power Amplifiers. (Réduction du PAPR pour les systèmes utilisant la modulation FBMC/OQAM en présence d'amplificateur de puissance non linéaire)
Couplage de modèles mathématiques et informatiques pour l'étude de la transhumance sahélienne : cas du Sénégal. (Integrating mathematical and computational models to study Sahelian transhumance: a Senegalese case study)
Modelling, analysis and control of biological networks. (Modélisation, analyse et commande des réseaux biologiques)
Unsupervised Word Segmentation and Wordhood Assessment : The case for Mandarin Chinese. (Segmentation non supervisée et évaluation de la «lexicalité» : Le cas du chinois moderne standard (mandarin))
Lagrangian Relaxation - Solving NP-hard Problems in Computational Biology via Combinatorial Optimization
Impact des liens hypertextes sur la précision en recherche d'information
Correction radiométrique et recalage de nuages de points pour la reconstruction tridimensionnelle d'oeuvres du patrimoine culturel. (Point Cloud Radiometric Correction and Registration for Three-Dimensional Cultural Heritage Reconstruction)
Vers une Intelligence Artificielle Numérique Responsable. (Towards Responsible Digital Artificial Intelligence)
Rendu multimodal en Réalité Virtuelle : Supervision des interactions au service de la tâche. (Multimodal rendering in Virtual Reality: Task-Oriented supervision of interactions)
Three essays on microeconometric models of demand and their applications in empirical industrial organisation. (Trois essais sur les modèles microéconométriques de la demande et leurs applications dans l'organisation industrielle empirique)
Proposition d'approches utilisant les réseaux de neurones profonds et les méthodes géométriques pour la reconstruction d'un visage 3D à partir d'une seule image. (A proposal of approaches using deep neural networks and geometric methods for 3D face reconstruction from a single image)
Impairment-aware design and performance evaluation of all-optical wavelength convertible networks. (Conception et évaluation des performances des réseaux à conversion de longueur d'onde tout-optique gérant les dégradations du signal)
On the mathematical analysis and the numerical simulation of boiling flow models in nuclear power plants thermal hydraulics. (Analyse mathématique et simulation numérique des modèles d'écoulements bouillants pour la thermohydraulique des centrales nucléaires)
A.C.P. et F-A.C.P de séries chronologiques multidimensionnelles stationnaires. (The use of principal component analysis for multidimensional time series)
Généralisation de domaine pour la segmentation sémantique de données LiDAR pour le véhicule autonome. (Domain generalization for the semantic segmentation of LiDAR data for autonomous vehicles)
Product segmentation and distribution strategy selection : an application in the Retail Supply Chail. (Segmentation des produits et choix de stratégies de distribution dans la chaine logistique de grande distribution)
Ingénierie cognitive pour l'aide à la conduite automobile de la personne âgée : analyse et modélisation de l'activité de conduite en situation naturelle pour la conception de fonctions de monitorage. (Cognitive engineering for elderly driver assistance : analysis and modelling of the driving activity in ecological situation's, for the design of monitoring functions)
Confiance dans les systèmes utilisant l'intelligence artificielle pour le contrôle et commandement des opérations aériennes C2. (Trust towards artificial intelligence systems in C2Air)
Synthèse enzymatique de phospholipides structurés riches en DHA. (Enzymatic synthesis of structured phospholipids rich in DHA)
Neuro-inspired Architectures for the Acquisition and Processing of Visual Information. (Architectures neuro-inspirées pour l'acquisition et le traitement de l'information visuelle)
PAOLA : un système d'optimisation topologique de P.L.A. (PAOLA: a topological optimization system for PLAs)
Efficient Rules Management Algorithms in Software Defined Networking. (Algorithmes efficaces de gestion des règles dans les réseaux définis par logiciel)
Complexité de la recherche de motifs dans un texte aléatoire. (The Complexity of the Multiple Pattern Matching Problem for Random Strings)
Dependable eventual consistency with replicated data types. (Cohérence à terme fiable avec des types de données répliquées)
Concevoir des services collaboratifs adaptés à des pratiques métier : une méthode centrée usages. Application au domaine de la construction. (Designing collaborative services adapted to business practices: a usage-centered method : Application to the construction sector)
Hybrid Evolutionary Metaheuristics for Multiobjective Decision Support. (Métaheuristiques hybrides évolutionnaires pour l'aide à la décision multi-objectifs)
Statistical models for the optimization of energy consumption in cyber-physical systems. (Modèles statistiques pour l'optimization de la consommation de l'énergie pour les systèmes embarqués communicants)
Algorithms and evaluation metrics for improving trust in machine learning : application to visual object recognition. (Algorithmes et métriques d'évaluation pour la confiance dans les systèmes utilisant l'apprentissage machine : application à la reconnaissance visuelle d'objets)
Analysis of temporal, spatial dimensions and fluctuation scaling of controller's activities from a human dynamics perspective. (Analyse de dynamiques temporelles, spatiales et fluctuantes des activités de contrôleurs aériens)
Approches algébriques pour la gestion et l'exploitation de partitions sur des jeux de données. (Algebraic approaches for management and handling of set partitions over datasets)
Gestion autonomique de l'élasticité multi-couche des applications dans le Cloud : vers une utilisation efficiente des ressources et des services du Cloud. (Crosslayer elasticity management for Cloud : towards an efficient usage of Cloud resources and services)
Interactions multi-points indirectes sur grands écrans. (Indirect multi-touch interactions on large displays)
Domain Adaptation and Model Combination for the Annotation of Multi-source, Multi-domain Texts. (Adaptation au domaine et combinaison de modèles pour l'annotation de textes multi-sources et multi-domaines)
Mobile wireless sensor network architecture: Applications to mobile sensor deployment
Conception d'un système de communication sans fil industriel basé sur la transformée en ondelettes. (Industrial wireless communication system based on the wavelet transform)
A bioinformatics analysis of the arabidopsis thaliana epigenome. (Une analyse bioinformatique de l'Epigénome d'Arabidopsis thaliana)
Geological knowledge formalization and automation of the structural interpretation process for building 3D architectures of the sub-surface. (Formalisation des connaissances géologiques et automatisation du processus d'interprétation structural pour la construction d'architectures géologiques 3D du sous-sol)
Reconnaissance des formes dans un environnement dynamique appliquée au diagnostic et au suivi des systèmes évolutifs. (Pattern recognition in a dynamic environment applied to the diagnosis and monitoring of evolving systems)
Modélisation des conséquences évolutives de la compétition pour la lumière dans des populations composites de blé. (Modelling evolutionary outcomes of competition for light in wheat composite populations)
Communications coopératives dans les réseaux autour du corps humain pour la capture du mouvement. (Cooperative communications with Wireless Body Area Networks for motion capture)
Optimisation de l'ordonnancement des tâches de transport des robots intelligents et collaboratifs dans le contexte de l'industrie 5.0. (Optimization of transportation task scheduling for collaborative and intelligent robots in the context of Industry 5.0)
Calculs parallèles pour le traitement des images satellites. (Parallel computations for the treatment of satellite images)
Formal Verification of Rust Programs by Functional Translation. (Vérification formelle de programmes Rust par traduction fonctionnelle)
Time-domain extended-source full-waveform inversion: Theory, algorithm and application. (Inversion de la forme d'onde complète à source étendue dans le domaine temporel: théorie, algorithme et application)
Réseaux Évidentiels pour la fusion de données multimodales hétérogènes : application à la détection de chutes. (Evidential Networks-based heterogeneous multimodal data fusion : application for fall detection)
Contributions à la vérification et à la validation efficaces fondées sur des modèles. (Contribution to the efficient model-based verification andtesting)
Problèmes liés à l'utilisation des méthodes d'éléments finis pour le calcul des valeurs propres
Vertebrae segmentation and labeling from CT images. (Segmentation et etiquetage des vertebres apartir d'images CT)
A framework for distributed 3D graphics applications based on compression and streaming. (Un cadre unificateur pour des applications graphiques 3D, basé sur la compression et la diffusion)
Traitement du signal et simulations pour l'élastographie ultrasonore impulsionnelle appliquée au foie. (Signal processing and simulations for ultrasonic elastography)
Modélisation flux de données et optimisation pour architecture multi-cœurs de motifs répétitifs. (Data flow modelling and optimization of loops for multi-core architectures)
Hybrid discretization methods for Signorini contact and Bingham flow problems. (Méthodes de discrétisation hybrides pour les problèmes decontact de Signorini et les écoulements de Bingham)
Reconstruction 3D à partir de paires stéréoscopiques en conditions dégradées. (3d reconstruction from stereo pairs degraded Conditions)
Feature Extraction for Side-Channel Attacks. (Extraction de caractéristiques pour les attaques par canaux auxiliaires)
Modeling and analytical computations of burst and interburst dynamics in neuronal networks, applications to neuron-glia interactions and oscillatory brain rhythms. (Modélisation et calculs analytiques des dynamiques de burst et interburst dans les réseaux de neurones, applications aux interactions neurone-glie et aux rythmes oscillatoires dans le cerveau)
Modeling and optimization of an online publishing application. (Contribution à l'optimisation d'un processus de publication scientifique)
SPY : un système de contrôle : la mise au point de systèmes de programmation grâce à un couplage de machines virtuelles
Parallel triangular solution in the out-of-core multifrontal approach for solving large sparse linear systems. (Résolution triangulaire de systèmes linéaires creux de grande taille dans un contexte parallèle multifrontal et hors-mémoire)
Etude de l'activité neuronale : optimisation du temps de simulation et stabilité des modèles. (Study of neuronal activity : optimization of simulation time and stability of models)
Neural-Based Modeling for Performance Tuning of Cloud Data Analytics. (Modélisation à Base de Réseaux de Neurones des Performances des Plateformes Cloud)
Multi-view Reconstruction and Texturing. (Reconstruction multi-vues et texturation)
Optimization of Wireless Networks : Freshness in Communications. (Optimisation des réseaux sans-fil : fraîcheur en communication)
Un modèle générique pour les organisations dynamiques en univers multi-agent. (A generic model for dynamic organizations in multi-agent systems)
Planification interactive de trajectoire en Réalité Virtuelle sur la base de données géométriques, topologiques et sémantiques. (Interactive path planning in Virtual Reality based on geometric, topological and semantic data)
Energy management strategies for smart grids. (Stratégies de gestion d'énergie pour les smart grids)
Context as a Resource: A Service-Oriented Approach for Context-Awareness. (Information du Contexte comme une Ressource : Une Approche Orientée Service pour la Sensibilité au Contexte)
Hypergraphe de Voisinage Spatiocolorimétrique. Application en traitement d'images : Détection decontours et du bruit. (Spatiocolorimetric neighborhood hypergraph and Image Processing Applications : Noise Removal and Edge Detection)
Techniques de programmation et d'utilisation en mode conversationnel des terminaux graphiques
Référence aux actions dans des dialogues de commande homme-machine. (Reference to actions in man-machine command dialogues)
Modélisation et Gestion de Flux par Systèmes Multiagents: Application à un système d'aide à la décision en épidémiologie. (Multiagent System for Flow Management in Complex Systems: Development of a Decision Support System in Epidemiology)
Laboratoire sur puce pour la détection d'événements cellulaires rares. (Lab-on-chip for the detection of rare cell events)
Géomatique et épidémiologie : caractérisation des paysages favorables à Culicoides imicola, vecteur de la fièvre catarrhale ovine en Corse. (Geomatics and epidemiology: characterising favourable landscapes for Culicoides imicola, bluetongue vector in Corsica)
Multiple description coding for robust image and video delivery. (Codage par description multiple pour la transmission et le stockage robuste d'image et vidéo)
Mise en évidence de la glucokinase dans le foie et le pancréas de poulet et de canard. Etude de sa régulation nutritionnelle
Développement de modèles non supervisés pour l'obtention de représentations latentes interprétables d'images. (Development of unsupervised models for obtaining interpretable latent representations of images)
Hybrid satisfiability methods for the inference of boolean regulations controlling metabolic networks. (Méthodes de satisfiabilité hybrides pour l'inférence de régulations booléennes contrôlant des réseaux métaboliques)
Méthodes exactes pour l'apprentissage de la structure d'un réseau bayésien et les réseaux de fonctions de coûts. (Exact methods for Bayesian network structure learning and cost function networks)
User-Centred Design and Evaluation of Interactive System Assisting the Mobility of People with Intellectual Disability. (Contribution à la conception centrée utilisateur et à l'évaluation d'un système interactif aidant la mobilité de personnes en situation de déficience intéllectuelle)
Single and multi-agent motion planning for multirotors at high speeds. (Planification de mouvement mono et multi-agents pour multirotors à haute vitesse)
Monitoring the Internet of Things (IoT) Networks. (Monitorage dans les réseaux du type "Internet des objets")
Dessin de graphe distribué par modèle de force : application au Big Data. (Distributed force directed graph drawing : a Big Data case study)
Optimisation de la performance des entrepôts de données XML par fragmentation et répartition
Formal Concept Analysis for Discovering Link Keys in the Web of Data. (Analyse formelle de concepts pour la découverte de clés de liage dans le web des données)