yusuke1997/dblp-id-title huggingface dataset:
Cadres de recherche pour le contenu ouvert et des modèles d'affaires pour des produits d'information. (Research frameworks for open content and for business models for information products)
Human, Motion and Other Priors for Partially-Supervised Recognition. (Diverses classes d'a priori pour la reconnaissance partiellement supervisée)
De fils en images l'apport des modèles pour mesurer et reconstruire le mouvement des écoulements turbulents. (Using models to measure and reconstruct turbulent fluid flows)
Présentation et analyse de quelques algorithmes distribués probabilistes. (Presentation and analysis of some distributed randomized algorithms)
Images, stratégies perceptives et stratégies cognitives d'analyse. (Images, perceptive and congitive analyzing strategies)
Représentations de connaissance: de l'approximation à la confrontation. (Knowledge representation: from approximation to confrontation)
Rule-based meta-modelling for bio-curation. (Meta-modélisation à base de règles pour la curation biologique)
Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation
Familles de graphes de présentation finie, propriétés et applications
Languages and Interaction Techniques for the Visualization and Manipulation of Massive Datasets. (Langages et techniques d'interaction pour la visualisation et la manipulation de masses de données)
Contribution à la Perception d'Environnement pour la Smart Mobilité. (Contribution to Environmental Perception for Smart Mobility)
Mettre les expressions multi-mots au coeur de l'analyse automatique de textes : sur l'exploitation de ressources symboliques externes
Apprentissage et Contrôle dans les Architectures Neuronales. (Learning and Control in Neuronal Architectures)
Contributions to Pattern Mining in Augmented Graphs. (Contributions à la découverte de motifs dans des graphes augmentés)
Fiabilité, honnêteté et éthique dans les systèmes d'agents autonomes. (Reliability, honesty and ethics in systems of autonomous agents)
De la modélisation littérale à la simulation numérique certifiée
Approches empiriques et modélisation statistique de la parole. (Empirical methods and statistical modeling of speech)
Exploitation de la couleur pour la segmentation et l'analyse d'images. (Color image segmentation)
Contribution à l'analyse des signaux et à leur classification. Applications aux Technologies pour la Santé, au maintien à domicile de la personne fragile et à l'analyse du comportement humain. (Contribution to signal analysis and their classification. Application to e-health, homecare for frail persons and analysis of human behavior)
Détection et suivi d'objets mobiles par caméras fixes. (Detection and tracking of moving objects by fixed cameras)
Contribution à l'algorithmique distribuée : arbres et ordonnancement. (Contribution to distributed algorithmic : trees and scheduling)
Contributions à l'étude de modèles biologiques, d'inégalités fonctionnelles, et de matrices aléatoires. (Contributions to the study of biological models, functional inequalities, and random matrices)
Contributions à l'étude de la dynamique des systèmes biologiques et aux systèmes de calcul en biologie synthétique. (Contributions to the study of the dynamics of biological systems and to computing systems in synthetic biology)
Adéquation Algorithme architecture : Aspects logiciels, matériels et cognitifs
Mesures et modèles pour la capture de mouvement. (Measurements and models for motion capture)
The dynamics of complex systems. Studies and applications in computer science and biology
Systèmes d'information multimédias : des systèmes aux applications. (Multimedia Information Systems: from systems to applications)
Communicating cognitive agents: modeling and formalization
At Play with Combinatorial Optimization, Integer Programming and Polyhedra. (Excursions en Optimisation Combinatoire, Programmation Entiere et Polyedres)
The Internet of (Important) Things
Contributions à l'extraction et à la représentation des règles d'association par graphes et arbres hiérarchiques
Habilitation à diriger des recherches (HDR)
Dynamic reconfiguration and low power design : towards self-adaptive massively parallel embedded systems
Neuroergonomics and physiological computing contributions to human-machine interaction
Évolutions du passage de messages face aux défis de la gestion des topologies matérielles hiérarchiques
Informatiser le lexique - Modélisation, développement et exploitation de lexiques morphologiques, syntaxiques et sémantiques. (Computerising the lexicon - Modelling, development and use of morphological, syntactic and semantic lexicons)
Image Analysis and Understanding: Application to texture classification, facial expression recognition and breast cancer diagnosis. (Analyse et Compréhension de l'Image / Analyse et Compréhension de l'Image: Application à la classification de texture, à la reconnaissance des expressions faciales et au diagnostic du cancer du sein)
Modélisation et simulation par agents. Application aux systèmes complexes
Le calcul de réécriture. (The rewriting calculus)
Vers une intégration de la temporalité dans les SIG. (Towards an integration of time within GIS)
New Representations toward more User-Friendly 3D Synthesis. (Nouvelles représentations pour une synthèse d'images plus dirigée vers l'utilisateur)
Contributions to polynomial system solving: Recurrences and Gröbner bases
Digital Twin and the Information Problem
Modélisation à haut niveau d'abstraction pour les systèmes embarqués. (High-level Models for Embedded Systems)
Méthodes d'analyse d'images pour l'anatomie numérique cérébrale
Molecular mechanisms that regulate innate behaviors in mice
Contributions à la modélisation du sens par approches formelles, linguistiques et statistiques
Taming Concurrency using Representatives
Segmentation and Skeleton Methods for Digital Shape Understanding. (Méthodes de segmentation et par squelette pour la compréhension numérique de formes géométriques)
Representation and Processing of Composition, Variation and Approximation in Language Resources and Tools
Towards a collaboratively-built knowledge base of & for scalable knowledge sharing and retrieval
Un (petit) pas vers la perception interactive
Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires. (Analysis of cryptographic protocols: from symbolic to computational models)
Modeling the variability of EEG/MEG data through statistical machine learning
Contributions algorithmiques au contrôle optimal stochastique à temps discret et horizon infini
Diagnostiquer la parole : caractérisation et modélisation automatique
De la programmation parallèle structurée à la programmation pour la grille
Contributions à la modélisation et à l'optimisation des problèmes en temps réel
Contributions to quantum information theory
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
Contribution à l'algorithmique non numérique dans les ensembles ordonnés
Modèles et outils pour la conception et la manipulation de systèmes d'aide à la décision. (Models and tools for designing and using decision support systems)
Des descriptions linguistiques à leurs représentations
Contribution à la modélisation et à la simulation des écoulements complexes : application à la rentrée atmosphérique et aux interactions particules-fluide. (Models and methods for complex flows: application to atmospheric reentry and particle / fluid interactions)
Intergiciels systèmes pour passerelles de services ambiants. (Middleware for ambient service gateways)
Problèmes de Géométrie Algorithmique sur les Droites et les Quadriques en Trois Dimensions. (Non-Linear Computational Geometry for Lines and Quadrics in Three Dimensions)
Lost in the Grid
Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods
Managing Security for the Cyber-Space - From Smart Monitoring to Automated Configuration. (Gestion de la Sécurité pour le Cyber-Espace - Du Monitorage Intelligent à la Configuration Automatique)
A Little about Action, Knowledge, Belief and a Lot about Modal Logic. (Un peu d'action, connaissance, croyance et beaucoup de logique modale)
Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation. (Toward Dynamically Reconfigurable in Embedded Systems: From Models to Implementations)
Contributions à la conception et l'exploitation de systèmes d'intégration de données. (Contributions to the design and exploitation of data integration systems)
A Machine Learning Tour in Network Science
Multimedia Content Understanding: Bringing Context to Content. (Étude de Contenus Multimédia: Apporter du Contexte au Contenu)
Computational methods towards image-based biomarkers and beyond. (Méthodes computationnelles pour des biomarqueurs basés sur l'image et au-delà)
Contributions to Statistical Model Checking
Micro Visualizations: Design and Analysis of Visualizations for Small Display Spaces
Calculs de processus: observations et inspections. (Process calculi: observations, inspections)
Contribution à la synthèse des réseaux systoliques. (Contribution to the synthesis of systolic networks)
Rôle de l'ordinateur dans le processus global de l'innovation à partir des connaissances. (Role of computer in the global knowledge innovation process)
Intergiciels et services pour la gestion de données distribuées. (Frameworks and services for distributed data management)
Quelques contributions aux méthodes d'équations intégrales et à l'étude de problèmes inverses en mécanique des solides
De la maîtrise de la qualité de la viande et de la carcasse à l'optimisation des services par ingénierie de l'écosystème digestif chez le lapin
L'intégration - moyen et objectif pour l'idéation, l'innovation et la gestion des connaissances
Exploring and Learning from Visual Data
Images et Dynamique. (Images and dynamics)
Exploring New Horizons in Multi-Objective Combinatorial Optimization: From Pareto Generation to Interactive Methods
Vision based motion generation for humanoid robots
Spécification et vérification de systèmes paramétrés. (Specification and verification of parameterized systems)
Sur la similarité et l'appréciation visuelle des données en clusters
Vers la Diffusion en Ligne d'Information Géographique sur Mesure. (User oriented distribution of geographical information)
De la simulation .... .... à la récupération. (From simulation .... .... to harvesting)
Contribution to the Engineering of User Interfaces. (Contribution à l'ingénierie des interfaces homme-machine)
Lire les lectures: analyse de données de séquençage
Interactions sur le fonctionnement dans les systèmes multi-agents ouverts et hétérogènes. (Interactions about Actions in Open and Heterogenous Multi-Agent Systems)
Algorithmique parallèle : réseaux d'automates, architectures systoliques, machines SIMD et MIMD
Bridging a Gap Between Research and Production: Contributions to Scheduling and Simulation
De la recherche d'information orientée système à la recherche d'information orientée contexte : Verrous, contributions et perspectives
Algorithmic complexity: Between Structure and Knowledge How Pursuit-evasion Games help. (Complexité algorithmique: entre structure et connaissance. Comment les jeux de poursuite peuvent apporter des solutions)
Du Rendu de Haute Qualité à l'interactivité. (From High-Quality Rendering to Interactivity)
Finding Interesting Subsets from Data: Pattern Mining and Skyline Query Approaches. (Découverte des sous-ensembles intéressants dans des données : les approches de la fouille de motifs et du traitement de requêtes skylines)
From databases to artificial intelligence
Interaction Tangible, de l'incarnation physique des données vers l'interaction avec tout le corps
Building the bridges between QoS and QoE for network control mechanisms
Contribution à l'ordonnancement et la planication de ressources humaines
Harnessing the Structure of some Optimization Problems. (Autour de l'utilisation de la structure dans certains problèmes d'optimisation)
Structuration statistique de données multimédia pour la recherche d'information. (Statistical structuring of multimedia data for information retrieval)
Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites
Optimisation Combinatoire Multi-Objectif : Apport des méthodes coopératives et contribution à l'extraction de connaissances. (Multi-objective combinatorial Optimization: contribution of cooperative methods and application to knowledge discovery)
Object management in large-scale distributed systems. (La gestion des objets dans les systèmes répartis de grande échelle)
Entrepôts et analyse en ligne de données complexes centrés utilisateur : un nouveau défi. (User-centric complex data warehouses and on-line analysis)
Sémantiques formelles. (Formal semantics)
A Journey through Dynamic Networks (with Excursions)
Matrices polynomiales et égalisation de canal. (Polynomial matrices and channel equalization)
Depicting shape, materials and lighting: observation, formulation and implementation of artistic principles
Visualisation d'information : techniques et solutions visuelles pour l'exploration de données relationnelles, temporelles et spatiales. (Information visualization: techniques and applications for the exploration of relational, temporal and spatial data)
Towards Incorporating Within-Field Variation into Spatial Agronomic Decision Processes
Sparse Wars
Modélisation brownienne des solutions
Topological Aspects of Representations in Computable Analysis. (Aspects Topologiques des Représentations en Analyse Calculable)
Automates Cellulaires; Fonctions Booléennes. (Cellular Automata; Boolean Functions)
Toward complex models of complex systems - One step further in the art of Agent-Based Modelling
Data Replication in three Contexts: Data Warehouse, Cluster and P2P Systems. (Réplication asynchrone des données dans trois contextes: entrepôts, grappes et systèmes pair-à-pair)
Contributions au traitement du signal et à la théorie de l'information
Systèmes à mémoire longue : de l'analyse et la synthèse basées sur des modèles entrée-sortie d'ordre non entier à l'étude du comportement interne
Avancées en apprentissage statistique pour la détection d'anomalies et le transfert
Prédiction d'Interactions et Amarrage Protéine-Protéine par combinaison de classifieurs. (Protein-Protein prediction and protein-protein docking by ensemble learning)
Pratique des langages fonctionnels Types
Contributions pour l'utilisation des machines parallèles, réparties et hétérogènes à travers le prisme de la gestion des données partagées
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip
Machines spécialisées et programmation en logique. (Specialized machines and logic programming)
Mises en correspondances de données, textes et connaissances pour la découverte de connaissances biomédicales. (Mappings between data, texts and knowledge for biomedical knowledge discovery)
Vision for Scene Understanding
Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. (Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués)
Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics)
Définition et implantation de la sémantique des langages de programmation
Models and Algorithms for Interactive audio Rendering
Increasing the bandwidth of Interactive Visualizations, using complex display environments and targeted designs
La simulation numérique : de la prévision de l'irradiation solaire aux sciences du vivant. (the numerical simulation : from solar irradiation forecasting to life sciences)
Contributions à la caractérisation & structuration d'images et de séquences vidéo. (Contributions to the characterization & structuring of images and video sequences)
Contributions à la conception d'architectures matérielles dédiées
Ingredients for Motion Planning-powered Reinforcement Learning. (Ingrédients pour l'apprentissage par renforcement combiné à la planification de mouvement)
De la mobilité à la sécurité des réseaux
Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques. (Algorithmic Number Theory and Applications to the Cryptanalysis of Cryptographical Primitives)
Modèles pour la Création Interactive et Intuitive d'Objets Tridimensionnels. (Models for the interactive and intuitive creation of tri-dimensional objects)
Conception et évaluation de nouvelles technologies pour les personnes déficientes visuelles
Contributions à l'étude par vision du mouvement humain : analyse du comportement et assistance au déplacement
Contributions to machine learning: the unsupervised, the supervised, and the Bayesian
The ABC of Creative Telescoping - Algorithms, Bounds, Complexity
Algorithmic contributions to scientific computing on high performance architectures. (Contributions algorithmiques au calcul scientifique sur architectures haute performance)
Sur quelques problèmes d'immersion d'un graphe dans une surface
Contribution des systèmes multi-agents à la conduite et à la simulation de systèmes évolutifs
Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique
Contributions to Real-Time Reliable Simulations and Certain Aspects of Scientific Computing. (Contributions aux simulations temps réel fiables et certains aspects du calcul scientifique)
Contributions à l'estimation fréquentielle multidimensionnelle et à la sélection de variables en spectroscopie. (Contributions to multidimensional harmonic retrieval and variable selection in spectroscopy)
Intégrales non classiques pour la théorie de la décision. (non classical integrals for decision theory)
Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems
Scenario automata : theory and applications. (Automates d'ordres : théorie et applications)
Hardware and software analyses for precise and efficient timing analysis
Neural Language Models for Faithful Data-to-Text Generation and Proactive Conversational Search
Réseaux bayésiens : Apprentissage et diagnostic de systemes complexes
About some Metamorphoses of Computer Programs. (A propos de quelques métamorphoses des programmes informatiques)
Représentation, iconisation et visualisation des connaissances : Principes et applications à l'aide à la décision médicale
Modélisation par apprentissage statistique des systèmes naturels, ou en interaction avec un environnement naturel. Applications aux karsts, crues éclair et en robotique
Analyse temps-fréquence et modèles d'invariance d'échelle: Contribution à l'étude de systèmes complexes. (Time-Frequency analysis and scale invariant models: contribution to the study of complex systems)
Accès aux données dans les systèmes d'information pervasifs. (Accessing Data in Pervasive Information Systems)
Some contributions on large scale heterogeneous data and knowledge integration : application to the healthcare domain
Contributions to the Autonomy of Ubiquitous Software Systems. (Contributions à l'autonomie des systèmes logiciels ubiquitaires)
Quantum cryptography and its application frontiers. (La cryptographie quantique et ses frontières applicatives)
Real-time Programming and Processing of Music Signals. (Traitement et programmation temps-réel des signaux musicaux)
From network management towards network analytics: a decade journey of research study. (De la gestion des réseaux à l'analyse des réseaux : une décennie de recherche)
Extended Tree Automata Models for the Verification of Infinite State Systems. (Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis)
Création et autogestion de services pour l'Internet du Futur et le Cloud Computing. (Creation and services self-management for Internet of Things and Cloud Computing)
Exploitation de Connaissances Formelles dans des Processus Décisionnels Automatisés et Apprentissage de Modèles Prédictifs
Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks. (Sécurité assistée par ordinateur pour les primitives cryptgraphiques, les protocoles de vote électronique et les réseaux de capteurs sans fil)
Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actions. (Artificial Intelligence for decision support in dynamic systems: Diagnosis, Prediction, Recommendation of actions)
Spectral domain analysis, modelling and transformation of sound. (Analyse, modelisation et transformation des sons)
Connaissances et compétences en industrie manufacturière : réactivité par la coopération. (Knowledge and competencies in manufacturing: Reactivity thanks to cooperation)
Graph signals, structures and sketches
Exact solutions of polynomial programs through quadratic convex reformulations: theory and applications
Structures simpliciales, simploïdales et cellulaires pour la modélisation géométrique à base topologique
Morphologie mathématique, systèmes dynamiques et applications au traitement des images. (Mathematical Morphology, dynamic systems and image processing applications)
Intergiciels pour applications distribuées sur réseaux dynamiques. (Middleware for distributed applications on dynamic networks)
Inducing Commonsense Knowledge Using Vector Space Embeddings. (Induction de connaissances de sens commun à partir de plongements vectoriels)
Enjeux liés aux ressources termino-ontologiques en santé. (Issues related to termino-ontological resources in health)
Influence sociale et morphogénèse des réseaux sociaux : approche par la simulation multi-agent
Analyse faciale dans les flux vidéo. (Facial analysis in video sequences)
Qualité, Fouille et Gestion des Connaissances
Contributions à l'Estimation et à la Commande de Robots Mobiles Autonomes
Approches statistiques pour l'analyse de données génomiques
Coordination explicite d'activités coopératives. (Explicit Coordination of Cooperative Activities)
Contributions à l'étude de l'assemblage de logiciels
Image processing methods for 3D intraoperative ultrasound
Representations for Shape and Motion in 4D Acquisition. (Représentations des formes et du mouvement pour l'acquisition 4D)
Analyses quantitatives par temps de crise sanitaire. (Quantitative analyses in times of health crisis / Quantitative analyses in times of health crisis: models for the study and the control of SARS-CoV-2 in France)
Contributions to model based test generation and monitoring strategies and their networking applications
Structuration de données par apprentissage non-supervisé : applications aux données textuelles
Redonner son poids au social : Formalisation d'une démarche intégrant facteurs socio-anthropologiques et environnementaux dans les approches d'observation et de modélisation des Systèmes Socio-écologiques Ruraux. (Giving back its weight to the society: Formalization of an approach integrating socio-anthropological and environmental factors in the observation and modeling approaches of Rural Socio-Ecological Systems)
Relations entre bases de données et ontologies dans le cadre du web des données. (On the Relationships Between Databases and Ontologies in the Context of the Web of Data)
Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité. (Finite Automata for Software Realiability and Reachability Analyses)
Counting, Knowledge Compilation and Applications
Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
Modélisation mathématique et numérique de quelques problèmes issus des sciences de l'environnement
Contraintes Globales : Aspects Algorithmiques et Déclaratifs. (Global constraints: algorithmic and declarative aspects)
Modélisation et manipulation des systèmes OLAP : de l'intégration des documents à l'usager
Contribution à l'approximation de fonctions de la variable complexe au sens Hermite-Padé et de Hardy
Contributions to speech processing and ambient sound analysis
Aide à la décision dans les filières agroalimentaires. (Decision support in agrifood chains)
Models and algorithms for combinatorial optimization problems of resource sharing between agents
Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory)