yusuke1997/dblp-id-title huggingface dataset:
Validation temporelle dans les réseaux embarqués temps réel. (Temporal validation in real-time embedded networks)
Contributions au recalage d'images et à la reconstruction 3D de scènes rigides et déformables. (Contributions to Image Registration and to the 3D Reconstruction of Rigid and Deformable Scenes)
Apport des techniques de caractérisation pour les catalyseurs hétérogènes en limitation diffusionnelle interne. (Contribution of characterization techniques for heterogeneous catalysts in internal diffusion limited regime)
Contributions to Program Optimization and High-Level Synthesis. (Contributions à l'optimisation de programmes et à la synthèse de circuits haut-niveau)
Simulation Multi-Agents : Architecture, Ingénierie et Expérimentations
Modeling Musical Scores Languages. (Modélisation du langage des partitions musicales)
Algèbre multivalués et circuits logiques I²L
Modèles et algorithmes pour la décision séquentielle dans l'incertain
Sur une notion de monotonie conduisant à une extension de l'application de la méthode variationnelle dans l'étude des systèmes d'équations et d'inéquations aux dérivées partielles‎ : opérateurs paramonotones
Spectroscopie et imagerie spectroscopique in vivo quantitative : modélisation pour l'acquisition et l'analyse du signal
Supporting learning through multisensory interaction. (Soutenir l'apprentissage grâce à une interaction multisensorielle)
Time and Space-Efficient Algorithms for Mobile Agents in an Anonymous Network
Privacy Preservation in Trust-Deficient Decentralized Systems
Structural Information in Distributed Computing
Analyse morphologique et logarithmique de grandes banques d'images. (Morphological and logarithmic analysis of large image databases)
Vers un système de médiation pour les systèmes coopératifs
Évaluation formative et génération de feedbacks soutenues par la technologie
Détection et Positionnement 3D pour le Guidage par Vision : Contributions et applications à la robotique médicale. (Detection and 3D positionning for vision based guidance : contributions and applications to medical robotics)
Contribution à la modélisation des données spatio-temporelles. (Conttribution to spatio-temporl modelling)
Multi-level Parallel Branch-and-Bound Algorithms for Solving Permutation Problems on GPU-accelerated Clusters
Garantie de la qualité de service et évaluation de performance des réseaux de télécommunications
Structures of Complex Networks and of their Dynamics
Contributions à la Vision par Ordinateur pour les Systèmes en Lumière Structurée et les Systèmes Catadioptriques
.Conception de Système d'Information de Médiation pour la prise en charge de l'Interopérabilité dans les Collaborations d'Organisations
Analyse méthodologique de la modélisation numérique des équations de la physique des milieux continus à l'aide de la méthode des éléments finis‎ : flux-expert, un système d'aide à la construction de logiciels
Design des dispositifs et expériences de jeu sérieux. (Design of serious gaming devices and experiences)
Contributions to the Performance Modeling of Computer Networks
Vers la Dématérialisation des Réseaux Hybrides Satellites et Terrestres. (Toward virtualized satellites and terrestrial hybrid networks)
Fouille de trajectoires, des données aux connaissances. (Trajectory mining, from data to knowledge)
Modèles et Simulation pour le Test de Circuits Mixtes, la Fouille de Données et les Réseaux de Capteurs Sans Fil. (Models and simulation for mixted-signal circuit testing, datamining and wireless sensor networks)
Approches variationnelles régularisées pour la résolution de problèmes inverses et pour l'apprentissage machine : de la modéisation aux algorithmes à grande échelle
Propositions pour la représentation et l'analyse de documents numériques. (Proposition for the representation and the analysis of digital documents)
Le beau noiseur: Du bruit pour révéler le signal. (Le beau noiseur / Le beau noiseur: Noise as a developer of the signal)
Modélisation rigoureuse au service du logiciel et des systèmes: Rester modeste et avancer ensemble
Théorie des treillis en vue des applications
Contribution à la modélisation, simulation et pilotage des systèmes complexes
Sources Probabilistes: des séquences aux systèmes. (Probabilistic sources: from sequences to systems)
Contributions and perspectives on combinatorial optimization and machine learning for graph matching and classification. (Contributions et perspectives sur l'optimisation combinatoire et l'apprentissage pour l'appariement et la classification de graphes)
Data analyses and bioinformatic models for genomics. (Analyses de données et modèles bioinformatiques pour la génomique)
Medium Access and Efficient Use of Multihop Wireless Networks. (Accès au Médium et exploitation efficace des Réseaux Radio Multisaut)
Contributions en science des données. Fusion d'informations, fonctions d'agrégation, mesures en clustering, variétés non linéaires et données fonctionnelles
Communications numériques et exploitation de la diversité pour différents supports de transmission. (Digital communications and diversity exploitation for several transmission media)
Analyse et extraction de connaissances des bases de données spatio-temporelles. (Data Analysis and Knowledge Discovery in Spatio-Temporal Databases)
Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs
Contributions au codage correcteur d'erreurs et aux communications numériques : vers les communications à trames courtes
Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects)
Cryptanalysis of Public Key Cryptosystems
Séparation Intégrale Quadratique et Applications en Commande Robuste. (Integral Quadratic Separation and its use for robust control)
Vers une gestion optimale des ressources: des procédés de production au territoire
Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency
Some contributions to mathematical programming and combinatorial optimization
Control and design of robots with tasks and constraints in mind. (Commande et conception de robots dans une optique orientée tâches et contraintes)
Recherche d'Information Possibiliste: De la Désambiguïsation et la Reformulation de Requêtes vers la Fiabilité de l'Information Recherchée. (Possibilistic Information Retrieval: From Query Disambiguation and Expansion Towards the Reliability of Searched Information)
Soutien à l'auto-régulation des apprenants : conception d'environnements informatiques réflexifs et engageants
Multi-Agent Approaches for Dynamic Transportation Problems
Contributions to natural and extended formulations for Combinatorial Optimization Problems: Applications to exact and approximation algorithms
Étude de structures combinatoires issues de la physique statistique et d'autres domaines. (Analysis of combinatorial structures issued from statistical physics and other domains)
Ingénierie et réingénierie des EIAH - L'approche REDiM. (TEL Engineering and Reengineering - the REDiM approach)
Functional View of Geometry Processing: Operator-based Techniques for Shape Analysis
De l'image médicale au signal géométrique : analyse, construction et compression
Computer Algebra for Lattice path Combinatorics. (Calcul Formel pour la Combinatoire des Marches)
Etude de quelques problèmes d'interpolation
Cyberdéfense des infrastructures critiques
Caratérisation des signaux non-stationnaires à composantes temps-fréquence non-linéaires. (Characterization of non-stationnary signals with non-linear time-frequency components)
Etudes en sécurité informatique
Morphologie mathématique pour des images multi-variées
Algorithmique pour l'analyse et la modélisation en géométrie discrète
Inversion Bayésienne : illustration sur des problèmes tomographiques et astrophysiques
3D Models for..
Modélisation Géométrique Itérative et Nouvel Univers de Formes. (Iterative geometric modelling and new world of shapes)
Une Approche Computationnelle pour l'Etude de Processus Morphogénétiques - de la motilité des cellules à la croissance des vaisseaux. (A Computational Approach for the Study of Morphogenetic Processes - from cell motility to vessels growth)
Analyse biomécanique et simulation du mouvement de préhension : application aux mouvements altérés. (Prehension movements biomechanical analysis and simulation : application to altered movements)
Méthodes pour la géolocalisation du piéton sur site - vers une médiation numérique avec les données urbaines. (Methods for on-site pedestrian geolocation - towards digital mediation with urban data)
Biologie des systèmes et des réseaux pour l'étude des maladies
Apport des Mémoires Organisationnelles dans un contexte d'apprentissage. (Organizational Memories Contribution in a Learning Context)
Fourth dimensions of computed tomography: motion corrected CT, spectral CT and multi-variate proton CT
Modeling of turbulence and acoustics in complex compressible flows using Theory, Large Eddy Simulation and Machine Learning. (Modélisation de la turbulence et de l'acoustique dans les écoulements compressibles complexes à l'aide de la théorie, la simulation aux grandes échelles et l'apprentissage automatique)
Du génie logiciel pour déployer, gérer et reconfigurer les logiciels. (Software engineering to deploy, manage and configure software)
Modèles déformables pour l'animation : modélisation, animation et contrôle
Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems)
Contributions à la mécanique numérique pour la modélisation des matériaux hétérogènes. (Contributions to computational mechanics on modelling of heterogeneous materials)
Processus de prise de décision des systèmes autonomes ; Conception et validation de contrôleurs fiables
Modèles bilinéaires et polynomiaux de séries chronologiques : étude probabiliste et analyse statistique. (Polynomial and bilinear time series models : probabilistic study and statistical analysis)
Modèles d'Apprentissage Machine pour la Compréhension de Scènes. (Machine Learning Models for Scene Understanding)
Etudes des Activités humaines : de l'expérimentation à l'analyse
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
Quality Management of Information Systems - A Human-Centric Point of View
Modeling and Verification of Systems with Uncertainties. (Modélisation et Vérification de systèmes incertains)
Real-time and reliable design for safety-critical embedded systems. (Conception temps réel et fiable pour les systèmes embarqués critiques en matière de sécurité)
Advanced modeling and simulation using model reduction techniques and digital twins. (Modélisation et simulation avancée en utilisant les techniques de réduction de modèles et de jumeaux digitaux)
Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS. (Dynamic aspects of XML and web service interface specification with PEWS)
Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie
Multimodal Speech: from articulatory speech to audiovisual speech. (Parole Multimodale : de la parole articulatoire à la parole audiovisuelle)
Contributions aux schémas d'Analyse/Synthèse en Animation par ordinateur. (Contributions to Analysis/Synthesis Schemes in Computer Animation)
Contributions à la simulation Monte-Carlo pour l'optimisation du traitement en radiothérapie
Corpus parallèles, corpus comparables : quels contrastes ?
Contributions de la géomatique à l'étude et la gestion des environnements marins
Visual search and recognition of objects, scenes and people
Contribution à l'ingénierie dirigée par les modèles en EIAH : le cas des situations-problèmes coopératives. (Model-Driven Engineering of Technology Enhanced Learning Systems: the case of Problem Based Learning situations)
Effective formal resolution of systems of algebraic differential equations
Modalité d'interaction et multimodalité. (Interaction modality and multimodality)
MDE 2.0 : Pragmatical formal model verification and other challenges
Contributions à l'analyse d'images par catégorisation pour la description et la reconnaissance
Information Systems: from Model to Data Driven Decision Support. (Systèmes d'information : des approches modèles vers les approches données pour la prise de décision)
Analyse qualitative et quantitative du discours scientifique: Applications en extraction et recherche d'information et web sémantique. (Qualitative and Quantitative Analysis of Scientific Discourse: Applications in Information Extraction, Information Retrieval and the Semantic Web)
Computer vision for deciphering and generating faces
Interactive Data Visualization: Exploring and Structuring New Design Spaces
Contribution à la Résolution Algébrique et Applications en Cryptologie
Quelques modèles et méthodes pour l'étude de la cognition
Models for design, implementation and deployment of 3D Collaborative Virtual Environments
Modélisation computationnelle de la coopération physique patient-robot : De la prédiction du mouvement pathologique pour la commande de robots d'assistance à l'étude de l'interaction humain-robot. (Computational modeling of physical patient-robot cooperation: From pathological motion prediction for assistive robot control to the study of human-robot interaction)
From sensors to biofeedback and exoskeletons: How biomechanics may support ergonomics
Discrete Complex Analysis. (Analyse Complexe Discrète)
Contribution to the study of microstructured optical fibres : numerical methods and physical results. (Contribution à l'étude des fibres optiques microstructurées : méthodes numériques et résultats physiques)
Géométrie discrète, calcul en nombres entiers et algorithmique
Contribution à la navigation autonome en environnement dynamique et humain
Synthèse de textures par l'exemple pour les applications interactives. (Runtime By-Example Texture Synthesis)
Talking to Machines: do you read me? (Parler aux Machines: Me suivez-vous?)
Algebraic data structures and approximations for efficient geometric modeling. (Structures algébriques et approximations pour la résolution efficace de problèmes géométriques)
Fondements biologiques pour le calcul distribué, numérique et adaptatif
Algorithmique et optimisation dans les réseaux de télécommunications. (Algorithmic and optimisation in telecommunication networks)
Some contributions to geometric modeling of urban environments. (Quelques contributions à la modélisation géométrique d'environnements urbains)
Contributions à la résolution des WCSP et approches déclaratives pour la fouille de données
Calcul sur les données volumineuses et stockage distribué à grande échelle
Modélisation graphique probabiliste pour la maîtrise des risques, la fiabilité et la synthèse de lois de commande des systèmes complexes
Contribution to Perception for Intelligent Vehicles
Mine First to See Better: Constraint-based Data Mining for Computer Vision Applications : Habilitation à Diriger des Recherches
De l'analyse informatique de données de la société à l'analyse sociale de l'informatique. Un cheminement guidé par les études de genre vers un décloisonnement disciplinaire et une posture réflexive. (From the computer analysis of society's data to the social analysis of computer science. A path guided by gender studies towards the decompartmentalization of disciplines and reflexivity)
Mesure et Analyse du Trafic de Réseaux : Théorie et Pratiques
Peter, the Language that does not Exist... (Peter, le langage qui n'existe pas..)
Nouvelles approches et considérations autour de la conduite d'élevage des génisses laitières
Ingénierie des systèmes d'information : bases de données, bases de connaissances et méthodes de conception. (Design Information Systems : Data Bases, Knowledge Bases and Design Methods)
Contribution to the automated generation of programs in computer arithmetic
Systèmes complexes : inférence, dynamique et applications
Vers une approche systémique et multivues pour l'analyse de données et la recherche d'information : un nouveau paradigme
Vers plus de contrôle pour le créateur d'images de synthèse. (Towards more control for the computer graphics images creator)
Analyse de données bio-médicales. Recherche reproductible et modélisation mathématique
Efficient Architectures for High-Performance Embedded Computing. (Architectures efficaces pour calcul embarquée haute-performance)
Le code à effacement Mojette : Applications dans les réseaux et dans le Cloud
Mémoire d'habilitation à diriger des recherches
Contribution au traitement automatique des langues : cas de l'arabe. (A contribution to automatic processing of languages: the Arabic language case)
Modelling and control of managed ecosystems, from bioreactors to agroecosystems. (Modélisation et contrôle des écosystèmes gérés, des bioréacteurs aux agroécosystèmes)
Cognitive Agents in Interaction: a formal approach
Playing with Trees and Logic
Entre perception et images numériques : une perspective. (Between perception and digital images: a perspective)
Monitoring Ecosystems with Remote Sensing
Des signaux cérébraux aux activités cognitives, approches géométriques et apprentissage statistique
Advanced control laws design and validation - A set of methods and tools to bridge the gap between theory and practice. (Synthèse et validation de lois de commande avancées - Un ensemble de méthodes et d'outils pour faire le lien entre théorie et pratique)
Contributions to the science of controlled transformation
Modèles et Simulations pour la Conception et l'Evaluation de Systèmes de Communication dédiés aux Transports
Quelques aspects qualitatifs de la théorie de la commande
Modélisation géostatistique de la distribution spatiale des propriétés des sols
Régulation complexe de l'expression des gènes pour mieux comprendre les maladies communes. (Complex gene expression regulation to better understand common diseases)
Contributions to the Design of Safe Complex Systems. (Contributions à la Conception des Systèmes Complexes Sûrs)
Multimodal sensor-based control for human-robot interaction
Le Vivant Rare, Faible et Amorphe - Évolution depuis les Origines jusqu'à la Vie telle qu'elle nous Apparaît. (Rare, Weak and Amorphous Life - Evolution of Life from the Origins until Life as it Appears Nowadays)
Extraction de connaissances : réunir volumes de données et motifs significatifs
Transformation de Modèles, Approche Sémantique & Simulation - Contribution à l'Interopérabilité des Systèmes d'Entreprises. (Model Transformation, Semantic Approach & Simulation - Contribution to the Interoperability of Enterprise Systems)
Méthodes Temporelles en Acoustique
Algorithmes, mots et textes aléatoires. (Algorithms, words and random texts)
Vers l'OLAP sémantique pour l'analyse en ligne des données complexes
Improving the Security and Privacy of the Web through Browser Fingerprinting. (Améliorer la sécurité et la vie privée sur le Web à travers les empreintes de navigateur)
Optimization and statistical learning theory for piecewise smooth and switching regression. (Optimisation et théorie statistique de l'apprentissage pour la régression douce par morceaux et à commutations)
Analyse tridimensionnelle des champs électriques et magnétiques par la méthode des éléments finis‎
Reservoir SMILES: Towards SensoriMotor Interaction of Language and Embodiment of Symbols with Reservoir Architectures
Géométrie algorithmique - De la théorie à la pratique,Des objets linéaires aux objets courbes. (Computational geometry - From theory to practice,From linear objects to curved objects)
Etude structurelle des réseaux : modèles aléatoires, motifs et cycles
Mobilité dans les graphes dynamiques: Mémoire d'Habilitation à Diriger des Recherches. (Mobility in Dynamic Graphs / Mobility in Dynamic Graphs: Habilitation to Supervise Research)
Contribution au contrôle de l'hadronthérapie et à la modélisation de la dose biologique
Distributed Chemically-Inspired Runtimes for Large Scale Adaptive Computing Platforms
Étude et calcul de quelques distances en probabilités et statistique et applications : séparation asymptotique des chaînes de Markov. (Study and calculus of distances in probability and statistics and applications. Asymptotic separation of markov chains)
Contributions à l'étude de schémas numériques de type Volumes Finis et de leurs applications pratiques
Mathematical models and numerical methods for the analysis of medical images and complex data. (Modèles Mathématiques et Méthodes Numériques pour l'Analyse d'Images Médicales et de Données Complexes)
Simulation interactive d'objets déformables pour la conception de simulateurs d'apprentissage aux gestes médicaux-chirurgicaux. (Interactive simulation of deformable objects for the design of training simulators of medical-surgical gestures)
Champs tensoriels pour la modélisation géométrique locale et non-locale des images et leurs applications. (Tensor fields for modelling the local and non-local geometry of images, and their applications)
Modélisation de terrains virtuels. (Virtual land modeling)
Architectures multiprocesseurs, distribuées et reconfigurables dynamiquement pour les applications temps réel
Scheduling for Large Scale Distributed Computing Systems: Approaches and Performance Evaluation Issues
Semantic enrichment of data: annotation and data linking
Computational Approaches to Analysis and Control of Hybrid Systems. (Approches Computationnelles pour l'Analyse et le Contrôle des Systèmes Hybrides)
Contribution to the Mathematical and numerical Analysis of uncertain Systems of conservation Laws and of the linear and nonlinear Boltzmann equation. (Contribution a l'analyse Mathematique et numerique des systemes de lois de conservation incertains et de l'equation de Boltzmann Lineaire et non-Lineaire)
Signal definition and resource management techniques for upcoming communication and broadcasting systems
Reconstruction monoculaire du mouvement humain, et autres travaux 2000-2004. (Monocular Reconstruction of Human Movement and other works 2000-2004)
Contributions à la performance du calcul scientifique et embarqué
Intergiciel d'intergiciels adaptable à base de Services, Composants et Aspects
Contributions à l'optimisation combinatoire pour l'embarqué : des autocommutateurs cellulaires aux microprocesseurs massivement parallèles. (Contributions to combinatorial optimization for embedded computing : from wireless switching systems to massively parallel microprocessors)
Autour des graphes et du routage. (About graphs and routing)
Réseau, bibliothèques et documents numériques : architecture informatique et construction sociale. (Network, Libraries and digital documents : logical architecture and social process)
Mobility as a Primitive to Improve Communications in Wireless Networks
Sur la bio-informatique des réseaux d'automates. (On the bioinformatics of automata networks)
The Controller Synthesis Problem: Implementability and robustness
Contribution à la programmation générative
Enhanced communications in data collection multihop Wireless Sensor Networks. (Amélioration des communications dans les réseaux de capteurs sans fil multi-sauts dédiés à la collecte de données)
Evolutionary Adaptation in Natural and Artificial Systems
Intégration de données multi-échelles et extraction de connaissances en agronomie : exemples et perspectives. (Multi-scale Data Integration and Knowledge Extraction in Agronomy: Examples and Prospects)
Sur les solutions exactes des équations du mouvement avec surface libre d'un liquide pesant
Belief Change, Consistency and Argumentation
Empowering Ambivalence - Supporting multiple interpretations in knowledge-based systems. (De l'ambivalence : supporter les interprétations multiples dans les systèmes à base de connaissances)
Graphes et jeux combinatoires
Contributions to Building Efficient and Robust State-Machine Replication Protocols
Vers une phénoménologie des inscriptions numériques. Dynamique de l'activité et des structures informationnelles dans les systèmes d'interprétation. (Towards a Phenomenology of Digital Inscriptions. Dynamics of Activity and Informational Structures in Interpretation Systems)
Communications acoustiques pour les réseaux sous-marins sans fils