yusuke1997/dblp-id-title huggingface dataset:
Capitalisation et partage de connaissances d'analyse de traces numériques d'activités : assister le suivi de l'activité dans les environnements de formation à base de simulateur pleine échelle. (Capitalizing and sharing analysis knowledge of digital traces of activities : assist the monitoring of activity in full scale simulator-based training environments)
A formal approach to automate the evolution management in component-based software development processes. (Une approche formelle pour automatiser la gestion de l'évolution dans les processus de développement à base de composants)
DC programming and DCA for physical layer security in wireless network. (La programmation DC et DCA pour la sécurité de la couche physique des réseaux sans fil)
Contribution to the Coordination of MPC Strategies for Distributed Systems, Applied to the Electric Power Production. (Contribución a la Coordinación de Estrategias de Control MPC para Sistemas Distribuídos, Aplicados a la Producción de Energía / Contribution à la Coordination de Commandes MPC pour Systèmes Distribués, Appliqués à la Production d'Énergie)
Analyse conjointe texte et image pour la caractérisation de films d'animation. (text and image information fusion for animated movie characterization)
Étude par dynamique moléculaire de spectres vibrationnels de verres de silice. (Molecular dynamics study of the vibrational spectra of silica glasses)
End-to-End Modeling for Speech Spoofing and Deepfake Detection. (Optimisation des fonctionnalités frontales pour l'anti-usurpation)
Contributions à l'étude d'un processeur monolithique 32 bits en technologie CMOS. (Contribution to the study of CMOS technology 32 bits monolithic processor)
Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. (Computer algebra and parallelism: pac system architecture and rationnal arithmetic)
Composite visual mapping for time series visualization. (Encodage visuel composite pour les séries temporelles)
Débogage des systèmes embarqués multiprocesseur basé sur la ré-exécution déterministe et partielle. (Deterministic and partial replay debugging of multiprocessor embedded systems)
Dual pathway architecture underlying vocal learning in songbirds. (L'architecture à double voie pour l'apprentissage du chant chez l'oiseau)
MiRNA and co: Methodologically exploring the world of small RNAs. (MiARN et compagnie: une exploration méthodologique du monde des petits ARNs)
Réseaux d'Automates Stochastiques : Analyse transitoire en temps continu et algèbre tensorielle pour une sémantique en temps discret. (Stochastic Automata Networks: Transient analysis for continuous time models and tensor algebra for a semantic of discrete time models)
Optimization for big joins and recursive query evaluation using intersection and difference filters in MapReduce. (Utilisation de filtres d'intersection et de différence pour l'optimisation des jointures à grande échelle et l'exécution de requêtes récursives à l'aide MapReduce)
On clustering in multiple criteria decision aid : theory and applications. (Le clustering en aide multicritère à la décision : théorie et applications)
Détection et diagnostic des fautes dans des systèmes complexes par approches multi-échelle. (Fault Detection and Diagnosis in Complex Systems by Multi-Scale Approaches)
Optimization of a multi-profile encoding system. (Optimisation d'un système d'encodage multi-profils)
Etude numérique et modélisation de la modulation de la turbulence dans un écoulement de nappe chargée en particules. (Numerical study and modelling of turbulence modulation in a particle laden slab flow)
Impact of the community structure on the dynamics of complex networks. (Impact de la structure communautaire sur la dynamique des réseaux complexes)
Reconnaissance d'Expressions Faciale 3D Basée sur l'Analyse de Forme et l'Apprentissage Automatique. (3D Facial Expressions Recognition Using Shape Analysis and Machine Learning)
Distributed video coding of multiview sequences. (Codage vidéo distribué de séquences multi-vues)
Interactive Demand-Shifting in the Context of Domestic Micro-Generation. (Déplacement Intéractif des Consommations)
Sécurisation des accès aux périphériques et depuis les périphériques dans une architecture multicœur RISC-V utilisée pour la virtualisation. (Securing access to and from devices in a RISC-V multicore architecture used for virtualization)
Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks. (Analyse d'accessibilité et révision de la dynamique dans les réseaux de régulations biologiques)
Conception d'un système de diagnostic adaptatif et prédictif basé sur la méthode Fuzzy Pattern Matching pour la surveillance en ligne des systèmes évolutifs
Stimulation ovarienne chez la ponette Welsh en vue de la production d'embryons Limites physiologiques et techniques
I-Cluster : Agrégation des ressources inexploitées d'un intranet et exploitation pour l'instanciation de services de calcul intensif
Système de reconstruction de trajectoire pour véhicules deux roues motorisés. (System of trajectory reconstruction for Powered Two Wheels vehicles)
Fast high-resolution drawing of algebraic curves and surfaces. (Dessin rapide à haute résolution de courbes et surfaces algébriques)
Exemples adversaires et régions linéaires. (Adversarial examples and linear regions)
Robust sound event detection. (Détection robuste d'événements sonores)
Une architecture semi-supervisée et adaptative pour le filtrage d'alarmes dans les systèmes de détection d'intrusions sur les réseaux
Efficient high-dimension gaussian sampling based on matrix splitting : application to bayesian Inversion. (Échantillonnage gaussien en grande dimension basé sur le principe du matrix splitting. : application à l'inversion bayésienne)
Etude en vue de la réalisation de logiciels bas niveau dédiés aux réseaux de capteurs sans fil : microsystème de fichiers. (Design of low-level software dedicated to wireless sensor networks: micro-file system)
Mathematic modelization of spring magnets. (Modélisation mathématique des spring magnets)
Using Wireless multimedia sensor networks for 3D scene asquisition and reconstruction. (Utilisation des réseaux de capteurs multimédia sans fil pour l'acquisition et la reconstruction des scènes en 3D)
Voronoi diagrams of semi-algebraic sets
Modèles de prédiction d'événements rares en suivi longitudinal. Application au risque de blessure chez les sportifs professionnels. (Models for predicting rare events in longitudinal follow-up. Application to injury risk in professional athletes)
Le Cloud Computing pour une Gestion Intelligente du Trafic Urbain: Proposition d'un service de prise en charge et de coopération pour la gestion de personnes victimes de malaise pendant la conduite. (The Cloud Computing for Intelligent Urban Traffic Management: Proposal for a support and cooperation service for the management of malaise victims while driving)
Contrôle des processus de désassemblage à l'aide des formalismes des systèmes à évènements discrets. (Control of disassembly processes using discrete event system formalisms)
Conception et commande de systèmes microrobotiques magnétiques en milieu ambiant. (Conception and control of magnetic microrobotic systems in a dry environment)
Voice over IP Vulnerability Assessment. (Architecture de Sécurité sur la Voix sur IP)
Contribution à la documentation automatique dans le domaine des mathématiques appliquées
Robust liver vessel segmentation in medical images using 3-D deep learning approaches. (Une approche Deep Learning pour la segmentation robuste des vaisseaux hépatiques sur des images médicales 3-D)
Generalisation of Alternating Automata over Infinite Alphabets. (Généralisation d'Automates Alternatifs sur des Alphabets Infinis)
Autotuning with machine learning of OpenMP task applications. (Autotuning assisté par apprentissage automatique de tâches OpenMP)
Rôle de la leptine périnatale dans la programmation métabolique
Recommandation de parcours culturels personnalisés: Étude interdisciplinaire de la proposition automatique de visites. (Recommendation of personalized cultural sightseeing tours: An Interdisciplinary study on automated proposal of visits)
Étude et développement d'un réseau de capteurs synchronisés à l'aide d'un protocole de communication sans fil dédié à l'Internet des objets. (Study and development of synchronized sensors network using a wireless communication protocol dedicated to the Internet of Things)
Reconstruction tridimensionnelle par stéréophotométrie. (3D-reconstruction by photometric stereo)
Vélocimétrie par images de particules (PIV) pour le diagnostic d'écoulements dans la boucle d'air automobile
Scheduling Under Memory Constraint in Task-based Runtime Systems. (Ordonnancement sous contrainte mémoire dans un modèle de programmation à base de tâches)
Verification of Pointer Programs Using Regions and Permissions. (Vérification de programmes avec pointeurs à l'aide de régions et de permissions)
First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions. (Théorèmes de préservation pour la logique au premier ordre: localité, topologie et constructions limites)
Résolution par des algorithmes exacts et approchés de problèmes intégrés d'ordonnancement de la production et de tournées de véhicules. (Solving by exact and approximate algorithms of integrated routing and scheduling problems)
Algorithmes Heuristiques et Techniques d'Apprentissage : Applications au Problème de Coloration de Graphe. (Heuristic Algorithms And Learning Techniques : Applications to the Graph Coloring Problem)
Méthode FDTD conforme appliquée au calcul du DAS avec homogénéisation utilisant les caractéristiques des tissus humains. (Conformal FDTD applied to SAR calculation with homogenization using characteristics of human tissues)
Composants mathématiques pour la théorie des groupes. (Mathematical components for groups theory)
Script optimization for TTS voice corpus design in audio-book generation. (Optimisation de script pour la conception de corpus vocaux de TTS dans la génération de livres audio)
Coded modulations for the multiple-antenna and cooperative fading channels. (Modulations codées pour les systèmes à antennes multiples et coopératifs )
De l'étiquetage syntaxique pour les grammaires catégorielles de dépendances à l'analyse par transition dans le domaine de l'analyse en dépendances non-projective. (From syntactic tagging for categorial dependency grammars to transition-based parsing in the domain of non-projective dependency parsing)
Le style dans le rendu non-photoréaliste de dessins au trait à partir de scènes 3D : une approche programmable. (Programmable style for NPR line-drawing)
Reverse-Engineering Fashion Products : From a single-view Sketch to a 3D Model. (Modélisation 3D d'objets cousus à partir d'un unique croquis)
Antennes compactes reconfigurables en diagramme de rayonnement pour la modulation spatiale MIMO et introduction aux communications numériques par rétrodiffuseurs. (Compact Reconfigurable Radiation Pattern Antennas for Spatial Modulation MIMO and Introduction to the Backscatter Communications)
A body-centric framework for generating and evaluating novel interaction techniques. (Un espace de conception centré sur les fonctions corporelles pour la génération et l'évaluation de nouvelles techniques d'interaction)
Conception d'un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartie. (Toward a programmable and reconfigurable monitoring system for an edge infrastructure)
Etude d'une machine synchrone à double excitation Contribution à la mise en place d'une plate-forme de logiciels en vue d'un dimensionnement optimal. (Study of a Hybrid Excitation Synchronous MachineContribution to the development of a software tool for optimal design)
Machine learning for mobile network user behavior detection in 5G networks and beyond : environment and application classification. (Apprentissage automatique appliqué à l'identification du comportement des utilisateurs de réseaux mobiles 5G et au-delà : classification de l'environnement et de l'application)
Approches supervisées et faiblement supervisées pour l'extraction d'événements et le peuplement de bases de connaissances. (Supervised and weakly-supervised approaches for complex-event extraction and knowledge base population)
Sur l'intégration de mécanismes d'ordonnancement et de communication dans la sous-couche MAC de réseaux locaux temps réel
Two contributions to geometric data analysis: filamentary structures approximations, and stability properties of functional approaches for shape comparison. ( Deux contributions à l'analyse géométrique de données : approximation de structures filamentaires et stabilité des approches fonctionnelles pour la comparaison de formes)
Application de la programmation par contraintes à des problèmes de gestion du trafic aérien. (Application of Constraint Programming to Air Traffic Management Problems)
Une étude des sommes fortes : isomorphismes et formes normales. (A study of strong sums: isomorphisms and normal forms)
Développement de méthodes bioinformatiques dédiées à la prédiction et l'analyse des réseaux métaboliques et des ARN non codants. (Development of bioinformatic methods dedicated to the prediction and the analysis of metabolic networks and non-coding RNA)
Appariement de formes basé sur une squelettisation hiérarchique. (Shape matching based on a hierarchical skeletonization)
A Model-Driven Engineering and Software Product Line Approach to Support Interoperability in Systems of Information Systems. (Une approche basée sur l'Ingénierie Dirigée par les Modèles et l'ingénierie des Lignes de Produits Logiciels pour supporter l'interopérabilité dans les systèmes de systèmes d'information évolutifs)
Étude et résolution de problèmes d'ordonnancement d'opérations d'évacuation. (Scheduling Evacuation Operations: models and algorithms)
Conception de la commande d'un système automatisé de production : apport des graphes et de l'ordonnancement cyclique
Mise en œuvre d'une méthode d'inversion numérique en forme d'onde complète pour la caractérisation des propriétés viscoacoustiques de matériaux hétérogènes. (Implementation of a full wave inversion method for the characterization of viscoacoustic properties of heterogeneous materials)
Nouvel Algorithme pour la Réduction de la Dimensionnalité en Imagerie Hyperspectrale. (New Algorithm for Dimensionality Reduction Applied in Hyperspectral Image)
Modélisation et simulation d'un réseau de neurones formels : implantation sur machine parallèle "hypercube FPS T-40. (Modeling and simulation of a formal neural networks. Implementation on the massively parallel computer : hypercube FPS T-40)
Communications multipoints pour les réseaux acoustiques sous-marins. (Multipoint communications for underwater acoustic networks)
La Notion de demi-bande : étude algébrique et applications aux automates asynchrones
Understanding and exploiting mobility in wireless networks. (Comprendre et exploiter la mobilité dans les réseaux sans fil)
Un Mécanisme Constructiviste d'Apprentissage Automatique d'Anticipations pour des Agents Artificiels Situés
Couplage de micro résonateurs. Applications aux fonctions optiques de traitement du signal. (Micro resonators coupling: applications in optical signal processing)
Mémoires partagées d'alignements sous-phrastiques bilingues. (Shared memories of bilingual subsentential alignments)
De l'espace euclidien à l'espace hyperbolique : repenser la classification hiérarchique des images de scènes de télédétection. (From euclidean to hyperbolic spaces : rethinking hierarchical classification of remot sensing scene images)
Towards a mathematical understanding of deep neural network using a mean field analysis. (Vers une compréhension mathématiques des réseaux neuronaux profonds par une analyse champ moyen)
Caractérisations des modifications cellulaires et moléculaires responsables des anomalies de développement du trophoblaste chez les embryons de souris issus de transfert nucléaire
Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques. (A model for composing applications of visualization and continuous interaction with scientific simulations)
Optimisation des flux dans les réseaux de transport pour les systèmes dynamiques étendus: cas des systèmes hydrographiques. (Dynamic network flow optimization for large scale systems: application to hydrographic systems)
ICC and Probabilistic Classes
Spécification de la mémoire dans un langage synchrone flot de données doté de tableaux de taille statique. (Memory Specification in a Data-flow Synchronous Language with Statically Sized Arrays)
Amélioration de performance de la navigation basée vision pour la robotique autonome : une approche par couplage vision/commande. (Performance improvment of vision-based navigation for autonomous robotics : a vision and control coupling approach)
Traitement parallèle des comparaisons intensives de séquences génomiques. (Parallel Computing for Intensive Comparison of Genomic Sequences)
Architectures cross-layer PHY/MAC pour réduire l'effet de blocage de réception dans les réseaux véhiculaires ad-hoc. (Cross-layer designs PHY/MAC for receiver blocking problem in vehicular ad-hoc networks)
Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems. (Intégration logicielle d'Applications Avioniques Modulaires Intégrées (IMA) sur COTS multicoeur : méthodologie d'intégration et métriques d'analyse temporelle conformes aux régulations de certification pour la réutilisation de logiciel dans les systèmes IMA)
Document Understanding with Deep Learning Techniques. (Analyse intelligente de documents avec des approches neuronales)
Composition dynamique de services : application à la conception et au développement de systèmes d'information dans un environnement distribué. (Dynamic composition of services : application to designing and developping information systems in a distributed environment)
Range imaging based obstacle detection for virtual environment systems and interactive metaphor based signalization. (Détection d'obstacles basée sur l'imagerie de distance pour systèmes d'environnement virtuel et signalisation interactive basée sur des métaphores)
Distance-based shape statistics for image segmentation with priors. (Statistiques de formes pour la segmentation d'images avec a priori)
Design of next-generation Tb/s turbo codes. (Conception des turbocodes à très haut-débit)
Compression d'images avec et sans perte par la méthode LAR (Locally Adaptive Resolution). (Lossy and lossless image compression through the LAR method (Locally Adaptive Resolution))
Des conditions de conception d'une ingénierie didactique relative à la définition de la notion de limite : élaboration d'un cadre basé sur un modèle de rationalités pour l'accès aux objets mathématiques complexes. (Conditions for the conception of didactical design for the definition of the notion of limit : elaboration of a frame based on a model of rationalities for the access of complex mathematical objects)
Natural Language Generation with Reinforcement Learning. (Génération de Langage Naturel par Apprentissage par Renforcement)
Cameras, Shapes, and Contours: Geometric Models in Computer Vision. (Caméras, formes et contours: modèles géométriques en vision par ordinateur)
Résultants de polynômes de Ore et Cryptosystèmes de McEliece sur des Codes Rang faiblement structurés. (Resultants of Ore polynomials and McEliece Cryptosystems based on weakly structured Rank Codes)
Generating whole body movements for dynamic anthropomorphic systems under constraints. (Génération de mouvements corps-complet sous contraintes pour des systèmes dynamiques anthropomorphes)
Stabilization of the systems describing water waves and their interaction with a floating object. (Stabilisation des systèmes décrivant le mouvement des vagues et leurs interactions avec un objet flottant)
A bottom-up process management environment dedicated to process actors. (Un environnement de gestion de processus dédié aux acteurs de processus)
Programmable Low Overhead, Run Length Limited and DC-Balanced Line Coding for High-Speed Serial Data Transmission. (Encodage de données programmable et à faible surcoût, limité en disparité et en nombre de bits identiques consécutifs)
Modélisation d'environnements urbains virtuels. (Virtual urban environments modeling)
Génération automatique de test pour les contrôleurs logiques programmables synchrones. (Automated test generation for logical programmable synchronous controllers)
Dynamic Synthesis of Mediators in Ubiquitous Environments. (Synthèse dynamique de médiateurs dans les environnements ubiquitaires)
Etude et définition de mécanismes sémantiques dans les environnements virtuels pour améliorer la crédibilité comportementale des agents : utilisation d'ontologies de services. (Study and definition of semantic mechanisms in virtual environments to improve behavioral credibility of agents : use an ontology of services)
Continuity in Type Theory. (Continuité en théorie des types)
Mezzo: a typed language for safe effectful concurrent programs. (Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets)
Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique. (Automatic test generation for numerical software in the context of aircraft certification)
Conception d'un système d'exploitation supportant nativement les architectures multiprocesseurs hétérogènes à mémoire partagée. (Design of an operating system with native support for shared memory heterogeneous multiprocessor platforms)
Contributions to indexing and retrieval using Formal Concept Analysis. (Contributions à l'indexation et à la recherche d'information avec l'analyse formelle de concepts)
Les Triggers Inter-langues pour la Traduction Automatique Statistique. (Inter-lingual Triggers for Statistical Machine Translation)
MIME : Méthode d'Ingénierie de Méthodes par Evolution. (MIME : An Approach for Evolution Driven Method Engineering)
Model Typing (Typage de Modèles)
Conception et réalisation d'un consultant basé sur le contexte : application en histopathologie pour la gradation du cancer du sein. (Design and implementation of a context-based consultant : application on histopathology for breast cancer gradation)
Sécurité des systèmes biométriques : révocabilité et protection de la vie privée. (Security of biometric systems: revocability and private life protection)
A graph based end to end defect prediction framework. (Le logiciel de prédiction des défauts logiciels basé sur les graphes)
Veille épidémiologique multilingue : une approche parcimonieuse au grain caractèrefondée sur le genre textuel. (Multilingual epidemic surveillance : a parsimonious caracter-based approach)
Transition vers une usine 4.0 grâce à l'utilisation d'outils d'aide à la décision dans le secteur textile. (Transition to a 4.0 Industry through the use of decision support tools in textile in the textile field)
Protocol-Based Debugging for Domain-Specific Languages. (Débogage pour langages dédiés basé sur les protocoles)
Analytical and numerical studies of thalamo-cortical neural populationmodels during general anesthesia. (Modelisation mathematique et simulation numerique de populations neuronales thalamo-corticales dans le contexte de l'anesthesie generale)
Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes)
Calculs de plaques fissurées en flexion avec la méthode des éléments finis étendue (XFEM). (Cracked plates in bending computations with the extended finite element method (XFEM))
Ecovip : espace de Communication Visiophonique pour personnes Agees - conception, realisation et Evaluation participatives. (Ecovip : Communication Space Visiophonic for Elderly People - Participative Design, Development and Assessment)
Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques)