yusuke1997/dblp-id-title huggingface dataset:
Versatility and Efficiency in Self-Stabilizing Distributed Systems
Schémas de tatouage d'images, schémas de tatouage conjoint à la compression, et schémas de dissimulation de données
Outils et méthodes pour le codage vidéo perceptuel
Algorithmes et architectures efficaces pour vision embarquée
Des reseaux de neurones artificiels a la robotique Cooperative
On building and comparing trees Application to supertrees in phylogenetics
Étude et conception de mécanismes pour applications multimédias sur réseaux IP filaires et sans fil
Segmentations sonore et audiovisuelle ?
Contributions to Multiagent Decision Making under uncertainty and Partial observability
Amplification de scènes virtuelles naturelles. (Amplification of natural virtual scenes)
Contribution à l'étude des modèles de colonne à distiller
Observing and Understanding Green Software Ecosystems
Réduire les déchets, mutualiser les flux : planification et ordonnancement pour une écologie industrielle
Contributions to Wireless multi-hop networks : Quality of Services and Security concerns
Reducing The Need For Trusted Parties In Cryptography. (Limiter le besoin de tiers de confiance en cryptographie)
Massive Interactive Multimedia Services over the Internet
Auto-organisation de réseaux radio multi-saut. (Self-organisation of multi-hop networks)
Validation par évaluation sur un modèle : méthodes et algorithmes
Sciences du Design Sonore - Approche intégrée du design sonore au sein de la recherche en design. (Sciences of Sound Design - An integrated approach of sound design within the design research framework)
Algorithmique des graphes pour les réseaux et la biologie structurale computationnelle. (Graph Algorithm Techniques for Networks and Computational Structural Biology)
Tomographie discrète, calcul quantique et ordonnancement. (Discrete tomography, quantum computation and scheduling)
Analyse d'objets discrets pour l'estimation géométrique et la détection d'échelle
Approches Graphiques en Informatique Quantique
Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B
Contributions to the Monitoring and Security of Networked Systems
Contributions à la Gestion de l'Hétérogénéité dans les Environnements Distribués et Pervasifs. (Contributions to the Management of Heterogeneity in Distributed and Pervasive Environments)
SVM Multiclasses, Théorie et Applications. (Multi-Class SVMs, Theory and Applications)
Extraction de Connaissances a partir de Textes : M ethodes et Applications. (Retrieving knowledge from corpora: Methods and applications)
Towards Autonomous Perceptual Systems. (Vers des systèmes perceptifs autonomes)
Machine-checked computer-aided mathematics
Real-Time Systems Compilation. (Compilation de systèmes temps réel)
Obtaining tilings by self-assembly and self-stabilization. (Formation de pavages par auto-assemblage et auto-stabilisation)
Plan•|•Opti•|•Chrone
Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools. (Programmation des grands systèmes distribués: quelques mécanismes, abstractions, et outils)
Algorithmes Combinatoires et Relaxations par Programmation Linéaire et Semidéfinie. Application à la Résolution de Problèmes Quadratiques et d'Optimisation dans les Graphes
Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiques
De l'espace de l'écran à l'augmentation de l'espace : apports des recherches en cognition visuelle et en ergonomie dans la compréhension des interactions graphiques en contexted'activité. (From the Space of the Screen to the Augmented Space: Contributions from Visual Cognition and Ergonomics Research to Better Understand Graphic Interactions in the Context of Activity)
Revealing Interactions : Expression and Exploration in Mixed and Virtual Reality. (Interactions Révélées : Expression et Exploration en Réalité Mixte et Virtuelle)
Algorithmic Complexity of Well-Quasi-Orders. (Complexité algorithmique des beaux pré-ordres)
Les grammaires d'interaction. (Interaction Grammars)
Apprentissage : Paradigmes, Structures et abstractions. (Machine Learning: Paradigms, Structures, Abstractions)
Knowledge Modelling and Processing for the Social Semantic Web. (Ingénierie des connaissances pour le Web sémantique et social)
Transductions: resources and characterizations
Rule-based Languages for Reasoning on Data : Analysis, Design and Applications
Modelling Methods for low-temperature plasmas
Fouille de données : motifs minimaux, redescription d'espace et analyse du (e-)sport
Analyse d'images et de textures orientées appliquée à la caractérisation de matériaux et à la télédétection. (Image and Oriented Texture Analysis. Application to Material Characterization and Remote Sensing)
Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools. (Contributions à la conception de systèmes à hautes performances, programmables et sûrs: principes, interfaces, algorithmes et outils)
Linear Geometric Homogeneity for Control and Estimation in Finite Time. (Homogénéité géométrique linéaire pour le contrôle et l'estimation en temps fini)
Traitement Automatique du Langage : Études et apports aux frontières de l'interdisciplinarité
Méthodes de codage et d'estimation adaptative appliquées aux communications sans fil
Vers l'automatisation de la production de cartes
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). (Programmation défensive formellement vérifiée (calculs efficaces et vérifiés en Coq, à partir d'oracles OCaml potentiellement non fiables))
Extraction, Exploitation and Evaluation of Document-based Knowledge
Large-scale Content-based Visual Information Retrieval
De la double modélisation à la validation expérimentale par des méthodes de mesure de champs sans contact du comportement des matériaux. (From double modeling approach to full-field measurement method of materials)
Contribution à la gestion des systèmes de stockage, une approche verticale : de l'architecture à l'applicatif
Direct and inverse imaging. Applications to satellite design and to forgery detection
Virtual experiments as a data analysis tool for neutron scattering measurements
Efficient motion analysis and virtual reality methods for preventive and corrective ergonomics
Test et testabilité de systèmes informatiques
Apprentissage et Inférence Structurelle pour l'Extraction de Dynamiques de l'Information
Knowledge Graph Refinement: Link Detection, Link Invalidation, Key Discovery and Data Enrichment
Géométrie Numérique
Fluid-structure interactions at small scales: collective effects, instabilities, and transport
Codes AL-FEC et protocoles de diffusion robuste de contenus : composants pour des services performants et passant à l'échelle. (AL-FEC codes and robust content distribution protocols: components for high performance and scalable services)
Apprentissage sur corpus de relations lexicales sémantiques - La linguistique et l'apprentissage au service d'applications du traitement automatique des langues. (Corpus-based acquisition of semantic lexical relations - Linguistics and machine learning in the service of natural language processing applications)
Semantic Frameworks to Enhance Situation Awareness for Defence and Security Applications. (Définition de cadres sémantiques pour les applications de défense et sécurité)
Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling
La Morphogénèse Quantitative
Towards expressive, well-founded and correct Aspect-Oriented Programming
From Direct manipulation to Gestures : Moving the Expressive Power from the Displays to the Fingers
Modélisation et commande de systèmes éoliens
On the projective geometry of entanglement and contextuality
Approches variationnelles pour le traitement numérique de la géométrie (Variational Approaches to Digital Geometry Processing)
De la recherche en traitement d'images à la recherche en systèmes d'informations en passant par l'enseignement à distance et le travail collaboratif
Complexification des données et des techniques en linguistique : contributions du TAL aux solutions et aux problèmes
Dissection des caractères et génétique de l'efficacité alimentaire
Energy efficient communications: from resource allocations to machine learning
Transversal Helly numbers, pinning theorems and projection of simplicial complexes. (Nombres de Helly, théorèmes d'épinglement et projection de complexes simpliciaux)
Représentations parcimonieuse et applications en communication numérique
Analyse de contenus visuels complémentaires statiques et dynamiques: Détection de saillance et de similarités en 2D et en 3D pour reconnaître des objets en identifiant forme et apparence
Documents, Graphes et Optimisation Multi-Objectifs. (Documents, graphs and multiobjective optimization)
Optimal Transport for Image Processing. (Transport Optimal pour le Traitement d'Images)
Une perspective relationnelle de la programmation. (Relational perspective of programming science)
Outils théoriques de la chronobiologie et de la chronomédecine
Highly accurate computer vision and image comparison
Vers un bricolage rationalisé des génomes bactériens. (Rationalizing the Tinkering of Bacterial Genomes)
Complexité de l'évaluation de plusieurs formes bilinéaires et des principaux calculs matriciels
Quelques résultats en cryptographie symétrique, pour les modèles de confiance dans les réseaux ambiants et la sécurité dans les réseaux de capteurs sans fil. (Some results in symmetric key cryptography, for trust models in ambient networks and security in wireless sensor networks)
Arithmexotiques
Factorisations des tableaux multidimensionnels de données sous contraintes : unicité et applications
L'ingénierie des connaissances : développements, résultats et perspectives pour la gestion des connaissances médicales. (Knowledge Engineering: developments, results and perspectives for Knowledge Management in medical field)
Service Lifecycle Management in the Cloud Continuum
Contributions à la résolution pratique de problèmes combinatoires: des fourmis et des graphes
Avancées en théorie PAC-Bayésienne : de bornes en généralisation à des algorithmes d'apprentissage supervisé et de transfert. (Advances in PAC-Bayesian theory from generalization bounds to supervised and transfer learning algorithms)
Modélisation et Optimisation des réseaux sans fil: De l'usage des drones aux réseaux LoRaWAN. (Modelling and Optimizing wireless networks: FANET and LoRaWAN)
Résultats de complexité et programmation par contraintes pour l'ordonnancement
Modélisation, traitement automatique et outillage logiciel des langues des signes
Optimisation combinatoire dans les réseaux de fonctions de coût
Continuous Operational Interoperability. (Habilitation a diriger des recherches / Interopérabilité Opérationnelle Continue)
Méthodes bioinformatiques pour l'étude des Variants de Structure avec des données de séquençages génomiques
Complexité implicite : bilan et perspectives. (Implicit Computational Complexity: past and future)
High Performance Interactive Computing. (Calcul interactif haute performance)
Secure Outsourced Data Analytics. (Analyse Sécurisée de Données Externalisées)
Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système. (Complex Systems Modelling and Viewpoints: User Centred Model Engineering for Systems Engineering)
Etude de certains problèmes de décision dans les structures statistiques Gaussiennes infinidimensionnelles
Performance evaluation & network automation. For a triptych QoS, QoE, QiS. (Évaluation de performances & automatisation de réseaux. Pour un triptyque QdS, QdE, QdI)
Convex Optimization-based Static Analysis for Control Systems. (Analyse statique de contrôleurs à base d'optimisation convexe)
Designing Interactive Tools For Creators and Creative Work
Primal-Dual Approaches in Online Algorithms, Algorithmic Game Theory and Online Learning. (Approche Primal-dual dans l'Algorithmique en ligne, la théorie des jeux algorithmique et l'Apprentissage en ligne)
Manipulation de données : un curseur entre la modélisation et l'optimisation de requêtes. (Data manipulation: a cursor between data modeling and query optimization)
Neural Networks for Cross-Modal Recognition and Vector Object Generation
Algorithmes pour la comparaison de génomes et la recherche de signaux cis-régulateurs
On the identification of continuous-time inverse dynamic model of electromechanical systems operating in closed loop with an instrumental variable approach: application to industrial robots. (Sur l'identification du modèle dynamique inverse à temps continu de systèmes électromécaniques opérant en boucle fermée avec une approche basée sur les variables instrumentales: application aux robots industriels)
De la Sculpture Matrice à l'Acteur Virtuel: Une réflexion sur une nouvelle classificationdes relations entité virtuelle/manipulateur réelautour des notions d'origine du mouvement et de la décisionification des relations entité virtuelle/manipulateur réel autour des notions d'origine du mouvement et de la décision
Meeting in Harsh Conditions
Design Space Exploration Of Emerging Technologies For Energy Efficiency
Le traitement de l'information dans les structures nerveuses : études par simulation numérique et électrique : application au traitement des signaux
High Performance and Reliable Algebraic Computing. (Calcul Algébrique Fiable et Haute Performance)
Des Données aux Connaissances : Modèles et Algorithmes
Cooperative Multi-robot Systems: From Perception to Action
Contribution à la modélisation informatique des milieux complexes naturels, implémentée dans des environnements parallèles et distribués. (Contribution to the computer modeling of natural complex systems, implemented in parallel and distributed environments)
Towards Probabilistic Generative Models for Socially Intelligent Robots
Efficient, continuous and reliable Data Management by Coordinating Services. (Gestion de données efficace, continue et fiable par coordination de services)
Vers une approche systématique de la synthèse d'image : aspects logiciel et matériel. (Towards a systematic approach in image synthesis : software and hardware aspects)
Contribution on the study of complex dynamical systems: applications in population dynamics
A structural perspective on the dynamics of biochemical systems. (Une perspective structurelle sur la dynamique des systèmes biochimiques)
Recherche d'information et contexte. (Information retrieval and context)
Modèles markoviens, parcimonieux et temps-fréquence pour l'image et le signal
Contributions aux théories des ondelettes, du codage conjoint source-canal et de l'information
Usagers & Recherche d'Information. (Users & Information Retrieval)
New collaborative approaches for bin-packing problems
Formalisation models and knowledge extraction: Application to heterogeneous data sources in the context of the Industry of the Future. (Modèles de formalisation et extraction de connaissance : Application aux sources de données hétérogènes dans le contexte de l'Industrie du futur)
Dynamique symbolique sur des groupes : une approche informatique. (Symbolics dynamics on groups: a computer scientist approach)
On Several Mathematical and Data-Driven Models for Image and Video Editing, Synthesis and Analysis
L'analyse multidimensionnelle des données de dissimilarité. (Multidimensional scaling for analysing dissimilarity data)
Predictive analysis of dynamical systems: combining discrete and continuous formalisms
Machine Learning in Interaction: Tool, Material, Culture. (Machine Learning en Interaction: Outil, Matériau, Culture)
Atlas statistiques et apprentissage de représentations pour la caractérisation de la fonction cardiaque à l'échelle de populations
Intelligence Ambiante Pro-Active : de la Spécification à l'Implémentation
Contributions to spatial interaction analysis and modeling
Contributions en modélisation de la vision algorithmique et bio-inspirée
Des langages pour améliorer le développement et la maintenance des logiciels à base de composants. (Languages to improve the development and maintenance of component-based software)
Espaces non-euclidiens et analyse d'image : modèles déformables riemanniens et discrets, topologie et géométrie discrète. (Non-Euclidean spaces and image analysis : Riemannian and discrete deformable models, discrete topology and geometry)
Sparsity and Clustering in multi-agent systems
Modèles physiques discrets pour le vivant (Modéliser et simuler les phénomènes biologiques et les gestes médico-chirurgicaux). (Discrete Physical Model for Soft-Tissue (Modeling and Simulation of Cellular Biology and Computer Assisted Medical Intervention))
On the Discretization of Distance Geometry: Theory, Algorithms and Applications
Une généralisation de la notion d'automate et applications
Interactive high-level models for 3D virtual shape creation & animation. (Modèles interactifs de haut niveau pour la création et l'animation de formes 3D virtuelles)
Distributed and scalable methods for the analysis and control of networks of dynamical agents. (Méthodes distribuées et scalable pour l'analyse et le contrôle des réseaux d'agents dynamiques)
Contribution à l'amélioration des performances de systèmes de transmissions numériques : turbo-communications et circuits
Efficient Representations for Graph and Neural Network Signals. (Représentations efficaces pour les signaux sur graphes et réseaux de neurones)
Contributions aux bornes inférieures de l'erreur quadratique moyenne en traitement du signal
Model-free approaches for modeling and control of robotic systems. (Approches à base de données pour la modélisation et la commande de systèmes robotiques)
La définition des annotations linguistiques selon les corpus : de l'écrit journalistique à l'oral. (Specification of linguistic annotations according to corpora : from newspaper to spoken corpora)
La représentation dans le cadre de la composition et de la musicologie assistées par ordinateur & Parcours de recherche et création
Etude physico-chimique des surfaces continentales par imagerie Vis-PIR (400-2500 nm). (Physico-chemical characterisation of continental surfaces by Vis-NIR imagery (400-2500 nm))
Du traitement des langues en recherche d'information et vice versa. (About Natural Language Processing for Information Retrieval and vice versa)
De l'analyse syntaxique automatique à l'analyse automatique de discours dans les collections multilingues de documents numériques composites
Vers l'Intuition Artificielle (Toward Artificial Intuition)
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
Quelques méthodes performantes pour la simulation des phénomènes de propagation et de diffraction d'ondes. (Some efficient methods for the simulation of wave propagation and scattering phenomena)
Traitements temps réel en codage source et canal pour des Communications hertziennes et acoustiques sous-marines
Contributions en mathématiques de l'imagerie. (Contributions in the mathematics of imaging)
Extraction de formes, Suivi d'objets déformables et Reconstruction en Imagerie Médicale : Application à l'Angiographie R-X et au scanner X multibarette. (Feature extraction, tracking of deformable objects and Reconstruction in Medical Imaging: Application to CBCT and CT Angiography)
Contributions à la cryptographie basée sur les codes correcteurs d'erreurs
Segmentation, hierarchy, mathematical morphology filtering, and application to image analysis
De la réutilisation à l'adaptabilité
Polyèdres et structures combinatoires
Lexique et analyse sémantique de textes - structures, acquisitions, calculs, et jeux de mots. (Lexicon and semantic analysis of texts - structures, acquisition, computation and games with words)
Toward image based algorithm to support interactive data exploration
Contributions et perspectives pour l'amélioration de l'acceptabilité de l'apprentissage profond
From image coding and representation to robotic vision
Par-delà les Métaheuristiques ..
Propriétés combinatoires des produits tensoriels d'ensembles convexes. (Combinatorial properties of the tensorial products of convex sets)
Une étude des processus de preuve en mathématique chez des élèves de collège. (Study of junior high school pupils' proving processes in mathematics)
Ontology Repository and Ontology-Based Services - Challenges, contributions and applications to biomedicine & agronomy. (Portail d'ontologies et service à base d'ontologies - Défis, contributions et applications à la biomédecine et à l'agronomie)
Phylogenomics, convergent evolution, and the Anthropocene. (Phylogénomique, évolution convergente, et l'Anthropocène)
Ingénierie des connaissances pour traiter de l'hétérogénéité des données issues de systèmes sociaux - IA et Altérité radicale
Secure Programming
The Quest for Formally Secure Compartmentalizing Compilation
Biodiversité microbienne environnementale : des gènes et des génomes
Complexité implicite des calculs : interprétation de programmes. (Implicit computational complexity : program interpretations)
Quelle architecture pour l'Internet du futur ?
Ingénierie pédagogique des systèmes d'enseignement supérieur
Theory of Iterative Optimization Heuristics: From Black-Box Complexity over Algorithm Design to Parameter Control
Interactive, Strategic, and Expressive Social Choice
Vers des environnements homme-machine pour ressaisir les intentions dans la création scénique. (Towards human to computer environments to re-grasp the intentions in creative performing arts)
Contribution à l'amélioration de la qualité de service et de la sécurité pour les communications de données en environnement réseau contraint
Décompositions d'une relation. (Decompositions of a relations)
Contribution au diagnostic de défauts et à la commande des systèmes LPV et Multi-Modèles (Fault Diagnosis and Fault Tolerant Control for LPV Systems and Multi-Models)
Décompositions arborescentes de graphes : calcul, approximations, heuristiques. (Tree decompositions of graphs: computation, approximations, heuristics)
Approches multivaluées et supervisées en morphologie mathématique et applications en analyse d'image. (Multivalued and Supervised Approaches within Mathematical Morphology, and Applications in Image Analysis)
Une contribution à l'allocation des ressources des systèmes précodés à porteuses multiples
Measures for knowledge - with applications to ontology matching and data interlinking
Dance-Led Research. (Recherche par la danse)
Information Digestion
Contribution au domaine de la conception d'objets communicants embarqués basse consommation et autonomes en énergie. (A contribution to design low power and autonomous embedded communicating objects)
Toward a Verified Software Toolchain for Java
Logical Time in Model-Driven Engineering
Machines pour raconter
Etude mathématique du problème du champ électrique affecté par un flux permanent d'ions unipolaires et application à la théorie de la sonde froide
Approches langages pour la conception et la mise en oeuvre de programmes. (Language approaches for program design and implementation)
De l'Apprentissage Statistique pour le Contrôle Optimal et le Traitement du Signal
Des graphèmes à la langue et à la connaissance. (From graphemes to language and to knowledge)
Analyse de Réseaux Sociaux : Détection et Qualification de communautés
Study of Schnyder Woods and Intersection Graphs. (Étude des Bois de Schnyder et des Graphes d'Intersections)
Vers une auto-organisation des réseaux informatiques. (Towards a self-organization of computer networks)
Contributions to Information and Energy Systems. (Contributions aux Systèmes d'Information et d'Energie)
Dialogue homme-machine multimodal : de la pragmatique linguistique à la conception de systèmes. (Multimodal human-machine dialogue: from pragmatic linguistics to system design)
Contributions to Mathematical Morphology
Contribution à l'analyse de l'environnement sonore et à la fusion multimodale pour l'identification d'activités dans le cadre de la télévigilance médicale. (Contribution at sound environnment analysis and at multimodal data fusion for activities identification in the framework of medical remote monitoring)