yusuke1997/dblp-id-title huggingface dataset:
Contribution à l'étude de l'élasticité dans le cas de déformations planes petites et de rotations quelconques
Autonomous Mobile Systems for Long-Term Operations in Spatio-Temporal Environments
Advances in Functional Encryption
Contribution à la planification de mouvements en robotique
Knowledge discovery in databases using novel approaches based on Computational Intelligence. (Contributions en Extraction de Connaissances en utilisant des Nouvelles Approches basées sur l'Intelligence Computationnelle)
Représentation de Connaissances par Objets pour la modélisation et l'adaptation d'informations multimédias et spatio-temporelles
Learning Approaches for Remote Sensing Image Classification
Motifs séquentiels pour la description de séries temporelles d'images satellitaires et la prévision d'événements
Novel paradigms in the processing of speech and its disorders. (Nouveaux paradigmes en traitement de la parole et de ses troubles)
Landscape analysis and heuristic search for multi-objective optimization
Control of Hybrid Systems and Discrete-Event Systems. (Commande de Systèmes Hybrides et de Systèmes à Evènements Discrets)
La gravimétrie mobile en champ proche : outil essentiel pour la haute résolution en géodésie physique et en géosciences. (Mobile near-field gravimetry: an essential tool for high resolution physical geodesy and geosciences)
Modèles et algorithmes dédiés pour la résolution de problèmes inverses parcimonieux en traitement du signal et de l'image
Detection of thin, curvilinear structures : Advances, Algorihms and Implementations
Asynchronisme : Cadres continu et discret. (Asynchronism : Continuous and discrete contexts)
Evitement de motif
Modèles et Outils pour la Production d'Applications de RX, Focus sur le Patrimoine Culturel (HdR)
Machine learning tools for biomarker discovery. (Outils d'apprentissage statistique pour la découverte de biomarqueurs)
Risque, Incertitude et Gestion de Ressources Naturelles Renouvelables
Image Quality Assessment and Saliency Detection: human visual perception modeling and applications
Contribution à l'algorithmique parallèle, Le concept d'asynchronisme : étude théorique, mise en œuvre et application
Une Ingénierie Centrée Architecture de Lignes de Produits Logiciels à Base de Composants
Compréhension ciblée de texte par reconnaissance de relations: ou Comment établir des relations simples avec ses voisins
Euclidean lattices: algorithms and cryptography. (Réseaux Euclidiens : Algorithmes et Cryptographie)
Modélisation numérique de la neige : la fin du déterminisme ?
Contribution à la localisation dynamique d'automobiles.Application à l'aide à la conduite
Introduction aux structures multi-échelles. Applications à la représentation des plantes
Graphs and Uncertainty. (Graphes et incertitude)
Some (statistical) applications of Ockham's principle
Système d'information géographique temporelle maritime ; Des distances linéaires à l'analyse temps réel des trajectoires. (Temporal Geographic Information System Maritime for maritime data ; From linear distances to real time trajectory analysis)
Oriented patterns in image analysis : From thin objects to flow-based methods. (Etude des Directions en Analyse d'image: Des objets fins aux méthodes à base de flot)
Estimation et test dans les modèles paramétriques de processus stationnaires
Contribution à l'étude du contrôle optimal stochastique
Métaheuristiques Coopératives : du déterministe au stochastique
Computer Vision and Robot Navigation in 3D Environments. (Vision par Ordinateur et Navigation Robotique dans des Environnements 3D)
Architectures pour les logiciels de Réalité Augmentée : des concepts aux applications. (Architecture for Augmented Reality sofware: from concepts to applications)
Computational pragmatics : time, space and discourse. (Phénomènes contextuels en TAL: temps, espace et discours)
Modèle, calculs et applications de la visibilité en dimension n
Neuroimaging signatures of brain disorders: Fighting overfitting in predictive models
Contributions à l'extraction de connaissances à partir de données biologiques. (Contribution to knowledge extraction from biological data)
Du textuel au numérique : analyse et classification automatiques. (From text to digital: automatic analysis and classification)
Fonctions-spline homogènes à plusieurs variables
Contribution à l'étude des problèmes d'ordonnancement flowshop avec contraintes supplémentaires : Complexité et méthodes de résolution. (Flowshop scheduling problems with additional constraints: complexity and solution methods)
Audit et monitorage de la sécurité. (Advanced Security Monitoring and Assessment)
Systèmes cognitifs artificiels : du concept au développement de comportements intelligents en robotique autonome. (Artificial cognitive systems: from concept to the development of intelligent behaviours in autonomous robotics)
Quelques développements statistiques et algorithmiques pour l'analyse de données génomiques
Contributions to Explainable Artificial Intelligence: Developing ExpressIF® for Industry and Sciences. (Contributions à l'Intelligence Artificielle Explicable : Développement d'ExpressIF® au Service de l'Industrie et des Sciences)
Contributions to high-performance computing for computational science and engineering
Méthodologie pour la construction de systèmes CAO : SIGMA-CAO : une méthode globale pour la spécification, la mise en œuvre et l'utilisation de systèmes intégrés pour la conception assistée par ordinateur
Mesures de confiance et traitement automatique de la parole
A modelling odyssey in the tree of life
Machine Learning for regulatory genomics. (Apprentissage statistique pour l'étude de la régulation transcriptionnelle)
Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes)
Interactions Multi-Échelles
Sur certaines normes et fonctionnelles dans les espaces de matrices et d'opérateurs
Conception d'architectures embarquées : des décodeurs LDPC aux systèmes sur puce reconfigurables. (The design of embedded architectures: from decoding LDPC to reconfigurable systems on chip)
Contributions à la construction de résumés Vidéos :application à la recherche d'objets génériques et à lareconnaissance faciale: Recherche à partir d'une base de vidéosRecherche d'objets génériquesreconnaissance faciale à partir de vidéosreconnaissance faciale. (Contributions to the building of video summaries:application to generic object search andfacial recognition / Contributions to the building of video summaries:application to generic object search andfacial recognition: Content based video retrieval generic objects searchfacial recognition from videos)
Modélisation et optimisation du partage de ressources dans les réseaux radio multi-sauts. (Linear Programming techniques for modeling capacity and energy issues in wireless multi-hop networks)
Modeling, Learning, and Transferring Anatomical Representations in Medical Imaging using AI. (Modélisation, Apprentissage et Transfert des Représentations Anatomiques en Imagerie Médicale à l'aide de l'IA)
Qualité des sources en fusion d'informations dans le cadre de la théorie des fonctions de croyance
Gestion et performance du calcul pour les expériences en physique et en astrophysique
Contributions aux réseaux intelligents - The Next Generation Networking and Internet
Contributions to the practice and theory of state-machine replication. (Contributions pratiques et théoriques à la réplication de machine à états)
Insertion temps réel d'un animateur dans un monde virtuel
Contribution à la réplication de données dans les systèmes de gestion de données à grande échelle. (Contribution to data replication in large scale data management systems)
Calculateurs arithmétiques en temps réel
Du parallélisme connexionniste à une pratique de calcul distribué numérique bio-inspiré
Data-driven Approaches for Enhancing Resilience in Large-scale Transport Networks: A journey through data analysis, traffic modelling, complex networks and flexible software architectures for resilient and sustainable cities
On the use of sensorimotor coordinations for intuitive and ecological robotic assistance to gesture
Large-scale dynamical model approximation and its applications. (Approximation de modèle de grande dimension et applications)
Modèles, systèmes, hétérogénéité. (Models, Systems, Heterogeneity)
Contribution à l'agilité des systèmes d'information
From Genomic to Functional models
Some Contributions to Reconstruction Problems. (Quelques contributions dans le domaine des problèmes de reconstruction)
Large-Scale Machine Learning and Applications. (Apprentissage à grande échelle et applications)
Infrastructures and Compilation Strategies for the Performance of Computing Systems
Vers une intégration décisionnelle en planification de production
Enabling Techniques for IoT, mMTC, and URC in 5G and B5G Systems
Approche computationnelle de l'imagerie médicale : application en neurosciences
Contributions to statistical inference from genomic data. (Contributions à l'inférence statistique pour des données génomiques)
Étude de procédés d'extrapolation en analyse numérique
Optimization and game-theoretical methods for transportation systems
Vers une programmation des systèmes interactifs centrée sur la spécification de modèles exécutables
Matériel et logiciel pour l'évaluation de fonctions numériques :précision, performance et validation
Learning Representation for Information Access
Aspects algorithmiques de la décomposition modulaire. (Algorithmic aspects of modular decomposition)
Control, optimization and games for networked dynamical systems
Stabilisation de la structure du sol et valorisation des matières organiques à l'échelle du système de culture
Capturing Binary Graphs. (Capturer des graphes binaires)
Reactors, reactions, and random numbers
SILICIEL : Contributions à l'architecture des cicuits intégrés at à la compilation du silicium. (SILICIEL: contributions to integrated circuit architecture and silicon compilation)
Vers une aide intelligible à l'analyse prédictive
Codage des données visuelles : Efficacité, robustesse, Transmission (Visual Data coding : Efficiency, robustness, Transmission)
Commande d'une caméra réelle ou virtuelle dans des mondes réels ou virtuels. (aucun)
Modélisation différentielle du texte, de la linguistique aux algorithmes. (Differential modeling of text, linguistic algorithms)
Les mycotoxines dans l'alimentation : mode de contamination, conséquences sur la santé des consommateurs et moyens de les combattre
Les circuits intégrés de communication de données‎ : architecture et méthodologie de conception. (Data communication circuits: architecture and design methodology)
Sécurité des réseaux et infrastructures critiques. (Security of critical infrastructures and Networks)
Modélisation de la géométrie en imagerie non conventionnelle
Stochastic Expectation Maximization algorithms for estimation in latent variable models: developments, analysis and applications
Grandeurs Locales et Liaisons Chimiques :Des Outils d'Analyses pour l'Etude des Propriétés Macroscopiques des Solides Périodiques. (Local Interactions and Chemical Bonds: Powerful Tools for the Study of Macroscopic Properties of Periodic Solids)
Data Analysis at Scale: Systems, Algorithms and Information
About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration
Contribution to Context-Aware and Adaptive Approaches for Services in Smart Spaces
Ressources numériques pour l'éducation mathématique. Conception, évaluation, qualité et appropriation. (Digital resources for mathematics education. Design, evaluation, quality and appropriation)
Contribution to the management of large scale platforms: the Diet experience
Promenade au-delà de NP. (Beyond NP)
Solutions efficaces pour la métrologie de l'Internet
Combinatorial Objects in Bio-Algorithmics: Related problems and complexities
Analyse de systèmes dynamiques par discrétisation. Exemples d'applications en théorie des nombres et en biologie moléculaire. (Analyzing dynamical system with discrete approaches. Application in number theory and molecular biology)
Modèles acoustiques pour la reconnaissance du locuteur
Développement de détecteurs, caractérisations, analyse de données et modélisation, du domaine de la physique des hautes énergies à celui de la physique médicale
Des méta-modèles pour guider l'élicitation des connaissances en EIAH : contributions à l'enseignement de méthodes et à la personnalisation des activités
Transformation thermo-élastique de l'énergie solaire en vue de la production d'énergie électrique
Mathematical Informatics: Outline of a mathematical theory of computer science
EEG Source Analysis
De l'analogie rendant compte de la commutation en linguistique
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques)
Architectures des réseaux pour le contrôle de la QoS. (Network architectures for QoS control)
Sûreté : de l'analyse à l'instrumentation et à la synthèse de code
Eléments aléatoires à valeurs convexes compactes
Optimisation et auto-optimisation des systèmes de commande à données échantillonnées, en présence de saturations
The Game of Synthesis
Contribution à l'étude des structures statistiques infinidimensionnelles
Des mots aux textes. Analyse sémantique pour l'accès à l'information. (From Words to Texts: Semantic Analysis for Information Access)
Simulation of natural complex systems, contribution to wildfire forecasting. (Simulation de systèmes naturels complexes, contribution à la prévision de feu de forêt)
La parole : du traitement automatique à la mesure de l'intelligibilité
Modern Branch-Cut-and-Price
Reconnaissance automatique de la parole : étude et réalisation fondées sur les niveaux acoustique, morphologique et syntaxique
Modélisations et Optimisation Multicritère de Réseaux. (Models and multicriteria optimization of networks)
Artificial Intelligence to Extract, Analyze and Generate Knowledge and Arguments from Texts to Support Informed Interaction and Decision Making
Contributions to component-based software engineering - composition, reuse and evolution -
Entropies et Radiotechnique
Contributions à la modélisation et à la simulation des systèmes complexes. (Contributions to the modeling and simulation of complex systems)
From ant colony and routing to lies detection and natural language processing, A research journey. (Des colonies de fourmis et le routage, à la détection de mensonge et le traitement de language naturel - Un parcours de recherche)
Ensemble Algorithms and Analytic Combinatorics in RNA Bioinformatics and Beyond. (Algorithmes ensemblistes et combinatoire analytique en Bioinformatique des ARN)
Metamodelisation to support Test and Evolution
Quelques applications de la réalité augmentée : Nouveaux modes de traitement de l'information et de la communication. Effets sur la perception, la cognition et l'action. (A few applications of augmented reality : New modes of information and communication technologies. Effects on perception, cognition and action)
Computer Based Interactive Medical Simulation ￼￼
Détection des intrusions dans les systèmes d'information : la nécessaire prise en compte des caractéristiques du système surveillé
Contribution à l'analyse numérique des méthodes de couplage particules-grille en mécanique des fluides. (Contribution to a numerical analysis of hybrid particle-grid methods in fluid dynamics)
Théorie et pratique de l'interaction humain-robot. (Theory and practice of human-robot interaction)
Protection des Accélérateurs Matériels de Cryptographie Symétrique. (Protection of Symmetric Cryptography Hardware Accelerators)
Apports de modélisations mathématiques pour l'évaluation et l'optimisation de systèmes industriels complexes
Approches distribuées à base d'agents pour modéliser et simuler les systèmes complexes spatialisés. (Distributed Approaches based on Agent Based Systems to model and simulate complex systems with a space)
Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates. (Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates)
Recyclage des données de la recherche en biologie : vers une bioinformatique écologique? (Recycling biological research data: towards an ecological bioinformatics?)
Vers une accessibilité accessible
Analyse et optimisation de performance des réseaux de communication
The intrinsic motivation of reinforcement and imitation learning for sequential tasks: Body movement analysis, activity of daily living analysis and intrinsically motivated robot for hierarchical reinforcement learning. (La motivation intrinsèque d'apprendre par renforcement et imitation des tâches séquentielles / La motivation intrinsèque d'apprendre par renforcement et imitation des tâches séquentielles: Analyse de mouvement, analyse d'activité de la vie quotidienne et motivation intrinsèque d'un robot pour apprentissage par renforcement hiérarchique)
Contributions à l'Optimisation de Requêtes Multidimensionnelles
Contributions à l'automatisation raisonnée de différents processus du test logiciel. (Contributions to reasoned automation of various processes of software testing)
Programmation Mathématique en variables entières: théorie et applications
Découverte de connaissances à partir de grands graphes biologiques. (Knowledge discovery from large biological graphs / Knowledge discovery from large biological graphs: Knowledge discovery from large biological graphs)
Solutions formelles de systèmes différentiels linéaires au voisinage d'un point singulier. (Formal solutions of linear differential systems at a singular point)
Design Automation and Multi-Objective Optimizations for High-Performance Embedded Software. (Automatisation de la conception et optimisations multi-objective pour logiciel embarqués à haute performance)
Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents)
Steinhaus triangles and graphs and contributions to numerical semigroups, Tower of Hanoi problems, Ramsey theory and Kneser transversals
Contribution à l'évaluation d'algorithmes de traitement d'images. (Contribution to the evaluation of image processing algorithms)
Accès à l'information : vers une hybridation fouille de données et traitement automatique des langues
La cartographie des traces textuelles comme méthodologie d'enquête en sciences sociales
Méthodologie et outils pour la simulation multiagent dans des univers virtuels. (Methodology and tools for the multiagent simulation of virtual universes)
Aide à la conception des microsystèmes
De la couleur au mouvement. De l'apparence à l'action
Techniques de détection d'erreur appliquées à la détection d'intrusion
Contributions algorithmiques pour les simulations complexes en physique des matériaux
Modélisation géométrique du corps humain et Simulation numérique de l'accident routier de l'usager vulnérable
Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models
Autour de codes définis à l'aide de polynômes tordus
Un modèle mathématique de processus d'interrogation‎ : les pseudoquestionnaires
Modélisation, Analyse, Représentation des Images Numériques Approche combinatoire de l'imagerie. (Modeling, Analysis, Digital image representation Combinatorial approach of imagery)
Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel
Personnalisation et enrichissement des méthodes d'accès aux données
Stabilisation des transports d'énergie à longue distance
De la recherche de granules documentaires à l'agrégation d'information
Learnability in Problems of Sequential Inference. (Apprenabilité dans les ProblèMES de l'inféRence SéQuentielle)
Evolution Combinatoire, Algorithmique des Chromosomes
Structural Graph Parameters, Fine-Grained Complexity, and Approximation
Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). (Formal software engineering: theory, practice and teaching (learning from the E-voting experience))
Sur la syntaxe de la sémantique quantitative
Data-Driven Recommender Systems: Sequences of recommendations
Conception d'architectures systoliques integrées
Apports de la Notion de Contexte à Différents Systèmes. (Context across the systems)
Géostatistique et assimilation séquentielle de données
Advanced Methods for the Risk, Vulnerability and Resilience Assessment of Safety-Critical Engineering Components, Systems and Infrastructures, in the presence of uncertainties
Rôle des sécrétions ovariennes sur la fonction mammaire chez les ruminants
Participatory modelling and interactive simulation to support the management of the commons. (Modélisation participative et simulation interactive pour accompagner la gestion des communs)
Deductive Formal Verification: How To Make Your Floating-Point Programs Behave
Visualisation d'information : modélisation, interaction et nouveaux dispositifs. (Information visualization: interacting with large display devices)
Contribution à l'étude des moteurs asynchrones linéaires
La Programmation générique : construction de logiciel, spécification algébrique et vérification
Diffusion et fusion directionnelles pour le lissage et le rehaussement de structures fortement orientées
Leveraging users' behavior, intentions and interests for enhancing Exploratory Data Analysis and Data Narration
De la variation linguistique et de son influence sur l'application de méthodes de Traitement Automatique des Langues. (On linguistic variation and its impact on Natural language Processing methods)
Contributions au Traitement Automatique des Langues et à un domaine d'application, la Communication Alternative et Augmentée. (Contributions to Natural Language and Speech Processing and one of its application domain : Alternative and Augmentative Communication)
Exploitation de données pour la modélisation. : De l'évaluation des systèmes de transport aux chaînes logistiques
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
From Big Data to Fast Data: Efficient Stream Data Management. (Du Big Data au Fast Data: Gestion efficace des données de flux)
(Non) convex losses and regularizations, some contributions in Statistics. (Pertes et régularisations (non) convexes, quelques contributions en Statistique)
The quest of modeling, certification and efficiency in polynomial optimization. (La quête de modélisation, de certification et d'efficacité en optimisation polynomiale)
Contribution à la conception d'accélérateursmatériels pour systèmes autonomes intelligents
Méthodes de recherche arborescentes. Application à la résolution de problèmes d'ordonnancement et au calcul d'itinéraires multimodaux
Some Advances in Linear Logic
L'interaction pédagogique dans les jeux d'apprentissage immersifs
Documents structurés multimédia. (Structured multimedia Documents)
Understanding and Managing Medical Data and Knowledge Dynamics
Concepts et modèles formels pour l'analyse et la conception à objets. (Formal concepts and models to object-oriented analysis and design)
Sur l'estimation de paramètres dans les modèles différentiels stochastiques multidimensionnels
Modélisation géométrique de surfaces lisses: Design et Fairing. (Geometric modeling of smooth surfaces: Design and Fairing)
Maîtrise de la dynamique dans l'Internet - de l'adaptation des protocoles à la sécurité des services. (Control of dynamics in the Internet - from the adaptation of protocols to the security of services)
Complexité du logiciel ambiant : de la composition dynamique à l'exécution distribuée, contextuelle, autonome et large-échelle. (Complexity of Ambient Software: from Composition to Distributed, Contextual, Autonomous, Large-scale Execution)
Preuves aidées par ordinateur en combinatoire des mots
Supporting Collaboration in Large Interactive Spaces. (Favoriser la collaboration dans les grands espaces interactifs)
Machine learning solutions to visual recognition problems