yusuke1997/dblp-id-title huggingface dataset:
Développement d'une sonde électro-optique dédiée à la mesure simultanée du champ électrique et de la température au sein des milieux biologiques. (Development of an electro-optic probe dedicated to the simultaneous measurement of the electric field and the temperature in biological media)
Les preuves vues comme des jeux et réciproquement: sémantique dialogique de langages naturel ou logiques. (Proofs as games and games as proofs: dialogical semantics of logical and natural languages)
Implémentation à haute performance de la fonction de hachage cryptographique SHA3 sur des circuits FPGA. (High-performance implementation of the SHA3 cryptographic hash function on FPGA circuits)
Numerical characterization of point defect kinetics and sink strengths in crystalline solids using absorbing Markov chains. (Caractérisation numérique de la cinétique des défauts ponctuels et des forces de puits dans les solides cristallins à l'aide de chaînes de Markov absorbantes)
Etude d'une nouvelle classe de graphes : les graphes hypotriangulés. (A class of graphs : hypochordal graphs)
Contributions aux méthodes de localisation et cartographie simultanées par vision omnidirectionnelle. (Contributions to Omnidirectional Visual Simultaneous Localization and Mapping)
Extraction et fusion de points d'intérêt et textures spectraux pour l'identification, le contrôle et la sécurité. (Spectral interest points and texture extraction and fusion for identification, control and security)
Use of multi-temporal and multi-sensor data for continental water body extraction in the context of the SWOT mission. (Exploitation de données multi-temporelles et multi-capteurs pour l'extraction de surfaces d'eau continentales dans le contexte de la mission SWOT)
Canaux ioniques sensibles à la tension : contribution à l'étude de l'excitabilité cellulaire
Embedded and high-order meshes : two alternatives to linear body-fitted meshes. (Maillages immergés et d'ordre élevé : deux alternatives à la représentation linéaire des maillages en géométrie inscrite)
Elliptical systems related to superconductor model. (Systèmes elliptiques issus de la modélisation des supraconducteurs)
Learning-based vanishing point detection and its application to large-baseline image registration. (Détection de points de fuite par apprentissage et son application au recalage d'images à large base)
Optimization methods for network design under variable link capacities. (Méthodes d'optimisation pour le dimensionnement de réseaux ayant des liens à capacités variables)
Cellular GPU Models to Euclidean Optimization Problems : Applications from Stereo Matching to Structured Adaptive Meshing and Traveling Salesman Problem. (Modèles cellulaires GPU appliquès à des problèmes d'optimisation euclidiennes : applications à l'appariement d'images stéréo, à la génération de maillages et au voyageur de commerce)
Analyse des données lidar aéroportées à Retour d'Onde Complète pour la cartographie des milieux urbains. (Analysis of Full-Waveform lidar data for urban area mapping)
Cartographie de l'apprentissage artificiel et de ses algorithmes. (Cartography of machine learning and its algorithms)
Analyse spatiale et spectrale des motifs d'échantillonnage pour l'intégration Monte Carlo. (Spatial and spectral analysis of sampling patterns for Monte Carlo integration)
Détections d'interactions biologiques par imagerie de résonance plasmonique de surface : applications au criblage pharmaceutique de chimiothèques & à la détection de toxines. (Detections of biological interactions by surface plasmon resonance imaging: applications to pharmaceutical screening of chemical libraries & to detection of toxins)
Étude de relations entre activités aux échelles cellulaires et macroscopiques. Application au système visuel de reconnaissance des visages. (Study of relationships between activities at cellular and macroscopic scales, application to the visual system of face recognition)
Combinatoire analytique et modèles d'urnes. (Analytic combinatorics and urn models)
Cloud computing security. (La sécurité du cloud computing)
Reconfiguration problems in graphs. (Problèmes de reconfiguration dans les graphes)
Molecular dynamics simulation based image analysis methods for structural studies of biological macromolecular complexesolecular complexes. (Méthodes de traitement d'images basées sur la simulation de la dynamique moléculaire pour l'étude de la structure des complexes macromoléculaires biologiques)
Learning representations of speech from the raw waveform. (Apprentissage de représentations de la parole à partir du signal brut)
From inter-connecting P2P overlays to co-operating P2P systems. (De l'interconnexion à la coopération des systèmes pair-à-pair)
Segmentation de nuage de points 3D pour la modélisation automatique d'environnements industriels numérisés. (3D point cloud segmentation for the automatic modeling of digitized industrial environments)
Étude algébrique et programmation de la discrétisation de figures planes
A VPA-based Aspect Language
Heuristic methods for solving knapsack type problems. (Méthodes heuristiques pour les problèmes de type knapsack)
Architectural Exploration of Network Interface for Energy Efficient 3D Optical Network-on-Chip. (Exploration architecturale des interfaces pour les réseaux optiques sur puce efficaces en énergie)
A Peer-to-Peer Architecture for Networked Virtual Environments. (Une architecture de communication pair-à-pair pour les environnements virtuels en ligne)
Cubical categories for homotopy and rewriting. (Les catégories cubiques en homotopie et en réécriture)
Analyse et adaptation de maillage pour des schémas non-oscillatoires d'ordre élevé. (Analysis and mesh adaptation for high order non-oscillatory schemes)
2D Image Processing Applied to 3D LiDAR Point Clouds. (Traitement d'image 2D appliqué à des nuages de points LiDAR 3D)
Inferring the 3D architecture of the genome. (Inférence de la structure tri-dimensionnelle du génome)
Problème d'implantation de plateformes de logistiques durables en milieu urbain. (Location problem of sustainable logistics platforms in urban areas)
Calcul de réécriture : fondements et applications
Augmented Reality and Numerical Simulations for Hepatic Tumors Resection. (Réalité augmentée et simulations numériques pour l'ablation de tumeurs hépatiques)
Optimisation multicritère : fondements et concepts. (Multicriteria optimization: foundations and concepts)
Elaboration d'un modèle d'identité numérique adapté à la convergence. (Development of a convergence-oriented digital identity framework)
Deep learning for spatio-temporal forecasting - application to solar energy. (Apprentissage profond pour la prédiction spatio-temporelle - application à l'énergie solaire)
Reinforcement learning of a navigation methodfor contact planning on humanoid robots. (Apprentissage par renforcement d'une méthode de navigation pour la planification de contact de robots humanoïdes)
Métaheuristiques adaptatives d'optimisation continue basées sur des méthodes d'apprentissage. (adaptative metaheuristics for continuous optimization based on learning methods)
Cohérences de grandes matrices aléatoires. Théorèmes limites et applications. (Coherence of high dimensional random matrices. Limiting theorems and applications)
Parcours de lecture et d'interprétation : un outil pour des médiations éducatives et culturelles adaptatives. (Reading and interpretation paths: A tool for adaptative educational and cultural mediation)
soCloud : une plateforme multi-nuages distribuée pour la conception, le déploiement et l'exécution d'applications distribuées à large échelle. (socloud: distributed Multi-Cloud Platform for deploying, executing and managing distributed applications)
End-to-End Neural Approaches for Speech Translation. (Approches neurales de bout-en -bout pour la traduction de la parole)
Motion planning of multi-robot system for airplane stripping. (Plannification des trajectoires s'un système multi-robot pour faire le décapage des avions)
Méthodes numériques d'apprentissage pour faciliter la localisation des arythmies ventriculaires lors d'une procédure d'ablation. (Numerical learning methods to facilitate ventricular arrhythmias localisation during ablation procedures)
Provenance et Qualité dans les Workflows Orientés Données : application à la plateforme WebLab. (Provenance and Quality in Data Oriented Workflows : application to the WebLab Platform)
Automatic analysis of image quality criteria in natural scenes using deep neural networks. (Analyse automatique de critères de qualité d'image sur scènes naturelles par réseaux de neurones profonds)
Design of robust networks: application to the design of wind farm cabling networks. (Conception de réseaux robustes: application à des problèmes de câblage dans les parcs éoliens)
Versatile machine learning for neurodevelopmental imaging. (Apprentissage statistique versatile pour la microscopie appliquée au neurodéveloppement)
Modélisation et Optimisation Multi-Objectifs pour l'Extraction de Connaissance. (Multi-Objective Modeling and Optimisation for Knowledge Discovery)
Analyse et conception de scanners laser mobiles dédiés à la cartographie 3D d'environnements urbains. (Analysis and design of mobile laser scanners dedicated to the 3D mapping of urban environments)
Outils d'aide à la décision pour la conception des blocs opératoires. (A decision making system for operating theater design : application of facility layout problem)
Évaluation efficace de fonctions numériques - Outils et exemples. (Efficient evaluation of numerical functions - Tools and examples)
Système de réalité augmentée basé sur l'observation de structures planes:conception et évaluation. (A plane-base system for augmented reality)
Algorithmic fairness analyses of supervised machine learning in education. (Analyses de l'équité algorithmique pour l'apprentissage automatique en éducation)
Modeling and Querying Evidential Databases. (Modélisation et exploitation des bases de données évidentielles)
Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek)
Fundamental Limits of Cache-aided Shared-link Broadcast Networks and Combination Networks. (Limites fondamentales de stockage pour les réseaux de diffusion de liens partagés et les réseaux de combinaison)
Triangulation de Delaunay et arbres multidimensionnels
Mise en oeuvre d'une tâche virtuelle, écologique et paramétrable dans le contexte des fonctions exécutives. (Designing a virtual and adaptable ecological task in the context of executive functions)
Optimisation de la gestion des ressources sur une plate-forme informatique du type Big Data basée sur le logiciel Hadoop. (Optimisation of the ressources management on "big data" platforms using the Hadoop software)
Recherche d'information s'emantique : Graphe sémantico-documentaire et propagation d'activation. (Semantic Information Retrieval : Semantic-Documentary Graph and Spreading Information)
Approche multi-critère pour la caractérisation des adventices. (Multi-criteria approach for weed characterization)
(APPRENTISSAGE SÉQUENTIEL : Bandits, Statistique et Renforcement
Solutions de confiance pour la sécurité dans l'Internet des Objets. (Trust solutions for security in the Internet of Things)
Apprentissage de nouveaux comportements: vers le développement épigénétique d'un robot autonome. (Learning of new behaviors : toward epigenetic development of an autonomous robot)
Solveur linéaire haute-performance pour la thermo-hydro-mécanique avec régularisation par second gradient de dilatation. (Scalable linear solver for thermo-hydro-mechanics with a second gradient of dilation regularization problems)
Enforcing secure information flow in client-side Web applications. (Vers l'établissement du flux d'information sûr dans les applications Web côté client)
Energy management and protocol design for heterogeneous IoT networks leveraging wake-up radio. (Gestion d'énergie et conception de protocoles pour les réseaux IoT hétérogènes utilisant les wake-up radios)
Contribution à la conception, la réalisation et l'utilisation du système de bases de données S 0 M I N E. Les accès aux bases. Aide à la conception assistée par ordinateur
Accélération matérielle pour la traduction dynamique de programmes binaires. (Hardware Accelerated Dynamic Binary Translation)
Une approche de personnalisation de la recherche d'information basée sur le Web sémantique. (An approach of personalization of information retrieval based on the semantic Web)
Single-carrier MIMO systems for frequency selective propagation channels in presence of interference. (Systèmes MIMO pour formes d'ondes mono-porteuses et canal sélectif en présence d'interférences)
Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation. (Combinaison des domaines discret et continu pour la simulation et la génération de tests à partir de modèle SysML)
Storing Sequences in Binary Neural Networks with High Efficiency. (Mémorisation de séquences dans des réseaux de neurones binaires avec efficacité élevée)
Security of Mobile Cloud Applications. (Sécurité des applications Mobile Cloud)
Energy saving solutions for integrated optical-wireless access networks. (Solutions pour économiser de l'énergie dans les réseaux d'accès intégrés : optiques-mobiles)
Méthodologies et technologies pour l'évaluation de la fragilité physique des personnes âgées. (Methodologies and technologies to assess physical frailty in the elderly)
Depth map estimation from stereo images & mathematical morphology. (Estimation de cartes de profondeur à partir d'images stéréo et morphologie mathématique)
Static analysis via abstract interpretation of multithreaded programs. (Analyse statique de logiciels MultitâCHES par InterpréTation abstraite)
Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute. (Code Analysis and Certification Process of Secure Hardware against Fault Injection)
Performance analysis of mobile relays for LTE. (Analyse de performances des relais mobiles dans un réseau LTE)
Apprentissage automatique pour la détection d'anomalies dans les données ouvertes : application à la cartographie. (Satellite images analysis for anomaly detection in open geographical data)
Gestion de la qualité de service (QoS) dans un réseau LoRaWAN avec mobilité. (QoS management in LoRaWAN network with mobility)
Robustesse des réseaux d'automates booléens à seuil aux modes d'itération. Application à la modélisation des réseaux de régulation génétique. (Robustness of threshold boolean automata networks to iteration modes. Application to genetic regulation network modelling)
Optimizing resource utilization in distributed computing systems for automotive applications. (Optimisation de l'utilisation des ressources dans les systèmes informatiques distribués pour les applications automobiles)
Contribution à la structuration des échanges de connaissances dans le cadre de relations de collaboration des chaînes logistiques. (Contribution of the structuration of knowledge in the supply chain relationship)
ARFANet : Une nouvelle approche pour les réseaux actifs. (ARFANET : A new approach for active networks)
On the security of Java Card platforms against hardware attacks. (De la sécurité des plateformes Java Card face aux attaques matérielles)
Réduction a la volée du volume des traces d' exécution pour l'analyse d'applications multimédia de systemes embarqués. (Reducing trace size in multimedia applications endurance tests)
Contributions to Representation Learning with Graph Autoencoders and Applications to Music Recommendation. (Contributions à l'apprentissage de représentations à partir d'autoencodeurs de graphes et applications à la recommandation musicale)
Modélisation de la combustion du gaz naturel par réseaux de réacteurs avec cinétique chimique détaillée. (Modelling of natural gas combustion based on reactor networks with detailed chemical kinetics)
Incertitude et flexibilité dans l'optimisation via simulation ; application aux systèmes de production. (Uncertainty and flexibility in optimization via simulation; Application Production Systems)
Méthodes à noyau pour l'analyse de données de vols appliquées aux opérations aériennes. (Kernel methods for flight data monitoring)
Column Generation for Bi-Objective Integer Linear Programs : Application to Bi-Objective Vehicle Routing Problems. (Génération de colonnes pour les problèmes linéaires en nombres entiers bi-objectif : application aux problèmes de tournées de véhicules bi-objectif)
Modèles et outils pour l'édition et la simulation de procédures métier dans les projets de constructions couplant BIM, réalité virtuelle et bases de connaissances. (Models and tools for authoring and simulating operating procedures in construction projects combining BIM, virtual reality and knowledge bases)
Analyse des données ordinales et modélisation explicative
Contribution à l'exploitation des potentialités des sondeurs ATOVS : AMSU-A, MHS et HIRS. (Contribution to exploiting the potentialities of ATOVS sounders: AMSU-A, MHS and HIRS)
Réduction de la dimension et sélection de modèles en classification supervisée
On the evaluation and generalization of visual representations. (De l'évaluation et la généralisation des représentations visuelles)
Collaborative Content Distribution over a VNF-as-a-Service platform. (Distribution de contenus collaborative basée sur une plateforme de fonctions réseaux virtualisées en tant que service)
Application des techniques d'aide à la décision à la planification sanitaire régionale. (Application of decision support tools to healthcare planning)
Sécurisation de l'exécution des applications contre les attaques par injection de fautes par une contre-mesure intégrée au processeur. (Securisation of the exececution of applications against fault injection attacks by a counter-measure integrated into the processor)
Study of the multimodal understanding of vision-language transformer models. (Étude de la compréhension multimodale des modèles transformeurs vision-langage)
Software-level Analysis and Optimization to Mitigate the Cost of Write Operations on Non-Volatile Memories. (Analyse du logiciel et optimisations de compilation pour réduire le coût des opérations d'écriture sur les mémoires non volatiles)
Fluid Models for Content Distribution Systems. (Modèles fluides pour l'analyse des systèmes de distribution de contenu)
Data management in forecasting systems : optimization and maintenance. (Gestion des données dans les systèmes prévisionnels : optimisation et maintenance)
Material Stock Data Extraction using Geographic Imagery in Material Flow Analysis for Urban Infrastructure. (Extraction des données de stock de matériel par l'imagerie géographique dans l'AFM pour l'infrastructure urbaine)
Tangible Interaction for Wall Displays. (Interaction Tangible pour les Murs d'Écran)
Towards automation process of 3D printing in construction under uncontrolled environment. (Vers un processus d'automatisation de l'impression 3D dans la construction en environnement non contrôlé)
Etude des propriétés acoustiques et mécaniques d'un matériau métallique poreux modèle à base de sphères creuses de nickel
Systèmes de fonctions holonomes: application à la théorie des automates. (Systems of holonomic functions: application in automata theory)
Vers une modélisation et un dimensionnement automatique des systèmes répartis. (Automatic performance modelling of black boxes towards self-sizing)
Provable encryption schemes for distributed systems. (Schémas de Chiffrement Prouvables pour les Systèmes Distribués)
Alignement-reconstruction simultanée de tomogramme électronique et extraction de volume de ribosome. (Simultaneous alignment-reconstruction of electronic tomogram and 3D extraction of ribosome)
Unsupervised anomaly detection in time-series. (Détection non supervisée des anomalies dans les séries temporelles)
Traitement de données incertaines : application au tri des matières plastiques. (Processing of uncertain data : Application to the sorting of plastic materials)
Cooperative Communications in Ad Hoc Networks. (Communications Coopératives en Réseaux Ad Hoc)
Etude qualitative et quantitative de problèmes de coques élastiques non linéaires. (Qualitative and quantitative analysis of non linear elastic shells)
Reconstruction tridimensionnelle à partir d'une caméra en mouvement : de l'influence de la precision. (Tridimensional Reconstruction with a Moving Camera: the Influence of Accuracy)
Localisation coopérative tolérante aux fautes: apport de l'apprentissage pour le diagnostic. (Fault-tolerant cooperative localization: the contribution of learning to diagnosis)
Qualité des articles de recherche et modèles de langue neuronaux : applications au domaine biomédical. (Quality of Research Articles and Neural Language Models : Applications to the Biomedical Domain)
Conséquences d'un contrôle de l'ingestion sur la physiopathologie digestive et le comportement alimentaire du lapin en croissance
Nouvelles heuristiques de voisinage et mémétiques pour le problème Maximum de Parcimonie. (New neighborhood and memetic heuristics for theMaximum Parsimony problem)
Détection du fondamental de la parole en temps réel : application aux voix pathologiques
Constraint-Based Mining of Closed Patterns in Noisy n-ary Relations. (Fouille Sous Contraintes de Motifs Fermés dans des Relations n-aires Bruitées)
Optimisation de la maintenance par la conception robuste de la modularité: Application au torréfacteur de soja. (Maintenance optimization by robust design of the modularity: Application to soybean roaster)
Formulations and Algorithms for General and Security Stackelberg Games. (Formulations et algorithmes pour les jeux de Stackelberg et les jeux de sécurité)
Accès personnalisé à l'information : approche basée sur l'utilisation d'un profil utilisateur sémantique dérivé d'une ontologie de domaines à travers l'historique des sessions de recherche. (Personalized information retrieval: Using A Semantic User Profile Inferred from Domain Ontology through the user search sessions)
Conception d'une plateforme modulable de réseau de neurones biomimétiques pour l'étude des maladies neurodégénératives. (Design of a modular biomimetic neural network for the study of neurodegenerative diseases)
Tool-based methodologies for developing assisted living services. (Méthodologies outillées de développement de services dédiés à l'assistance domiciliaire)
Apport des modèles numériques d'élévation pour l'enrichissement des cartes de navigation par fusion multi-capteurs. (Contribution of digital elevation models for the enrichment of navigation maps by multi-sensor fusion)
Constrained and Low Rank Gaussian Process on some Manifolds. (Processus Gaussien sous contraintes et de rang faible sur certaines variétés)
High-Order Inference, Ranking, and Regularization Path for Structured SVM. (Inférence d'ordre supérieur, Classement, et Chemin de Régularisation pour les SVM Structurés)
Studying and modeling complex interactions for crowd simulation. (Etude et modélisation d'interactions complexes pour la simulation de foule)
De nouveaux facteurs pour l'exploitation de la sémantique d'un texte en Recherche d'Information. (New factors for Exploration of the semantics of a text in information retrieval)
Développement de solutions d'assistance robotique pour l'ouverture de la barrière hémato-encéphalique par ultrasons focalisés. (Robotic assistance for blood-brain barrier opening with focused ultrasound)
Erreurs et interruptions du point de vue de l'ingénierie de l'interaction homme-machine. (Errors and Interruptions in Computer Human Interaction from the Software Engineering Perspective)
Designing for Ecosystems of Communication Apps. (Conception dédiée aux écosystèmes d'applications de communication)
Sparsity, redundancy and robustness in artificial neural networks for learning and memory. (Parcimonie, redondance et robustesse dans les réseaux de neurones artificiels pour l'apprentissage et la mémoire)
Memory safety for synchronous reactive programming. (Sécurité de la mémoire pour la programmation réactive synchrone)
Vers des protocoles de tolérance aux fautes byzantines efficaces et robustes. (Towards efficient and robust byzantine fault tolerance protocols)