yusuke1997/dblp-id-title huggingface dataset:
Étude par un modèle de la génération périodique des signaux chimiotactiques chez dictyostelium discoideum. (Modeling of the periodic generation of chemotactic signals in dictyostelium discoideum cells)
De l'intégration de données à la composition de services Web. (From data integration to Web services composition)
Contribution à l'étude des moyens de mise en œuvre des traitements numériques du signal
Automated Application and Resource Management in the Cloud
Contributions à la mise en oeuvre de nouvelles techniques d'interactions pour l'assistance à la personne
Polarimetric radar images: from acquisition to inversion. (Images polarimétriques radar: de l'acquisition à l'inversion)
Modélisation et Simulation Multi-physiques du Système Respiratoire : quantification de mouvement et suivie des tumeurs pulmonaires, dosimétrie et imagerie de vérification en 4D
Méthodes de décomposition pour la programmation mathématique
Logiques pour la spécification et vérification
Ergonomie cognitive des jeux vidéo : Comprendre pour optimiser l'expérience joueur dans les interactions joueur-jeu vidéo. (Human factors in video games: Understanding to optimise the player experience in player-video game interaction)
Modelling pathological processes from heterogeneous and high-dimensional biomedical data
Primitives et constructions en cryptographie asymétrique
Internet des objets, Auto-Organisation et Passage à l'éChelle. (Internet of things, self-organization and scalability)
Auto-adaptation dans les Systèmes Multi-Agents : de l'entité autonome au système organisé. (Self-Adaptation in Multi-Agent Systems: From the Autonomous Entity to the Organized System)
The "Infinite Loop" Towards Adaptive 3D User Interfaces
Mixed-integer linear programming approaches for deterministic and stochastic lot-sizing problems. (Approches de programmation linéaire en nombres entiers pour les problèmes déterministes et stochastiques de dimensionnement de lots de production)
Approches (dés)incarnées des Espaces-Temps en Océanie - Pour une décolonisation des savoirs et des méthodes anthropogéographiques dans l'aire océanienne
Contribution à l'optimisation des stratégies de maintenance des systèmes
Traitement des événements et ciblage d'information
Approches et expérimentations autour des composants : applications aux composants logiciels, aux objets d'apprentissages et aux services distribués
Vers une meilleure intégration des dimensions spatiales, comportementales et participatives en simulation à base d'agents. (Towards a better integration of spatial, behavioural and participatory dimensions in agent-based simulation)
Variational-analysis look at combinatorial optimization, and other selected topics in optimization
Some Problems in Graph Coloring: Methods, Extensions and Results
Contributions en faveur d'une meilleure personnalisation de la recherche d'informations - Applications à la tâche questions-réponses, à la recherche de documents audio et à l'accessibilité pour des personnes dyslexiques
Contributions aux méthodes numériques pour le filtrage et la recherche opérationnelle
Almost Exclusively Linear Algebra: An Introduction to Determinantal Point Processes: An Introduction to Determinantal Point Processes
Algorithmes auto-stabilisants pour la construction d'arbres couvrants et la gestion d'entités autonomes. (Self-stabilizing algorithms for spanning tree construction and for the management of mobile entities)
Découverte de motifs centrée sur l'utilisateur. (User-Centric Pattern Discovery)
Machine learning for structured data. (Apprentissage machine pour données structurées)
Numerical modeling to understand the heart
Auto-stabilisation : Solution Elégante pour Lutter contre Les Fautes
Contribution à la vérication formelle et programmation par contraintes
Analyse spectrale à haute résolution et décompositions non-négatives appliquées au traitement des signaux de musique. (High resolution spectral analysis and non-negative decompositions applied to music signal processing)
Méthodes d'optimisations de programmes bas niveau. (On Backend Code Optimisation Methods)
Computational Human Dynamics: People, Networks, and Collective Phenomena
Apprentissage de comparaison et représentation d'objets complexes
Contributions à la cryptographie à base de couplage
Une contribution aux défis environnementaux par des outils de commande roborative. (A contribution to environmental challenges through robust control techniques)
Algorithmes d'approximation parcimonieuse inspirés d'Orthogonal Least Squares pour les problèmes inverses. (Sparse approximation algorithms inspired by Orthogonal Least Squares for inverse problems)
Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. (Programming mutli/many-core COTS for critical embedded systems)
Localisation de valeurs propres et calcul de sous-espaces invariants
Reachability analysis of rewriting for software verification. (Analyse d'atteignabilité en réécriture pour la vérification de programmes)
Le sens au coeur des systèmes d'information. (Meaning at the heart of information Systems)
A contribution to Computational Linguistics and Natural Language Processing: From the Semantics of Space and Time to Annotations and Agreement Measures
Approches non-supervisées et supervisées de filtrage et segmentation pour l'analyse longitudinale en imagerie médicale. (Unsupervised and supervised filtering and segmentation approaches for longitudinal analysis in medical imaging)
(Dynamic (programming paradigms)) Performance and expressivity
Shape from shading - Éclairages, réflexions et perspectives
Méthodes d'élimination et applications. (Elimination methods)
A Framework for Temporal Web Analytics. (Un cadre pour l'analyse temporelle d'Internet)
Modèles mathématiques de l'imprécis et de l'incertain en vue d'applications aux techniques d'aide à la décision
Algorithmes Génétiques et autres méthodes d'optimisation appliqués à la gestion de trafic aérien
Autour et alentours des motifs séquentiels. (Mining sequential patterns)
Geometric Models of Concurrent Computations
Graphs, games and propagation. (Jeux, graphes et propagation)
Corps de classes, formes modulaires, et formalisation
Reconciling Expressivity and Usability in Information Access : from File Systems to the Semantic Web
Pour une démarche centrée sur l'utilisateur dans les ENT. Apport au Traitement Automatique des Langues
Physically Flexible Control for Human-Computer Interaction
Recent Results on Quantitative Equational Logic. (Résultats Récents sur la logique Équationnelle Quantitative)
Etude de la prolifération cellulaire et de sa régulation chez l'embryon âgé et la jeune larve du triton Pleurodeles Waltlii Michah : conception et réalisation d'un système automatique d'analyse microphotométrique des populations cellulaires
Algorithmes pour la segmentation et l'amélioration de la qualité des images et des vidéos. (Algorithms for segmentation and quality enhancement of images and videos)
KLM for Heritage : Vers une humanisation de l'industrie par les Connaissances PatrimonialesOu comment considérer le patrimoine comme pilier de connaissances pour construire un futur durable. ( : Towards a humanization of industry by Heritage KnowledgeOr How to consider heritage as a pillar of knowledge to build a sustainable future)
From signal representation to representation learning: structured modeling of speech signals. (De la représentation du signal à l'apprentissage de représentation : modélisation structurée de signaux de parole)
Agriculture et limites environnementales. Comment étudier les impacts environnementaux des systèmes agricoles ?
Socio-Semantic Systems. (Systèmes socio-sémantiques)
Contributions aux Cartes Combinatoires et Cartes Généralisées : Simplification, Modèles, Invariants Topologiques et Applications
Apprentissage de la Complexité du Corps-Cerveau en Robotique Bio-Inspirée
Large-scale trustworthy distributed collaboration
L'Inférence Grammaticale au pays des Apprentissages Automatiques : Discussions sur la coexistence de deux disciplines
Epidemic Protocols: From Large Scale to Big Data. (Protocoles Epidemics: de la large échelle au big data)
Analyse et indexation de textes scientifiques. (Analysing and indexing scientific texts)
Design and performant implementation of numerical methods for multiscale problems in plasma physics
Modelling biochemical reaction networks in bacteria - From data to models and back. (Modélisation de réseaux biochimiques bactériens - Un aller-retour entre données et modèles)
Métaheuristiques pour l'optimisation coûteuse. (Metaheuristics for Expensive Optimization)
Méthodes d'analyse en variables latentes fondées sur la parcimonie et/ou la faiblesse de rang. Application aux problèmes inverses multivariés
Analyse et approximation numérique de systèmes d'interaction fluide-structure et de modèles de champ-de-phase
Question-learn-test-feedback pattern to test emerging software construction paradigms
Contributions à l'Ingénierie des Connaissances : Construction et Validation d'Ontologie et Mesures Sémantique
Refinements of Mean Field Approximation. (Raffinements de l'approximation champ moyen)
Vers des EIAH ouverts et capacitants. (Towards Open and Enabling Technology Enabling Learning environments)
Contribution à la Commande Tolérante aux Défauts pour la Maitrise des Comportements Transitoires liés à une Accommodation: Des systèmes volants vers des dispositifs biomédicaux
Allocation de ressources radios dans les réseaux radiomobiles. (Allocation of radio resources in mobile radio networks)
De la simulation multi-agents à la simulation multi-niveaux. Pour une réification des interactions. (From multi-agent simulation to multi-level simulation. Reifying the interactions)
Étude et conception d'opérateurs arithmétiques. (Study and design of arithmetic operators)
Modélisation Géométrique et Reconstruction de Surfaces
Analyse visuelle sémantique de scènes: De la modélisation des objets à l'analyse de comportement
Contributions to audio source separation and content description. (Contributions à la séparation de sources et à la description des contenus audio)
Efficient algorithms and implementation in exact linear algebra. (Algorithmes et implantations efficaces en algèbre linéaire exacte)
Extraction de connaissances à partir de données de protéomique de découverte haut-débit
Inconsistency handling in non-monotonic reasoning: from consistency restoration to argumentation
La mesure des rayonnements ionisants : recherche et développement pour la sécurité vis-à-vis des menaces nucléaires et radiologiques, pour la sûreté des réacteurs nucléaires, l'environnement et la métrologie. (Measure of ionizing radiations: research and development for safeguard against radiological and Nuclear threats, for nuclear safety, the environment and the metrology)
Contributions des approches moléculaires in silico à la compréhension des liens structure/fonction des ARN
Modélisation statistique appliquée à la propagation atmosphérique des ondes électromagnétiques et à l'observation des précipitations. (Statistical modeling applied to the atmospheric propagation of electromagnetic waves and remote sensing of precipitation)
Interplay between information theory and optimization: Applications to multi-user wireless communications. (Interaction entre la théorie de l'information et l'optimisation : Applications aux communications sans fil multi-utilisateurs)
Contributions au calcul exact intensif. (Contributions to high-performance computer algebra)
Numerical methods for white matter microstructure and brain structural connectivity in diffusion MRI
Contributions à la modélisation, la réutilisation et la flexibilité des systèmes d'information
ModéLisation, simulation et Assistance à Laconception-Construction en Architecture
Développement de techniques de navigation en immersion virtuelle : vers la personnalisation de l'interaction
Optimisation pour l'ordonnancement et le spatial. (Optimization for scheduling problems and space technology problems)
Raisonnement géométrique et méthodes de décision en robotique : application à la programmation automatique des robots. (Geometric reasoning and decision making technics in robotics. Application to automatic robot programming)
Towards a Theory of Proofs of Classical Logic
Contribution to automatic performance analysis of parallel applications. (Contribution à l'analyse automatique de performances d'applications parallèles)
Des otolithes aux satellites : méthodes et applications du traitement du signal et des images pour l'observation de l'océan
Word Meaning Representation and Interpretation in Vector Space
Contributions on Formal Methods for Timed and Probabilistic Systems
Network Troubleshooting from End-Hosts
Algorithmes et architectures adaptatifs pour les systèmes de communication sans fil efficaces en énergie. (Adaptive algorithms and architectures for energy-efficient wireless systems)
Game Theory for Real-Time Synthesis: Decision, Approximation, and Randomness. (Théorie des jeux pour la synthèse temps-réel: décision, approximation et aléatoire)
Identification, estimation and control of gene expression and metabolic network dynamics. (Identification, estimation et contrôle des dynamiques d'expression génique et des réseaux métaboliques)
Contributions à l'asservissement visuel échographique. (Contributions to ultrasound visual servoing)
Contributions à la production de logiciels de qualité
Du mouvement à l'interaction et au geste : études, techniques, outils et périphériques. (From movement to interaction and gesture: studies, techniques, tools and input devices)
Programmation et confiance. (Programming and Confidence)
Parallel Techniques for Big Data Analytics
Real-time Finite Element simulations for surgical assistance - applications to training, augmented reality and robotic control
Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles. (Contributions to the rigorous design of component-based systems using SysML models and formal approaches)
High Performance Computing as a Combination of Machines and Methods and Programming
Modélisation et contrôle en dynamiques de populations. Applications en protection des plantes
Toward a Perceptually-relevant Theory of Appearance
Scene Understanding: perception, multi-sensor fusion, spatio-temporal reasoning and activity recognition. (Interprétation de Scènes : perception, fusion multi-capteurs, raisonnement spatio-temporel et reconnaissance d'activités)
Contribution to the uplink PHY/MAC analysis for the IOT and BAN applications
Elimination des fautes : contribution au test du logiciel
Développement et analyse de méthodes de volumes finis. (Development and analysis of finite volume methods)
Algebras of coloured Petri nets and their applications to modelling and verification
Are polytopic control design methods suitable for the next robotic control challenges?
Contribution aux protocoles et aux architectures de communication de bout en bout pour la QdS dans l'internet
Un chemin de la modélisation à la commande dans les bioprocédés
Automata for relation algebra and formal proofs
Contributions to medical image segmentation with artificial intelligence for decision support. (Contributions à la segmentation d'images médicales par intelligence artificielle pour l'aide à la décision)
Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant. (Algebraic rewriting in systems of polynomial differential equations with a view towards applications in life sciences)
Towards Usable Electroencephalography-based Brain-Computer Interfaces
Optimization approaches to design and manage robust and resilient manufacturing systems. (Approches d'optimisation pour concevoir et gérer des systèmes de fabrication robustes et résilients)
Vehicular networking: from fundamental properties to network solutions
Accès transparent et sécurisé à des données largement distribuées
Langages de programmation en commande numérique de machines-outils
Contribution to Lagrangian and Arbitrary-Lagrangian-Eulerian numerical schemes. (Contribution au domaine des méthodes numériques Lagrangiennes et Arbitrary-Lagrangian-Eulerian)
Contribution à la commande des systèmes non linéaires par l'approche Takagi-Sugeno
Contributions à l'imagerie polarimétrique et à ses applications en vision pour la robotique
From Preference Elicitation to Explaining Decisions: a Dialectical Perspective
Contributions to Reasoning under uncertainty in a Possibilistic Setting
Hierarchical image analysis: theory, algorithms, and applications
3D User Interfaces, from Mobile Devices to Immersive Virtual Environments. (Interfaces utilisateur 3D , des appareils mobiles pour les environnements virtuels immersifs)
Mathematical modeling, analysis and simulations for fluid mechanics and their relevance to in silico medicine
Analyse, reconnaissance et synthèse d'expressions et de styles dans les mouvements. (Analysis, recognition and synthesis of expressions and styles in movements)
Robustesse des systèmes complexes : étude du rôle de l'aléa dans la dynamique des automates cellulaires
Contributions to Efficient Finite Element Solvers for Time-Harmonic Wave Propagation Problems
Analyse automatique d'images, de l'expert à l'apprenti
Coopération et Compétition dans les Réseaux sans Fils. (Cooperation and Competition in Wireless Networks)
De la configuration à la programmation de réseaux virtuels. (From configurable to programmable virtual networks)
Graphes RDF et leur Manipulation pour la Gestion de Connaissances. (RDF Graphs and their manipulation for knowledge management)
Contributions to Image Processing in the Perspective of Medical Applications: From CAD to Embedded Systems for In Situ Diagnosis
Contributions to Desktop Grid Computing : From High Throughput Computing to Data-Intensive Sciences on Hybrid Distributed Computing Infrastructures
Systèmes multi-agents adaptatifs : Ingénierie et utilisation dans le cadre de la résolution de problèmes. (Adaptive multi-agent systems)
Les expériences virtuelles de simulation comme outils d'aide à la prise de décisions : des données au processus de décision. (Simulation experiments as tools to decision-making from data to the decision-making process)
Contributions de la robotique mobile, humanoïde, multi-robots aux jeux à information incomplète
Contribution au développement des méthodes avancées de la programmation DC et DCA pour certaines classes de problèmes d'optimisation non-convexes. Applications en apprentissage automatique
Evaluation et représentation des enjeux environnementaux dans une perspective de transitions écologique et énergétique
Modélisation stochastique d'utilisation et de dimensionnement des ressources partagées
Contributions to the Design of Reconfigurable Embedded Systems: from Modelling to Implementation
Navigation dans les grands graphes
On the mathematical modeling of structurally complex polymerization systems: which modeling approach for what type of application?
Modélisation de l'activité humaine pour la scénarisation adaptative d'environnements virtuels complexes : Des comportements cognitifs aux comportements erronés en situation dégradée
Différentes approches non linéaires multi-échelles pour l'analyse de signaux et des images. (On different nonlinear multiscale approaches for signal and image processing)
From wikis to tube guitar amplifier simulations, the universal web platform... (Des wikis aux simulations d'amplificateurs de guitare à lampes, le Web plateforme universelle...)
La structure des protéines et son évolution. (Protein Structure and Evolution)
Data Engineering: Modeling and Integration Issues. (Ingénierie des données: problèmes de modélisation et d'intégration)
Exact and approximation algorithms for some packing and covering problems in graphs
Exploitation d'approches système dans les réseaux sans fil. (Exploiting system mechanisms for wireless networks)
Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux
Les phénomènes sans échelle à la source de la révolution numérique
Modèles et techniques logicielles pour l'assistance à l'interaction et à la collaboration en réalité mixte. (Software models and techniques for assistance to interaction and collaboration in mixed reality)
Comportement dynamique de réseaux d'automates. (Dynamical behaviour of automata networks)
Contributions à la simulation numérique des écoulements fluides : exemples en milieu poreux et en aéronautique
Contributions To Building Reliable Distributed Systems. (Contributions à la construction de systèmes distribués fiables)
Protecting Privacy of Web Users. (Protection de la vie privée des internautes)
Quelques résultats de complexité en algorithmique parallèle et systolique
Traitement automatique de la parole expressive : retour vers des systèmes interprétables? (Expressive speech processing: back to interpretable systems ?)
On Random Subset Sum and some applications
Symmetric cryptography applied in different contexts: physical attacks and ransomware
Combinatoire des configurations de boucles compactes. (Combinatorics of fully-packed loop configurations)
Contribution à l'optimisation de la décision sous incertitudes : application à la maintenance
Data Integration in the Life Sciences: Scientific Workflows, Provenance, and Ranking
Space Networking: Models and Methods
Modélisation et analyse du comportement des systèmes informatiques temporisés. (Modelling and analysis of timed computer system behaviour)
Combining Heterogeneous Information: Contributions to the Extraction and Analysis of Feature-Rich Complex Networks
Memory and data aware scheduling
Supporting Service Interactions with Semantics, Machine Learning, and Blockchain
Modélisation géométrique et simulation bio-mécanique des tissus mous
Les processus d'attente dans les files d'attentes multi-serveurs saturées
Conception de systèmes mécatroniques pour l'interaction humaine
Polynômes : du discret (codes correcteurs et cryptographie basée sur les codes) et du continu (autour des trajectoires optimales). (Polynomials : driscrete (error correcting codes and code based cryptography) and continuous (around optimal trajectorties))
Formal Methods for Systems Biology: Contributions
Computational Aspects of Learning, Reasoning, and Deciding
Contribution à la sélection de modèle via pénalisation Lasso en Épidémiologie. (Contribution to model selection via Lasso penalization in Epidemiology)
Algorithmique des courbes algébriques pour la cryptologie
Reaching Agreement in Multiagent Systems
Myriadisation et éthique pour le traitement automatique des langues. (Crowdsourcing and ethics for Natural Language Processing)
Modeling nutrition, metabolism and growth in pigs. (Modélisation de la nutrition, du métabolisme et de la croissance chez le porc)
Métaheuristiques : Stratégies pour l'optimisation de la production de biens et de services. (Metaheuristics: strategies for the optimisation of the production of goods and services)
Automates, énumération et algorithmes. (Automata, enumeration and algorithms)
From humans to humanoids: learning and interaction for human-humanoid collaboration
Symmetric Cryptography for Long-Term Security
Contributions to Large-scale Distributed Systems The infrastructure Viewpoint - Toward Fog and Edge Computing as The Next Utility Computing Paradigm? (Contributions aux systèmes distribués à large échelle la vision infrastructure - Vers le Fog et l'Edge computing comme nouveau modèle d'informatique utilitaire ?)
Structures combinatoires et interactions
A journey through optimization: from global to discrete optimization and back
Data MiningExploration, Sélection, Compréhension
On Runtime Systems for Task-based Programming on Heterogeneous Platforms
Du Signal à l'Information : le capteur intelligent
Twin-Width and Contraction Sequences
Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. (Formal specifications and developments: a study of compositional aspects in the B-method)
Algorithmes de vision par ordinateur et d'apprentissage profond appliqués aux effets visuels et à la réalité augmentée. (Computer vision and deep learning algorithms applied to visual effects and augmented reality)
Commande des convertisseurs électriques pour l'actionnement et l'acheminement de l'énergie
ordonnancement et communications. (Communications and scheduling)