yusuke1997/dblp-id-title huggingface dataset:
Méthodologie d'évaluation de la cohérence inter-représentations pour l'intégration de bases de données spatiales. Une approche combinant l'utilisation de métadonnées et l'apprentissage automatique. (Methodology for assessing consistency between multiple representations for spatial databases integration.An approach combining the use of metadata and machine learning)
Modélisation de données structurées avec des machines profondes à noyaux et des applications en biologie computationnelle. (Structured Data Modeling with Deep Kernel Machines and Applications in Computational Biology)
Cancer Detection in Full Field Optical Coherence Tomography Images. (Détection du cancer dans les images de tomographie par cohérence optique plein champ)
Data Communication Algorithms for Emerging Wearable and Urban Sensing Networks. (Algorithmes de communications de données pour les réseaux sans fils mobiles et les réseaux de capteurs en zone urbaines)
LORH: outil pour la planification du parcours patient dans le milieu hospitalier. (LORH: tool for planning patient journey in hospital environment)
Interaction fluide-structure dans un dispositif vasculaire actif. (Fluid-structure interaction in an active vascular device)
A modal approach to model computational trust. (Modèles de confiance logiques)
Vision artificielle pour les non-voyants : une approche bio-inspirée pour la reconnaissance de formes. (Artificial vision for the Blind: a bio-inspired approach for objet recognition)
A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations. (Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives)
Ordonnancement par similarité pour la biométrie : théorie et pratique. (Similarity ranking for biometrics : theory and practice)
Méthodes de traitement du signal pour l'analyse quantitative de gaz respiratoires à partir d'un unique capteur MOX. (Signal processing for quantitative analysis of exhaled breath using a single MOX sensor)
Exploring the neural codes using parallel hardware. (Explorer les codes neuronaux utilisant des machines parallèles)
Modélisation multiphysique de structures nanométriques résonantes. (Multiphysics medling of resonant nanostructures)
Conception d'algorithmes innovants de traitement d'images de la rétine chez l'homme. (Innovative treatments of high resolution retina images in the human eye)
Intrinsically Inseparable: Investigating Novel Tracking Practices and Assessing the Carbon Footprint of Ads. (Intrinsèquement Inséparables : Enquête sur les Nouvelles Pratiques de Suivi et Évaluation de l'Empreinte Carbone des Publicités)
A bayesian approach for Uplift modeling : application on biased data. (Une approche bayésienne pour la modélisation de l'Uplift : application sur des données baisées)
Indoor localization in wireless sensor networks. (Localisation indoor dans les réseaux de capteurs sans fil)
Experimental closed-loop control of SCR aftertreatment systems using NOx sensors cross-sensitive to NH3. (Commande expérimentale en boucle fermée des systèmes de post-traitement SCR en utilisant des sondes à NOx sensibles au NH3)
Effets de la vitesse de glycolyse post mortem du muscle de dinde: Une analyse biochimique et protéomique
Trees, Decompositions, and Knot theory. (Arbres, décompositions, et théorie des Nœuds)
Local distributed lifelong learning system architecture applied to smart buildings. (Architecture de système de formation continue distribuée locale appliquée aux bâtiments intelligents)
Tinap : Modèle et infrastructure d'exécution orienté composant pour applications multi-tâches à contraintes temps réel souples et embarquées. (Tinap: A component-based model and execution infrastructure for multi-task, soft real-time, and embedded applications)
Problèmes de multiflots : état de l'art et approche par décomposition décentralisée du biflot entier de coût minimum. (Multicommodity flow problems: A primal-dual decomposition approach)
Reconnaissance d'objets utilisant des histogrammes multidimensionnels de champs réceptifs. (Object Recognition using Multidimensional Receptive Field Histograms)
Équilibrage bi-stochastique des matrices pour la détection de structures par blocs et applications. (Bi-Stochastic Scaling of Matrices for Block Structure Detection and Applications)
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B)
Typer la désérialisation sans sérialiser les types. (Typing unmarshalling without marshalling types)
Détection d'anomalies pour les données radars du système de contrôle aérien en utilisant la prédiction de données. (Anomaly detection for air traffic control system radar data using data prediction)
A dynamic trust-based context-aware secure authentication framework for pervasive computing environments. (Une architecture d'authentification dynamique et sécurisé, sensible au contexte et basé sur la confiance pour les environnements pervasifs)
Calcul numérique sur données de grande taille. (Computing on large data )
Time series analysis of medium spatial resolution sensing images : LAI recinstruction, unmixing : application to vegetation monitoring on MODIS data. (Analyse de séries temporelles d'images à moyenne résolution spatiale : reconstruction de profils de LAI, démélangeage : application pour le suivi de la végétation sur des images MODIS)
Bibliothèques numériques et crowdsourcing : Expérimentations autour de Numalire, projet de numérisation à la demande par crowdfunding. (Digital libraries and crowdsourcing / Digital libraries and crowdsourcing : Numalire experimentation, a digitization on demand and crowdfunding project)
Contribution aux méthodes d'argumentation pour la prise de décision. Application à l'arbitrage au sein de la filière céréalière. (Contribution to the methods of argumentation for decision making. Application to arbitration within the cereal industry)
Introduction d'une vue textuelle synchronisée avec la vue géométrique primaire dans Cabri-II. (Synchronizing a textual view with the primary geometric view in the dynamic geometry environment Cabri-II)
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles. (Formal specification of distributed real time systems using an approach based on temporally constrained data flows)
Artificial intelligence-based cloud network control. (Contrôle du réseau cloud basé intelligence artificielle)
Aide à la sélection de cibles pour des environnements de réalité virtuelle. (Assistance tools for target selection in virtual reality environments)
Chance-Constrained Optimization: Applications in Game Theory and Markov Decision Processes. (Optimisation sous contraintes en probabilité: applications en théorie des jeux et processus de décision Markovien)
A model-based approach for extracting business rules out of legacy information systems. (Une approche dirigée par les modéles pour l'extraction de règles métier à partir des systèmes d'informations hérités)
La navigation dans les bases d'images : prise en compte des attributs de texture. (Using Textures to Browse Image Databases)
Hybrid Beamforming Techniques for Massive MIMO Full Duplex Radio Systems. (Techniques de Beamforming Hybride pour les Systèmes Radio Massivement MIMO en Full Duplex)
New Algorithmics for Polyhedral Calculus via Parametric Linear Programming. (Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique)
Filtrage, segmentation et suivi d'images échographiques : applications cliniques. (Filtering, Segmentation and ultrasound images tracking. : clinical applications)
Interval Constraint Programming for Differential Dynamical Systems. (Programmation par contraintes sur intervalles pour les systèmes dynamiques différentiels)
Continuous-variable quantum cryptographic protocols. (Protocoles de cryptographie quantique en variables continues)
Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret. (Modular coordination of autonomic managers by discrete control)
Vers une prise en charge des comportements rationnels dans les systèmes distribués. (Towards selfish nodes management in distributed systems)
Optimizing Memory Usage when Training Deep Neural Networks. (Optimisation de la consommation mémoire pendant l'apprentissage)
A generic and open framework for multiword expressions treatment: from acquisition to applications. (Un environnement générique et ouvert pour le traitement des expressions polylexicales)
Estimation des paramètres de sinusoïdes amorties par décomposition en sous-bandes adaptative : application à la spectroscopie RMN
Simulation d'un système conversationnel
Contribution à la robustesse des systèmes temps réel embarqués - Approches de dimensionnement du mécanisme de protection temporelle d'AUTOSAR OS. (Contribution to the robustness of embedded real time systems. Design approaches of the AUTOSAR OS timing protection mechanism)
Contrôle dynamique de la tension et de la difficulté pour l'entraînement à la gestion du stress en situations de crise en environnement virtuel. (Dynamic control of tension and difficulty for stress management training in crisis situations in a virtual environment)
Evaluation of the use of public toxicological data for chemical hazard prediction through computational methods. (De l'utilisation des données publiques pour la prédiction de la toxicité des produits chimiques)
Recognition and Modeling of Manipulation Actions. (Reconnaissance et modélisation des action de manipulation)
Sûreté temporelle pour les systèmes temps réel multiprocesseurs. (Temporal safety for real-time multiprocessor systems)
Classification d'images et localisation d'objets par des méthodes de type noyau de Fisher. (Fisher kernel based models for image classification and object localization)
On the Use of Hierarchical Task for Heterogeneous Architectures. (Programmation des architectures hétérogènes à l'aide de tâches divisibles)
Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations. (Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées)
Unlocking Wireless Sensing Potential in Wi-Fi and IoT Networks. (Libérer le potentiel de détection sans fil dans les réseaux Wi-Fi et IoT)
Knowledge compilation for nondeterministic action languages. (Compilation de connaissances pour les langages d'actions non déterministes)
Optimisation du débit pour des applications linéaires multi-tâches sur plateformes distribuées incluant des temps de reconfiguration. (Troughput optimization of linear multitask workflow applications on distributed platforms including setup times)
Développements statistiques et algorithmiques pour l'analyse des cancers du sein de type triple négatif. (Statistical and algorithmic developments for the analysis of Triple Negative Breast Cancers)
Analyse d'images par des méthodes d'intelligence artificielle en endoscopie digestive, cas de la CPRE. (Image analysis with artificial intelligence methods for interventional radiology, the case of ERCP)
Conception et réalisation d'un manipulateur robotique pour le guidage d'une sonde magnétique dédiée à l'administration de médicaments dans la cochlée. (Design and realization of a robotic manipulator for magnetic probe guidance dedicated to inner ear drug delivery)
Advances in Deep Gaussian Processes: calibration and sparsification. (Avancées dans les Deep Gaussian Processes: étalonnage et sparsification)
Spectrum Sharing under Interference Constraints. (Partage de spectre sous contraintes d'interférences)
Osteotomies mandibulaires virtuelles : acquisition, planification, modelisation et production d'un guide occlusal et condylien imprime en 3 dimensions. Mise en place d'une chaîne méthodologique de la faisabilité à la clinique. (Virtual mandibular osteotomies : acquisition, planning, design and manufacturing of an occlusal and condylar three-diementional (3D) printed splint)
Fully Distributed Time-varying Formation and Containment Control for Multi-agent / Multi-robot Systems. (Contrôle de la formation et du confinement variable dans le temps et entièrement distribué pour les systèmes multi-agents/ multi-robots)
Enabling Predictable Hardware Acceleration in Heterogeneous SoC-FPGA Computing Platforms. (Techniques pour l'amélioration de la prévisibilité de l'accélération matérielle pour les plateformes informatiques hétérogènes SoC-FPGA)
On CARET model-checking of pushdown systems: application to malware detection. (CARET model-checking d'automates à piles: application à la détection de malware)
Définition fonctionnelle, évaluation et programmation d'une architecture massivement parallèle. (Functional definition, evaluation and programmation of a massively parallel architecture)
An operational semantics of interactions for verifying partially observed executions of distributed systems. (Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués)
Etude des milieux pulvérulents non chargés dans l'hypothèse de la plasticité parfaite : application au problème d'une roue rigide reposant sur du sable
Initialize and Calibrate a Dynamic Stochastic Microsimulation Model : application to the SimVillages Model. (Initialiser et calibrer un modèle de microsimulation dynamique stochastique : application au modèle SimVillages)
End-to-end simulation of the energy consumption of Fog infrastructures and their applications. (Simulation de bout-en-bout de la consommation d'énergie des infrastructures Fog et de leurs applications)
Capturing traces of the dance learning process. (Capturer l'apprentissage du mouvement de danse)
Reconnaissance en-ligne d'actions 3D par l'analyse des trajectoires du squelette humain. (Online 3D actions recognition by analyzing the trajectories of human's skeleton)
Vers des mécanismes de routage robustes et optimisés dans un réseau sans fil métropolitain et collaboratif. (Towards robust and optimized routing mechanisms in a metropolitan and collaborative wireless network)
Analyse et synthèse du système de commande d'un détendeur électroniquepour applications spatiales. (Analysis and control design of an electronically controlled gas pressure reducer for space applications)
A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management. (Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste)
Multiscale modelling of Arabidopsis thaliana phyllotaxis perturbation. (Modélisation multiéchelle de perturbation de la phyllotaxie d'Arabidopsis thaliana)
Synthèse Graphique Multidimensionnelle: Application aux documents hétérogènes. (Multidimensional Graphical Summarization: Application to heterogeneous documents)
Gestion de donnée complexes pour la modélisation de niche écologique. (Complex data management for ecological niche modeling)
Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées
Morphometry-informed super-resolution for bone Computed-Tomography imaging. (Super-résolution guidée par la morphométrie pour l'imagerie tomodensitométrique osseuse)
Les ressources explicites vues par la théorie de la réécriture. (Explicit resources from the rewriting point of view)
Multi-scale interaction techniques for the interactive visualization of execution traces. (Techniques d'interaction multi-échelles pour la visualisation interactive de traces d'exécution)
Systemic and concrete methods and tools to address environmental complexity and rebound effects within a design or decision-making process. (Méthodes et outils systémiques concrets pour faire face à la complexité environnementale et aux effets rebond pendant un processus de design ou de décision)
Deep learning for ocean satellite altimetry : specificities and practical implications. (Apprentissage profond pour l'altimétrie satellitaire océanique : spécificités et implications pratiques)
Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne. (Give Another Life to Your Functional Requirements : An Approach Drvicen by Warehousing and Online Anaysis)
SECAAC: Système d'Eco-Conduite Auto-Adaptatif au Conducteur. (Eco-driving system self-adaptive to driver behavior)
Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées. (Automated memory management for real-time embedded Java applications)
Deep learning-based video face-based digital markers for early detection and analysis of Parkinson disease. (Marqueurs numériques faciaux de l'hypomimie fondés sur l'apprentissage profond pour la détection précoce et l'analyse de la maladie de Parkison)
Design and implementation of lightweight and secure cryptographic algorithms for embedded devices. (Conception et implémentation d'algorithmes cryptographiques légers et sécurisés pour dispositifs embarqués)
Extensions algébriques : cas général et cas des radicaux. (Algebraic extensions : general case and case of radicals)
Mining Documents and Sentiments in Cross-lingual Context. (Fouille de documents et d'opinions multilingue)
Vers de nouvelles approches discriminantes pour la reconnaissance automatique de visages. (Towards new discriminant approaches for automatic face recognition)
Evaluating the visibility threshold for a local geometric distortion on a 3D mesh and its applications. (Calcul du seuil de visibilité d'une distorsion géometrique locale sur un maillage et ses applications)
Simulation, optimization and visualization of transportation data. (Simulation, optimisation et visualisation de données de transport)
Etude de l'organisation des gènes des protéines du lait au sein du noyau et attachement de ces gènes à la matrice nucléaire
Conception d'environnement instrumenté pour la veille à la personne. (Design of instrumented environment for human monitoring)
Dynamique intra-annuelle de la minéralisation du carbone organique dans les sols minéraux hydromorphes et à l'échelle du versant agricole
Information-theoretic limits of covert communication over additive-noise channels. (Limites fondamentales des communications dissimulées sur canaux à bruit additif)
Décomposition algorithmique des graphes. (algorithmic decomposition of graphs)
Contribution à la construction et au décodage des codes polaires. (Contribution to the construction and the decoding of polar codes)
Optimisation et compromis surface-vitesse dans le compilateur de silicium SYCO. (Optimization and area-performance hade-offs in the syco silicon compiler)
Improving the resilience of the constrained Internet of Things: a moving target defense approach. (Amélioration de la résilience de l'internet des objets contraint)
Advanced Numerical Methods for the simulation of the industrial quenching process
Parallelism and robustness in hybrid solvers for large linear systems : Application to design optimization in fluid dynamics. (Parallélisme et robustesse des solveurs hybrides pour grands systèmes linéaires : Application à l'optimisation en dynamique des fluides)
Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools)
Improving the simulation of IaaS Clouds. (Amélioration de simulation de cloud IaaS via l'emploi de méthodes stochastiques)
Reconstruction 3D des voies biliaires pour l'amélioration de la CholangioPancréatographie Rétrograde par voie Endoscopique (CPRE). (3D reconstruction of bile ducts for the improvement of Endoscopic Retrograde CholangioPancreatography (ERCP))
Study and development of wireless sensor network architecture tolerant to delays. (Etude et développement d'une architecture de réseaux de capteurs tolérante aux délais)
Communication unicast dans les réseaux mobiles dynamiques. (Unicast communication in mobile dymanic networks)
Protocoles cryptographiques pour l'authentification numérique et le respect de la vie privée. (Cryptographic protocols for digital authentication and privacy)
Architecture Design for Analog Oscillatory Neural Networks. (Conception d'Architecture pour les Réseaux de Neurones Oscillants Analogiques)
Restitution du relief à partir d'images radar par radarclinométrie
Modèles de programmation et d'exécution pour les architectures parallèles et hybrides. Applications à des codes de simulation pour la physique. (Programming models and execution models for parallel and hybrid architectures. Application to physics simulations.)
Blockchain Application for Mesh and Mobile Ad Hoc Networks. (Applications Blockchain pour les réseaux Mesh et Ad hoc mobiles)
Foundations of Reliable Cooperation under Asynchrony, Byzantine Faults, and Message Adversaries. (Fondations de la Coopération Fiable avec de l'Asynchronie, des Pannes Byzantines, et des Adversaires de Messages)
A behavior-driven approach for specifying and testing user requirements in interactive systems. (Une approche dirigée par le comportement pour la spécification et le test des exigences utilisateur dans les systèmes interactifs)
Morphologie Mathématique sur le Cercle Unité, avec applications aux teintes et aux textures orientées. (Mathematical morphology on the unit circle, with applications to hues and to oriented textures)
ℓ₀ based sparse representation. (Représentation parcimonieuse basée sur la norme ℓ₀)
Plate-forme support à l'Interconnexion de Communautés de Pratique. Application au tutorat avec TE-Cap. (Platform supporting Interconnection of Communities of Practice (ICP). Application to tutoring with TE-Cap)
Large scale platform : Instantiable models and algorithmic design of communication schemes. (Modélisation des communications sur plates-formes à grande echelles)
Learning with sparsity and uncertainty by Difference of Convex functions optimization. (Apprentissage avec la parcimonie et sur des données incertaines par la programmation DC et DCA)
La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes noires. (The process of experimental discovery in mathematics mediated by Cabri-Geometry. A theoretical essay based on the analysis of various approaches to the solution of "black box" problems)
Artificial Intelligence in Radiolarian Fossil Identification; Taxonomic, Biostratigraphic and Evolutionary implications. (Intelligence artificielle appliquée à la détermination des radiolaires fossiles ; implications taxonomiques, biostratigraphiques et évolutives)
Predicting Home Wi-Fi QoE from Passive Measurements on Commodity Access Points. (Prédiction de la QoE de la Wi-Fi domestique avec mesures passives sur les points d'accès de base)
Étude et analyse de l'onde de pouls obtenue par r-PPG pour l'évaluation de la tension artérielle périphérique. (Study and analysis of the pulse wave obtained by r-PPG for the evaluation of peripheral blood pressure)
Détection d'objets en mouvement à l'aide d'une caméra mobile. (Moving objects detection with a moving camera)
La dynamique des réseaux coopératifs. L'exemple des logiciels libres et du projet d'encyclopédie libre et ouverte Wikipédia
Une double approche modulaire de l'apprentissage par renforcement pour des agents intelligents adaptatifs. (A Twofold Modular Approach of Reinforcement Learning for Adaptive Intelligent Agents)
Modélisation de cartes génomiques : une formalisation et un algorithme de construction fondé sur le raisonnement temporel. (Genomic map modelling : a formalization and an assembly algorithm based on temporal reasoning)
Modélisation et conception d'algorithmes pour la planification d'emplois du temps. (Modelisation and conception of algorithms for timetabling problems)
Modélisation, observation et commande de la machine asynchrone. (Modelling, observation and control of the induction motor)
Optimised tableau algorithms for reasoning in the description logic ALC extended with link keys. (Algorithmes de tableau optimisés pour le raisonnement dans la logique de description ALC étendue avec des clés de liage)