yusuke1997/dblp-id-title huggingface dataset:
Representing and Querying Incomplete Information: a Data Interoperability Perspective
Le Web Sémantique: une solution fédératrice pour le traitement de l'information
Exemples d'analyses d'algorithmes en Arithmétique, Théorie de l'Information et Fouille de Données
Vers une personnalisation des Services RéSeau à la demande. (Toward the Customization of on-demand Network Services)
Towards a Web of Structured Knowledge: Methods, Applications and Perspectives
Fondements THéOriques pour la simulation de SystèMES complexes en GéOgraphie (Volume I - recherche). (Theoretical Foundations for the simulation of Complex Systems in Geography)
Formalisations pour les compositions de services
Vers une Ingenierie de l'evolution logicielle : une approche architecturale. Verrous, Contributions et Perspectives. (Towards Software Evolution Engineering: an Architectural Approach. Locks, Contributions and Perspectives)
Simulations numériques de systèmes biologiques complexes : dynamique, structure et fonction de transporteurs, canaux et enzymes. (Numerical simulations of complex biological systems: dynamics, structure and function of transporters, channels and enzymes)
Automata and Logics for Concurrent Systems: Realizability and Verification
Entre aléa et déterminisme : lumière sur quelques structures discrètes
Contribution à la génération automatique de maillages de qualité pour la simulation numérique. (Contribution to automatic mesh generation of quality meshes for numerical simulation)
Génération de code réparti par distribution de données. (Distributed code generation by data distribution)
Graph Matching, Matroid Intersection, and Beyond. (Couplage, L'Intersection de Matroïdes, et Au-Delà)
Modèles de forme et d'apparence en traitement d'images. (Models of shape and appearance in image processing)
Etude de la réponse aux médicaments par la modélisation des relations dose-concentration-effet. (Studying drug response through the modelling of dose-concentration-effect relationships)
Méthode de pénalisation et applications : résolution et optimisation de modèles macroéconomiques
Architecture Générative Inspirée. (Inspired Generative Architecture)
Reconstruction Et Modélisation Des Dynamiques Sociales Et De L'évolution Culturelle: Le tournant des Sciences Humaines et Sociales du XXIème siècle. (Reconstruction and Modeling of Social Dynamics and Cultural Evolution)
Modélisation et assimilation de données en océanographie
Contributions to scientific computing for data-simulation interaction in biomedical applications
Passage à l'échelle d'applications java distribuées auto-adaptatives. (Scale up of Java distributed self-adaptive applications)
Optimisation et évaluation de performance pour l'aide à la conception et à l'administration des entrepôts de données complexes. (Performance optimization and evaluation for designing and managing complex data warehouses)
Automated Planning with Solvers: Concurrent and Epistemic Aspects
Shape Analysis for Human Behavior Understanding. (Analyse de formes pour la compréhension du comportement humain)
Fouille de textes : des méthodes symboliques pour la construction d'ontologies et l'annotation sémantique guidée par les connaissances. (Text Mining: Symbolic methods to build ontologies and to semantically annotate texts)
Apprentissage automatique pour l'analyse des expressions faciales. (Machine learning for facial expression analysis)
Vers la sécurité mobile : caractérisation des attaques et contremesures. (Towards mobile security: characterizing attacks and countermeasures)
Entre linguistique et informatique. Des outils de traitement automatique du langage naturel écrit (TALNE) à l'analyse du discours numérique médié (DNM). (Between linguistics and computer science. Tools for the automatic processing of natural written language (TALNE) to the analysis of the medieval digital speech (DNM))
Modulation de la détection des odorants et de la dynamique cellulaire
La part des autres dans la persistance à vouloir comprendre: Perspective sociale-conative de l'expérience optimale d'apprentissage tout au long de la vie
Apprentissage par Renforcement : Au delà des Processus Décisionnels de Markov (Vers la cognition incarnée)
Modélisation et analyse de la criticité mixte pour le Systèmes embarqués temps réel. (Mixed Criticality Modeling and Analysis Paradigms for Real-Time Embedded Systems)
Contributions au traitement des signaux à valeurs sur des structures algébriques non-commutatives
Contributions à la classification et segmentation de séries temporelles par apprentissage statistique non supervisé ou guidé
Modelling and analyzing security protocols in cryptographic process calculi
A Statistical Approach to Topological Data Analysis
Modèles et outils pour l'assistance à la conception. Application à la conception architecturale
Extraction de motifs spatio-temporels : co-localisations, séquences et graphes dynamiques attribués. (Mining spatio-temporal patterns: colocations, sequences and dynamic attributed graphs)
Interaction in Multiagent Systems
Contribution à l'analyse de données temporelles. (Temporal Data Analysis)
Contributions à l'amélioration de l'utilisation des ressources dans les réseaux de paquets sans fil
Calculs à l'aide de mots : vers un emploi de termes linguistiques de bout en bout dans la chaîne du raisonnement
A contribution to distinguishing labellings of graphs
Quelques contributions à l'imagerie médicale multimodale et interventionnelle
Un modèle relationnel et une architecture pour les systèmes de bases de données réparties : application au projet Polypheme
Caractérisation des propriétés souches des cellules de vertébrés : conservation et spécificité entre cellules embryonnaires et cellules tumorales
Contrôle de mouvement pour la simulation d'humains virtuels anatomiques. (Motion control for simulating anatomical virtual humans)
Simulation Photoréaliste de l'éclairage en Synthèse d'Images
Vision robotique directe. (Direct robotic vision)
Prendre en compte l'humain en génie civil, la modélisation face au défi de la complexité
Scale coupling and upscaling techniques in elastostatics and elastodynamics in random media. (Couplages et transitions entre échelles en élastostatique et élastodynamique en milieu aléatoire)
Diversification des fourrages : intérêts pour améliorer leur valeur alimentaire et réduire les impacts environnementaux de la production de ruminants
Conception d'architectures reconfigurables dynamiquement : Du silicium au système. (Dynamically reconfigurable architectures: From silicon to system management)
Quality Awareness for Managing and Mining Data
Coordination et Communication Stratégique
Traitement de données ambigues dans un système de base de données. Application aux bases de données démographiques
Explicitation des intentions et conception de documents
Systèmes Réflexifs en Coévolution: Du TCAO à l'XAI, Contributions au Support des Activités Humaines Médiatisées par l'Informatique. (Reflective Systems in Co-Evolution / Reflective Systems in Co-Evolution: From CSCW to XAI: Contributions to the Support of Computer-Mediated Human Activities)
Une recherche opérationnelle. (An Operational Research)
Structuring Overlays for Distributed Computing: from Edge-Devices to the Clouds
Contributions à la création de corpus et de modèles d'apprentissage profond pour les données textuelles multilingues. (Contributions to corpus creation and deep learning models for multilingual textual data)
La musique du cerveau : Modélisation des mécanismes de genèse et maintien des rythmes oscillatoires neuronaux. (The Music of the Brain: Modeling the Mechanisms of Genesis and Maintenance of Neuronal Oscillatory Rhythms)
Apprentissage interactif pour la recherche par le contenu dans les bases multimédias. (Interactive Learning for Content-Based Retrieval in Multimedia Databases)
Quelques Contributions sur la Modélisation de Déformations d'Organes. (Some Contributions to the Modeling of Organ Deformations)
Contribution à l'étude des surtensions de manœuvre sur les lignes à très haute tension
Complétude en Logiques
Optimisation adaptative basée sur les métamodèles. (Surrogate-based and adaptive optimization)
L'algorithme d'échange en optimisation convexe
Combinaison de données hétérogènes pour la reconnaissance d'images de documents
Contents through Networks: wireless access, caching, social diffusion
Scalability of parallel sparse direct solvers: methods, memory and performance
Content-based structuring of still and animated images collections. (Structuration par analyse du contenu des collections d'images fixes et animées)
Mes contributions au traitement de la géométrie 3D. (My contributions to 3D geometry processing)
Conception et Optimisation d'Architectures Réseaux pour les Systèmes de Communication Aéronautiques
Estimation et détection conjointe pour la fusion d'informations. (Joint estimation and detection in the context of information fusion)
Modélisation Multi-Echelle pour les Phénomènes de Transfert en Chimie Séparative : de l'Atome aux Procédés. (Multiscale modelling for transfer phenomena in separation chemistry: from molecules to chemical engineering)
Quelques apports de l'analyse multidimensionnelle : activités des élèves et pratiques des professeurs des mathématiques ; vers une modélisation. (no title)
Approche par contraintes des problèmes d'ordonnancement et d'affectation : structures temporelles et mécanismes de propagation. (A Constraint-based Approach for Scheduling and Allocation: Temporal Structures and Propagation Mechanisms)
Méthodologies et algorithmes pour l'analyse de la sûreté de fonctionnement des systèmes industriels complexes
Etude de quelques invariants et problèmes d'existence en théorie des graphes
Analyse des usages des plateformes de construction de connaissances par des méthodes mixtes et réflexives pour l'amélioration de l'appropriation et de la structuration de l'information : SECONDE PARTIE : Synthèse et bilan des recherches
Algorithmes pour la résolution de problèmes d'optimisation et de minimax
Contribution à la cryptanalyse de primitives cryptographiques fondées sur la théorie des codes. (Contribution to the Cryptanalysis of Code-Based Primitives)
Noetherian Induction for Computer-Assisted First-Order Reasoning. (Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur)
Analyse, Modélisation et Simulation du Mouvement Humain
Multiplication in Finite Fields and Elliptic Curves
Contribution to the Analysis of Discrete Event Systems
Analyse numérique de quelques problèmes liés au traitement de signaux
Formal Methods for Synchronization in Parallel and Concurrent Programming Languages
Méthodes et outils pour le test logiciel
On the relevance of bandit algorithms in digital world
Adaptation dans les systèmes dynamiques : une vision informatique de la résilience
Contribution à l'étude des erreurs d'arrondi en arithmétique à virgule flottante
Metrique rang et cryptographie. (Rank metric and cryptography)
Reasoning, arguing, ranking and aggregating
Habilitation à Diriger des Recherches Discipline : Informatique Simulation Concurrente de Systèmes à Evénements Discret : Concepts et Applications
Models and Analyses for Image Synthesis. (Modèles et analyses pour l'image de synthèse)
Transferts de chaleur et de masse en milieu granulaire : expériences, modèles et simulations. (Heat and mass transfer in granular media: experiments, models and simulations)
Modèles Continus. Calculs. Algorithmique Distribuée. (Continuous Models. Computations. Distributed Algorithms)
Software Abstractions for Parallel Architectures. (Abstractions Logicielles pour Architectures Parallèles)
Modeling Biological Networks as Logic Programs. (Modélisation de réseaux biologiques à l'aide des programmes logiques)
éCrire en langues Specialisees : methodes et outils du traitement automatique des langues au Service de l'autonomie des Redacteurs. (Writing in Specialized Languages: Methods and Tools of Natural Language Processing to Enhance the Autonomy of Technical Writers)
Classes polynomiales du problème CSP : entre théorie et pratique
Machine Learning Techniques for Semistructured Data. (Techniques d'Apprentissage Automatique pour les Données Semistructurées)
Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. (Contributions à la modélisation formelle et à l'analyse de modèles stochastiques)
New Challenges in Structural Bioinformatics: When Physics Meets Big Data
Optimal Transport for Computer Graphics and Temporal Coherence of Image Processing Algorithms. (Transport Optimal pour l'Informatique Graphique et Cohérence Temporelle des Algorithmes de Traitement d'Images)
Vers une programmation fonctionnelle praticable
Interaction et connaissance : construction d'une experience dans le monde virtuel. (Interaction and knowledge: experience construction in the virtual world)
Modèles et données pour l'extraction d'informations physiques, invariantes ou discriminantes à partir d'images couleur
Conception et construction de noyaux de systèmes opératoires. (Design and construction of operating systems kernels)
Knowledge-based Design of Stochastic Local Search Algorithms in Combinatorial Optimization
Motion Control of Complex Robotic Systems: From Concept to Real-time Validation
Analyse psychophysique et apprentissage statistique pour l'aide au diagnostic en imagerie du cancer
Quelques contributions à l'analyse et au traitement des images numériques
Interaction homme-Machine adaptative. (Adaptive Human-Computer Interaction)
Contribution à l'analyse non linéaire
Structures algébriques en logique et concurrence
Un (petit) pas vers l'explicabilité de l'intelligence artificielle. (A (small) step towards explainable artificial intelligence)
Contributions for enabling high data rate applications in low-power networks
Architecture pour le filtrage dans les bases de données relationnelles. (Architecture for the filtering in relational data bases)
L'homme augmenté : Épistémologie et bio-ingénierie de l'humain machine
Contribution à la localisation pour le véhicule autonome
Concilier Expressivité et Efficacité en Programmation par Contraintes
Systemes de Vision intelligents : adequation Architecture algorithme, conception et implantation Materielles. (Smart Vision systems: adequacy architecture algorithm, design and hardware implementations)
Combinatoire autour du groupe symétrique
Voyage (dans le temps) autour de la vérification, du test, et au delà. ((Time) travel across verification, testing, and beyond)
Contributions in Audio Modeling and Multimodal Data Analysis via Machine Learning
De la démarche expérimentale à la conception expérimentale : Guidage de l'activité et décision didactique pour la rétroaction. (From experimental approach to experimental design: Activity guidance and didactic decision for feedback)
Méthodes numériques de calcul des valeurs propres et vecteurs propres d'un opérateur linéaire
Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI
Quelques problèmes de modélisation mathématique et numérique : Évolution d'interfaces géométriques et problèmes inverses appliqués à l'imagerie médicale
Compression des images et des vidéos numériques : dix années de recherches au CNRS
Estimation of uncertain dynamical systems and related properties. Application to health-monitoring. (Estimation des systèmes dynamiques incertains et des propriétés connexes. Application à la surveillance de la santé )
Prise en compte du facteur de crête dans le dimensionnement des systèmes de télécommunications. (Taking peak factor into account in telecommunication systems)
Extraction d'information contextuelle d'images et de séquences d'images pour en proposer une visualisation pertinente à un utilisateur dédié: ED 184 Mathématiques et Informatique Spécialité : Informatique
Cycles limites stochastiques et confineurs : étude mathématique : intérêt en biologie. (Stochastic limit cycles and confiners : mathematical study and interest in biology)
Visualisation Scientifique en médecine.Application à la visualisation de l'anatomie et à la visualisation en épileptologie clinique. (Scientific visualization in medicine.Application to the visualization of the anatomy and visualization in clinical epileptology)
Modélisation statistique et classification par apprentissage pour la qualité des images
Contributions to the Verification of Cryptographic Protocols. (Contributions à la Vérification des Protocoles Cryptographiques)
Some problems in graph theory and graphs algorithmic theory
Méthodes informatiques pour l'analyse de données de séquençage de petits ARN
Some contributions to cardiac and pulmonary biomechanical modeling, simulation & estimation
Contributions to the Stability Analysis and Control of Networked Systems. (Contributions à l'analyse de la stabilité et au contrôle des systèmes en réseau)
Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité. (Termination of higher-order rewrite systems based on the notion of computability closure)
Contributions to Decentralized and Privacy-Preserving Machine Learning
Interopérabilité normative globalisée des systèmes d'information et de communication: Vol1 : Les galaxies de la médiation : Vision historique, technique et prospective des systèmes d'information et de communication. Vol. 2 : Normalisation et interopérabilité des TIC : Cas des systèmes pour l'enseignement et l'e-Learning. Vol 3: Annexes
Modélisation simulation pour l'aide à la décision multicritères des architectes-urbanistes. (MultiCriteria Decision Support for architect and urban planner : A simulation and modelling apporach)
Bivariate systems and topology of plane curves: algebraic and numerical methods
Representation and Analyses of Web Content and Processing. (Représentation et analyses de contenu et de programmes Web)
Méthodes effectives en théorie de Galois différentielle et applications à l'intégrabilité de systèmes dynamiques. (Effective methods in differential Galois theory and applications to integrability of dynamical systems)
Modélisation et contraintes globales en programmation par contraintes
Contribution aux Protocoles MAC et à la Localisation des noeuds dans les Réseaux de Capteurs Sans Fil et l'Internet des Objets
Résumé en ligne des vidéos complexes, recherche interactive des images par le contenu, et aide au diagnostic médical basé sur l'analyse des images. (Online summary of complex videos, interactive content-based retrieval of images, and assistance in medical diagnosis based on image analysis)
Études de la complexité algorithmique des réseaux d'automates. (Studies of the algorithmic complexity of automata networks)
Reconfiguration dynamique d'architectures logicielles : des métaclasses aux « nuages verts ». (Dynamic reconfiguration of software architectures: from metaclasses to "green Clouds" )
Prise de décision séquentielle dans l'incertain : Exploiter la structure et rester dans le cadre
Sur certains espaces topologiques de suites et leurs applications
Gestion des signes : De la représentation des connaissances à leur signification pour les e-services
Symbolic Inference Methods for Databases. (Méthodes d'Inférence Symbolique pour les Bases de Données)
Fouille de données complexes et logique floue : extraction de motifs à partir de bases de données multidimensionnelles. (Fuzzy and Complex Data Mining: Knowledge Discovery from Multidimensional Data)
Contributions à la conception de systèmes ambiants pour l'aide aux personnes fragiles
Supporting Software Evolution in the Organizations. (Aide à l'Évolution Logicielle dans les Organisations)
Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien. (Simplifying and enhancing daily life with new human-computer interactions and new forms of communication)
Traitement d'imagespar modèles discrets sur graphes et Classification de données d'images par apprentissage (Image Processing by Discrete models on graphs and image data classification by machine learning)
Analyse automatique de film - Des séquences d'images aux séquences d'actions. (Computational Film Analysis - From image sequences to action sequences)
Contribution aux études sur l'analyse et la synthèse de la parole : rôle et importance des formants
Approches organisationnelles pour la conception de systèmes multi-agents dédiés à la gestion des connaissances; Application aux projets d'ingénierie et d'innovation Composition du jury
Langage de spécifications
Gestion des données du web et interopérabilité. (Web data management and interoperability)
Apport de la simulation numérique pour le développement et l'optimisation des matériaux biosourcés appliqués à l'énergie et l'environnement
Déploiement et support à l'exécution de services communicants dans les environnements d'informatique ambiante
The study of neural oscillations by traversing scales in the brain
Contributions to speech analysis: acoustic and prosodic aspects. (Contribution à l'analyse de parole : aspects acoustiques et prosodiques)
Nouvelle génération d'Interfaces Homme-Machine pour mieux agir et mieux comprendre. (New generation of Human-Computer Interfaces for improving decisions and understanding)
Rewriting methods in higher algebra. (Méthodes de réécriture en algèbre supérieure)
Processus aléatoires invariants d'échelle et analyse multirésolution pour la modélisation d'observations de systèmes physiques. (Scale invariant stochastic processes and multiresolution analysis for the modeling of physical systems)
Estimation de l'histoire évolutive des populations à partir de données génomiques : développements statistiques et applications aux espèces animales d'élevage
G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools. (G∀min∃ : Exploration de la frontière entre les langages de spécification exécutables et les outils d'analyse du comportement)
Réflexivité, aspects et composants pour l'ingénierie des intergiciels et des applications réparties. (Reflection, Aspects and Components for Engineering Middleware and Distributed Applications)
Contributions en traitement du signal par méthodes d'apprentissage à noyaux. (Contributions to signal processing with kernel-based machine learning)
Contributions à la fouille de données complexes
Traffic Measurements and Data Analysis for DNS Security
Model Design and Accuracy for Resource Management in HPC. (Conception et précision des modèles pour la gestion de ressources en HPC)
La gestion des ressources pour des infrastructures vertes par la reconfiguration
Processing of optic and radar images.Application in satellite remote sensing of snow, ice and glaciers
New learning paradigms for real-world environment perception
Sur des problèmes de décomposition d'un graphe, liés à l'implantation
On Oracles for Automated Diagnosis and Repair of Software Bugs
Contributions à la réplication de données dans les systèmes distribués à grande échelle. (Contributions to data replication in large-scale distributed systems)
Microstructure, Macrostructure, and Cognition. A walk in Diffusion MRI
Traitement du signal et Physique des ondes pour la connaissance et la surveillance de l'environnement marin
Contributions to Pattern Discovery and Formal Concept Analysis
Data depth: computation, applications, and beyond
Mesh Generation. (Génération de maillages)
Médiations intellectives
Etude Des Materiaux et des Structures Discontinues du Genie Civil, Caractérisation spatiale, Comportement Mécanique, Modélisation. (Study of Civil Engineering Materials and Discontinuous Structuresspatial, characterisation, mechanical behaviour, modelling)
Analysis, estimation and control of nonlinear oscillations. (Analyse, estimation et contrôle des phénomènes oscillatoires non linéaires)
Pattern mining rock: more, faster, better
Sur une théorie de la thermodynamique des processus irréversibles dans les milieux continus
Hybridations à base de métaheuristique pour les systèmes de production de biens et de services
Contribution à l'étude de la perception en Réalité Mixte
Des multiples facettes des graphes circulants
Reconnaissance de documents manuscrits structurés : Des équations manuscrites aux documents anciens
Contributions to parameterized complexity and approximation