yusuke1997/dblp-id-title huggingface dataset:
Architecture of Ultra Low Power Node for Body Area Network. (Conception de l'architecture d'un noeud de réseau de capteurs portés ultra basse consommation)
Visualizing media with interactive multiplex networks. (Cartographier les médias avec des réseaux multiplexes interactifs)
Analyse protéomique du muscle squelettique bovin
Post-quantum cryptography: a study of the decoding of QC-MDPC codes. (Cryptographie post-quantique : étude du décodage des codes QC-MDPC)
Propriétés de sécurité dans le lambda-calcul. (Security Properties in the lambda-calculus)
Visual Analytics for Monitoring and Exploration of Bitcoin Blockchain Data. (Analyse visuelle pour la surveillance et l'exploration des données de la blockchain Bitcoin)
Robust micro/nano- positioning by visual servoing. (Micro et nano-positionnement robuste par asservissement visuel)
Asynchronous and Relational Soundness Theorems for Concurrent Separation Logic. (Théorèmes de correction asynchrone et relationnelle de la logique de séparation concurrente)
Automates cellulaires non-uniformes. (Non-uniform cellular automata)
L'inhomogénéité du champ radiofréquence en résonance magnétique nucléaire : expériences et simulations
Hybrid internet of things network for energy-efficient video surveillance system. (Réseau hybride de l'Internet des objets pour un système de vidéosurveillance économe en énergie)
Modélisation multi-agents d'une économie monétaire de production : un système dynamique et complexe d'interactions réelles et monétaires entre des agents multiples, hétérogènes, autonomes et concurrents. (Building an agent-based model of a monetary production economy : a complex dynamic system of real and monetary interactions between multiple, heterogeneous, autonomous and rival agents)
Détection et agrégation d'anomalies dans les données issues des capteurs placés dans des smartphones. (Detection and aggregation of anomalies in data from smartphone sensors)
Adaptation automatique et semi-automatique des optimisations de programmes. (Automatic and Semi-Automatic Adaptation of Program Optimizations)
Mécanismes de tassement du ballast et sa variabilité. (Mechanisms of ballast settlement and its variability)
Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie : Cabri-géomètre. (Conception, realisation and experimentation of software for teaching of geometry : Cabri-géomètre)
Modeling emotionnal facial expressions and their dynamics for realistic interactive facial animation on virtual characters. (Modélisation des expressions faciales émotionnelles et de leurs dynamiques pour l'animation réaliste et interactive de personnages virtuels)
Proposition d'un formalisme pour la construction automatique d'interactions dans les systèmes multi-agents réactifs. (Proposition of a formalism for automatic construction of interactions in reactive multi-agent system)
Un outil d'aide à l'installation d'UNIX fondé sur les connaissances
Découverte interactive de connaissances à partir de traces d'activité : Synthèse d'automates pour l'analyse et la modélisation de l'activité de conduite automobile. (Interactive discovery of knowledge from activity traces : A synthesis of automata in the analysis and modelling of the activity of car driving)
Implémentation et évaluation d'un système logique parallèle. (Implementation and evaluation of a parallel logical system)
Modelling of human reactive and deliberative behaviour using a multi-agent approach for energy management in home settings. (Modélisation du comportement humain réactif et délibératif avec une approche multi-agent pour la gestion énergétique dans le bâtiment)
Modeling and Analysis of Reliable Peer-to-Peer Storage Systems. (Mode'lisation et analyse des systèmes de stockage fiable de donne'es dans des re'seaux pair-à-pair)
Placement of tasks under uncertainty on massively multicore architectures. (Placement de tâches sous incertitudes sur des architectures massivement multicoeurs)
Theory and applications of a novel formulation of the space of perceived colors. (Théorie et applications d'une nouvelle formulation de l'espace des couleurs perçues)
Détection d'anomalies dans les flots de liens : combiner les caractéristiques structurelles et temporelles. (Anomaly detection in link streams : combining structural and temporal features)
A General View of Normalisation through Atomic Flows
Patient-specific gating scheme for thoracoabdominal tumor radiotherapy guided by magnetic resonance imaging. (Schéma de Gating spécifique au patient pour la radiothérapie de tumeur thoracoabdominale guidée par l'imagerie par résonance magnétique)
Specular highlight mitigation using unsupervised multi-domain adversarial generation of specularity-free images inferred from polarimetric data. (Détection de surbrillance spéculaire et génération non supervisée de génération d'images non spéculaires à l'aide d'un réseau de traduction multi-domaines entraîné avec des données polarimétriques)
Quelques Contributions au Traitement de Signal Musical et à la Séparation Aveugle de Source Audio Mono-Microphone. (Some Contributions to Music Signal Processing and to Mono-Microphone Blind Audio Source Separation)
Mathematical models and methods based on metaheuristic approach for timetabling problem. (Les modèles mathématiques et des méthodes fondées sur l'approche métaheuristique pour résoudre les problèmes d'établissement des horaires)
Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences. (Static scheduling in process networks : application to latency insentitive design)
Augmented reality environments for the interactive exploration of 3D data. (Environnements de réalité augmentée pour l'exploration interactive de données 3D)
Reconnaissance des sons de l'environnement dans un contexte domotique. (Environmental sounds recognition in a domotic context)
3D Perception of Outdoor and Dynamic Environment using Laser Scanner. (Perception 3D de l'environnement extérieur et dynamique utilisant Laser Scanner)
Molecular mechanisms of phase II metabolizing enzymes and ABC transporters, and their interactions with small molecules modeled through structure-based and machine learning methods. (Mécanismes moléculaires des enzymes de métabolisme de phase II et des transporteurs ABC, et leurs interactions avec de petites molécules modélisées par des méthodes structurales et d'apprentissage automatique)
Fault management of programmable multi-tenant networks. (Gestion des fautes dans les réseaux multi-tenants et programmables)
Low-cost wireless sensor networks in participatory air quality monitoring. (Réseaux de capteurs sans fil à faible coût pour la surveillance participative de la qualité de l'air)
Modélisation stochastique du vieillissement en temps discret. (Stochastic modelling of ageing in discrete time)
Modelling the fluid-structure coupling caused by a far-field underwater explosion. (Modélisation du couplage entre une structure et un fluide lors d'une explosion sous-marine en champ lointain)
Effets d'un aliment supplémentaire en colostrum bovin sur le système digestif du porcelet au sevrage
La mesure de performance dans les cartes à puce
"Le simple est-il robuste ?" : une étude de la robustesse des systèmes complexes par les automates cellulaires. ("Is simple also robust?" : a study of the robustness of complex systems through cellular automata)
Algorithmique itérative pour l'équilibrage de charge dans les réseaux dynamiques. (Iterative algorithm for load balancing on dynamic networks)
Comparaison des erreurs par pas dans différentes méthodes de résolution d'équations différentielles avec conditions initiales
Flexible Radio Resource Management for Multicast Multimedia Service Provision: Modeling and Optimization. (Allocation de ressources radio pour les services multimédias: modélisation et optimisation)
Emotion Recognition using Deep Learning. (Reconnaissance des émotions à l'aide du Deep Learning)
Evaluation of energy efficiency in mobile cellular networks using a fluid modeling framework. (Évaluation de l'efficacité énergétique dans les réseaux cellulaires mobiles à l'aide de la modélisation fluide)
Cadre générique de planification logistique dans un contexte de décisions centralisées et distribuées. (Generic logistic planning framework in a context of distributed and centralized decisions)
Metaheuristic approaches for solving packing problems: 0/1 multidimensional knapsack problem and two-dimensional bin packing problem as examples. (Des approches métaheuristiques pour résoudre les problèmes des chargement: Le problème de sac à dos multidimensionnel binaire et le problème du bin packing bidimensionnel)
Automatic Resource-Constrained Static Task Parallelization : A Generic Approach. (Parallélisation automatique et statique de tâches sous contraintes de ressources : une approche générique)
Construction de modèles de données relationnels temporalisés guidée par les ontologies. (Generation of ontology driven temporalized relational data models)
Formal methods for distributed real-time systems. (Méthodes formelles pour les systèmes distribués temps-réel)
Data-driven design in virtual reality: combining user perception with operational and physiological measures. (Data-driven design en réalité virtuelle: combiner la perception de l'utilisateur avec des mesures opérationnelles et physiologiques)
Contribution à l'étude de techniques pour l'affinement spectral de lasers : application aux diodes à blocage de modes destinées aux télécommunications optiques cohérentes. (Contribution to the study of techniques for laser spectral narrowing : Application to mode-locked laser diodes used in optical telecommunications)
Learning From Simulated Data in Finance: XVAs, Risk Measures and Calibration. (Apprentissage sur données simulées en finance: XVAs, mesures de risque et calibration)
Méthodes de séparation aveugle de sources et application à la télédétection spatiale. (Blind source separation methods and application to remote sensing)
Encapsulation de dispositifs symbiotiques implantables : évaluation de la biocompatibilité et des performances. (Encapsulation of implantable symbiotic devices : evaluation of biocompatibility and performances)
Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage. (Automated Verification of Exam, Cash, aa Reputation, and Routing Protocols)
Topics in Surface Discretization. (Quelques problèmes liés a la discrétisation des surfaces)
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux)
Block turbo codes for next generation optical communications. (Turbo-codes en bloc pour les communications optiques de la prochaine génération)
Proposition d'une démarche de déploiement d'une solution PLM dans des entreprises "libérées": cas du biscuitier POULT. (Proposal of an approach to deploy a PLM solution in "freedom form" companies: case study of the biscuit maker POULT)
ApAM : Un environnement pour le développement et l'exécution d'applications ubiquitaires. (APAM: An environment for the development and the runtime of ubiquitous applications)
Pointwise approach for texture analysis and characterization from very high resolution remote sensing images. (Approche ponctuelle pour la caractérisation de textures dans des images de télédétection à très haute résolution)
Survivabilité dans les réseaux de transport de vidéo et d'audio sans dégradation de la qualité de service perçue par l'utilisateur. (Survivability in video and audio communication networks without qualité of experience degradation)
Modeling and management of imperfect preferences with the theory of belief functions. (Modélisation et gestion des préférences imparfaites avec la théorie des fonctions de croyance)
Contribution à la qualité de service dans les réseaux d'accès sans-fil
Subjective quality assessment: a study on the grading scales : illustrations for stereoscopic and 2D video content. (Investigation sur les échelles de l'évaluation subjective de la qualité visuelle: illustrations pour des vidéos stéréoscopiques et 2D)
Hybrid processing for algorithmic fairness. (Traitement hybride pour l'équité algorithmique)
Entrepôts de données pour l'aide à la décision médicale: conception et expérimentation. (Data warehouses in a medical environment: design and experimentation)
Contribution à l'étude des organisations des mémoires à bulles magnétiques
Classification automatique de textes par réseaux de neurones profonds: application au domaine de la santé. (Automatic classification of texts by deep neural networks: application to the field of health)
Tractographie globale sous contraintes anatomiques. (Global tractography constrained by anatomical priors)
Low-level visual cortex and motion perception: an MRI study. (Système visuel cortical de bas niveau et perception du mouvement: une caractérisation par IRM)
Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués. (Accuracy Optimization for Energy Consumption Reduction in Embedded Systems)
Lazy and locality-aware building blocks for fog middleware : a service discovery use case. (Composants de bases paresseux et préservant la localité pour la gestion d'une insfrastructure fog : application à la découverte de services)
Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d'outils de model-checking. (Qualitative modelling and strategy synthesis of grazing activities)
Traitement et simulation d'images d'IRM de perfusion pour la prédiction de l'évolution de la lésion ischémique dans l'accident vasculaire cérébral. (Image processing and simulation of perfusion MRI images for the prediction of the ischemic lesion evolution in stroke)
Spatio-temporal descriptors for human action recognition. (Reconnaissance d'action à partir de descripteurs spatio-temporels)
Optimisation multiobjectif et analyse de sensibilité appliquées à la conception de dispositifs. Application : Synthèse d'antennes à réflecteur embarquées dans un satellite. (Multi-Objective Optimization and Sensitivity Analysis for Conception of Devices. Application to satellite shaped reflector antennas)
Étude des formes lexicographiques des fonctions booléennes simples, représentation à l'aide de l'opérateur U
Un système tutoriel intelligent et adaptatif pour l'apprentissage de compétences en environnement virtuel de formation. (Intelligent and adaptative tutoring system for the learning of competences in virtual environment for training)
Physically-based and Real-time Simulation of Brittle Fracture for Interactive Applications. (Simulation de Fracture d'Objets Fragiles basée Physique et en Temps-Réel Pour les Applications Interactives)
Uncertainty characterisation in stereophotogrammetry using satellite images. (Caractérisation d'incertitude pour la stéréophotogrammétrie à partir d'images satellites)
Etude de nouvelles techniques de réduction du " facteur de crête " (PAPR) à compatibilité descendante pour les systèmes multiporteuses
Automating Security Enhancement for Cloud Services. (Renforcement automatisé de la sécurité des services Cloud)
Supervision des réseaux et services pair à pair. (Management of peer-to-peer networks and services)
Analyse du contrôle moteur humain pour différents niveaux d'assistance induits par un exosquelette actif du membre supérieur. (Analysis of human motor control through different levels of assistance provided by an active upper limb exoskeleton)
Sparse and Archetypal Decomposition Algorithms for Hyperspectral Image Restoration and Spectral Unmixing. (Algorithmes de décomposition parcimonieuse et archétypale pour la restauration d'images hyperspectrales et le démélange spectral)
Simulations massives de Dynamique des Dislocations: fiabilité et performances sur architectures parallèles et distribuées. (Large scale Dislocation Dynamics simulations: performance and reliability on parallel and distributed architectures)
Software Asset Management and Cloud Computing. (Gestion du patrimoine logiciel et Cloud Computing)
Technologies immersives enrichies par inductions / régulations physiologiques autonomes et somatosensorielles : bénéfices pour l'Homme et ses interactions. (Immersive technologies enhanced by autonomous and somatosensory physiological induction / regulation : benefits for the human and its interactions)
Maillages Homotopiques tétraèdriques des tissus de la tête pour le calcul du probleme direct en magnéto/electro-encephalographie
Approche robuste pour l'évaluation de la confiance des ressources sur le Web. (A robust approach for Web resources trust assessment)
Three years of graphs and music : some results in graph theory and its applications
Étude numérique du procédé de Peaceman-Rachford pour la résolution de problèmes elliptiques
Évaluation de paramètres de sûreté de fonctionnement en présence d'incertitudes et aide à la conception : application aux Systèmes Instrumentés de Sécurité. (Evaluation of safety parameters under uncertainty and optimal design of systems : application to safety instrumented systems)
Human-Machine Cooperation for the deployment of automated trains : Driver assistance in a remote authority transfer situation. (Coopération Humain-Machine pour le déploiement du train autonome : Assistance à la conduite dans une situation de transfert d'autorité)
Simulation numérique de l'interaction de sels de platine avec des membranes lipidiques asymétriques. (Numerical simulations of the interaction of platinum salts with lipid asymmetric membranes)
Proximity-Aware Replicas Management in Geo-Distributed Fog Computing Platforms. (Gestion des Répliques avec Prise en Compte de la Proximité dans les Plates-Formes Géo-Distribuées de Fog Computing)
Augmented and Physical reality environments used in collaborative visual analysis. (Environnements de réalité physique et augmentée utilisés dans l'analyse visuelle collaborative)
Conception et modelisation logicielles des systemes interactifs : application aux interfaces multimodales. (Software design and implementation of interactive systems: A case study of multimodal interfaces)
Conception de formes de relecture dans les chaînes éditoriales numériques. (Designing proofreading news in digital publishing chains)
Les opérations logiques dans les calculatrices digitales. (Logical operations in the digital computers)
The Color Constancy Problem in Multispectral Remote Sensing - On the Impact of Surface Orientation on Spectral Signatures
Jeux de défense et ensembles tropicaux. (Defense games and tropical sets)
Évaluation et classification des caractéristiques des couches d'accrochage dans les chaussées par techniques radar : traitement hybride par intelligence artificielle / FWI. (Evaluation and classification of tack coat characteristics in pavements by radar techniques : hybrid processing by Machine learning / FWI)
Etude de l'auto-organisation dans les algorithmes de patrouille multi-agent fondés sur les phéromones digitales. (Study of self-organization in pheromone-based multi-agent patrolling algorithms)
Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites. (Classical problems in computer vision and computational geometry revisited with line geometry)
Algorithmes hybrides et adaptatifs en algèbre linéaire exacte. (Hybrid and adaptive algorithms in exact linear algebra)
Fouille de données pour l'extraction de profils d'usage et la prévision dans le domaine de l'énergie. (Data mining for the extraction of usage profiles and forecasting in the energy field)
Assistance à la réutilisation de scénarios d'apprentissage : une approche guidée par l'évaluation du contexte d'usage à base d'indicateurs. (Assistance in the reuse of educational scenarios : an approach guided by the evaluation of the usage context based on indicators)
De la Métaphore à la tâche : une bibliothèque de concepts métaphoriques pour le prototypage de techniques d'interactions. (From metaphor to the task. A library of metaphorical concepts for the prototyping of technical interaction)
Numerical solution for a portable medical scanner. (Solution numérique pour un scanner médical portable)
Caractérisation génétique, phénotypique et protéomique de lignées de poulets locales. (Genetic, phenotypic and proteomic characterisation of local chicken breeds)
Unsupervised Learning of Data Representations and Cluster Structures: Applications to Large-scale Health Monitoring of Turbofan Aircraft Engines. (Apprentissage non supervisé de représentations de données et structures de partitionnement : applications à la surveillance à grande échelle de turbofans)
Decentralized control design for synchronization of multi-agent systems with guaranteed individual costs. (Conception de commandes décentralisées pour la synchronisation de systèmes multi-agents avec coûts individuels garantis)
Interactive specular and glossy reflections in dynamic scenes. (Réflexions spéculaires en temps interactif dans les scènes dynamiques)
Ordonnancement de tâches pour concilier la minimisation de la consommation d'énergie avec la qualité de service : optimisation et théorie des jeux. (Job scheduling in order to aggregate energy consumption and quality of service : optimization and game theory)
Enriched concurrent games : witnesses for proofs and resource analysis. (Jeux concurrents enrichis : témoins pour les preuves et les ressources)
Evaluation of the quality and quantity of walking by accelerometry. (De l'évaluation de la qualité et de la quantité de la marche par accélérométrie)
Lutte contre les botnets : analyse et stratégie. (The fight against botnets: from observation to strategy)
Deep learning in event-based neuromorphic systems. (L'apprentissage profond dans les systèmes évènementiels, bio-inspirés)
Renforcements naturels pour la collaboration homme-machine. (Qualitative reinforcement for man-machine interactions)
Acquisition automatique de traductions d'unités lexicales complexes à partir du Web. (Automatic Web acquisition of complex lexical units translations)
Learning Spatio-temporal Representations of Satellite Time Series for Large-scale Crop Mapping. (Apprendre des representations spatio-temporelles de series temporelles d'images satellites pour la cartographie agricole)
Etude comportementale des mesures d'intérêt d'extraction de connaissances. (Behavioral study of interestingness measures of knowledge extraction)
Modélisation de la dynamique des adventices dans un agroécosystème. (Modelling weed dynamics in a agroecosystem)
Déformation interactive de papier virtuel. (Interactive Deformation of Virtual Paper)
Analyse de sécurité de logiciels système par typage statique. (Security analysis of system code using static typing)
Verification of cryptographic protocols with lists of unbounded lengths. (Vérification de protocoles cryptographiques avec listes de longueur non bornée)
Identification de signature causale pathologique par intégration de données multi-omiques. (Identification of causal pathologic signature by multi-omic data integration)
Computational Modeling of the Interactions Between Episodic Memory and Cognitive Control. (Modélisation Computationnelle des Interactions Entre Mémoire Épisodique et Contrôle Cognitif)
Acceptabilité de l'Intelligence Artificielle en contexte professionnel : facteurs d'influence et méthodologies d'évaluation. (Acceptability of Artificial Intelligence in a Professional Context : influencing factors and evaluation methodologies)
Vers un Model Checking avec accélération plate des systèmes hétérogènes. (Toward a Model Checking with Flat Acceleration of Heterogeneous Systems)
Mathématiques discrètes appliquées à la cryptographie symétrique. (Discrete Mathematics for symmetric cryptography)
System Profiling and Green Capabilities for Large Scale and Distributed Infrastructures. (Profilage système et leviers verts pour les infrastructures distribuées à grande échelle)
Des suites de test pour la TA à un système d'exploitation de corpus alignés de documents et métadocuments multilingues, multiannotés et multimédia. (From test suites for MT to an operating system for aligned corpora of multilingual, multi-annotated, and multi-media documents and meta-documents)