yusuke1997/dblp-id-title huggingface dataset:
Advanced monitoring in I4.0 era : people, environment, and data. (Surveillance avancée dans l'ère I4.0 : personnes, environnement et données)
Domain agnostic techniques for scaling up program synthesis. (Techniques agnostiques au domaine pour l'accélération de la synthèse de programmes)
Algorithmes de graphes pour la découverte de la topologie d'un réseau énergétique par la connaissance de ses flots. (Algorithm of graphs for topology discovery for a energy network from flot knowledges)
Models and algorithms to study the common evolutionary history of hosts and symbionts. (Modèles et algorithmes pour étudier l'histoire évolutive commune des hôtes et des symbiotes)
Modélisation et Animation de Matériaux Hautement Déformables en Synthèse d'Images
Exact and Heuristic Methods for Multi-Activity Tour Scheduling Problems. (Méthodes exactes et heuristiques pour des problèmes de planification du personnel avec plusieurs activités)
Optimisation de la planification des systèmes industriels en présence de contraintes énergétiques. (Planning optimization of industrial systems with energy constraints)
Exploiting Rateless Coding in Structured Overlays to Achieve Persistent Storage. (L'Exploitation de Codes Fontaines pour un Stockage Persistant des Données dans les Réseaux d'Overlay Structurés)
Ingénierie Concurrente en Génie Logiciel: Céline. (Concurrent Engineering in Software Engineering: Celine)
Aide au geste chirurgical pour la pose de neuroprothèses auditives par fusion d'images ultrasons/scanner. (Surgical gesture guidance for auditory neuroprosthestics implantation based on US/CT images fusion)
Ontologies and semantic web for an evolutive development of logistic applications. (Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique)
Placement Dynamique D'Applications Embarquées Intensives sur des Réseaux de Processeurs sur Puce. (Dynamic Embedded Applications Mapping on MPSoC based NoC)
Knowledge-based 3D point clouds processing. (Traitement 3D de nuages de points basé sur la connaissance)
Adaptation dynamique d'applications multimédia à leur contexte d'exécution dans les réseaux du futur. (Dynamic adaptation of digital service in next generation network)
Modélisation des déséquilibres mécaniques pour les écoulements diphasiques : approches par relaxation et par modèle réduit
Aide au diagnostic de vérification formelle de systèmes. (A diagnosis support for formal verification of systems)
Résilience des systèmes informatiques adaptatifs: modélisation, analyse et quantification. (Resiliency of adaptive computer systems: modeling, analysis and quantification)
Une méthode d'optimisation hybride pour une évaluation robuste de requêtes. (A Hybrid Method to Robust Query Processing)
Élicitation incrémentale des préférences pour l'optimisation multi-objectifs: modèles non-linéaires, domaines combinatoires et approches tolérantes aux erreurs. (Incremental preference elicitation for multiobjective optimization: non-linear models, combinatorial domains and error-tolerant approaches)
Un langage formel pour la conception, la spécification et la vérification d'interfaces homme-machine embarquées critiques. (A formal language for designing, specifying and verifying critical embedded human machine interfaces)
Security Analysis for Pseudo-Random Numbers Generators. (Analyse de Sécurité des Générateurs Pseudo-Aléatoires)
Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Conception d'une famille de coprocesseurs parallèles intégrées pour le traitement d'images. (Design of a range of parallel integrated coprocessors for image processing)
Gestion et extension automatiques du dictionnaire relationnel multilingues de noms propres Prolexbase Mise à jour multilingues et création d'un volume arabe via la Wikipedia. (Automatic management and extension of the multilingual relational dictionary of proper names Prolexbase. Multilingual update and creation of an Arabic volume via the Wikipedia)
ModéLisation de ProCédéS logiciels à Base de patrons Réutilisables. (Software Process Modelling Based on Reusable Patterns)
Sonification binaurale pour l'aide à la navigation. (Binaurale sonification for navigation aid)
Anomalies placentaires associées au clonage somatique chez les bovins. Analyses morphométriques et sécrétion de protéines associées à la gestation. (Placental abnormalities in bovine somatic clones. Morphometric analyses and pregnancy-associated proteins secretion)
Mécanismes numériques et distribués de l'anticipation motrice. (Numerical and distributed mechanisms of motor anticipation)
Study and implementation of nonlinear equalizers using artificial neural networks for coherent optical transmission systems. (Etude et implémentation des égaliseurs non-linéaires utilisant des réseaux de neurones artificiels pour les systèmes de transmission optique cohérente)
Development of an intelligent garment integrating physiological sensors and a decision making system : applied to the online human well-being monitoring. (Développement d'un vêtement connecté et intelligent par l'intégration des capteurs physiologiques et muni d'un système d'aide à la décision : application à la surveillance en ligne de la santé humaine)
Modélisation et apprentissage des préférences appliqués à la recommandation dans les systèmes d'impression. (Preference modeling and learning with application to recommandation in print systems)
Deep neural networks and partial differential equations. (Réseaux de neurones profonds et équations aux dérivées partielles)
Deep learning representations for prognostics and health management. (Apprentissage profond des représentations pour le pronostic et management de la santé)
Conception et étude d'une architecture numérique de haute performance pour le calcul de la fonction exponentielle modulaire
Reprise de processus dans un environnement distribué après pannes matérielles transitoires ou permanentes
Endomorphism Rings in Cryptography
Indexation bio-inspirée pour la recherche d'images par similarité. (Bio-inspired Indexing for Content-Based Image Retrieval)
De l'optimisation à la décomposition de l'ontologique dans la logique de description
Certification of an Instruction Set Simulator
Positionnement automatique de points de repère anatomiques pour la plannification chirurgicale. (Automatic positionning of anatomical landmarks for chirurgical planification)
Test de systèmes temps réel à l'aide du forçage en ligne. (Testing real-time systems using runtime enforcement)
Comparaison et extensions de modèles de séquencement intégrant des stratégies de regroupement des véhicules : opportunités pour la chaîne logistique automobile. (Comparison and extensions of sequencing models integrating car grouping strategies : opportunities for the automotive supply chain)
Algorithmes de diffusion dans les réseaux dynamiques de capteurs sans fil. (Broadcadsting algorithms in vireless sensor networks in dynamic with dynamic topology)
A type theoretic approach to weak w-categories and related higher structures. (Catégories faibles et structures supérieures afférentes en théorie des types)
Learning regular languages over large alphabets. (Apprentissage de langages réguliers sur des alphabets de grandes tailles)
Développement d'un outil d'aide à la décision thérapeutique pour quatre maladies rares: le lupus érythémateux, la sclérodermie systémique, la maladie de Takayasu, le syndrome des anti-phospholipides. (Development of a therapeutic decision support tool for four rare diseases: lupuserythematosus, systemic scleroderma, Takayasu's disease, anti-phospholipid syndrome)
Utilisation de l'algèbre de Boole en logique mathématique
Vers un système omni-langage de recherche de mots dans des bases de documents écrits homogènes. (Towards an omni-language word retrieval system applied in homogeneous document collections)
Optimisation d'un réseau de distribution de contenus géré par un opérateur réseauOptimization of vido Delivery in Telco-CDN
Affective behavior modeling on social networks. (Modélisation des sentiments sur les réseaux sociaux)
Une approche déclarative pour la génération de modèles. (A Declarative Approach for Model Generation)
Collaboration entre un humain, un robot et un système ambiant pour l'évaluation de comportements. (Human, robot an ambient system collaboration for behavior evaluation)
Etude de l'influence du passage à l'échelle sur les modèles de recherche d'information. (Studying the scalability influence on information retrieval models)
Automatisation de la synthèse d'architectures appliquée aux aéronefs à voilure tournante. (Automated architecture synthesis applied to rotary-wing aircrafts)
Agent-based simulations of intermodal mobility-on-demand systems operated by reinforcement learning. (Simulations multi-agent de systèmes de mobilité à la demande intermodaux opérés par des algorithmes à base d'apprentissage par renforcement)
Efficient Neural Networks: Post Training Pruning and Quantization. (Accélération des réseaux de neurones)
Towards a unified eulerian modeling framework for two-phase flows: geometrical small scale phenomena and associated flexible computing strategies. (Vers une modélisation eulérienne unifiée pour les écoulements diphasiques: phénomènes géométriques à petite échelle et stratégies de calcul flexibles associées)
Logistique hospitalière : organisation de la chaîne logistique pharmaceutique aval et optimisation des flux de consommables et des matériels à usage unique. (Hospital logistics: organization of the downstream pharmaceutical supply chain and optimization of consumables and materials with single use)
Optimisation d'algorithmes en tomographie optique diffuse de fluorescence : apport des ondelettes pour la modélisation. (Optimization of algorithms in fluorescence Diffuse Optical Tomography : contribution of wavelets for modelling)
Modèle pour la conception et le réalisation de formations au travers de réseaux : l'environnement ECSAIWEB. (Models for the design and the realization of formations through networks : the ECSAIWEB environment)
Méthodes de théorie des jeux pour la prédiction de la structure 3D de l'ARN. (An algorithmic game-theory approach for the prediction of the 3D structure of RNA)
Scheduling in Distributed Storage Systems. (Ordonnancement dans les systèmes de stockage distribués)
Détection d'évènements simples à partir de mesures sur courant alternatif. (Detection of simple events from alternative current measurements)
Web services governance : Security and Data handling aspects. (Gouvernance de service : aspects sécurité et données)
Construction, Évolution et Visualisation de Topic Maps contextualisées. (Construction, evolution and visualisation of contextualized Topic Maps)
Utilisation d'ontologies comme support à la recherche et à la navigation dans une collection de documents
Modélisation sémantique du cloud computing : vers une composition de services DaaS à sémantique incertaine. (Semantic modeling for cloud computing : toward Daas service composition with uncertain semantics)
Système expert d'aide à la reprise de service d'un réseau électrique après un incident généralisé. (Expert system to help the resumption of service of an electrical network after a generalized incident)
Embedded multiprocessor architectures for automative driver assistance systems. (Architectures multiprocesseurs embarquées pour les systèmes d'aide à la conduite)
Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve
Analyse de stabilité et de performances d'une classe de systèmes non-linéaires à commutations en temps discret. (Stability and performances analysis of a class of discrete-time switched non-linear systems)
Vers une approche comportementale de recommandation : apport de l'analyse des usages dans un processus de personnalisation. (Towards behavioral recommendations: contribution of usage analysis in personalization services)
Discrete minimax classifier for personalized diagnosis in medicine. (Classifieur minimax discret pour l'aide au diagnostic médical dans la médecine personnalisée)
Méthode des Éléments Virtuels pour le calcul de la déformation mécanique couplée aux écoulements en milieux poreux. (Coupling Virtual Element Methods and finite volume schemes for computational geomechanics)
Protocol emergence with multi-agent reinforcement learning. (Émergence de protocoles avec apprentissage par renforcement multi-agents)
Developing and Testing Pervasive Computing Applications: A Tool-Based Methodology
Conception and Analysis of Very High Order Residual Distribution Schemes. Application to Fluid Mechanics. (Conception et Analyse de Schémas Distribuant le Résidu d'Ordre Très Élevé. Application à la Mécanique des Fluides)
Learning the Parameters of Reinforcement Learning from Data for Adaptive Spoken Dialogue Systems. (Apprentissage automatique des paramètres de l'apprentissage par renforcement pour les systèmes de dialogues adaptatifs)
Industrial Recommendation Systems in Big Data Context: Efficient Solutions for Cold- Start issues. (Les systèmes de recommandations industrielles dans un contexte du Big Data: des solutions efficaces pour le problèmes de démarrage à froid)
Modélisation dynamique des systèmes non-holonomes intermittents : application à la bicyclette. (Dynamic modelling of intermittent non-holonomic systems : application to the bicycle)
Reconstruction tridimensionnelle d'éléments anatomiques et génération automatique de maillage éléments finis optimisés. (Three-dimensionnal reconstruction of anatomic elements and generation of optimized finite element models)
Scheduling of parallel real-time DAG tasks on multiprocessor systems. (Ordonnancement temps réels des tâches parallèles sur des systèmes multiprocesseurs)
Safety-maximizing human-machine interactions in drone mission preparation : the case of the specific category. (Interactions humain-machine maximisant la sécurité lors de la préparation des missions de drones : cas de la catégorie d'exploitation spécifique)
Processus Flexible de Configuration pour Lignes de Produits Logiciels Complexes. (Flexible Configuration Process for Complex Software Product Lines)
Reconstruction de surface 3D d'objets vivants. (3D surface reconstruction of living object)
Détection et localisation de particules dans des images PIV via des approches parcimonieuses à grille. (Particle detection and localization in PIV images with grid-based sparsity techniques)
Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants. (Risk estimation at road intersections for connected vehicle safety applications)
Modélisation des transferts radiatifs dans les flammes turbulentes par une méthode de Monte Carlo. (Monte Carlo modeling of radiative transfer in turbulent flames)
Compilation optimisante pour processeurs extensibles. (Optimizing Compilation for Extensible Processors)
Deep Regression Models and Computer Vision Applications for Multi-Person Human-Robot Interaction. (Modèles profonds de regression et applications à la vision par ordinateur pour l'interaction homme-robot)
Une approche sémantique pour la réutilisation et l'adaptation de donnée 3D. (A semantic approach for the reuse and the adaptation of 3D data)
Evolution d'une société artificielle d'agents de parole : un modèle pour l'émergence des structures phonétiques. (Evolution of an artificial society of speech agents : a model for the emergence of phonetic structures)
Compressed sensing and finite rate of innovation for efficient data acquisition of quantitative acoustic microscopy images. (Echantillonnage compressé et technique dite "finite rate of innovation" pour l'acquisition efficace d'images de microscopie acoustique)
Inferring Dense Human Representation from Sparse or Incomplete Point Clouds. (Inférer une représentation dense de l'humain avec un nuage de points épars ou incomplet)
Effets de phytobiotiques sur les performances de croissance et l'équilibre du microbiote digestif du poulet de chair
Piloter le transport de colis intelligents : proposition d'une approche décentralisée Application aux colis contenant des produits sensibles. (Intelligent parcels transport monitoring : a decentralised approach applied on sensitive products supply chain)
Contrôle de la puissance pour les réseaux sans fil. (Power control for Wireless Network)
Modeling and control of MEMS tweezers for the characterizations of enzymatic reactions on DNA molecules. (Caractérisation et commande de micropince en silicium pour l'amélioration de la sensibilité paramétrique d'expériences biologiques sur des molécules d'ADN)
Exploitation de contraintes photométriques et géométriques en vision. Application au suivi, au calibrage et à la reconstruction
Contributions à l'étude des arrangements: Equivalences combinatoires et perturbations. (Contributions to the study of arrangements: Combinatorial equivalences and perturbations)
Un cadre pour caractériser et influencer perception spatiale dans virtuelle hétérogène affichages de réalité. (A framework to characterize and influence spatial perception in heterogeneous virtual reality displays)
Protocoles cryptographiques post-quantiques de préservation de l'anonymat et du secret des communications. (Anonymity and Secrecy Preserving Post-Quantum Cryptographic Protocols)
Élasticité de l'exécution des processus métier. (Elasticity of business processes execution)
zero-watermarking for data integrity, secure provenance and intrusion detection in IoT networks. (zero-watermarking pour l'intégrité des données, la provenance sécurisée et la détection des intrusions dans les réseaux IoT)
Gestion de la qualité de contexte pour l'intelligence ambiante. (Management of the quality of context for ambient intelligence)
Quantification et caractérisation de l'incertitude de segmentation d'images médicales pardes réseaux profonds. (Quantifying and understanding uncertainty in deep-learning-based medical image segmentation)
Recherche d'information sociale : exploitation des signaux sociaux pour améliorer la recherche d'information. (Social information retrieval : harnessing social signals to enhance a search)
Apports des méthodes d'apprentissage profond pour la reconnaissance automatique des modes d'occupation des sols et d'objets par télédétection en milieu tropical. (Contributions of deep learning methods for automatic recognition ofland use and land cover patterns and objects by remote sensing intropical environments)
Exploitation des algorithmes d'apprentissage profond et des séries temporelles d'images satellitaires pour la prédiction de la déforestation. (Exploiting deep learning algorithms and satellite image time series for deforestation prediction)
Personalizable architecture model for optimizing the access to pervasive ressources and services : Application in telemedicine. (Modèle d'architecture personnalisable pour l'optimisation de l'accès à des ressources et services pervasifs : Application à la télémédecine)
Full 3D surface reconstruction with the scanning electron microscope for metrological and educational applications. (Reconstruction de surface 3D complète avec le microscope électronique à balayage pour des applications métrologiques et pédagogiques)
Spectrum-efficient cognitive MIMO relaying : a practical design perspective. (Le relayage MIMO cognitif à grande efficacité spectrale : une perspective de design pratique)
Recherche intelligente d'informations géographiques à partir des toponymes, des métadonnées et d'une ontologie : application aux forêts du Bassin congolais. (Smart search geographical information from names, metadata and ontologies : application to the forests of the Congo)
Configuration par modèle de caractéristiques adapté au contexte pour les lignes de produits logiciels : Application aux Smart Buildings. (Context adaptation of Feature models for software product line / Context adaptation of Feature models for software product line : Application to Smart Buildings)
Mode'lisation et contrôle formel de la reconfiguration - Application aux systèmes embarque's dynamiquement reconfigurables. (Modeling and formal control of reconfiguration - Application to dynamically reconfigurable embedded systems)
Implémentation électronique d'un oscillateur non linéaire soumis au bruit : application à la modélisation du codage neuronal de l'information
Interactions Homme-Machine dans un environnement cyber-physique augmenté : vers une heuristique de conception d'environnements collaboratifs capacitants pour l'industrie du futur. (Human-Machine Interactions in an augmented cyber-physical environment : towards a heuristic for the design of enabling collaborative environments for the industry of the future)
Manipulation de contenu 3D sur des surfaces tactiles
Optimisation holistique pour la configuration d'une architecture logicielle embarquée : application au standard AUTOSAR. (Holistic Optimization for configuration of embedded software architecture : application to the AUTOSAR standard)
Motion Capture and Avatars as Portals for Analyzing the Linguistic Structure of Signed Languages. (La capture de mouvement et les avatars : Portails d'analyse de la structure linguistique des langue des signes)
Distributed cross-layer scalable multimedia services over next generation convergent networks : architectures and performances. (Approche cross-layer pour services multimedia évolutifs distribués sur la prochaine génération de réseaux convergents : architectures et performances)
Influence de la localisation d'antioxydants sur la peroxydation des lipides membranaires : étude du mode d'action de dérivés PBN et de composés phénoliques. (Influence of the location of antioxidants on membrane lipid peroxidation : study of the mechanisms of action of PBN derivatives and phenolic compounds)
Developing interactive artificial intelligence tools to assist pathologists with histology annotation. (Développement d'outils interactifs d'intelligence artificielle pour l'aide à l'annotation en histopathologie)
Spoken Language Understanding for Abstractive Meeting Summarization. (Compréhension du Langage Parlé pour le Résumé Abstractif de Réunion)
Acquisition et analyse de lames de cytologie digitales multi-plans pour l'aide à la détection précoce du cancer de la vessie. (Acquisition and analysis of 3D digital cytology slides for early bladder cancer detection)
From Satellite Images to Vector Maps. (Des Images Satellites aux Cartes Vectorielles)
3D modeling of built heritage: from geometric models to HBIM. (Modélisation 3D du patrimoine bâti ancien: intégration de modèles géométriques dans un BIM patrimonial)
Système et langage portable pour le traitement des application réparties
Contribution à la conception d'une plate-forme haute performance d'intégration d'exécutifs communicants pour la programmation des grilles de calcul
Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies. (Using Destinies for the Decision Problem of Sets of Bounded Quantifier Depth Sentences in Finite or Infinite Structures)
Réseaux de Neurones pour le Traitement d'Antenne et la Commande Référencée Capteur. (Neural Networks for Array Processing and Sensor-Referenced Servoing)
Contribution à la génération de trajectoires optimales pour les systèmes differentiellement plats application au cas d'un Quadri-rotor. (Contribution to the generation of optimal trajectories for differentially flat systems, quadrotor application)
Network virtualization: performance, sharing and applications. (Virtualisation des réseaux : performance, partage et applications)
Security and privacy in automotive on-board networks. (Sécurité et protection de la vie privée dans les systèmes embarqués automobiles)
Knowledge extraction from large ontologies. (Extraction de connaissances à partir d'ontologies de grandes tailles)
Prédiction et augmentation de ressources à la rescousse de l'algorithmique. (Prediction and resource augmentation come to the rescue of algorithmics)
Prédiction des propriétés acoustiques de matériaux fibreux hétérogènes à partir de leur microstructure 3D. (Prediction of the acoustic properties of heterogeneous fibrous materials from their 3D microstructures)