yusuke1997/dblp-id-title huggingface dataset:
Amélioration des services vidéo fournis à travers les réseaux radio mobiles. (On the enhancement of video services provided over radio mobile networks)
Improving performance on NUMA systems. (Amélioration de performance sur les architectures NUMA)
Linearity : an analytic tool in the study of complexity and semantics of programming languages. (Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation)
Adaptive streaming using Peer-to-Peer and HTTP. (Streaming adaptatif sur réseaux pair-à-pair et HTTP)
Boolean Parametric Data Flow Modeling - Analyses - Implementation. (Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre)
Proposition d'un outil d'aide à la décision adapté aux contraintes et aux enjeux d'un soutien informatique aux consultations médicales coutumières. (A decision support system adapted to the constraints and the challenges of decision support in customary medical consultations)
Caractérisation probabiliste et synthèse de surfaces agricoles par objets structurants à partir d'images haute résolution. (Probabilistic characterization and synthesis of agricultural surface by structuring onjects using high images resolution)
Cryptanalytic Time-Memory Trade-Off. (Compromis Temps-Mémoire Cryptanalytique)
Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP)
Système de preuve modulo récurrence
Techniques de réécriture pour le traitement de problème de routage dans les graphes de Cayley
Evolution of differential models for concrete complex systems through genetic programming. (Evolution de modèles différentiels de systèmes complexes concrets par programmation génétique / Evolução de modelos diferenciais para sistemas complexos concretos por programação genética)
Interphase characterization by means of ultrasound methods: application to periprosthetic tissues. (Caractérisation d'interphase par des méthodes ultrasonores: applicationaux tissus péri-prothétiques)
Contribution à l'analyse et à la modélisation des écoulements turbulents en régime de convection mixte - Application à l'entreposage des déchets radioactifs. (Contribution to the analysis and the modelling of turbulent flows in mixed convection regime - Application to radioactive waste management)
Data driven representation and synthesis of 3D human motion. (Modèles statistiques pour représenter et synthétiser des mouvement humains en 3D)
Comparaison Vecteurs-Images pour la détection des changements des bâtiments d'une base de données topographiques
Étude et conception de la commande de mannequins virtuels dynamiques pour l'évaluation ergonomique des postes de travail. (Dynamic Digital Human Model control design for the assessment of the workstation ergonomics)
Codage de canal pour les communications optiques sans fil. (Channel coding for optical wireless communications)
Approche automatique à base de traitement d'images pour l'analyse comportementale de piétons âgés lors de la traversée d'une rue. (Automatic image processing based approach for elder pedestrians' behavior analysis when crossing a street)
Méthodes d'aide à la décision multi-attribut et multi-acteur pour résoudre le problème de sélection dans un environnement certain/incertain : cas de la localisation des centres de distribution. (Multi-attribute and multi-actor decision making methods for solving the selection problem under certain/uncertain environment : case of distribution centers location)
Leveraging Software Product Lines Engineering in the Construction of Domain Specific Languages. (Application de l'ingénierie des lignes de produits à la construction des langages dédiés. )
Modélisation et optimisation des actifs pour l'aide à la prise de décision stratégique dans les entreprises. (Assets modeling and optimization for strategic business decision-making)
Information Extraction for the Seed Development Regulatory Networks of Arabidopsis Thaliana. (Extraction d'Information pour les réseaux de régulation de la graine chez Arabidopsis Thaliana)
Environnements lumineux naturels en mode : Spectral et Polarisé. Modélisation, Acquisition, Simulation. (Spectral and Polarized Natural Light Environment)
Un modèle de raisonnement hypothétique et temporel pour la physique qualitative. (An hypothetical and temporal reasoning model for qualitative physics)
Contribution à l'estimation de l'état des systèmes singuliers : application à la validation de données des systèmes dynamiques linéaires. (Contribution to state estimation for singular systems : application to data reconciliation of dynamic linear systems)
Échantillonnage stochastique efficace par modèle Bernoulli mélange de Gaussiennes pour la résolution des problèmes inverses parcimonieux. (Efficient stochastic sampling of Bernoulli mixture of Gaussian models for sparse inverse problems)
Estimation de profondeur à partir d'images monoculaires par apprentissage profond. (Depth estimation from monocular images by deep learning)
Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web. (A Transactional Approach to Ensure Reliable Web Services Compositions)
Un cadre ontologique générique de modélisation, de capitalisation et de partage de Connaissances Métiers Situées en Ingénierie Système. (Ontological framework for System Engineering Knowledge modeling, capitalization and sharing)
Optimal Parsing for dictionary text compression. (Parsing optimal pour la compression du texte par dictionnaire)
Création de nouvelles connaissances décisionnelles pour une organisation via ses ressources sociales et documentaires. (Creation of new decisional knowledge for an organization by analysing its social and documentary resources)
Signature packing and vertex partition of signed graphs and graphs. (Signature packing et sommets partition de graphes signés et graphes)
Conceptualisation de la Gouvernance des Systèmes d'Information : Structure et Démarche pour la Construction des Systèmes d'Information de Gouvernance. (Conceptualization of Information Systems Governance: Structure and Approach to the Construction of Governance Information System)
Extraction lexicale bilingue à partir de textes médicaux comparables : application à la recherche d'information translangue. (Bilingual lexicon extraction from comparable medical texts: application for cross-language information retrieval)
Modèles cellulaires de champs neuronaux dynamiques. (Cellular models of dynamic neural fields)
Active Control of Complexity Growth in Language Games. (Contrôle actif de la croissance de la complexité dans les Language Games)
Deep learning based anomaly and drift detection : application to predictive maintenance in embedded systems. (Méthodes d'apprentissage profond pour la détection d'anomalies et de changement de régimes : application à la maintenance prédictive dans des systèmes embarqués)
Architecture d'un frontal en environnement téléinformatique : application au réseau CYCLADES
Mise au point d'une nouvelle méthode utilisant les bases de données médico-administratives pour détecter de nouveaux effet indésirables médicamenteux. (Development of a new method using medico-administrative databases to detect new adverse drug reactions)
Reliability and deployment issues of network coding in wireless networks. (Fiabilité et problèmes de déploiement du codage réseau dans les réseaux sans fil)
Linked Data Sanitization with Differential Privacy. (Anonymisation de données liées en utilisant la confidentialité différentielle)
Cryptographie homomorphe et transcodage d'image/video dans le domaine chiffré. (Homomorphic encryption and image/video transcoding in the encrypted domain)
Statistical models for image steganograhy: Explaining and replacing heuristics. (Modèles statistiques pour la stéganographie d'images / Modèles statistiques pour la stéganographie d'images: Expliquer et remplacer les heuristiques)
Contribution à l'étude sémantique des bases de données : application au système SOCRATE
Conception et commande d'un robot industriel en bois. (Design and control of an industrial wooden robot)
An energy saving perspective for distributed environments : Deployment, scheduling and simulation with multidimensional entities for Software and Hardware. (Une perspective d'économie d'énergie pour les environnements distribués : Déploiement, planification et simulation avec des entités multidimensionnelles pour les logiciels et le matériel)
Exploitig multipath for mobile terminals with heterogeneous multi-access. (Exploitation du "multipath" pour les terminaux mobiles avec accès multiple hétérogène)
Parole de locuteur : performance et confiance en identification biométrique vocale. (Speaker in speech : performance and confidence in voice biometric identification)
Evaluation of a multiple criticality real-time virtual machine system and configuration of an RTOS's resources allocation techniques. (Évaluation de la virtualisation sur les systèmes temps-réel à criticité multiple et configuration des techniques d'allocation de ressources sur les systèmes d'exploitation temps-réel)
Prévention des fautes temporelles sur architectures multicœur pour les systèmes à criticité mixte. (Preventing temporal faults on multicore architectures for mixed-criticality systems)
Revealing and exploiting privacy vulnerabilities in users' public wireless packets. (Révéler et exploiter les vulnérabilités liées à confidentialité dans les paquets sans fil publics des utilisateurs)
Echantillonnage des signaux à bande limitée: Application à l'étude de l'interaction véhicule-chaussée. (Sampling of band-limited signals / Sampling of band-limited signals: Application to the study of vehicle-roadway interaction)
Contribution à la synthèse de contrôleurs neuronaux robustes par imitation. (Contribution to the synthesis of robust neural controllers by imitation)
Gestion multi-agents d'un terminal à conteneurs. (Agent-based modeling of a container terminal)
Privacy-preserving third-party computations on secure personal data management systems. (Calculs tiers respectueux de la vie privée sur des systèmes de gestion de données personnels et sécurisés)
Modélisation macroscopique de mouvements de foule à deux types, modèles SIR condensés. (Macroscopic modeling of the motion of a crowd with two types, condensed SIR models)
Caractérisation de modèles de tumeurs murines et leurs applications en thérapie anti-angiogénique vectorisée. (Characterization of murine tumor models and their application in anti-angiogenic targeted therapies)
Conception et étude d'un microcalorimètre différentiel à compensation automatique
Architecture de communication mobile avec qualité de service
Sentence Embeddings for Massively Multilingual Speech and Text Processing. (Représentations vectorielles de phrases pour le traitement massivement multilingue du texte et de la parole)
Folding Dynamics in the Very Preterm Brain: Longitudinal Characterization of Sulcal Shape with Developmental and Functional Implications. (Les dynamiques de plissement dans le cerveau très prématuré: Caractérisation longitudinale de la forme des sillons avec implications développementales et fonctionnelles)
Contribution of multitones to ultrawide band software defined radar. (Contribution des multitons au radar défini par logiciel à bande ultralarge)
Optimization of multi-modal transportation chains in city logistics. (Optimisation de ressources en logistique urbaine)
Towards Control as a Service models and architecture for the Industry 4.0. (Modèles et architecture « Control as a Service » pour l'Industrie 4.0)
Contribution à la commande de robots marcheurs bipèdes. (Walking control of biped robots)
Characterizing Edges in Signed and Vector-Valued Graphs. (Caractérisation des arêtes dans les graphes signés et attribués)
Optimization Techniques for an Ergonomic Human-Robot Interaction. (Techniques d'Optimisation pour une Interaction Humain-Robot Ergonomique)
Elliptic curve cryptography algorithms resistant against power analysis attacks on resource constrained devices. (Algorithmes cryptographiques à base de courbes elliptiques résistant aux attaques par analyse de consommation)
A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems. (Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides)
Total variational optical flow for robust and accurate bladder image mosaicing. (Calcul du flot optique dans une approache variationnelle totale pour le mosaîquage robuste et précis d'images de vessie)
Calcul numérique de la dimension fractale d'un attracteur étrange. (Numerical calculus of the fractal dimension of a strange attractor)
Description locale d'images fixes dans le domaine compressé. (Local image description in the compressed domain)
Neuro-steered music source separation. (Séparation de sources musicales neuroguidée)
Attention for Human Motion Captioning : Towards an Interpretable Semantic Motion Segmentation and Analysis. (Mécanisme d'attention pour le sous-titrage du mouvement humain : Vers une segmentation sémantique et analyse du mouvement interprétables)
Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologique. (Algebraic Modeling of the Dynamics of Multi-scale Biological Regulatory Networks)
Uncertainty learning for noise robust ASR. (Traitement de l'incertitude pour la reconnaissance de la parole robuste au bruit)
Reconstructing plant architecture from 3D laser scanner data. (Acquisition et validation de modèles architecturaux virtuels de plantes)
Statistics for Topological Descriptors using optimal transport. (Statistiques sur les descripteurs topologiques à base de transport optimal)
Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos. (Contribution to the design of real-time systems based on the RT-Lotos formal description technique)
Reconnaissance dynamique de personnes dans les émissions audiovisuelles. (Dynamic person recognition in TV show)
Infrastructure adaptable pour les entrepots de données. (Adaptable Infrastructure for Data Warehouse Evolution)
Object and human tracking, and robot control through a load sensing floor. (Localisation et suivi d'humains et d'objets, et contrôle de robots au travers d'un sol sensible)
Caractérisation Biomécanique et Modélisation 3D par Imagerie X et IRM haute résolution de l'os spongieux humain : Evaluation du risque fracturaire. (Biomechanics identification and Finite Element Model by microtomography and RMN at high resolution of human spongy bone: Fracture risk)
Design and analysis of provably secure protocols: Applications to messaging and attestation. (Conceptions et analyses de protocoles en sécurité prouvable: applications aux messageries et à l'attestation)
Modélisation dynamique des mécanismes de signalisation induits par l'hormone folliculo-stimulante et l'angiotensine
Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles. (Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture)
Quantitative analysis of stochastic systems: priority games and populations of Markov chains. (Analyse quantitative des systèmes stochastiques: jeux de priorité et population de chaînes de Markov)
Contributions à l'observation et à la commande tolérante aux fautes des systèmes incertains. (Contributions to observation and fault-tolerant control of uncertain systems)
Tests et sélection de modèles pour l'analyse de données protéomiques et transcriptomiques
Analysis and control of parabolic partial differential equations with application to tokamaks using sum-of-squares polynomials. (Analyse et contrôle des équations aux dérivées partielles parabolique aide de polynômes somme des carrés avec une application sur les tokamaks)
Use of a synthetic substitute to animal products for rabbit and ovine embryo cryopreservation. (Utilisation d'un substitut synthétique aux produits d'origine animale pour la cryopréservation d'embryons de lapin et de brebis)
Vers une nouvelle Interaction Homme Environnement dans les jeux vidéo et pervasifs : rétroaction biologique et états émotionnels : apprentissage profond non supervisé au service de l'affectique. (Towards a new Human Environment Interaction in video and pervasive games : biofeedback and emotional states : unsupervised deep learning for affectics)
Mathematical Modelling of Neural Oscillations in Hippocampal Memory Networks during Waking and under General Anaesthesia. (Modélisation mathématique pour l'étude des oscillations neuronales dans des réseaux de mémoire hippocampiques pendant l'éveil et sous anesthésie générale)
A heterogeneous data-based proposal for procedural 3D cities visualization and generalization. (Une proposition hétérogène basée sur les données pour la généralisation et la visualisation des villes procédurales en 3D)
AI-based diagnosis of prostate cancer from multiparametric MRI. (Aide au diagnostic du cancer de la prostate depuis l'IRM multiparamétrique grâce à l'apprentissage profond)
Affine Frequency Division Multiplexing (AFDM) for Wireless Communications. (Affine Frequency Division Multiplexing (AFDM) pour communications sans fil)
Hunter drones : drones cooperation for tracking an intruder drone. (Drones en coopération pour la poursuite d'un drone intrus)
White matter tractography guided by anatomical and microstructural priors. (Tractographie de la matière blanche orientée par a priori anatomiques et microstructurels)
Verification of a Concurrent Garbage Collector. (Vérification d'un glaneur de cellules concurrent)
Contribution à l'autonomie des robots : vers la garantie de performance en robotique mobile autonome par la gestion des ressources matérielles et logicielles. (Contribution to robot autonomy : Toward performance guarantee for autonomous mobile robotics by hardware and software resources management)
Développement et validation d'une méthode de relaxométrie T2* bi-exponentielle en IRM cérébrale. (Development and validation of a bi-exponential T2* relaxometry method in cerebral MRI)
Arithmétique des couplages, performance et résistance aux attaques par canaux cachés. (Arithmetic of Pairings, Efficiency and Weakness of Pairing Based Cryptography with respect to Side Channel Attacks)
Composants pour la grille. (Components for grid computing)
Reconnaissance de Langage en temps réel sur automates cellulaires 2D. (Real time language recognition with 2D cellular automata)
Short circuit valorization of thermoplastic waste for the conception by 3D printing of composite structures. (Valorisation en circuit court de déchets thermoplastiques pour la conception par impression 3D de structures composites)
SemTAG : une plate-forme pour le calcul sémantique à partir de Grammaires d'Arbres Adjoints. (SemTAG: a platform for semantic construction with Tree Adjoining Grammars)
Pavages réguliers et modélisation des dynamiques spatiales à base de graphes d'interaction : conception, implémentation, application. (Regular tiling and modelling spatial dynamics with interaction graphs: design, implementation, application)
A Gaze into the Art World: Predicting Visual Attention Using Deep Learning. (Un regard sur le monde de l'art: Prédire l'attention visuelle à l'aide de l'apprentissage profond)
Proposal of a Protocol and a Computer Tool for Assessing the Believability of Virtual Players in Multiplayer Video Games. (Proposition d'un Protocole et d'un Outil Informatique pour l'Évaluation de la Crédibilité des Joueurs Virtuels dans les Jeux Vidéo Multi-joueurs)
Analyse de la complexité des programmes par interprétation sémantique. (Program complexity analysis by semantics interpretation)
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques. (Toward verified compilation of Sea of Nodes : semantic properties and reasoning)
Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées. (Synthesis of pipelined architectures using the polyhedral model)
Learning similarities for linear classification: theoretical foundations and algorithms. (Apprentissage de similarités pour la classification linéaire: fondements théoriques et algorithmes)
Self-supervised learning in the presence of limited labelled data for digital histopathology. (Apprentissage auto-supervisé en présence de données étiquetées limitées pour l'histopathologie numérique)
Unleashing Blockchain Scalability : Advances in Zk-Rollup Applications and Protocols. (Optimiser le passage à l'échelle de la blockchain : avancées dans les applications et protocoles des Zk-rollups)
Synthetic Aperture Radar Multi-Polarization Ocean Characteristics and Ship Detection. (Radar à synthèse d'ouverture polarimétrique pour la caractérisation de la surface de la mer et la détection de navire)
Privacy Preserving and fully-Distributed Identity Management Systems. (Systèmes de Gestion de l'Identité totalement distribués et respectant la vie privée)
Towards Patient-Based Fluid-Structure Interaction Simulation of the Mitral Valve. (Vers une simulation de l'interaction fluide-structure de la valve mitrale basée sur le patient)
Generation and analysis of graphical codes using textured patterns for printed document authentication. (Génération et analyse des codes graphiques utilisant des motifs texturés pour l'authentification de documents imprimés)
Gestion de la cohérence des données dans les systèmes multiprocesseurs sur puce. (Managing cache coherency of shared data in shared memory multiprocessor systems-on-chip)
Integer sequences, differential operators and algebraic power series. (Suites entières, séries algébriques et opérateurs différentiels)
Contribution à l'optimisation de la distribution collaborative avec partage de gains sous critères de durabilité. (Contribution to the optimization of collaborative distribution with profit-sharing under sustainability criteria)
Efficient image generation models and strategies for smart industries. (Modèles et stratégies de génération d'images efficaces pour les industries intelligentes)
Interactions post-WIMP et applications existantes sur une table interactive
Recherche d'associations séquentielles et alignement d'ontologies biologiques. (Search of sequential associations and biological ontologies alignment)
Relaxations of the Seriation problem and applications to de novo genome assembly. (Relaxations du problème de sériation et applications à l'assemblage de génome de novo)
Optimal control of linear complementarity systems. (Commande optimale des systèmes de complémentarité linéaires)
Statistiques et réseaux de neurones pour un système de diagnostic : application au diagnostic de pannes automobiles. (Statistic and neural networks for a diagnosis system: Application to automotive failure detection)
Éléments finis d'ordre élevé pour maillages hybrides - Application à la résolution de systèmes hyperboliques linéaires en régimes harmonique et temporel. (High-Order Finite Elements for Hybrid Meshes - Application to the Resolution of Time-Harmonic and Time-Dependent Linear Hyperbolic Systems)
Étude des bases moléculaires de l'adaptation et de l'acclimatation aux changements environnementaux chez les picocyanobactéries marines, des organismes clés du phytoplancton. (Study of the molecular basis of adaptation and acclimation to environmental changes in marine picocyanobacteria, key phytoplankton organisms)
Approche crédibiliste pour la fusion multi capteurs décentralisée. (Credibilist and decentralized approach for fusion in a multi sensors system)
Un modèle pour la gestion des séquences temporelles synchronisées. Application aux données musicales symboliques. (A data model for synchronized time series management. Application to symbolic music scores)
Algorithms and Intractability of Some NP-hard Domination Problems with Private Structure. (Algorithmes et Intractabilité de Certains Problèmes de Domination NP-difficiles avec Structure Privée)