yusuke1997/dblp-id-title huggingface dataset:
Implémentation efficace de primitive cryptographique pour le couplage sur carte FPGA. (Efficient implementation of cryptographic primitive for pairing on FPGA board)
Heavy-tailed nature of stochastic gradient descent in deep learning : theoretical and empirical analysis. (Nature à queue lourde de l'algorithme du gradient stochastique en apprentissage profond : analyse théorique et empirique)
Méthodes d'holographie numérique couleur pour la métrologie sans contact en acoustique et mécanique. (Digital color holography methods for contactless metrology in acoustics and mechanics)
Transfert de déformations géométriques lors des couplages de codes de calcul - Application aux dispositifs expérimentaux du réacteur de recherche Jules Horowitz
Sensibilité aux situations de façon collaborativeColloborative Situation Awareness
Formal Probabilistic Verification of Wireless Sensor Networks. (Vérification Formelle Probabiliste des Réseaux de Capteurs sans Fil)
Contribution au développement de l'apprentissage profond dans les systèmes distribués. (Contribution to the development of deep learning in distributed systems)
Multi-GAT semi-supervisé pour l'extraction d'informations et son adaptation au chiffrement homomorphe. (Semi-supervised Multi-GAT for information extraction and its adaptation to homomorphic encryption)
Exploitation de structures de graphe en programmation par contraintes. (On the use of graphs within constraint-programming)
Semantics and Implementation of an Extension of ML for Proving Programs. (Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes)
Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine
Techniques d'ordonnancement et algorithmique parallèle en algèbre linéaire. (Scheduling techniques and parallel algorithms for linear algebra)
Caractérisation de paramètres cosmétologiques à partir d'images multispectrales de peau. (Characterization of cosmetologic data from multispectral skin images)
Développement d'une approche markovienne pour l'analyse de l'organisation spatiale des génomes. (Detecting and modeling isochores in genomes with hidden Markov models)
Statistical learning for image-based personalization of cardiac models. (Apprentissage statistique pour la personnalisation de modèles cardiaques à partir de données d'imagerie)
Analyse et construction de codes LDPC non-binaires pour des canaux à évanouissement. (Analysis and Design of Non-Binary LDPC Codes over Fading Channels)
COMpOSER: a model-driven software product line approach for an effective management of software reuse within software product families and populations. (COMpOSER: une approche de ligne de produits logiciels dirigée par les modèles pour une gestion efficace de la réutilisation logicielle dans des familles et des populations de produits)
Analyse subjective et évaluation objective de la qualité perceptuelle des maillages 3D. (Subjective and objective perceptual quality assessment of 3D meshes)
Phonemic variability and confusability in pronunciation modeling for automatic speech recognition. (Variabilité et confusabilité phonémique pour les modèles de prononciations au sein d'un système de reconnaissance automatique de la parole)
Analyse de la méthylation de l'ADN par séquençage haut-débit chez la Poule
Quality of service support for event detection in wireless sensor network. (Support de la qualité de service dans les réseaux de capteurs sans fil pour la détection d'événements)
Beyond Breast Cancer: The Interplay of Immunity, Comedications, and Comorbidities in Treatment Response and Outcomes. (Au-delà du cancer du sein: l'intéraction entre l'immunité, les comédications et les comorbidités dans la réponse au traitement et survie)
Mécanismes régulant l'utilisation périphérique du glucose- Focus sur le transport de glucose
Instabilités de forme en croissance cristalline. (Shape instabilities in crystals)
Reducing latency and jitter in 5G radio access networks. (Réduction de la latence et de la gigue dans le réseau d'accès radio 5G)
Learning functional brain atlases modeling inter-subject variability. (Apprentissage d'atlas fonctionnel du cerveau modélisant la variabilité inter-individuelle)
Identification de modèles sous forme de représentation d'état pour les systèmes à sortie binaire. (Model identification as state representation for binary output systems)
Dynamic Reconfiguration of Service-oriented Architectures. (Reconfiguration dynamique des architectures orientées services)
Machines de Mealy, (semi-)groupes d'automate, problèmes de décision et génération aléatoire. (Mealy Machines, automaton (semi)groups, decision problems and random generation)
TOM, une architecture connexionniste de traitement de séquences: eapplication à la reconnaissance de la parole. (TOM, a connectionist architecture for sequence processing: application to speech recognition)
Contributions to Plane-based and Deformable 3D Reconstruction from Monocular Images. (Contributions à la reconstruction 3D basée sur des plans et déformable à partir d'images monoculaires)
Quelques méthodes statistiques en contrôle de qualité
Simulation du fonctionnement logique de FELIN : algorithmes de calcul simultané de racines de polynômes. (Logical functionning simulation of FELIN. Simultaneous computation algorithms of roots of polynomials)
Etude de la connaissance dans le cadre d'observations partielles : La logique de l'observation. (The Study of Knowledge from Partial Observation: The Observation Logic)
Approche méthodologique de la mise en place d'un réseau multiservice
Space-Time Discretization of Elasto-Acoustic Wave Equation in Polynomial Trefftz-DG Bases. (Discrétisation Espace-Temps d'Équations d'Ondes Élasto-Acoustiques dans des Bases Trefftz-DG Polynomiales)
Analysis and design of quality link metrics for routing protocols in Wireless Networks. (Analyse et conception des métriques de qualité de liens et routage dans les réseaux sans fil)
Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables. (Design and implementation of schizophrenic middleware for interoperable distributed applications)
P-doped semiconducting polymers : process optimization, characterization and investigation of air stability. (Polymères semi-conducteurs dopés p : optimisation du procédé, caractérisation et étude de la stabilité à l'air)
Plate-forme ouverte pour contenus et traitements multimédias en ligne. (Open platform for multimedia contents and processing on line)
Application-Level Virtual Memory for Object-Oriented Systems. (Un gestionnaire de mémoire virtuelle contrôlé par les applications à objets)
Modélisation et identification géométrique de robots utilisés pour des opérations d'usinage. (Modeling and geometric identification of robots used for machining operations)
3D analysis of bone ultra structure from phase nano-CT imaging. (Analyse 3D de l'ultra structure ultra osseuse par nano-CT de phase)
Modélisation multi-échelles de la contraction musculaire: De la dynamique stochastique des moteurs moléculaires à la mécanique des milieux continus. (Multi-scale modeling of muscle contraction: From stochastic dynamics of molecular motors to continuum mechanics)
Planification de mouvement pour tiges élastiques. (Motion planning for elastic rods )
Fusion de données crédibilistes dans le cadre de l'intelligence ambiante. (Credibilist data fusion in the ambiant intelligence framework)
Cheops reloaded, further steps in decoupling geo-distribution from application business logic : a focus on externalised sharding collaboration, consistency and dependency. (Cheops reloaded, nouvelles avancées dans le découplage de la géo-distribution de la logique métier des applications)
Methodologie pour une mise en oeuvre efficace du test indirect pour circuits intégrés analogique/RF. (Methodology for efficient Implementation of Indirect testing for analog/RF integrated circuits)
Virtual human technologies for cognitively-impaired older adults' care : the LOUISE and Virtual Promenade experiments. (Technologies d'humains virtuels dans le soin aux personnes âgées atteintes de troubles cognitifs : les expériences LOUISE et Virtual Promenade)
Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory)
Prédiction par Deep Learning de la réponse complète après radiochimiothérapie pré-opératoire du cancer du rectum localement avancé. (Deep learning to predict pathologic complete response to neoadjuvant chemoradiation in locally-advanced rectal cancer)
Microclouds : an approach for a network-aware energy-efficient decentralised cloud. (Microclouds : une approche pour un cloud décentralisé prenant en compte les ressources réseau et efficace en énergie)
Computing Tools for HPDA: a Cache-Oblivious and SIMD Approach. (Outils de calculs pour le HPDA: approche Cache-Oblivious et SIMD)
Indicateurs de dépendance entre deux variables aléatoires fournis par le développement en série de la densité de probabilité
Cadre unifié pour la modélisation des incertitudes statistiques et bornées: application à la détection et isolation de défauts dans les systèmes dynamiques incertains par estimation. (A unified framework for modeling statistical and bounded uncertainties: application to fault detection and isolation of uncertain dynamic systems via estimation)
Component-based Software Architectures and Multi-Agent Systems: Mutual and Complementary Contributions for Supporting Software Development. (Architectures logicielles à base de composants et systèmes multi-agents : contributions mutuelles et complémentaires pour supporter le développement logiciel)
Defense against software exploits. (Défense contre les attaques de logiciels)
Utilisation de ressources externes dans un modèle Bayésien de Recherche d'Information. Application à la recherche d'information multilingue avec UMLS. (Use of external resources in a Bayesian model of Information Retrieval. Application to multilingual information retrieval with UMLS)
Contributions à la commande de bras manipulateurs de robot sous-marin pour la manipulation à grande profondeur d'échantillons biologiques déformables. (Contributions to the Coordinated Control of Two Robotic Arms for Underwater Manipulation of Deformable Biological Specimens)
Automatic Analysis of Elite Swimming Race Videos. (Analyse Automatique de Vidéos de Course de Natation Elite)
Data Collection and Transmission in the Internet of Things. (Collecte et Transmission de Données dans l'Internet des Objets)
Towards Performance Prediction of Compositional Models in GALS Designs. (Vers la prédiction de performance de modèles compositionnels dans les architectures GALS)
Survivale Network Design Problems with High Connectivity Requirement
Apprentissage de préférences en espace combinatoire et application à la recommandation en configuration interactive. (Preferences learning in combinatorial spaces and application to recommandation in interactive configuration)
Privacy model for federated identity architectures. (Modèle de respect de la vie privée dans une architecture d'identité fédérée)
Une approche d'aide multicritère à la décision pour l'évaluation du confort dans les trains : construction d'un modèle d'évaluation. (A multiple criteria decision aiding tool for evaluating the overall comfort on board trains)
Supporting music composition with interactive paper. (Le papier interactif pour la composition musicale)
Advancing Blockchain-based Reputation Systems : Enhancing Effectiveness, Privacy Preservation, and Scalability. (Vers des systèmes de réputation basés Blockchain améliorés : Efficacité, protection de la vie privée et évolutivité)
High Dimensional Graph Theoretical Approaches for Various Omics Data. (Approches de théorie des graphes d'ordre supérieur pour diverses données omiques)
Metaheuristics for large binary quadratic optimization and its applications. (Métaheuristiques pour l'optimisation quadratique en 0/1 à grande échelle et ses applications)
Nouvelle modélisation multiparticulaire pour l'analyse des efforts dans les plaques composites multicouches impactées
Prédiction de comportement des algorithmes coopératifs dans les réseaux véhiculaires. (Prediction of performances for cooperative algorithms in vehicular networks)
Détection de Changement en Imagerie Radar. (Change Detection in inSAR imagery Processing of long time series)
Class-Add, une procédure de sélection de variables basée sur une troncature k-additive de l'information mutuelle et sur une classification ascendante hiérarchique en pré-traitement
Deep learning based phase retrieval for X-ray phase contrast imaging. (Récupération de phase basée sur l'apprentissage profond pour l'imagerie à contraste de phase par rayons X)
De l'IoT à l'IoT-a : une approche pour des communications dynamiques : interactions autour d'un mur d'écrans connectés. (From IoT to IoT-a : an approach for dynamic communications : interactions around a wall of connected screens)
Synthèse de commande pour des réseaux de communication énergétiquement performants. (Control design for energy aware communication networks)
Definition et Applications des Extensions desFonctions Reelles aux Intervalles Généralisés; reformulation de la theorie des intervalles modaux
Development and validation of a Bayesian measurement technique for data-driven measurement reduction. (Développement et validation d'une technique de mesure bayésienne pour une réduction des mesures basée sur les données)
Parallel and distributed algorithms for pattern matching in big graphs. (Algorithmes parallèles et distribués pour le matching dans les grands graphes)
Etude comparative fréquentielle de l'ablation intracardiaque : Modélisation et caractérisation de sondes d'ablation cardiaque micro-ondes. (Comparative study of frequency for cardiac ablation : simulation and characterization of microwave probe for cardiac ablation)
Modélisation hybride temporelle et analyse par contraintes des réseaux de régulation biologiques
Étude bioinformatique des protéines PfK13 et PfCRT impliquées dans la résistance de Plasmodium falciparum aux antipaludiques. (Bioinformatics analyses of the PfK13 and PfCRT proteins involved in the resistance of Plasmodium falciparum to antimalarial drugs)
Environmental multiway data mining. (Fouille de données tensorielles environnementales)
Assemblage testable et validation de composants. (Testable assembly of components)
Un cadre quantitatif pour la Ludique. (A quantitative Ludics framework)
Anti-Aliased Low Discrepancy Samplers for Monte Carlo Estimators in Physically Based Rendering. (Échantillonneurs basse discrepance anti aliassés pour du rendu réaliste avec estimateurs de Monte Carlo)
Une algèbre de processus : pour un calcul basé sur la déduction. (A process algebra for a deduction based computation)
Approches outillées pour le développement de systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité. (Approaches and tool for the development of interactive systems integrating dependability and usability aspects)
Un sous-système de recherche géométrique et d'équivalence pour la CAO de circuits intégrés VLSI. (Geometrical and equivalence searching sub-system for CAD of VLSI integrated circuits)
Adaptabilité et reconfiguration des systèmes temps-réel embarqués. (Adaptability and reconfiguration for embedded and real-time systems)
Computer aided diagnosis of epilepsy lesions based on multivariate and multimodality data analysis. (Recherche de biomarqueurs par l'analyse multivariée d'images paramétriques multimodales pour le bilan non-invasif préchirurgical de l'épilepsie focale pharmaco-résistante)
Οnbοard/οffbοard extended perceptiοn fοr autοnοmοus navigatiοn. (Onboard/offboard extended perception for autonomous navigation)
Understanding and designing animations in the user interfaces. (Comprendre et concevoir les animations dans les interfaces graphiques)
Modèles homogénéisés enrichis en présence de bords : Analyse et traitement numérique. (Enriched homogenized models in presence of boundaries : analysis and numerical treatment)
Étude des problèmes d'ordonnancement sur des plates-formes hétérogènes en modèle multi-port. (Study of Scheduling Problems Under the MultiPort Model on Heterogeneous Platforms)
Software security: combining fuzzing and symbolic methods for vulnerability detection. (Fuzzing et méthodes symboliques pour la détection de vulnérabilités à large échelle)
Des ressources aux traitements linguistiques : le rôle d'une architecture linguistique. (The Role of a Linguistic Architecture in Language Processing and its Resources)
Unsupervised multi-sequence appliance identification. (Identification multiséquence non supervisée des appareils électroménagers)
Modélisation et simulation du comportement de particules dans des écoulements de fluides confinés: application aux machines de semis. (Mathematical model and numerical simulation of the behavior of particles in fluid flows confined: application to seed drills)
Exploration de la structure des échantillons pour les applications de Monte Carlo. (Exploration of the structure of sample for Monte Carlo applications)
Advanced deep neural networks for MRI image reconstruction from highly undersampled data in challenging acquisition settings. (Réseaux de neurones profonds avancés pour la reconstruction d'images IRM à partir de données fortement sous-échantillonnées dans des contextes d'acquisition complexes)
GeNCA : un modèle général de négociation de contrats entre agents. (GeNCA: a general contract-based negotiation between agents model)
Analyse des constructions à double nominatif/accusatif par l'opération de restructuration en coréen Classification syntaxique des constructions à adjectifs sôngsang
Risques et perspectives du big data et de l'intelligence artificielle : approche éthique et épistémologique. (Risks and perspectives of big data and artificial intelligence : ethical and epistemological approach)
Synthèse de règles de sécurité pour des systèmes autonomes critiques. (Synthesis of safety rules for critical autonomous systems)
Inversion of geophysical data by deep learning. (Inversion de données géophysiques par apprentissage profond)
A model-driven framework development methodology for robotic systems. (Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques)
Quelques Contributions à la Stabilisation Instantanée. (Some Contributions to Snap-Stabilization)
Analyse et évaluation de structures orientées document. (Analysis and evaluation of document oriented structures)
Query evaluation with constant delay. (L'évaluation de requêtes avec un délai constant)
Liveness Properties under Fairness Assumptions and Semantics of Systems in event B. (Propriétés de vivacité sous conditions d'équité etsémantique des systèmes d'événements avec la méthode B)
Quelques proprie'te's topologiques des graphes et applications à Internet et aux re'seaux. (On some topological properties of graphs and application to communication networks)
Modélisation stochastique de processus pharmaco-cinétiques, application à la reconstruction tomographique par émission de positrons (TEP) spatio-temporelle. (Stochastic modeling of pharmaco-kinetic processes, applied to PET space-time reconstruction)
Implantation automatisée de circuits précaractérisés et prédiffusés. (Automatic placement of precharacterized and prediffuset circuits)
L'analyse compare'e des ge'nomes : applications à l'identification de nouveaux gènes canins. (Whole genome comparative analysis: Towards the identification of new genes in dogs)
Caracterisation de Textures et Segmentation pour la recherche d'images par le contenu. (Texture characterization and Segmentation for Content Based Image Retrieval)
Two complementary approaches in multi-parameter persistence: interval-decompositions and constructible functions. (Deux approches complémentaires de la persistance multiparamétrique: décompositions en intervalles et fonctions constructibles)
Dynamic cubing for hierarchical multidimensional data space. (Cube de données dynamique pour un espace de données hiérarchique multidimensionnel)
Spectral two-level preconditioners for sequences of linear systems. (Préconditioneurs spectraux deux niveaux pour des systèmes linéaires données en séquence)
Simulation du comportement de suivi dans une foule de piétons à travers l'expérience, l'analyse et la modélisation. (Simulating following behavior in a pedestrian crowd throughout experimentation, analysis and modeling)
Conception d'un système d'alerte embarqué basé sur les communications entre véhicules. (Conception of an embarked alarm system based on the communications between vehicles)
Interactive Physical Simulation on Multi-core and Multi-GPU Architectures. (Simulations Physiques Interactives sur des Architectures Multi-Core et Multi-GPU)
Implementation of optical feedback interferometry for sensing applications in fluidic systems. (Implémentations de l'interférométrie par réinjection optique pour les applications de métrologie dans les systèmes fluidiques)
Dealing with interdependent activities, uncertain durations, and semantic interoperability in multi-agent plans temporal coordination. (Prise en compte des activités interdépendantes, des durées incertaines et de l'interopérabilité sémantique dans la coordination temporelle des plans muti-agents)
Estimation et analyse de champs denses de vitesses d'écoulements fluides. (Estimation and analysis of dense fluid flows)
Cohérence et robustesse dans un système multiagent perturbé : application à un système décentralisé de collecte d'information distribué. (Consistency and robustness in multi-agent systems disturbed : application to a decentralized system for collecting distributed information)
Global investigation of marine atmospheric boundary layer rolls using Sentinel-1 SAR data. (Analyse globale des rouleaux de la couche limite atmosphérique marine à l'aide de données SAR Sentinel-1)
Proposal of an innovative method to implement, measure, and validate the security level of a system based on system modelling. (Proposition d'une nouvelle technique pour implémenter, mesurer et valider le niveau de sécurité d'un système basé sur la modélisation du système)
Combinatoire analytique et algorithmique des ensembles de données. (Multivariate holonomy, applications in combinatories, and analysis of algorithms)
Mise en contexte de la conscience de groupe : adaptation et visualisation. (Group awareness in context? : adaptation and visualisation)
Development of a data assimilation method for the calibration and continuous update of wind turbines digital twins. (Développement d'une méthode d'assimilation de données pour la calibration et la mise à jour en continu de modèles fidèles d'éoliennes)
Metrics for security activities assisted by argumentative logic. (Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative)
Decisional issues during human-robot joint action. (Processus décisionnels lors d'action conjointe homme-robot)
Décomposition modulaire des graphes. Théorie, extension et algorithmes. (Graph Modular Decomposition. Theory, extension and algorithms)
Contribution à la réalisation d'un prototype d'analyseur différentiel digital
Breathing motion detection in computed tomography using data consistency conditions. (Détection de mouvement respiratoire en tomodensitométrie par l'utilisation des conditions de cohérence des données)
Développement et implémentation de modèles apprenants pour l'exploitation des grandes gares. (Development and implementation of learning models for railway operations in main stations)
Flot de conception dirigé par les modèles pour la commande et la supervision de systèmes domotiques d'assistance. (Model-driven flow for assistive home automation systems control and supervision)
Conception Interactive en Design Sonore. (Interactive Methods for Sound Design)
Coordination et planification de systèmes multi-agents dans un environnement manufacturier. (Coordination and motion planning of multi-agent systems in manufacturing environment)