yusuke1997/dblp-id-title huggingface dataset:
I. Résolution d'un problème de régulation de trafic II. Polytope des absorbants d'un graphe à seuil. (I. Resolving a traffic-control problem II. The polytope of the absorbers of a threshold graph)
Approche dirigée par les modèles pour l'implantation et la réduction d'entrepôts de données. (Model driven approach for implementing and reducing data warehouse)
Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. (Complexité théorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique)
Shortest paths calculations, and applications to medical imaging
Adaptive Personalization of Pedagogical Sequences using Machine Learning. (Personnalisation adaptative de Séquences Pédagogiques à l'aide d'Apprentissage Automatique)
Une nouvelle approche de modélisation et d'adaptation contextuelle des systèmes pervasifs: la plateforme COALA (COntext Adaptation Platform). (A new contextual approach to modeling and adaptation of pervasive systems: the new platform COALA (COntextual pLAtform Adaptation))
In-network Computation for IoT in Named Data Networking. (Le calcul in-network pour l'IoT dans le réseau de données nommé)
The GNU Taler system: practical and provably secure electronic payments. (Le système GNU Taler: Paiements électroniques pratiques et sécurisés)
Apprentissage profond pour la segmentation, la classification et la caractérisation géométrique de vaisseaux. (Deep learning for segmentation, classification, and geometric characterization of vessels)
Méthode algorithmique d'implicitisation et d'inversion - Application au lancer de rayons
Correction et traitement d'images des circuits VLSI issues d'un microscope électronique à balayage. (Correction and treatment of VLSI circuit scanning electronic microscope images)
Optimisation des méthodes de calculs d'écoulements tourbillonnaires instationnaires. (Optimization of calculation methods for unsteady vortical flows)
Techniques d'analyse de contenu appliquées à l'imagerie spatiale. (Machine learning applied to remote sensing images)
Contributions to the performance study of interplanetary networks. (Contributions aux études de performances de réseaux interplanétaires)
Contribution à la caractérisation de la diversité génétique de l'abeille domestique Apis mellifera en France : cas du locus csd de détermination du sexe. (Contribution to the characterization of the genetic diversity of the honeybee Apis mellifera in France : case of the sex determination locus csd)
Mechanized semantics and verified compilation for a dataflow synchronous language with reset. (Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation)
Data Management in the Existential Rule Framework: Translation of Queries and Constraints. (Gestion de données dans le cadre des règles existentielles: traduction de requêtes et de contraintes)
Understanding the energy consumption of blockchain technologies : a focus on smart contracts. (Comprendre la consommation énergétique des blockchains : un regard sur les contrats intelligents)
Analyse / synthèse de champs de tenseurs de structure : application à la synthèse d'images et de volumes texturés. (Analysis / synthesis of structure tensor fields : application to the synthesis of textured images and volumes)
Marches quantiques et mécanique quantique relativiste. (Quantum walks and relativistic quantum mechanics)
Towards a genome-scale coevolutionary analysis. (Vers une analyse co-évolutive à l'échelle du génome)
Hub location routing problem for less than truckload shipments of freight transport providers. (Le problème de localisation de hubs et tournées combinées pour le transport de marchandises par camions incomplets)
Évaluation de l'interprétation d'images. (Evaluation of Image Interpretation)
Social structures and deliberation: exploring socio-technical controversies using abstract argumentation. (Structures sociales et délibération: explorer les controverses socio-techniques avec l'argumentation abstraite)
Temporal and Hierarchical Models for Planning and Acting in Robotics. (Modeles temporels et hierarchiques pour la planification et l'action en robotique)
Conception et sécurisation d'unités arithmétiques hautes performances pour courbes elliptiques. (Design and Securization of High-Performance Arithmetic Units for ECC)
Development of an integrated Information Technology System for management of laboratory data and next-generation sequencing workflows within a cancer genomics research platform. (Développement d'un système informatique intégré pour la gestion des données de laboratoire et des étapes de séquençage de nouvelle génération au sein d'une plateforme de recherche en génomique du cancer)
Modélisation et implémentation de simulations multi-agents sur architectures massivement parallèles. (Modeling and implementing multi-agents based simulations on massively parallel architectures)
Modelling Ozonation Processes for Disinfection By-Product Control in Potable Water Treatment: From Laboratory to Industrial Units. (Modélisation du procédé d'ozonation lors de la potabilisation des eaux - Application au contrôle des sous-produits de désinfection: du laboratoire à l'unité industrielle)
Interactions entre niveaux dans un modèle orienté agent de généralisation cartographique : Le modèle DIOGEN. (Interactions between Levels in an Agent Oriented Model for Cartographic Generalisation)
A Matter of Trust: Skeptical Communication Between Coq and External Provers. (Question de confiance : communication sceptique entre Coq et des prouveurs externes)
Reconstruction tridimensionnelle d'objets complexes a l'aide de diagrammes de Voronoi simplifiés : application a l'interpolation 3D de sections géologiques. (3D reconstruction of complex objects with the help of simplified Voronoi diagrams: an application to 3d interpolation of geological sections)
Dissection moléculaire du site de fixation de l'antigène d'une molécule d'histocompatibilité de classe II et modélisation stochastique des interactions macromoléculaires au sein de la cellule vivante. (Molecular dissection of the antigen binding site of a major histocompatibility complex class II molecule and stochastic modelling of macromolecular interactions in the living cell)
Blocs nuls dans la hiérarchie mémoire
Compression oriented enhancement of noisy images: Application to ultrasound images. (Compression orientée restauration des images bruitées : application aux images échographiques)
Distributed Embodied Evolutionary Adaptation of Behaviors in Swarms of Robotic Agents. (Adaptation de comportements par évolution incarnée et distribuée dans des essaims d'agents robotiques)
Synchronous relations and complexity of query evaluation. (Relations synchronisées et complexité de l'évaluation des requêtes)
Sur l'approximation rationnelle de fonctions de la variable complexe au sens de la norme de Hardy
Online Detection and Removal of Eye Blink Artifacts from Electroencephalogram. (Détection et suppression en temps réel des artefacts de clignement de l'œil dans les signaux issus d'un électroencéphalogramme)
Geometric semantics for asynchronous computability. (Sémantique géométrique pour la calculabilité asynchrone)
Approche formelle pour la simulation interactive de modèles mixtes. (A formal approach for the interactive simulation of mixed models)
Energy consumption optimization of parallel applications with Iterations using CPU frequency scaling. (Optimisation de la consommation énergétique des applications parallèles avec des itérations en utilisant réduisant la fréquence des processeurs)
Knowledge graph construction from texts with an explainable, human-centered Artificial Intelligence. (Construction de graphes de connaissances à partir de textes avec une intelligence artificielle explicable et centrée-utilisateur·ice)
Suivi de l'activité d'une personne à partir de capteurs multi-modalités préservant l'anonymat dans un cadre de détection et prévention des chutes chez les personnes âgées. (Tracking anonimously person activity using thermal and depth sensors in a fall detection and prevention context)
L'approche Orientée Objet pour la modélisation de systèmes matériels. (Object Oriented approach for hardware systems modeling)
Transformations rigides sur les images numériques 2D : analyse combinatoire et topologique. (Rigid transformations on 2D digital images : combinatorial and topological analysis)
Contribution à l'ordonnancement post-pronostic de plates-formes hétérogènes et distribuées : approches discrète et continue. (On the post-prognostics scheduling of heterogeneous and distributed platforms : discrete and continuous approaches)
Etude et connexion de terminaux aux logiciels de traitement de texte
Paramètres physiques des ambiances architecturales : Un modèle numérique pour la simulation de la lumière naturelle dans le projet urbain
Neuro-inspired computing with excitable microlasers. (Calcul neuro-inspiré avec des microlasers excitables)
Sur la théorie et l'approximation numérique des problèmes hyperboliques non linéaires : Application à la dynamique des gaz compressibles. (On the approximation and the theory of the non linear hyperbolic systems. Application to the gas dynamic)
Impacts de la fatigue visuelle sur l'apprentissage via serious game en réalité virtuelle. (Visual fatigue impacts on learning via serious game in virtual reality)
Etude théorique et expérimentale d'une interface à retour d'effort augmenté. (Theorical and experimental study of an augmented force feedback interface)
Développement d'outils d'aide au diagnostic en contexte incertain. (Development of a diagnostic support tools in uncertain context)
Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées. (Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified)
Towards Performance and Dependability Benchmarking of Distributed Fault Tolerance Protocols. (Performance et fiabilité des protocoles de tolérance aux fautes)
Preprocessing and analysis of environmental data: Application to the water quality assessment of Mexican rivers. (Pré-traitement et analyse des données environnementales: application à l'évaluation de la qualité de l'eau des rivières mexicaines)
Generation of diffusion tensor imaging data of the human heart using deep convolutional adversarial networks. (Génération de données d'imagerie du tenseur de diffusion du cœur humain à l'aide de réseaux convolutifs adversariaux profonds)
Geometric constraints and variational approaches to image analysis. (Contraintes géométriques et approches variationnelles pour l'analyse d'image)
Opérateurs de régularisation pour le subspace clustering flou. (Regularization operators for fuzzy subspace clustering)
Modélisation des plasmas magnétisés. Application à l'injection de neutres pour ITER et au magnétron en régime impulsionnel haute puissance. (Modeling of magnetized plasmas. Application to neutral particle injection for ITER and to magnetron in high power pulsed regime)
Un modèle de structure de données Cache-aware pour un parallélisme et un équilibrage dynamique de la charge. (Cache Aware Dynamics Data Layout for Efficient Shared Memory Parallelisation)
Restauration d'images de noyaux cellulaires en microscopie 3D par l'introduction de connaissance a priori. (Denoising 3D microscopy images of cell nuclei using shape priors)
Évolution et Transformation automatisée de modèles de Systèmes d'Information. (Evolution and Transformation of Automatic Information Systems modelsEvolution and Transformation of Automatic Information Systems models : Une approche guidée par l'Analyse Formelle de Concepts et l'Analyse Relationnelle de Concepts)
Étude et conception d'un système d'imagerie passive à courte portée basé sur la synthèse de réseau d'antennes commutables. Application dans les bandes Ku et Ka
Face Recognition and Face Spoofing Detection Using 3D Model. (Reconnaissance faciale et détection de l'usurpation d'identité par l'utilisation d'un modèle)
Diagramme de Voronoi généralisé pour un ensemble de polygones : algorithmes, réalisation et application en analyse de formes. (Generalized voronoi diagram for a set of polygons : algorithms, realization and application to pattern analysis)
Parallélisation d'un algorithme d'appariement d'images quasi-dense
Contribution à l'étude des formulations de calcul de la force magnétique en magnétostatique, approche numérique et validation expérimentale. (Contribution to the study of magnetic force formulations in magneto static field, numerical point of view and experimental validation)
Santé connectée et prévention du suicide: vers une aide à la décision. (eHealth and suicide prevention: towards clinical decision support systems)
Principles and Practices for Bipolar Semantics and Impact Measures in Computational Argumentation. (Principes et pratiques pour les sémantiques bipolaires et les mesures d'impact dans l'argumentation computationnelle)
Optimisation d'interféromètres par algorithmes génétiques
Cooperative perception integrity for intelligent vehicles. (Intégrité de la perception coopérative pour les véhicules intelligents)
Towards optimized multiplierless arithmetic circuits. (Optimisation pour l'implémentation de circuits arithmétiques sans multiplication)
Intégration et implémentation de mécanismes de déduction naturelle dans les démonstrateurs utilisant la résolution. (Integration and implementation of natural deduction mechanisms in resolution based theorem provers)
Human assisted correction for speaker diarization of an incremental collection of documents. (Corrections assistées par l'humain pour la diarisation incrementale de collection)
Analyse des performances d'un réseau de capteurs exploitant le standard IEEE 802.15.4. (Performance Analysis of Wirless Sensor Networks Exploiting the Standard IEEE 802.15.4)
Creation of geospatial knowledge graphs from heterogeneous sources. (Création de graphes de connaissances géospatiaux à partir de sources hétérogènes)
Harnessing the power of implicit and explicit social networks through decentralization. (Exploiter les réseaux sociaux implicites et explicites via la décentralisation)
Contribution to multiagent planning for active information gathering. (Contribution à la planification multiagent pour la perception active)
Classes quasi-analytiques de fonctions et problèmes de prolongement quasi-analytique
Modèles d'embeddings à valeurs complexes pour les graphes de connaissances. (Complex-Valued Embedding Models for Knowledge Graphs)
Modélisation stochastique et estimation de la croissance tumorale. (Stochastic modeling and tumor growth estimation)
Distance and Proximity Queries for Distributed Moving Points. (Requêtes de distance et de proximité pour des entités mobiles distribuées)
Identification d'espèces végétales par une description géométrique locale d'images de feuilles. (Local geometric descriptions of leaves for plant identification)
Experimental data assimilation: learning-based estimation for state-space models. (Assimilation de données expérimentales : estimation à base d'apprentissage pour modèles sous forme d'état)
Indexation de bout-en-bout dans les bibliothèques numériques scientifiques. (End-to-end indexation in digital scientific libraries)
Systèmes de gestion de base de données embarqués dans une puce électronique(Database Systems on Chip)
The graph rewriting calculus: properties and expressive capabilities
Optimisation et compromis temps/qualité d'un algorithme de flot optique sur SoC basse consommation pour la détection temps réel de météores à bord d'un nanosatellite. (Optimization and time/quality trade-offs of an optical flow algorithm on low-power SoC for real-time meteor detection onboard a nanosatellite)
Support informatique à une communication médiatisée
Towards Robust Deep Learning Methods for Time Series Data and their Applications. (Vers des Méthodes Robustes d'Apprentissage Profond pour les Données de Séries Temporelles et leurs Applications)
Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. (Semantic Transducer for Interface Theories)
Fashion pattern recommendation system based on Kansei evaluation and cognition. (Système de recommandation de modèles de mode basé sur l'évaluation Kansei et la cognition)
Proposition d'une méthode de référencement d'images pour assister la conception architecturale: application à la recherche d'ouvrages
Vers les réseaux guidés par et pour les applications hautement dynamiques. (Towards networks guided by and for highly dynamic applications)
Analyse automatique d'images aériennes historiques: application à une étude épidémiologique. (Automatic analysis of historical aerial images: application to an epidemiological study)
Hierarchical decision techniques for task allocation and scheduling. (Techniques de décisions hiérarchiques pour l'allocation et l'ordonnancement de tâches)
Recherche de régularités et représentations succinctes de graphes. (Regularity search and succinct representation of graphs)
Représentation des connaissances pour les problèmes de conception. Application à un système à base de connaissances pour la conception de réseaux informatiques : NEST. (Knowledge representation for design problems. Application to a knowledge based system for network design: nest)
Modélisation de signaux électromyographiques par des processus de renouvellement - Filtre bayésien pour l'estimation séquentielle de paramètres à destination de la commande d'une prothèse d'avant-bras. (Model of electromyographic signals by renewal processes - Bayes filter for a sequential estimation of parameters given to the command of an upper limb prosthesis)
Designing Design Tools. (Concevoir les outils numériques du design)
Design and optimization of next-generation carrier-grade wi-fi networks. (Conception et optimisation des réseaux wi-fi opérateur de nouvelle génération)
Méthode de décomposition de domaines pour l'équation de Schrödinger. (Domain decomposition method for Schrödinger equation)
Un environnement méthodologique et logiciel pour l'interopérabilité de la maquette numérique du bâtiment et de la simulation énergétique : application à la réglementation thermique RT2012. (A methodological and software environment for the interoperability between Building Information Models and energy simulation : application to the French Thermal Regulation RT 2012)
Ontologies pour la gestion de sécurité ferroviaire: intégration de l'analyse dysfonctionnelle dans la conception. (Ontologies for railway safety management: integration of the dysfunctional analysis into the design)
Optimization and estimation techniques for passive acoustic source localization. (Techniques d'optimisation et de prédiction dans le contexte de la localisation acoustique passive)
Méthodes d'identification, d'aide au diagnostic et de planification utilisant de l'imagerie multi-modalité pour les thérapies focales du cancer de la prostate
Monocular Visual-Inertial-Pressure Fusion for Underwater Localization and 3D Mapping. (Conception d'une charge utile basée vision pour la localisation autonome d'un robot sous-marin et la cartographie de précision)
Epistemic Approval Voting: Applications to Crowdsourcing Data Labeling. (Vote par approbation épistémique : applications à l'étiquetage des données par crowdsourcing)
Contribution des sous-ensembles flous à l'aide à la décision et à l'analyse structurale
On computer-aided design-space exploration for multi-cores. (Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs)
Novel multiscale methods for nonlinear speech analysis. (Nouvelles méthodes multi-échelles pour l'analyse non-linéaire de la parole)
Trace-based reasoning for user assistance and recommendations. (Raisonnement à partir de l'expérience tracée pour l'assistance à l'utilisateur et les recommandations)
Contribution à l'optimisation de la commande non linéaire des moteurs asynchrones triphasés : études et expérimentations. (Contribution to the optimization of the nonlinear control of three phase induction motors: studies and experiments)
Applying Formal Methods to Autonomous Vehicle Control. (Application des méthodes formelles au contrôle du véhicule autonome)
Deep learning for tomographic reconstruction : Study and application to computed tomography and positron emission imaging. (Apprentissage profond pour la reconstruction tomographique : Etude et application à la tomodensitométrie et à l'imagerie par émission de positrons)
Traitement du signal quantique: effets de bruit utile et intrication. (Quantum signal processing: useful noise and entanglement effects)
Carte topologique pour données qualitatives: application à la reconnaissance automatique de la densité du trafic routier
Approche Statistique pour l'Analyse Objective et la Caractérisation de la Voix Dysphonique. (Statistical Approach for Objective Analysis and Characterization of Dysphonic Voice)
Light Field Image Compression and Compressive Acquisition. (Compression et Acquisition Comprimée de Champs de Lumière)
Proximal structured sparsity regularization for online reconstruction in high-resolution accelerated Magnetic Resonance imaging. (Algorithmes de structures paricmonieuses pour la reconstruction en-ligne d'image haute résolution en IRM)
Vieillissement interactif pour la synthèse d'image réaliste des environnements urbains. (Interactive weathering for realistic image synthesis of urban environments)
Breaking the curse of dimensionality based on tensor train : models and algorithms. (Gérer le fleau de la dimension à l'aide des trains de tenseurs : modèles et algorithmes)
Terminaison de la réécriture sous stratégies
Modélisation et prototypage d'un système de recherche d'informations basé sur la proximité des occurences des termes de la requête dans les documents. (Fuzzy term proximity information retrieval model and system)
IRM du cerveau néonatal: segmentation et analyse du signal. (Neonatal brain IRM: segmentation and signal analysis)
Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications. (Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel)
Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation. (Modeling and Solving Mixed Continuous/Discrete Constraint Satisfaction and Optimisation Problem)
Hardware Implementation of Pseudo Random Number Generator Based on Chaotic Iterations. (Implémentation matérielle de générateurs de nombres pseudo-aléatoires basés sur les itérations chaotiques)
Apprentissage automatique des classes d'occupation du sol et représentation en mots visuels des images satellitaires. (Automatic learning of land cover classes and visual words representation of satellite images)
Enhancing supervised learning with complex aggregate features and context sensitivity. (Amélioration de l'apprentissage supervisé par l'utilisation d'agrégats complexes et la prise en compte du contexte)
Contribution à l'étude du pilotage de la modélisation des systèmes d'information. (Contribution to the study of guiding information system modeling)
Contexte global avec des Transformers pour la segmentation d'images médicales 3D. (Global context with transformers in 3D medical image segmentation)
Programmation linéaire mixte robuste; Application au dimensionnement d'un système hybride de production d'électricité. (Robust mixed integer linear programming; Application to the design of an hybrid system for electricity production)
Architectures de communications pour les véhicules autonomes connectés. (Wireless communication architectures for connected autonomous vehicles)
Modularity in deep learning. (Modularité dans l'apprentissage profond)
Modèles temporels des systèmes logiques. (temporal Models of logic systems)
Towards correct Blockchain-based business processes. (Vers des processus métier corrects basés sur la Blockchain)