yusuke1997/dblp-id-title huggingface dataset:
Scheduling and memory optimizations for sparse direct solver on multi-core/multi-gpu duster systems. (Ordonnancement et optimisations mémoire pour un solveur creux par méthodes directes sur des machines hétérogènes)
Joint communication and computation resources allocation for cloud-empowered future wireless networks. (Gestion conjointe de ressources de communication et de calcul pour les réseaux sans fils à base de cloud)
Analyses de l'algorithme de Gauss. Applications à l'analyse de l'algorithme LLL. (Analyses of the Gauss. Applications of the analysis algorithm LLL)
Prediction of the remaining useful life of aircraft components with deep learning methods. (Prédiction de durées de vie restante de composants aéronautiques par des approches de deep learning)
Résumé automatique de parole pour un accès efficace aux bases de données audio. (Efficient Access to Speech Databases through Automatic Summarization)
Machine Learning Techniques for UAV-assisted Networks. (Techniques d'apprentissage automatique pour les réseaux assistés par drone)
Adaptive Decision Support System for Smart Agricultural Crop Cultivation to Support Food Safety Standard. (Système d'aide à la décision adaptatif pour la culture agricole intelligente afin de soutenir la norme de sécurité alimentaire)
Le transfert adaptatif en apprentissage par renforcement : application à la simulation de schéma de jeux tactiques. (Adaptative transfer in reinforcement learning : application for simulation of game situations)
Synthèse de texture dynamique sur objets déformables. (Synthesis of dynamic textures on deformable objects)
Finite Volume methods on unstructured grids for solving anisotropic heat transfer and compressible Navier-Stokes equations. (Méthodes numériques de type Volumes Finis sur maillages non structurés pour la résolution de la thermique anisotrope et des équations de Navier-Stokes compressibles)
Sketch-based approaches to process massive string data. (Approches Basé sur les Sketches pour le Traitement massif de Chaînes de Caractères)
Design and formal analysis of security protocols, an application to electronic voting and mobile payment. (Conception et analyse formelle de protocoles de sécurité, une application au vote électronique et au paiement mobile)
Détection, Explications et Restructuration de défauts de conception : les patrons abîmés. (Detection, Explanations, and Refactoring of design defects: the spoiled patterns)
l'intégrité et la mise à jour dans un système de gestion de bases de données réparties : projet POLYPHEME
Détection non-supervisée de motifs dans les partitions musicales manuscrites. (Unsupervised motifs detection in handwritten music scores)
Contributions à la gestion du trafic aérien : prédiction des trajectoires par réseaux de neurones et cartes de complexité par maximum d'entropie. (Contributions to air traffic management : prediction of trajectories by neural networks and complexity maps by maximum entropy)
Teaching Predicate-based Autotelic Agents. (Enseigner des agents autotéliques basés sur des prédicats)
Modélisation des capteurs d'émission acoustique en vue de la simulation d'un contrôle. (Modeling acoustic emission sensors for the simulation of a control)
Analyse de l'activité d'enseignants stagiaires du second degré en situation de vidéoformation autonome : Contribution à un programme de recherche technologique en formation. (Activity analysis of secondary school trainee teachers in a situation of autonomous video-enhanced training / Activity analysis of secondary school trainee teachers in a situation of autonomous video-enhanced training : Contribution to a research programme on educational technology)
Support logiciel robuste aux attaques passives et actives pour l'arithmétique de la cryptographie asymétrique sur des (très) petits cœurs de calcul. (Robust software support against passive and active attacks for the arithmetic of asymmetric cryptography on (very) small computing cores)
Interaction and visualization techniques for immersive exploration and perception of 3D datasets. (Visualisation et interaction pour l'exploration et la perception immersive de données 3D)
Conception et modélisation de systèmes de systèmes : une approche multi-agents multi-niveaux. (Conception and modeling of systems of systems : a multi-level mult-agent approach)
Incorporating Ad Hoc Stops in Public Transport: A Study on Flex-Route Transit. (Intégrer des arrêts ad hoc dans les transports publics: une étude sur le transport en commun Flex-Route)
Traitement joint de nuage de points et d'images pour l'analyse et la visualisation des formes 3D. (Joint point clouds and images processing for the analysis and visualization of 3D models)
Des humains derrière l'intelligence artificielle. La sous-traitance du travail de la donnée entre la France et Madagascar. (Humans behind artificial intelligence. Outsourcing data processing between France and the Global South)
Regroupement de compétences robotiques en compétences plus générales. (Merging robotic skills into more general skills)
Multi-channel opportunistic access : a restless multi-armed bandit perspective. (Accès opportuniste dans les systèmes de communication multi-canaux : une perspective du problème de bandit-manchot)
Quality assessment of stereoscopic 3D content based on binocular perception. (Évaluation de la qualité du contenu 3D stéréoscopique basée sur la perception binoculaire)
Bias and Reasoning in Visual Question Answering. (Biais et raisonnement dans les systèmes de questions réponses visuelles)
The influence of the cross section shape on channel flow: modeling, simulation and experiment. (Influence de la forme de la section transversale sur l'écoulement dans un canal: modélisation, simulation et expérience)
Système dynamique et réparti de nommage à indirections multiples pour les communications dans l'Internet
Differentiable optimization for robotics: simulation, learning and control. (Optimisation différentiable pour la robotique: simulation, apprentissage et contrôle)
Plate-forme de réalité virtuelle pour l'étude de l'accessibilité et de l'extraction de lampes sur prototype virtuel automobile. (Platform of virtual reality for studying the accessibility and the mining of lights on virtual prototype car)
Les entrées-sorties dans les architectures massivement parallèles. (Input-output systems in massively parallel architectures)
Le modèle réseaux de Petri temporisés stochastiques: extensions et applications
Observation, caractérisation et modélisation de processus d'attaques sur Internet
Rule mining in knowledge bases. (Extraction des règles d'association dans des bases de connaissances)
Cross Layer Design in MIMO Multi-cell Systems. (Conception de Mecanismes Inter-couches dans les Systemes MIMO Multi-cellulaires)
Approches statistiques pour les communications centrées sur l'utilisateur. (Statistical Approaches for Body Centric Wireless Communications)
Fondements calculatoires de la locomotion anthropomorphe. (Computational foundations of anthropomorphic locomotion)
3D Scene Reconstruction and Completion for Autonomous Driving. (Reconstruction et complétion 3D de la scène pour la conduite autonome)
Extraction d'informations et analyse de données basées sur les ontologies et l'apprentissage automatique pour l'aide à la décision : Application au domaine automobile. (Information extraction and data analysis based on ontologies and machine learning for decision support : Application to the automotive domain)
The Rank Pricing Problem: A mixed-integer linear optimization approach. (Le problème du prix de rang : une approche d'optimisation linéaire en nombres entiers mixtes)
Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis)
Modeling Metabolic Networks and their Environment Interaction . (Modélisation des Réseaux Métaboliques en interaction avec l'Environnement)
Hybrid and context-aware approaches for human activity and behavior recognition in Ambient Assisted Living systems. (Approches hybrides et sensibles au contexte pour la reconnaissance des activités et comportements humains dans les environnements intelligents ambiants)
Contrôle endogène des systêmes multi-agents pour la résolution de problèmes complexes. (Endogenous control of multi-agents systems for solving complex problems)
Toward a beaconless geographic routing with cooperative communications for wireless sensor networks. (Vers un protocole de routage géographique avec contention et communications coopératives pour les réseaux de capteurs)
Understanding the Hidden Web. (Comprendre le Web caché)
Étude d'une architecture IP intégrant un lien satellite géostationnaire. (The study of an IP architecture integrating a geostationary satellite links)
Algorithms for hierarchical graph-based image segmentation. (algorithmes pour la segmentation hiérarchique d'image)
LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
Diagnostic automatisé des pathologies de la rétine à l'aide des volumes OCT. (Automated Diagnostics of Retinal Pathologies Using OCT Volumes)
Error analysis of a class of derivative estimators for noisy signals and applications. (Analyse d'Erreurs d'Estimateurs des Dérivées de Signaux Bruités et Applications)
Machine Learning for Simplifying the Use of Cardiac Image Databases. (Apprentissage automatique pour simplifier l'utilisation de banques d'images cardiaques)
Marqueurs protéiques de la tendreté de la viande bovine: étude prédictive et fonctionnelle
Robust balancing of production lines: MILP models and pre-processing rules. (Equilibrage robuste de lignes de production: modèles de programmation linéaire en variables mixtes et règles de pré-traitement)
Adaptation autonomique d'applications pervasives dirigée par les architectures. (Autonomic adaptation of pervasive applications using architectures)
Implicit and explicit phase modeling in deep learning-based source separation. (Modélisation implicite et explicite de la phase dans la séparation de sources par apprentissage profond)
Methods of teaching architecture in virtual immersion : Experimentations for the design studio. (Méthodes d'enseignement de l'architecture en immersion virtuelle : expérimentations pour le studio de projet)
Towards a 3D building reconstruction using spatial multisource data and computational intelligence techniques. (Vers une reconstruction de batiment en 3D utilisant des données spatiales multisources et des techniques d'intelligence informatique)
Conception et Implantation d'un Environnement de Développement de Logiciels à Base de Composants, Applications aux Systèmes Multiprocesseurs sur Puce. (Design and Implementation of a Component-Based Software Development Environment, Applications for Multi-Processor System-on-Chips)
Application Level Performance in Wired and Wireless Environments. (Peformances de Niveau Applicatif en Environnement Filaire et sans Fil)
Conception d'un cadre d'optimisation de fonctions d'énergies: application au traitement d'images. (New framework design for optimizing energy functions: application to image processing)
Architectures fonctionnelles de transmission sans fils adaptées aux milieux industriels fortement bruités. (Functional wireless transmission architectures adapted to highly noisy industrial environments)
Development of a standardless miniature XRF setup for the analysis of actinides : coupling MC methods with fundamental parameters. (Développement d'un système XRF miniaturisé standardless pour l'analyse des actinides : couplage modélisation MC et paramètres fondamentaux)
Decentralizing news personalization systems. (Décentralisation des systèmes de personnalisation)
Dialogue Modeling in a Dynamic Framework. (Modélisation dynamique des dialogues)
Personalised wearable cardiac sensor services for pervasive self-care. (Conception de services personnalisés pour la capture ubiquitaire de signes vitaux en Santé)
Analyses et méthodes pour les données transcriptomiques issues d'espèces non modèles : variation de l'expression des éléments transposables (et des gènes) et variants nucléotidiques. (Analyses and methods for RNAseq data from non model species : variation in transposable elements (and genes) expression and detection of single nucleotide variants)
On convolution of graph signals and deep learning on graph domains. (Convolution et apprentissage profond sur graphes)
Vers la vérification des langages de description d'interface utilisateur. (Towards the verification of user interface description languages)
Une extension du problème du voyageur de commerce : le problème de ramassage scolaire
STAP: socio-technical data protection framework for requirements with divergent mental models. (STAP: cadre de protection des données socio-techniques pour les besoins avec des modèles mentaux divergents)
Vers une méthodologie dédiée à l'orchestration d'entités communicantes. (Towards a domain-specific methodology for the orchestration of networked entities)
Un système formel de transformation de programmes pour leur exécution sur machines parallèles
Génération automatique d'extensions de jeux d'instructions de processeurs. (Automatic Generation of Instruction-set Extensions)
Byzantine Fault Tolerance: From Static Selection To Dynamic Switching. (Byzantine Fault Tolerance: From Static Selection To Dynamic Switching)
Composition de Services Web: Une Approche basée Liens Sémantiques. (Web Service Composition : Semantic Links based Approach)
Reconstruction dynamique du ventricule gauche à partir de séquences d'images échographiques
Conception de systèmes efficaces en énergie dédiés à l'inférence bayésienne exploitant des nouvelles technologies mémoires. (Energy efficient bayesian reasoning using novel memory technologies)
Etude d'attaques matérielles et combinées sur les "System-on-chip". (Hardware and combined attacks on the "System-on-Chip")
Certain Query Answering on Hyperstreams. (Requêtes Logiques sur les Hyperflux)
Évaluation et analyse des mécanismes de sécurité des réseaux dans les infrastructures virtuelles de cloud computing. (Evaluation and analysis of network security mechanisms in virtual infrastructure cloud)
Caractérisation expérimentale et simulations numériques d'un jet chaud impactant. (Experimental characterisation and numerical simulations of a hot impinging jet)
Exploration d'approches statistiques pour le résumé automatique de texte. (Exploring statistical approaches for automatic text summarization)
Opérations et Algorithmes pour la Segmentation Topologique d'Images 3D. (Operations and Algorithms for Topological Segmentation of 3D Images)
Informed Non-Negative Matrix Factorization for Source Apportionment. (Factorisation informées de matrice pour la séparation de sources non-négatives)
Approche de Gestion du Revenu pour un Problème de Tarification pour le Transport Longue Distance de Marchandises. (Bi-objective and Bilevel Approach for a Long Haul Freight Transportation Pricing Problem)
Système d'agents mobiles pour les architectures de calculs auto-adaptatifs. (Mobile Agent System dedicated to adaptable numerical architecture)
From semantic-aware to semantic-enhanced knowledge graph embedding models for link prediction. (Mesure et enrichissement sémantiques des modèles à base d'embeddings pour la prédiction de liens dans les graphes de connaissances)
Sur l'exploitation d'un réseau de transport en commun : le problème du roulement des agents de conduite
42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems. (42, Une Approche à Composants pour le Prototypage Virtuel des Systèmes Embarqués Hétérogènes)
Prédiction structurée basée sur des segments pour l'extraction de graphes d'information. (Span-based structured prediction for information graph extraction)
Online computation beyond standard models. (Calcul en ligne au-delà des modèles standards)
Dynamic Load Balancing for Active Objects on Computer Grids. (éQuilibrage de charge dynamique Pourdes objets actifs dans les grilles de calcul)
Une nouvelle approche pour les opérations booléennes : formalisation et mise en oeuvre. (A new approach for booleon operations : formalization and implementation)
Méthode d'évaluation de la réactivité et de l'adaptabilité humaines dans le contrôle des risques: Application à la conduite de transport urbain guidé. (Assessment method of human adaptability and reactivity in risk control: Application to the urban guided transport driving)
Les technologies persuasives adaptatives. (Adaptive persuasive technologies)
Apport des données radar polarimétriques pour la cartographie en milieu tropical. (Contribution of polarimetric SAR data for land use cartography in tropical environment)
Analyse, classification et prédiction de consommation d'eau et d'électricité par des techniques de machine learning. (Analysis, classification and prediction of water and electricity consumption by machine learning techniques)
Détection de QTL d'expression de protéines de foie gras de canard mulard
ALDEBARAN : un système de vérification par réduction de processus communicants. (Aldebaran : a system of verification of communicating processes by using reduction)
Ingénierie de simulation multi-agents conduite par la connaissance pour évaluer l'efficacité des plans de gestion de catastrophes. (Knowledge-driven multi-agent simulation engineering for assessing the effectiveness of disaster management plans)
A quality-centered approach for web application engineering. (Une approche centrée sur la qualité pour l'ingénierie des applications Web)
Complexité de l'exploration par agent mobile des graphes dynamiques. (Complexity of dynamic graph exploration by a mobile agent)
WIBOX - A robust video receiver allowing WIMAX video broadcasting and indoor WIFI rebroadcast. (WiBOX - Une passerelle pour une réception robuste de vidéo diffusée via WIMAX et une rediffusion indoor via WIFI)
Preuves symboliques de propriétés d'indistinguabilité calculatoire. (Symbolic Proofs of Computational Indistinguishability)
Modélisation et résolution d'une application d'aide au déploiement d'antennes radio en programmation par contraintes sur le discret et le continu. (Modeling and solving of a radio antennas deployment support application by constraint programming over finite and continuous domains)
Scheduling for memory management and prefetch in embedded multi-core architectures. (Ordonnancement pour la gestion de la mémoire et du préchargement dans les architectures multicoeurs embarquées)
Understanding the performance of mutual exclusion algorithms on modern multicore machines. (Comprendre la performance des algorithmes d'exclusion mutuelle sur les machines multicoeurs modernes)
Etude des propriétés asymptotiques des estimateurs des moindres carrés pour des problèmes de régression à phases multiples. (Asymptotic properties of least squares estimators in velation to the problem of multiple phases regression)
Conception et mise en oeuvre de systèmes multi-agents ouverts et distribués. (Design and implementation of open and distributed multi-agent systems)
Reconstruction 3D de micro-outils curvilignes en neuroradiologie interventionnelle. (3D reconstruction of curvilinear micro-devices for interventionnal neuroradiology )
Beyond Gradients: Zero-Order Approaches to Optimization and Learning in Multi-Agent Environments. (Au-delà des gradients : approches sans gradient pour l'optimisation et l'apprentissage dans des environnements multi-agents)
Hereditary classes of graphs: from structure to coloring. (Classes héréditaires de graphes: de la structure vers la coloration)
Construction rapide, performante et mutualisée de systèmes de reconnaissance et de synthèse de la parole pour de nouvelles langues. (Rapid, efficient and joint construction of speech recognition and synthesis systems for new languages)
Bayesian Multiple Hypotheses Testing with Quadratic Criterion. (Test Bayésien entre hypothèses multiples avec critère quadratique)
Perception multimodale de l'homme pour l'interaction Homme-Robot. (Human multimodal perception for Human-Robot Interaction)
Environnements et langages de programmation visuels pour le traitement de documents structurés. (Visual Programming Languages and Environments for Structured Document Processing)
Lexique-grammaire et Unitex : quels apports pour une description terminologique bilingue de qualité? : analyse sur deux corpus comparables de médecine thermale. (Lexicon-grammar and Unitex : are they suitable for a bilingual terminological description? : analysis on two comparable corpora of thermal medecine)
Reductions and linear approximations. (Réductions et approximations linéaires)
Définition formelle d'un générateur de solutions d'allocation spatiale en deux dimensions : application à l'urbanisme
Compression progressive et sans perte de structures ge'ome'triques. (Progressive and lossless geometric compression)
Un système de réalité augmentée pour guider les opérations du foie en radiologie interventionnelle. (An augmented reality system to guied liver percutaneous punctures)
Compilation vérifiée et sécurisée contre les canaux cachés temporels. (Verified Secure Compilation against Timing Side-Channels)
EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services. (EnTiMid: A flexible component model to integrate smart devices in service-based applications for Ambient Assisted Living)
Enabling pervasive applications by understanding individual and community behaviors. (Nouvelles applications pervasives par la modélisation des comportements individuels et communautaires)
Operating system dedicated to NVRAM-based low power embedded systems. (Système d'exploitation dédié aux systèmes embarqués basse consommation équipés de NVRAM)
Génération de modèles numériques de surface et détection de changements 3D à partir d'imagerie satellite stéréoscopique très haute résolution. (Digital surface model generation and 3D change detection from high resolution satellite stereoscopic imagery)
Conception et réalisation d'un écosystème basé sur des propriétés formelles d'isolation mémoire pour l'Internet des objets. (Design and Implementation of an Ecosystem Based on Formal Memory Isolation Properties for the Internet of Things)
Expériences en synthèse logique. (Experiments in logic synthesis)
Implication Textuelle et Réécriture. (Textual Entailment and Rewriting)
Hygro-Mechanical Behaviour of Wooden Panel Paintings. (Comportement hygro-mécanique des peintures sur panneau de bois)
Algorithmes auto-stabilisants pour la construction de structures couvrantes réparties. (Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures)
Coexistence of communication systems based on enhanced multi-carrier waveforms with legacy OFDM Networks. (Coexistence de systèmes de communication basés sur des formes d'ondes multi-porteuses avancées avec des réseaux OFDM préexistant)
Exploration in Reinforcement Learning: Beyond Finite State-Spaces. (Exploration en apprentissage par renforcement : au-delà des espaces d'états finis)
Modélisation de la Réponse Immunitaire T-CD8: Analyse Mathématique et Modèles Multiéchelles. (Modeling the CD8 T-cell Immune Response: Mathematical Analysis and Multiscale Models)
Optimisation des chemins de données arithmétiques par l'utilisation des systèmes de numération redondants. (Optimization of arithmetical data paths using redundant number systems)
Reconstitution de pan-génomes microbiens par séquençage métagénomique aléatoire: Application à l'étude du microbiote intestinal humain. (Abundance-based reconstitution of microbial pan-genomes from whole-metagenome shotgun sequencing data: Application to the study the human gut microbiota)
Problèmes d'optimisation des les graphes paramétrés. (Optimisation problems in parametrized graphs)
Caractérisation des registres de langues par extraction de motifs séquentiels émergents. (Characterisation of language registers using emerging sequential pattern extraction)
Étude de résonateurs électromagnétiques ouverts par approche modale. Application au filtrage multispectral dans l'infrarouge. (Study of open electromagnetic resonators by modal approach. Application to infrared multispectral filtering.)