yusuke1997/dblp-id-title huggingface dataset:
Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation)
Contributions en compression d'images médicales 3D et d'images naturelles 2D. (Contributions in 3D medical imaging and 2D image compression)
Représentation du signal de parole par une somme de fonctions élémentaires. (Elementary waveform speech signal representation)
Algorithmique parallèle du texte : du modèle systolique au modèle CGM
Etude des compromis entre sécurité et disponibilité des systèmes embarqués communicants. (Study of the trade-offs between Security and Availability of communicating embedded systems)
Deep Learning for Near-duplicated Patterns Discovery and Alignment in Artworks. (Apprentissage en profondeur pour la découverte et l'alignement de motifs quasi-dupliqués dans les œuvres d'art)
Soft Sensors For Complex Systems. (Capteurs logiciels pour systèmes complexes)
Towards an Interactive Human-Robot Relationship: Developing a Customized Robot Behavior to Human Profile. (Vers une relation Homme-Robot Interactive : développement d'un comportement du Robot adapté au Profil de l'Homme)
Optimisation sous contraintes par intelligence collective auto-adaptative. (Strong combination of ant colony optimization with constraint programming optimization)
Active self-diagnosis in telecommunication networks. (Auto-diagnostic actif dans les réseaux de télécommunications)
Matrix Algebraic Systems and Application to DAGS Cryptanalysis. (Systèmes algébriques matriciels et applicatiοn à la cryptanalyse de DAGS)
Etude de nouveaux caractères biométriques de la main dans un contexte Télécom. (Study of new biometric characters of the hand in a context Telecom)
Analyse et traitement des images dans le domaine chiffré. (Image analysis and processing in the encrypted domain)
Graph representation and mining applied in comic images retrieval. (Représentation par graphes et fouille de graphes : application à la recherche d'images de bandes dessinées par le contenu)
Planification en Distribution Urbaine : Optimisation des tournées dans un contexte collaboratif. (Planning in Urban Distribution : Optimizing tours in a collaborative context)
Informations morpho-syntaxiques et adaptation thématique pour améliorer la reconnaissance de la parole
Autonomous Service Execution Driven by Service-Level Agreements. (Gestion autonome des services dirigée par des accords au niveau des services)
Finding Digital convexity. (Le monde de la Convexité DiscrèTE)
Apprentissage automatique pour la caractérisation et l'analyse de la dynamique de la cryosphère par imagerie satellitaire radar. (Machine learning for the characterization and analysis of cryosphere dynamics using satellite radar imagery)
Augmented reality : the fusion of vision and navigation. (La réalité augmentée : fusion de vision et navigation)
Machine learning for fetal ultrasound image analysis using privileged information. (Machine learning pour l'analyse d'échographies fœtales avec l'utilisation d'information privilégiée)
Integration of textual data for the detection of natural risks in agriculture. (Intégration de données textuelles pour la détection des risques naturels en agriculture)
Méthodes du noyau pour l'analyse des données de grandes dimensions. (Kernel Methods for High Dimensional Data Analysis)
Série-parallélisation des graphes
Analyse prédictive des données d'apprentissage, en situation d'enseignement à distance. (Predictive analysis of learning data, in distance learning situations)
Sketching and annotation for the procedural modelling of complex phenomena. (Croquis et annotation pour la modélisation procédural de phenomènes complexe)
Contribution à l'étude de l'Éducation algorithmique chez les apprenants du secondaire à l'aide d'analyses statistiques implicativesselon MGK. (Contribution to the study of Algorithmic Education in secondary school learners using implicative statistical analysisbased onMGK / Fandraisan'anjara amin'ny fandalinana ny fampianarana algorithmika amin'ny mpianatra amin'ny ambaratonga faharoa amin'ny fampiasana sava atontan'isa misy fitarihana araka ny MGK)
On Algebraic Foundations for the Optimization of Iterative Programming with Distributed Data Collections. (Fondements algébriques pour l'optimisation de la programmation itérative avec des collections de données distribuées)
Co-manipulation sûre d'un robot de protonthérapie. (Safe pHRI for protontherapy robot)
Expressive Sampling Synthesis - Learning Extended Source-Filter Models from Instrument Sound Databases for Expressive Sample Manipulations. (Synthèse et transformation des sons basés sur les modèles de type source-filtre étendu pour les instruments de musique)
A structural study of lattices, d-lattices and some applications in data analysis. (Une étude structurelle des treillis, d-treillis, et quelques applications en analyse de données)
Probabilistic graphical models: theory and applications to network diagnosis. (Les modèles probabilistes graphiques: théorie et application au diagnostic réseau)
Le traitement par lots dans un réseau hétérogène - implémentation du serveur OS/MVT sur IBM 360/67 pour le réseau CYCLADES
Structured learning with latent trees: a joint approach to coreference resolution
The Survivable Network Design Problems with High Node-Connectivity Constraints : Polyhedra and Algorithms. (Conception de réseaux fiables avec fortes contraintes de sommet-connexité : Étude polyédrale et Algorithmes)
Géométrie d'un système de N caméras : théorie, estimation et applications. (Geometry of a System of n Cameras. Theory. Estimation. Applications)
Conception et réalisation d'un solveur pour les problèmes de dynamique des fluides pour les architectures many-core. (Design of generic modular solutions for PDE solvers for modern architectures)
Assessment and optimization of post-quantum cryptographic protocols for civil UAV communications. (Évaluation et optimisation de protocoles cryptographiques post-quantiques pour les drones civils)
Towards Vision-Based Autonomous Cross-Country Soaring for UAVs. (Vers le vol à voile longue distance pour drones autonomes)
Connected cars : a networking challenge and a computing resource for smart cities. (Voitures connectées : un défi de réseautage et une ressource de calcul pour les villes intelligentes)
Répartition de flux dans les réseaux de contenu, application à un contexte satellite. (Flow distribution in content networks, application to a satellite context)
Deep Learning for anomaly detection in industry 4.0. (Apprentissage profond pour la détection des anomalies dans l'industrie 4.0)
Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique)
Modèles algébriques pour le parallélisme vrai et le raffinement d'actions. (Algebraic models for true-concurrency and action refinement)
OntoQL, un langage d'exploitation des bases de données à base ontologique. (OntoQL, an exploitation language for ontology-based databases)
Safety-Bag pour les systèmes complexes. (Safety-Bag for complex systems)
Biostatistical Algorithms for OMICS Data in oncology. Application to DNA copy number microarray Experiments
Strategic compression for multi-user Bayesian Persuasion. (Compression stratégique pour persuasion Bayesienne multi-user)
Algorithm Selection for Multi-Objective Optimization. (Sélection d'Algorithme pour l'Optimisation Multi-Objectif)
Conception de systèmes de reconnaissance d'activités humaines. (Design of human activity recognition systems)
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair. (Efficient interconnection and routing for decentralized searching in peer-to-peer systems)
Conception d'une machine virtuelle pour les systèmes parallèles à diffusion. (Designing a Virtual Machine for Diffusing Parallel Systems)
Methods for large volume image analysis Applied to Early detection of Alzheimer's disease by analysis of FDG-PET scans. (Méthodes pour l'analyse de grands volumes d'images appliquées à la détection précoce de la maladie d'Alzheimer par analyse de PDG-PET scans)
Approche incrémentale des preuves automatiques de terminaison. (Incremental Approach for Automated Termination Proofs)
Cross-layer self-diagnosis for services over programmable networks. (Auto-diagnostic multi-couche pour services sur réseaux programmables)
Modèles neuronaux joints de désambiguïsation lexicale et de traduction automatique. (Joint Neural Models of Word Sense Disambiguation and Machine Translation)
Définitions et caractérisations de modèles à base d'analogies pour l'apprentissage automatique des langues naturelles. (Analogy-Based Models for Natural Language Learning)
Vers la définition d'un modèle cognitif autour de la représentation du temps dans un système de dialogue Homme-Machine
Stéréovision embarquée sur véhicule : de l'auto-calibrage à la détection d'obstacles
Alignement automatique de textes parallèles Français-Japonais
Neurochirurgie guidée par l'image : visualisation mixte et quantification des déformations cérébrales peropératoiresà l'aide de reconstructions stéréoscopiques de la surface corticale. (Image Guided neurosurgery: mixed visualisation and quantification of intraoperative brain deformations using stereoscopic reconstructions of the cortical surface)
Coopeer : une architecture d'égal à égal pour la conception collaborative - Méthode optimiste de résolution automatique des conflits pour la cohérence de données répliquées. (Coopeer: A Peer-to-Peer Architecture for Collaborative Design - Optimistic Method Implementing Automatic Conflict Resolution for Replicated Data Consistency)
Conception et réalisation d'un architecture multi-microprocesseur flexible : application au contrôle de processus industriel
Analyse harmonique et Estimation spectrale sur la Sphère.Applications à l'étude du Fond diffus cosmologique. (Harmonic analysis and Spectral estimation on the Sphere.Applications to the study of the Cosmic Microwave Background)
Ride the supercoiling: Evolution of supercoiling-mediated gene regulatory networks through genomic inversions. (Conduire la superhélicité: Évolution des réseaux de régulation des gènes médiés par le superenroulement grâce aux inversions génomiques)
Gestion temps réel de la qualité d'une ligne d'embouteillage, apport de la méthode de maîtrise statistique des procédés. (Real time quality management of a bottling line, contribution of the statistical process control method)
Contribution to the kinematic modeling and control of soft manipulators using computational mechanics. (Contribution à la modélisation cinématique et au contrôle de manipulateurs déformables, fondée sur la mécanique numérique)
Analyse de la vulnérabilité humaine dans les systèmes de systèmes socio-techniques. (Analysis of human vulnerability in socio-technical systems of systems)
Émotions et apprentissage en situation tutorale au travail : [Le cas d'agents de soin mortuaire]. (Emotions and learning tutoring situation at work : the case of mortuary care agents)
Planning Optimal Motions for Anthropomorphic Systems. (Planification de Mouvements Optimaux pour des Systèmes Anthropomorphes)
Intégration des préférences d'un opérateur dans les décisions d'un drone autonome et élicitation incrémentale de ces préférences. (Integration of an operator's preferences into the decisions of an unmanned aerial vehicle and incremental elicitation of these preferences)
Static and dynamic haptic feedback using time reversal and electrovibration stimulations. (Retour tactile statique et dynamique utilisant le retournement temporel et l'électrovibration)
Apport de l'imagerie multimodale à l'étude de l'angiogenèse et du métabolisme des tumeurs liées aux mutations SDHB. (In vivo multimodality imaging for the study of angiogenesis and metabolism in SDHB-mutated tumors)
Étude des mécanismes de résistance du VIH-2 pour les inhibiteurs de protéase en utilisant des approches de bioinformatique structurale. (Study of HIV-2 resistance mechanisms against protease inhibitors by using structural bioinformatic approaches)
Calcul exact des formes de Jordan et de Frobenius d'une matrice. (Exact computation of the Jordan and Frobenius forms of a matrix)
FlowVR : calculs interactifs et visualisation sur grappe. (FlowVR : interactive computations and cluster-based visualization)
Artificial neural networks with radio-frequency spintronic nano-devices. (Réseaux de neurones artificiels avec des nano-dispositifs spintroniques RF)
Une Approche Générique pour la Reconfiguration Dynamique des Applications à base de Composants Logiciels. (Generic Approach for the Dynamic Reconfiguration of Component-based Software)
Privacy risk analysis of large-scale temporal data : application to electricity consumption data. (Analyse des risques liés à la publication de données temporelles : application aux données de consommation électriques)
Synthèse d'une solution GNC basée sur des capteurs de flux optique bio-inspirés adaptés à la mesure des basses vitesses pour un atterrissage lunaire autonome en douceur. (Design of a GNC Solution based on Bio-Inspired Optic Flow Sensors adapted to low speed measurement for an Autonomous Soft Lunar Landing)
Digital Sufficiency in Data Centers : Studying the Impact of User Behaviors. (Étude de comportements de sobriété dans les centres de calculs)
Analyse probabiliste de protocoles de population. (Probabilistic Analysis of Population Protocols)
Métabolisme des lipides dans la semence de dindon. Conséquences sur la conservation des spermatozodes
Analysis of Synchronizations In Greedy-Scheduled Executions - Application to Efficient Generation of Pseudorandom Numbers in Parallel. (Analyse des synchronisations dans un programme parallèle ordonnancé par vol de travail. Applications à la génération déterministe de nombres pseudo-aléatoires)
Privacy preserving location based services : From centralized to federated approaches. (Services basés sur la localisation préservant la confidentialité : Des approches centralisées aux approches fédérées)
Modèlisation et détection de la persévérance en milieu scolaire en contexte informatique. (Modelling and detect school perseverance in a computer context)
A memory hierarchy protected against side-channel attacks. (Une hiérarchie mémoire protégée contre les attaques par canaux auxiliaires)
Sequential Learning in a strategical environment. (Apprentissage séquentiel dans un environnement stratégique)
Interaction entre Deux Facteurs
Hybrid metaheuristic algorithms for sum coloring and bandwidth coloring. (Métaheuristiques hybrides pour la somme coloration et la coloration de bande passante)
Deep learning architectures for automatic detection of viable myocardiac segments. (Architectures d'apprentissage profond pour la détection automatique de segments myocardiques viables)
Security of cryptographic protocols and data structures : design and optimisation. (Sécurité des protocoles et structures de données : modélisation et optimisation)
Localisation de mobiles par construction de modèles en 3D en utilisant la stéréovision. (Mobile localization by 3D Model Reconstruction Based on Stereovision)
Reconstruction de défauts à partir de données issues de capteurs à courants de Foucault avec modèle direct différentiel. (Eddy current tomography with a differential forward model)
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées. (Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints)
Assimilation de données pour les modèles d'hydraulique fluviale. Estimation de paramètres, analyse de sensibilité et décomposition
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages. (Garanties formelles pour la génération de code critique : L'affaire des langages fortement variables)
Synthèse automatique d'interfaces de communication matérielles pour la conception d'applications du domaine du traitement du signal. (Automatic synthesis of hardware communication interfaces for Data Signal Processing applications)
Recalage de structures tridimensionnelles à partir d'acquisitions stéréo-radiographiques basse dose. Application à l'estimation de mouvements humains. (Registration of 3D structures based on low-dose stereo-radiographic acquisitions - Application to the estimation of human movements)
Approche fondée sur les modèles pour java temps-réel. (A model driven approach for real-time java)
Architectures of self-controllable digital operators. (Architectures d'opérateurs numérique auto-contrôlables)
Relations publiques et Exploitation des RéSeaux sociaux NUMéRiques en gestion des Crises: quels Rôles de Facebook pour les gestionnaires FrançAIS, et comment Exploiter CE canal de FAçon pertinente ? (Communicate and Exploit Digital Social Networks in Crisis Management: What are the Facebook Capacities for French Managers, and How to Exploit this Medium in a Relevant Way ?)
CBR4WSD : Une approche de découverte de services Web par Raisonnement à Partir de Cas. (CBR4WSD: A CBR based approach for Web service discovery)
Leveraging model-based product lines for systems engineering. (Exploitation des lignes de produits fondées sur les modèles pour l'ingénierie système)
Multilayer Graph Embeddings for Omics Data Integration in Bioinformatics. (Plongement de graphes multicouches pour l'intégration de données omiques en bioinformatique)
Reliable and Communication-Efficient Federated Learning for Future Intelligent Edge Networks. (Apprentissage fédéré fiable et efficace en termes de communication dans les futurs réseaux intelligents)
Parameterized and Algebro-geometric Advances in Static Program Analysis. (Progrès paramétriques et algébro-géométriques dans l'analyse statique des programmes)
Wideband and superdirective small antennas with embedded optimized loads using the characteristic modes theory. (Antennes miniatures, large bande et superdirectives à charges optimisées par l'analyse des modes caractéristiques)
Une Approche Hybride de Simulation-Optimisation Basée sur la fouille de Données pour les problèmes d'ordonnancement. (A Hybrid Simulation/Optimization Approach to Scheduling Control using Data Mining)
Design and evaluation of sparse models and algorithms for audio inverse problems. (Conception et évaluation de modèles parcimonieux et d'algorithmes pour la résolution de problèmes inverses en audio)
Improving the Hybrid model MPI+Threads through Applications, Runtimes and Performance tools. (Amélioration du modèle hybride MPI+Threads à travers les applications, les supports d'exécution et outils d'analyse de performance)
Interaction entre symbolique et numérique : application à la vision artificielle. (Interaction between Symbolic and numerical Computation; Application to Computer Vision)
Intégration de données basée sur la qualité pour l'enrichissement des sources de données locales dans le Service Lake. (Quality-based Data Integration for Enriching User Data Sources in Service Lakes)
Rearrangement problems with duplicated genomic markers. (Problèmes de réarrangement avec marqueurs génomiques dupliqués)
Méthodes de projection pour des écoulements à seuil, incompressibles et à densité variable. (Projection methods for incompressible viscoplastic flows with variable density)
Combinatoire et algorithmique des factorisations tangentes à l'identité. (Combinatorics and algorithms for factorizations tangent to the identity)
Effects of heat stress and β-carotene supplementation on postpartum reproductive performance in dairy cows. (Effets d'un stress thermique et d'une supplémentation en β-carotène sur les performances post-partum de vaches laitières)
Un cadre général de causalité basé sur les traces pour des systèmes à composants. (A general trace-based causality analysis framework for component systems)
Techniques d'interaction 'phygitales' pour l'exploration de systèmes informationnels complexes. (Interaction Techniques for Exploring Complex Data Spaces)
Composed task graph's dynamic scheduling. (Ordonnancement dynamique de graphe de tâches par composition)
Du raisonnement social chez les agents : une approche fondée sur la théorie de la dépendance
Stability analysis for controller switching in autonomous vehicles. (Analyse de stabilité pour la reconfiguration de contrôleurs dans des véhicules autonomes)
Efficient Information Dissemination in Wireless Multi-hop. (Efficace de diffusion de l'information sans fil multi-hop Réseaux)
Harvesting commonsense and hidden knowledge from web services. (Collecte de connaissances cachées et du sens commun à partir de services web)
Deep Learning for Action Recognition in Videos. (Apprentissage profond pour la reconnaissance d'actions en vidéos)
Model-Based Testing for IoT Systems: Methods and tools. (Based Testing for IoT Systems pour les systèmes IoT: Méthodes et outils)
Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement. (A hardware-accelerated information flow control monitor by joint use of static and dynamic analysis)
Optical Encryption Techniques for Color Image and Hyperspectral Data. (Techniques de chiffrement optique pour des images couleurs et des données hyperspectrales)
Interact : un modèle général de contrat pour la garantie des assemblages de composants et services. (Interact : a general contract model for the guarantee of components and services assemblies)
Phaeodactylum tricornutum genome and epigenome : characterization of natural variants. (Phaeodactylum tricornutum génome et épigénome : caractérisation des variantes naturelles)
Développement de modèles interprétables par des approches d'apprentissage à partir d'images TEP, TDM, et IRM pour la prise en charge de patients atteints de cancer. (Development of interpretable models by learning approaches from PET, CT, and MRI images for the management of cancer patients)
Structures latticielles, correspondances de Galois contraintes et classification symbolique
Energy Harvesting Wireless Sensor Networks Leveraging Wake-up Receivers: Energy Managers and MAC Protocols. (Réseaux de Capteurs Sans Fils Auto-alimentés Utilisant des Wake-up Radios: Gestionnaire d'Énergie et Protocoles MAC)
Evaluation des propriétés hydriques de sols de Bretagne grâce à un indice spectral proche infrarouge. Pertinence régionale et objectivation de l'impact des pratiques agricoles
Clustering and knowledge integration. (Clustering et intégration de connaissances)
Modèle bayésien pour l'analyse multimodale d'environnementsdynamiques et encombrés : Application à l'assistance à la conduite en milieu urbain. (Bayesian Model for multi-modal analysis of cluttered environments : an automotive application)
Approche polyèdrale du problème de tournées de véhicules. (Polyhedral approach of the vehicle routing problem)
Modélisation Multi-échelle et Analyse d'Assemblages Macro-moléculaires Ambigus, avec Applications au Complexe du Pore Nucléaire. (Multi-scale Modeling and Analysis of Ambiguous Macro-molecular Assemblies, with Applications to the Nuclear Pore Complex)
Graphes du Web, Mesures d'importance à la PageRank. (Web Graphs, PageRank-like Measurements)
A Generic Framework for Symbolic Execution:Theory and Applications : Theory and Applications. (Un cadre générique pour exécution symbolique / Un cadre générique pour exécution symbolique : Theorie et Applications)
Modélisation et simulation d'attaque laser sur des circuits sécuritaires. (Modeling and simulation of laser attack against secure circuits)
Large Scale Multidimensional Scaling for the Study of Biodiversity. (Positionnement multidimensionnel à grande échelle pour l'étude de la biodiversité)
Conception et réalisation de composants acousto-optiques pour le filtrage optique accordable. (Design and realization of acousto-optical devices for tunable optical filtering)
Dealing with aisles in manufacturing system layout problems : formulation, exact resolution and simulation based optimization. (Traiter les allées dans les problèmes de disposition des systèmes de fabrication : formulation, résolution exacte et optimisation basée sur la simulation)
Analyse et modèle génératif de l'expressivité : application à la Parole et à l'Interprétation musicale. (Analysis and Generative Model of the Expressivity. Application in the Speech and in the Musical Performance)