yusuke1997/dblp-id-title huggingface dataset:
Characterization and modeling of nanoporous carbon structures. (Caractérisation et modélisation de structures carbonées nanoporeuses)
Optimisation des plans de traitement en radiothérapie grâce aux dernières techniques de calcul de dose rapide. (Optimization in radiotherapy treatment planning thanks to a fast dose calculation method)
La variabilité individuelle des vaches laitières et l'alimentation permettent de moduler les fonctionnalités des globules gras
Modélisation et optimisation de problèmes de synchronisation dans les documents hypermédia. (Modeling and Optimization of Synchronization Problems in Hypermedia Documents)
Estimation de l'écart type du délai de bout-en-bout par méthodes passives. (Passive measurement in Software Defined Networks)
Pre-silicon evaluation of secured circuit against side-channel attacks. (Évaluation pré-silicium de circuits sécurisés face aux attaques par canal auxiliaire)
Du pilotage d'une famille de drones à celui d'un drone hybride via la commande adaptative
Etude de codages et voisinages d'un espace de recherche. Application à l'ordonnancement de tâches dans des cas contraints. (Study of encodings and neighbourhoods of a search space. Application to the scheduling of tasks in constrained cases)
Criblage virtuel sur grille de composés isolés au Vietnam. (Virtual screening of drug candidates identified in Vietnam)
A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles)
Utilisation des déformations pour la modélisation des solides de forme libre en synthèse d'images. (Using Deformations for Free Form solid Modeling in Computer Graphics)
Conception et manipulation de Bases de donnees Dimensionnelles à contraintes
Multidimensional characterization of quality of experience of stereoscopic 3D TV. (Caractérisation multidimensionnelle de la qualité d'expérience en télévision de la TV3D stéréoscopique)
Anytime discovery of a diverse set of patterns with Monte Carlo tree search. (Découverte d'un ensemble diversifié de motifs avec la recherche arborescente de Monte Carlo)
Path-Based Interactive Visual Exploration of Knowledge Graphs. (Exploration visuelle interactive de graphes de connaissance basée sur les chemins)
Private Peer-to-peer similarity computation in personalized collaborative platforms. (Calcul de similarité confidentiel en pair-à-pair dans les plateformes collaboratives personnalisées)
Convergence of quantum and classical communications. (Convergence des communications quantiques et classiques)
Vers les applications fiables basées sur des composants dynamiques. (Towards Dependable Dynamic Component-based Applications)
Protecting Deep Learning Systems Against Attack: Enhancing Adversarial Robustness and Detection. (Protéger les systèmes de deep learning face aux attaques: améliorer la robustesse adversaire et la détection)
3D Optical flow analysis of a pulsed contrast agent in the bloodstream. Application to virtual angiography and Magnetic Particle Imaging. (Analyse 3D par flux optique d'un agent de contraste pulsé dans la circulation sanguine - Applications à l'angiographie virtuelle et à l'imageur à particules magnétiques)
Apport de l'intelligence artificielle au domaine des villes intelligentes : application à l'assistance des déplacements des personnes à mobilité réduite. (Contribution of artificial intelligence in the field of smart cities : application to the assistance of people with reduced mobility in urban areas)
Recherche de séries temporelles à l'aide de DTW-preserving shapelets. (Time series retrieval using DTW-preserving shapelets)
Application-Level Multicast Transmission Techniques Over The Internet. (Techniques de Transmission Multipoint de Niveau Applicatif pour l'Internet)
Models and resources for attention-based unsupervised word segmentation : an application to computational language documentation. (Modèles et ressources pour la segmentation non supervisée des mots basée sur l'attention)
Medical image analysis with deep learning for computer-aided diagnosis in screening. (Analyse d'images médicales par apprentissage profond pour le diagnostic assisté par ordinateur dans un contexte de dépistage)
Acide férulique, glycérol, acides gras et (bio-)catalyse : une combinaison efficace pour la production de nouveaux antioxydants polyphénoliques et résines époxy. (Ferulic acid, glycerol, fatty acids and (bio-)catalysis : an effective combination for the production of new polyphenolic antioxidants and epoxy resins)
Abstract Heap Relations for a Compositional Shape Analysis. (Abstractions Relationnelles de la Mémoire pour une Analyse Compositionnelle de Structures de Données)
Optimisation du système de 3DTV basé sur la technique d'imagerie intégrale. (Optimization of 3D TV Based on Integral Imaging Technology)
The use of offline simulation tools to estimate Ship-Helicopter Operating Limitations. (Utilisation d'outils de simulation pour estimer les limites d'exploitation des hélicoptères)
Méthodes de vision par ordinateur et d'apprentissage profond pour la localisation, le suivi et l'analyse de structure de plantes : application au désherbage de précision. (Computer vision and deep learning methods for locating, tracking and analyzing the structure of plants : Application to precision hoeing)
Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures. (Pic-Vert: Une implémentation de la méthode particulaire pour architectures multi-cœurs)
Swarm Robotics: distributed Online Learning in the realm of Active Matter. (Robotique en essaim : apprentissage en ligne distribué dans le domaine de la matière active)
Influence de la haie de ceinture de fond de vallées sur les transferts d'eau et de nitrate dans la nappe. (Influence of bottomland hedgerow on water and nitrate transfer in groudwater)
Apprentissage profond bout-en-bout pour le rehaussement de la parole. (End-to-end deep learning for speech enhancement)
Towards flexible and low-power wireless smart sensors: reconfigurable analog-to-feature converter for healthcare applications. (Vers des capteurs intelligents sans fil flexibles et à faible consommation: convertisseur analogique-paramètre reconfigurable pour les applications dans le domaine de la santé)
Polycubes robustes pour le maillage hexaédrique structuré par blocs. (Robust polycubes for block-structured hexahedral mesh)
An analysis of equilibria for Nash problems, Radner problems and multi-leader-follower games. (Une analyse des équilibres pour les problèmes de Nash, les problèmes de Radner et les jeux multi-leader-suiveur)
Estimation et diagnostic de réseaux de Petri partiellement observables. (Estimation and diagnosis of partially observed Petri nets)
Thèse d'habilitation à diriger des recherches "Analysis of Comparison-based Stochastic Continuous Black-Box Optimization Algorithms". (Thèse d'habilitation à diriger des recherches "Analysis of Comparison-based Stochastic Continuous Black-Box Optimization Algorithms")
Évaluation et optimisation de systèmes de taxis collectifs en simulation. (A methodology for an optimised management of an innovative "Collective Taxi" system)
Contribution à l'étude du découplage des systèmes linéaires multivariables. (Contribution to decoupling of linear multivariable systems)
End-user Robot Programming in Cobotic Environments. (Programmation d'un robot par des non-experts)
Modélisation et utilisation de ressources et services Web et indexation de données dans un contexte d'incertitude. (Modeling and use of Web resources and services and data indexing in a context of uncertainty)
An EXplainable Artificial Intelligence Credit Rating System. (Explicabilité d'un système de notation de risque de crédit basé sur l'intelligence artificielle)
Segmentation d'image médicales volumiques à l'aide de maillages déformables contraints. (Medical images segmentation using constrained deformable models)
Contribution aux infrastructures de calcul global: délégation inter plates-formes, intégration de services standards et application à la physique des hautes énergies. (Contributing to global computing : inter platforms resource sharings, legacy services integration and high energy physics applications)
Analysis of recent cryptographic primitives. (Analyse de primitives cryptographiques récentes)
On control and estimation problems in antilock braking systems. (Quelques problèmes de commande et d'estimation liés aux systèmes d'antiblocage des roues)
Network reconstruction and causal analysis in systems biology. (Reconstruction de réseaux fonctionnels et analyse causale en biologie des systèmes)
Méthodes numériques pour la spatialisation sonore, de la simulation à la synthèse binaurale. (Numerical methods for spatial sound, from simulation to binaural synthesis / Numerical methods for spatial sound, from simulation to binaural synthesis)
Research on Key Techniques for Multimedia communications in Wireless Multi-Hop Networks. (Recherche sur les techniques clés pour les communications multimédias dans les Ad-Hoc réseaux)
Modélisation tridimensionnelle des transferts thermiques et aérauliques dans le bâtiment en environnement orienté objet
Courbes de Bézier en géométrie algorithmique : approximation et cohérence topologique. (Bezier curves in Computational Geometry : approximation and topological coherence)
Extraction automatisée des données du texte médical du dossier patient informatisé pour le phénotypage profond et la prédiction des risques en cardiologie pédiatrique. (Automated extraction of medical text data from electronic patient records for deep phenotyping and risk prediction in pediatric cardiology)
Slepian-Wolf source coding using LDPC codes for free viewpoint television. (Codage de sources de Slepian-Wolf utilisant des codes LDPC et application à la télévision interactive)
Une approche incrémentale à base de processus coopératifs et adaptatifs pour la segmentation des images en niveaux de gris. (An incremental approach based on cooperative and adaptive processes for grey level image segmentation)
Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire. (Phase semantics, proof nets and some decision problems in linear logic)
Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots. (Program verification/correction to deal with uncertainties in robot automatic programming)
Fall detection and activity recognition using stereo low-resolution thermal imaging. (Détection des chutes et reconnaissance d'activité à l'aide de l'imagerie thermique stéréo basse résolution)
Deep learning for the rating of atypical anatomical patterns on MRI data. (Apprentissage profond pour l'évaluation des modèles anatomiques atypiques sur des données d'IRM)
Proposition d'un cadre de modélisation pour les applications PLM : application à la gestion de configurations. (Proposal of a modeling framework for PLM applications : application to the configuration management)
Glutamine et acide glutamique dans l'aliment : influence sur la croissance et la santé des porcelets élevés en conditions sanitaires dégradées après le sevrage. (Dietary glutamine and glutamic acid: effect on piglets growth performance and health in unsanitary environment after weaning)
Nonlinear approaches for phase retrieval in the Fresnel region for hard X-ray imaging. (Approches non linéaire en imagerie de phase par rayons X dans le domaine de Fresnel)
An Interactive and Iterative Knowledge Extraction Process Using Formal Concept Analysis. (Un système interactif et itératif extraction de connaissances exploitant l'analyse formelle de concepts)
Une approche événementielle pour le développement de services multi-métiers dédiés à l'assistance domiciliaire. (An event-driven approach to developing interdisciplinary services dedicated to aging in place)
MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite)
Fault Detection and Diagnosis for Drones using Machine Learning. (Détection et diagnostic de pannes pour les drones utilisant la machine learning)
Well placement optimization. (Optimisation de placement des puits)
Models ans methods for decentralized decision in logistics networks. (Modèles et méthodes de décision décentralisée dans les réseaux logistiques)
Semantic approaches for the meta-optimization of complex biomolecular networks (Approches sémantiques pour la méta-optimisation des réseaux biomoléculaires complexes)
Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems)
Association Rule Interactive Post-processing using Rule Schemas and Ontologies - ARIPSO
Rétro-ingénierie des plateformes pour le déploiement des applications temps réel. (Reverse Engineering of platforms for the deployment of real-time applications)
IDE as Code: reifying language protocols as first-class citizens. (Environnements de développement programmables: réification des protocoles de langage en objets de première classe)
Managing Uncertainties in Legged Robots. (Gérer les Incertitudes des Robots à Pattes)
Conception d'un dispositif médical intelligent multi-capteur pour la détection de la mobilité faible. (Design of an intelligent multi-sensor medical device for the detection of low mobility)
Un modèle hybride pour la recommandation proactive et contextuelle. (A hybrid model for context-aware proactive recommendation)
Développement de méthode dosimétrique et de quantification du volume cible par IRM multiparamétrique pour le traitement ultra-focal du cancer de la prostate en curiethérapie de grains liés d'iode-125 personnalisés. (Development of dosimetric methods and quantification of the target volume by multiparametric MRI for the ultra-focal brachytherapy treatment of prostate cancer with custom linked iodine-125 seeds)
Modélisation dynamique, classification et détection de changement dans les panels catégoriels issus d'un réseau d'eau intelligent. (Dynamic modelling, clustering and change detection in categorical panel data issued from smart water grids)
Syntax and Models of a non-Associative Composition of Programs and Proofs. (Syntaxe et modèles d'une composition non-associative des programmes et des preuves)
Automatisation des preuves pour la vérification des règles de l'Atelier B. (Proof Automation for Atelier B Rules Verification)
Design and implementation of power management strategies for long range radio modules with energy harvesting. (Conception et implémentation de stratégies de gestion d'énergie pour modules radio longue portée avec récupération d'énergie)
Réseaux ad-hoc: étude des modèles de mobilité et de protocoles de routage minimisant la consommation d'énergie. (Wireless ad-hoc networks: study of mobility models and energy aware routing protocols)
Système de télé-alarme médical : application à la détection des chutes de la personne âgée. (A face-tracking system to detect falls in the elderly)
Origine ontogénétique et évolutive de l'hypophyse : étude cellulaire et moléculaire du développement du complexe neural de l'ascidie Ciona intestinalis
Genetic mutations combinatorics. (Combinatoire des mutations génétiques)
Action Detection for Untrimmed Videos based on Deep Neural Networks. (Détection d'Action pour les Vidéos par les Réseaux de Neurones Profonds)
Leveraging human-computer interactions and social presence with physiological computing. (Améliorer les interactions homme-machine et la présence sociale avec l'informatique physiologique)
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. (Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation)
A logical study of program equivalence. (Une étude logique de l'équivalence de programmes)
Formal verification of processor microarchitecture to analyze system security against fault attacks. (Vérification formelle de la micro-architecture de processeurs pour l'analyse de sécurité des systèmes contre les attaques par injection de fautes)
Asymptotical estimates for some algorithms for data and image processing : a study of the Sinkhorn algorithm and a numerical analysis of total variation minimization. (Estimations asymptotiques pour des algorithmes de traitement d'images et de données : une étude de l'algorithme de Sinkhorn et une analyse numérique de la minimisation de la variation totale)
Nouvelles méthodes d'apprentissage automatique pour la planification des réseaux mobiles. (New machine learning methods for mobile network planning)
Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnacement équitable tolérant aux pannes matérielles. (Robustness of Multicore Real-Time Apllications : Building Techniques for Processor Failures Tolerant Scheduling)
Graph-based learning and optimization. (Apprentissage et optimisation sur les graphes)
Automatic recognition of low-level and high-level surgical tasks in the Operating Room from video images
Exploration of the space of the colorings of a graph. (Exploration de l'espace des colorations d'un graphe)
Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage. (Formal specification and analysis of security policies in a cloud brokerage process)
Neural-Symbolic Learning for Semantic Parsing. (Analyse sémantique avec apprentissage neuro-symbolique)
Surface de symétrie d'une structure 3D : application à l'étude des déformations scoliotiques du dos. (Surface of symmetry in 3D structure : application to the analysis of spinal deformity due to scoliosis)
Intégration de connaissances dans des systèmes distribués pour l'extraction de raies spectrales dans des images sonar. (Knowledge integration in distributed systems for spectral line tracking in sonar images)
Apprentissage non-supervisé de la morphologie des langues à l'aide de modèles bayésiens non-paramétriques. (Unsupervised learning of natural language morphology using non-parametric bayesian models)
Modélisation et exécution flexible de processus collaboratifs. (Collaborative processes modeling and flexible execution)
Efficient ressources management in a ditributed computer system, modeled as a dynamic complex system. (La gestion efficace des ressources d'un système informatique distribué, modélisé comme un système complexe dynamique)
High Order Models in Diffusion MRI and Applications
Recalage de signaux et reconnaissance de formes. Application à l'analyse des otolithes de poissons
Caractérisation des nanomédecines pour la clinique : développement de méthodes évaluant les interactions nanoparticules-protéines plasmatiques pour une application en contrôle qualité. (Nanomedicine characterization for the clinics : development of methods evaluating the interactions nanoparticles-plasmatic proteins for a quality control purpose)
Adaptive algorithms for computational chemistry and interactive modeling. (Algorithmes adaptatifs pour la chimie numérique et la modélisation interactive)
Optimal design and visual servoing of a suspended aerial manipulator. (Conception optimale et asservissement visuel d'un manipulateur aérien suspendu)
Conception, modélisation et simulation in silico d'un nanosystème biologique artificiel pour le diagnostic médical. (Design, modeling and simulation in silico of an artificial biological nanosystem for medical diagnosis)
Analyse discursive et multi-modale des conversations écrites en ligne portées sur la résolution de problèmes. (Multi-modal discursive analysis of problem-solving written online conversations)
Interference cancellation in MIMO and massive MIMO systems. (Annulation d'interférences dans les systèmes MIMO et MIMO massifs (Massive MIMO))
Conception par simulation pour la conduite de culture. (Simulation-based optimization applied to agricultural management)
Système d'aide à la décision intelligent pour l'évaluation multidimensionnelle des acquis appliqués à l'évaluation des profils des étudiants internationaux désireux d'étudier en France. (Intelligent decision support system for multidimensional assessment of prior learning applied to the evaluation of the profiles of international students wishing to study in France)
A multidimensional analysis of malicious and compromised websites. (Plusieurs axes d'analyse de sites web compromis et malicieux)
Tatouage de données géographiques et généralisation aux données devant préserver des contraintes. (Tattoo of geographic data and generalization data to preserve constraints)
Prévision des effets de vieillissement par électromigration dans les circuits intégrés CMOS en nœuds technologiques submicroniques. (Forecasting the effects of aging by electromigration in the circuits integrated CMOS submicron technology nodes)
Un cadre théorique pour l'intégration des niveaux d'organisation dans les modèles : Applications à l'activité spatiale et à la simulation de grandes populations de bactéries. (A Theoretical Framework for The Integration of Level of Organization in Models : Applications to Spatial Activity and to the Simulation of LargePopulations of Bacteria)
Sentence embeddings and their relation with sentence structures. (Plongements de phrases et leurs relations avec les structures de phrases)
Integration of cybersecurity and safety to improve the resilience of industrial railway control systems. (Intégration de la cybersécurité et de la sûreté pour améliorer la résilience des systèmes de contrôle ferroviaire industriel)
Planification et affectation de ressources dans les réseaux de soin : analogie avec le problème du bin packing, proposition de méthodes approchées. (Planning and resources assignment in healthcare networks : analogy with the bin packing problem, proposition of approximate methods)
Classification par méthodes d'apprentissage supervisé et faiblement superviséd'images multimodales pour l'aide au diagnostic du lentigo malin en dermatologie. (Classification by supervised and weakly supervised learning methods of multimodal images to aid in the diagnosis of lentigo malignant in dermatology)
Maillages hex-dominants : génération, simulation et évaluation. (Hex-dominant meshes : generation, simulation and evaluation)
Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires. (Scorpio : an Approach for Software Component Structural Adaptation - Usage for adaptation in Ubiquitous Environment)
Contributions à l'étude de la dérivation des expressions rationnelles et à l'étude des systèmes de numération abstraits. (Contributions to the study of the derivation of rational expression and to the study of abstract numeration systems)
Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems)
Quasisymmetric rigidity, carpet Julia sets and the landing of dynamic resp. parameter rays. (Rigidité quasi-symétrique, tapis de Julia et le débarquement de dynamique resp. paramètres rayons)
Development of Spectrum Sharing Protocol for Cognitive Radio Internet of Things. (Développement du Protocole de Partage du Spectre pour la Radio Cognitive Internet des Objet)
A formal approach for modeling high-level architectures of complex systems aligned with requirement models. (Une approche formelle pour la modélisation d'architectures de haut niveau de systèmes complexes alignées avec les modèles d'exigences)
Estimation et Classification des Signaux Altimétriques. (Estimation and Classification of Altimétric Signals)
Intersection of spheres and geometric algebra / Intersection de sphères et algèbre géométrique
Towards geometric and semantic change detection for mixed reality experiences. (Vers une détection des changements géométriques et sémantiques pour des expériences de réalité mixte)
Formal verification of concurrent data structures. (Vérification formelle de structures de données concurrentes)
Design and Evaluation of Fog Computing Architecture. (Conception et évaluation de l'architecture Fog Computing)