yusuke1997/dblp-id-title huggingface dataset:
Attacking the brain with neuroscience : mean-field theory, finite size effects and encoding capability of stochastic neural networks. (Traiter le cerveau avec les neurosciences : théorie de champ-moyen, effets de taille finie et capacité de codage des réseaux de neurones stochastiques)
Une méthodologie de modélisation par processus multiples et incrémentiels : application pour l'évaluation des performances de la Supply Chain. (A modelling methodology by multiple and incremental processes: application for supply chain performance evaluation)
Kinematics and statics of cable-driven parallel robots by interval-analysis-based methods. (Modélisations géométrique et statique des robots parallèles à câbles avec des méthodes d'analyse par intervalles)
Optimisation des requêtes skyline multidimensionnelles. (Optimization of multidimensional skyline queries)
Connections, changes, and cubes : unfolding dynamic networks for visual exploration. (Connexions, changement et cubes : déplier les réseaux dynamiques pour l'exploration visuelle)
Fusion d'informations et segmentation d'images basées sur la théorie des fonctions de croyance : Application à l'imagerie médicale TEP multi-traceurs. (Information fusion and image segmentation based on belief function theory: Application to multi-tracer PET medical imaging)
Optimization-based inverse model of soft robots, with contact handling. (Modèle inverse des robots souples basé sur l'optimisation, avec gestion des contacts)
Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios
Semidefinite Programming. Methods and algorithms for energy management. (Programmation semi-définie positive. Méthodes et algorithmes pour le management d'énergie)
Interpolation approximations for steady-state performance measures. (Interpolation des mesures de performance à l'état stationnaire)
Solving zero-dimensional structured polynomial systems. (Résolution de systèmes polynomiaux structurés de dimension zéro)
Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués. (Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems)
Aide à la décision multi-critère pour la gestion des risques dans le domaine financier. (Multi-criteria decision support for financial risk)
An Ontology Framework for Formal Libraries: Doctoral Thesis at the University Pris-Saclay. (Conception et Implémentation d'un Environnement d'Ontologie pour des Bibliothèques Formelles)
Controllable shape synthesis for digital fabrication. (Synthèse de formes contrôlable pour la fabrication digitale)
Optimization and simulation of a cross-docking terminal. (Optimisation et simulation d'une plate-forme gérée en cross-dock)
Bonnes démonstrations en déduction modulo. (Good proofs in deduction modulo)
« La blockchain au regard du droit et de l'identité ». (« Blockchain in the context of law and identity »)
Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms)
Formal Methods for Quantum Programming Languages. (Méthodes Formelles pour les Langages de Programmation Quantiques)
Cooperative POMDPs for human-Robot joint activities. (Modèles décisionnels pour la coopération homme-robot dans les activités jointes)
Computation with Partial Information : An Algorithmic Investigation of Graph Problems in Distributed Computing and Streaming. (Calcul avec Information Partielle : Une Étude Algorithmique de Problèmes de Graphes en Distribué et en Streaming)
Modélisation des formes volumiques complexes par des volumes quadriques. Application à la représentation de l'espace poral du sol à partir des images tomographiques 3D. (Modeling of complex volume shapes using quadric volumes. Application to the porous media representation obtained from 3D CT images)
Semi Supervised Active Learning with Explicit Mislabel Modeling: An Application to Material Design. (Apprentissage Actif semi-supervisé avec la Modélisation Explicite de Mislabel : Application à la Conception de Matériaux)
Visualisation Immersive et Interactive de Données 3D Temporelles. (Immersive and Interactive Visualization of Temporal 3D Data)
Contribution à la gestion des données géographiques : Modélisation et interrogation par croquis. (Contribution to the management of geographic data: Modeling and query by sketch)
Architectures et fonctions avancées pour le déploiement progressif de réseaux orientés contenus. (Architectures and advanced functions for a progressive deployment of Information-Centric Networking)
Vers un système de vision auto-adaptatif à base de systèmes multi-agents. (Toward self-adaptive vision system based on multi-agents systems)
Évaluation de système biométrique. (Evaluation of Biometric Systems)
Scalable and Flexible Density Estimation for Complex Data Distributions. (Estimation de Densité Flexible et Efficace pour lesDistributions des Données Complexes)
Interactive Program Restructuring. (Restructuration interactive des programmes)
Conception de réseaux haut débit sous contrainte de sécurisation. (Design of broadband networks with survivability constraints)
Réseaux de jeux : une extension de la théorie des jeux pour la modélisation des interactions locales : application aux réseaux de régulation génétique. (Game networks. An extension of game theory to model local interactions. Application to gene regulatory networks)
Modèles neuronaux pour la représentation et l'appariement d'objets géotextuels. (Neural models for the representation and matching of geotextual objects)
Vers une intégration des comportements communautaires dans les réseaux mobiles. (Towards social behaviors integration in mobile networks)
Apprentissage de représentation différenciées dans des modèles d'apprentissage profond : détection de classes inconnues et interprétabilité. (Differentiated representation learning in deep learning models : detection of unknown classes and interpretability)
Définition et évaluation de modèles d'agrégation pour l'estimation de la pertinence multidimensionnelle en recherche d'information. (Definition and evaluation of aggregation models for multidimensional relevance estimation in information retrieval)
On Barriers in Constrained Nonlinear Systems with an Application to Hybrid Systems. (Sur les barrières des systèmes non linéaires sous contraintes avec une application aux systèmes hybrides)
Bases de données cliniques et systèmes experts : méthodologie d'extraction de la connaissance
Analyse du flot de données pour la construction du graphe de flot de contrôle des codes obfusqués. (Data flow analysis to build control flow graph of obfuscated codes)
Méthodes de sélection de voisinage et de prévision à court-terme pour l'analyse du trafic urbain. (Neighborhood selection and short-term forecasting methods for urban traffic analysis)
Toward collaborative and contextualized online instrumentation in pervasive and ubiquitous environments. (Vers une instrumentation collaborative et contextualisée dans des environnements pervasifs et ubiquitaires)
Development of clustering algorithms for categorical data and applications in Health. (Dévelopement de nouveaux algorithmes de classification non-supervisée pour des données catégorielles et applications en santé)
ICTT@Lab: un environnement informatique pour la génération et l'exécution de scénarios de téléTP. (ICTT@Lab: a computerized environment for generation and running of remote laboratory scenarios)
Paramétrisation et optimisation sans dérivées pour le problème de calage d'historique. (Parametrization and derivative free optimization for the history matching problem)
Suivi temps-réel d'objets 3D pour la réalité augmentée. (Real time tracking of 3D objects applied to enhanced reality)
Probabilistic Models of Partial Order Enforcement in Distributed Systems. (Modèles probabilistes d'ordonnancement partiel pour les systèmes distribués)
Self-adaptation for Internet of Things applications. (Auto-adaptation pour les applications de l'Internet des Objets)
Vulnerability Management for Safe Configurations in Autonomic Networks and Systems. (Gestion des Vulnérabilités dans les Réseaux et Systèmes Autonomes)
Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time)
Contribution a la SPéCification des SystèMES temps RéELS : L'approche UML/Pno. (Towards the analysis of real-time systems: the UML/PNO approach)
Formal Proofs in Applied Mathematics : A Coq Formalization of Simplicial Lagrange Finite Elements. (Preuves formelles en mathématiques appliquées : formalisation en Coq des éléments finis de Lagrange simpliciaux)
Une approche pour l'ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs: application à la prochaine génération de cockpit d'aéronefs. (Engeeniring multimodal and multiuser critical interactive systems: application to the next aircrafts cockpits generation)
Fundamental Limits and Algorithms in Decentralized and Cooperative Wireless Networks. (Limites fondamentales et algorithmes dans des réseaux sans-fils décentralisés et coopératifs)
Automatic recognition and generation of French Cued Speech using deep learning. (Reconnaissance et génération automatique de Langue française Parlée Complétée utilisant l'apprentissage profond)
Aspects ergodiques et algébriques des automates cellulaires. (Ergodic and algebraic aspects of cellular automata)
Human-Machine Dialogue in the Medical Field. Using Dialog to Collect Important Patient Information. (Dialogue homme-machine dans le domaine médical. Utilisation de Dialog pour collecter des informations importantes sur le patient)
Simulations des grandes éChelles de haute PRéCision d'éCoulements autour de geometries complexes : Application a un modele de Vehicule Automobile. (High Order Large Eddy Simulations of the flow over Complex Geometries: Application of the flow over an automotive vehicle)
On the Links between Probabilistic Graphical Models and Submodular Optimisation. (Liens entre modèles graphiques probabilistes et optimisation sous-modulaire)
Amélioration et personnalisation de l'expérience d'apprentissage sur la base d'une modélisation de l'apprenant prenant en compte l'autorégulation, la collaboration (recommandation, contribution) et l'évaluation. (Enhancement and personalization of the learning experience based on learner modeling, taking into account self-regulation, collaboration (recommendation, contribution) and evaluation)
Designing Optimized parallel interleaver architecture for Turbo and LDPC decoders. (Conception d'architectures d'entrelaceurs parallèles pour les décodeurs de Turbo-Codes et de LDPC)
Modélisation Multi-échelle de l'infiltration chimique à partir de la phase vapeur de composites à renforts fibreux
Réalité augmentée et intelligence artificielle pour une chirurgie hépatique guidée par échographie intravascularie. (AI-enabled IVUS-guided augmented reality for liver surgery)
Etude de la confusion des descripteurs locaux de points d'intérêt : application à la mise en correspondance d'images de documents. (Study of keypoints and local features confusion : document images matching scenario)
Integrity, authentication and confidentiality in public-key cryptography. (Intégrité, authentification et confidentialité en cryptographie à clé publique)
Online machine learning methods for visual tracking. (Algorithmes d'apprentissage en ligne pour le suivi visuel)
Solving dense linear systems on accelerated multicore architectures. (Résoudre des systèmes linéaires denses sur des architectures composées de processeurs multicœurs et d'accélerateurs)
Smart River: Towards Efficient Cooperative Autonomous Inland Navigation. (Rivière intelligente: Vers une navigation fluviale efficace, autonome et coopérative)
Apprentissage profond et IA pour l'amélioration de la robustesse des techniques de localisation par vision artificielle. (Deep learning and AI for improving the robustness of machine vision localization techniques)
Contributions to modulation recognition for cooperative MIMO systems. (Contributions à la reconnaissance de modulation pour les systèmes MIMO coopératifs)
Human and network mobility management using mobile phone data. (Gestion de la mobilité urbaine et dans le réseau mobile à partir de données de téléphonie)
Network-wide intrusion detection through statistical analysis of event logs : an interaction-centric approach. (Détection d'intrusion dans un réseau informatique par l'analyse statistique de journaux d'événements : une approche centrée sur les interactions)
Apprentissage statistique des interactions entre forme et déformation cardiaques. (Statistical learning of interactions between cardiac shape and deformation)
Une approche hybride pour l'analyse syntaxique de la langue arabe. (A hybrid approach for parsing Arabic language)
Higher Structures in Homotopy Type Theory. (Structures supérieures en théorie des types homotopiques)
Spatial optimal perturbations for transient growth analysis in three-dimensional boundary layers. (Étude et modélisation du phénomène de croissance transitoire et de son lien avec la transition Bypass au sein des couches limites tridimensionnelles)
Statistical modeling of face morphology for dermatology and plastic surgery. (Modélisation statistique de la morphologie du visage pour la dermatologie et la chirurgie plastique)
Towards interoperable IOT systems with a constraint-aware semantic web of things. (Vers des systèmes IOT interopérables avec un réseau d'objets sémantique tenant compte des contraintes)
Exploitation de la supervision faible pour l'analyse des vidéos. (Leveraging weak supervision for video understanding)
Coupled methods of nonlinear estimation and control applicable to terrain-aided navigation. (Méthodes couplées de contrôle et d'estimation non linéaires adaptées à la navigation par corrélation de terrain)
Melodic and Descriptor Patterns : A Computational Approach for Digitisation, Annotation, and Analysis of Slovenian Folk Song Ballads. (Motifs mélodiques et contextuels : une modélisation informatique pour la digitalisation, l'annotation et l'analyse de chansons narratives Slovéniennes)
Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire. (Influence of transient faults and real-time performances on X-by-Wire systems safety)
Hate speech and offensive language detection using transfer learning approaches. (Détection du discours de haine et du langage offensant utilisant des approches de Transfer Learning)
Extension optimale des algorithmes de démosaïquage d'images multispectrales pour la mise en place d'un système d'acquisition vidéo caméra one-shot. (Optimal extension of multispectral image demosaicking algorithms for setting up a one-shot camera video acquisition system)
Conception des filtres numériques et analyse des erreurs résultant de leur réalisation en arithmétique fixe
On the Computational Power of Simple Dynamics. (Sur la puissance de calcul de le dynamiques simples)
Apprentissage de représentations latentes pour l'estimation de maillage humain. (Learned Latent Representations for Human Mesh Recovery)
Geometric Simplification for Radiative Thermal Simulation of satellites. (Simplification Géométrique pour la Simulation Thermique Radiative de satellites)
Generating and Simplifying Sentences. (Génération et Simplification de Phrases)
Gestion dynamique d'une architecture cellulaire massivement parallèle. (Dynamic management of a massively parallel architecture)
Introduction de la norme LP pour la prise en compte de propriétés de parcimonie en assimilation de données. (Introduction of the LP-norm for the regularization in data assimilation)
La programmation orientée service vue de l'utilisateur final. (Service-oriented computing from the user perspective)
Hybrid Home Networks Links Quality Supervision. (Supervision de la qualité des liens d'un réseau local domestique hybride)
Reconnaissance de codes correcteurs d'erreurs. (Recognition of error correcting codes)
Exploration, navigation et visualisation des réseaux multi-couches à travers les sciences humaines et sociales. (Exploration, navigation and visualisation of multilayers networks through human and social science)
Parameter estimation and performance analysis of several network applications. (Estimation de paramètres et analyse des performances de diverses applications réseaux)
Benders decomposition for the real-time Railway Traffic Management Problem. (Décomposition de Benders pour la gestion opérationnelle du trafic ferroviaire)
Analyse des sentiments dans les conversations humain-agent Vers un modèle des goûts de l'utilisateur. (Sentiment analysis in human-agent conversations. Modelling the user's likes and dislikes)
Méthodologie d'optimisation de programmes pour architectures complexes de processeurs. (Program optimization methodology for complex processor architectures)
L'attaque déni de service dans les réseaux sans fil. (Denial of service attack in wireless network)
Collaborative theory construction: towards a conversational abstract machine. (Construction collaborative de théorie : vers une machine abstraite conversationnelle)
Improving memory consumption and performance scalability of HPC applications with multi-threaded network communications. (Amélioration de la consommation mémoire et de l'extensibilité des performances des applications HPC par le multi-threading des communications réseaux)
Modèles probabilistes pour les fréquences de mots et la recherche d'information. (Probabilistic Models of Document Collections)
Simulation numérique de la fragmentation des granulats. (Numerical simulation of the fragmentation of aggregates)
Analysis and design of space-time block codes for coded MIMO transmissions. (Analyse et conception de code espace-temps en blocs pour transmissions MIMO codées)
Implicit Complexity in Concurrent Lambda-Calculi. (Complexité Implicite de Lambda-Calculs Concurrents)
New models and algorithms for the identification of sncRNA-(snc)RNAinteractions intra and across-species/kingdoms. (Nouveaux modèles et algorithmes pour l'identification des interactions petitARNs-(petit)ARNs intra et inter-espèces/royaumes)
Bridging the Gap between Radiology and Biology with Deep Learning in Head and Neck Cancer. (Combler l'écart entre radiologie et biologie par apprentissage profond pour les cancers ORL)
Access Control Models for Collaborative Applications. (Modèles de contrôle d'accès pour les applications collaboratives)
Développement d'algorithmes de métrologie dédiés à la caractérisation de nano-objets à partir d'informations hétérogènes. (Development of nano-object characterization algorithms from heterogeneous data)
Compilation et vérification de programmes LOTOS
Mise en œuvre de cryptosystèmes basés sur les codes correcteurs d'erreurs et de leurs cryptanalyses. (Code-based cryptosystems and cryptanalysis implementation)
Contributions to parallel stochastic simulation: Application of good software engineering practices to the distribution of pseudorandom streams in hybrid Monte-Carlo simulations. (Contributions à la simulation stochastique parallèle: architectures logicielles pour la distribution de flux pseudo-aléatoires dans les simulations Monte Carlo sur CPU/GPU)
Isomorphisme Inexact de Graphes par Optimisation Évolutionnaire. (Evolutionary Optimisation for Inexact Graph Isomorphism)
Optimisation biotechnique de la pisciculture en étang dans le cadre du développement durable des Exploitations Familiales Agricoles au Cameroun
L'hôpital au service du malade : transfert des concepts, des méthodes, des outils de la gestion de la production
Security characterization of SDN virtual network migration : formal approach and resource optimization. (Caractérisation de la sécurité de la migration de réseaux virtuels SDN : approche formelle et optimisation des ressources)
Coloration de graphes : structures et algorithmes. (Coloring graphs : structures and algorithms)
Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel
Dimensionnement d'un actionneur pour organe de pilotage à entraînement direct avec redondance passive magnétique. (Design of an active flight control direct drive actuator with a passive magnetic redundancy)
On design concept for full-duplex based flexible radio transceivers. (Conception d'une architecture pour Full-Duplex basée sur les émetteurs-récepteurs radio)
Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses. (Vers une Génération Efficace d'Analyses de Sûreté de Fonctionnement dans le Cadre du Déploiement de l'ISO 26262)
Segmentation methods for deforming meshes and its application to similarity measurement. (Segmentation de maillages dynamiques et son application pour le calcul de similarité)
Modèles déformables 2-D et 3-D : application à la segmentation d'images médicales. (2-D and 3-D deformable models: application to the segmentation of medical images)
Assisted authoring for avoiding inadequate claims in scientific reporting. (Rédaction assistée pour éviter les affirmations inappropriées dans la rédaction scientifique)
Les pratiques de code: de la documentation à la détection. (Coding practices: from documentation to detection)
Combining Granularity-based Topic-Dependent and Topic-Independent Evidences for Opinion Detection
Modélisation électromagnétique in virtuo. Application aux problèmes de propagation en milieux complexes pour les systèmes de télécommunication. (Electromagnetic modeling in virtuo. Application to wave propagation prediction in complex environments for telecommunication systems)
Utilisation des schématisations de termes en déduction automatique. (Using term schematisations in automated deduction)
Machine Learning Anomaly Detection Applications to Compact Muon Solenoid Data Quality Monitoring. (Apprentissage pour la détection d'anomalies, avec application au contrôle de qualité d'acquisition de données de l'expérience Compact Muon Solenoid)
Optimization of High Data Rate Ground to Satellite Links Pre-compensated by Adaptive Optics. (Optimisation des liens télécom sol-GEO haut débit à l'aide de stratégies optiques et numériques)
Antelope, une plate-forme de TAL permettant d'extraire les sens du texte : théorie et applications de l'interface syntaxe-sémantique. (Antelope, a NLP platform for extracting meaning from text: theory and applications of the syntax-semantics interface)
Théorie des matrices aléatoires pour l'imagerie hyperspectrale. (Random Matrix Theory for Hyperspectral Imaging)
Contribution à l'étude des algorithmes de l'optimisation non convexe et non différentiable. (Contribution to the study of nonconvexe and nondifferentiable optimization algorithms)
Real-time detection of Advanced Persistent Threats using Information Flow Tracking and Hidden Markov Models. (Détection temps réel de Menaces Persistantes Avancées par Suivi de Flux d'Information et Modèles de Markov Cachés)
Traitements interactifs d'images radiologiques et leurs applications cliniques
Contribution à l'évaluation des systèmes d'Information personnalisés: Application au transport collectif de personnes. (Contribution to personalized information system evaluation: Application to collective transportation systems)
Performance assessment and decision-making tools for the development of eco-industrial and tertiary parks: Applications in the French and Quebecois context. (Modèle d'évaluation de la performance et d'aide à la décision pour le développement des écoparcs d'activité. Application aux contextes français et québécois)
Synthèse d'un contrôleur prédictif auto adaptatif réglé par réseau de neurones artificiels. (Elaboration of auto adaptive MPC controller based on Artificial Neural Network)
Classification du trafic et optimisation des règles de filtrage pour la détection d'intrusions
Robot Behavior Generation and Human Behavior Understanding in Natural Human-Robot Interaction. (Génération du Comportement du Robot et Compréhension du Comportement Humain dans L'interaction Naturelle Humain-Robot)
Ré-éclairage et remodélisation interactifs des scènes réelles pour la réalité augmentée. (Interactive Relighting and Remodelling of Real Scenes for Augmented Reality)