yusuke1997/dblp-id-title huggingface dataset:
Comportement homogénéisé des matériaux composites : prise en compte de la taille des éléments microstructuraux et des gradients de la déformation. (Homogenized behavior of composite materials : taking into account the size of microstructure and the effects of strain gradients)
Ultrafast, broadband and multi-pulse transmissions for ultrasonic imaging. (Émission d'ondes multi-impulsions, planes et larges bandes pour l'acquisition d'images ultrasonores)
Multi-scale and multi-dimensional modelling of music structure using polytopic graphs. (Modélisation multi-échelle et multi-dimensionnelle de la structure musicale par graphes polytopiques)
. (Suivi temps-réel automatique multimodal pour l'alignement des plans de coupe en IRM interventionnelle / Automatic multimodal real-time tracking for image plane alignment in interventional Magnetic Resonance Imaging)
Adaptive and Opportunistic QoS-based Routing Protocol in VANETs. (Protocoles de routage opportunistes et avec qualité de service pour les réseaux véhiculaires VANETs)
Security Analysis and Access Control Enforcement through Software Defined Networks. (Analyse de sécurité et renforcement de control d'accès à travers les réseaux programmables)
AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment)
Interventional MR Elastography for the monitoring of thermal ablations. (Élastographie par Résonance Magnétique (ERM) Interventionnelle pour le suivi des ablations thermiques)
Algorithmique de la planification de mouvement probabiliste pour un robot mobile. (Probabilistic motion planning algorithms for a mobile robot)
Génération de test de circuits intégrés fondée sur des modèles fonctionnels. (Test generation of integrated circuits based on functional models)
Contrôle frontière par modèle interne de systèmes hyperboliques :application à la régulation de canaux d'irrigation. (Internal Model Boundary Control of Hyperbolic Systems: Application to the Regulation of Irrigation channels)
Batch replenishment planning under capacity reservation contract. (Planification d'approvisionnement par batch sous contrat de réservation de capacité)
Multiplexage spatial dans le contexte des systèmes de communication MIMO large bande. (Spatial multiplexing in Widebande MIMO communications)
Computer Vision Methods for Unconstrained Gesture Recognition in the Context of Sign Language Annotation. (Méthodes de vision par ordinateur pour la reconnaissance de gestes naturelles dans le contexte de l'annotation en langue des signes)
Transition photopériodique et plasticité neuronale dans l'hypothalamus ovin : aspects neuroanatomiques et fonctionnels
Microwave absorbing materials based on epoxy foam loaded with long carbon fibers. (Matériaux absorbants en hyperfréquences à base de mousse époxy chargée en fibres longues de carbone)
Graph Neural Networks for fluid mechanics: data-assimilation and optimization. (Graph Neural Networks pour la mécanique des fluides: assimilation de données et optimisation)
Décomposition de spectrogrammes musicaux informée par des modèles de synthèse spectrale. Modélisation des variations temporelles dans les éléments sonores. (Decomposition of musical spectrograms informed by spectral synthesis models. Modeling of time variations in sound elements)
Systèmes interactifs pour la résolution de problèmes complexes. (Interactive systems for the resolution of complex problems. Application in combinatorial optimization, planification and scheduling)
Interaction animal machine : dispositif connecté pour chien d'assistance. (Interaction animal machine : connected device for service dog)
Tree decompositions and routing problems. (Décompositions arborescentes et problèmes de routage)
Development of a novel open-source and modular MRI pulse sequence programming toolbox optimized for diffusion-weighted imaging. (Développement d'un nouvel environnement open-source et modulaire pour la programmation de séquences IRM optimisé pour l'IRM de diffusion)
Analysis of Spike-train Statistics with Gibbs Distributions: Theory, Implementation and Applications. (Analyse des Statistiques de trains d'Impulsion : Théorie, Implémentation et Applications)
Energy efficiency in wireless ad hoc and sensor networks: routing, node activity scheduling and cross-layering
Study on optimization of hazardous material transportation via lane reservation. (Etude sur l'optimisation du transport de matières dangereuses par la réservation de voies)
Synthetic Metabolic Circuits for Bioproduction, Biosensing and Biocomputation. (Circuits métaboliques synthétiques pour la bioproduction, la biodétection et le biocalcul)
Architecture for simultaneous multi-standard software defined radio receiver. (Architecture pour récepteur radio multi-standard simultané multi-standard)
Needle modeling, insertion planning and steering for CT or MR image-guided robot-driven percutaneous procedures. (Modélisation, planification et guidage d'aiguille pour les procédures percutanées robotisées sous imagerie SCANNER ou IRM)
Le projet CordiFormes : une plate-forme pour la construction de modeleurs déclaratifs. (The CordiFormes project : a platform to build declarative modelers)
Animation phénoménologique de la mer - une approche énactive - . (Phenomenological animation of the sea - an enactive approach - )
Intégration sur tranche d'une architecture massivement parallèle tolérant les défauts de fin de fabrication. (Wafer scale integration of a massively parallel architecture for defect tolerance)
Relais système d'identification automatique sous-marin. (Underwater automatic identification system relay)
Exploring deep neural network differentiable architecture design. (Optimisation automatique des architectures de réseaux de neurones profonds via un objectif différentiable)
Localisation en intérieur à bande ultra large (UWB) et Reconnaissance d'actions industrielles. (Ultra Wide Band (UWB) indoor localization and industrial action recognition)
Etude du sillage de rotors d'hélicoptère en configuration de Vortex Ring State. (Study of helicopter rotors wake in the Vortex Ring State regime)
Two Approaches for Achieving Efficient Code-Based Cryptosystems
Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations)
Modélisation par techniques harmoniques pour la commande et le filtrage actif de systèmes commutés associés appliquée à l'actionnement électrique. (Harmonic modeling techniques to control and actively filter associated switched systems applied to electrical drive)
Architecture logicielle et algorithmes pour la résolution de l'équation de radiance. (Software architecture and algorithms for solving the radiance equation)
Automatic classification of dynamic graphs. (Classification automatique de graphes dynamiques)
Apprentissage profond pour le rehaussement de la parole dans les antennes acoustiques ad-hoc. (Deep-learning based speech enhancement with ad-hoc microphone arrays)
Étude des fonctions B-splines pour la fusion d'images segmentées par approche bayésienne. (Study of B-spline function for fusion of segmented images by Bayesian approach)
Towards High-order Compact discretization of unsteady Navier-Stokes equations for incompressible flows on Unstructured Grids. (Vers une discretisation haut ordre compacte des equations de Navier-Stokes pour un Ecoulement incompressible sur des maillages non-Structures)
Méthode pour la mise au point de grammaire LL(1)
Design, Modeling, Optimization and Control of Compliant Mechanisms. (Conception, Modélisation, Optimisation et Commande de Mécanisme Flexible)
Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions. (Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques)
Rögulation nutritionnelle de la traduction des protöines musculaires chez le poulet. Implication de la p70 S6 kinase (S6K1)
Analysis and Simulation of Optimal Motions in Rock Climbing. (Analyse et simulation des mouvements optimaux en escalade)
Outil d'aide au diagnostic du cancer à partir d'extraction d'informations issues de bases de données et d'analyses par biopuces
Conception d'une architecture extensible pour le calcul massivement parallèle. (Designing a scalable architecture for massively parallel computing)
Game Theoretical Analysis of Blockchain Users' Behaviors. (Analyse via la théorie des jeux sur les comportements des utilisateurs blockchain)
Vers une Composition Dynamique des Services Web: une approche de Composabilité Offline. (Towards a Dynamic Web Services Composition : An Offline Composability Approach)
Privacy-Preserving Query Execution using Tamper Resistant Hardware. Design and Performance Considerations. (Exécution de requêtes respectueuses de la vie privée grâce à l'utilisation de matériel sécurisé)
K-set agreement in distributed system. (Le k-accord dans un système distribué)
Human Action Recognition in Videos with Local Representation. (Reconnaissance d'actions humaines dans des vidéos utilisant une représentation locale)
Une approche paradigmatique de la conception architecturale des systèmes artificiels complexes. (A paradigmatic approach of the architectural design of artificial complex systems)
A multi-sensor, cable-driven parallel manipulator based lower limb rehabilitation device : design and analysis. (Analyse et conception d'un système de rééducation de membres inférieurs reposant sur un robot parallèle à câbles)
Méthodes stochastiques dans les problèmes de placement
Contrôle Intuitif de la Synthèse Sonore d'Interactions Solidiennes : vers les Métaphores Sonores. (Intuitive Control of Solid-Interaction Sounds Synthesis: Toward Sonic Metaphors)
Visualization for information system security monitoring. (Visualisation pour la supervision de sécurité des systèmes d'information)
De l'exécution structurée d'applications scientifiques OpenMP sur les architectures hiérarchiques
Model Checking and Theorem Proving. (Le model Checking et la émonstration de théorèmes)
Visualisation Interactive de Modeles Complexes avec les Cartes Graphiques Programmables. (Interactive Visualization of Complex Models with programmable graphic processors)
Performance and Verifiability of IoT Security Protocols. (Performance et vérifiabilité des protocoles de sécurité IoT)
Évaluation de l'atrophie et de la charge lésionnelle sur des séquences IRM de patients atteints de sclérose en plaques
Transformation de structures de données dans le cadre d'un système automatique d'aide à la conception de systèmes d'information
Image-based Personalised Models of Cardiac Electrophysiology for Ventricular Tachycardia Therapy Planning. (Personnalisation basée sur l'imagerie de modèles cardiaques électrophysiologiques pour la planification du traitement de la tachycardie ventriculaire)
Contribution à l'étude de la méthode de Lanczos
Data centers energy optimization. (Optimisation de l'énergie dans les centres de données)
Détection d'outliers : modéllsation et prédiction : application aux données de véhicules d'occasion. (Outliers detection : modelling and prediction : application to used cars dataset)
Formal Security Proofs of Cryptographic Standards. (Preuves Formelles de la Sécurité de Standards Cryptographiques)
Modélisation de l'interopérabilité d'objets communicants et de leur coopération : application à la domotique. (Modeling of interoperability of communicating object their cooperation : implementation to home automation)
Partitionnement temps réel multiprocesseur sous contraintes de qualité de service et d'énergie. (Multiprocessor real-time partitioning with Quality of Service requirements and energy constraints)
Design Optimization and Control for Concentric Tube Robot in Assisted Single-Access Laparoscopic Surgery. (Optimisation de la conception et commande de robot à tubes concentriques pour la chirurgie laparoscopique par accès unique)
Discontinuous Constituency Parsing of Morphologically Rich Languages. (Analyse syntaxique automatique en constituants discontinus des langues à morphologie riche)
Ensembles indépendants et au-delà, à travers le prisme des systèmes distribués et des graphes colorés. (Independent sets and beyond, through the prism of distributed systems and colored graphs)
Performances des Réseaux LTE. (Performances of LTE networks)
Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture. (Test schemas : an abstraction for generation of conformance tests and coverage measure)
Data Confidentiality in the Internet of Things. (Confidentialité des données dans l'Internet des objets)
Vers des explications narratives pour des recommandations au sein d'un territoire augmenté. (Towards Explaining Recommendation with Stories inside an Augmented Territory)
AM-FM signal Analysis by Teager Huang Transform: application to underwater acoustics. (Analyse des signaux AM-FM par Transformation d'Huang Teager: application à l'acoustique sous marine)
Shape recognition for image scene analysis. (Reconnaissance de forme pour l'analyse de scène)
Modélisation des échanges radiatifs en terrain complexe: validation à pas de temps court sur une prairie naturelle de moyenne montagne
Modèles génériques et méthodes de résolution pour la planification tactique mono-site et multi-site. (Generic models and resolution methods for tactical planning in mono-site and multi-site context)
Spatial Query Optimization and Distributed Data Server - Application in the Management of Big Astronomical Surveys. (Optimisation de requêtes spatiales et serveur de données distribué - Application à la gestion de masses de données en astronomie)
Planification de trajectoires pour l'optimisation du trafic aérien. (Trajectory planning for air traffic optimization)
AI-Driven Adaptive Radiation Treatment Delivery for Head & Neck Cancers. (Radiothérapie adaptative guidée par l'intelligence artificielle pour les cancers ORL)
Task-Oriented Communicative Capabilities of Agents in Collaborative Virtual Environments for Training. (Des agents avec des capacités communicatives orientées tâche dans les Environnements de réalité Virtuelle Collaboratifs pour l'Apprentissage)
Optimization of memory management on distributed machine. (Optimisation de la gestion mémoire sur machines distribuées)
Algorithms for deterministic parallel graph exploration. (Algorithmes pour l'exploration parallèle d'un graphe déterminé)
Type Theory and Decision Procedures. (Théorie des Types et Procédures de Décision)
Reconnaissance automatique de la parole continue en environnement bruité : application à des modèles stochastiques de trajectoires. (Continuous speech recognition in a noisy environment : application to stochastic trajectory models)
Heart Segmentation and Evaluation of Fibrosis. (Segmentation cardiaque et évaluation de la fibrose)
Modélisation de la coarticulation multimodale: vers l'animation d'une tête parlante intelligible. (Multimodal Coarticulation Modeling: Towards the animation of an intelligible talking head)
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C. (Formalization of a Runtime Assertion Checker for Memory Properties of C Programs)
Immersing evolving geographic divisions in the semantic Web. (Immersion dans le Web sémantique de découpages géographiques en évolution)
Mechanized Formal Semantics and Verified Compilation for C++ Objects. (Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée)
Scheduling on Clouds considering energy consumption and performance trade-offs : from modelization to industrial applications. (Ordonnancement sur Clouds avec arbitrage entre la performance et la consommation d'énergie : de la modélisation aux applications industrielles)
Reconciling Parallelism Expressivity and Separation of Concerns in Reconfiguration of Distributed Systems. (Concilier expressivité du parallélisme et séparation des préoccupations lors de la reconfiguration de systèmes distribués)
Semi-supervised dictionary learning and Semi-supervised deep neural network. (Apprentissage semi-supervisé de dictionnaire et de réseaux de neurones profonds)
Characterization and detection of semantic textual outliers. (Détection et caractérisation sémantique de données textuelles aberrantes)
Représentation et reconnaissance d'objets par champs réceptifs. (Object representation and recognition using receptive fields)
Extraction automatique de connaissances pour la décision multicritère. (Automatic Knowledge Extraction pour Multicriteria Decision Making)
Un modèle d'attention visuelle dynamique pour conditions 2D et 3D ; codage de cartes de profondeur et synthèse basée inpainting pour les vidéos multi-vues. (A Dynamic Visual Attention Model for 2D and 3D conditions; Depth Coding and Inpainting-based Synthesis for Multiview Videos)
Syntaxe des verbes de communication en coréen. (Syntax of communication verbs in Korean)
La recherche d'informations sur le World Wide Web : utilisation des méta-informations dans une architecture de systèmes de recherche coopérants. (Information retrieval on the World Wide Web : use of the metadata in an architecture of cooperative search tools)
Flexible Coordination based on the Chemical Metaphor for Service Infrastructures. (Coordination flexible fondée sur la métaphore chimique dans les infrastructures de services)
Symbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte)
Types, compilers, and cryptography for secure distributed programming. (Typage, compilation, et cryptographie pour la programmation repartie securisée)
Predictive Optimization of Operating Modes for Renewable Energy Systems: Application to a Green Hydrogen Refueling Station. (Optimisation prédictive des Modes de Fonctionnement des Systèmes d'Énergie Renouvelable : Application à une Station de Rechargement d'Hydrogène Vert)
Analyse d'images SAR polarimétriques aéroportées pour l'estimation de paramètres bio-physiques des sols agricoles
Approximation des fonctionnelles linéaires sur les espaces Hilbertiens autoreproduisants
Clustering prédictif Décrire et prédire simultanément. (Predictive clustering Describe and predict simultaneously)
Interactions mécaniques entre l'épithélium colique humain et son environnement matriciel à l'aide d'un modèle organoïdes 3D par analyse d'images. (Mechanical interactions between the human colonic epithelium and its matrix environment using a 3D organoid model by image analysis)
Méthodes d'optimisation pour l'allocation mémoire dans les systèmes embarqués. (Optimization methods for the memory allocation problems in embedded systems)
Ten Experiments on the Modeling of Polyphonic Timbre. (Dix Expériences sur la Modélisation du Timbre Polyphonique)
Etude des processus cognitifs impliqués dans la differenciation des émotions chez l'agneau (Ovis aries). (Appraisal dimensions of the emotional process in lambs (Ovis aries))
Protocoles multipoint et interconnexion de réseaux FIP. (Multipoint protocols and FIP networks interconnection)
Networks with mixed-delay constraints. (Réseaux avec contraintes de latence mixtes)
Testing a virtual machine developed in a simulation-based virtual machine generator. (Tester une machine virtuelle développée dans un générateur de machine virtuelle basé sur une simulation)
Vérification des protocoles cryptographiques et propriétés algébriques. (Verification of cryptographic protocols with algebraic properties)
Création et utilisation d'atlas anatomiques numériques pour la radiothérapie. (Design and Use of Anatomical Atlases for Radiotherapy)
Plenoptic imaging: from visible light to X-rays. (imagerie plénoptique : de la lumière visible aux rayons X)
Fine-scale modelling of the dynamics of phytoplankton communities. (Modélisation à fine échelle de la dynamique des communautés phytoplanctoniques)
Faciliter le développement des applications de robotique. (Ease the development of robotic applications)
Feature extraction and supervised learning on fMRI : from practice to theory. (Estimation de variables et apprentissage supervisé en IRMf : de la pratique à la théorie)
Structuring heritage iconographic collections : from automatic interlinking to semi-automatic visual validation. (Structuration des fonds iconographiques patrimoniaux : de l'interconnexion automatique à une validation visuelle semi-automatique)
A Stochastic Approach For The Range Evaluation. (Une Approche Stochastique Pour l'Evaluation De La Dynamique Des Données)
Context-aware credit card fraud detection. (Détection de fraude par carte de crédit en fonction du contexte)
Etude des mécanismes moléculaires de la capture des odorants chez l'être humain: comparaison des interactions biochimiques entre odorants et variants de protéines de liaison aux odeurs
Reconstruction of enhanced Ultrasound images from compressed measurements. (Reconstruction d'images ultrasonores déconvoluées à partir de données comprimées)
Graceful Degradation and Speculation for Robots in Highly Dynamic Environments. (Dégradation progressive et spéculation pour les robots dans des environnements hautement dynamiques)
Mathematical and numerical study of the inverse problem of electro-seismicity in porous media. (Etude mathématique et numérique du problème inverse de l'électro-sismique en milieu poreux)
Imagerie par rayons X résolue en énergie : Méthodes de décomposition en base de matériaux adaptées à des détecteurs spectrométriques. (Energy-resolved X-ray Imaging : Material decomposition methods adapted for spectrometric detectors)
Approche dirigée par les modèles pour le développement de systèmes multi-agents. (Model driven development approach for multiagent systems)
Modèle et outil pour soutenir la scénarisation pédagogique de MOOC connectivistes. (Model and tool to support pedagogical scenario building for connectivist MOOC)
Radio Resource Allocation in C-V2X: From LTE-V2X to 5G -V2X. (Allocation des Ressources Radios en C-V2X: du LTE-V2X à la 5G -V2X)
Smart Home model Based on Internet of Things (IoT) Framework. (Modèle de Maison Intelligente Basé sur le Cadre de l'Internet des Objets (IdO))
Estimation and fluctuations of functionals of large random matrices. (Estiamation et fluctuations de fonctionnelles de grandes matrices aléatoires)
Un meta-modèle de composants pour la réalisation d'applications temps-réel flexibles et modulaires. (A component metamodel for the development of modular and flexible real-time applications)
Problèmes de sécurité posés par les proxies d'adaptation multimédia : proposition de solutions pour une sécurisation de bout-en-bout. (Security issue in multimedia adaptation proxies: Solutions proposal for an end-to-end security)
Assisting in the reuse of existing materials to build adaptive hypermedia. (Aide à la Création d'Hypermédia Adaptatifs par Réutilisation des Modèles des Créateurs)
Modélisation individuelle et multi-factorielle du phénomène de polarisation pour une personnalisation de l'apport en diversité dans les recommandations de news. (Individual and multi-factorial model of polarization to personalize diversification approaches in news recommendations)
Inférence statistique des modèles conditionnellement hétéroscédastiques avec innovations stables, contraste non gaussien et volatilité mal spécifiée. (Statistical inference of conditionally heteroskedastic models with stable innovations, non Gaussian contrast and missspecified volatility)
ROMIE, une approche d'alignement d'ontologies à base d'instances. (ROMIE, Resource based Ontology Mapping within an Interactive and Extensible environment)
Prise en compte des connaissances du domaine dans l'analyse transcriptomique : Similarité sémantique, classification fonctionnelle et profils flous : application au cancer colorectal. (Using domain knowledge in the Transcriptomic analysis : Semantic similarity, functional classification and fuzzy profiles. Application to colorectal cancer)
Localisation référencée modèle d'un robot mobile d'intérieur. (Model Based Localization for an Indoor Mobile Robot)