yusuke1997/dblp-id-title huggingface dataset:
Isolation Mechanisms within the vSwitch of Cloud Computing Platform. (Mécanisme d'isolement dans les commutateurs virtuels sur les plateformes d'informatique en nuage)
Simulation numérique lagrangienne des phénomènes consécutifs à l'excitation dans un plasma d'une onde de très grande amplitude
Spécification et vérification de propriétés quantitatives sur des automates à contraintes. (Specification and verification of quantitative properties on constraint automata)
Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test
For an ethics of conversational Artificial Intelligence. (Pour une éthique de l'intelligence artificielle conversationnelle)
Etude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée
Set-membership estimation and distributed control for a fleet of UAVs for target search and tracking. (Estimation ensembliste et commande distribuée de flotte pour la recherche et le suivi de cibles)
Extending Interaction Space in Augmented Reality : Contributions in Optical-See-Through and Projection-Based Augmented Environments. (Extension de l'espace d'interaction en réalité augmentée : Contributions aux environnements augmentés par transparence optique et par projection)
Random Matrix and Tensor Models for Large Data Processing. (Modèles de Matrices et Tenseurs Aléatoires pour le Traitement de Données Massives)
Cartographie micro-onde et quantification d'incertitudes par inversion-segmentation bayésienne et échantillonnage de Gibbs. (Microwave mapping and uncertainty quantification by Bayesian inversion-segmentation and Gibbs sampling)
Conception d'un environnement de développement pour la résolution de problèmes : apport de l'intelligence artificielle distribuée et application à la vision. (Design of a development framework for distributed problem solving: contribution of distributed artificial intelligence and application to computer vision)
Approches d'apprentissage automatique basées sur l'analyse du cycle de marche pour l'aide au diagnostic de la maladie de Parkinson. (Machine learning approaches based on gait cycle analysis for diagnosis aid of Parkinson's disease)
Supervised metric learning with generalization guarantees. (Apprentissage supervisé de métriques avec garanties en généralisation)
Résolution exacte de problèmes de couverture par arborescences sous contraintes de capacité. (Exact methods for solving covering problems with trees subject to capacity constraints)
Optimisation stochastique et adaptative pour surveillance coopérative par une équipe de micro-véhicules aériens. (Adaptive stochastic optimization for cooperative coverage with a swarm of Micro Air Vehicles)
Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle)
Pixel-Level Tracking and Future Prediction in Video Streams. (Estimation Dense du Mouvement et Anticipation du Futur dans les Flux Vidéo)
Hybridization of dynamic optimization methodologies. (L'hybridation de méthodes d'optimisation dynamique)
Optimisation énergétique des protocoles de communication des réseaux de capteurs sans fil. (Energy optimization of communication protocols of the WSN)
Modèles asymptotiques et simulation numérique pour la diffraction d'ondes par des petites hétérogénéités. (Asymptotic models and numerical simulation for the diffraction of waves by small defects)
Development of localised haptic feedback on interactive surfaces with the Inverse Filter method and its evaluation on a Perkins Braille reading case study. (Développement d'un retour haptique localisé sur des surfaces interactives avec la méthode de filtre inverse et son évaluation sur une étude de cas de lecture en Braille Perkins)
Techniques d'amélioration du routage et de la formation des clusters multi-sauts dans les réseaux de capteurs sans fil. (Improving routing and multi-hop clustering techniques in wireless sensor networks)
Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement
Métabolisme lipidique et cycle du glyoxylate chez la levure Yarrowia lipolytica. (Lipid metabolism and glyoxylate cycle in the yeast Yarrowia lipolytica)
The Long-Haul Parcel Transportation Problem : Path-based Models and Divide-and-Conquer Algorithms. (Problème de transport long-courrier de colis : modèles orientés chemins et algorithmes diviser-pour-régner)
Explainable cautious classifiers. (Classifieurs prudents explicables)
Algorithms for Conditional Search Space Optimal Layout Problems. (Développement d'algorithmes pour les problèmes d'agencement interne à espace de recherche conditionnel)
Automated verification of termination certificates. (Vérification automatique de certificats de terminaison)
Deployment and Scheduling of Wireless Sensor Networks for Air Pollution Monitoring. (Déploiement et Ordonnancement de Réseaux de Capteurs Sans Fil pour le Suivi de la Pollution de l'Air)
Incentive mechanisms for cooperation in time-tolerant networks. (Les mécanismes d'incitation à la coopération dans les réseaux tolérants aux délais)
Hybrid Machine Learning and Geometric Approaches for Single RGB Camera Relocalization. (Approches Hybrides entre l'Apprentissage Automatique et la Géométrique pour la Relocalisation d'une Seule Caméra RVB)
Search-based and supervised text generation. (La génération de texte basée recherche et supervisée)
Contribution a L'elaboration de Methodologies et d'outils d'aide a la conception de systemes Multi-technologiques
Méthodes probabilistes pour la planification réactive de mouvements
Etudes et comparaisons de critères de plans d'expériences optimaux pour l'estimation des paramètres d'un modèle de regression non linéaire
Méthodes de recherche opérationnelle pour la résolution de problèmes intégrés d'ordonnancement de la production et de distribution. (Operations research methods for solving integrated production and distribution scheduling problems)
Topological interference management in clustered ad hoc networks. (Gestion d'interférence topologique dans les réseaux ad hoc clusterisés)
Test de logiciels synchrones spécifiés en Lustre. (Testing synchronous software specified in Lustre)
Computational methods for de novo assembly of next-generation genome sequencing data. (Méthodes de calcul pour assemblage de novo de nouvelle génération des techniques de séquençage du génome)
Low latency video streaming solutions based on HTTP/2. (Solutions de transmission vidéo avec faible latence basées sur HTTP/2)
Analyse de la résistance des chiffrements par blocs aux attaques linéaires et différentielles. (On the resistance of block ciphers to differential and linear cryptanalyses)
Bandits contextuels et combinatoires pour l'élasticité à froid des applications Web dans le Cloud. (Contextual and combinatorial bandits for the cold elasticity of Web applications in the cloud)
On ressource allocation problems in distributed MIMO wireless networks. (Problèmes d'allocation de ressources dans les réseaux MIMO sans fil distribués)
Model-based control-oriented scenario construction in tokamaks. (Optimisation automatisée de scénarios pour le système de champ magnétique poloïdal dans les tokamaks)
Scénarios temporels pour l'interprétation automatique de séquences vidéos. (Temporal Scenario for Automatic Video Interpretation)
Low-Level Modelling for Trains Routing and Scheduling in Railway Stations. (Modélisation de bas niveau pour le routage et l'ordonnancement des trains dans les gares ferroviaires)
Modélisation interactive sous contraintes à partir d'images non-calibrées : Application à la reconstruction tridimensionnelle de bâtiments. (interactive modelisation under constraints from a set of uncalibrated images: application to the building reconstruction)
L'analyse formelle de concepts: un cadre structurel pour l'étude de la variabilité de familles de logiciels. (Formal concept analysis: a structural framework to study variability in software families)
Aspects of connectivity with matroid constraints in graphs. (Aspects de la connexité avec contraintes de matroïdes dans les graphes)
Contribution to the measurement and improvement of the performance of organizations toward an Industry 4.0 context. (Contribution à la mesure et à l'amélioration de la performance des entreprises vers un contexte d'Industrie 4.0)
Development of an integrated tool for Process Modelling and Life Cycle Assessment - Ecodesign of process plants and application to drinking water treatment. (Développement d'un outil intégré pour la Modélisation de Procédés et l'Analyse de Cycle de Vie - Ecoconception d'usines de procédés et application à la production d'eau potable)
Algorithmes rapides d'optimisation convexe. Applications à la reconstruction d'images et à la détection de changements. (Fast algorithms for convex optimization. Applications to image reconstruction and change detection)
Le fil d'ariane : une méthode de planification générale. Application à la planification automatique de trajectoires
Approches quantitative et moléculaire pour l'amélioration génétique des aptitudes maternelles des truies Sino-Européennes Tai Zumu. (Quantitative and molecular approach for the genetic improvement of maternal abilities in the Chinese-European Tai Zumu line)
Traitements formels et sémantiques des échanges et des documents textuels liés à des activités collaboratives. (Formal and semantic processing of textual exchanges and documents related to collaborative activities)
Improving Image Quality using High Dynamic Range and Aesthetics Assessment. (Améliorer la qualité d'images grâce à l'imagerie à grande gamme dynamique et l'évaluation d'esthétique)
Recognition and retrieval tasks in large quasi-unannotated surgical video databases. (Reconnaissance et fouille dans une grande base de vidéos endoscopiques quasi-non annotée)
Geometric operators for 3D modeling using dictionary-based shape representations. (Opérateurs géométriques pour la modélisation 3D via des représentations de formes basées dictionnaire)
Contrôle Générique de Paramètres pour les Algorithmes Evolutionnaires. (Generic Parameter Control for Evolutionary Algorithms)
Analyse des problèmatiques liées à la reconnaissance de sons ambiants en environnement réel. (Analysis of scientific challenges in ambient sound recognition in real environments)
CEYLAN : Un canevas pour la création de gestionnaires autonomiques extensibles et dynamiques. (CEYLAN : A framework for creating extensible and dynamic autonomic managers)
A High Level Model Based on Hardware Dependencies for The Development of Embedded Software on Microcontrollers. (Modèle haut niveau de microcontrôleurs basé sur les dépendances pour le développement de logiciel embarqué)
Deep-Learning Based Exploitation of Eavesdropped Images. (Exploitation d'Images Interceptées Basée Apprentissage Profond)
Généralisation de structures prédicatives. Application à l'analyse de l'information
On the Polling Problem for Decentralized Social Networks. (Problème de Sondage dans les Réseaux Sociaux Décentralisés )
Logic-based Cognitive Planning: from theory to implementation. (Planification cognitive basée sur la logique: de la théorie à l'implémentation)
Calculabilité et conditions de progression des objets partagés en présence de défaillances. (Calculability and progress conditions of shared objects when facing crashes)
Visuo-­perceptual validation methods for physically based image synthesis. (Méthodes de validation visuo-perceptive en synthèse d'image physico-réaliste)
Étude géométrique des problèmes d'optimisation en présence de contraintes
Crop mapping and yield estimation of wheat in the Bekaa plain of Lebanon. (Cartographie et prédiction de la productivité du blé cultivé dans la Plaine de la Bekaa, Liban)
Évaluation des performances par simulations : application aux canaux de signalisation de systèmes radiotéléphoniques. (Performance evaluation of simulation technique: application to the setup channels of radio mobile systems)
Arc fault detection with machine learning. (Adaptation des méthodes d'apprentissage automatique pour la détection de défauts d'arc électriques)
A framework for facilitating the development of systems of systems. (Un framework pour faciliter le développement de systèmes de systèmes)
Accès à l'Information par un Système de Filtrage Collaboratif Contrôlé . (Access to Information through a Collaborative Filtering System controlled)
Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce. (Strategy to reduce thermal cycles for real-time multiprocessor systems-on-chip)
Adaptation en interaction homme-machine : le cas de la plasticité. (Adaptation in Human Computer Interaction: the case of Plasticity)
Conception d'une plateforme compacte d'évaluation de mobilité avec reproduction adaptée des retours haptiques. (Designing a compact platform of mobility assessment with appropriate reproduction of haptic feedback)
Analyse de sensibilité déterministe pour la simulation numérique du transfert de contaminants. (Deterministic sensitivity analysis for the numerical simulation of contaminants transport)
Etude des facteurs limitant l'ingestibilité chez les petits ruminants valorisant les fourrages tropicaux. (Study of factors limiting the intake in small ruminants fed with tropical forages)
Méthodes de Monte Carlo multi-niveaux améliorées pour l'évaluation des options à barrière en finance. (Improved multi level Monte Carlo methods for pricing barrier options in finance)
Recherche sociale et personnalisée d'Information. (Social and Personalized Information Retrieval)
Traitement automatique du dialecte algérien: construction de ressources et d'outils linguistiques. (Automatic Processing of Algerian Dialect: Development of Linguistic Resources and Tools / : المعالجة الآلية للهجة الجزائرية: بناء الموارد والأدوات اللغوية)
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic. (Sur la vérification mécanisée de la méta-théorie des contrats et son instanciation à la logique dynamique différentielle)
Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation. (Analyse statique de manipulations de mémoire par interprétation abstraite - Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite)
Étude mathématique et numérique des résonances dans une micro-cavité optique. (Mathematical and numerical study of resonances in optical micro-cavities)
Représentations dynamiques de graphes. (Dynamic Graph Representations)
Expliquer et justifier les systèmes de décisions algorithmiques. (Explain and Justify Algorithmic Decision Systems)
Towards reliable implementation of digital filters. (Vers une implémentation fiable des filtres numériques)
Conception d'algorithmes temps réel pour transpondeurs optiques élastiques à très haut débit. (Design of real-time algorithms for very high speed and elastic optical transponders)
3D topography by image segmentation approach : application to scanning electron microscopy. (Topographie 3D par approche segmentation : application au microscope électronique à balayage)
Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement: application, dans le domaine automobile, à l'électronique embarquée et à l'informatique manufacturière
Adaptations dynamiques au contexte en informatique ambiante : propriétés logiques et temporelles. (Dynamic adaptation to context in ambient intelligence: logical and temporal properties)
Traitement conjoint de la géométrie et de la radiance d'objets 3D numérisés. (Joint treatment of geometry and radiance for 3D model digitisation)
Distribution multi-contenus sur Internet. (Content distribution over Internet)
Modèles et techniques pour spécifier, développer et utiliser un framework : une approche par méta-modélisation. (Models and Techniques to Specify, Develop and Use a Framework : a Meta-Modeling Approach)
Algorithmes et mécanismes pour la qualité de service dans des réseaux hétérogènes. (Algorithms and mechanisms for quality of service in heterogeneous networks)
On models for performance evaluation and cache resources placement in multi-cache networks. (Sur des modèles pour l'évaluation de performance et le placement des ressources de cache dans les réseaux multi-cache)
Interactions between pathgogens : What are the impacts on public health ? (Interactions entre pathogènes / Interactions entre pathogènes : Quels impacts sur la santé publique ?)
Anisotropic neighborhoods of superpixels for thin structure segmentation. (Voisinages anisotropes de superpixels pour la segmentation d'images de structures fines)
Computer vision for the gesture recognition: gesture analysis and stochastic modelling in music interaction (Vision par ordinateur pour la reconnaissance des gestes: analyse et modélisation stochastique du geste dans l'interaction musicale)
Methods for optimizing customer prospecting in automated display advertising with Real-Time Bidding. (Méthodes d'optimisation de la prospection client dans l'affichage publicitaire automatisé par enchères en temps réel)
Explainable neural kernel logistic regression: application to precision medicine. (Régression logistique à noyau neural explicable: application à la médecine de précision)
Toward adaptation in human-robot collaboration. (Vers l'adaptation dans la collaboration homme-robot)
Une nouvelle approche de Découverte et de Composition de Services Web à base de médiation sémantique et de raisonnement déductif : application au domaine informatique. (A new Approach for Web service Discovery and Composition based on semantic mediation and deductive reasoning: Application to Bioinformatics)
On the use of pattern recognition technique to develop data hiding schemes : application to document security. (Utilisation de techniques de reconnaissance des formes pour la dissimulation de données : application à la sécurisation des documents)
Modélisation et simulation paramétrable d'objets déformables.Application aux traitements des cancers pulmonaires. (Deformable object model and simulation. Application to lung cancer treatment)
Approche Domain-Specific Modeling pour l'opérationnalisation des scénarios pédagogiques sur les plateformes de formation à distance
Conception d'une approche spatialisée à base d'agent pour coupler les modèles mathématiques et informatiques : application à la modélisation du processus écosystémique du sol. (Design of a spatialized agent-based approach for the coupling of computational and mathematical models : modelling of soil ecosystem processes)
Optimisation de l'insertion de contre-mesures pour la sécurité des circuits intégrés. (Optimization of insertion of counter measure for the security of Integreted Circuits)
Multi-modality quality assessment for unconstrained biometric samples. (Évaluation de la qualité multimodale pour des échantillons biométriques non soumis à des contraintes)
Discovery of Unexpected Sequences: from Sequential Patterns to Implication Rules. (Extraction de séquences inattendues : des motifs séquentiels aux règles d'implication)
Toward three-dimensional computation of the acoustic energy-stress tensor. (Vers un calcul tridimensionnel du tenseur énergie impulsion écoustique)
Caractérisations biochimique et biologique des lipopolysaccharides des bactéries présentes dans les bains de dialyse. Pseudomonas cepacia et pseudomonas testosteroni . Etude de leur transfert à travers la membrane de dialyse
Une approche générique pour l'analyse croisant contenu et usage des sites Web par des méthodes de bipartitionnement. (A generic approach to combining web content and usage analysis using biclustering algorithms)
Méthodes de stéganographie fondées sur la prise en compte du bruit de capteur. (Steganography methods based on sensor noise)
Classification et Fusion de Données Actimétriques pour la Télévigilance Médicale : Elaboration etValidation Expérimentale chez la Personne Jeune et Agée. (Accelerometric Data Classification and Fusion in the Framework of Telemonitoring)
Cryptanalyse de Schémas Multivariés. (Cryptanalysis of multivariate schemes)
Using the blockchain technology for trust improvement of processes in Logistics and Transportation. (Utilisation de la technologie blockchain pour l'amélioration de la confiance dans les processus de logistique et de transport)
Vision-based Human Gestures Recognition for Human-Robot Interaction. (Reconnaissance des gestes humains basée sur la vision pour l'interaction homme-robot)
Analyse d'opinion pour l'optimisation de la relation client : optimisation de services de gestion de communautés et d'outils de communication à destination du client. (Analysis of opinion for optimizing customer relations: optimization of community management services and communication tools for customers)
Echange de données pour le parallélisme à gros grain
Classification sur données médicales à l'aide de méthodes d'optimisation et de datamining, appliquée au pré-screening dans les essais cliniques. (Classification of medical data using optimization methods applied to patient screening in clinical trials.)
Architecture événementielle pour les environnements virtuels collaboratifs sur le web: application à la manipulation et à la visualisation d'objets en 3D. (Event-based architecture for web-based virtual collaborative environments: application to manipulation and visualisation of 3D objects)
Assimilation de données variationnelle pour les problèmes de transport des sédiments en rivière. (Variational data assimilation for the problems of sediment transport in rivers)
Modélisation numérique et expérimentale du ruissellement. Effet de la rugosité sur les distances de transfert
Hidden Structures and Quantum Cryptanalysis. (Structures cachées et cryptanalyse quantique)
Bandits à Mémoire pour la prise de décision en environnement dynamique. Application à l'optimisation des réseaux de télécommunications. (Memory Bandits for decision making in dynamical environments. Application to network optimization)
Deep Gaussian Processes for the Analysis and Optimization of Complex Systems -Application to Aerospace System Design. (Processus Gaussiens Profonds pour l'Analyse et l'Optimisation des Systèmes Complexes - Application à la Conception des Systèmes Aérospatiaux)
Quelques outils en vue de la modélisation des processus ponctuels et des processus de clustering
Optimisation de chaînes de traitement de signaux numériques radiofréquences et application à une cascade de filtres. (Optimization of radiofrequency digital signal processing chains and application to a cascade of filters)
Fouille de données par extraction de motifs graduels : contextualisation et enrichissement. (Data mining based on gradual itemsets extraction : contextualization and enrichment)
Prolexbase. Un dictionnaire relationnel multilingue de noms propres : conception, implémentation et mise en ligne. (Prolexbase. An electronic relational multilingual dictionary of proper names: design, implementation and uploading)
Multi-sensor perception with vector maps for autonomous vehicle localization. (Perception multi-capteurs avec des cartes vectorielles pour la localisation des véhicules autonomes)
Alignement des systèmes d'information à base de progiciel, vers une ingénierie dirigée par les modèles centrée identification des risques. (Contribution to the alignment of off-the-shelf product based information systems : towards a model-driven engineering, based on risk identification)
Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement. (Controller Automatic Synthesis with Dependability Constraints)
Simulation and compiler support for communication and mobility for environment sensing. (Simulation et support du compilateur pour la communication et la mobilité pour la surveillance de I'environnement)
Online stereo camera calibration on embedded systems. (Calibrage en ligne des caméras stéréo sur les systèmes embarqués)
Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra)