yusuke1997/dblp-id-title huggingface dataset:
On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales)
Symbolic Data Mining Methods with the Coron Platform. (Méthodes symboliques de fouille de données avec la plate-forme Coron)
Approches neuronales pour le résumé abstractif de transcriptions de parole. (Neural Approaches for Abstractive Summarization of Speech Transcription)
Neuro-symbolic knowledge hypergraphs : knowledge representation and learning in neuro-symbolic artificial intelligence. (Hypergraphes de connaissances neuro-symboliques : représentation des connaissances et apprentissage en intelligence artificielle neuro-symbolique)
Détection d'intrusions dans les objets connectés par des techniques d'apprentissage automatique: étude dans les domaines de l'éducation et des voitures connectées. (Network Intrusion detection in IoT devices using machine learning techniques: a study in education and connected cars)
Synchronisation des connaissances syntaxiques et sémantiques pour l'analyse d'énoncés en langage naturel à l'aide des grammaires d'arbres adjoints lexicalisés
Contribution à la segmentation des réseaux vasculaires cérébraux obtenus en IRM. Intégration de connaissance anatomique pour le guidage d'outils de morphologie mathématique. (Contribution to cerebral vascular network segmentation from MRI. Anatomical knowledge integration for guidance of mathematical morphology tools)
Digital images steganography using adversarial embedding. (Stéganographie d'images numériques via l'utilisation de réseaux de neurones sous présence d'un adversaire)
On the practical security of white-box cryptography. (De la théorie à la pratique de la cryptographie en boite blanche)
Vehicle Routing for Hazardous Material Transportation. (Tournées pour le transport de substances dangereuses)
Toward Smart Palm Precision Agriculture: A Study on Palm Tree and Red Palm Weevil Detection. (Vers une agriculture de précision intelligente des palmiers : une étude sur la détection des palmiers et du charançon rouge du palmier)
High-level area-performance-energy estimation framework for FPGA-based accelerators. (Un framework haut niveau pour l'estimation du temps d'exécution, des ressources matérielles et de la consommation d'énergie dans les accélérateurs à base de FPGA)
Déduction et Unification dans les Théories Permutatives. (Deduction and Unification in Permutative Theories)
Découverte d'annuaires de services web dans un environnement distribué. (Web services registries discovery in a distributed environment)
Etude des stables dans les graphes sans étoile
Many-Core Timing Analysis of Real-Time Systems. (Analyse temporelle des systèmes temps-réels sur architectures pluri-coeurs)
Modelling Syntactic Gradience with Loose Constraint-based Parsing. (Modélisation de la gradience syntaxique par analyse relâchée à base de contraintes)
Green artificial intelligence to automate medical diagnosis with low energy consumption. (L'intelligence artificielle verte pour automatiser le diagnostic médical avec une faible consommation d'énergie)
Cryptanalysis and design of symmetric primitives defined over large finite fields. (Cryptanalyse et conception de primitives symétriques définies sur de grands corps finis)
Segmentation by deep learning with geometric constraints and active contours. (Segmentation par apprentissage rofond avec contraintes géométriques et contours actifs)
Complexity issues in counting, polynomial evaluation and zero finding. (Complexité de problèmes de comptage, d'évaluation et de recherche de racines de polynômes)
Contribution to ellipsoidal and zonotopic set-membership state estimation. (Contribution à l'estimation d'état par méthodes ensemblistes ellipsoidales et zonotopiques)
Navigation dans de grands ensembles non structurés de documents visuels. (Navigation in large unstructured collections of visual data)
Modèles de séries chronologiques Bilinéaires : Estimations, Algorithmes et Applications. (Bilineair time series models: Estimation, Algorithm and application)
Epidémiologie moléculaire et métagénomique à haut débit sur la grille. (Molecular epidemiology and high-throughput metagenomics on the grid)
Évaluation d'indicateurs de sûreté de fonctionnement d'architectures de contrôle-commande dans un contexte dynamique et incertain. (Dependability assessment of an industrial control system architecture in a dynamic and uncertain context)
Enabling industrial maintenance knowledge sharing by using knowledge graphs. (Le partage des connaissances de la maintenance industrielle via des graphes de connaissances)
Langages dédiés au développement de services de communications. (Domain-Specific Languages for Developing Communication Services)
Cycle de vie sémantique de conception de systèmes de stockage et manipulation de données. (Semantic lifecycle desing for data storage and manioulation systems)
Partitionnement de grands graphes : mesures, algorithmes et visualisation. (Graph Partitioning : measures, algorithms and visualization)
Wikis sémantiques distribués sur réseaux pair-à-pair. (Semantic wikis distributed on Peer-to-Peer networks)
Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité)
Neurone abstrait : une formalisation de l'intégration dendritique et ses propriétés algébriques. (Abstract neuron : formalizing dendritic integration and algebraic properties)
Lower bounds and reconstruction algorithms for sums of affine powers. (Bornes inférieures et algorithmes de reconstruction pour des sommes de puissances affines)
Apprentissage distribué dans les jeux pour les réseaux sans fil. (Distributed learning in games for wireless networks)
Efficient Hardware-aware Neural Architecture Search for Edge Computing. (Optimisation Automatique des Applications d'Apprentissage Profond sur Plateformes Matérielles Edges)
Une société d'agents temporels pour la supervision de systèmes industriels
Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques. (Efficient parallel algorithm for computer algebra : sparce linear algebra and algebraic extensions)
Convolutional neural networks pruning and its application to embedded vision systems. (Élagage de réseaux de neurones convolutifs et son application aux systèmes embarqués de vision par ordinateur)
Développement de modèles spécifiques aux séquences génomique virales. (Developing viral genomic data-specific classification models)
A formal approach to the modeling, simulation and analysis of nano-devices
Application des méthodes multigrilles à l'assimilation variationnelle de données en géophysique. (Multigrids methods applied to variationnal data assimilation in geophysics models)
Coordination of production and distribution scheduling. (Coordination d'ordonnancement de production et de distribution)
Contribution aux problèmes de contrôle de concurrence et de reprise dans les bases de données à objets. (A contribution to concurrency control and recovery in object-oriented databases)
Joint modeling and learning approaches for hyperspectral imaging and changepoint detection. (Approches conjointes de modélisation et d'apprentissage pour l'imagerie hyperspectrale et la détection de changements)
Routage et sécurité à basse consommation d'énergie dans les réseaux de capteurs sans fil. (Routing and Low-Energy Security in Wireless Sensor Networks)
Distributed graph topology inference from streaming data. (Inférence distribuée de topologie de graphe à partir de flots de données)
Conception d'architectures compactes pour la détection spatiotemporelle d'actions en temps réel. (Lightweight architectures for spatiotemporal action detection in real-time)
Étude de quelques modèles de séries chronologiques binaires
Approches complémentaires pour une classification efficace des textures. (Complementary Approaches for Efficient Texture Classification)
Vérification et Spécification des Systèmes Distribués. (Verification and Specification of Distributed Systems)
Energy Characterization and Savings in Single and Multiprocessor Systems : understanding how much can be saved and how to achieve it in modern systems. (Etude et sauvegarde de la consommation énergétique dans un environnement simple et multi-processeurs : comprendre combien peut être sauvegardé et comment y arriver sur des systèmes modernes)
RDF : A Reconfigurable Dataflow Model of Computation. (RDF : Un modèle de calcul flot de données reconfigurable)
Raffinement de Maillage Spatio-Temporel pour les Équations de l'Élastodynamique. (Space-Time Mesh Refinement for Elastodynamic Equations)
Mécanismes de négociation distribuée pour la gestion intelligente de l'énergie. (Distributed negotiation mechanism for smart energy management)
Des programmes impératifs vers la logique équationnelle pour la vérification. (From imperative programs to equational logic for correctness verification)
Adaptabilité des Services Techniques dans le Modèle à Composants. (Adaptability of technical services in the component-based model)
Robust French syntax analysis: reconciling statistical methods and linguistic knowledge in the Talismane toolkit. (Analyse syntaxique robuste du français : concilier méthodes statistiques et connaissances linguistiques dans l'outil Talismane)
Communications par commutation de circuits dans les réseaux d'interconnexion. (Circuit-switched communications in interconnection networks)
Etude d'une architecture cellulaire programmable : définition fonctionnelle et méthodologie de programmation. (Studie of a programmable cellular architecture: functionnal definition and programmation methodology)
Programmation en nombres entiers pour les diagrammes d'influence et les problèmes de maintenance d'une compagnie aérienne. (Integer programming for influence diagrams and airline maintenance problems)
Méthodes pour le raisonnement d'ordre supérieur dans SMT. (Methods for Higher-Order reasoning in SMT)
Modélisation d'ondes sismo-acoustiques par la méthode des éléments spectraux. Application à un séisme dans l'Atlantique Nord. (Seismo-acoustic waves modelling through the spectral elements method. Application to an earthquake in the Northern Atlantic)
Deep learning for satellite image compression. (Compression d'images satellitaires par apprentissage profond)
Algoriths for optimizing shared mobility systems. (Outil d'aide à la décision pour un système de transport en libre service)
Extraction de Séquences Fréquentes : Des Bases de Données Statiques aux Flots de Données
Behavioral approach for validation and system testing of embedded systems : Application in medical embedded devices. (Approche comportementale pour la validation et le test système des systèmes embarqués : Application aux dispositifs médicaux embarqués)
Implementation of a clinical dosimetry workflow to perform personalized dosimetry for internal radiotherapy. (Mise en œuvre d'un flux de travail de dosimétrie clinique pour réaliser une dosimétrie personnalisée pour la radiothérapie interne vectorisée)
Estimation of angular rate from direction sensors. (Estimation de vitesse de rotation par mesures de direction)
The artificial immune ecosystem : a scalable immune-inspired active classifier, an application to streaming time series analysis for network monitoring. (L'écosystème immunitaire artificiel : un classifieur actif inspiré des systèmes immunitaires, et son application à l'analyse de données chronologiques en flux pour la supervision de réseaux informatiques)
Contributions to the hardness foundations of lattice-based cryptography. (Contributions aux fondements de complexité de la cryptographie sur réseaux)
Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups. (Représentations de monoïdes et structures de treillis en combinatoire des groupes de Weyl)
Complétions d'intervalles minimales. (Minimal interval completions)
Orchestration de services hétérogènes et sécurisés. (Orchestration of heterogeneous and secured services)
Régression isotonique itérée. (Iterative isotonic regression)
Application of advanced artificial intelligence models to manage irrigation using sensor data and satellite images. (Application de modèles avancés d'intelligence artificielle à l'irrigation intelligente à partir de données capteurs et d'images satellitaires)
Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification. (Reactive multi-agent models for the multi-vehicle navigation problem: formal specification and verification)
Autonomous perception algorithms for a team of underwater robots : coordination strategy based on onboard cameras. (Algorithmes de perception autonomes pour une meute de robots sous-marins : stratégie de coordination à partir des images acquises par caméras)
Apprentissage de connaissances morphologiques pour l'acquisition automatique de ressources lexicales. (Unsupervised learning of morphological knowledge for the automatic acquisition of lexical resources)
Metadata Management for Data Lake Governance. (Gestion des métadonnées pour la gouvernance des lacs de données)
Vers un support d'exécution portable pour applications parallèles irrégulières: Athapascan-0. (Run-time support for irregular parallel applications: Athapascan-0)
Abstractions de différences exactes de réseaux de réactions: Améliorer la précision de prédiction de changements de systèmes biologiques. (Exact difference abstractions of reaction networks: Improve the accuracy of the prediction of changes in biological systems)
Représentation des images au moyen de motifs fréquents et émergents pour la classification et la recherche d'images. (Representation of images by means of common and emerging patterns for classification and image search)
Échantillonnage pour l'approximation de fonctions sur des maillages. (Function approximation on meshes by sampling)
Deep Learning and Information Geometry for Time-Series Classification. (Apprentissage Profond et G om trie de L'Information pour la Classification de Signaux Temporels)
Permutoèdre, visualisation et agrégation des préférences
Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes. (High Integrity Communication Network for Critical Control Systems Integrating Micro-Systems Arrays)
Hypergraphs in the Service of Very Large Scale Query Optimization. Application : Data Warehousing. (Les hypergraphes au service de l'optimisation de requêtes à très large échelle. Application : Entrepôt de données)
Modèle global et paramétrable, pour la gestion des foules d'agents en animation comportementale. (Global and configurable model for crowd control in behaviour animation)
Un modèle multi-agent récursif générique pour simplifier la supervision de systèmes complexes artificiels décentralisés. (A generic recursive multiagent model to simplify supervision of decentralized artificial complex systems)
Approche intégrée de diagnostic et de pronostic pour la gestion de santé des systèmes hybrides sous incertitude. (Integrated approach of diagnosis and prognosis for hybrid system health management under uncertainty)
Numerical investigation of complex slurry transport models using finite volume methods. (Investigation numérique de modèles complexes de transport de pulpe par des méthodes volumes finis)
Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes
Particules Gaussiennes d'eterministes en Maximum de vraisemblance Non-lineaire :Application au Filtrage Optimal des Signaux Radar et GPS. (Deterministic Gaussian Particles in Non-Linear MaximumLikelihood EstimationApplication to optimal Filtering of Radar and GPS Signals)
Approche cognitive pour la planification de trajectoire sous contraintes. (A cognitive approach for kinodynamic trajectory planning)
Factoring differential operators in positive characteristic. (Factorisation des opérateurs différentiels en caractéristique positive)
contrôle et implantation des systèmes répartis de fusion d'informations. (Deployment and control of distributed information fusion systems)
Modelling multi-domain large deformation problems using an Eulerian monolithic approach in a massively parallel environment. (Modélisation des problèmes de grandes déformations multi-domaines par une approche Eulérienne monolithique massivement parallèle)
Ordonnancement stochastique avec impatience. (Stochastic scheduling with impatience)
Modeling and simulation of the diffusion MRI signal from human brain white matter to decode its microstructure and produce an anatomic atlas at high fields (3T). (Modélisation et simulation du signal IRM pondéré en diffusion de la substance blanche cérébrale en vue du décodage de sa microstructure et de l'établissement d'un atlas anatomique à hauts champs (3T))
Le modèle algue brune pour l'analyse fonctionnelle et évolutive du déterminisme sexuel. (The brown alga model for functional and evolutionary analysis of sex determination)
Lyapunov Functions and Ensemble Approximations for Constrained Systems using Semidefinite Programming. (Fonctions de Lyapunov et approximations d'ensemble pour les systèmes contraints utilisant la programmation semi-définie)
Méthodes et outils pour la création et l'évaluation de situations d'apprentissage de gestes en environnements virtuels. (Methods and tools for the design and evaluation of gesture-based learning situations in virtual environments)
On proximal decomposition methods applied to power generation planning in an uncertain environment. (Sur les méthodes de décomposition proximale appliquées à la planification de production électrique en environnement incertain)
Fonctions et généricité dans un langage de programmation parallèle. (Functions and genericity in a parallel programming language)
Indexation aléatoire et similarité inter-phrases appliquées au résumé automatique. (Random indexing and inter-sentences similarity applied to automatic summarization)
Etude et implantation de l'extraction de requêtes fréquentes dans les bases de données multidimensionnelles. (Mining pattern in relational databases)
Contribution à la modélisation globale d'entreprise : décisions et performances dans les systèmes de production. (Contribution to the global modeling of entreprise: decisions and performances in production systems)
Resource Allocation and Pricing in 5G Network Slicing. (Allocation des ressources et tarification dans 5G Network Slicing)
Securing advanced healthcare architectures. (Sécurité des architectures de supervision médicale)
Control law and state estimators design for multi-agent system with reduction of communications by event-triggered approach. (Loi de guidage coopérative et estimateurs d'état pour système multi-agent avec réduction des communications par méthode event-triggered)
Software Ecodesign: Estimating and Reducing Software Environmental Footprint. (Eco-Conception Logicielle: Estimation et Réduction de l'Empreinte Environnementale des Logiciels)
Synchronization and dynamical systems : application to cryptography. (Synchronisation et systèmes dynamiques : application à la cryptographie)
Dématriçage et démélange conjoints d'images multispectrales. (Joint demosaicing and unmixing of multispectral images)
Conception et réalisation d'un système d'exploitation pour des processeurs many-cores. (Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core)
Conception et validation des algorithmes systoliques. (Conception and validation of systolics algorithms)
.Fusion d'images en télédétection satellitaire (Image fusion in satellite remote sensing)
Higher-Level Consistencies : When, Where, and How Much. (Les cohérences fortes : où, quand, et combien)
Méthodes et modèles de construction automatisée d'ontologies pour des domaines spécialisés. (Methods and models for the learning the domain ontology)
Mining complex data and biclustering using formal concept analysis. (Fouille de données complexes et biclustering avec l'analyse formelle de concepts)
Cue Integration and Front Evolution in Image Segmentation. (Intégration d'attributs et évolutions de fronts en segmentation d'images)
Identification and Simulation of Physical Systems with Structured Deep Learning and Inductive Knowledge. (Identification et simulation des systèmes physiques par apprentissage profond structuré et connaissances inductives)
Design of a deep neural network architecture dedicated to handwriting synthesis using kinematic sensors from a digital pen. (Conception d'une architecture de réseaux de neurones profonds dédiée à la synthèse d'écriture manuscrite à partir de capteurs cinématiques d'un stylo numérique)
Inférence géométrique discrète. (discrete geometric inference)
Security analysis of steganalyzers. (Analyse de la sécurité des stéganalyzers)
Diagnostic et réparation de supports électroniques chiffrés et endommagés. (Diagnosis and repair of damaged and encrypted electronic media)
Conception temporellement sûre de circuits intégrés complexes. (Temporally sure concept of complex integrated circuits)
Une approche cryptographique pour l'authentification de données multimédia dans l'Internet des Objets basée sur les blockchains. (A cryptographic technique for authentification of multimedia data in internet-of-things using blockchain)
De la vulnérabilité des nœuds capteurs à la certification des transactions sur le réseau, une approche de la sécurisation de l'Internet des Objets. (From the sensor nodes vulnerability to the network transactions certification, an approach to securing the Internet of Things)
Langage normalisé pour la description des informations médicales en radiologie
Mapping, timing and tracking cortical activations with MEG and EEG: Methods and application to human vision. (Localisation et suivi d'activité fonctionnelle cérébrale en électro et magnétoencéphalographie: Méthodes et applications au système visuel humain)
Conception d'un web service pour la fouille de données de génomique : application à la caractérisation de la myogenèse et de l'adipogenèse
Etude par modélisation moléculaire des propriétés mécaniques d'un système membranaire : le canal mécanosensible MscL au sein de bicouches lipidiques modèles. (Mechanical properties of a membrane system studied by molecular dynamics: the mechanosensitive channel MscL in model lipids bilayers)
Advanced receivers for distributed cooperation in mobile ad hoc networks. (Récepteurs avancés pour la coopération distribuée dans les réseaux ad hoc mobiles)
Joint optimization and planning of vehicle routing and maintenance operations. (Optimisation et planification conjointe de tournées de véhicules et d'opérations de maintenance)
BCOol : the Behavioral Coordination Operator Language. (B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages)
Uncertainty quantification of explicability for Machine Learning : post-selection inference over interpretable biological features. (Quantifier l'incertitude de l'explicabilité en apprentissage automatique : inférence postsélection sur des caractéristiques biologiques interprétables)
Nonquadratic design algorithms for input-saturated linear systems. (Algorithmes de conception non quadratiques pour les systèmes linéaires soumis à saturation d'entrée)
Algorithmes décentralisés et asynchrones pour l'apprentissage statistique large échelle et application à l'indexation multimédia. (Decentralized and asynchronous algorithms for large scale machine learning and application to multimedia indexing)
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
Virtualisation des fonctions d'un Cloud Radio Access Network(C-RAN). (Virtualization of a Cloud Radio Access Network (C-RAN) functions)
Zero-error network information theory: graphs, coding for computing and source-channel duality. (Théorie de l'information zéro-erreur dans les réseaux: graphes, codage pour le calcul de fonctions et dualité source-canal)
Adaptive and Intelligent Memory Systems. (Systèm Mémoire adaptatif inteligent)
Amélioration de la fiabilité numérique de codes de calcul industriels. (Improved numerical reliability of industrial software)
Applications exploratoires des modèles de spins au Traitement Automatique de la Langue. (Exploratory applications of spin models in Natural Language Processing)