yusuke1997/dblp-id-title huggingface dataset:
Etude mathématique du problème de couplage océan-atmosphère incluant les échelles turbulentes. (Mathematical study of the air-sea coupling problem including turbulent scale effects)
Deep learning interpretability with visual analytics : Exploring reasoning and bias exploitation. (Interprétabilité de l'apprentissage profond via analyse visuelle : Exploration de raisonnements et de l'exploitation de biais)
Dialogue graphique intelligent, fondé sur une ontologie, pour une prothèse de mémoire. (Smart graphical dialogue, based on an ontology, for a memory prosthesis)
Decoupling the optimization space of tensor computation for a better understanding of performance on Intel CPU. (Découpler l'espace d'optimisation des calculs de tenseurs pour une meilleure compréhension de la performance sur CPU)
Stratégies de perception par vision active pour la reconstruction et l'exploration de scènes statiques. (Perception strategies for reconstruction and exploration of static scenes)
Textural-based methods for image superresolution : Application to Satellite-derived Sea Surface Temperature imagery. (Méthodes stochastiques pour la super-résolution d'images texturées : Application à l'imagerie de télédétection satellitaire de la température de surface des océans)
Évolution de schémas dans les entrepôts de données : mise à jour de hiérarchies de dimension pour la personnalisation des analyses. (Data warehouses' schema evolution: dimension hierarchies updating for analyses personalization)
Randomized Derivative Free Optimization via CMA-ES and Sparse Techniques - Applications to Radars. (Optimisation sans dérivées stochastique via CMA-ES et Techniques Sparses - Applications Radars)
A Study of 3D Point Cloud Features for Shape Retrieval. (Etude des propriétés des nuages de points 3D pour reconnaissance de forme)
Etude et mise en oeuvre d'une architecture pour l'authentification et la gestion de documents numériques certifiés : application dans le contexte des services en ligne pour le grand public. (Study and implementation of architecture for the authentification and the management of certified digital documents : application in the context of the on-line services for the general public)
Estimation robuste des modèles de mélange sur des données distribuées
Concretizing software architectures using a formal language: towards domain-specific languages for formal development based on π-ADL. (Concrétisation des architectures logicielles à l'aide d'un langage formel : vers les langages dédiés au développement formel fondés sur π-ADL)
Distributed and Parallel Programming Paradigms Using Graphs of Tasks for Post-Petascale Supercomputers. (Paradigmes de Programmation Répartie et Parallèle Utilisant des Graphes de Tâches pour Supercalculateurs Post-Pétascale)
Visualisation distante temps-réel de grands volumes de données
Imagerie photoacoustique et caractérisation de nanoparticules pour l'étude de la thérapie photothermique. (Photoacoustic imaging and characterization of nanoparticles for the study of photothermal therapy)
Robust analysis of uncertain descriptor systems using non quadratic Lyapunov functions. (Analyse robuste des systèmes descripteurs incertains par des fonctions de Lyapunov non quadratiques)
Stability and stabilization of linear parameter-varying and time-varying delay systems with actuators saturation. (Stabilité et stabilisation des systèmes de retard à paramètres linéaires et variables avec actionneurs saturation)
Contribution à la définition d'un logiciel graphique pour la visualisation et le dialogue interactifs structurés. (High level graphic software for interactive and structured visualization and dialog)
Etude et construction de schémas de subdivision quasi-linéaires sur des maillages bi-réguliers. (Study and construction of the quasi-linear subdivision schemes over bi-regular meshs)
A Stochastic Geometry Approach to the Analysis and Optimization of Cellular Networks. (Analyse et Optimisation des Réseaux Cellulaires par la Géométrie Stochastique)
Au delà de l'évaluation en pire cas : comparaison et évaluation en moyenne de processus d'optimisation pour le problème du vertex cover et des arbres de connexion de groupes dynamiques. (Beyond the worst case evaluation: Comparison and average evaluation of optimization processes in the case of the vertex cover problem and trees connecting groups)
Méthodologie de conception d'architectures numériques complexes: du formalisme à l'implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses. (A methodology for the design of complex digital architectures: from formalism to implementation, taking into account formal analysis. Application to neuroprosthetics)
L'influence de la délibération sur les réseaux sociaux, les réseaux sociosémantiques et l'opinion par l'utilisation d'un code de procédure en grand groupe ou d'une méthode alternative de discussion en petits groupes lors d'une expérimentation en minipublic. (The influence of deliberation on social networks, sociosemantic networks and opinion through the use of a code of procedure in large group and an alternative method of small group discussion during an experiment of minipublic)
Modeling musical anticipation: From the time of music to the music of time. (Modélisation de l'anticipation musicale: Du temps de la musique vers la musique du temps)
Investigating the representation of numerosity in humans and convolutional neural networks using high-variability photorealistic stimuli. (Étude de la représentation de la numérosité chez l'homme et au sein des réseaux de neurones convolutionnels à l'aide de stimuli photoréalistes)
3D motion reconstruction with deep learning methods: application to motor disabilities. (Reconstruction de mouvements en 3D à l'aide de méthodes d'apprentissage profond: application aux handicaps moteurs)
Apprentissage symbolique à partir de données issues de simulation pour l'aide à la décision. Gestion d'un bassin versant pour une meilleure qualité de l'eau
DNA data storage algorithms and synchronization. (Algorithmes pour la synchronisation de données et leur stockage sur ADN)
Contribution à la définition d'une méthode de conception de bases de données à base ontologique. (Contribution to the definition of a mathod for designing an ontology-based database)
Modélisation numérique objective des problèmes couplés hydromécaniques dans le cas des géomatériaux. (Numerical modelling for geomaterials in hydromechanical coupled problems)
MR compatible sensor array for cardiac imaging and endocavitary electric mapping. (MR compatible sensor array for cardiac imaging and endocavitary electric mapping)
Efficient and scalable video conferences with selective forwarding units and webRTC. (Conférences vidéos WebRTC à routage optimisé)
Model-Aided Design of a High-Performance Fly-by-Wire Actuator,Based on a Global Modelling of the Actuation System using Bond-graphs. (Conception d'un Actionneur Hautes Performances pour Commandes de Vols Électriques,Assistée par la Modélisation Bond-Graphs du Systèmes d'Actionnement)
Transformations d'ω-automates pour la synthèse de systèmes réactifs. (Transformations of ω-automata for the synthesis of reactive systems)
Backward error analysis of artificial neural networks with applications to floating-point computations and adversarial attacks. (Analyse inverse des erreurs des réseaux de neurones artificiels avec applications aux calculs en virgule flottante et aux attaques adverses)
Coalescence de l'écologie du paysage littoral et de la technologie aéroportée du LiDAR ubiquiste. (Coaslescence of the littoscape ecology and airborne ubiquitous LiDAR)
Contenu en ADN et texture de la chromatine des cellules tumorales mammaires humaines
ExaSKA: Parallelization on a High Performance Computing server for the exascale radiotelescope SKA. (ExaSKA: Parallélisation sur serveur de calcul intensif pour le radiotelescope exascale SKA)
Dispositif virtuel d'aide à la chirurgie de l'épaule. (Virtual system for an aided shoulder surgery)
Detection et Categorisation d'objets en mouvement dans une video. (Detection and Categories of Moving Objects)
Générateurs de suites binaires vraiment aléatoires : modélisation et implantation dans des cibles FPGA. (True random numbers generators : modelisation and implementation in FPGA)
From vertical to horizontal structures : New optimization challenges in electricity markets. (Des structures verticales aux structures horizontales : Nouveaux défis d'optimisation sur les marchés de l'électricité)
Design and optimization of AL-FEC codes: the GLDPC-Staircase codes. (Conception et optimisation de codes AL-FEC : les codes GLDPC- Staircase)
La modélisation multi-agent du marché du travail français. (The multi-agent modelling of the french labor market)
Preuves de sécurité en cryptographie symétrique à l'aide de la technique du coupling. (Security proofs in symmetric cryptography using the coupling technique)
Prise de Décision et Possibilités d'action: La théorie des affordances à l'épreuve du dépassement automobile. (Decision-Making and Possibilities for Action: New insights into Affordane theory through the car overtaking)
Analyses numérique et analytique couplées d'un modèle d'endommagement gradué. (Coupled numerical and analytical analysis of a graduated damage model)
Modélisation des systèmes éoliens verticaux intégrés aux bâtiments: modélisation du couple production/bâtiment. (An architectural integration and a numerical modeling of a vertical axis wind turbine : modeling of the building/consumption)
Diffusion de l'information dans les médias sociaux : modélisation et analyse. (Information diffusion in social media: modeling and analysis)
Generative Markov models for sequential bayesian classification. (Modèles de Markov génératifs pour la classification séquentielle bayésienne)
Cooperative games and stable matchings in networks. (Jeux coopératifs et d'appariements stables dans les réseaux)
Effects of intensity and scale of production on environmental impacts of poultry meat production chains.: Life Cycle Assessment of French and Brazilian poultry production scenarios
Machine Learning Supported Interactive Visualization of Hybrid 3D and 2D Data for the Example of Plant Cell Lineage Specification. (Visualisation interactive, soutenue par l'apprentissage automatique, de données hybrides 3D et 2D ; l'exemple de la spécification du lignage cellulaire en biologie végétale)
Référence et dialogue finalisé : de la linguistique à un modèle opérationnel
Combinatorics in Algebraic and Logical Cryptanalysis. (Combinatoire en cryptanalyse algébrique et logique)
Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle. (Exploration of Graph Databases : Triangle Enumeration in Large Graphs)
Contributions to the Design and Training of Transformers in Computer Vision. (Contributions à la conception et à l'apprentissage de réseaux neuronaux en vision par ordinateur)
Dar e receber um abraço. Uma análise da conversão em português brasileiro. ('Dar e receber um abraço' ("give and get a hug"). An analysis of conversion in Brazilian Portuguese / 'Dar e receber um abraço' "donner et recevoir une embrassade". Une analyse de la conversion en portugais du Brésil)
Fuzzy4U : un système d'adaptation des Interfaces Homme-Machine en logique floue pour l'accessibilité. (Fuzzy4U : a Human-Computer Interfaces adaptation system in fuzzy logic for accessibility)
Formulation continue du problème de modélisation implicite de structures géologiques discrétisée avec des méthodes de réduction de maillage. (Continuous formulation of implicit structural modeling discretized with mesh reduction methods)
Analyse de formes et de textures : application à l'identification et à l'aide de la gradation des pièces de monnaie. (Shape and texture analysis: application to coin identification and coin grading)
Prototypage Rapide et Génération de Code pour DSP Multi-Coeurs Appliqués à la Couche Physique des Stations de Base 3GPP LTE. (Rapid Prototyping and Dataflow-Based Code Generation for the 3GPP LTE eNodeB Physical Layer mapped onto Multi-Core DSPs)
Modélisation, déformation et reconnaissance d'objets tridimensionnels à l'aide de maillages simplexes
Programmation bayésienne des bras manipulateurs
Duplication et cohérence configurables dans les applications réparties à base de composants
Représentation et interprétation de connaissances spatiales dans un système de dialogue Homme-Machine. (Representation and interpretation of spatial knowledge in a man-machine system)
Extraction et fouille de données textuelles : application à la détection de la dépression, de l'anorexie et de l'agressivité dans les réseaux sociaux. (Text and data mining : application to the detection of depression, anorexia and aggression in social networks)
Increasing the performance of superscalar processors through value prediction. (La prédiction de valeurs comme moyen d'augmenter la performance des processeurs superscalaires)
The One-Man-Crowd : towards single-user capture of collective motions using virtual reality. (One-Man-Crowd : vers la capture par un seul utilisateur de mouvements collectifs à l'aide de la réalité virtuelle)
Modèles déformables contraints en reconstruction d'images de tomographie non linéaire par temps d'arrivée. (Constrained deformable models for non linear first time arrival tomographic data reconstruction)
Augmented reality based middle and inner ear surgical procedures. (Utilisation de la réalité augmentée lors des interventions chirurgicales de l'oreille moyenne et interne)
De la sécurité physique des crypto-systèmes embarqués. (On physical security of embedded systems)
Contributions for Resource and Job Management in High Performance Computing. (Contributions à la Gestion de Ressources et de Tâches pour le Calcul de Haute Performance)
Leveraging lyrics from audio for MIR. (Exploiter les paroles de chansons à partir de l'audio pour le MIR)
Privacy-preserving spectrum sharing. (Un partage de spectre préservant la confidentialité)
Deep learning with Lipschitz constraints. (Apprentissage profond avec contraintes Lipschitz)
Knowledge Modeling and Multilingual Information Extraction for the Understanding of the Cultural Heritage of Silk. (Modélisation des connaissances et extraction d'informations multilingues pour la compréhension du patrimoine culturel de la soie)
Optimizing Property-Preserving Compilation. (Préservation des propriétés dans un flot de compilation optimisant)
Towards more scalable mutual exclusion for multicore architectures. (Vers des mécanismes d'exclusion mutuelle plus efficaces pour les architectures multi-cœur)
Un langage de description et de programmation de systèmes de conduite de procédés industriels
Metaprogrammed algorithmic skeletons : implementations, performances and semantics. (Squelettes algorithmiques méta-programmés : implantations, performances et sémantique)
Efficient persistence, query, and transformation of large models. (Persistance, requêtage, et transformation efficaces de grands modèles)
Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study. (Apports des architectures hybrides à l'imagerie profondeur : étude comparative entre CPU, APU et GPU)
Conception et réalisation logicielles pour les collecticiels centrées sur l'activité de groupe : le modèle et la plate-forme Clover. (Software design and development of groupware applications centered on group activity : the clover architecture model and platform)
Discrete Event Modeling and Simulation of Large Markov Decision Process : Application to the Leverage Effects in Financial Asset Optimization Processes. (Modélisation et simulation de large processus décisionnels markoviens : Application aux effets de leviers pour les processus d'optimisation des portefeuilles financiers)
Performance shaping factor based human reliability assessment using valuation-based systems: application to railway operations. (Évaluation de la fiabilité humaine basée sur des facteurs affectant la performance en utilisant un modèle graphique d'incertitude: application à l'exploitation ferroviaire)
A communication-efficient causal broadcast publish/subscribe system. (Un système de publication/abonnement efficace et respectant l'ordre causale)
Déformation et découpe interactive de solides à géométrie complexe. (Interactive deformation and cutting of complex geometry solids)
Etude et modélisation du comportement des gouttelettes de produits phytosanitaires sur les feuilles de vignes par imagerie ultra-rapide et analyse de texture
Modèles déformables surfaciques, implicites et volumiques, pour l'imagerie médicale. (Surface, implicit, and volumetric deformable models for medical imaging)
Designing flexible relief distribution networks for sudden-onset natural disaster response
Traitement automatique d'informations appliqué aux ressources humaines. (Automatic processing of information applied to human resources)
Analysis and Design of Raptor Codes for Multicast Wireless Channels
Formalizing Time and Causality in Polychronous Polytimed Models. (Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés)
A Synchronous Approach to Quasi-Periodic Systems. (Une Approche Synchrone des Systèmes Quasi-Périodiques)
Méthodologie d'évaluation pour les types de données répliqués. (Evaluation methodology for replicated data types)
Modélisation et optimisation de la consommation énergétique des systèmes à courants porteurs en ligne
Optimizing the bandwidth utilization in distributed storage systems. (Optimiser l'utilisation de la bande passante dans les systèmes de stockage distribué)
Theory and Practice of Physical Modeling for Musical Sound Transformations : An Instrumental Approach to Digital Audio Effects Based on the CORDIS-ANIMA System. (Théorie et pratique de la transformation du son musical à l'aide des modèles physiques : une approche instrumentale des effets audio-numériques fondés sur le système CORDIS ANIMA)
Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces)
Une nouvelle fonction d'agrégation intervalliste et son utilisation en tant que modèle d'apprentissage automatique pour la régression. (A new interval-valued aggregation function and its use as a machine learning model for regression)
Intégration de systèmes dans un réseau local d'ordinateurs : application au centre de calcul réparti
Scheduling for new computing platforms with GPUs. (Ordonnancement pour les nouvelles plateformes de calcul avec GPUs)
Conception de mécanismes d'accréditations anonymes et d'anonymisation de données. (Design of Anonymous Accreditation and Data Anonymization Mechanisms)
Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés. (Contribution to the characterization and identification of human stability in terms of security : application to guided transport)
Comprendre les expériences scolaires des enfants déficients visuels en France: Approche mixte par l'éthnographie. (Understanding visually impaired children's experiences of schooling: a french ethnographic and design inquiry)
Vers des spécifications formelles : Fondements Mathématiques et Informatiques pour la Géométrie Dynamique. (Toward Formal Specifications: Mathematical and Computational Foundations for Dynamic Geometry)
Contrôle Automatique de Qualité pour l' Éclairage Global. (Automatic Quality Control for Global Illumination)
Differential Privacy for Decentralized Learning. (Confidentialité différentielle pour l'apprentissage décentralisé)
Active and deep learning for multimedia. (Apprentissage actif et profond pour le multimédia)
Modelling and Simulating the Progression of Alzheimer's Disease through the Analysis of Multi-modal Neuroimages and Clinical Data. (Modélisation et Simulation de l'Évolution de la Maladie d'Alzheimer à partir de l'Analyse d'Images Cérébrales Multimodales et de Données Cliniques)
Hybrid security solutions for IoT devices. (Solutions de sécurité hybrides pour des appareils IoT)
high-level component-based models for functional verificationof systems-on-a-chip. (Composants abstraits pour la vérification fonctionnelle des systèmes sur puce)
Multimodal transformers for emotion recognition. (Transformateurs multimodaux pour la reconnaissance des émotions)
Contribution à l'intégration des attentes sensorielles dans l'ingénierie de produit : application au confort des sièges automobiles
Simplification automatique de textes techniques et spécialisés. (Automatic simplification of technical and specialized texts)
Opportunistic data collection and routing in segmented wireless sensor networks. (Collecte de données opportuniste et routage dans des réseaux de capteurs sans fil segmentés)
Modeles et outils pour Trouver des jeux Educatifs numeriques. (Models and Tools to Find Learning Games)
ANTHAPSI : un système d'analyse thématique et d'apprentissage de connaissances pragmatiques fondé sur l'amorçage. (ANTHAPSI: a system for thematic analysis and learning pragmatic knowledge which relies on bootstrapping)
Méthode multipôle rapide et sensibilité topologique pour l'identification approchée de défauts à partir de données de type acoustique
Interoperability and Upgradability Improvement for Context-Aware Systems in Agriculture 4.0. (Amélioration de l'interopérabilité et de l'évolutivité pour les systèmes contextuels dans l'agriculture 4.0)
Augmentation de la capacité des interfaces PONs TDMA au-delà de 10Gbit/s dans les réseaux d'accès en fibres optiques. (Capacity enhancement for TDMA PON interfaces above 10Gbit/s in optical fiber access networks)
Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides. (Multi-contextual Structures and Intuitionistic and Hybrid modal logics)
Contrôle des fausses découvertes lors de la sélection de variables en grande dimension. (Control of false discoveries in high-dimensional variable selection)
A Unified View of Local Learning : Theory and Algorithms for Enhancing Linear Models. (Une Vue Unifiée de l'Apprentissage Local : Théorie et Algorithmes pour l'Amélioration de Modèles Linéaires)
Connexité dans les Réseaux et Schémas d'Étiquetage Compact d'Urgence. (Connectivity in Networks and Compact Labeling Schemes for Emergency Planning)
Contributions to the study of MHD convection: theoretical framework, finite volume methods, and pre-exascale simulations. (Contributions à l'étude de la convection MHD: cadre théorique, méthodes volumes finis et simulations à l'échelle pré-exascale)
Cryptographic Protocols. (Protocoles cryptographiques)
Seismic velocity inversion using Multi-objective Evolutionary Algorithms. (Application des algorithmes éVolutionnairesà la déTermination de modèles de Vitessepar inversion sismique)
Algorithms and Cooperation Models in Caching and Recommendation Systems. (Algorithmes et modèles de coopération pour les systèmes de mise en cache et de recommandation)
Algorithmes pour la décision séquentielle dans l'incertain: optimisation de l'utilité espérée dépendant du rang et du critère de Hurwicz. (Algorithms for sequential decision problems under uncertainty: optimization of rank dependent expected utility and Hurwicz criterion: optimization of rank dependent expected utility and Hurwicz criterion)
Resilient and highly performant network architecture for virtualized data centers. (Architecture réseau résiliente et hautement performante pour les datacenters virtualisés)
Architecture hautes performances pour systèmes de communication. (High performance architecture for communication systems)
Modélisation et simulation numérique pour la migration terrestre par équation d'ondes. (Modelling and numerical simulation for land migration by wave equation)
Modélisation adaptée des images omnidirectionnelles pour agrandir le domaine de convergence de l'asservissement visuel virtuel direct. (Adapted modelling of omnidirectional images in order to extend the convergence domain of direct virtual visual servoing)
Modelling Interactions between Nodes in a Credibilist Social Network. (Modélisation des Interactions entre les Nœuds dans un Réseau Social Crédibiliste)
Timing analysis for time-predictable architectures. (Analyse temporelle pour les architectures prédictibles)