yusuke1997/dblp-id-title huggingface dataset:
Fault Tolerance in Hardware Spiking Neural Networks. (Tolérance aux Fautes dans les Implémentation Matérielle des Réseaux de Neurones à Impulsions)
Point de vue ontologique de fonds documentaires territorialisés indexés. (Ontological point of view of collections of documents indexed by experts)
Anomaly detection technique for sequential data. (Technique de détection d'anomalies utilisant des données séquentielles)
Contributions des architectures textuelles à l'accessibilité non-visuelle des documents numériques. (Contributions of textual architectures to the non-visual accessibility of digital documents)
Architectural exploration and performance analysis of Vertically-Partially-Connected Mesh-based 3D-NoC. (Exploration architecturale et étude des performances des réseaux sur puce 3D partiellement connectés verticalement)
Semantics of linear logic and higher-order model-checking. (Sémantique de la logique linéaire et "model-checking" d'ordre supérieur)
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables. (Decentralized and on-line diagnosis of reconfigurable discrete-event systems)
Malleable privacy-enhancing-technologies for privacy-preserving identity management systems. (Des technologies malléables préservant la vie privée pour des systèmes de gestion des identités respectueux de la vie privée)
Modélisation des architectures logicielles dynamiques : application à la gestion de la qualité de service des applications à base de services web
Contribution des Sciences Sociales dans le domaine de l'Intelligence Artificielle Distribuée : ALONE, un modèle hybride d'agent apprenant. (Contribution of Social Sciences in Distributed Artificial Intelligence : ALONE, an hybrid model of a learning agent)
Optimisation du maillage de la veille sur radar à balayage électronique à panneau fixe. (Optimization of search patterns for fixed-panel tridimensional scanning radars)
Combinatoire des droites et segments pour la visibilité 3D. (Combinatorics of lines and segments for 3D visibility)
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle. (Parallelism, load balancing and scalability in BigData computing)
Contribution aux tests de vacuité pour le model checking explicite. (Contribution to emptiness checks for explicit model checking)
Modélisation mathématique et simulation du trafic routier : analyse statistique de modèles d'insertion et simulation probabiliste d'un modèle cinétique. (Mathematical modelling and simulation of the road traffic : statistical analysis of merging models and probabilistic simulation of a kinetic model)
Exploration de stratégies de commande visuelle prédictive pour le contrôle des mouvements d'un manipulateur mobile. (Visual predictive strategies to control a mobile manipulator)
Extended Bag-Of-Words Formalism For Image Classification
Computing multimodal journeys: A distributed approach. (Calcul d'itinéraire multimodal: une approche distribuée)
Verification and validation of healthcare access control policies. (Vérification et validation de politiques de contrôle d'accès dans le domaine médical)
Squelettisation en un balayage. Application à la caractérisation osseuse
End-to-end security architecture for cloud computing environments. (Architecture de sécurité de bout en bout et mécanismes d'autoprotection pour les environnements Cloud)
Approximation de flots géométriques : des méthodes de champ de phase aux réseaux de neurones. (Approximation of geometric flows : from phase field methods to neural networks)
Modélisation et démarche d'optimisation robuste sous incertitudes pour l'ingénierie mécanique. (Modelling and robust optimization framework under uncertainties for mechanical engineering)
Contribution à l'automatisation et à l'évaluation des architectures logicielles ouvertes. (Contribution to the automation and evaluation of open software architectures)
Lightweight serverless protocols for the internet of things. (Les protocoles de sécurité serverless légers pour l'internet des objets)
Étude de modèles de représentations, de requêtes et de raisonnement sur le fonctionnement des composants actifs pour l'interaction homme-machine
Data-Centric UML Profile based on the Model-Driven Architecture for the Internet of Things. (Profil UML centré sur les données et basé sur l'architecture pilotée par modèle pour l'Internet des Objets)
Vers une Protection dynamique et Intelligentedes données durant leur Cycle de vie. (Towards a Dynamic and Intelligent Data Protection throughout its Lifecycle)
Métrologie des réseaux sans-fil: A la frontière du signal et du numérique. (Metrology of wireless networks: At the signal and the digital frontier)
Addressing the Challenges of I/O Variability in Post-Petascale HPC Simulations. (Relever les défis de la variabilité des E/S dans les simulations HPC post-petaflopiques)
The statistical fate of genomic DNA: modelling match statistics in different evolutionary scenarios
Reconnaissance en ligne de caractères alphanumériques manuscrits
Méthodes hybrides de programmation par contraintes et programmation linéaire pour le problème d'ordonnancement de projet à contraintes de ressources. (Hybrid Constraint Programming-Integer Linear Programming approaches for the Resource-Constrained Project Scheduling Problem)
Human-guided exploration of datasets. (Exploration interactive de collections de données guidée par l'humain)
Contribution au développement des langages extensibles
Analyse relationnelle de concepts : une méthode polyvalente pour l'extraction de connaissance. (Relational concept analysis: a polyvalent tool for knowledge extraction)
Imagerie 3D du "tube entier" des tunnels navigables. (3D full-surveying of canal-tunnels)
Exploration et inférence du réseau de régulation de la transcription de la bactérie symbiotique intracellulaire à génome réduit Buchnera aphidicola
Non-linear feature extraction for object re-identification in cameras networks. (Extraction de descripteurs non linéaires pour la ré-identification d'objets dans un réseau de caméras)
Modélisation mécaniste multi-échelles de la propagation de Mycobacterium avium subsp. paratuberculosis pour évaluer des stratégies de maîtrise régionales
Adaptation de la métaheuristique des colonies de fourmis pour l'optimisation difficile en variables continues. Application en génie biologique et médical. (Adaptation of the ant colony metaheuristic to hard optimization with continuous variables. Application in biologic and medical engineering)
Automates infinis et traces de Mazurkiewicz. (Infinite automata and Mazurkiewicz traces)
Searching for Compact Hierarchical Structures in DNA by means of the Smallest Grammar Problem
Un cadre formel pour l'annotation experte des gènes eucaryotes. (A formal framework for integrating human expertise in eukaryotic gene annotation)
Maintien de la cohérence dans les systèmes d'information répartis
Secure data management in an IoT-Fog/Edge computing architecture. (Gestion sécurisée des données dans une architecture IoT-Fog / Edge computing)
Aerodynamic and thermal modelling of effusion cooling in LES. (Modélisation aérodynamique et thermique des plaques multiperforées en LES)
Assisting the design and integration of information systems into the context of the factory of the future through a coevolution-based approach. (Contribution à la conception et conduite des systèmes d'information dans un contexte d'usine du futur par une approche basée co-évolution)
Reactive control and sensor fusion for mobile manipulators in human robot interaction
Big-data historique: modélisation de stratégies d'analyse de collections de documents. (Historical big-data: modeling of document collection analysis strategies)
Qualitative analysis of synchronizing probabilistic systems. (Analyse qualitative des systèmes probabilistes synchronisants)
Study of Electroencephalographic Signal Processing and Classification Techniques towards the use of Brain-Computer Interfaces in Virtual Reality Applications
Mining recurrent patterns in a dynamic attributed Graph. : Application on aquaculture pond monitoring by satellite images. (Extraction des motifs récurrents dans un graphe dynamique attribué. : Application au suivi des bassins d' aquaculture en Indonésie)
Navigation visuelle de robots mobiles dans un environnement d'intérieur. (Visual navigation of mobile robots in indoor environments)
Calcul incrémental des groupes d'homologie d'un objet au cours d'un processus de construction. (Local computation of homology variations over a construction process)
Une approche hybride pour gérer la cohérence dans les environnements de développement coopératif. (A hygrid approach to maintain consistency of cooperative software development environments)
Reacting to "n-day" vulnerabilities in information systems. (Réagir aux vulnérabilités "n-day" dans les systèmes d'information)
Répartition spatiale en théorie des jeux évolutionnaires. (Spatial organizations in evolutionary game theory)
Similarity Search in High-dimensional Spaces with Applications to Time Series Data Mining and Information Retrieval
Résumé automatique multi-document dynamique. (Multi-document Update-summarization)
Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique. (Design and implementation of a declarative dynamic geometry system)
Interactions visio-haptiques pour la coordination et la conscience situationnelle partagée en environnement virtuel collaboratif. (Visio-haptic interactions for coordination and shared situation awareness in collaborative virtual environment)
Traitements correctifs des effets de décohérence acoustique induits par les fluctuations du milieu de propagation : algorithmes d'estimation bayésienne des directions d'arrivée en milieu fluctuant. (Variationnal bayesian methods for DOA estimation in a fluctuating medium)
Analyse des intercorrélations du champ d'onde sismique ambiant - Application à la tomographie de l'Ouest de la France. (Analysis of seismic ambient wavefield cross-correlations - Application to the tomography of western France)
Haplotype assembly from long reads. (Assemblage d'haplotypes à partir de lectures longues)
Conception d'une ontologie de stockage et de restitution de la donnee pour l'optimisation des systemes d'information. (Design of a Data Storage and Retrieval Ontology for optimising Information Systems)
Simulation numérique et assimilation de données variationnelle pour la dispersion atmosphérique de polluants. (Numerical simulation and variational data assimilation for atmospheric dispersion of polluants)
Network coding for quality of service in wireless multi-hop networks. (Codage réseau pour la qualité de service dans les réseaux sans fil multi-sauts)
Cryptographie fondée sur les codes : nouvelles approches pour constructions et preuves ; contribution en cryptanalyse. (Code-based Cryptography: New Approaches for Design and Proof ; Contribution to Cryptanalysis)
AI based fatigue assessment system for athletes using smart textile wearables. (Système d'évaluation de la fatigue basé sur l'IA pour les athlètes utilisant des vêtements intelligents)
Désambiguïsation Morphologique de Textes Arabes à Base de Classification Possibiliste pour la Recherche d'Information Socio-Sémantique. (Morphological Disambiguation of Arabic Texts Based on Possibilistic Classification for Socio-Semantic Information Retrieval)
Etudes et évaluations d'architectures de pré-synthétiseurs d'images réalistes : HELIOS / GETRIS. (Architecture behaviour for realistic image pre-synthesis operators)
Analyse des incertitudes dans les flux du trafic aérien. (Analysis of uncertainties in air-traffic flow)
Advanced dMRI Signal Modeling for Tissue Microstructure Characterization. (Modélisation Avancée du Signal dMRI pour la Caractérisation de la Microstructure Tissulaire)
Communications Bluetooth pour les Systèmes de Transport Intelligents Coopératifs. (Bluetooth Communications for Cooperative Intelligent Transport Systems)
Improving Hardware-in-the-loop Dynamic Security Testing For Linux-based Embedded Devices. (Amélioration des tests de sécurité dynamiques "Hardware-in-the-Loop" pour les dispositifs embarqués basés sur Linux)
Sélection de modèle par chemin de régularisation pour les machines à vecteurs support à coût quadratique. (Model selection using regularization path for quadratic cost support vector machines)
Optimisation de routage dans les réseaux véhiculaires par la prédiction de rupture de lien. (Optimization of routing in vehicular networks by link break prediction link break prediction)
Models and Methods for the Integrated Scheduling Routing Problem Applied to Major Disasters. (Modèles et méthodes pour le problème intégré de planification et tournées appliqué aux catastrophes majeures)
Estimateurs adaptatifs avec parcimonie structurée. (Adaptive estimators with structured sparsityAdaptive estimators with structured sparsity : Adaptive estimators with structured sparsity)
Méthodes conjointes de détection et suivi basé-modèle de cibles distribuées par filtrage non-linéaire dans les données lidar à balayage. (Joint detection and model-based tracking methods of extended targets in scanning laser rangefinder data using non-linear filtering techniques)
Parking management system in a dynamic and multi-objective environment. (Système de gestion du stationnement dans un environnement dynamique et multi-objectifs)
Codes Structurés pour la Cryptographie: des Fondations Théoriques de la Sécurité aux Applications. (Structured Codes for Cryptography: from Source of Hardness to Applications)
Green metrics to improve sustainable networking. (Métriques environnementales pour des réseaux de communication plus écoresponsables)
Personalized top-k processing: from centralized to decentralized systems. (Traitement personnalisé de requête top-k: des systèmes centralisés aux systèmes décentralisés)
Recurrent Neural Networks models: inference, representations, and the role of regularization. (Réseaux de neurones récurrents : inférence, représentations et rôle de la régularisation)
Trajectory-based Verification and Controller Synthesis for Continuous and Hybrid Systems. (Trajectoires pour la Vérification et la Commande de Systèmes Dynamiques Continus et Hybrides)
Asynchronous Optimization for Machine Learning. (Optimisation asynchrone pour l'apprentissage statistique)
Modélisation Fluide de Réseaux. (Fluid Modeling for Network Dynamics)
Scaling up Multi-agent Reinforcement Learning with Mean Field Games and Vice-versa. (Mise à l'échelle de l'apprentissage par renforcement multi-agent grâce aux jeux à champ moyen et vice-versa)
Enterprise context-aware policy solutions for prioritizing service requests and mitigating risk in communications. (Solution d'entreprise de politiques context-aware pour la prioritisation des requêtes)
Analysis of 3D objects at multiple scales: application to shape matching. (Analyse des objets 3D a plusieurs échelles: application à l'assemblage de formes)
Compression d'images satellite par post-transformées dans le domaine ondelettes. (Satellite image compression by post-transforms in the wavelet domain)
Placement et routage de circuits mixtes analogiques-numériques CMOS. (Place and route for mixed signal CMOS circuit)
Conception interactive d'environnements urbains durables à base de résolution de contraintes. (Interactive design of sustainable cities with constraints solving)
Contribution à l'analyse statistique des mesures en chambre réverbérante à brassage de modes. Applications à la détermination de l'efficacité de brassage et de l'incertitude de mesure dans un contexte CEM et radiofréquences. (Contribution to the statistical analysis of measurements data in mode-stirred reverberation chamber. Applications for the evaluation of stirring efficiency and measurements uncertainty in the context of radiofrequencies and EMC)
A Methodology to Develop High Performance Applications on GPGPU Architectures: Application to Simulation of Electrical Machines. (Une Méthodologie pour le Développement d'Applications Hautes Performances sur des Architectures GPGPU: Application à la Simulation des Machines Éléctriques)
Evaluation of the impact of Loose-mix and sequential feeding using locally available feed ingredients on performance in layer hen
Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Optimisation de la planification des tournées de véhicules électriques. (Optimisation of electric vehicle route planning)
Risk management in supply chains: A simulation and model-based approach. (Maîtrise des risques dans les chaines logistiques: Une approche par la modélisation et l'ingénierie basée sur les modèles)
Outil d'aide à la décision dans le pilotage de plateforme logistique hospitalière : Mise en place d'un module de préconisation de commandes. (Improvement of the inventory management module implemented in a pharmaceutical warehouse management system)
Ad hoc and general-purpose corpus construction from web sources. (Construction de corpus généraux et spécialisés à partir du Web)
Wideband and flat multibeam antenna solutions for ultrafast communications in millimeter band. (Solutions d'antennes multifaisceaux à large bande pour communications haut débit en bande millimétrique)
Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents)
Intégration sphérique Bayésien et Quasi-Monte Carlo pour l'illumination globaleBayesian and Quasi-Monte Carlo spherical integration for global illumination
Towards an experimental evaluation of a naive approach to perception : investigating the sensorimotor contingencies in the environment. (Vers une évaluation expérimentale d'une approche naïve de la perception : étude des contingences sensorimotrices dans l'environnement)
Application de la théorie des jeux au partage les ressources d'un réseau de file d'attente. (Application of game theory to share resources of queuing network)
Analyse automatique de l'écriture manuscrite sur tablette pour la détection et le suivi thérapeutique de personnes présentant des pathologies. (Automatic handwriting analysis for pathology detection and follow-up on digital tablets)
Simulations numériques du transport et du mélange de mucus bronchique par battement ciliaire métachronal. (Numerical simulations of the transport and mixing of bronchial mucus by metachronal cilia waves)
Metabolic Investigation of the Mycoplasmas from the Swine Respiratory Tract. (Investigation métabolique des mycoplasmes dans le tractus respiratoire des cochons)
Trace Zero Varieties in Cryptography: Optimal Representation and Index Calculus. (Variétés de trace zero en cryptographie : représentation efficace et calcul d'indices)
Optimization of the Rate-Distortion Compromise for Stereoscopic Image Coding using Joint Entropy-Distortion Metric. (Optimisation du compromis débit-distorsion pour le codage d'images stéréoscopiques utilisant une métrique conjointe entropie-distortion)
Intégration de connaissances linguistiques pour la reconnaissance de textes manuscrits en-ligne. (Integration of linguistic knowledge for the recognition of on-line handwritten texts)
Improving the energy efficiency of signal processing and machine learning algorithms using unreliable memories. (Amélioration de l'efficacité énergétique d'algorithmes de traitement de signal et d'apprentissage automatique à l'aide de mémoires non fiables)
Enhanced deep neural networks for early diagnosis of knee osteoarthritis. (Réseaux de neurones profonds améliorés pour le diagnostic précoce de la gonarthrose)
Terminaison en temps moyen fini de systèmes de règles probabilistes. (Termination within a finite mean time of probabilistic rules based systems)
Robots reconfigurables : Étude de la convergence dans le problème du déplacement vers un but. (Reconfigurable robots : study of convergence in the problem of displacement towards a goal)
Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents. (Middleware Support for Adaptive, Reliable Conception and Deployment, Application to Building Automation)
Evaluation de situations dynamiques multicibles par fusion de données spatio-temporelles. (Multi-target situation assessment by data fusion of spatial-temporal data)
Développement d'une méthode de suivi d'interface. Applications aux écoulements diphasiques. (Development of interface tracking method. Two-phase flows applications)
Approche computationnelle de l'orchestration musciale - Optimisation multicritère sous contraintes de combinaisons instrumentales dans de grandes banques de sons. (Computational Approach of Musical Orchestration - Constrained Multiobjective Optimization in Large Sound Sample Databases)
Improving Trust in Fact-Checking Systems with Synthetic Training Data and Explanations. (Vérification informatique des faits et détection de la désinformation)
Reconstruction de surfaces tridimensionnelles en vision par ordinateur. (Three dimensional surfaces reconstruction in computer vision)
Safe Design Method of COTS based embedded systems based on COTS. (Conception sûre de Systèmes embarqués à Base de COTS)
The domain name system: a tool and a target for internet-wide measurements. (Le système de noms de domaine: un outil et une cible pour les mesures à l'échelle d'internet)
The Reliability Assessment and Optimization of Arbitrary-State Monotone Systems under Epistemic Uncertainty. (L'évaluation et L'optimisation De La Fiabilité Des Systèmes Monotones et à Etat arbitraire Sous Incertitude Épistémique)
Analyse de l'activité de soignants médicaux et paramédicaux sur simulateur haute-fidélité lors de simulations d'urgence, en vue de la conception d'un environnement de soins ergonomique. (Activity analysis of medical and paramedical caregivers on a high-fidelity simulator during emergency simulations in order to design an ergonomic care environment)
Dialogue humain machine pour l'aide à la décision médicale. (Human computer dialogue for medical decision support)
Les limites d'application d'un principe de contrôle perceptivo-moteur. (The limitations of the application of a principle of perceptual-motor control)
Model-based Management of Information System Security Risk
Estimation du risque de mort subite par arrêt cardiaque a l'aide de méthodes d'apprentissage artificiel. (Risk stratification for sudden cardiac death based on machine learning)
Recherche de chemins multiobjectifs pour la conception et la réalisation d'une centrale de mobilité destinée aux cyclistes
Méthodes numériques pour l'étude de la dynamique des phénomènes critiques : application aux verres de spins
Télétravail Robotisé et Réalité Augmentée : Application à la Téléopération via Internet. (Robotised Telework and Augmented Reality : Application to Teleoperation via Internet)
Detection of Freezing of Gait in Parkinson's disease. (Détection du rique de chute chez les malades atteints de Parkinson)
Calcul neuromorphique pour l'exploration et la catégorisation robuste d'environnement visuel et multimodal dans les systèmes embarqués. (Neuromorphic computing for robust exploration and categorization of visual and multimodal environments in embedded systems)
Optimization of the Prediction of Complete Response to Neoadjuvant Chemotherapy in Breast Cancer by Breast MRI : Contributions of Semantic Descriptors, Radiomics, and Segmentation Methods. (Optimisation de la prédiction de la réponse complète à la chimiothérapie néoadjuvante des cancers du sein par IRM mammaire : apports des descripteurs sémantiques, radiomiques, et des méthodes de segmentation)
Steps towards end-to-end neural speaker diarization. (Étapes vers un système neuronal de bout en bout pour la tâche de segmentation et de regroupement en locuteurs)
Super résolution de texture pour la reconstruction 3D fine. (Texture Super Resolution for 3D Reconstruction)
Deep learning for predictive simulation of gait and post-treatment functional benefit in neurological diseases. (Apprentissage profond pour la simulation prédictive de la marche et les bénéfices fonctionnels post-traitement dans les maladies neurologiques)
Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules. (Consolidation des solveurs SMT pour les assistants de preuve: preuves, simplification des quantificateurs, planification de stratégies)