yusuke1997/dblp-id-title huggingface dataset:
Calcul de pose dynamique avec les caméras CMOS utilisant une acquisition séquentielle. (Dynamic pose estimation with CMOS cameras using sequential acquisition)
Théorie et applications en ordonnancement : contraintes de ressources et tâches agrégées en catégories. (Theory and application in scheduling: resource constraints and high multiplicity)
Machine-to-Machine (M2M) Communications in Next Generation Networks: Spectrum management and energy efficiency. (Communication machine à machine (M2M) dans les réseaux de nouvelles générations : Gestion de spectre et efficacité énergétique)
Difficultés conceptuelles dans l'écriture d'algorithmes itératifs chez des élèves de collège
Transition laminaire-turbulent dans un conduit à paroi débitante. (Laminar-turbulent transition in injection-driven flows)
Navigation intelligente dans des environnements virtuels. (Intelligent navigation in virtual environments)
Étude de quelques modèles déterministes et stochastiques de systèmes dynamiques à temps discret. (Study of some deterministic and stochostic models for discrete time dynamical systems)
KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems)
Détection d'obstacles et de cibles de collision par un radar FMCW aéroporté. (Obstacles and Collision Target detection by FMCW airborne radar)
Dynamic vehicle routing : solution methods and computational tools. (Méthodes de résolution et outils informatiques pour les tournées de véhicules dynamiques)
Influence de l'inhibition synaptique sur le codage de l'information par les cellules mitrales du bulbe olfactif. (Influence of the synaptic inhibition on the information processing of mitral cells in the olfactory bulb)
Advanced physical modeling of PEM fuel cells to enhance their performances. (Modélisation physique avancée des piles à combustible PEM pour améliorer leurs performances)
SHIVA - un modèle de données relationnel étendu pour la mise en oeuvre de base de connaissances centrée objets
Un modèle à composant pour la gestion de contextes pervasifs orientés service. (A component model for pervasive service oriented context management)
Gestion intégrée et multi-échelles des systèmes répartis : Architecture et canevas intergiciel orientés composants. (Integrated Multi-scale of Networked Systems Management : Architecture and Components-Oriented Middleware)
Unsupervised and hybrid vectorization techniques for 3D reconstruction of engineering drawings. (Techniques de vectorisation hybride et non supervisée pour la reconstruction 3D de dessins d'ingénierie)
Mécanismes d'accès multiple dans les réseaux sans fil large bande. (Multiple Access Mechanisms in Broadband Wireless Networks)
Qualité d'usage en télévision haute définition : évaluations subjectives et métriques objectives. (Quality of experience in High Definition Television: subjective assessments and objective metrics)
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel. (On time models on formal verification of real-time systems)
Performances des couches MAC dans les réseaux sans fil ad hoc : problèmes et solutions. (Performance of MAC layers in wireless ad hoc networks : problems and solutions)
Sound texture synthesis from summary statistics. (Synthèse de textures sonores à partir de statistiques temps-fréquence)
Verification of real time properties in fiacre language
New two-dimensional placement family for visualization of menus on a screen. (Nouvelle famille de placement en deux dimensions pour la visualisation des menus sur un écran)
De l'analyse à la conception d'algorithmes pour une radiosité hiérarchique efficace
Analysis and modeling of the radio channel for secret key generation. (Analyse et modélisation du canal radio pour la génération de clés secrètes)
Statistical analysis of the spatio-temporal variations of geophysical variables, application to the satellite-derived Ocean Color and the Sea Surface Temperature. (Analyse statistique de la variabilité spatio-temporelle des variables géophysiques, application à la couleur de l'eau et la température de surface observées depuis l'espace)
New Artificial Intelligence techniques for Computer vision based medical diagnosis. (Nouvelles techniques de l'intelligence artificielle pour le diagnostic médical basé sur la vision par ordinateur)
Potacco : noeud polymorphique transparent pour l'adaptation de contenu adapté au contexte. (Potacco : Polymorphic node for Content Adaptation to the Context)
Two-dimensional macroscopic models for large scale traffic networks. (Modèles bi-dimensionnels pour les réseaux routiers à grande échelle)
Combinatorial Analysis of Block Ciphers With Trapdoors. (Analyse combinatoire des chiffrements par blocs avec trappes)
Analyse et modélisation de la stochasticité de l'expression génique dans des cellules eucaryotes. (Analysis and modeling of gene expression stochasticity in eukaryotic cells)
Reduced Order Modelling and Uncertainty Propagation Applied to Water Distribution Networks. (Modélisation réduite et propagation d'incertitudes pour les réseaux d'alimentation en eau potable)
Contribution à l'étude du rendu et de la perception haptique d'objets virtuels déformables. (Contribution to the study of haptic perception and renderinf of deformable virtual objects)
Contributions à la reconnaissance automatique de la parole non-native
Coopération homme-machine pour l'ordonnancement sous incertitudes. (Cooperation between human and machine for scheduling under uncertainties)
Privacy and Security in a B2B environment: Focus on Supplier Impersonation Fraud Detection using Data Analysis. (Sécurité et confidentialité d'une plateforme collaborative Business to Business)
Mesure de confiance trame-synchrones et locales en reconnaissance automatique de la parole. (Local and frame-synchronous confidence measures for automatic speech recognition)
Distributed and trustable SDN-NFV-enabled network emulation on testbeds and cloud infrastructures. (Emulation fiable et distribuée de réseaux virtualisés et programmables sur bancs de test et infrastructures cloud)
Facing and Exploiting the Quantum Wave in Computing: New Security Definitions and Cryptographic Constructions. (Affronter et exploiter la vague quantique en informatique : nouvelles définitions de la sécurité et constructions cryptographiques)
Etude des interactions entre le statut énergétique et la prédisposition aux infections mammaires en début de lactation. (A study of the interactions between energy status and predisposition to mastitis during early lactation)
Algorithms and feature preprocessing for transductive few-shot image classification. (Algorithmes et prétraitement des caractéristiques pour la classification transductive d'images à partir de peu de données)
Improving energy efficiency of virtualized datacenters. (Améliorer l'efficacité énergétique des datacenters virtualisés)
Anomaly Detection and Root Cause Diagnosis for Low-Latency Applications in Time-Varying Capacity Networks. (Détection d'anomalies et diagnostic des causes racines des applications à faible latence sur les réseaux à capacité variable)
Spécification et réalisation d'un formalisme générique pour la segmentation multiple de documents textuels multilingues
Synthèse au niveau système et conception de systèmes mixtes logiciels/matériels. (System-level synthesis and hardware/software codesign)
Apprentissage de représentations d'auteurs et d'autrices à partir de modèles de langue pour l'analyse des dynamiques d'écriture. (Authors representation learning with language models for analysing writing dynamics)
Two Problems of Digital Image Formation: Recovering the Camera Point Spread Function and Boosting Stochastic Renderers by Auto-similarity Filtering. (Deux problèmes dans la formation des images numériques : l'estimation du noyau local de flou d'une caméra et l'accélération de rendus stochastiques par filtrage auto-similaire.)
Reflection Symmetry Detection in Images : Application to Photography Analysis. (Détection de symétrie de réflexion dans les images : application à l'analyse de photographie)
Efficient local search for several combinatorial optimization problems. (Recherche locale performante pour la résolution de plusieurs problèmes combinatoires)
Apport de la réalité virtuelle pour la coordination des référentiels spatiaux chez les aveugles : SeaTouch, un logiciel de navigation haptique et auditif pour la préparation d'itinéraire à la voile par les marins non-voyants. (Virtual reality contribution to help blind people to coordinate spatial frames of reference: SeaTouch, an haptic and auditory virtual environment to set blind sailors navigation)
Chemically accurate simulations by machine learning correlated approximations. (Simulations chimiquement précises par apprentissage automatique d'approximations corrélées)
Modélisation et suivi des déformations faciales : applications à la description des expressions du visage dans le contexte de la langue des signes
Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy)
Memory optimization strategies for linear mappings and indexation-based shared documents. (Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés)
Optimisation de la mesure et de l'interprétation des performances dans le cadre de la course au large. (Wind measurement optimization for performance analysis in the context of sailing race)
Algorithmes évolutionnaires assistés par des méthodes d'apprentissage en grandes dimensions. (Algorithmes évolutionnaires assistés par des méthodes d'apprentissage en grandes dimensions)
Recherche et construction de preuves en logique non-commutative
Smart Vision Chip pour l'exploration du colon. (Smart Vision Chip for colon exploration)
Event summarization on social media stream: retrospective and prospective tweet summarization. (Synthèse d'évènement dans les médias sociaux : résumé rétrospectif et prospectif de microblogs)
Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq)
Relaxation de Contraintes pour les problèmes dynamiques. (Constraint relaxation for dynamic problems)
Une Approche Sécurisée pour la Délégation Dynamique de Tâches dans les Systèmes de Gestion de Workflow. (A Secure Framework for Dynamic Task Delegation in Workflow Management Systems)
Semantic analysis of 3D point clouds from urban environments : ground, facades, urban objects and accessibility. (Analyse sémantique de nuages de points 3D dans le milieu urbain : sol, façades, objets urbains et accessibilité)
Modèles et Algorithmes pour les Problèmes de Livraison du Dernier Kilomètre avec Plusieurs Options d'Expédition. (Models and Algorithms for Last Mile Delivery Problems with Multiple Shipping Options)
Scheduling activities under spatial and temporal constraints to populate virtual urban environments. (Ordonnancement d'activité sous contraintes temporelles et spatiales, pour le peuplement d'environnements virtuels)
Optimisation globale de polynômes en variables mixte-entières. (Global optimization of polynomial programs with mixed-integer variables)
Stratégies d'allocation de ressources dans des contextes mono et multiutilisateurs pour des communications à très haut débit sur lignes d'énergie. (Resource allocation strategies in mono and multi user contexts for high data rate communication over powerline)
Présentation et étude de quelques problèmes d'algorithmique distribuée. (Presentation and study of some distributed algorithm problems)
Nouvelle approche basée sur la moyenne et la médiane en théorie du choix social et analyse multicritère. (New Mean-Median based Approach in Social Choice Theory and Multicriteria Analysis )
Contributions to the use of analogical proportions for machine learning : theoretical properties and application to recommendation. (Contributions à l'usage des proportions analogiques pour l'apprentissage artificiel : propriétés théoriques et application à la recommandation)
Exponential stabilization of quantum systems subject to non-demolition measurements in continuous time. (Stabilisation exponentielle des systèmes quantiques soumis à des mesures non destructives en temps continu)
Étude d'un système robotique coopératif en milieu sidérurgique sévère. (Study and design of a robotic systemcooperative in a severe steel environment)
View-based query determinacy and rewritings over graph databases. (Vues et requêtes sur les graphes de données : déterminabilité et réécritures)
Construction de systèmes par application de modèles paramétrés. (Building Systems using Parameterized Model Applications)
Indexation symbolique d'images : une approche basée sur l'apprentissage non supervisé de régularités. (Symbolic images indexing: an approach based on unsupervised learning of regularities)
A Framework Implementing Multi-Criteria Least Cost Routing for IP Multimedia Services. (Un cadre de mise en oeuvre du routage mulitcritères de services IP multimédia)
Nombre d'intersection et d'entrelacement de courbes discrètes et application à la caractérisation de la préservation de la topologie en imagerie. (Intersection and linking numbers of digital curves and application to the characterization of topology preservation in computer imagery)
Automatic code generation methods applied to numerical linear algebra in high performance computing. (Méthodes de génération automatique de code appliquées à l'algèbre linéaire numérique dans le calcul haute performance)
Retina-Inspired Image Coding Schemes. (Schémas de codage bio-inspirés)
Le traitement de l'information gustative au niveau de la langue. Effets du glutamate
Constructions of Advanced Cryptographic Primitives. (Constructions de Primitives Cryptographiques Avancées)
Automatic Recognition of Dialogue Acts. (Reconnaissance automatique des actes de dialogue)
In silico methods for genome rearrangement analysis: from identification of common markers to ancestral reconstruction. (Méthodes in silico pour l'étude des réarrangements génomiques : de l'identification de marqueurs communs à la reconstruction ancestrale)
Méthodologie d'ingénierie des exigences de sécurité réseau. (Network security requirements engineering methodology)
Algorithms for Enriched Abstract Argumentation Frameworks for Large-scale Cases. (Algorithmique des systèmes d'argumentation abstraits enrichis, en vue du passage à l'échelle)
Classification multi-modèles des images dans les bases Hétérogènes. (Multi-model image classification in heterogeneous databases)
Distributed and Privacy-Preserving Personal Queries on Personal Clouds. (Requêtes distribuées et respectueuses de la vie privée de Nuages Personnels)
Cooperative Approaches between some Metaheuristics and Integer programming for solving Generalized Multiple Knapsack Problem with Setup and its variants. (Approches coopératives entre certaines métaheuristiques et la programmation en nombres entiers pour résoudre le problème généralisé de sacs à dos multiples avec la configuration et ses variantes)
Contributions au contrôle de l'affinité mémoire sur architectures multicoeurs et hiérarchiques. (Contributions on Memory Affinity Management for Hierarchical Shared Memory Multi-core Platforms)
Development and implementation of compressed sensing-based denoising and acquisition strategies for fluorescence microscopy and optical coherence tomography. (Développement et mise en oeuvre de stratégies d'échantillonnage comprimé pour le débruitage et l'acquisition d'images en microscopie à fluorescence et en tomographie en cohérence optique)
Contribution a la Conception d'Interface "Intelligente" Pour le Contrôle de procédés industriels : Application au Module Décisionnel d'Imagerie. (Design contribution of intelligent interface for process control: application to the decisional module of imagery)
Reliable communication in multihop networks despite byzantine failures. (Communication fiable dans les réseaux multi-sauts en présence de fautes byzantines)
Prédiction des besoins pour la gestion de serveurs mobiles en périphérie. (Adaptive and dynamic edge gateways IoT-oriented deployments)
Les distances de chanfrein en analyse d'images : fondements et applications. (Chamfer distances in image analysis : basis and applications)
Some Visualization Models applied to the Analysis of Parallel Applications. (Quelques Modèles de Visualisation pour l'Analyse des Applications Parallèles)
Marc : modèles informatiques des émotions et de leurs expressions faciales pour l'interaction Homme-machine affective temps réel. (Marc : computational models of emotions and their facial expressions for real-time affective human-computer interaction)
Implication des récepteurs gustatifs dans l'agueusie au MSG et au GMP
Evaluation non-invasive des Gliomes par Imagerie Résonance Magnétique : Effets des traitements anti-angiogéniques (Avastin) sur la microvascularisation et la microarchitecture tumorale et péritumorale. (Non-invasive evaluation of Gliomas by Magnetic Resonance Imaging : Effects of anti-angiogenic treatments (Avastin) on tumor and peritumoral microvasculature and microarchitecture)
Management of electric vehicle systems with self-interested actors. (Recharges de véhicules électriques : gestion de l'énergie et des incitations)
Classification non supervisée : de la multiplicité des données à la multiplicité des analyses. (Clustering : from multiple data to multiple analysis)
Architecture cognitive générique pour la coordination de stratégies d'apprentissage en robotique. (Generic cognitive architecture for the coordination of learning strategies in robotics)
MoVAL : Modélisation multipoints de vue /multi-granularités d'architectures logicielles. (MOVAL: Multi -views/ multi-granularities Modelling of software architectures)
Contribution à la modélisation et à la vérification des systèmes multi agents. (Contribution to Modeling and to Verification of Multi Agent Systems)
Étude de la Distribution, sur Système à Grande Échelle, de Calcul Numérique Traitant des Matrices Creuses Compressées. (Study of the distribution on a large scale system of numerical computing processing compressed sparse matrices)
Protocol-level Attacks and Defenses to Advance IoT Security. (Attaques et défenses au niveau du protocole pour faire progresser la sécurité de l'IoT)
Mesures de similarité pour cartes généralisées. (Similarity measures between generalized maps)
Vers un assistant à la preuve en langue naturelle. (Toward a proof assistant in natural language)
Pragmatic model verification. (Vérification pragmatique de modèles)
Adversarial learning methods for the generation of human interaction data. (Modèles adverses pour la génération de données d'interaction humaine)
Nouvelles méthodes pour l'apprentissage non-supervisé en grandes dimensions. (New methods for large-scale unsupervised learning)
Step-wise target controllability of driver nodes in biological networks. (Noeuds pilotes dans les réseaux biologiques)
Learning and optimization for 3D super-resolution in fluorescence microscopy. (Apprentissage et optimisation pour la super-résolution 3D en microscopie de fluorescence)
Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET)
Calcul formel et nombre de racines d'un polynôme dans le disque unité : applications en automatique et biochimie. (Symbolic computation and number of the zeros of a polynomial in the unit disk : applications in automatic control and biochemistry)
Approches analytiques et numériques de problèmes de transmission en propagation d'ondes en régime transitoire. Application au couplage fluide-structure et aux méthodes de couches parfaitement adaptées. (Analytical and Numerical Approach of Transmission Problems of Wave Propagation in Time Domain. Application to Fluid-Structure Coupling and Perfectly Matched Layers)
Analyse statistique d'une base de translocations réciproques et modélisation du risque de survenue d'un enfant malformé
An Order Theoretic Point-of-view on Subgroup Discovery. (Sur la découverte de sous-groupes en utilisant la théorie de l'ordre)
Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra. (3D Localization and Modeling by successive approximations of the projective camera model)
Contribution à la spécification et à l'exploitation des relations entre objets de gestion de réseaux
A Combined Language and Polyhedral Approach for Heterogeneous Parallelism. (Une Approche Combinée Langage-Polyédrique pour la Programmation Parallèle Hétérogène)
Identification de motifs au sein des structures biologiques arborescentes. (Pattern identification in biological tree structure)
Routage basé sur le contenu dans les réseaux ad-hoc aéronautiques. (Content based routing in aeronautical ad-hoc networks)
Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis. (Optimistic replication and consitency maintenance in distributed collaborative environments)
Maintenance scheduling in the electricity industry : a particular focus on a problem rising in the onshore wind industry. (Planification de la maintenance d'équipements de production d'électricité : une attention particulière portée sur un problème de l'industrie éolienne terrestre)
Static Analysis by Abstract Interpretation and Decision Procedures. (Analyse statique de programme par interprétation abstraite et procédures de décision)
Nonintrusive Nocturnal Remote Monitoring of Vital Signs in Ambient Assisted Living Environments. (Télésurveillance nocturne non intrusive de signes vitaux dans des environnements d'assistance à l'autonomie à domicile)
Méthode, modèles et outil pour la méta-modélisation des processus d'ingénierie de systèmes d'information. (Method, models and tool for information systems engineering process metamodelling)
Algorithms for optimal guidance of users in road networks. (Algorithmes de guidage optimal des usagers dans les réseaux routiers)
Detection of structural variants in cancer genomes using aBayesian approach. (Detection de variantes structurales dans des génomes tumoraux par uneapproche bayésienne)
Kernels and quasi-kernels in digraphs. (Noyaux et quasi-noyaux dans les graphes orientés)
Conception d'un système de détection des risques piloté par les données de suivi temps-réel des flux logistiques. (Design of a risk detection system driven by real-time logistics flow monitoring data)
Realistic simulation of the execution of applications deployed on large distributed systems with a focus on improving file management. (Simulation réaliste de l'exécution des applications déployées sur des systèmes distribués avec un focus sur l'amélioration de la gestion des fichiers)
Modélisation Centrée Utilisateur pour la Configuration Logicielle en Environnement Ambiant. (User Centric Modeling for Ambient Software Configuration)
Affect-aware Natural Language Generation : application to dialogue and cognitive remediation session summarization in low-resource settings. (Approches sensibles à l'affect pour le résumé automatique de textes : application au dialogue et à la remédiation cognitive dans un contexte à faibles ressources)
Coordination control of autonomous robotic multi-agent systems under constraints. (Commande en coordination de systèmes multi-agents robotiques autonomes sous contraintes)
Primal-dual proximal augmented lagrangian methods for quadratic programming : theory and implementation. (Méthodes de lagrangien augmenté primal-dual pour l'optimisation quadratique : théorie et implémentation)
Vision stéréoscopique par ordinateur pour la détection et le suivi de cibles pour une application automobile. (Stereoscopic computer vision for target detection and tracking applied to automotive)
Système CADOC : génération fonctionnelle de test pour les circuits complexes. (CADOC system: functionnal generation of test for the complex circuits)
De la localité logicielle à la localité matérielle sur les architectures à mémoire partagée, hétérogène et non-uniforme. (From Software Locality to Hardware Locality in Shared Memory Systems with NUMA and Heterogenous Memory)