yusuke1997/dblp-id-title huggingface dataset:
Packing detection and classification relying on machine learning to stop malware propagation. (Détection et classification d'empaquetage s'appuyant sur l'apprentissage automatique pour contrer la propagation des logiciels malveillants)
Ordonnancement sur les machines à traitement par batches et contraintes de compatibilité. (Scheduling problems with batching machines and compatibility constraints)
Géolocalisation et prédiction dans les réseaux Wi-Fi en intérieur. (Positioning and prediction in indoor Wi-Fi networks)
Integrated building fault detection and diagnosis using data modeling and Bayesian networks. (Méthode intégrée de détection et de diagnostic des défauts dans les bâtiments utilisant la modélisation des données et les réseaux bayésiens)
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle. (Third-party libraries management in a software maintenance context)
Segmentation d'images par morphologie mathématique et classification de données par réseaux de neurones : Application à la classification de cellules en cytologie des séreuses. (Image Segmentation by mathematical morphology and data classification by neural networks: Application to cellular sorting in serous cytology)
Optimisation de tournées de camions complets dans le secteur des travaux publics. (A pickup and delivery problem with full truckloads in the public works sector)
Design and Study of Interactive Systems based on Brain- Computer Interfaces and Augmented Reality. (Conception et Etude de Systèmes Interactifs basées sur les Interfaces Cerveau-Ordinateur et la Réalité Augmentée)
Reconstruction of turbulent velocity fields from punctual measurements. (Reconstruction de champs aérodynamiques à partir de mesures ponctuelles)
Symmetric dialogue games in the proof theory of linear logic
Segmentation and segregation mechanisms and models to secure the integration of Industrial control Systems (ICS) with corporate system. (Mécanismes et modèles de segmentation et de ségrégation pour sécuriser l'intégration des systèmes de contrôle industriel (ICS) avec les systèmes d'entreprise)
Ingénierie des connaissances pour le choix d'interventions numériques de santé application en prévention du risque cardiovasculaire. (Knowledge engineering for the choice of digital health interventions application in cardiovascular risk prevention)
Scattering Representations for Recognition. (Representations en Scattering pour la Reconaissance)
Contributions to graph-based hierarchical analysis for images and 3D point clouds. (Contributions à l'analyse hiérarchique basée sur des graphes pour les images et les nuages de points 3D)
Deep learning based physical-statistics modeling of ocean dynamics. (Modélisation physico-statistique de la dynamique des océans basée sur l'apprentissage profond)
Modèles d'auto-organisation pour l'émergence de formes urbaines à partir de comportements individuels à Bogota
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems)
Etude combinatoire des ordonnés finis
Planification du placement de caméras pour des mesures 3D de précision. (Planning Camera Placement for Accurate 3D Measurements)
Contrôle actif acoustique du bruit large bande dans un habitacle automobile. (Active control of broadband noise in a car cabin)
Spatial relations and spatial reasoning for the interpretation of Earth observation images using a structural model. (Relations spatiales et raisonnement spatial pour l'interprétation des images d'observation de la Terre utilisant un modèle structurel)
The Minimum Labeling Spanning Tree and Related Problems. (Le problème de l'arbre couvrant de nombre d'étiquettes minimal et problèmes connexes)
Vers un système de réalité augmentée autonome
Achieving reliable control: robustness and stability in nonlinear systems via DNN-based feedback design. (Obtenir un contrôle fiable: robustesse et stabilité des systèmes non linéaires grâce aux lois des commandes basée sur les DNNs)
Load Balancing for Parallel Coupled Simulations. (Equilibrage de la charge de codes couplés massivement parallèles)
Supporting User Steering In Large-Scale Workflows With Provenance Data. (Support des actions de pilotage dans les workflows à grande échelle avec données de provenance)
Sélection et composition de services Web pour la génération d'applications adaptées au contexte d'utilisation. (Web services selection and composition for the generation of context-sensitive applications)
Reconstruction tridimensionnelle de l'environnement d'un robot mobile, à partir d'informations de vision omnidirectionnelle, pour la préparation d'interventions. (3D reconstruction of the environment of a mobile robot, using omnidirectionnal vision data, for preparing military operations)
Link Quality in Wireless Sensor Networks. (Qualité des liens dans les réseaux de capteurs sans fil : Conception de métriques de qualité de lien pour réseaux de capteurs sans fil en intérieur et à large échelle)
Propriétés asymtpotiques et inférence avec des données manquantes pour les modèles de maintenance imparfaite. (Asymptotic properties and inference with missing data for imperfect maintenance models)
Timely Classification of Encrypted or Protocol­-Obfuscated Internet Traffic Using Statistical Methods. (Classification rapide de trafic internet chiffré ou obscurci par utilisation de méthodes statistiques)
Cooperation of Combinatorial Solvers for Air Traffic Management and Control. (Collaboration de méthodes d'optimisation combinatoire pour la gestion et le contrôle du trafic aérien)
Etude et optimisation des techniques UWB haut débit multibandes OFDM. (Study and optimization of multi-band OFDM solution for high data rates UWB systems)
Adaptive signal recovery by convex optimization. (Reconstruction adaptative de signaux par optimisation convexe)
Méthodes d'acquisition terminologique en arabe : Application au domaine médical. (Terminology acquisition methods in Arabic : Application in the medical domain)
Algorithmique pour la recherche de motifs approchée et application à la recherche de cibles de microARN. (Algorithms for approximate string matching and application to microRNA target search)
Algorithmes de poursuite pour l'estimation de canal radio-mobile et performances asymptotiques: applications pour les systèmes OFDM. (Tracking algorithms for radio-mobile channel estimation and asymptotic performances: applications to OFDM systems)
Characterisation, evaluation and use of clock jitter as a source of randomness in data security. (Caractérisation, évaluation et utilisation du jitter d'horloge comme source d'aléa dans la sécurité des données)
Solving pure exploration problems with the Top Two approach. (Résoudre les problèmes d'exploration pure avec l'approche Top Two)
Building a Formally Verified High-Performance Multi-Platform Cryptographic Library in F*. (Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F*)
Convergence vers IP des systèmes de télécommunication par satellite. (IP conververgence of satellite communication systems)
Mandatory protection checked against the automotive sector's safety objectives. (Protection obligatoire vérifiée au regard des objectifs safety du secteur automobile)
Traitement et analyse d'images IRM de diffusion pour l'estimation de l'architecture locale des tissus. (Diffusion MR image analysis for the estimation of tissues local architecture)
Algorithmes d'authentification et de cryptographie efficaces pour les réseaux de capteurs sans fil. (Efficient authentication and cryptography algorithms for wirless sensor nerworks)
Transversal I/O Scheduling : from Applications to Devices. (Ordonnancement de E/S transversal : des applications à des dispositifs / Escalonamento de E/S Transversal para Sistemas de Arquivos Paralelos : das Aplicações aos Dispositivos)
Développements en radiomique pour une meilleure caractérisation du gliome infiltrant du tronc cérébral à partir d'imagerie par résonance magnétique. (Developments in radiomics for improving diffuse intrinsic pontine glioma characterization using magnetic resonance imaging)
Exploration randomisée de larges espaces d'états pour la vérification. (Randomised exploration of large state spaces for verification)
Résolution de programmes quadratiques en nombres entiers. (Solution of integer quadratic programs)
Inter-Operative Biopsy Site Relocalization in Gastroscopy: Application to Oesophagus. (Relocalisation de site de biopsie en gastroscopie: application à l'œsophage)
Détection d'anomalies robuste et non-supervisée : Appliquée à la supervision du trafic réseau. (Robust unsupervised anomaly detection : Application to network traffic monitoring)
Les systèmes multi-agents minimaux. (Minimal Multi-Agent Systems)
Models and optimization methods for the inventory-location-routing problem. (Modèles et méthodes d'optimisation pour le problème de localisation-routage avec contraintes de stockage)
Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test)
Aspects méthodologiques de la conception et de la description de systèmes microprocesseurs : réalisation d'un périphérique d'aide au développement d'applications microprocesseurs et de supervision en temps réel
Algorithmes multi-critères pour la prédiction de structures d'ARN. (Multi-criteria algorithms for RNA structure prediction)
Model-Based Software Engineering: Methodologies for Model-Code Synchronization in Reactive System Development. (Model-Based Software Engineering: méthodologies pour la synchronisation entre modèle et code dans le développement de systèmes réactifs)
Integration of industry 4.0 technologies and lean to optimize enterprise performance. (L'intégration des technologies de l'industrie 4.0 et du lean pour optimiser la performance de l'entreprise)
Etude du langage de commande et de contrôle pour le réseau d'ordinateurs SOC (Système d'Ordinateurs Connectés)
Inférence automatique de modèles d'applications Web et protocoles pour la détection de vulnérabilités. (Automatic model inference of Web applications and protocols for vulnerability detection)
Décomposition par séparateurs minimaux complets et applications
Treillis de Galois pour les contextes multi-valués flous. Application à l'étude des traits de vie en hydrobiologie. (Galois Lattices for fuzzy many-valued contexts. Application to life traits study in hydrobiology)
Apprentissage statistique sur données longitudinales de grande taille et applications au design des jeux vidéo. (Statistical learning for large longitudinal data and applications to video game design)
Stratégies d'aide en ligne contextuelles : acquisition d'expertises, modélisation et évaluation expérimentale
Structure and function analysis from muscle MRI data. (Analyse structure et fonction à partir de données IRM musculaires)
Syntaxe dérivationnelle du grec moderne: Les constructions verbales à un complément prépositionnel et les constructions nominales et adjectivales prédicatives associées. (Derivational Syntax of Modern Greek / Derivational Syntax of Modern Greek: Verbal Constructions with one Prepositional Complement and the Related Nominal and Adjectival Predicative Constructions)
Spectrally efficient coded transmissions for wireless and satellite applications. (Traitements itératifs pour l'amélioration des performances des transmissions codées à forte efficacité spectrale)
Fusion d'images multimodales pour l'assistance de procédures d'électrophysiologie cardiaque. (Multimodal images fusion for electrophysiology procedures assistance)
Modélisation multi-échelle de la dynamique spatiale de la Dengue : application à la Nouvelle-Calédonie et à la région Pacifique. (Multi-scale modelling of dengue spatial dynamics : application to New Caledonia and the Pacific region)
Contenu et variabilité des aérosols de la stratosphère: impact des éruptions volcaniques sur la période 2013-2019. (Content and variability of stratospheric aerosols: impact of 2013-2019 volcanic eruptions)
Conceptual Approaches for Securing Networks and Systems
A Multipath and Thermal noise joint error characterization and exploitation for low-cost GNSS PVT estimators in urban environment. (Caractérisation et exploitation des erreurs conjointes de multitrajet et de bruit thermique pour les estimateurs PVT GNSS faible coût, en environnement urbain dense)
Un modèle d'analyseur syntaxique fondé sur la modularité et la lexicalisation de ses grammaires. (A model of robust parser based on the modularity and the lexicalisation of its grammars)
Contribution à la modélisation biofidèle de l'être humain par la prise en compte des interactions fluide-structure. (Toward a more biofidelic modelling of the human body involving fluid-structure interactions)
Enhanced representation & learning of magnetic resonance image signatures in multiple sclerosis. (Améliorer la représentation et l'apprentissage des signatures d'images par résonance magnétique dans la sclérose en plaques)
Impact of mobility and deployment in confined spaces on low power and lossy network. (Impact de la mobilité et du déploiement dans des espaces confinés sur un réseau à faible consommation et à perte)
Etayage de l'activité de conception expérimentale par un EIAH pour apprendre la notion de métabolisme cellulaire en terminale scientifique : Spécialité : CIA -Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création - Didactique des Sciences. (Scaffolding an experimental design with a computer environment to learn metabolisms in high school)
Approche à contraintes pour la sélection de Covering Array. (Covering Array generation using constraint programming)
Data Quality Evaluation of Numeric Data for Classification Tasks. (Évaluation de la qualité des données)
Towards a global and systemic understanding of protein production in prokaryotes. (Vers une compréhension globale et systémique de la production des protéines chez les procaryotes)
Indexation Sémantique des Vidéos : cas des Journaux Télévisés Arabes. (Semantic Indexing System for Arabic Video News)
Transmitter and receiver design for inherent interference cancellation in MIMO filter-bank based multicarrier systems. (Conception d'émetteur et récepteur pour l'élimination des interférences intrinsèques dans les systèmes multiporteuses à base de bancs de filtres et à antennes multiples)
Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards
Simulation numérique du soudage FSW à l'aide d'une formulation ALE. (Arbitrary lagrangian eulerian formulation for the numerical simulation of FSW process)
Quality strategy and method for transmission: application to image. (Évaluation de la qualité des images dans un contexte de transmission)
Hybrid fully homomorphic framework. (Chiffrement complètement homomorphe hybride)
Apports de l'Apprentissage Profond pour la simulation d'images SAR. (Contributions of Deep Learning to SAR image simulation)
Brain and gaze based wheelchair navigation enhancement. (Amélioration de la navigation sur fauteuil roulant basée sur le regard et l'activité cérébrale)
Modélisation logique de l'intentionnalité dans les jeux épistémiques. (Logical modeling of intentionality in epistemic games)
L'équilibre entre consommation énergétique, sécurité et surface de circuit dans la conception de matériel cryptographique léger. (Balancing energy, security and circuit area in lightweight cryptographic hardware design)
Unusual proof systems for modal logics with applications to decision problems. (Systèmes de preuve inhabituels pour la logique modale avec applications aux problèmes de décision)
Deep Graph Neural Networks for Numerical Simulation of PDEs. (Réseaux de neurones sur graphes pour la simulation numérique des EDPs)
Metamodel and bayesian approaches for dynamic systems. (Métamodèles et approches bayésiennes pour les systèmes dynamiques)
Analysis of non-stationary signals in dispersive media : contribution of compressive sensing techniques for interference management. (Analyse des signaux non-stationnaires en milieux dispersifs : apport des techniques compressive sensing pour la gestion des interférences)
Étude de la variabilité de la vapeur d'eau dans la troposphère et la basse stratosphère en région (sub)tropicale et des processus associés
Supervised learning for distribution of centralised multiagent patrolling strategies. (Apprentissage supervisé pour la répartition de stratégies de patrouille multiagent centralisées)
Decision support system for enhancing health care services to reduce potentially avoidable hospitalizations. (Conception d'un systeme decisionnel pour la reduction des hospitalisations potentiellement evitables)
Numerical linear algebra and data analysis in large dimensions using tensor format. (Algèbre linéaire numérique et analyse de données en grande dimensions utilisant le format tenseur)
Representation learning of multimodal and longitudinal data for renal transplantation monitoring. (Apprentissage de représentations de données multimodales et longitudinales pour le suivi de la transplantation rénale)
Security monitoring for network protocols and applications. (Monitorage des aspects sécuritaires pour les protocoles de réseaux et applications)
Formalisation Multi-Agents de la Sociologie de l'Action Organisée. (MultiAgent Formalization of the Sociology of the Organized Action)
Des fondements de la virologie informatique vers une immunologie formelle. (From the computer virology fudments toward a formal immunology)
Un modèle générique pour la gestion des informations complexes et dynamiques :. (A generic model for the management of complexe and dynamic information. The object manager of elen prototype dedicated to software engineering)
Efficient Access Control to XML Data: Querying and Updating Problems. (Contrôle d'Accès Efficace pour des Données XML: problèmes d'interrogation et de mise-à-jour)
Solving strategic and tactical optimization problems in city logistics. (Optimisation Stratégique et tactique en logistique urbaine)
Conditional Scheduling Strategies Using Timed Automata. (Stratégies d'Ordonnancement Conditionnelles Utilisant des Automates Temporisés)
Caractérisation moléculaire de la protéine prion de poisson-zèbre et expression génique au cours du développement
Linking complementary datasets through the augmentation of knowledge graphs and multimodal representations. (Liage de données complémentaires au travers de l'augmentation de graphes de connaissances et de représentations multimodales)
Optimal Design and Resource Management of Fog Infrastructures for Vehicular Networks. (Conception Optimale et Gestion des Ressources des Infrastructures Fog pour des Réseaux Véhiculaires)
Conception et combinaisons de techniques d'interaction mid-air dans les environnements à grands écrans. (Designing and combining mid-air interaction techniques in large display environments)
Surface realisation: ambiguity and determinism. (Réalisation de surface : ambiguïté et déterminisme)
Transformation de l'intonation : application à la synthèse de la parole et à la transformation de voix. (Prosody transformation : application to speech synthesis and voice transformation)
Interpolation polynomiale et rationnelle d'une fonction de plusieurs variables complexes
Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting Hopf Algebras - la théorie des systèmes linéaires)
Parallelism and modular proof in differential dynamic logic. (Parallélisme et preuve modulaire en logique dynamique différentielle)
Safe and secure model-driven design for embedded systems. (Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués)
Nouveaux biomarqueurs vocaux pour la détection automatique de la somnolence. (New speech biomarkers for automatic sleepiness detection)
Stable Matching Games. (Jeux d'appariement stable)
Systèmes de particules et collisions discrètes dans les automates cellulaires. (Systems of discrete particles and collisions in cellular automata)
Gestion et visualisation multiscalaire du territoire au bâtiment: Application à la Gestion et Maintenance assistée par Ordinateur. (Multi-scale management and visualisation of equipments in buildings and territories: An application in Computerized Maintenance Management System)
Représentation uniforme de l'imagerie médicale. (Uniform representation of medical imaging)
Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l'humain. (Analysis and justification of the safety of robotic systems by physical interaction with humans)
Contribution to study and design of intelligent virtual agents : application to negotiation strategies and sequences simulation. (Contribution à l'étude et à la conception d'agents virtuels intelligents : application à la simulation de stratégies de séquences de négociation)
Une méthode pour l'évolution des schémas XML préservant la validité des documents
Extraction et sélection de motifs émergents minimaux : application à la chémoinformatique. (Extraction and selection of minimal emerging patterns : application to chemoinformatics)
Représentations visuelles de concepts textuels pour la recherche et l'annotation interactives d'images. (Keyword visual representation for interactive image retrieval and image annotation)
Architecture logique d'un système multi agents de suivi multi caméra distribué : exploitation du modèle de croyance transférable. (Logical architecture of multi-agent system for distributed multi-camera tracking : use of Transferable Belief Model)
Modélisation cellulaire et simulation physique : contribution à l'analyse de la dynamique de population des insectes ravageurs. (Cell Modeling and physical Simulation : contribution to the analysis of population dynamics of insect pests)
Expérimentation d'algorithmes de préconditionnement de grands systèmes creux pour un problème de puits de pétrole. (Experimentation of preconditioning algorithm of large hollow systems for an oil well problem)
Conception d'un système de détection des chutes par effondrement pendant la marche pour les patients atteints de Myosite à Inclusions. (Design of a wearable robotic device that can detect collapse falls during walk for people who suffer from inclusion body myositis)
Structures et aléa en finance, une approche par la complexité algorithmique de l'information. (Structures and randomness on finance, an approach by computational complexity theory)
Conception, développement et évaluation de techniques d'interactions fluides pour des environnements multidimensionnels : application aux logiciels du service public. (Conception, development and evaluation of fluid interaction techniques for multidimensional environments : application on public services' software)
Une Approche de Composition de Services Dynamiques : application aux Systèmes Collaboratifs. (A Dynamic Service Composition Approach: Application to Collaborative Systems)
Etude des problèmes de conception et de réalisation d'animation : le système SAFRAN
Sélection d'attributs multi-espace à partir de motifs binaires locaux pour la classification de textures couleur. (Multi color space LBP-based feature selection for texture classification)
Computations on Massive Data Sets : Streaming Algorithms and Two-party Communication. (Calculs sur des grosses données : algorithmes de streaming et communication entre deux joueurs)
Recherche des objets complexes dans le Web structuré. (Searching complex data on the structured Web)
A Declarative Approach to Modeling and Solving the View Selection Problem. (Une approche déclarative pour la modélisation et la résolution du problème de la sélection de vues à matérialiser)
Télé-échographie robotisée. (Robotic tele-echography)
Securing data access and exchanges in a heterogeneous ecosystem : An adaptive and context-sensitive approach. (Sécurisation des accès et des échanges dans un écosystème hétérogène d'utilisation des contenus en mobilité : une approche adaptative et sensible au contexte)
Modulation sur les canaux vocodés. (Modulation over speech coded channels)