yusuke1997/dblp-id-title huggingface dataset:
Un essai de réponse à quelques questions théoriques et pratiques liées à la traduction automatique : définition d'un système prototype
Etude de caméras sphériques : du traitement des images aux applications en robotique
A Modern Eye on Separation Logic for Sequential Programs. (Un nouveau regard sur la Logique de Séparation pour les programmes séquentiels)
Application des fonctions-spline au traitement d'images numériques. (On the use of spline fonctions in numerical images processing)
Contribution à l'étude des marées dans les mers littorales : application à la Manche
Les techniques de combinaison de puissance 3D pour la génération de signaux en ondes millimétriques
Vers plus de contrôle pour la synthèse de parole expressive
Learning and Optimization for Shape-based Representations. (Apprentissage et Optimization pour des Representations basées sur la Forme)
Contributions à la flexibilité et à l'efficacité énergétique des systèmes distribués à grande échelle
Vers la Softwarization et Virtualisation de Piles de Communication. (Towards the Softwarization and Virtualization of Communication Stacks)
Les systèmes d'information sémantiques et adaptatifs fondés sur des documents virtuels et le web sémantique
Bases de Gröbner en Cryptographie Post-Quantique. (Gröbner bases techniques in Quantum-Safe Cryptography)
Contributions à la planification automatique pour la conduite de systèmes autonomes
Modélisation, dans l'espace des sphères, de surfaces canal par des courbes de Bézier à l'aide de points massiques. (In the sphere space, modeling canal surfaces using Bézier curves with mass points)
Systèmes d'Information Scientifique : des modèles conceptuels aux annotations sémantiques Application au domaine de l'archéologie et des sciences du vivant
Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. (Contribution to formal approaches of software engineering: formal method integration and multi-faceted analysis)
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
Towards Generic System Observation Management
Représentations de connaissances spatiales évolutives : des ontologies aux géovisualisations
Contributions à la recherche d'information dans des systèmes distribués, ouverts, intégrant des participants autonomes
Création de fontes en typographie numérique. (Font design and digital typography)
Accès à l'information répartie : adressage et protection. (Distributed information management: access and security)
Towards ontology matching maturity: contributions to complex, holistic and foundational ontology matching
Contributions méthodologiques pour la caractérisation des milieux par imagerie optique et LiDAR
Machines et langages pour traiter les ensembles de données (Textes, tableaux, fichiers)
Coordinations visuo-motrices durant la locomotion : Une approche croisée entre les Sciences du Mouvement et les Sciences du Numérique pour l'analyse des facteurs situationnels et individuels impliqués dans les interactions entre marcheurs
Contribution à l'étude de la consolidation des sols
Adéquation Algorithme Architecture : Modélisations, Implémentations, Optimisations pour Applications Temps Réel Embarquées
Quelques contributions au traitement de données, de signaux et à ses applications
Un voyage dans les modèles: du logiciel aux systèmes de systèmes socio-techniques. (A Journey into Models: From Software to Socio-Technical Systems of Systems)
Artificial evolution, fractal analysis and applications
Méthodes numériques et algorithmes parallèles pour la dynamique rapide des systèmes fluide-structure fortement couplés. (Numerical methods and parallel algorithms for fast transient strongly coupled fluid-structure dynamics)
Modélisation bayésienne et robotique
Modèles computationnels de cellules biologiques pour l'évolution moléculaire et la nutrition. (Computational models of biological cells for molecular evolution and nutrition)
Advanced features for image representation: integrating relations, weights, depth, and time. (Caractéristiques avancées pour la représentation d'images : intégration des relations, des poids, de la profondeur, et du temps)
Combinatoires des mots, géométrie discrète et théorie des nombres
Algorithmic Contributions to Computational Molecular Biology
Insights from economic studies of telecommunication networks. (Etudes économiques dans les réseaux de télécommunications)
Topologies de l'internet : des routeurs aux réseaux recouvrants. (Internet topologies: from routers to overlays)
Fouille de Textes : de l'extraction des descripteurs linguistiques à leur induction
L'apport des sciences et technologies du son à la recherche en sciences cognitives
Towards Data Driven Intelligent Networks. (Vers les réseaux intelligents guidés par les données)
Du semi-formel au formel : une Approche Organisationnelle pour l'Ingénierie de Systèmes Multi-Agents. (From semi-formal to formal: an organisational approach for Multi-Agents Systems engineering)
Test et diagnostic en ligne dans les systèmes embarqués. (Online testing and diagnosis in embedded systems)
Méthodes d'extraction de connaissances basées sur les ontologies et l'apprentissage pour la recommandation et l'aide à la décision
Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
Contribution des structures algébriques ordonnées à la théorie des réseaux
Service Oriented Computing in Mobile Environments: Abstractions and Mechanisms for Interoperability and Composition
Why interaction methods should be exposed and recognizable
Décodage des codes algébriques et cryptographie. (Decoding algorithms of algebraic codes and cryptography)
M.A.C.S.I : méthode d'aide à la conception des systèmes d'informations
Modèles à files d'attente et gestion des ressources dans les systèmes informatiques
Probability in computational physics and biology: some mathematical contributions. (Probabilités en physique et biologie numérique: quelques contributions mathématiques)
Sat4j, un moteur libre de raisonnement en logique propositionnelle. (Sat4j, an open reasoning platform for propositional reasoning)
Prise en compte de données multidimensionnelles et hétérogènes en imagerie médicale : contributions en fusion, filtrage et segmentation. (Taking into account multidimensional and heterogeneous data in medical imaging: contributions in fusion, filtering and segmentation)
Le Has(Art) et la néce(Cité) - Une approche (auto-)poïétique des systèmes complexes. (Has(Art) and Nece(City) - An (auto-)poietic approach to complex systems)
Algorithms for graphs on surfaces: from graph drawing to graph encoding
Contributions to Local, Asynchronous and Decentralized Learning, and to Geometric Deep Learning. (Contributions à l'apprentissage local, asynchrone et décentralisé, et à l'apprentissage profond sur variété)
Global Optimization of Mechanical Systems. (Optimisation globale de systèmes mécaniques)
Algorithmes et protocoles pour la gestion des données et des calculs dans les environnements distribués et hétérogènes
From Symbolic Verification To Domain Specific Languages. (De la vérification Symbolique aux langages dédiés à un domaine)
Public-Key Cryptography: Design and Algorithmic. (Cryptographie à clé publique: Conception et algorithmique)
Contribution à l'algorithmique des graphes: quelques représentations pertinentes de graphes. (Contribution to graph algorithm: some useful graphs' representations)
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP
Approches topologiques pour l'analyse exploratoire de données et l'aide à la décision. (Topological approaches for data analytic and decision support)
Du diagnostic organisationnel au pilotage prédictif des parcours patients à l'hôpital: Une proposition de système cyber-physique hospitalier à base de doubles numériques
La subjectivité dans le discours. Entre linguistique et traitement automatique des langues
Probabilistic XML: A Data Model for the Web. (XML probabiliste: Un modèle de données pour le Web)
Combinatorics of the Permutahedra, Associahedra, and Friends
Contribution de la métrologie internet à l'ingénierie des réseaux
Génie lexico-sémantique multilingue contributif. (Génie lexico-sémantique multilingue contributif)
Syntaxe, raisonnement et génomes
Plateforme de prototypage virtuel pour la simulation numérique en grandes transformations thermomécaniques rapides. (Virtual prototyping platform for numerical simulation in Large Thermomechanical Transformations)
Contributions to the security of EPC/RFID wireless technologies
Tools and Algorithms for Cryptanalysis. (Outils et Algorithmes pour la Cryptanalyse)
Bâtiment adaptatif : contribution à la maîtrise des ambiances habitables. (Adaptive Building: Contribution to the Control of Built Environment)
De l'optimisation dans les réseaux
Contributions to energy-efficient wireless communications exploiting games, online optimization and learning. (Contributions aux communications sans fil efficaces en énergie exploitant la théorie des jeux, l'optimisation en ligne et l'apprentissage)
Quelques méthodes et modèles pour l'étude de la morphogenèse cérébrale
Image processing for materials applications. (Image processing for materials applications)
Analyse et Interprétation d'Images : Analyse Multiéchelle pour la Description des Formes Planaires. (Image analysis and understanding : Multiscale analysis for planar shapes description)
When Artificial Life Inspires (Computational) Biology
Évaluation et optimisation de performance énergétique des centres de calcul
Functional protein sites Decipheredby Evolution and Structural dynamics
Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems)
Models of Distributed, Differential and Probabilistic Computation. (Sémantiques des calculs distribués, différentiels et probabilistes)
Analyse et traitement de flux de données à large échelle
Extraction d'information dans les maillages et les volumes numériques. (Feature extraction within mesh representations and digital volumes)
Etude de la dynamique déterministe à court terme des modèles macroéconomiques : application au modèle STAR
Graph Based Knowledge Representation and Reasoning: Practical AI Applications
De l'algorithmique à l'arithmétique via le calcul formel. (From algorithmics to arithmetic via computer algebra)
Contributions à la caractérisation et la reconnaissance de l'écriture arabe dans ses différentes formes. (Contributions to the characterization and recognition of Arabic writing)
Sécurisation du Contrôle d'Accès dans les Bases de Données
Modélisation, simulation numérique et problèmes inverses. Contributions en physique des plasmas de Tokamak, en écologie marine et autres travaux
Extraction / purification de biomolécules : vers l'intensification de procédés intégrés. (Extraction / purification of biomolecules: towards integrated processes intensification)
Méthodes ascendantes pour l'ingénierie des connaissances. (Bottom-up methods for Knowledge Engineering)
Contributions à la sécurité des systèmes embarqués face aux attaques logiques et physiques. (Contributions to the security of embedded systems against logical and physical attacks)
Shape Analysis of 3D Human Faces and Applications
Protecting user data in distributed systems. (Sur la protection des données utilisateur dans les systèmes répartis)
Contributions au processus d'Aide Multicritère à la Décision : Méthodes, Outils et Applications
Designing Serious Games, Mobile Learning and Extended Reality Applications for and with teachers
Contributions à la conception sûre des systèmes embarqués sûrs. (Contributions to the safe design of safe embedded systems)
Computational Science of Computer Systems. (Méthodologies d'expérimentation pour l'informatique distribuée à large échelle)
Contributions à la segmentation d'image et de nuages de points. Application à l'analyse de scènes urbaines
Logical Proportions for Classification and Preference Learning. (Logische Proportionen für Klassifikation und Präferenzlernen / Proportions Logiques pour la Classification et l'Apprentissage de Préférences)
Traitement Automatique de la Langue Biomédicale
Le calcul ensembliste par analyse par intervalles et ses applications
Résolution efficace de variantes du problème de dimensionnement de lots. (Efficient resolution of lot sizing problem variants)
SAR imaging: From Intensity to Interferometry and Tomography
La part du calcul
Cellules souches pluripotentes et création de chimères germinales chez le lapin
Contributions au partitionnement de graphes parallèle multi-niveaux (Contributions to parallel multilevel graph partitioning)
Des données spatio-temporelles aux dynamiques urbaines. (From spatio-temporal data to urban dynamics)
Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering)
Vers une THéOrie probabiliste des SystèMES sensori-moteurs
Projections et distances discrètes
Méthodes de décomposition et croisement d'algorithmes pour des problèmes d'optimisation
Instruments of Productivity for High Performance Computing. (Instruments de productivité pour le calcul haute performance)
Algorithmes Haute-Performance pour la Reconnaissance de Formes Moléculaires. (High Performance Algorithms for Molecular Shape Recognition)
Quelques contributions en reconnaissance automatique de la parole robuste
Inference, Interrogation and Implementation of Biological Networks
Système de recherche d'information intelligent dans les dispositifs de décision : Créativité, compétitivité et innovation. (Intelligent information retrieval system in decision-making devices: Creativity, competitiveness and innovation)
Construction et analyse de transformées discrètes en ondelettes : spécificité de l'image et de la couleur. (Construction and analysis of wvalete discrete transform: specificity of the image and the color)
Modèles et méthodes d'optimisation combinatoire pour la conception de chaînes logistiques et l'optimisation des transports
Vers des asservissements visuels sur des scènes inconnues
Contributions au traitement des images multivariées)
Contribution à la conception assistée par calculateur des systèmes logiques
Intégration de connaissances a priori dans les systèmes d'analyse d'images : Applications en analyse de documents, biométrie et ophtalmologie. (Modeling a priori knowledge in image processing systems:application to document analysis, biometrics and ophtalmology)
From Networks to Data and Back Again: A Story of Wireless Networks in the 21st Century
Contributions à la maîtrise de la dynamique des robots parallèles
Provable Security of Cryptographic Primitives: from Algorithms to Assembly
Observation d'exécutions parallèles. (Observation of parallel program executions)
Eléments méthodologiques pour la réalisation de systèmes de CFAO et leur introduction dans les entreprises. (Elements of methodology for the construction of cfao systems and their introduction in firms)
Méthodes stochastiques en analyse d'image : des champs de Markov aux processus ponctuels marqués
Sur les l-classes d'idéaux dans les extensions cycliques relatives de degré premier l
Technologies de la Simulation Interactive de Modèles Physiques Multisensoriels. (Interactive simulation technologies for multisensory physical models)
Modèles bio-informatiques pour les peptides non-ribosomiques et leurs synthétases. (Computational biology for nonribosomal peptides and their synthetases)
Des données Satellitaires aux Connaissances : Modélisation des Incertitudes, Analyse et Interprétation. (From Remote Sensing Data to Knowledge: Modelling Uncertainties, Analysis and Interpretation)
Sur la vérification des systèmes digitaux
Efficient verification of sequential and concurrent systems
Modélisation et optimisation des problèmes continus et discrets, du dimensionnement à l'ordonnancement
The versatility of using explanations within constraint programming
Les modes de régulation des activités numériques : exploration des tensions entre l'approche par les risques (risk-based) et l'approche fondée sur la protection des droits. (The tension between risk-based and rights-based approaches to regulating digital technology)
Gestion de l'adaptabilité dans les applications réparties. (Managing adaptability in distributed applications)
Problèmes Combinatoires de graphes : de la Fiabilité des réseaux à la coloration de graphes
FORmac DEsk CALculator‎ : un outil de mise au point et d'aide au calcul formel sur ordinateur
Formal methods applied to access control policy design, verification and enforcement
Modélisation, Conception Système d'Architectures Hétérogènes pour les Applications Embarquées : Eléments d'amélioration de l'efficacité énergétique des systèmes sur puce de silicium. (Modelling, Design of Heterogenous architectures for embedded Applications / Modelling, Design of Heterogenous architectures for embedded Applications : Refinement parts about power efficiency of silicon chips systems)
Lattices and codes for wireless communications and security. (Réseaux euclidiens et codes correcteurs pour les communications sans fil et la sécurité)
Scalable Verification of Hybrid Systems
Heterogeneous architectures, Hybrid methods, Hierarchical matrices for Sparse Linear Solvers. (Matrices Hiérarchiques, méthodes Hybrides, architectures Hétérogènes en algèbre linéaire creuse)
De novo analysis of splicing from RNA-seq data: models, algorithms and applications
Logique linéaire et syntaxe des langues. (Linear logic and natural language syntax)
Exploration et caractérisation de graphes de propriétés
Linear and Nonlinear Schemes for Forward and Inverse Problems
Exemples d'approches pour la modélisation d'écoulements complexes : oscillations de poussée, jet synthétique par plasma et écoulements de paroi. ( : Examples of approaches for modelling complex flows : thrust oscillations, plasma synthetic jets and wall-bounded flows)
. (Toward a complete predictive rendering pipeline for numerical prototyping and cultural heritage applications)
Human behaviour modelling in complex socio-technical systems : an agent based approach
Des systèmes complexes pour l'observation de l'activité humaine. (Complex systems for observing human activity)
Contribution à l'étude des surfaces discrètes et continues, transformation et reconstruction
Supporting service consumption : advanced discovery and recommendation techniques. (Techniques de recommendation et de découverte de services et procédés)
Éléments de flexibilité et d'efficacité en programmation par contraintes
Data Mining Driven Approaches for Predictive Maintenance, Inventive Design Modelling and Energy Storage Systems
Un développement algébrique de l'algorithme d'exclusion et quelques problèmes géométriques en algèbre de Boole
De l'extension des langages à objets à la réalisation de modèles métiers : une évolution du développement logiciel
Méthodes d'apprentissage automatique pour l'analyse des interactions utilisateurs. (Machine learning methods for the analysis of user interactions)
Traitement Automatique et Troubles de la Voix et de la Parole : champs d'application, contraintes et limites
Le traitement automatique des langues face à l'évolution des usages de la langue. (Natural Language Processing Facing the Language Uses Evolution)
Architectures collaboratives pour l'aide à la décision dans les entreprises en réseau. (Collaborative Architectures for Decision Support in Enterprise Networking)
Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée
Models and inference for structured stochastic systems. (Modèles et inférence pour des systèmes stochastiques structurés)
Non Linear Dynamics in Complex Systems: From Quantum Systems to Brain Neurons and Galaxies
Histoires évolutives et autres comptes. Algorithmes et graphes pour la bioinformatique
Contrôle flou : de l'interpolation numérique au codage de l'expertise
Régulation, fiabilité et qualité de service des réseaux de transports multimodaux. (Multimodal Transportation Networks: Modeling, Control and Quality of Service)
Lambda-calculus and formal language theory
Exécutions de programmes parallèles à passage de messages sur grille de calcul
Efficient XML query processing
Modélisation du trafic, des déplacements sur un réseau et de l'accessibilité aux activités grâce au transport. (On models of traffic and network, trip choices and accessibility to activities)
Constraint Programming for Data Mining and for Natural Language Processing
Formal Techniques for Component-based Design of Embedded Systems
Apports et limites de la Réalité Virtuelle pour la mise en contexte de l'humain : Évaluation, Collaboration et Apprentissage
Prototypage rapide d'applications de traitement des images sur systèmes embarqués. (Rapid prototyping of image processing applications on embedded systems)
Formal Verification for Numerical Computations, and the Other Way Around
Numerical modeling of elastic slender structures subject to contact and friction: from dynamic simulation to inverse static design. (Modélisation numérique de structures élancées en présence de contact frottant: de la simulation dynamique à la conception statique inverse)
Towards intelligent technology-enhanced learning solutions for transforming higher education: contributions and future directions
Static Analyses for Manipulations of Hierarchically Structured Data. (Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement)
Statistical methods for analysing high throughput sequencing data. (Méthodes statistiques pour l'analyse des données de séquençage à haut débit)
Modélisation long terme de signaux sonores
L'aide aux personnes en situation de handicap au cœur d'une recherche en informatique. Des outils d'interaction homme-machine au compagnon artificiel
Data-Driven Interactive Simulations for Clinical and Robotic Applications. (Simulation guidée par l'image pour applications cliniques et robotiques)
Neural Networks for Natural Language Processing. (Réseaux de Neurones pour le Traitement Automatique du Langage)
Contribution à la navigation d'un robot mobile par commande référencée multi-capteurs
Apprentissage de RepréSentation: de la déCision non Linéaire à la GénéRation de données
Turning repulsive point processes into subsampling algorithms
Ingénierie des profils d'apprenants
Contrôle de Systèmes Dynamiques Incertains et Résolution Exacte en Optimisation Combinatoire : Contributions et Applications. (Control of Uncertain Dynamical Systems and Exact Resolution in Combinatorial Optimization :Contributions et Applications)
Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques
Flexibilité et performance de codes de calcul en optimisation et simulation. (Flexibility and Performance of Computer Codes in Optimization and Simulation)
Une exploration des problèmes inverses par les représentations parcimonieuses et l'optimisation non lisse. (Exploring inverse problems with non-smooth optimization and sparse representations)
Algorithmics of motion: From robotics, through structural biology, toward atomic-scale CAD. (Algorithmics du mouvement: De la robotique, à travers la biologie structurale, vers CAD échelle atomique)
Un Eco-système de Médias Réseaux basé sur la Conscience du Contexte, du Réseau et du Contenu à destination de l'Internet Media du Futur. (A Networked Media Ecosystem based on *-Awareness for Future Media Internet)
Modélisation de scènes dynamiques à partir de plusieurs caméras
Vers une programmation systématique : étude de quelques méthodes, techniques et outils
Conception d'une structure de données dans les environnements de bases de données. (Data base schema design)
Computation under Uncertainty: From Online Algorithms to Search Games and Interruptible Systems
Graphes de cordes : une caractérisation et ses applications. (Chordal graphs: a characterization and its applications)
Conception et adaptation de services techniques pour l'informatique ubiquitaire et nomade
Reconnaissance de langages par automates cellulaires
Analyse des Séquences de Processus et Champs Aléatoires d'Ondelettes
Modélisation géométrique
Mouvements Autonomes : vers la Créativité dans les Réseaux sans fil. (Autonomous Movements : toward Creativity in Wireless Networks)