yusuke1997/dblp-id-title huggingface dataset:
Modeling, simulation and robust control of an electro-pneumatic actuator for a variable geometry turbocharger. (Modelisation, simulation et commande robuste d'un actionneur électropneumatique pour le pilotage d'un turbocompresseur à géométrie variable)
Détection et évaluation des communautés dans les réseaux complexes. (Community detection and evaluation in complex networks)
Posets série-parallèles transfinis : automates, logiques et théories équationnelles. (Series-parallel posets : automata, logic and equational theories)
Méthode de frontières immergées pour la mécanique des fluides. Application à la simulation de la nage. (Immersed boundary method for the fluid mecanics applied to fish-like swimming)
Estimation de posture 3D à partir de données imprécises et incomplètes: application à l'analyse d'activité d'opérateurs humains dans un centre de tri. (Estimation of 3D pose from inaccurate and incomplete data: application to human operators' activity analysis in a sorting center)
Etude des facteurs contrôlant l'efficacité de la sélection génomique chez le palmier à huile (Elaeis guineensis Jacq). (Factors controlling the accuracy of genomic selection in oil palm (Elaeis guineensis Jacq))
Efficient Big Data query answering in the presence of constraints. (Répondre efficacement aux requêtes Big Data en présence de contraintes)
Apprentissage des formes de scoliose à l'aide de modèles anatomiques et de la capture de mouvement. (Learning Scoliosis Patterns using Anatomical Models and Motion Capture)
Cost optimization of business processes based on time constraints on cloud resources. (Optimisation du coût des processus métier basée sur des contraintes temporelles sur ressources cloud)
Les agents virtuels expressifs et leur impact sur l'induction de l'empathie chez l'utilisateur: application au domaine de la formation médicale. (Expressive virtual agents and their impact on the user empathy induction: application to the medical training field)
Gestion de l'énergie et de la connectivité dans les réseaux de capteurs sans fil statiques et mobiles. (Energy management and connectivity in wireless sensor networks static and mobil)
Simulation numérique du comportement des sols cloués. Interaction sol-renforcement et comportement de l'ouvrage
Supporting multiple data stores based applications in cloud environments. (Soutenir les applications utilisant des bases de données multiples dans un environnement Cloud Computing)
FIDEL : un langage de description et de simulation des circuits VLSI. (FIDEL : a hardware description and simulation language for the vlsi circuits)
Prédiction de la localisation des protéines membranaires : méthodes méta-heuristiques pour la détermination du potentiel d'insertion des acides aminés. (Membranes proteins prediction : metaheuristic methods for the determination of potential insertion of amino acids)
Classification automatique à partir d'un flux de documents. (Automatic classification of document streams)
Deep learning for medical image super resolution and segmentation. (Apprentisage profond pour la super-résolution et la segmentation d'images médicales)
A study of multi-standard radio transmitters for GSM/WCDMA/LTE base stations. (Etude des émetteurs radiofréquences multistandards destinés aux stations de base GSM/WCDMA/LTE)
Modélisation mathématique et simulation numérique de l'hydrodynamique : cas des inondations en aval du barrage de Diama. (Mathematical modeling and numerical simulation of the hydrodynamics : case of the flooding downstream of the dam Diama)
Les reactions emotives chez les bovins domestiques femelles (Bos taurus L.) Quantification et variations sous l'influence de facteurs environnementaux et hormonaux
Segmentation morphologique interactive pour la fouille de séquences vidéo. (Interactive morphological segmentation for video mining)
Development of force field methods. (Développement de méthodes de champ de force)
Production of categorical data verifying differential privacy: conception and applications to machine learning. (Production de données catégorielles respectant la confidentialité différentielle: conception et applications au apprentissage automatique)
Analyse et simulation de réseaux d'automates. (Analysis and simulation of robot networks)
A search space of graph motifs for graph compression: From Powergraphs to triplet concepts. (Un espace de recherche des motifs de graphes pour la compression de graphe: de Powergraph aux concepts triplets)
ReCoVAC: conditions for REtaking driving COntrol by self-observation of situations within a Connected Autonomous Vehicle. (ReCoVAC: conditions de REprise de COntrôle par auto-observation des situations au sein d'un Véhicule Autonome Connecté)
Mise au point d'une méthode d'utilisation d'un modèle pluie-débit conceptuel pour la prévision des crues en temps réel
L'Art de la Voix : Caractériser l'information vocale dans un choix artistique. (The Art of Voice : Characterization of vocal information in an artistic choice)
De novo algorithms to identify patterns associated with biological events in de Bruijn graphs built from NGS data. (Algorithmes de novo pour l'identification de motifs associés à des événements biologiques dans les graphes de De Bruijn construits à partir de données NGS)
Enrichissement et peuplement d'ontologie à partir de textes et de données du LOD : Application à l'annotation automatique de documents. (Ontology enrichment and population from texts and data from LOD : Application to automatic annotation of documents)
Optimisation de fonctions coûteusesModèles gaussiens pour une utilisation efficace du budget d'évaluations : théorie et pratique industrielle
Matériau paramagnétique pour l'information quantique : manipulations des spins électroniques et nucléaires dans β - Ga2O3 : Ti. (Paramagnetic material for quantum information processing: electronic and nuclear spins manipulations in β -Ga2O3 : Ti)
Inversion d'un système par krigeage : application à la synthèse des catalyseurs à haut débit. (Non disponible)
Vers une communication humain-machine naturelle : stratégies de dialogue et de présentation multimodales. (Towards a naturel human-computer communication : multimodal dialogue and presentation strategies)
Guidage Gestuel pour des Robots Mobiles. (Gestural Control for Mobile Robots)
Génération conjointe de commandes et d'interfaces de supervision pour systèmes sociotechniques reconfigurables. (Joint generation of controls and user interfaces for reconfigurable sociotechnical systems)
Mathematical programming formulations and algorithms for the cross-dock door assignment problem. (Formulations mathématiques et algorithmes pour le problème d'affectation des quais du cross-dock)
Tangent spaces for self-similair shapes. (Espaces tangents pour les formes auto-similaires)
Tomographie optique diffuse et de fluorescence préclinique : instrumentation sans contact, modélisation et reconstruction 3D résolue en temps. (Preclinical, fluorescence and diffuse optical tomography: Non-contact instrumentation, modeling and time-resolved 3D reconstruction)
A non-Gaussian probabilistic approach for the equivalent static loads of wind effects in structural dynamics from wind tunnel measurements. (Approche probabiliste non gaussienne des charges statiques équivalentes des effets du vent en dynamique des structures à partir de mesures en soufflerie)
Analyse physique et simulation numérique des écoulements compressibles. Application aux tuyères de propulseurs. (Numerical simulation of compressible flows with application to rocket nozzles)
Scalable end-to-end models for the time and energy performance of Fog infrastructures. (Modèles réseaux scalable pour la prédiction temporelle et énergétique des infrastructures Fog)
Reconstruction adaptative optimisée pour la quantification en tomographie de positons couplée à un tomodensitomètre. (Optimized adaptive reconstruction for quantification in PET-CT)
Analyse des réseaux d'ordre supérieur consruits à partir de séquences historio-géographiques. (Analysis of Higher-Order Networks built from historio-geographic sequences)
Parity games and reachability in infinite-state systems with parameters. (Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres)
High-performance floating-point computing on reconfigurable circuits. (Calcul flottant haute performance sur circuits reconfigurables)
Dynamique de populations dans l'asymptotique des grandes déviations statistiques de diffusions paritellement observées
Development psychology inspired models for physical and social reasoning in human-robot joint action. (Modèles inspirés de la psychologie du développement pour le raisonnement physique et social dans le cadre de l'action jointe humain-robot)
Algorithmes métaheuristiques hybrides pour la sélection de gènes et la classification de données de biopuces. (Hybrid metaheuristics algorithms for gene selection and classification of microarray data)
Quantitative analysis of bioluminescent signals in preclinical imaging. (Analyse quantitative de signaux de bioluminescence en imagerie préclinique)
Modélisation et traitement statistique d'images de microscopie confocale : application en dermatologie. (Modeling and statistical treatment of confocal microscopy images : application in dermatology)
De la vision métier à la génération assistée de plannings pour la coordination centralisée de services de soins à domicile. (From business vision to assisted schedule generation for centralized coordination of home health care services)
Modélisation d'un accélérateur linéaire clinique en vue de l'exploitation d'un détecteur à transmission dédié au contrôle qualité en radiothérapie. (Cinicla linear accelerator modeling for the using of a detector dedicated to the quality control in radiotherapy)
Méthodes et outils pour l'analyse spatiale exploratoire en géolinguistique : contributions aux humanités numériques spatialisées. (Methods and tools for exploratory spatial analysis in geolinguistic : contributions to the spatial digital humanities)
Navigateurs Internet Intelligents : Algorithmes de Fourmis Artificielles pour la diffusion d'informations dans un réseau P2P. (Smart web browsers: Using artificial ants for the diffusion of information in a P2P network)
Machine virtuelle universelle pour codage vidéo reconfigurable. (A universal virtual machine for reconfigurable video coding)
Compréhension de la parole dans un contexte multilingue. (Spoken Language Understanding in a multilingual context)
Object detection and traffic prediction using Deep Learning on compressed road images and videos. (Détection d'objets et prédiction du trafic routier à l'aide de l'apprentissage profond sur des images et des vidéos compressées de scènes routières)
Analyse numérique de quelques problèmes relatifs aux ondes longues en eau peu profonde
Algorithmique semi-numérique rapide des séries de Tchebychev. (Fast Semi-numerical Algorithms for Chebyshev Series)
Contributions à une nouvelle approche de Recherche d'Information basée sur la métaphore de l'impédance et illustrée sur le domaine de la santé. (Contributions to a new information retrieving approach based on the impedance metaphor and illustrated on the health domain)
Etude théorique des marches quantiques dissipatives sur des graphes complexes. (Theoretical study of dissipative quantum walk on complex graphs)
Identification de vêtements dans des images : de la segmentation d'instances à la classification multi-étiquettes faiblement supervisée. (Clothing identification in images : from instance segmentation to weakly supervised multi-label classification)
Les annotations pour supporter la collaboration dans le dossier patient électronique. (Annotations to support collaboration in the electronic health record)
Ordonnancement dans des cellules robotisées. (Scheduling in robotic cells)
Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives )
Reduced basis methods for urban air quality modeling. (Méthodes des bases réduites pour la modélisation de la qualité de l'air urbaine)
Supervision et analyse de mouvements par un réseau de capteurs intelligents, application à la réhabilitation fonctionnelle. (Supervision and analysis of movements by a network of intelligent sensors, application to functional rehabilitation)
Communication en langue naturelle avec un système d'aide à la conception d'assemblages physiques : un essai d'utilisation de réseaux sémantiques partitionnés
Recherche automatisée de motifs dans les arbres phylogénétiques. (Automatic phylogenetic tree pattern matching)
Etude d'un système informatique au service de l'artiste pour la réalisation de films à partir de croquis
Continuous deployment of pervasive applications in dynamic environments. (Déploiement continue des applications pervasives en milieux dynamiques)
On the pertinence of a numerical transmission model for neural information
Improved Time Representation in Discrete-Event Simulation. (Amélioration de la représentation du temps dans les simulations à événements discrets)
Modeling functional and non-functional properties of systems based on a multi-view approach. (Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles)
Etude in silico de dystrophines tronquées dans les myopathies de Duchenne et de Becker. (In silico study of truncated dystrophins in Duchenne and Becker Muscular Dystrophies)
Contribution à l'étude des retours haptiques pour améliorer l'expérience audiovisuelle. (Contribution to the study of haptic feedback for improving the audiovisual experience)
Towards a Read/Write Web of Linked Data. (Vers une Web des données en Lecture/Écriture)
Commande des systèmes non linéaires à retard. (control of nonlinear delayed systems)
Modélisation polychrone et évaluation de systèmes temps réel. (Polychronous modeling and evaluation of real-time systems)
Reconfiguration du routage multicast dans les réseaux optiques WDM . (Multicast routing reconfiguration in WDM optical networks)
Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe. (Distributed algorithms on parameterized rings - Probabilistic and deterministic convergence proofs)
Trust assessment in large-scale collaborative systems. (Évaluation de la confiance dans la collaboration à large échelle)
Vers des algorithmes dynamiques randomisés en géométrie algorithmique. (Towards dynamic randomized algorithms in computational geometry)
Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués. (Security of assembly programs against fault attacks on embedded processors)
Fully event-based motion estimation of neuromorphic binocular systems. (Estimation évènementielle du déplacement de systèmes neuromorphiques binoculaires)
Contribution des pyramides irrégulières en segmentation d'images multirésolution. (Contribution of the irregular pyramids in image multiresolution segmentation)
Mode'lisation des environnements dynamiques pour la localisation. (Localization and mapping in dynamic environments)
Confidence in safety argument - An assessment framework based on belief function theory. (Confiance dans un argumentaire de sécurité - un cadre d'évaluation basé sur la théorie des fonctions de croyance)
Efficient extreme classification. (Classification extreme a faible complexité)
Bidirectional Typing for the Calculus of Inductive Constructions. (Typage Bidirectionnel pour le Calcul des Constructions Inductives)
Méthodes ensemblistes garanties pour l'estimation de grandeurs physiques. (Guaranteed set-membership methods for physical parameter estimation)
Effective and efficient visual description based on local binary patterns and gradient distribution for object recognition. (Description visuelle efficace et efficace basée sur des modèles binaires locaux et une distribution en gradient pour la reconnaissance d'objets)
Polyhedral approaches for some network design problems. (Approches polyèdrales pour des problèmes de conception de réseaux)
Système d'acquisition de données et de télétraitement géré par un petit calculateur
Data Distribution Optimization in a System of Collaborative Systems. (Optimisation de la Distribution de Données dans un Système de Systèmes Collaboratifs)
PDS : un générateur de système de développement pour machines parallèles
Concurrency in Interaction Nets and Graph Rewriting
Contributions to machine learning with structured data: theory and algorithms. (Contributions à l'apprentissage statistique structuré : théorie et algorithmes)
Génération de taches bicolores : application aux caractères d'imprimerie; problèmes de nature ordinale
Plongement de surfaces continues dans des surfaces discrètes épaisses. (Embedding continuous surfaces into discrete thick surfaces)
Egalisation aveugle de systèmes multi-utilisateurs. (Blind equalization of multiple-input multiple-output systems)
Ordonnancement en temps reel dans les problemes a en-cours limites. (Constrained Work-in-Progess in on-Line Scheduling)
La valeur des jeux stochastiques. (The value of stochastic games)
Appontage automatique d'avions par asservissement visuel. (Automatic landing on aircraft carrier by visual servoing)
Génération de taches bicolores : application aux caractères d'imprimerie; problèmes de nature géométrique
GENESIS, un environnement pour la création musicale à l'aide de modèles physiques particulaires. (GENESIS, a computer environment for creating music by means of mass-interaction physical modeling)
Static analysis of functional programs with an application to the frame problem in deductive verification. (Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive)
Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué. (Automatic discovery of the characteristics and capacities of a distributed computational platform)
Représentation et contrôle dans le design interactif des instruments de musique numériques. (Representation and control in the interactive design of digital musical instruments)
Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité. (Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques)
Low complexity decoding schemes for MIMO systems. (Schémas de décodage MIMO à Complexité Réduite)
Translation Validation of Tensor Compilers. (Validation de Traduction pour Compilateurs de Tenseurs)
Detection and diagnostic of freeplay induced limit cycle oscillation in the flight control system of a civil aircraf. (Détection et diagnostic des oscillations en cycle limite induites par les jeux mécaniques dans le système de commande de vol d'un avion civil)
The high Dimensionality factor of Coded Caching : Resolving Bottlenecks one Antenna at a time. (Facteur de dimensionnalité élevé de la mise en cache codée : résolution des goulots d'étranglement une antenne à la fois)
Advanced receivers and waveforms for UAV/Aircraft aeronautical communications. (Récepteurs avancés et nouvelles formes d'ondes pour les communications aéronautiques)
Authenticated Key Agreement Protocols: Security Models, Analyses, and Designs. (Protocoles d'échanges de clefs authentifiés : modèles de sécurité, analyses et constructions)
Emperical study and modelling of the internet topology dynamics. (Analyse empirique et modélisation de la dynamique de la topologie de l'internet)
Classification du cancer du sein par des approches basées sur les systèmes immunitaires artificiels. (Breast cancer classification using artificial immune system approaches)
Sondes et capteurs de champs électromagnétiques à liaisons optiques pour la sécurité en IRM. (Optical conversion and transmission of RF coils and electric-field sensors for MRI safety)
INSS : un système hybride neuro-symbolique pour l'apprentissage automatique constructif
Mining user similarity in online social networks : analysis,modeling and applications. (Fouille de similarité de l'utilisateur dans les réseaux sociaux : analyse, modélisation et applications)
Ordering nodes to scale to large real-world networks. (Ordonner les nœuds pour passer à l'échelle sur les grands réseaux réels)
Human postural stability analysis : application to Parkinsonian subjects. (Méthodes d'analyse de la stabilité posturale chez l'homme : application aux sujets Parkinsoniens)
Contrôle de qualité optimal d'applications multimédia. (Optimal QoS control for multimedia applications)
New Gas Sensor for Exhaust Emissions of Internal Combustion Engines. (Nouveau capteur de pollution pour les gaz d'échappement dans les moteurs thermiques)
Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD. (Dynamic Optimization for Electrical Distribution Network applied to SRD)
Simulation numérique parallèle et graphisme haute-performance pour la synthèse d'images réalistes
Une approche systémique à base d'agents et de graphes dynamiques pour modéliser l'interface logistique port-métropole. (A Systemic Approach with an Agent-Based Model and Dynamic Graphs to Model the Urban-Port Interface)
Développement de méthodes d'ordonnancement efficaces et appliquées dans un système de production mécanique. (Development of efficient scheduling methods and their application in a mechanical production system)
Path computation algorithms in IP networks: reliable hot-potato routing & deployable multi-constrained tunnels. (Calcul de chemins pour réseaux IP: routage de la patate chaude et froide lors de pannes & chemins multi-contraints pour segment routing)
Exploiting Multimodal Data for Image Understanding. (Données multimodales pour l'analyse d'image)
Assistance au développement de logiciels embarqués contraints en énergie. (Support for the Development of Energy-Constrained Embedded Software)
SAT en Parallèle. (SAT Parallel Computing)
Modélisation non-supervisée de signaux sociaux. (Unsupervised modelisation of social signals)
Towards an interpretable model of learners in a learning environment based on knowledge graphs. (Vers un modèle interprétable pour la prédiction de la performance des apprenants dans un environnement d'apprentissage basée sur l'exploitation de graphes de connaissances)
L'attention comme vecteur d'ajustement de la difficulté dans les jeux vidéo. (Attention as a vector for difficulty adjustment in video games)
Méthodologie de test pour cartes mixtes analogiques-numériques. (A Test Methodology for Mixed-Signal Boards)
Transformations de graphes pour les opérations topologiques en modélisation géométrique - Application à l'étude de la dynamique de l'appareil de Golgi. (Graphs transformations for the topological operations of the geometric modeling - Application to the study of the Golgi apparatus dynamics)
Détection et attribution du changement climatique à l'aide de réseaux de neurones. (Detection and attribution of climate change with the use of machine learning)
Structures et Algorithmes pour la coopération pair-à-pair. (Structures and Algorithms for Peer-to-Peer Cooperation)
Prediction Performance and Problem Difficulty in Genetic Programming. (Predicción de rendimiento y dificultad de problemas en programación genetica)
Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique
Les CLA de la viande bovine : Caractérisation et modulation de leur teneur en fonction des facteurs d'élevage, métabolisme cellulaire et propriétés anticancéreuses
Proximity-aware multiple meshes decimation using quadric error metric. (Décimation de maillages multiples sensible à la proximité et utilisant une métrique d'erreur quadrique)
Management of a heterogeneous distributed architecture with the SDN. (Gestion d'une architecture hétérogène distribuée à l'aide du SDN)
Caractérisation locale de fautes dans les systèmes large échelle. (Local fault characterization in large scale systems)
Méthode basée sur le recuit simulé pour optimiser l'implantation d'atelier dans le contexte des systèmes de production reconfigurable. (Method based on simulated annealing to optimize workshop layout in the context of reconfigurable manufacturing systems)
Vérification formelle des résultats de la synthèse de haut niveau. (Formal verification of high level synthesis results)