yusuke1997/dblp-id-title huggingface dataset:
Approximation methods to vehicle routing problem for a drone fleet management. (Méthodes d'approximation au problème de routage de véhicule pour une gestion de flotte de drones)
Κnοwledge graph-based system fοr technical dοcument retrieval : a deductive reasοning-fοcused explοratiοn. (Système fondé sur les graphes de connaissances pour la recherche de documents de conception en ingénierie : une approche par raisonnement déductif)
Security analysis of image copy detection systems based on SIFT descriptors
Modèles de comportements sociaux pour les collectivités d'agents et de robots. (Social behavior models for agents and robots groups)
Preuves et stratégies pour la synthèse déductive de programmes. (Proofs and strategies for deductive program synthesis)
Assistance automatique au mixage de microphones d'appoint dans une prise de son HOA. (Automatic assistance for mixing HOA and spot microphone signals)
A generic and adaptive approach to explainable AI in autonomic systems: the case of the smart home. (Approche générique et adaptative de l'intelligence artificielle explicative pour les systèmes autonomiques connectés, appliquée à la maison intelligente)
Statistical learning with high-cardinality string categorical variables. (Apprentissage statistique à partir de variables catégorielles non-uniformisées)
An Efficient Embedded Software Development Approach for Multiprocessor System-on-Chips. (Approche Efficace de Développement de Logiciel Embarqué pour des Systèmes Multiprocesseurs sur Puce)
Traffic-Aware Resource Allocation and Feedback Design in Wireless Networks). (Allocation de ressources et conception du feedback dans les r'eseaux sans filavec prise en compte du trafic)
Une application de la statistique descriptive en informatique
Analysis and integration of heterogeneous large-scale genomics data. (Bio-informatique, technologies du web sémantique, inférence de réseaux de régulations)
Système de recommandation équitable d'oeuvres numériques. En quête de diversité. (Fair recommender system for cultural content In search of discovery)
Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice. (La conception de techniques d'interaction expressives adaptées aux novices et inspirées par des activités expertes : le cas de la pratique musicale)
Analyse automatisée des données 3D+t d'imagerie par résonance magnétique de vélocimétrie. Quantification de l'apport du 3D+t. (Automated analysis of 3D+t magnetic resonance imaging data from velocimetry. Quantification of the contribution of 3D+t)
Apparence multi-échelles pour le rendu réaliste et efficace des surfaces complexes. (Multi-scale appearance for realistic and efficient rendering of complex surfaces)
Autorité de certification distribuée pour des réseaux pair-à-pair structurés : modèle, mise en oeuvre et exemples d'applications
Performance assessment and modeling of flexible optical networks. (Modélisation et évaluation des performances des réseaux optiques flexibles)
Contribution à l'amélioration des méthodes d'optimisation de la gestion de la mémoire dans le cadre du Calcul Haute Performance. (Contribution to developement optimization methods for memory managment in high-performance computing)
Régulation par l'état nutritionnel et la photopériode de l'expression de gènes spécifiant des enzymes du métabolisme énergétique dans le tissu adipeux et le muscle de brebis
Service de recherche d'agent par diffusion multipoint orientée. (Network layer agent search service based on oriented multicasting)
Steps towards decisiveness in social choice. (Règles de vote avec univers parallèles)
Low-cost GPS/GLONASS Precise Positioning Algorithm in Constrained Environment. (Algorithme de positionnement précis en environnement contraint basé sur un récepteur bas-coût GPS/GLONASS)
Prediction of mobility data with prior on the topography of an infrastructure of a road network. (Complétion par construction de données de mobilité avec a priori sur la topographie et infrastructure du réseau routier)
Etude et utilisation des normes vectorielles en analyse numérique linéaire (1ere thèse) - Inéquations variationnelles et problèmes aux limites (2eme thèse)
Représentation de la connaissance spatiale pour la planification. (Spatial knowledge representation in planning)
Preuves de connaissances interactives et non-interactives. ((Non-)Interactive Proofs of Knowledge)
Réseaux de capteurs et vie privée. (Wireless sensor networks and privacy)
Scheduling algorithms to optimize the performance, energy consumption and robustness of HPC applications. (Algorithmes d'ordonnancement pour optimiser les performances, la consommation d'énergie et la robustesse des applications de calcul à haute performance (HPC))
Mécanismes cryptographiques pour la génération de clefs et l'authentification. (Cryptographic Mecanisms for Key Generation and Authentication)
Vers un modèle pour la sonification de données scientifiques. (Toward a model for the sonification of scientific data)
Distributed Task-Based In Situ Data Analytics for High-Performance Simulations. (Analyses de données in situ par tâches distribuées pour les simulations haute performance)
Apprentissage en profondeur fiable et explicable pour la classification de signaux acoustiques sous-marins. (Reliable and explainable deep learning for classification of underwater acoustic signals)
EXOLINE : Dispositif instrumenté pour analyser les interactions en apprentissage collaboratif en ligne. (EXOLINE: Instrumented device for analyzing collaborative online learning interactions)
Jusqu'où les goûts musicaux sont-ils prédictibles par l'intelligence artificielle ? (How far are musical tastes predictable by artificial intelligence?)
Rοbustness οf neural netwοrk image classifiers tο meaningful adversarial examples. (Rοbustesse des réseaux de neurοnes prοfοnds classifieurs d'images aux exemples adversaires pertinents)
La restructuration des Documents graphiques Destructurés. (Restructuring unstructured graphical documents)
Traitement d'images satellitaires appliqué à la cartographie numérique quantitative de la circulation océanique superficielle. (Processing satellite images for mapping ocean surface currents)
Automatic Cinematography and Editing in Virtual Environments. (Cinématographie et montage automatique dans des environnements virtuels)
Employing Transformers and Humans for Textual-Claim Verification. (Utilisation de transformateurs et d'humains pour la vérification de revendications textuelles)
Vérification de propriétés de programmes flots de données synchrones. (Properties verification of synchronous data-flow programs)
Factorisation matricielle, application à la recommandation personnalisée de préférences. (Matrix factorization, application to preference prediction in recommender systems)
Security architecture for multi-embedded-agent systems. (Architecture de sécurité pour systèmes multi-agents embarqués)
Skeletal semantics transformations. (Transformations de sémantiques squelettiques)
Test intégré de processeur facilement testable. (Integrated test an easily testable processor)
Conception et validation d'un processeur programmable de traitement du signal à faible consommation et à faible empreinte silicium : application à la vidéo HD sur téléphone mobile. (Design and Validation)
Introducing contextual awareness within the state estimation process: Augmenting Bayes filters with context-dependent time-heterogeneous distributions. (Présentation de sensibilisation contextuelle dans le processus d'estimation d'état: Extension de Bayes filtres avec des distributions de temps hétérogènes dépendant du contexte )
Un système intelligent pour l'optimisation du processus de e-recrutement. (Intelligent system for the optimization of e-recruitment processus)
Méthode collaborative de segmentation et classification d'objets à partir d'images de télédétection à très haute résolution spatiale. (Collaborative method of segmentation and classification of objects from remote sensing images with very high spatial resolution)
Cost-based query-adaptive clustering for multidimensional objects with spatial extents. (Groupement d'Objets Multidimensionnels Etendus avec un Modèle de Coût Adaptatif aux Requêtes)
Modeling of reactive movement and non-verbal behaviors for the creation of digital agents for virtual reality. (Modélisation de mouvements réactifs et comportements non verbaux pour la création d'acteurs digitaux pour la réalité virtuelle)
Optimized Code Generation for Parallel and Polyhedral Loop Nests using MLIR. (Génération de code optimisée pour des nids de boucles parallèles et polyédriques à l'aide de MLIR)
Écouter l'architecture: outils numériques et conception ambiantale, la piste du sonore renouvelée. (Listening the architecture: digital tools and ambient design, the way of sound)
Commande optimisée d'un actionneur linéaire synchrone pour un axe de positionnement rapide. (Optimized control of a linear synchronous motor for a high speed positionning axis)
On Some Unsupervised Learning Problems for Highly Dependent Time Series. (Sur quelques problèmes non-supervisés impliquant des séries temporelles hautement dèpendantes)
From Traditional to Context-Aware Recommendations by Correlation-Based Context Model. (De la recommandation traditionnelle à la recommandation contextuelle par modèle de contexte à base de corrélation)
Statistiques non locales dans les images: modélisation, estimation et échantillonnage. (Non-local statistics in images: modelisation, estimation and sampling)
Multiple interface management in smart grid networks. (Gestion d'interface multiple dans les réseaux smart grids)
CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers. (CoqDRAM - Une Fondation pour la Conception de Contrôleurs de Mémoire Formellement Prouvés)
Approximation Algorithms and Sketches for Clustering. (Algorithmes d'approximation et sketches pour les problèmes de clustering)
Modélisation de fautes et conception en vue du test structurel des microsystèmes. (Fault modeling and design-for-test of MEMS)
Extension automatique de l'annotation d'images pour la recherche et la classification. (Automatic image annotation extension for search and classification)
Etude de problèmes inverses par algorithmes d'évolution et réseaux de neurones. (Etude de problèmes inverses par algorithmes d'évolution et réseaux de neurones)
Une approche générique de modélisation spatiale et temporelle : application à la modélisation de la dynamique des paysages. (A generic approach of spatial and temporal modelling : application to dynamic landscape modelling)
Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple)
Désambiguïsation sémantique dans le cadre de la simplification lexicale: contributions à un système d'aide à la lecture pour des enfants dyslexiques et faibles lecteurs. (Word Sense Disambiguation within lexical simplification: contributions to a reading support system for children with dyslexia and poor readers)
Rethinking Training Strategies and Improving Model Structures for Multiple-Object Tracking. (Amélioration de stratégies d'entrainements et développement de modèles pour le suivi d'objets multiple)
Elaboration d'un environnement semi-virtuel de formation à la gestion stratégique de crise, basé sur la simulation multi-agents. (Development of a semi-virtual training environment for strategic crisis management, based on multi-agent)
Learning Robot Interactive Behaviors in Presence of Humans and Groups of Humans. (Apprentissage de comportements interactifs pour un robot en présence de groupes d'humains)
Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver)
TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme. (TIREX : A textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis)
Structures for deep learning and topology optimization of functions on 3D shapes. (Structures pour l'apprentissage profond et l'optimisation de la topologie de fonctions sur les formes 3D)
Fundamental and Harmonic Ultrasound Image Joint Restoration. (Restauration conjointe des images ultrasonores fondamentales et harmoniques)
Les arbres VSG : une nouvelle approche multimodèles de la visualisation. (VSG trees : a new multi-model approach of visualization)
Condition-based maintenance policies for multi-component systems considering stochastic dependences. (Politiques de maintenance conditionnelle pour des systèmes multi-composant avec dépendances stochastiques)
Couplage Planification et Ordonnancement: Approche hiérarchique et décomposition
Formalisation des Processus de l'Ingénierie Système : Proposition d'une méthode d'adaptation des processus génériques à différents contextes d'application. (Formalization of System Engineering Processes : Proposal of a method to adapt generic processes to different application contexts)
Neural Network Quantization Methods for FPGA On-Board Pro- cessing of Satellite Images. (Méthodes de Quantification des Réseaux de Neurones pour le Traitement Embarqué d'Images Satellites sur FPGA)
Detection and real-time classification of abnormal bio-cells by image segmentation technique. (Détection et classification temps réel de biocellules anormales par technique de segmentation d'images)
Methods for Ti­ght Analysis of Popu­lation-based Evolutionary Algorithms. (Méthodes d'analyse précise des algorithmes évolutifs basés sur la population / Методы точного анализа популяционных эволюционных алгоритмов)
Codes et jeux de soustraction et de poursuite dans les graphes. (Codes and subtraction and pursuit games in graphs)
Model selection and adaptive sampling in surrogate modeling: Kriging and beyond. (Sélection de modèle et échantillonnage séquentiel en métamodélisation : Krigeage et au-delà)
Étude et réalisation d'un système intelligent de recherche d'informations : le prototype IOTA
Collective intelligence strategies for efficient autonomous industrial vehicles. (Stratégies d'intelligence collective pour des véhicules industriels autonomes efficaces)
Cross-layer framework for interference avoidance in cognitive radio ad-hoc networks. (Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive)
Ensemble learning methods on the space of covariance matrices : application to remote sensing scene and multivariate time series classification. (Méthodes d'ensemble sur l'espace des matrices de covariance : application à la classification de scènes de télédétection et de séries temporelles multivariées)
Logiques de séparation : complexité, expressivité, calculs. (Reasoning with separation logics : complexity, expressive power, proof systems)
L'évolution des systèmes et architectures d'information sous l'influence des données massives : les lacs de données. (The information architecture evolution under the big data influence: the data lakes)
Privacy-preserving Learning by Averaging in Collaborative Networks. (Calcul des Moyennes dans des Réseaux Collaboratifs pour l'Apprentissage Automatique et Préservant la Confidentialité)
Ordonnancements coopératifs pour les chaînes logistiques. (Scheduling for cooperative supply chains)
Modélisation et résolution de problèmes difficiles de transport à la demande et de Lot-Sizing. (Modeling and solving difficult DARP and Lot-Sizing problems)
Protection of Scalable Video by Encryption and Watermarking. (Protection des Vidéos Hiérarchiques par Cryptage et Tatouage)
Contribution à la cryptographie post-quantique basée sur les codes correcteurs d'erreurs en métrique rang : Hash Proof Systems et cryptographie à bas coût. (Contribution to post-quantum code-based cryptography in rank metric : Hash Proof Systems and lightweight cryptography)
Contribution à l'étude acoustico-perceptive des occlusives du français. (Contribution to the acoustic and perceptual study of french stops)
Analyse d'opinion dans les interactions orales. (Opinion analysis in speech interactions)
Development and evaluation of solutions for the protection of DRAM and MRAM memories against Rowhammer attacks. (Développement et évaluation de solutions de protections des DRAM et MRAM contre l'attaque Rowhammer)
Décompositions tensorielles pour la complétion de bases de connaissance. (Tensor decompositions for knowledge base completion)
Loss-free architectures in optical burst switched networks for a reliable and dynamic optical layer. ([Architectures sans pertes dans les réseaux optiques avec commutation en rafale pour une couche optique fiable et dynamique])
Coordination of Self-Organizing Network (SON) functions in next generation radio access networks. (Coordination des fonctionnalités auto-organisantes (SON) dans les réseaux d'accès radio du futur)
Lipid deposition in rainbow trout (Oncorhynchus mykiss) and European seabass (Dicentrarchus labrax): nutritional regulation of hepatic lipogenesis
Coordination of Distributed Activities in Dynamic Situations. The Case of Inter-organizational Crisis Management. (Coordination des activités réparties dans des situations dynamiques : le cas de la gestion de crise inter-organisationnel)
Solutions for the implementation of a sensors network for border surveillance. (Solutions pour la mise en œuvre d'un réseau de capteurs pour la surveillance de frontières)
Approche stochastique de la segmentation des images : un modèle de coopération entre les primitives de régions et de frontières. (Stochastic approach to image segmentation: a model linking primitives : regions and frontiers)
Modélisation et résolution de problèmes d'ordonnancement au sein du solveur d'optimisation mathématique LocalSolver. (Modeling and solving scheduling problems in the LocalSolver mathematical optimization solver)
A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web. (Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique)
Data Stream Mining Approaches in Intelligent Transportation Systems and Precision Agriculture. (Approches d'exploration des flux de données dans les systèmes de transport intelligents et l'agriculture de précision)
Contributions à la modélisation multi-échelles de la réponse immunitaire T-CD8 : construction, analyse, simulation et calibration de modèles. (Contributions to the multiscale modeling of the CD8 immune response : design, analysis, simulation and calibration of mathematical models)
Data Processing Techniques for Trajectories of Road and Air Vehicles: Dimensionality Reduction, Anomaly Detection, Filtering and Data Compression with Applications in V2X Collective Perception. (Techniques de traitement des données pour les trajectoires des véhicules routiers et aériens: réduction de dimensionnalité, détection d'anomalies, filtrage et compression de données avec des applications en perception collective V2X)
Développement d'un vêtement intelligent pour le suivi et diagnostic en temps-réel de patients atteints de COVID-19 long. (Design of an intelligent garment for real-time monotoring and diagnosis of long COVID-19 patients)
Assessment of Hardy-Weinberg equilibrium and detection of chromosomal deletions in exome-wide sequencing data from large datasets: exploiting large exome datasets to improve identification of clinically relevant genetic variants. (Intérêt de l'équilibre de Hardy-Weinberg et détection des délétions chromosomiques dans les données de séquençage d'exome à partir de grands ensembles de données)
Recherche par Contenu dans les Bases Parallèles d'Images. (Efficient Content-based Retrieval in Parallel Databases of Images)
Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications. (Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications)
Modélisation de trajectoires sémantiques et calcul de similarité intégrés à un ETL. (Semantic trajectory modelling and similarity calculation integrated into an ETL)
Visualization to Support Multi-Criteria Decision-making in Agronomy. (Visualisation pour soutenir la prise de décision multi-critères en agronomie)
Modular robotics meet Internet of things: safety, security and performance challenges and countermeasures. (La robotique modulaire rencontre l'Internet des objets: défis et contre-mesures en matière de sécurité, de sûreté et de performances)
A game theory approach for the collaborative planning of production and transportation activities in the supply chain. (Une approche basée sur la théorie des jeux pour la planification collaborative des activités de production et de transport dans la chaîne logistique)
Simulations of the growth of cities. (Modélisation de la croissance des villes)
Construction hypothétique d'objets complexes. (Hypothetical construction of complex objects)
Modèles faiblement supervisés pour la documentation automatique des langues. (Weakly supervised models for Computational Language Documentation)
Task Mapping and Load-balancing for Performance, Memory, Reliability and Energy. (Allocation de tâches et équilibrage de charge pour les performances, la mémoire, la fiabilité et l'énergie)
Towards Understanding Web Applications: Automated Abstraction Inference and its Applications. (Vers une comprehension des applications web: inference non-supervisée d'abstraction et ses applications)
Functional time series modeling and application to representation and analysis of multi-site electric load curves for energy management. (Modélisation de séries temporelles fonctionnelles et application à la représentation et l'analyse de courbes de charge électrique multi-sites dans un contexte de maîtrise d'énergie)
Towards Large-Scale Urban Environments Modeling from Images. (Vers la modélisation grand échelle d'environnements urbains à partir d'images)
RNS-Flexible hardware accelerators for high-security asymmetric cryptography. (Accélérateurs matériels RNS flexibles pour la cryptographie asymétrique à haute sécurité)
Contribution à l'étude des équations différentielles et aux différences dans le champ complexe. (Contributions to the study of linear differential equations and difference equations in the complex domain)
Traffic Control in Low Power Wide Area Networks. (Contrôle du traffic dans les réseaux LPWANs)
Expressive gesture model. (Modèles de gestes expressifs)
Designing Deep Architectures for Visual Understanding. (Conception d'architectures profondes pour l'interprétation de données visuelles)
Collaborative multimedia sensors for a connected and smart city. (Capteurs multimédias collaboratifs pour une ville connectée et intelligente)
Agent-based modeling of the social and economic factors affecting the choice of transportation mode: application to the Beirut city. (Modélisation orientée agent des facteurs sociaux et économiques affectant le choix du mode de transport: application à la ville de Beyrouth)
Proposition et étude d'une extension du RCPSP pour la Mutualisation entre plusieurs sites : définition, formalisation, méthodes exactes et métaheuristiques. (Proposition and study of an extension of the RCPSP with resource pooling between distant sites)
Commande robuste des robots parallèles à câbles avec mesure extéroceptive. (Robust control of cable-driven parallel robots with exteroceptive measurement)
Optimisation d'un plan de production de produits périssables dans un contexte multi-ressources à capacité finie. (Optimization of a production plan for perishable products in a multi-resources context with finite capacity)
Graph Mining for Influence Maximization in Social Networks. (Fouille de Graphes pour Maximisation de l'Influence dans les Réseaux Sociaux)
Network coding for advanced video applications. (Codage réseau pour des applications multimédias avancées)
Verification and Synthesis of Hybrid Systems. (Vérification et synthèse des systèmes hybrides)
Sur le tri de tâches pour résoudre des problèmes d'ordonnancement avec la programmation par contraintes. (On the use of tasks ordering to solve scheduling problems with constraint programming)