yusuke1997/dblp-id-title huggingface dataset:
Continuous Evaluation Framework for Information Retrieval Systems. (Cadre d'évaluation continue pour les systèmes de recherche d'information)
Vérification semi-automatique de primitives cryptographiques. (Semi-automatic verification of cryptographic primitives)
Développement d'un modèle multi physique multidimensionnel de pile à combustible à membrane échangeuse de proton en temps réel pour système embarqué. (Fuel cell multi physics multidimensional real time model for embded aplication devellopement)
Inférence de liens signés dans les réseaux sociaux, par apprentissage à partir d'interactions utilisateur. (Signed link prediction in social networks, by learning from user interactions)
Apprentissage simultané d'une tâche nouvelle et de l'interprétation de signaux sociaux d'un humain en robotique. (Learning from unlabeled interaction frames)
Relaxations semi-definies positives pour l'imagerie. (Positive semi-definite relaxation for imaging science)
Sparse multidimensional analysis using blind and adaptive processing. (Représentations parcimonieuses et analyse multidimensionnelle : méthodes aveugles et adaptatives)
Convex optimization for data science: continuous-time Lyapunov analyses, geometry dependent matching pursuit and concentration inequalities. (Optimisation convexe pour la science des données: analyses par fonctions de Lyapunov en temps continu, algorithmes de matching pursuit dépendant de la géométrie et inégalités de concentration)
Méthode des éléments finis mixtes et conditions aux limites absorbantes pour la modélisation des phénomènes électromagnétiques hyperfréquences. (Mixed finite element method and absorbing boundary conditions for the modeling of electromagnetic phenomena in hyperfrequency)
Analyse et détection de logiciels de rançon. (Analysis and detection of ransomware)
Estimation des propriétés dynamiques des réseaux cérébraux à large échelle par modèles de masse neurale de potentiels évoqués cortico-corticaux. (Estimation of dynamical properties of large-scale cerebral networks using neural mass models of cortico-cortical evoked potentials)
RoSe : un framework pour la conception et l'exécution d'applications distribuées dynamiques et hétérogènes. (RoSe : A framework for the design and execution of dynamic and heterogeneous distributed applications)
Diagnostic et suivi d'état embarqués - Une étude algorithmique. (Embedded diagnosis and state tracking. An algorithmic study)
Conception d'un aimant supraconducteur MgB₂ à hauts champs. (Design of a MgB₂ high-field superconducting magnet)
Quantitative analysis of animal morphogenesis: from high-throughput laser imaging to 4D virtual embryo in ascidians. (Analyse quantitative de la morphogenèse animale: de l'imagerie laser haut débit à l'embryon virtuel chez les ascidies)
Modélisation et requêtes des documents semi-structurés : exploitation de la structure de graphe. (Using Graph Structure for XML querying)
Automatiser l'architecture ? Savoir-faire et calculabilité dans la pratique des courants computationnels en architecture (1965-2020). (Automating architecture? Know-how and Computability in the Practices of the Computational Field in Architecture, 1965-2020)
Classification de transcriptions orales dans un contexte applicatif peu doté : application du TAL pour l'analyse de verbatim destinée à l'évaluation de l'acceptabilité d'une innovation. (Classification of interview transcripts in a low resource context : application of NLP for verbatim analysis for the evaluation of the acceptability of an innovation)
Modélisation et simulation du comportement mécanique de floes de glace. (Modelling an simulating the mechanical behavior of ice floes)
Deep learning-based methods for 3D medical image registration. (Méthodes d'apprentissage profond pour le recalage 3d d'images médicales)
Méthodologie et architecture adaptative pour le placement efficace de tâches matérielles de tailles variables sur des partitions reconfigurables. (Methodology and adaptative architecture for the effective placement of variable size material tasks on reconfigurable partition)
Développement de méthodes et d'algorithmes pour la caractérisation et l'annotation des transcriptomes avec les séquenceurs haut débit. (Development of methods and tools for the characterization and annotation of the transcriptomes with Next-Generation Sequencing technologies)
Courbes remplissant l'espace et leur application en traitement d'images. (Spacer-filling curves and their application in image processing)
An enhanced multi-protocol middleware solution for Internet of things. (Une solution middleware multiprotocole améliorée pour l'Internet des objets)
Segmentation interactive multiclasse d'images par classification de superpixels et optimisation dans un graphe de facteurs. (Interactive multi-class image segmentation using superpixel classification and factor graph-based optimisation)
Approche passive pour la modélisation, la simulation et l'étude d'un banc de test robotisé pour les instruments de type cuivre. (Passive approach for the modelling, the simulation and the study of a robotised test bench for brass instruments)
Réalisation d'un réseau de neurones "SOM" sur une architecture matérielle adaptable et extensible à base de réseaux sur puce "NoC". (Neural Network Implementation on an Adaptable and Scalable Hardware Architecture based-on Network-on-Chip)
Narra. Un art visuel cognitif, au rythme de la longueur des paragraphes de textes littéraires. (Narra. A cognitive visual art, to the rhythm of paragraph length of literary texts)
Optimisation des architectures IP/MPLS de transport mutualisé. (Optimization of IP/MPLS architectures in mutualized transport)
Revisiter le couplage traitement automatique des langues et recherche d'information
Designing a specific Low Power architecture for blockchain and Smart Contracts operations in IoT platform. (Conception d'une architecture spécifique Low Power pour les accès blockchain et Smart Contracts des plateformes IoT)
Transfer of X-ray phase contrast imaging from the synchrotron to the hospital : development and optimization of modulations-based imaging. (Transfert de l'imagerie X en contraste de phase du synchrotron à l'hôpital : développement et optimisation de l'imagerie par modulations)
Expressive image manipulations for a variety of visual representations. (Manipulations d'image expressives pour une variété de représentations visuelles)
Sécurisation à la compilation de logiciels contre les attaques en fautes. (Securing Software Against Fault Attacks at Compile Time )
New Baseband Architectures Using Machine Learning and Deep Learning in the Presence of Nonlinearities and Dynamic Environment. (Nouvelles architectures en bande de base en utilisant l'apprentissage automatique et apprentissage profond en présence de non-linéarités et d'environnement dynamique)
Optimization of the IT and electrical sizing process of a green, medium-sized datacenter powered exclusively by renewable energy sources, considering environmental and external uncertainty. (Optimisation du dimensionnement informatique et électrique d'un datacenter vert, de taille moyenne, alimenté uniquement par des sources d'énergie renouvelables et en tenant compte de l'incertitude des conditions environnementales et externes)
Analysis of random models for stable matchings. (Analyse de modèles aléatoires pour les matchings stables)
Use of Wireless Sensor Networks for Operational Safety and Industrial Prognosis. (Utilisation des réseaux de capteurs sans fil pour la sûreté de fonctionnement et le pronostic industriel)
Algorithmes incrémentaux pour la théorie de la fonctionnelle de la densité. (Incremental algorithms for Orbital-Free Density Functional Theory)
Détection de comportements à travers des modèles multi-agents collaboratifs, appliquée à l'évaluation de la situation, notamment en environnement asymétrique avec des données imprécises et incertaines. (Behaviour detection through semantically networked multi-agent models, applied to the situation awareness application domain, especially in asymmetric environment with uncertain and imprecise information.)
Combination of tissular multimodal spectro-imaging and optical clearing methods to improve detection depth in skin in vivo. (Combinaison de méthodes de spectro-imagerie tissulaire multimodalités et de clarification optique pour améliorer la profondeur de détection dans la peau in vivo)
Réduction de dimension de sac de mots visuels grâce à l'analyse formelle de concepts. (Dimension reduction on bag of visual words with formal concept analysis)
Contribution à l'optimisation de la planification des tournées de soins pour l'hospitalisation à domicile. (Contribution to the optimization of the planning of routes for home health care structures)
Surviving the massive proliferation of mobile malware. (Survivre à la prolifération massive des malwares sur mobile)
Human Habits Investigation : from Mobility Reconstruction to Mobile Traffic Prediction. (L'étude des habitudes humaines : de la reconstruction de la mobilité à la prédiction du trafic mobile)
Towards archetypes of self-tuned models for connected buildings. (Vers des archétypes de modèles auto-configurables pour le bâtiment connecté)
Functional-input metamodeling : an application to coastal flood early warning. (Métamodélisation à entrées fonctionnelles : une application à des systèmes d'alerte de submersion marine)
Machine PASC-HLL : définition d'une architecture pipe-line pour une unité centrale adaptée au langage PASCAL
Impact des réseaux sociaux sur le processus de recherche d'information. (Impact of social networks on the information retrieval process)
Un Modele De Graphe Spatio-Temporel Pour Representer L'evolution D'entites Geographiques. (A Spatio-Temporal Graph-Based Model For The Evolution Of Geographical Entities)
Subpopulation treatment effect Modeling: machine learning approaches to model treatment effect heterogeneity. (Approches d'apprentissage automatique pour la modélisation des effets d'un traitement sur une sous-population)
Design of a bio-inspired robot for inspection of pipelines. (Conception d'un robot bio-inspiré pour l'inspection des canalisations)
Symbolic Test Generation for Reactive Systems with Data. (Méthodes symboliques pour la génération de tests desystèmes réactifs comportant des données)
Protections des processeurs contre les cyber-attaques par vérification de l'intégrité du flot d'exécution. (Protections of processors against cyber attacks by control flow checking)
Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL
Multi-sources fusion based vehicle localization in urban environments under a loosely coupled probabilistic framework. (Localisation de véhicules intelligents par fusion de données multi-capteurs en milieu urbain)
Métaheuristiques Guidées par l'Apprentissage pour la Coloration de Graphe. (Learning-Guided Metaheuristics for Graph Coloring)
Vers une meilleure utilisabilité des mémoires de traduction, fondée sur un alignement sous-phrastique. (Toward an improved usability of translation memories, based on sub-phrasal alignments)
CHRYSAOR : un Système Tutoriel Intelligent pour les Environnements Virtuels d'Apprentissage Humain. Application à la formation au matériel de laboratoire en hémostase : application à la formation au matériel de laboratoire en hémostase. (CHRYSAOR : a smart tutorial system for virtual learning environments. Application to training in laboratory equipment in hemostasis)
Massively Distributed Clustering via Dirichlet Process Mixture. (Clustering Massivement Distribué via Mélange de Processus de Dirichlet)
Modélisation 2D 1/2 hiérarchique basée sur les cartes planaires : réalisation et évaluation d'une interface graphique utilisant cette modélisation. (A 2D 1/2 Hierarchical Model Based en Planar Maps; Development and Evaluation of a Graphical Interface using this Model)
Enabling white-box reasonings on black-box composition operators in a domain-independent way. (Un modèle de raisonnement pour les opérateurs de composition logicielle décrits en boite noire)
Secure and Verified Cryptographic Implementations in the Random Probing Model. (Implémentations cryptographiques sûres et vérifiées dans le modèle random probing)
Synthèse optimisée sur les réseaux programmables de la famille Xilinx. (Optimized Logical Synthesis on Programmable Devices of Xilinx FPGAs)
On the role of Actions and Machine Learning in Artificial Agent Perception. (Du rôle des Actions et de l'Apprentissage Automatique dans la Perception des Agents Artificiels)
Modélisation et manipulation d'entrepôts de données complexes et historisées
Efficient, predictable, and composable core for time-critical systems. (Cœur de calcul efficace, prédictible et composable pour les systèmes temps-réel critiques)
Deep and statistical learning on audio-visual data for human-machine interface on embedded systems. (Apprentissage profond et statistique sur données audiovisuelles dédié aux systèmes embarqués pour l'interface homme-machine)
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes. (Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés)
La mobilité du code dans les systèmes embarqués. (The Code mobility in embedded systems)
Eléments finis mixtes spectraux et couches absorbantes parfaitement adaptées pour la propagation d'ondes élastiques en régime transitoire. (Mixed spectral finite elements method and perfectly matched layers to model the propagation of elastic waves during time)
Filtrage de séquences d'ADN pour la recherche de longues répétitions multiples. (DNA sequence filtration for the problem of finding long multiple repetitions)
Participation à la conception et la réalisation en LSI de la partie opérative d'une machine intégrée
Génération dynamique de représentations graphiques pour l'aide au raisonnement de l'apprenant : modélisation d'un environnement de conception. (Dynamic generation of graphical representations for the learner help : modeling a design environment)
Numerical simulation of shrinkage and cracks in clayey soils on drying paths. (Simulation numérique du retrait et de la fissuration des sols argileux sur chemins de séchage)
Spatio-Temporal Attention Mechanism for Activity Recognition. (Mécanismes d'Attention Spatio-temporels pour la Reconnaissance d'Activité)
Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems)
Leveraging textual embeddings for unsupervised learning. (Exploiter les plongements textuels pour l'apprentissage non supervisé)
Les décisions didactiques d'un enseignant dans un EIAH : étude de facteurs de type histoire didactique. (Didactic decisions of a teacher in a TEL : didactical history type factor's study)
Detection of atypical events for security in critical infrastructure. (Détection d'évènements atypiques pour la sécurité dans les infrastructures critiques)
Méthodes probabilistes basées sur les mots visuels pour la reconnaissance de lieux sémantiques par un robot mobile. (Visual words based probalistic methods for semantic places recognition)
Estimation and control of urban road traffic with communicating vehicles. (Estimation et régulation du trafic routier urbain avec des véhicules communicants)
A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications. (Un système de coordonnées associé à un échantillon de points d'une variété: définition, propriétés et applications)
Exploitation des statistiques structurelles d'une image pour la prédiction de la saillance visuelle et de la qualité perçue. (Use of image structural statistics for prediction of visual saliency and perceived quality)
Planification inverse de la dose en hadronthérapie : prise en compte de la qualité du rayonnement pour une optimisation de la dose biologique. (Inverse dose planning in hadrontherapy : taking into account the beam quality for an optimization of the biological dose)
Enhancements in Embedded Systems Security using Machine Learning. (Améliorations de la sécurité des systèmes embarqués avec Apprentissage automatique)
Trigraphes de Berge apprivoise's. (Tame Berge trigraphes)
Towards a Better Human-Machine Collaboration in Statistical Translation : Example of Systematic Medical Reviews. (Vers une meilleure collaboration humain-machine en traduction statistique : l'exemple des revues systématiques en médecine)
Assister la coordination flexible de l'activité de construction de bâtiments: Une approche par les modèles pour la proposition d'outils de visualisation du contexte de coopération. (Assisting flexible coordination in building construction activity: A model-based approach to develop new tools for cooperation context vizualisation)
Optimization of radio resource allocation in uplink green LTE networks. (Optimisation de l'allocation des ressources radio le lien montant d'un réseau OFDMA sous contraintes de consommation d'énergie)
Contributions to robust calibration methods in radio astronomy. (Contributions aux méthodes de calibration robuste en radioastronomie)
Méthodologie de passage d'un modèle CAO vers un modèle FAO pour des pièces aéronautiques:Prototype logiciel dans le cadre du projet USIQUICK. (Converting an aeronautical CAD model in a CAM model : software prototype in the framework of the USIQUICK Project)
Ensuring consistency in partially replicated data stores. (Le maintien de la cohérence dans les systèmes de stockage partiellement repliqués)
Caractérisation de l'inclusivité des systèmes de vision par ordinateur basés sur l'apprentissage profond pour les pays du Sud. (Characterising inclusivity of deep learning-based computer vision systems for developing countries)
Un processus de sélection de composants logiciels multi-niveaux
Factor analysis of dynamic PET images. (Analyse factorielle des images TEP dynamiques)
Design and Implementation of Resource Allocation Algorithms for a Network Operating. (Etude et implémentation d'algorithmes de gestion de ressources pour un système d'exploitation de réseau)
Study of the dynamics of spatial point processes in wireless communication networks. (Étude de la dynamique de processus ponctuels spatiaux appliqués aux réseaux de communication sans fil)
A data-driven framework for the deployment of urban air mobility. (Développement d'un cadre de référence guidé par l'utilisation des données pour le déploiement de la mobilité urbaine aérienne)
Perception et contrôle de la distance intervéhiculaire en condition de brouillard : Etude sur simulateur
Analysis and exploitation of mobile traffic datasets. (Analyse et exploitation de données de trafic mobile)
Détection de tendances et prévision de la demande d'articles de mode par les données massives et l'intelligence artificielle. (Trend detection and demand forecasting of fashion items using big data and artificial intelligence)
Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques)
Jeux graphiques et théorie de la démonstration. (Graphical games and proof theory)
The uplink reception and downlink transmission in MU-MIMO for 5G. (La réception en liaison montante et la transmission en liaison descendante en MU-MIMO pour la 5G)
Contribution to the development of a methodology coupling natural language processing and machine learning to react to production disturbances. (Contribution à la définition d'une méthodologie couplant le traitement automatique du langage naturel et l'apprentissage automatique pour réagir aux perturbations de production)
Compilation infrastructure for dataflow programs. (Infrastructure de compilation pour des programmes flux de données)
Elaboration d'un système pédagogique d'assistance à la conception en électrotechnique
Dynamically and Partially Reconfigurable Embedded System Architecture for Automotive and Multimedia Applications. (Reconfiguration dynamique partielle des systèmes embarqués pour les applications de sécurité routière et les applications multimédias)
Étude de représentations parcimonieuses des statistiques d'erreur d'observation pour différentes métriques. Application à l'assimilation de données images
Optimizing Communication Cost in Distributed Query Processing. (Optimisation du coût de communication des données dans le traitement des requêtes distribuées)
A unified spectral/hp element depth-integrated Boussinesq model for nonlinear wave-floating body interaction. (Un modèle Boussinesq intégré en profondeur unifié d'élément spectral/hp pour une interaction nonlinéaire vague-corps flottante)
Designing a supply chain network integrating financial dimensions. (Conception de chaines logistiques avec intégration de la dimension financière)
Supervision et instrumentation à distance, libre et interopérable, du capteur à l'utilisateur. (Supervision and instrumentation: remote, free and interoperable, from sensor to user)
Spectres de processus de Markov. (Markov processes spectrum)
Reconnaissance de symboles techniques et analyse contextuelle de schémas. (Technical symbol recognition and contextual analysis of schematic diagrams)
Une approche centrée sur les contenus pour les réseaux de capteurs. (A content-centric approach for wireless sensor networks)
Towards End-to-end Handwritten Document Recognition. (Vers la reconnaissance de bout-en-bout de documents manuscrits)
Formal Verifcation for Numerical Methods. (Vérification formelle pour les méthodes numériques)
Étude d'un analyseur de surface de la langue naturelle : application à l'indexation automatique de textes. (Study of a surface parser for natural language. Application to automatic indexing of text)
De l'exploitation des réceptions opportunistes dans les mécanismes de relayage pour les réseaux sans-fil. (On the Exploitation of Opportunistic Reception fo the Fowarding Strategy in Wireless Networks)
Sublinear-communication secure multiparty computation. (Calcul multipartite sécurisé avec communication sous-linéaire)
Facilitating Access to Historical Documents by Improving Digitisation Results. (Faciliter l'accès aux documents anciens en améliorant les résultats de la numérisation)
Suivi automatique de nageurs à partir des séquences vidéo : application à l'analyse de performances. (Automatic swimmer tracking using video sequences: application to performance analysis)
Sur quelques algorithmes de recherche de valeurs propres
Connectivity of channelized sedimentary bodies: analysis and simulation strategies in subsurface modeling. (Connectivité de corps sédimentaires chenalisés : stratégies d'analyse et de simulation en modélisation de subsurface)
Digital Twin for the Dynamic Orchestration of Autonomous and Embedded Systems. (Jumeau numérique pour l'orchestration dynamique de systèmes autonomes et embarqués)
Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives: application à la gestion de crise. (Automatic interpretation of heterogeneous data to model collaborative situations: application to crisis management)
Capitaliser les processus d'analyse de traces d'apprentissage: modélisation ontologique & assistance à la réutilisation. (Capitalising analysis processes of eLearning traces: ontological modelisation & reuse assistance)
Algorithmes exacts et exponentiels pour des problèmes de graphes. (Exact exponential algorithms for solving graph problems summary)
Counting queries in ontology-based data access. (Requêtes de comptage pour l'accès aux données en présence d'ontologies)
Bimanual haptic interaction with virtual environments. (Interaction haptique bimanuelle avec des environnements virtuels)
Optimization of closed-loop food supply chain with returnable transport items. (Optimisation de la chaîne logistique agroalimentaire à boucle fermée avec emballages réutilisables)
DAMeSI : un profil pour l'évaluation de performances des systèmes d'automatisation distribués. (DAMeSI : an UML profile dedicated to performances evaluation of distributed manufacturing systems)
A distributed Frank-Wolfe framework for trace norm minimization via the bulk synchronous parallel model. (Une structure Frank-Wolfe distribuée pour la minimisation des normes de trace via le modèle parallèle synchrone en bloc)