yusuke1997/dblp-id-title huggingface dataset:
Reconstruction en tomographie dynamique par approche inverse sans compensation de mouvement. (Reconstruction in dynamic tomography by an inverse approach without motion compensation)
Recherche et identification automatiques des morphèmes en japonais
Un système multi-agent pour la composition logicielle opportuniste en environnement ambiant et dynamique. (A multi-agent system for opportunistic software composition in ambient and dynamic environment)
Incremental Algorithm for long range interactions. (Algorithmes incrémentaux pour le calcul des interactions longue portée)
Identification et caractérisation du thrombus veineux par imagerie échographique mode B couplée à l'élastographie. (Venous thrombus identification and characterization using ultrasonography and elastography)
Un système déclaratif de types pour PROLOG
Design of a Simulation Model of Multi-Agent Systems, and its Parallel Algorithmic and Implementation on Shared-Memory MIMD Computers: ParSSAP Model. (Conception d'un modèle de simulation de systèmes multi-agent, et de son algorithmique et implantation parallèle sur architectures MIMD à mémoire partagée : modèle ParSSAP)
Inférence des acteurs de la régulation des expressions géniques. (The Inference of Gene Expression Regulator actors)
Méthodologie de conception et d'utilisation d'algorithme d'intelligence artificielle à partir de données à caractère sensible : étude et application à la reconnaissance acoustique sous-marine. (A methodology for machine learning models training on confidential data)
Conception et analyse des biopuces à ADN en environnements parallèles et distribués. (Design and analysis of DNA microarrays in parallel and distributed environments)
Systèmes de types purs et substitutions explicites. (Pure type systems and explicit substitutions)
Contributions à l'analyse asymptotique des systèmes multi-antennes
Automatic methods for assisted recruitments. (Méthodes automatiques pour l'aide au recrutement)
Parallel heterogeneous Branch and Bound algorithms for multi-core and multi-GPU environments. (Algorithmes Branch and Bound parallèles hétérogènes pour environnements multi-coeurs et multi-GPU)
Design and Evaluation of Cloud Network Optimization Algorithms. (Optimisation des réseaux virtuels : conception et évaluation)
Compressive Cross-Language Text Summarization. (Résumé Translingue de Textes par Compression)
Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente. (Definition and exploration of formal properties of auto-organising software with emerging functionnalities)
Reconstruction de phase par modèles de signaux : application à la séparation de sources audio. (Phase recovery based on signal modeling: application to audio source separation)
Résistance à la coercition en vote électronique : conception et analyse. (Coercion-resistance in electronic voting : design and analysis)
Etude de la végétation à partir de nouveaux capteurs satellitaires radar. (A Vegetation Study using new Remote Sensing Radar Sensors)
Analyse de fonctions de hachage cryptographiques. (Analysis of cryptographic hash functions)
Construction d'un multi-modèle d'application répartie pour la détection d'intrusion. (Construction of a distributed application multi-model for intrusion detection)
Contribution to robust network optimization. (Contribution à l'optimisation robuste de réseaux)
Systèmes de files d'attente stratégiques avec information contrôlée. (Strategic queuing systems with controlled information)
Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels. (A Framework for the Optimization of Evolvable Component-based Embedded Systems)
Data Reduction based energy-efficient approaches for secure priority-based managed wireless video sensor networks. (Approches écoénergétiques basées sur la réduction des données pour les réseaux de capteurs vidéo sans fil)
Real-Time implementation of Quasi-Cyclic Short Packet Receiver. (Implémentation Temps-Réel d'un Récepteur Quasi Cyclic Short Packet)
Évaluation de l'efficacité de dégradation et de décontamination cutanée du CeO2 vis-à-vis d'un composé organophosphoré, le Paraoxon. (Evaluating the effectiveness of CeO2 for the degradation and skin decontamination of an organophosphorus pesticide, Paraoxon)
Human-Aware Optimization of Integrated Order Picking Decisions in Warehousing Logistics. (Optimisation Intégrée des Décisions de Logistique des Entrepôts avec Prise en Compte de Facteurs Humains)
Visualisations interactives pour l'aide personnalisée à l'interprétation d'ensembles documentaires. (Interactive visualizations for personalized help with the interpretation of documentary sets)
DNS as a Source of Trust and Information in the Modern Internet. (Le DNS comme Source de Confiance et d'Information pour l'Internet Moderne)
Cloudification and Slicing in 5G Radio Access Network. (Cloudification et découpage des réseaux d'accès radio de cinquième génération)
How do the metabolites, GTP and (p)ppGpp, simultaneously control the occurrence of translational errors and resource allocation in bacteria? (Comprendre comment les métabolites, GTP et (p)ppGpp, contrôlent simultanément l'apparition d'erreurs traductionnelles et l'allocation des ressources chez les bactéries)
Matchmaking multicritère basé sur une différence sémantique pour la logique de description EL. Application à la recommandation de documents en ligne dans le domaine de la métrologie. (Multi-criteria matchmaking based on a semantic difference with EL description logic. Application on document recommandation online in a metrology domain)
Probabilistic graphical model-based security for SCADA critical infrastructures. (Sécurité pour des infrastructures critiques SCADA fondée sur des modèles graphiques probabilistes)
Conception et développement d'un système d'e-santé intelligent et sécurisé basé sur le raisonnement probabiliste et la technologie blockchain. (Design and Development of an Intelligent and Secure E-Health System Based on Probabilistic Reasoning and Blockchain Technology)
Gestion dynamique des topologies sans fils
Top-k search over rich web content. (Recherche top-k pour le contenu du Web)
Optimal designs for decentralized transmission with asymmetric channel state information. (Conceptions optimales pour la transmission décentralisée avec information asymétrique sur l'état du canal)
Reconnaissance automatique de l'émotion à partir de signaux EEG. (Automatic recognition of emotion from EEG signals)
Resilient and energy-efficient scheduling algorithms at scale. (Algorithmes d'ordonnancement fiables et efficaces énergétiquement à l'échelle)
Contribution à la valorisation des données textuelles libres dans le secteur de la santé. (Contribution to data valuation free texts in the health sector)
Retroactive Transfer Phenomena in Alternating Interfaces. (Phénomènes de transfert rétroactif liés aux alternances entre interfaces utilisateur)
Bayesian M/EEG source localization with possible joint skull conductivity estimation. (Méthodes bayésiennes pour la localisation des sources M/EEG et estimation de la conductivité du crâne)
Dynamic Control and Optimization of Wireless Virtual Networks. (Contrôle et optimisation des réseaux virtuels sans fil)
Modeling and real-time rendering of participating media using the GPU. (Modélisation et rendu temps-réel de milieux participants à l'aide du GPU)
Random graph clustering for collaborative filtering. (Modèles de graphes aléatoires pour le filtrage collaboratif)
Chiffrement homomorphe appliqué au retrait d'information privé. (Homomorphic encryption applied to the withdrawal of private information)
Accès sémantique aux données massives et hétérogènes en santé. (Semantic access to massive and heterogeneous health data)
Behaviour Modelling and System Control with Human in the Loop. (Modélisation du comportement et commande avec l'humain dans la boucle)
Modélisation de comportements non-verbaux et d'attitudes sociales dans la simulation de groupes conversationnels. (Model of nonverbal behaviors expressing social attitudes in the simulation of conversational groups)
Conception and realization of an indoor multi-user Light-Fidelity link. (Conception et réalisation d'un lien Light-Fidelity multi-utilisateur en intérieur)
Contraintes et opportunités pour l'automatisation de l'inspection visuelle au regard du processus humain. (Constraints and opportunities for automation of visual inspection with regard to the human process)
DéFinition d'un cadre pour l'éValuation a priori des Interfaces homme-Machine dans les SystèMES industriels de Supervision. (Definition of a Framework for the a priori Evaluation of Human-Machine Interfaces in Supervision Industrial Systems)
Couplage des Architectures Holonique et Orientée-Services pour la Conception de Systèmes de Production Agiles. (Service Oriented Holonic Manufacturing System architecture (SoHMS))
Véhicules Intelligents : Etude et développement d'un capteur intelligent de vision pour l'attelage virtuel. (Intelligent Vehicles: Study and development of an intelligent vision based sensor for vehicles virtual attachment)
Génération de maillages hexaédriques à partir de squelettes. (Skeleton based hex-mesh generation)
Deciphering the Brain's Visual Language : Natural Image Reconstruction using Deep Generative Models from fMRI Signals. (Déchiffrer le langage visuel du cerveau : reconstruction d'images naturelles à l'aide de modèles génératifs profonds à partir de signaux IRMf)
An adaptive multi-agent system for the distribution of intelligence in electrical distribution networks : state estimation. (Un système multi-agent auto-adaptatif pour la distribution de l'intelligence dans les réseaux électriques de distribution : estimation d'état)
Compilation de programmes VHDL en vue de l'évaluation de testabilité d'équipements digitaux. (Compilation of VHDL programs for analysing testability of asynchronous digital devices)
Etude de quelques problèmes liés à l'analyse d'images : Recherche de direction privilégiée et projection d'images - Application au dénombrement et à la mesure de structures en domaine ferroélectrique
La dimension argumentative des collocations textuelles en corpus électronique spécialisé au domaine du TAL(N). (The Argumentative Part of Textual Collocations in an Electronic Corpus specialized on the TAL(N) Community)
Etude d'un schéma de quantification vectorielle algébrique et arborescente. Application à la compression de séquences d'images numériques. (Tree-structured lattice vector quantization for the compression of digital image sequences)
Methodologie de developpement et de Modelisation UML des systemes d'acquisition et de traitement en temps reel pour les Experiences de physique des hautes energies
Finding inductive invariants using satisfiability modulo theories and convex optimization. (Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe)
Projet CASCADE : une approche de la simulation hiérarchisée multi-modes. (Cascade project: on approach to the multiple mode hierarchical simulation)
Réseaux de Compétences : de l'Analyse des Réseaux Sociaux à l'Analyse Prédictive de Connaissances. (Skills Networks : From Social Networks Analysis to Predictive Knowledge Analysis)
Security and reliability of cross-chain exchanges. (Sécurité et fiabilité des échanges inter-blockchain)
Evaluation des effets de l'ajout d'interfaces haptiques sur le suivi manuel de trajectoires. (Evaluation of effects of haptic devices addition on trajectory following task)
Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-C. (Structurer un interpréteur abstrait au moyen d'abstractions de valeurs et d'états :Eva, une analyse de valeur évoluée pour Frama-C)
Contínuo e limite entre expressão cristalizada e construção com verbo-suporte à luz do Léxico-Gramática. (Continuum et limite entre expressions figées et constructions à verbe support à la lumière du Lexique-Grammaire)
Cartes de saillance et évaluation de la qualité des maillages 3D . (Salience maps and quality evaluation of 3D meshes)
Performance Estimation, Testing, and Control of Cyber-Physical Systems Employing Non-ideal Communications Networks. (Estimation des performances, test et contrôle des systèmes cyber-physiques employant des réseaux de communication non idéaux)
Reconnaissance de l'orientation des piétons par les réseaux de Capsules dans un environnement non structuré pour un ADAS. (Pedestrian orientation recognition for Advanced Driver Assistance Systems in unstructured environments using Capsule Networks)
Multilayer approach to brain connectivity in Alzheimer's disease. (Approche multi-niveaux de la connectivité cérébrale dans la maladie d'Alzheimer)
Shape Abstractions with Support for Sharing and Disjunctions. (Abstractions de la Forme des Structures de Données Supportant Partage et Disjonctions)
Méthodes rapides d'estimation en trajectographie par mesures d'azimuts. (Fast estimation methods in target motion analysis)
Machine Learning techniques for Electricity Price Forecasting. (Méthodes d'apprentissage machine pour la prévision des prix de l'électricité)
Safe and energy efficient decision/control architecture for a formation of multi-vehicle system in dynamic environment. (Architecture de prise de décision/commande sûre et économe en énergie pour une formation de systèmes multi-véhicules évoluant dans un environnement dynamique)
Integrating predictive analysis in self-adaptive pervasive systems. (Intégration de l'analyse prédictive dans des systèmes auto-adaptatifs)
Occupant behavior-based energy and comfort trade-off in smart buildings. (Compromis énergétique et confort basé sur le comportement des occupants dans les bâtiments intelligents)
Compliance of Web services over a high level specification. (Conformité de services Web par rapport à des spécifications de haut niveau)
Approche arithmétique RNS de la cryptographie asymétrique. (RNS arithmetic approach of asymmetric cryptography)
Frequent Itemset Sampling of High Throughput Streams on FPGA Accelerators. (Échantillonnage de recherche de motifs fréquents dans des flux à haut débit sur les accélérateurs FPGA)
Semantic representations of images and videos. (Représentations sémantiques d'images et de vidéos)
ArchSoS: un langage de description d'architectures avancées des systèmes de systèmes. (ArchSoS: A description language of advanced systems of systems architectures)
Classical and Quantum Cryptanalysis for Euclidean Lattices and Subset Sums. (Cryptanalyse classique et quantique pour les réseaux euclidiens et les sommes de sous-ensembles)
Contraintes globales et heuristiques de recherche pour les CSPs continus. (Global constraints and splitting strategies for solving continuous CSP)
Probabilistic methods for the analysis of algorithms on random tessellations. (Méthodes probabilistes pour l'analyse des algorithmes sur les tesselations aléatoires)
Reconnaissance par indexation en vision par ordinateur. (Recognition using indexing in computer vision)
Une approche problèmes inverses pour la reconstruction de données multi-dimensionnelles par méthodes d'optimisation
Mécanisme de régulation de la flippase humaine ATP8B1/CDC50A et conséquences fonctionnelles de mutations d'ATP8B1 identifiées chez des patients atteints de cholestase intrahépatique. (Regulatory mechanism of the human lipid flippase ATP8B1/CDC50A and functional consequences of ATP8B1 mutations associated with intrahepatic cholestasis)
Wireless network for reliable electric vehicle battery management. (Réseau sans-fil pour une gestion fiable de la batterie du véhicule électrique)
Security for wireless communications. (Sécurité pour les réseaux sans fil)
Réseaux de neurones convolutifs pour la segmentation sémantique et l'apprentissage d'invariants de couleur. (Convolutional neural networks for semantic segmentation and color constancy)
Segmentation d'images médicales tridimensionnelles basée sur une modélisation continue du volume
Embedded-AI-enabled semantic IoT platform for agroecology. (Plateforme IoT sémantique compatible avec l'IA embarquée pour l'agroécologie)
Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective. (Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry)
Elaboration et validation de critères ergonomiques pour les interactions Hommes-Environnements Virtuels
Stability analysis and control design for time-delay systems with applications to automotive steering systems. (Analyse de stabilité et conception de lois de commande pour des systèmes à retards avec applications aux systèmes de direction automobiles)
Méthodologie d'extraction et d'analyse de réseaux de régulation de gènes : analyse de la réponse transcriptionnelle à l'irradiation chez S. cerevisiæ. (Methodology for the extraction and the analysis of gene regulation networks : analysis of the transcriptional response to irradiation in S. cerevisiæ)
Indexation des émotions dans les documents audiovisuels à partir de la modalité auditive. (Indexing emotions in audiovisual documents using the auditory modality)
Modélisation 4D à partir de plusieurs caméras. (4D modeling from mutli-camera setup)
Modélisation et simulations numériques de l'épidémie du VIH-SIDA au Mali. (Modeling and numerical simulations of the HIV-AIDS epidemic in Mali)
Numerical methods for hyperbolic equations of Saint-Venant type. (Méthodes numériques pour des équations hyperboliques de type Saint-Venant)
Recherche et caractérisation par dynamique moléculaire d'états intermédiaires pour la complexation entre la protéine FKBP12 et des ligands de haute affinité. (Study of building intermediate states between FKBP12 and high-affinity ligands by molecular dynamics simulations)
Continuous memories for representing sets of vectors and image collections. (Mémoires continues représentant des ensembles de vecteurs et des collections d'images)
Interactive Maps for Visually Impaired People: Design, Usability and Spatial Cognition
Planification de mouvement pour mobile non-holonome en espace de travail dynamique. (Motion planning for a non-holomic mobile in a dynamic workspace)
Politiques de robustesse en réseaux ad hoc. (Robustness policies in mobile ad hoc networks)
Motion analysis for Medical and Bio-medical applications. (Analyse du mouvement pour applications médicales et bio-médicales)
On the Algorithms of Guruswami-Sudan List Decoding over Finite Rings. (Sur l'algorithme de décodage en liste de Guruswami-Sudan sur les anneaux finis)
Recherches et expérimentations artistiques en images numériques à base d'interférences : concevoir des personnages tridimensionnels grâce aux illusions visuelles issues des franges d'interférence volontairement perturbées. (Research and artistic experiments in digital imagery using interferences : conceiving three-dimensional characters due to visual illusions obtained through interference rings disturbed on purpose)
Assessment of Speech Intelligibility using Deep Learning - Towards Enhanced Interpretability in Clinical Phonetics: Application to speech disorders due to Head and Neck Cancers. (Évaluation de l'intelligibilité de la parole par apprentissage profond - Vers plus d'interprétabilité en phonétique clinique)
Understanding Human-AI Trust in the Context of Decision Making through the Lenses of Academia and Industry : Definitions, Factors, and Evaluation. (Comprendre la confiance entre l'humain et l'intelligence artificielle dans le contexte de la prise de décision par le prisme du monde académique et de l'industrie : définitions, facteurs et évaluation)
Modèles bayésiens pour la détection de synchronisations au sein de signaux électro-corticaux. (Bayesian models for synchronizations detection in electrocortical signals)
Multiview Learning with Missing Views and Learning Solutions for Cross-Process Modeling in Semiconductor Manufacturing Industry. (L'apprentissage Multivues avec vues manquantes et modèles intelligents pour la modélisation inter-process dans l'industrie des semi-conducteurs)
Cryptocomputing systems, compilation and runtime. (Systèmes de cryptocalculs, compilation et support d'exécution)
Rigorous algorithms for nonlinear biobjective optimization. (Algorithmes rigoureux pour l'optimisation nonlinéaire biobjectif)
Informed Speech Self-supervised Representation Learning. (Apprentissage auto-supervisé informé de représentations du signal de parole)
Complementary roles of the rat prefrontal cortex and striatum in reward-based learning and shifting navigation strategies. (Rôles complémentaires du cortex préfrontal et du striatum dans l'apprentissage et le changement de stratégies de navigation basées sur la récompense chez le rat)
Contributions to Computing needs in High Energy Physics Offline Activities: Towards an efficient exploitation of heterogeneous, distributed and shared Computing Resources. (Contributions aux besoins informatiques dans les activités hors-ligne du domaine de la Physique des Hautes-Énergies: Vers une exploitation efficace de ressources de calcul partagées, hétérogènes et distribuées)
Synthèse et compilation de services web sécurisés. (Automatic synthesis of secured web services )
Neighbour-distinguishing decompositions of graphs. (Décompositions de graphes voisins-distinguantes)
Language Modelling for Handwriting Recognition. (Des modèles de langage pour la reconnaissance de l'écriture manuscrite)
Contributions aux ombres et jumeaux numériques dans l'industrie : proposition d'une stratégie de couplage entre modèles de simulation et d'apprentissage automatique appliquée aux scieries. (Toward industrial digital shadows and twins : a novel strategy to couple simulation and machine learning models, applied to the lumber industry)
Wireless Sensors Networks (WSN) monitoring : application to secure interoperability. (Monitorage des réseaux des capteurs sans fils (WSN) : application à l'interopérabilité sécurisée)
Gestion des connaissances et communication médiatisée : traçabilité et structuration des messages professionnels. (Knowledge management and mediated communication : traceability and structure of professional emails)
JAdapt : un modèle pour améliorer la réutilisation des préoccupations dans le paradigme objet. (JAdapt : a model for improving concern's reuse in the object paradigm)
Recalage de groupes d'images médicales 3D par extraction de points d'intérêt. (Registration of groups of 3D medical images by extraction of points of interest)
Apports du LiDAR à l'étude de la végétation des marais salés de la baie du Mont-Saint-Michel. (The use of LiDAR to study salt marshes vegetation in the Mont-Saint-Michel Bay (France))
Automate sur les structures temporisée. (Automata on timed structures)
Towards Securing Machine Learning Algorithms through Misclassification Detection and Adversarial Attack Detection. (Vers la Sécurisation des Algorithmes d'Apprentissage Automatique par Misclassification Detection et Adversarial Attack Detection)
Modélisation et visualisation par niveaux de détail de scènes architecturales complexes. (Level-of-detail modelling and visualization of complex architectural models)
Fast Algorithms for Towers of Finite Fields and Isogenies. (Algorithmes Rapides pour les Tours de Corps Finis et les Isogénies)
Conception d'une chaîne de traitement de la langue naturelle pour un agent conversationnel assistant. (Design of a natural language processing chain for an assistant conversational agent)
A Dynamic Homogenization Method for Nuclear Reactor Core Calculations. (Une méthode d'homogénéisation dynamique pour les calculs de réacteurs nucléaires)
Contrôle et gestion du trafic routier urbain par un réseau de capteurs sans fil. (Control and management of urban traffic by a wireless sensor network)
Déploiement d'applications patrimoniales en environnements de type informatique dans le nuage. (Deploying legacy applications in cloud computing environments)
The value problem in stochastic games. (Le problème de la valeur dans les jeux stochastiques)
On the tradeoffs of statistical learning with privacy. (Sur les compromis liés à l'apprentissage statistique sous contraintes de confidentialité)
Combinatoire algébrique et géométrique des nombres de Hurwitz. (Algebraic and geometric combinatorics of Hurwitz numbers)