yusuke1997/dblp-id-title huggingface dataset:
Security of Modes of Operation and other provably secure cryptographic schemes. (Sécurité des modes d'opération)
Assimilation de données par filtrage pour les systèmes hyperboliques du second ordre - Applications à la mécanique cardiaque. (Filtering based data assimilation for second order hyperbolic PDEs - Applications in cardiac mechanics)
Vers des algorithmes d'apprentissage automatique économes en E/S pour les systèmes embarqués : application aux K-means et Random Forests. (Towards I/O-efficient Edge Intelligence algorithms : K-means and Random Forests)
New hardware platform-based deep learning co-design methodology for CPS prototyping : Objects recognition in autonomous vehicle case-study. (Nouvelle méthodologie de co-conception pour de l'apprentissage en profondeur basée sur une plate-forme matérielle pour le prototypage de SCP : reconnaissance d'objets dans une étude de cas de véhicule autonome)
An overview on systems of systems control: general discussions and application to multiple autonomous vehicles. (Un aperçu de contrôle des systèmes de systèmes : discussions générales et application à plusieurs véhicules autonomes)
Models and algorithms for managing quality of context and respect for privacy in the Internet of Things. (Modèles et algorithmes pour la gestion de la qualité du contexte et de respect de la vie privée dans l'Internet des Objets)
Resource allocation Frameworks for Multi-Carrier-based Cognitive Radio Networkswith full and Statistical CSI. (Allocation de ressources pour les réseaux de radio cognitive basés sur les modulations multi-porteuses avec connaissance exacte et statistique des canaux)
An Information-Theoretic Approach to Distributed Learning. Distributed Source Coding Under Logarithmic Loss. (Approche théorie de l'information à l'apprentissage statistique. Codage distribué de sources sous mesure de fidélité logarithmique)
Clinical Laboratory Optimization. (Optimisation de laboratoires médicaux)
Randomness, structure preservation, and low-regularity numerical approximations for nonlinear dispersive equations. (Schémas numériques pour les équations dispersives non linéaires : analyse à faible régularité, cadre aléatoire et préservation de symétries)
Optimisation of the vehicle route with inventory management and collaboration in a two-stage distribution network. (Optimisation de tournées de véhicules avec gestion de stock et collaboration dans un réseau de distribution à deux échelons)
Approches statiques et dynamiques pour l'optimisation de la consommation énergétique des applications de calcul à hautes performances. (Static and dynamic approaches for the optimization of the energy consumption associated with applications of the High Performance Computing (HPC) field)
Système de reconstruction d'environnement pour une aide au pilotage en environnement naturel. (Unstructured environment reconstruction for driver assistance applications)
Amélioration des performances via un parallélisme multi-niveaux en maillage sur un code de CFD en maillages non structurés. (Improving performance of a CFD code with unstructured meshes through multi level parallelism)
Program in Coq. (Programmer en Coq)
Une Approche de Conception Sensible au Contenu pour la Navigation Multi-échelle. (A Content-Aware Design Approach to Multiscale Navigation)
Visual interpretation of hand postures for human-machine interaction. (Interprétation visuelle de gestes pour l'interaction homme-machine)
Satellite image restoration by nonlinear statistical filtering techniques. (Restauration d'images Satellitaires par des techniques de filtrage statistique non linéaire)
Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests. (concrete and relevant exploration of abstract event systems for automatic tests generation)
Optimization of autonomic resources for the management of service-based business processes in the Cloud. (Optimisation des ressources autonomiques pour la gestion des processus métier à base de services dans le Cloud)
Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul. Aapplications, parallélisation. (Boolean grobner bases. Computation. Applications. Parallelization)
Next generation neural mass models: working memory, all-brain modelling and multi-timescale phenomena. (Modèles de masse neuronale de nouvelle génération: mémoire de travail, modélisation du cerveau entier et phénomènes multi-échelles de temps)
Analyses Automatiques pour le Test de Programmes Orientés Aspect
Méthodes Level-Set et pénalisation pour le calcul d'interactions fluide-structure. (Level-Set method and penalization for fluid-structure interactions)
Imagerie cérébrale multimodale pour l'étude des aphasies primaires progressives. (Multimodal brain imaging for the study of progressive primary aphasia)
Unsupervised Deep Learning for vegetation monitoring using C-Band SAR time series : from agriculture to boreal forests. (Apprentissage profond non-supervisé pour le suivi de végétation à partir de séries temporelles SAR en bande C : de l'agriculture aux forêts boréales)
Developement of microscopy system for time-resolved fluorescence detection of gadolinium/terbium hybrid macromolecular complexes for bimodal imaging of atherothrombosis. (Développement d'un système de microscopie pour la détection en temps résolu de la fluorescence de complexes macromoléculaires mixtes gadolinium/terbium destinés à l'imagerie bimodale de l'atherothrombose)
Implantation sécurisée de protocoles cryptographiques basés sur les codes correcteurs d'erreurs. (Secure implementation of cryptographic protocols based on error-correcting codes)
Multi-dimensional Teager-Kaiser signal processing for improved characterization using white light interferometry. (Traitement du signal Teager-Kaiser multi-dimensionel pour la caractérisation améliorée avec l'interférométrie en lumière blanche)
Data-Driven Optimization of Spare Parts Maintenance in Closed-Loop Supply Chains. (Gestion et optimisation basée sur les données de la maintenance des pièces de rechange dans une chaînes d'approvisionnement en boucle fermée)
Transfer learning of convolutional neural networks for texture synthesis and visual recognition in artistic images. (Transfert d'apprentissage de réseaux de neurones à convolution pour la synthèse de texture et la reconnaissance visuelle d'images artistiques)
Multi-Architectural Support : A Generic and Generative Approach. (Support multi-architectural : une approche générique et générative)
Data-Efficient Deep Functional Maps for 3D Shape and Graph Analysis
Radar "Around the corner": détection et localisation de cibles masquées en milieu urbain. (Around the corner radar: detection and localization of an NLOS target in urban environment)
Organisation d'un essai didactique en programmation élémentaire
Estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie. ()
Créativité Computationnelle: conception et développement d'algorithmes pour la génération automatique de phrases littéraires. (Computational Creativity: design and development of algorithms for automatic sentence generation)
Resilience-as-a-Service for 5G RAN driven by Machine Learning methods. (La résilience en tant que service à la demande des réseaux 5G dirigée par le Machine Learning)
Prediction of tissue-specific cis-regulatory sequences: application to the ascidian Ciona intestinalis and the anterior neurectoderm. (Prédiction des séquences cis-regulatrices tissu-spécifiques: application à l'ascidie Ciona intestinalis et au neurectoderme antérieur)
Risk-aware Decision Support System to Counter Coordinated and Simultaneous Attacks. (Un système d'aide à la décision contre les attaques coordonnées et simultanées, basé sur les risques)
List-mode proton CT reconstruction. (Reconstruction tomographique proton CT en mode liste)
Superposition: Types and Induction. (Superposition : types et induction)
Méta-modèles de positionnement spatial pour la reconnaissance de tracés manuscrits. (Spatial meta-templates for handwritten pattern recognition)
Approches formelles de l'analyse du discours: Relations discursives et verbes d'attitude propositionnelle. (Formal approaches to discourse analysis / Formal approaches to discourse analysis: Discourse relations and attitude verbs)
Une démarche orientée modèle pour le déploiement de systèmes en environnements ouverts distribués. (A Model-Driven Approach for Deployment in Open Distributed Systems)
Étude et conception d'un système de télésurveillance et de détection de situations critiques par suivi actimétrique des personnes à risques en milieu indoor et outdoor. (Study and design a system for monitoring and detecting critical situations by monitoring actimetric parameters of people at risk indoor and outdoor)
Bayesian Fusion of Multi-band Images: A Powerful Tool for Super-resolution. (Fusion Bayesieene des multi-bandes Images: Un outil puissant pour la Super-résolution)
Création semi-automatique de modèles numériques de terrains - Visualisation et interaction sur terminaux mobiles communicants. (Semi-Automatic Creation of Digital Terrain Models -Visualization and Interaction on Handheld Computers)
Quelques applications des fonctions orthogonales en probabilité et statistiques
DeepType: compréhension du langage naturel par l'abstraction. (DeepType: Natural Language Understanding by Abstraction)
Triangulations minimales des surfaces orientables et génération de graphes sup-immergeables
Kinetic data structures for the geometric modeling of urban environments. (Structures de données cinétiques pour la modélisation géométrique d'environnements urbains)
Action Model Learning for Socio-Communicative Human Robot Interaction. (Apprentissage du modèle d'action pour une interaction socio-communicative des hommes-robots)
Making the most of available data : representation and adaptation for few-shot image classification. (Exploiter au mieux les données disponibles : représentation et adaptation pour la classification few-shot d'images)
Analyse statique pour l'optimisation des mises à jour de documents XML temporels. (Static analysis for optimizing the update of large temporal XML documents)
Immersive Virtual Reality Methods in Cognitive Neuroscience and Neuropsychology: The Virtual Reality Everyday Assessment Lab (VR-EAL), An Immersive Neuropsychological Test Battery of Everyday Cognitive Functions.: Immersive Virtual Reality Methods in Cognitive Neuroscience and Neuropsychology. (Méthodes de réalité virtuelle immersives dans les neurosciences cognitives et la neuropsychologie : le laboratoire d'évaluation quotidienne en réalité virtuelle (VR-EAL), une batterie de tests neuropsychologiques immersifs des fonctions cognitives quotidiennes)
Abduction in first order logic with equality. (Prime implicate generation in equational logic)
Deformability of cancer cells on 3D microstructured surfaces. (Déformabilité de cellules cancéreuses sur des surfaces microstructurées en 3D)
Résistance génétique aux nématodes gastro-intestinaux chez les ovins : évaluation des stratégies de sélection et de leur impact à l'échelle de l'élevage
Security of micro-controllers : From smart cards to mobile devices. (Sécurité des microcontroleurs embarqués : Des cartes à puce aux appareils mobiles)
Supervision de trac au niveau applicatif : application à la sécurit é et à l'ingénierie des réseaux
Hybrid 3D Mass Spring System for Soft Tissue Simulation. (Système Masse-Ressort 3D hybride amélioré pour la simulation de tissus mous)
Path planning on a high performance heterogeneous CPU/FPGA architecture. (Planification de chemin d'hélicoptères sur une architecture hétérogène CPU FPGA haute performance)
Formal rule-based scenarios for the design of safe autonomous vehicles. (Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs)
Real-Time Planning: Reducing Complexity for Scaling Up. (Planification Temps-Réel : Réduction de la Complexité pour un Passage à l'Échelle)
Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes
New Coding Techniques for High Bit-Rate Optical Transmission Systems. (Nouvelles Techniques de Codage pour les Communications Optiques à Haut-Débit)
Algorithmes pour les polynômes creux: interpolation, arithmétique, test d'identité. (Algorithms for Sparse Polynomials: interpolation, arithmetic, identity testing)
Expressive Rule Discovery for Knowledge Graph Refinement. (Découverte de règles expressives pour le raffinement de graphes de connaissances)
Lexicographic refinements in possibilistic sequential decision-making models. (Raffinements lexicographiques en prise de décision séquentielle possibiliste)
Shared control authority between human and autonomous driving system for intelligent vehicles. (Autorité de contrôle partagée entre le système de conduite humain et autonome pour les véhicules intelligents)
Tolérance aux pannes des circuits FPGAs à base de mémoire SRAM. (Fault tolerance of SRAM-based FPGAs circuits)
Entrelacement des mécanismes d'identification et de respect de la vie privée pour la protection des contenus externalisés. (Interleaving identification mechanisms and respect of privacy for the protection of outsourced content)
Interprétabilité des réseaux de neurones profonds et segmentation faiblement supervisée des lésions cérébrales sur IRM. (Deep neural networks interpretability and weakly supervised segmentation of brain lesions on MRI)
Distributed Estimation and Optimization for Asynchronous Networks. (Estimation et Optimisation Distribuée pour les Réseaux Asynchrones)
Ressources et méthodes semi-supervisées pour l'analyse sémantique de texte en français
Simulations multi-agents participatives: Faire interagir agents et humains pour explorer, modéliser et reproduire les comportements collectifs. (Agent-based participatory simulations : agents and humans interacting to explore, model and reproduce collective behavior)
Production de paraphrases pour les systèmes vocaux humain-machine. (Paraphrase generation for human-machine voice interaction systems)
Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe. (Semi-automatic construction of a Tree-adjoining grammar for syntactic-semantic analysis of Arabic)
Semiconductor optical amplifiers for ultra-wideband optical systems. (Amplificateurs optiques à semi-conducteurs pour les systèmes optiques à très large bande)
Lightweight Security Solutions for LTE/LTE-A Networks. (Solutions de Sécurité Légers pour les Réseaux LTE/LTE-A)
Valeur nutritionnelle des drêches de blé liées à la production de bioéthanol pour les animaux monogastriques
Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement. (Toward cooperative management of large-scale virtualized infrastructures : the case of scheduling)
A study of Mixed-Membership Models for Complex Networks Analysis. (Etude des modèles à composition mixée pour l'analyse de réseaux complexes)
Prise en compte de milieux fins dans la méthode des éléments finis (MEF) pour la modélisation en contrôle non-destructif (CND) par courants de Foucault (CF). (Take into account thin regions in the Finite Element Method (FEM) for modeling the eddy currents (EC) non-destructive testing (NDT))
Automatic Parallelization for Heterogeneous Embedded Systems. (Parallélisation automatique pour systèmes hétérogènes embarqués)
Corrélation sémantique entre documents : application à la recherche d'information juridique sur le Web. (A new semantic relative pages algorithm)
Représentation approchée des intégrales doubles
Analyse des performances temporelles et de tolérance aux fautes dans la synchronisation d'horloges. (Analysis of temporal performances and fault-tolerance in the clock synchronization)
Quantitification spatiale et temporelle de l'impact d'une haie sur les différents thèmes du bilan hydrique
Récepteur de navigation reconfigurable pour applications spatiales. (Reconfigurable navigation receiver for space applications)
Etude de la véracité des articles médicaux sur Wikipédia. (Study of the veracity of medical articles on Wikipedia)
Compression de données et apprentissage en profondeur pour les applications de santé IoT basées sur des signaux physiologiques. (Data compression and deep learning for IoT healthcare applications based on physiological signals)
Enrichissement d'une classification supervisée par l'ajout d'attributs issus d'observateurs d'état: application au diagnostic de défaillances d'un siège d'avion robotisé. (Enrichment of a supervised classification by the addition of attributes coming from state observers: application to the fault diagnosis of an actuated seat)
Automatisation du test tous-les-chemins en présence d'appels de fonctions. (Automating all-paths testing with function calls)
Reconnaissance d'expériences vécues dans les avis d'utilisateurs : une méthode basée sur les événements. (Event-Based Recognition Of Lived : Experiences In User Reviews)
Contributions à la résolution générique des problèmes de satisfaction de contraintes. (Contributions to Generic Solving of Constraint Satisfaction Problems)
La multiplicité de transport de la P-glycoprotéine : Etudes de modélisation comparative et de docking au sein de la famille des protéines ABC. (The multispecificity of transport of P-glycoprotein: Comparative modeling and docking studies within the family of ABC proteins)
Private Data Analysis over Encrypted Databases : Mixing Functional Encryption with Computational Differential Privacy. (Analyse Confidentielle de Données sur Bases de Données Chiffrées : Mélange de Chiffrement Fonctionnel et Confidentialité Différentielle Calculatoire)
Surveillance réactive de la mortalité fondée sur les causes médicales de décès en texte libre: application de méthodes de traitement automatique des langues. (Real-time mortality surveillance based on free-text medical causes of death: application of natural language processing (NPL) methods)
Systèmes de Classeurs et Communication dans les Systèmes Multi-Agents. (Classifier Systems and Communication within Multi-Agents Systems)
Sur la solution d'un système linéaire aux différences associé au problème de Dirichlet pour l'équation de Laplace
From qualitative to quantitative program analysis : permissive enforcement of secure information flow. (Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d'information sécurisés)
Modélisation stochastique et physique de la propagation 5G indoor en bandes millimétriques. (Stochastic and physical modeling of the indoor 5G millimeter waves propagation)
Blockchain pour l'Internet des véhicules : une solution IoT décentralisée pour la communication et le paiement des véhicules en utilisant Ethereum. (Blockchain for the Internet of vehicles : A decentralized IoT Solution for vehicles communication and payment using Ethereum)
Network coding application for online games platformes. (Application du codage réseau aux plate-formes des jeux en ligne)
Subsitutions explicites, logique et normalisation. (Explicit substitutions, logic and normalization)
Exploiting player behavior in distributed architectures for online games. (Adaptation dynamique des architectures réparties pour jeux massivement multijoueurs)
Compensation du mouvement respiratoire en TEP/TDM à l'aide de la super-résolution. (Application of super-resolution to respiratory gated positron emission tomography)
Approche directe de L'estimation automatique de L'orientation 3D d'images. (A Direct Approach to Automatic Assessment of 3D Images Orientation)
Some contributions to AutoML: hyper-parameter optimization and meta-learning. (Contributions à AutoML: optimisation des hyper-paramètres et méta-apprentissage)
Contribution to cooperative intersection : longitudinal and lateral controls. (Contribution à l'intersection coopérative : commandes longitudinale et latérale)
Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés. (Symbolic supertagging and syntax-semantics interface of polarized lexicalized grammatical formalisms)
Développement d'une plateforme pour le phénotypage à haut-débit des cellules souches cancéreuses par intelligence artificielle. (Development of artificial intelligence-based high-troughput platform for cancer stem cell phenotyping)
Modélisation des stratégies verbales d'engagement dans les interactions humain-agent. (Modelling verbal engagement strategies in human-agent interaction)
InféRence de connaissances SéMantiques, Application aux Images satellitaires. (Inference of Semantical Knowledge, Application to satellite Images)
Possibilistic Classifiers for Certain/Uncertain Numerical Data. (Classifieurs Possibilistes des données Numériques Certaines et Incertaines)
Evaluation du risque de maladie : conception d'un processus et d'un système d'information permettant la construction d'un score de risque adapté au contexte, application au cancer du sein. (Assessing disease risk : a process and information system design that support the construction of a risk score adapted to the context, application on breast cancer)
Finding constancy in linear routines. (Recherche de constance dans les routines linéaires)
Contribution aux méthodes de classification non supervisée via des approches prétopologiques et d'agrégation d'opinions. (Contribution to the data clustering methods via pretopological approaches and of opinions aggregation)
Gestion autonomique de performance, d'énergie et de qualité de service : Application aux réseaux filaires, réseaux de capteurs et grilles de calcul. (Autonomic management of performance, energy consumption and quality of service : Application to wired networks, sensors networks and grid computing facilities)
Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages. (Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés )
Schémas de formules et de preuves en logique propositionnelle. (Formulas and proofs schemas in propositional logic)
Conception et réalisation d'un environnement informatique sur la manipulation directe d'objets mathématiques, l'exemple de Cabri-graphes. (Design and realisation of user-interface on the direct manipulation of mathematic objetcs, extension of Cabri-graphs)
Elaboration et caractérisation d'agents de contraste IRM pour le ciblage des intégrines αvβ3. (Elaboration and characterisation of MRI contrast agents targeting αvβ3)
Communications multi-niveaux sécurisées dans une flotte de terminaux mobiles
Contrôle supervisé, confiance et dialogue. (Supervised control, trust and dialogue)
Computational Methods of Information Geometry with Real-Time Applications in Audio Signal Processing. (Méthodes Computationnelles en Géométrie de l'Information et Applications Temps Réel au Traitement du Signal Audio)
Application-based fault tolerance for numerical linear algebra at large scale. (Tolérance aux pannes basée sur les applications pour l'algèbre linéaire numérique à grande échelle)
IRENE : un langage pour la description, simulation et synthèse automatique du matériel VLSI. (IRENE, a language for VLSI hardware description, simulation and automatic synthesis)
Cherenkov Image Analysis with Deep Multi-Task Learning from Single-Telescope Data. (Analyse d'image Cherenkov à l'aide l'apprentissage profond multitâche à partir des données d'un seul rélescope)
Integration of functions for endoscopy by designing multistable mechanisms produced by additive manufacturing. (Intégration de fonctions pour l'endoscopie par conception de mécanismes multistables produits par fabrication additive)
Total Cost Modeling Of Software Ownership in Virtual Network Functions. (Modélisation du coût total de la propriété du logiciel dans Virtual Network Functions)
Calcul intensif pour l'évaluation de la vulnérabilité en utilisant une approche d'Ingénierie Dirigée par les Modèles: application à la vulnérabilité des prairies au changement climatique sous contraintes de plans d'expériences. (Intensive calculation for vulnerability assessment using a Model Driven Engineering approach: application to prairie vulnerability to climate change under experimental design constraints)